Античная философия

    Следующей важной задачей в статье выступает поиск содержательного определения существа логики. Здесь автор, проводя анализ вопроса о природе логики, рассматривает подход к логике и формальной логике с точки зрения ЦелищеваВ.В. и его работы  «Нормативность дедуктивного дискурса: феноменология логических констант».

    Вопросами логики  и ее философского смысла занимался  еще Аристотель, его логические труды были объединены под общим названием «Органон». В настоящее время свой значительный вклад в логику внес американский философ и логик Крипке С. Особенным был вклад в модальную логику, когда Крипке был еще юношей.

    Крипке, не смотря на то, что он является профессиональным философом, имеет только академическую степень бакалавра, которую он получил в Гарварде. Своими работами он оказал большое влияние на аналитическую философию. Самым значительным вкладом Крипке является метафизическое описание модальности, которое включает идею возможных миров. Как модальность объясняется в системе крипкевской семантики. Другими его важными достижением являются демонстрации существования необходимых апостериорные истин. Таких как «Вода есть H2O». С. Крипке внес весомый вклад в изучение философии Витгенштейна, после чего его интерпретацию назвали «Крипкенштейн». Самой известной книгой Крипке является «Именование и необходимость» написанная в 1980году.

     Говоря о  знаменитых работах Крипке, которые начиная с конца пятидесятых годов, получили широкое распространение, необходимо отметить реляционную семантику Крипке ставшую известной в этот период в модальной логике. Основной идеей является интерпретация формул в реляционных структурах ("шкалах Крипке").  Формула F считается истинной в точке Х, если F истинна во всех точках, которые связаны с Х в данном бинарном отношении.

    Проблемы логической  семантики тесно переплетены  с большим количеством традиционных  философских вопросов. Сюда можно  отнести трактовку понятий истинности  и аналитической истинности, проблему  универсалий и онтологических  предпосылок в логике, трактовку  модальных высказываний. Проблемы  связанные с высказываниями с  временными, эпистемическими терминами, проблемы связанные с информативностью логических форм, с типологией семантических категорий и их связи с теоретически -познавательными категориями. Связи между логикой с философией в большей степени осуществляется именно через семиантику логическую. Началом современной семантики логической считаются работы Г. Фреге. Но построение логической семантики, как теоретической науки датируют началом 30-х годов.  В середине 20го столетия наблюдалось интенсивное развитие логической семантики, С. Крипке построил семантики для различных типов модальных логик и интуиционистской логики, релевантных логик и немонотонных логик. Были созданы семантики с истинностными провалами и пресыщенными оценками, ситуационные семантики. В настоящее время интенсивно разрабатываются семантики интенсиональных и эпистемических контекстов.

    Основываясь на семантике, Крипке вскоре были созданы адекватные семантики для огромного количества модальных исчислений, а так же была создана теоретико-модельная техника. В результате семантике модальных логик появилась теорема Салквиста или Гольдблатта-Томасона. Были получены так же отрицательные результаты: примеры неполных по Крипке модальных исчислений, исчислений с алгоритмически неразрешимой проблемой вывода.

  Идеи Крипке оказали огромное влияние на современную логику, но они вызвали бурные споры и критику. Они были подвергнуты сомнениям, как подвернуто сомнениям понятие самих возможных миров. 

 

 

 

 

 

 

 

 

 

¹ Философия: Учебник для вузов, Под ред. В. В. Миронова, М.: Норма, 2005. — 928 с. с.6 http://www.alleng.ru/d/phil/phil067.htmhttp://lib.podelise.ru/docs/55510/index-872.html

² Философия: Учебник для вузов, Под ред. В. В. Миронова, М.: Норма, 2005. — 928 с. с.18

³ Философия: Учебник для вузов, Под ред. В. В. Миронова, М.: Норма, 2005. — 928 с. с.28

⁴ Философия: Учебник для вузов, Под ред. В. В. Миронова, М.: Норма, 2005. — 928 с. с.31

⁵ Философия: Учебник для вузов, Под ред. В. В. Миронова, М.: Норма, 2005. — 928 с. с.33

⁶ Философия: Учебник для вузов, Под ред. В. В. Миронова, М.: Норма, 2005. — 928 с. с.114

⁷  Бенин В. Л., Десяткина М. В., Очерки социальной философии. М.,1994. С.4.

⁸ Барулин В.С. Социальная философия: Учебник. — Изд. 2-е. — М.: ФАИР-ПРЕСС, 2000.

⁹ Бенин В. Л., Десяткина М. В., Очерки социальной философии. М.,1994. С.11 http://lib.rus.ec/b/66068/read

¹⁰ Момджян К. Х. Социум. Общество. История. М., 1994. С. 68

¹¹  Добрынина В. И., Грехнев В. С., Добрынин, Осипова Н. А.,  Философия XX века. Учебное пособие. М., ЦИНО общества "Знание" России, 1997.с.105 http://www.gumer.info/bogoslov_Buks/Philos/Fil_XX/_07.php

 

¹² Добрынина В. И., Грехнев В. С., Добрынин, Осипова Н. А.,  Философия XX века. Учебное пособие. М., ЦИНО общества "Знание" России, 1997.с.107

¹³ Добрынина В. И., Грехнев В. С., Добрынин, Осипова Н. А.,  Философия XX века. Учебное пособие. М., ЦИНО общества "Знание" России, 1997.с.110

¹⁴ Добрынина В. И., Грехнев В. С., Добрынин, Осипова Н. А.,  Философия XX века. Учебное пособие. М., ЦИНО общества "Знание" России, 1997.с.112

¹⁵ Павлов К. А, На подступах к понятию логики. 2009г.