Между разными логическими системами имеются определенные связи. Одни системы могут быть эквивалентны другим, или включаться в них, или являться их обобщением и т.д.

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

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

Айер А.Д. Язык, истина и логика // Аналитическая философия. Избранные тексты. – М.: 1993.

Гейтинг А. Интуиционизм. – М.: 1965.

Горский Д.П., Ивин А.А., Никифоров А.Л. Краткий словарь по логике. – М., 1991.

Ивин А.А. Строгий мир логики. – М., 1988.

Карри Х.Б. Основания математической логики. – М., 1969.

Фейс Р. Модальная логика. – М., 1.974.

Френкель А., Бар-Хиллел И. Основания теории множеств. – М., 1966.

Какие основные разделы включает неклассическая логика? Чем отличается интуиционистская логика от классической? Какие идеи лежат в основе многозначной логики?

Что такое модальность? Какие существуют виды модальностей?

Что является предметом исследования логики норм и логики оценок?

В чем недостатки классической логики как теории логического следования?

Как трактуется противоречие в паранепротиворечивой логике?

Какие законы устанавливает логика причинности?

Какие идеи лежат в основе логики направленности?

Чем обеспечивается единство логики как науки?

Классическая и неклассическая логика

Интуиционистская логика

Многозначная логика

Модальная логика

Современные теории логического следования

Логика абсолютных и сравнительных оценок

Логика норм

Логика причинности

Паранепротиворечивая логика

Логика времени

Логика изменения

Одним из самых надежных способов, предохраняющих от недоразумений в общении, исследовании, споре, является определение, или дефиниция. Цель определения – уточнение содержания используемых понятий.

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

Несмотря на то что роль определений в прояснении и уточнении нашего мышления немаловажна, они встречаются в рассуждениях далеко не так часто, как хотелось бы и как этого требуют интересы ясности проводимых рассуждений.

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

Определяя, например, термометр, мы указываем, что это, во-первых, прибор, и, во-вторых, именно тот, с помощью которого измеряется температура. Давая определение понятию «термин», мы говорим, что это слово или сочетание слов, имеющее точное значение и применяемое в науке, технике или искусстве.

Оставаясь на уровне таких тривиальных примеров, трудно, конечно, почувствовать ту фундаментальную роль, которую играет в человеческом мышлении операция определения. Усложним поэтому примеры.

Философ Платон определил человека как двуногое бесперое существо. Направленность этого определения очевидна. Из всех живых существ двуногие – только птицы и люди. Но все птицы покрыты перьями, «двуногими бесперыми» являются, таким образом, только люди.

Другой философ, Диоген, ощипал цыпленка и бросил его к ногам Платона со словами: «Вот твой человек». После этого Платон уточнил свое определение: человек – это двуногое бесперое существо с широкими ногтями.