TextBook Логічне існування об'єктів означає створення уявних об'єктів на зразок "білих ворон", "ідеальних мислителів", "людей, котрі абсолютно все знають", "коней, що літають" та ін.), яким можна приписати певні властивості. Логічні (уявні) властивості приписують саме термінам, які позначають клас ідеального походження, а не реально існуючим предметам. Наприклад, у висловлюванні "Пегас літає" ім'я "Пегас" позначає одиничний предмет із порожнього класу, але йому можна приписати властивість "літати", тобто бути "конем, що літає".
Якщо ототожнювати способи існування об'єктів (фактичного й логічного), то виникає парадокс: "Існує об'єкт х, який не існує". В основу розрізнення способів існування об'єктів покладена теорія типів Б. Рассела (див. 3.7).
У сучасній науці об'єкт, який створюють суто логічно, отримав назву логічного конструкта або ідеалізованого об'єкта.
Відповідно до факту існування об'єкта, в сучасній логіці розрізняють емпіричні й теоретичні терміни. Емпіричний термін позначає фактично (онтологічно) існуючий об'єкт, що досліджує конкретна наука, а теоретичний термін позначає певний ідеалізований об'єкт науки.
У сучасній модальній логіці існування об'єктів поділяють на фактичне та можливе (гіпотетичне). Прикладом можливого існування об'єктів є існування "можливих світів" як альтернатива реально існуючому світові. Фактичне існування об'єктів має вираз "Онтологічно існує об'єкт х" ("Чорні діри в Космосі існують"), а можливе існування - "можливо, об'єкт х існує" ("Можливо, паралельні світи існують").
Якщо Б. Рассел визнавав лише фактичне існування об'єктів у зв'язку з власним "сильним відчуттям реальності" й не допускав, з погляду логіки, існування уявних об'єктів на зразок "єдинорогів" або "золотої гори", то сучасна модальна логіка допускає можливість існування об'єкта х гіпотетично. Відповідно до такого припущення, розрізняють способи існування об'єктів:
1. Об'єкт х існує фактично (онтологічно, реально): "Планета Марс існує".
2. Об'єкт х існує можливо (гіпотетично): "Можливо, існує позаземна цивілізація в Галактиці ІУ".
3. Об'єкт х не існує ні фактично, ні логічно. Таким може бути об'єкт, суперечливий за своєю сутністю: "Існує розумна людина, яка не має розуму", "Існує неук, що абсолютно все знає".
Логічне відношення між фактичним і можливим (гіпотетичним) існуванням певного об'єкта можна зобразити за допомогою "логічного квадрата".
Отже, встановлюємо логічні відношення між фактичним і можливим (гіпотетичним) існуванням об'єкта х.
1. Якщо об'єкт х фактично існує, то він не існує можливо. Формально: 3xF (Р(х)) -" Зх 0 (Р(*)). Наприклад: "Якщо планета Марс фактично існує, то вона не існує можливо".
2. Об'єкт х або фактично існує, або фактично не існує (одне з цих тверджень має бути істинним). Формально: 3xF (Р{х)) і. JL -" 3xF (Р(х)). Наприклад: "Планета Марс або насправді існує (0" або насправді не існує (х)п.
3. Об'єкт х або можливо існує, або можливо не існує. Формально: Зх 0 (Р(х)) 1 -> Зх 0 (Р(х)).
За значенням істинності ці два твердження не є ні істинними, ні хибними, а невизначеними, тобто мають третє значення істинності - V2- Наприклад: "Можливо, існує життя в інших Галактиках (У2); Можливо, не існує життя в інших Галактиках (1/2)п.
4. Якщо об'єкт х можливо (гіпотетично) існує, то об'єкт х існує фактично. Формально: Зх 0 (Р(х)) -> Зх F (Р(х)).
Таке суто логічне виведення фактичного існування об'єкта А з його можливого існування допускав Г. Ляйбніц, коли доведення буття Бога він виводив із ідеї Бога, і "якщо Бог можливо існує, то він насправді існує". Однак з можливості існування об'єкта х з необхідністю не випливає дійсне існування об'єкта х, тобто те, що припускається як можливе (гіпотетичне) існування, не зумовлює з необхідністю як фактичне (онтологічне) існування.
Логіки, котрі досліджували існування об'єктів, не визначали часовий вимір їх існування. Необхідність уточнення часового виміру існування об'єктів пов'язана з визначенням: про який об'єкт - порожній або непорожній - йдеться у висловлюванні.
Фактичне існування об'єктів у часовому вимірі визначають словами "існував", "існує", "буде існувати". Із цього випливає: "Фактично в час *, існував об'єкт #, який перестав існувати в час /2". Наприклад: "У час г, існував динозавр, який перестав існувати в час *2", "У час існувала Римська імперія, яка перестала існувати в час *2". У наведених прикладах терміни "динозавр", "Римська імперія " не є фактично порожніми, тобто мають свій денотат, але в часовому вимірі можуть стати порожніми, скажімо, в наш час *3, коли вже не існує об'єктів, що позначають названими термінами.
Якщо не брати до уваги часовий вимір існування об'єктів, то може виникнути такий парадокс існування. "Фактично в час існував об'єкт А, який не існував у час Скажімо: "Фактично, в час ^ існували динозаври, які не існували в час г".
Сторінки
В нашій електронній бібліотеці ви можете безкоштовно і без реєстрації прочитати «Логіка» автора Н.В.Карамишева на телефоні, Android, iPhone, iPads. Зараз ви знаходитесь в розділі „4.3.3. Логіка існування“ на сторінці 2. Приємного читання.