Логика. Шпаргалка

Одним из результатов анализа таких рассуждений явилось возникновение интуиционистской логики, сформулированной в 1930 г.

Еще в 1912 г. американский логик и философ К. И. Льюис обратил внимание на т. н. парадоксы импликации, характерные для формального аналога условного высказывания в классической логике – материальной импликации. Льюис разработал первую неклассическую теорию логического следования, в основе которой лежало понятие строгой импликации. Наибольшую известность из них получила релевантная логика, развитая американскими логиками А.

На рубеже 1920-х гг. были построены первые в современной логике модальные логики, рассматривавшие понятия необходимости, возможности, случайности и т. п. Тем самым была возрождена тема модальностей, которой активно занимались еще Аристотель и средневековые логики.

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

В дальнейшем сложились логика времени (описывающая логические связи высказываний, у которых временной параметр включается в логическую форму), паранепротиворечивая логика (не позволяющая выводить из противоречия все, что угодно), эпистемологическая логика (изучающая понятия «опровержимо», «неразрешимо», «доказуемо», «убежден», «сомневается» и т. п.), логика предпочтений (имеющая дело с понятиями «лучше», «хуже» и «равноценно»), логика изменения (говорящая об изменении и становлении), логика причинности (изучающая утверждения о детерминизме и причинности) и др.

4. Модальная логика и другие разделы неклассической логики

Стремление обогатить язык логики и расширить ее возможности привело к возникновению модальной логики. Ее задача – анализ рассуждений, в которых встречаются модальные понятия, служащие для конкретизации устанавливаемых нами связей, их оценки с той или иной точки зрения.