Теперь Кью работает в режиме чтения

Мы сохранили весь контент, но добавить что-то новое уже нельзя

Чем занимается современная (1990-наше время) логика?

ЛогикаИстория наукиМатематическая логика
Кирилл Агеев
  · 239
Разговор с читателем. Давайте обсудим нашу действительность, побеседуем, выскажем свое...  · 18 февр 2020

Здравствуйте, Кирилл.

Современная логика занята многими вопросами. Это и построение формальных систем и логика правдоподобных рассуждений, а также логика вопросов и ответов, логика человеческого языка, логическая семиотика, логическая методология.

Также разрабатываются варианты многозначной логики, много вопросов вызывают модальная логика, логика оценок.

Больше всего направлений исследования, мне кажется, связано с вопросами основания математики. Именно логицизм, формализм, конструктивизм и др. предстают как возможные расширения классической бинарной логики.