№25 Реальні визначення та їх види

Реальною дефініцією називається визначення, яке ототожнює, розрізняє, будує, виділяє предмет. У реальних визначеннях Dfd виконує репрезентативну функцію, тобто представляє об'єкти позамовного характеру, тут Dfd належить до виразів об'єктної мови ( Париж — столиця Франції). До реальних визначень належать: 1. Визначення через рід і найближчу видову відмінність; 2. Визначення через вказівку на протилежність; 3. Генетичне визначення; 4. Операціональне визначення; 5. Індуктивне визначення. Суть дефініції через рід і видову відмінність полягає в тому, що спочатку знаходять найближче родове поняття для Dfd, а потім перераховують характерні

видові відмінності. Наприклад, «Барометр — це прилад, що слугує для виміру атмосферного тиску». Якщо потрібно дати визначення універсальним поняттям, а саме категоріям філософії, у цих випадках застосовують дефініцію через вказівку на протилежність. Наприклад, «Випадковість — це форма прояву і доповненння необхідності». Генетичним визначенням називається така реальна дефініція, у якій фіксуються способи походження і побудови визначуваного предмета. Наприклад, «Куля — це тіло, яке утворюється обертанням півкола навколо діаметра». Операціональним визначенням називається такий вид реальної дефініції, який полягає у описові специфічних експериментальних операцій для знаходження тих чи інших об'єктів. Наприклад, «Луг — це хімічна речовина, яка зафарбовує лакмусовий папірець у синій колір». Індуктивним визначенням є процедура, яка передбачає: 1) явну вказівку на вихідні елементи; 2) правила утворення із вихідних елементів похідних; 3) обмеження, яке вказує, що окрім наведених в 1 і утворених відповідно до 2 немає ніяких інших, які б належали множині, що визначається. Візьмемо для прикладу дефініцію формули у мові класичної логіки висловлювань:

1. Будь-яка пропозиційна змінна (a, b, c) є формулою; 2. Якщо a — формула, то a теж формула; 3. Якщо a і b формули, то вираз (a & b), (a V b), (a > b), (a ↔ b) теж формули; 4. Ніщо крім виразів перерахованих в 1, 2, 3 не є формулою у мові класичного числення висловлювань.

⇐ Предыдущая 10 11 12 13 141516 17 18 19 Следующая ⇒