"Логика. Курс лекций" - читать интересную книгу автора (Тымцяс В.Г.)

мерно как в геометрии строят различной мерности пространства, в каж-
дом из которых свои аксиомы и законы). В этом плане теоретическая логи-
ка делится на классическую и неклассическую:

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

никакими другими;

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

является модальная логика.

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

из логики парадоксы импликации.

В настоящее время неклассическая логика — это наиболее интенсивно

развивающаяся часть логической теории.

б) Теории, изучающие основные проблемы логики, логические фор-
мы. Их можно было бы назвать отраслевыми теориями. Среди них следует
отметить, прежде всего, логику предикатов — основной раздел математи-
ческой логики, занятый изучением внутренней структуры высказываний.
Эту логику называют также функциональной логикой, теорией кванти-
фикации, кванторной логикой. Частями логики предикатов являются:

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

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

2.2. Приложения логики:

а) Металогика, т. е. исследование самой логики, логических теорий, их

структуры и связи с описываемой реальностью.