blackpost: Логика. 8.

Логика. 8.
В 20-е годы XX в. предмет логических исследований существенно расширился.

Начали складываться многозначная Логика, предполагающая, что наши утверждения являются не только истинными или ложными, но могут иметь и другие истинные значения;

модальная Логика, рассматривающая понятия необходимости, возможности, случайности и т. п.;

деонтическая Логика, изучающая логические связи нормативных высказываний, и др.

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

В дальнейшем сложились и нашли интересные применения:

Логика времени, описывающая логические связи высказываний о прошлом и будущем;

паранепротиворечивая Логика, не позволяющая выводить из противоречий все что угодно;

эпистемическая Логика, изучающая понятия "опровержимо", "неразрешимо", "доказуемо", "убежден", "сомневается" и т. п.;

Логика оценок , имеющая дело с понятиями "хорошо", "плохо", "безразлично", "лучше", "хуже" и т. п.;

Логика изменения, говорящая об изменении и становлении нового;

Логика причинности, изучающая утверждения о детерминизме и причинности;

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

релевантная Логика и др.

Экстенсивный рост Логики не завершился и сейчас. Основные ее ветви, или разделы, можно сгруппировать так:

о базисная Логика, в которую входят классическая Логика, модальная Логика, многозначная Логика, неклассические теории логического следования;

>> металогика, исследующая сами логические теории, их внутреннюю структуру и связи с описываемой ими реальностью