Единство логики
Рассмотренные разделы неклассической логики РЅРµ исчерпывают, конечно, всего многообразия существующих логических систем. Логика как наука едина. Однако РѕРЅР° слагается РёР· множества более или менее частных систем, РЅРё РѕРґРЅР° РёР· которых РЅРµ может претендовать РЅР° выявление логических характеристик мышления РІ целом. Р’ этом аспекте современная логика отличается РѕС‚ традиционной логики. Последняя РЅРµ знала никаких РјРЅРѕРіРёС… «логик». Проблема сведения РІ единство тех фрагментарных описаний мышления, которые даются отдельными логическими системами, перед нею вообще РЅРµ стояла.
Рнтенсивное развитие логики сопровождается расширением Рё обогащением ее аппарата, возникновением новых разделов Рё систем. Рта дифференциация РЅРµ должна вместе СЃ тем заслонять те идеи Рё СЃРІСЏР·Рё, которые превращают непрерывно расширяющееся множество логических систем РІ единую науку.
Единство логики проявляется прежде всего в том, что входящие в ее состав отдельные «логики» пользуются при описании содержательных логических процессов одними и теми же методами исследования. Все эти «логики» отвлекаются от конкретного содержания высказываний и умозаключений и оперируют только с их формальным, структурным содержанием. Каждая из них является системой, применяющей язык символов и формул и строящейся в соответствии с некоторыми общими для всех систем принципами. Рнаконец, сконструированная «логика» вызывает ряд вопросов, встающих в случае каждой системы: нет ли в ней противоречия, охватывает ли она все истины рассматриваемого рода? Рт.д.
Между разными логическими системами имеются определенные связи. Одни системы могут быть эквивалентны другим, или включаться в них, или являться их обобщением и т.д.
Единство логики проявляется также РІ том, что разные «логики» РЅРµ противоречат РґСЂСѓРі РґСЂСѓРіСѓ: законами РѕРґРЅРѕР№ РёР· РЅРёС… РЅРµ РјРѕРіСѓС‚ быть отрицания законов, принятых РІ РґСЂСѓРіРѕР№. Рто верно даже для систем, которые РјРѕР¶РЅРѕ назвать конкурирующими, поскольку РѕРЅРё РїРѕ-разному описывают РѕРґРЅРё Рё те Р¶Рµ процессы рассуждения. Есть, как РјС‹ видели, «логики», включающие закон исключенного третьего. Есть также системы – Рё РёС… немало, – рассчитанные РЅР° описание почти тех Р¶Рµ типов рассуждений, РЅРѕ РЅРµ включающие данного закона. Р’ бесконечном многообразии логических систем нет, однако, таких «логик», которые провозглашали Р±С‹ РІ качестве своего закона отрицание закона исключенного третьего.
Мысль, что единая современная логика слагается из большого числа отдельных «логик», если и необычна, то только по форме своего выражения. Сходное утверждение является верным в случае всякой развитой науки, скажем, физики или математики. Они также слагаются из множества отдельных теорий, только в совокупности и в сложных динамических взаимосвязях составляющих своеобразное единство, называемое физикой или математикой.
Литература
Айер Рђ.Р”. Язык, истина Рё логика // Аналитическая философия. Рзбранные тексты. – Рњ.: 1993.
Гейтинг Рђ. Рнтуиционизм. – Рњ.: 1965.
Горский Р”.Рџ., РРІРёРЅ Рђ.Рђ., Никифоров Рђ.Р›. Краткий словарь РїРѕ логике. – Рњ., 1991.
РРІРёРЅ Рђ.Рђ. Строгий РјРёСЂ логики. – Рњ., 1988.
Карри Х.Б. Основания математической логики. – М., 1969.
Фейс Р. Модальная логика. – Рњ., 1.974.
Френкель Рђ., Бар-Хиллел Р. Основания теории множеств. – Рњ., 1966.
Контрольные вопросы
Какие основные разделы включает неклассическая логика? Чем отличается интуиционистская логика от классической? Какие идеи лежат в основе многозначной логики?
Что такое модальность? Какие существуют виды модальностей?
Что является предметом исследования логики норм и логики оценок?
В чем недостатки классической логики как теории логического следования?
Как трактуется противоречие в паранепротиворечивой логике?
Какие законы устанавливает логика причинности?
Какие идеи лежат в основе логики направленности?
Чем обеспечивается единство логики как науки?