Sep 08, 2010 16:11
В 20-е годы XX в. предмет логических исследований существенно расширился.
Начали складываться многозначная Логика, предполагающая, что наши утверждения являются не только истинными или ложными, но могут иметь и другие истинные значения;
модальная Логика, рассматривающая понятия необходимости, возможности, случайности и т. п.;
деонтическая Логика, изучающая логические связи нормативных высказываний, и др.
Все эти новые разделы не были непосредственно связаны с математикой, в сферу логического исследования вовлекались уже естественные и гуманитарные науки.
В дальнейшем сложились и нашли интересные применения:
Логика времени, описывающая логические связи высказываний о прошлом и будущем;
паранепротиворечивая Логика, не позволяющая выводить из противоречий все что угодно;
эпистемическая Логика, изучающая понятия "опровержимо", "неразрешимо", "доказуемо", "убежден", "сомневается" и т. п.;
Логика оценок , имеющая дело с понятиями "хорошо", "плохо", "безразлично", "лучше", "хуже" и т. п.;
Логика изменения, говорящая об изменении и становлении нового;
Логика причинности, изучающая утверждения о детерминизме и причинности;
парафальсифицирующая Логика, не позволяющая отвергать положения, хотя бы одно следствие которых оказалось ложным;
релевантная Логика и др.
Экстенсивный рост Логики не завершился и сейчас. Основные ее ветви, или разделы, можно сгруппировать так:
о базисная Логика, в которую входят классическая Логика, модальная Логика, многозначная Логика, неклассические теории логического следования;
>> металогика, исследующая сами логические теории, их внутреннюю структуру и связи с описываемой ими реальностью
логика,
СЭС. наука