Навигация
Главная
 
Главная arrow Логика arrow Логика - Карамышева НВ
Предыдущая   СОДЕРЖАНИЕ   Следующая

433 Логика существования

Cogito ergo surn -

Я мыслю, следовательно, я существую

Р Декорт Существует объект х, который не существует

Логика существования - направление современной неклассической логики (модальной логики), исследующая рассуждения о существовании объектов и создает формальную модель таких соображений Предмет исследования логики существования я - экзистенциальные (лат existen-tio - существование) высказывания, которые утверждают или отрицают факт существования предметов, явлений, процессов, событий Например:"Органическая жизнь на Земле существует\","Вечное жит я не существуетне життя не існує".

Для формализации высказываний о существовании объектов и построения формальной модели вводят алфавит - символы для обозначения:

- высказываний о существовании или не существовании объектов - А, В, С;

- объекта существования, о котором говорится в высказывании - х, у;

Формальный выражение экзистенциального высказывания З (Р (х)) (чит:"Существует объект х% котором присущее свойство Р\", или"Есть такой объект х, обладающий свойством существования\")

Существование объектов выражено в определенном высказывании, осмысливали античные, средневековые философы, философы Новейшего времени в онтологическом и гносеологическом аспектах Так, в свое время Г Лейбниц заз отмечал: бытие (существование) одних объектов может быть познан с помощью органов чувств, а существование других можно понять только разумом Он также определил логико-семантический аспект проблемы существования объектов, суть которого заключается в различении фактического (действительного) и номинального (логического - современным языком) существования объектов В процессе фактического определения устанавливают подлинное существование самого объекта, а в процессе номинального (логического) определение в определенных сроках импликують признаки этого объектєкта.

В современной логике логико-семантический аспект проблемы существования объектов проанализированы в трудах Г Фреге, Б Рассела, Р Карнапа, С Лесьневського, В Куайна, Я Хинтикки и других логиков

На основании логико-семантического анализа высказываний о существовании объектов, осуществленного учеными-логиками, было определено, что факт существования объектов в высказывании определяют двумя способами:

1 Имя, которым обозначают реально существующий предмет (простой символ), соответственно, предмет, что существует, есть денотат для имени Например, в высказывании"Собака существует"денотатом будет конкретная собака, м имеет свое имя (например, Бим) Имя, обозначающее реально существующий объект (единичный предмет из определенного класса), называют сингулярным Имя, которое не имеет денотату, является пустым (\"Десятиголовий крокодил существует"ий крокодил існує").

2 Установка существования объекта через дескрипции - описание свойств, присущих предмету х (сложный символ):"Домашнее животное, которое лает"дескрипции об объекте, не существует:"Десятиголовий шаг кодил является бронзовымодил є бронзовим".

В процессе ввода пустых имен в логику существования обнаруживают парадоксы, которые получили название парадоксов существования

Парадоксы существования - это парадоксы, сформулированы логиками, когда они начали разрабатывать теорию экзистенциальных высказываний о существовании или не существовании предметов вроде:"Черные дыры в космосе ис снуют","Круглый квадрат не существует","Бог является всемогущим"Парадоксы существования возникают тогда, когда вводят пустые имена, которым приписывают определенное свойство Р Например:"Пегас летает"(существует конь Пегас что летает"),"Современный король Франции является лысым"(пример Б Рассела) Поскольку пустые имена ничего не обозначают (не имеют денотату), то возникает противоречивое высказывание"Существует предмет А, который не существует", скажем"Существует лошадь, летает, не существуетА, який не існує", скажімо "Існує кінь, що літає, який не існує".

Для решения парадоксов существования логики предложили следующие методы:

- на уровне метаязыка четко разграничить семантически осмысленные и семантически бессмысленные высказывания (например, высказывания вроде"Вечный двигатель существует"не является семантически осмысленным, поскольку термина др."круглый квадрат"ничего не обозначает)нічого не позначає);

- четко различать тип (способ) существования предметов - фактический (онтологический, физический) и логический (воображаемый), соответственно, различать фактические и логические свойства объектов

Фактическое существование или не существование объектов в выражении определяют по действительным (реальным) существованием определенного предмета (\"Луна существует\","Динозавр сейчас не существует\"), а свойства - с помощью связ связки"есть"или"не есть"(\"Человек есть двуногим существом\","Собака не является двуногим животным\"ою істотою", "Собака не є двоногою твариною").

Логическое существования объектов означает создание мнимых объектов вроде"белых ворон\","идеальных мыслителей\","людей, которые абсолютно все знают\","коней, летающих"и др.), которым можно приписать некоторый ни свойства Логические (мнимые) свойства приписывают именно срокам, обозначающие класс идеального происхождения, а не реально существующим предметам Например, в высказывании"Пегас летает"имя"Пегас"по определяет единичный предмет из пустого класса, но ему можно приписать свойство"летать\", то есть быть"конем летаетна приписати властивість "літати", тобто бути "конем, що літає".

Если отождествлять способы существования объектов (фактического и логического), то возникает парадокс:"Существует объект х, который не существует"В основу различения способов существования объектов положена теория типов Б Ра Ассель (см. 37ела (див. 3.7).

В современной науке объект, который создают чисто логически, получил название логического конструкта или идеализированного объекта

Согласно факта существования объекта, в современной логике различают эмпирические и теоретические термины Эмпирический термин обозначает фактически (онтологически) существующий объект исследует конкретная наука, а т теоретический термин обозначает определенный идеализированный объект науки.

В современной модальной логике существования объектов разделяют на фактическое и возможное (гипотетическое) Примером возможного существования объектов является существование"возможных миров"как альтернатива реально существующем сви итов Фактическое существование объектов имеет выражение"Онтологически существует объект х"(\"Черные дыры в космосе существуют\"), а возможно существование -"возможно, объект х существует"(\"Возможно, параллельные миры существуют\"uot; ("Можливо, паралельні світи існують").

Если Б Рассел признавал только фактическое существование объектов в связи с собственным"сильным чувством реальности"и не допускал, с точки зрения логики, существование мнимых объектов вроде"единорогов"или"золото й горы", то современная модальная логика допускает возможность существования объекта х гипотетически Согласно такого предположения, различают способы существования объектовяють способи існування об'єктів:

1 Объект х существует фактически (онтологически, реально):"Планета Марс существует\"

2 Объект х существует возможно (гипотетически):"Возможно, существует внеземная цивилизация в Галактике IV\"

3 Объект х не существует ни фактически, ни логически Таким может быть объект, противоречивый по своей сути:"Существует умный человек, который не имеет разума\","Существует невежда, что абсолютно все знает\"

Логическое отношение между фактическим и возможным (гипотетическим) существованием определенного объекта можно изобразить с помощью"логического квадрата\"

Итак, устанавливаем логические отношения между фактическим и возможным (гипотетическим) существованием объекта х

1 Если объект х фактически существует, то он не существует возможно Формально: 3xF (Р (х)) -"З 0 (Р (*)) Например:"Если планета Марс фактически существует, то она не существует возможно"

2 Объект х или фактически существует, или фактически не существует (одно из этих утверждений должно быть истинным) Формально: 3xF (Рх)) и JL -"3xF (Р (х)) Например:"Планета Марс или на самом деле существует существует (х)правді не існує (х)п.

3 Объект х или может означать, или возможно не существует Формально: С 0 (Р (х)) 1 - З 0 (Р (х))

По значению истинности эти два утверждения не являются ни истинными, ни ложными, а неопределенными, то есть имеют третье значение истинности - V2-Например:"Возможно, существует жизнь в других галактиках (У2) Возможно, не существует жизни в других галактиках (1/2)1/2)п.

4 Если объект х возможно (гипотетически) существует, то объект х существует фактически Формально: С 0 (Р (х)) - З F (Р (х))

Такое чисто логический вывод фактического существования объекта А с его возможного существования допускал Г Лейбниц, когда доказательства бытия Бога он выводил из идеи Бога, и"если Бог может означать, то он на самом ди существует"Однако возможности существования объекта х с необходимостью не следует действительное существование объекта х, то есть то, что допускается как возможное (гипотетическое) существование, не вызывает с необходимостью как фак ческое (онтологическое) существованиее) існування.

Логики, исследовавшие существования объектов, не определяли временное измерение их существования Необходимость уточнения временного измерения существования объектов связана с определением: о каком объекте - пустой или в пустой - говорится в высказыванииі.

Фактическое существование объектов во временном измерении определяют словами"существовал\","существует\","будет существовать"Из этого следует:"Фактически во время *, существовал объект:"Во время г, существовал динозавр, который перестал существовать во время * 2\","Во время существовала Римская империя, которая перестала существовать во время * 2"В приведенных примерах термины"динозавр\","Римская империя"не факт ичному пустыми, то есть имеют свой денотат, но во временном измерении могут стать пустыми, скажем, в наше время * 3, когда уже не существует объектов, обозначающие названными срокамкажімо, в наш час *3, коли вже не існує об'єктів, що позначають названими термінами.

Если не считать временное измерение существования объектов, то может возникнуть такой парадокс существования"Фактически во время существовал объект А, который не существовал во время Скажем:"Фактически, во время ^ существовали динозав вры, которые не существовали во время гли в час г".

Рассмотрим уже упоминавшийся пример Б Рассела, где он использовал пустой термин"современный король Франции\", которому приписано свойство"быть лысым"Если не считать временное измерение существования объект тов, то термин"современный король Франции"- пустой в наше время * 2 Предположим, что в прошлом, во время /,, существовал такой король Франции, который был лысым, тогда термин"современный король Франции"не был пустые м и свойство"быть лысым"приписана реальном (фактическом) объектныйисим" приписана реальному (фактичному) об'єктові.

Уточнение временного измерения онтологического существования объектов имеет значение для установления содержания и фактического объема понятия (см. 341), то есть фактический объем понятие приобретает исторического измерения Так, изм городов понятие"Динозавр\":"пресмыкающихся, живший в период мезозоя и вымер в конце мелового периода"Объем: все пресмыкающиеся, которые жили в период мезозоя и вымерли в конце мелового периодикінці крейдяного періоду.

Логическое (мнимое) существования объектов вроде"круглый квадрат\","золотая гора\","лошадь, что летает\","идеальный мыслитель"нет временного измерения существования Таким объектам задают чисто абстрактные свойства те Р, Р2, Р8 и их определяют как абстрактные объект, Р8 і їх визначають як абстрактні об'єкти.

Интерпретация логики существования может быть осуществлена ??в тех познавательных системах (науке, философии, парапсихологии и т.д.), где формулируется проблема существования объектов и определяются способы их существования

Список рекомендованной литературы

Аристотель Сочинения: В 4 т - М, 1978 - Т 2

Бессонов А, Петров В Теория объектов Мейнонга и основания современной логики / / методологический анализ оснований математики - М, 1988

Васильев Н Воображаемая логика - М, 1989

Васюков В Квантовая логика - М, 2005

Вригт Г X фон Логико-философские исследования - М, 1986

Гейтинг А Интуиционизм - М, 1965 Гильберт Д, Аккерман В Основы теоретической логики - М, 1947

Зиновьев А Очерки комплексной логики - М, 2000 Зиновьев А Философские проблемы многозначной логики - М, 1960

Ивин А Логика времени / / Неклассическая логика - М, 1970 Исследования по неклассическим логика - М, 1989 1шМуратов А Введение в философской логики - К, 1996 Ишмуратов А Логические теории временных кон нтекстов (временная логика) - К, 198). - К., 1981.

Карнап Р Значение и необходимость - М, 1959 Клинья С Математическая логика - М, 1973 Конверський А"Логика (традиционная и современная) - К, 2004 Кондаков Н Логический словарь-справочник - М, 1975 Костюк В Э Элементы модальное логики - К, 197ой логики. - - К., 1978.

Лейбниц Г Сочинения: В 4 т - М, 1984

Логический словарь"Дефорт"- М, 1994

Лукасевич Я Аристотелевская силлогистики с точки зрения современной формальной логики - М, 1959

Лукасевич Я В защиту логистики / / Философия и логика Львовско-Варшавской школы - М, 1999

Лукасевич Я О детерминизме / / Философия и логика Львовско-Варшавской школы - М, 1999

Многозначные, релевантные и паранепротиворечивые логики - М, 1984

Переверзев В Логистика: Справочная книга по логике - М, 1995

Прайор А Временная логика и непрерывность времени / / Семантика модальных и интенсиональных логик - М, 1981

Рассел Б Введение в Математическую философию - М, 1996

Рассел Б Философия логического атомизмом - Томск, 1999

Слинин Я Современная модальная логика - Л, 1976

Фреге Г Логика и логическая семантика - М, 2000

ХинтиккаЯ Логико-эпистемологические исследования - М, 1980

Хинтикка Я Ситуации, возможные миры и установки / / знаковые системы в социальных и когнитивных процессах - Новосибирск, 1990

Хоменко I Логша - юристам - К, 1997

Хромой Я Математическая лопка - К, 1983

Шуман А Современная логика: Теория и практика - М, 2004

Шуман А Философская логика - М, 2001

Ackermann W Begrundung einer strengen Implikation / / The Journal of Symbolic Logic - 1956 - № 2

Hintikka J Models for modalities, selected essays - Dordrecht, 1969

Lewis C, Lang ford C Symbolic logic - New York, 1932

Lukasiewcz JA system of modal logic / / The Journal of Computing Systems - 1953 - № 3 - V 1

Lukasiewicz J Logika trojwartosciowa / / Ruch Filozoficzny - Lwitw, 1920 - Т 5 - № 9

Prior A Time and modality - Oxford, 1957

Reseller NA Contribution to Modal Logik / / Review of Metaphysics - 1958 - № 12

Whitehead A, Russell B Principia mathematica - Cambridge, 1910-1913 - V 1-3

 
Предыдущая   СОДЕРЖАНИЕ   Следующая
 
Дисциплины
Банковское дело
БЖД
Бухучет и Аудит
География
Документоведение
Экология
Экономика
Этика и Эстетика
Журналистика
Инвестирование
Информатика
История
Культурология
Литература
Логика
Логистика
Маркетинг
Медицина
Менеджмент
Педагогика
Политология
Политэкономия
Право
Естествознание
Психология
Религиоведение
Риторика
РПС
Социология
Статистика
Страховое дело
Товароведение
Туризм
Философия
Финансы