UkrReferat.com
найбільша колекція україномовних рефератів

Всього в базі: 75843
останнє поновлення: 2016-12-04
за 7 днів додано 10

Реферати на українській
Реферати на російській
Українські підручники

$ Робота на замовлення
Реклама на сайті
Зворотній зв'язок

 

ПОШУК:   

реферати, курсові, дипломні:

Українські рефератиРусские рефератыКниги
НазваКласична логіка предикатів (реферат)
Автор
РозділЛогіка, формальна логіка, юридична логіка
ФорматWord Doc
Тип документуРеферат
Продивилось12552
Скачало1186
Опис
ЗАКАЧКА
Замовити оригінальну роботу

не зачіпаючи його

смислового змісту.

 

Запропонований фрегівський погляд на процес номінації (іменування)

був корисним для логіки тим, що давав змогу користуватися під час

логічного аналізу теоретико-множинними уявленнями (наприклад: функція як

відображення однієї множини в іншій множині), в результаті чого предикат

стали розглядати як пропозиційну функцію форми F(x).

 

Вчення про пропозиційні функції та квантори є найважливішим внеском

Фреге в сучасну логіку.

 

Пропозиційна функція за означенням є мовною конструкцією, яка

містить змінну. Ця конструкція за підстановки будь-якого значення для

даної змінної перетворюється на висловлення.

 

Тобто пропозиційною є така функція, яка співвідносить представників

певної предметної області з областю значень істинності.

 

Відомо, що вираз форми F(x) (де F — властивість певного індивіда х)

являє собою таку елементарну пропозиційну функцію, з якої одержують

елементарне (просте) висловлення, замінивши змінну позначеннями

конкретних індивідів. Наприклад: F(x) -> «х зелений» -» «трава зелена».

 

Отже, пропозиційна функція може стати висловленням тоді й тільки

тоді, коли аргумент (змінна) набуває конкретного предметного значення.

Уведення поняття «пропозиційна функція» надає математичної строгості

логічному аналізові висловлень (пропозицій).

 

Щоб побудувати складну пропозиційну функцію, необхідно здійснити певні

операції. У логіці символи цихі операцій називають кванторами, а самі

операції — кван-тифікацією пропозиційних функцій.

 

Хоч ідея квантифікації належить Фреге, автором термінів «квантор»

і «квантифікація» є американський вчений Ч. С Пірс (1839- 1914).

 

точно формулювати та строго доводити принципи логіки, на підставі яких

одні висловлення можна коректно виводити з інших.

 

Здавалося б, з поняттям «предикат» у логіці покінчено раз і

назавжди. Проте цей термін залишився: ним користуються, коли треба

вказати на можливість логічного аналізу структури висловлень. У такому

випадку термін «предикат» набув метафоричного значення. Так, у Д.

Гіль-J Берта, американського математика й логіка С. Кліні (1909— 1994)

цей термін вживається для позначення пропозиційної функції.

 

За допомогою предикації (пропозиційної функції) здійснюється

поєднання одиничного й загального термінів.

 

Логіки поділяють терміни на одиничні (сингулярні), загальні й

порожні. Одиничнії термін позначає один об'єкт, загальний — кілька

об'єктів; порожній термін не позначає жодного об'єкта.

 

Предикацію схематично зображують так: «х є F» (у традиційній

логіці це має вигляд «iS" є Р»). За допомогою символів пропозиційної

функції предикацію записують! так: F(x).

 

Закони логіки висловлень і логіки предикатів.

 

Різноманітність властивостей і відношень охоплює розширена логіка

предикатів, тобто логіка предикатів більш високого ступеня. Зокрема,

предикати другого ступеня (предикати предикатів) відображають

властивості, притаманні властивостям індивідів. Цю ієрархію можна

продовжувати скільки завгодно, та логіки зазвичай користуються

-----> Page:

[0] [1] [2] [3] 4 [5] [6] [7] [8] [9]

ЗАМОВИТИ ОРИГІНАЛЬНУ РОБОТУ