Головна Головна -> Підручники -> Підручник Вступ до сучасної логіки (Конспект лекцій) скачати онлайн-> § 14. Дескрипція

§ 14. Дескрипція



Для того щоб одиничний термін використовувався для позначення індивідуального об’єкта, він маа певним чином виділяти цей об’єкт із сукупності об’єктів.
Для цього описують індивідуальний об’єкт, наводячи його відмітні властивості. Такий спосіб опису називається дескриптивним (лат. descriptio — опис). За іншим способом опису одиничного об’єкта останньому приписують власне ім’я, яке, на відміну від дескрипції, прямо вказує на об’єкт.
Оператор дескрипції, або оператор опису (йота-опера-тор), позначається перевернутою й поверненою в протилежний бік грецькою літерою і (йота) або великою латинською літерою D, першою літерою латинського слова «descriptio».
Дескриптивний спосіб зображення одиничних термінів дає змогу обходитись без власних імен, не лише таких, як «Петро», «Джон», але й таких, як «золото», «вода», «дерево». Це особливо слід мати на увазі, коли власне ім’я описуваного об’єкта з тих чи інших причин невідоме (наприклад: «автор «Трьох мушкетерів», «відомий англійський детектив, який жив у Лондоні на Бейкер-стріт») або відоме, але воно важко співвідноситься з конкретним предметом. Наприклад: можна знати слово «золото» і його деякі зовнішні ознаки, але не вміти відрізнити його від бронзи. Дескрипція дає змогу оперативно виявити шуканий об’єкт і відповідним чином його ідентифікувати.
Одиничні терміни поділяють на визначені й невизначені. Визначені одиничні терміни вказують на конкретні об’єкти із їх сукупності, тоді як невизначені одиничні терміни вказують просто на представника даної множини (класу) об’єктів, не підкреслюючи його індивідуальність, наприклад: «солдат», «вишня» тощо.
У логіці замість невизначених одиничних термінів вживають символи, які називають змінними. У цьому разі їхня форма читається так: «той х, який» (наприклад: «Той х, який зараховував себе в сини лейтенанта Шмідта, і був гусокрадом»).
Коли вживається йота-оператор (D-оператор), то певна сингулярна пропозиційна форма F(x) набуває значення «істина» тільки для одного значення змінної х.
У логіці оператор дескрипції тісно пов’язаний з кванторами. Коли будь-що описується, то мається на увазі або об’єкт, що реально існує (наприклад місто Київ), або об’єкт, що існує тільки в уяві (наприклад Шерлок Холмс). Отже, питання про критерії існування не може не хвилю-вати логіків, хоч і не в тому розумінні, в якому воно хвилює філософів чи богословів (наприклад доведення існування Бога).








Популярні глави цього підручника:



Всі глави цього підручника:

Вступ до сучасної логіки (Конспект лекцій)