СЛОВНИК-МІНІМУМ

1. Логіка предикатів — розділ сучасної логіки, який (на відміну від логіки висловлювань) здійснює аналіз міркувань з врахуванням внутрішньої структури вислов­лювань.

2. Логіка предикатів першого порядку — елементарна частина логіки предикатів, в якій кванторні вирази типу “всі" і “деякі" стосуються лише окремих предметів (індивідів) і не стосуються класів або властивостей індивідів.

3. Сингулярне висловлювання — стверджує або прита­манність деякої властивості окремому об’єкту, або на­явність певного відношення між двома (або більше) та­кими об’єктами (індивідами).

4. Терми — вирази, які є іменами або дескрипціями (описами) окремих об’єктів (індивідів). В логіці преди­катів до термів належать індивідні константи та індивідні змінні.

5. Предикати — вирази, які замішують окремі власти­вості або зв’язки (відношення) між об’єктами.

6. Предикати! константи — символи (наприклад: “Q”, “G”, “Н"), які використовують для умовного позначення довільних (будь-яких певних) предикатів.

7. Індивідні константи — символи (наприклад, ‘а", ''b'∖ “характеристика теорії можливих світів. Алетичні висловлювання. Взаємозв’язок між але- тичними модальностями Закони алетичної логіки. Але- тична логіка як основа для дослідження інших модальних логік.