Что такое логика?

Тарас А Шиян 16 –17 октября 2014 г.

Белосток, Польша

What is Logic?

Dr. Taras A. Shiyan Moscow, Russia 16 –17 October 2014 Bia łostok, Poland

Онтологический тезис и социальные институты

• Первичное существование философии, науки и составляющих их дисциплин в качестве социальных институтов.

– Вторичное существование научных предметов, видов деятельности и т.п. внутри социальных институтов.

•

Социальный институт

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

• Такие области характеризуются своими устоявшимися формами поведения, деятельности, коммуникации и т.п., используемыми знаковыми средствами, образцами, нормами и т.п., своим предметом, целью, методами, инструментарием, и т.д.

• Важную роль в оформлении подобных областей играет появление институций.

I. Институциональное понимание логики

1.

2.

Логика

как социальный институт – то, что называют в данной культуре логикой, когда официально говорят о логике как профессии, о профессиональных логиках, о различных логических институциях и т.п.

С точки зрения предмета, обязанностей и т.п.

логика

– то, чем занимаются логики в рамках своих профессиональных интересов, занятий,

Институциализация философской логики в России. I

• 12.1941 – воссоздание философского факультета МГУ (в эвакуации в Ашхабаде).

• 4.12.1946 – постановление ЦК ВКП(б) «О преподавании логики и психологии в средней школе».

• 1947 – Создание кафедры логики философского факультета МГУ и сектора логики Института философии АН СССР.

Ленин: «Не надо трех слов»: «диалектика» ( методология), «логика», «теория познания».

1.

2.

3.

Институциализация философской логики в России. II

Выступления «диалектиков» против формальной логики в – 20–30-е и в 1953 – нач.60-х, – закончилось в начале 60-х выделением кафедры диалектической логики из кафедры логики ФФ МГУ.

Выступление против математической логики: – в кон. 1940-х, закончилось: – созданием в 1959 г. А.А. Марковым кафедры математической логики на механико-математическом факультете МГУ, – начало с сер.1960-х гг. (при зав. каф. И.С.Нарского и А.А.Зиновьева) математизации философской логики.

Неопределенное положение методологии науки между логикой и теорией познания, – закончившееся в 1992 созданием кафедры философии науки на ФФ МГУ – и продолжившееся переименованием кафедр диалектического материализма в кафедры онтологии и теории познания.

Черты советской философской культуры в отношении к логике

Консервация отдельных черт логики XIX в. в советской философской культуре.

1.

Институциональная неразделенность логики, методологии науки, гносеологии и онтологии в советской философии.

– Ленин: Не надо трех слов: «диалектика» (методология), «логика», «теория познания».

2.

3.

Интиматематизм.

– Математизация некоторой дисциплины

всегда

трансформирует ее предмет.

Психологизм: – Трактовка логики как науки о мышлении.

Институциональное vs. предметное понимание логики

•

Логика

как социальный институт – то, что называют в данной культуре логикой, когда официально говорят о логике как профессии, о профессиональных логиках, о различных логических институциях и т.п.

• С точки зрения предмета,

логика

логики в рамках своих профессиональных интересов, занятий, обязанностей и т.п.

– то, чем занимаются • • Возражения некоторых философов: такая «логика» – – не философия: – это наука, математика; – не логика: – «логика» (то, чем занимаются логики) – это математика, раздел математики (по предмету), а математика – это не логика, хотя и использует логику (в каком-то смысле слова).

Логика

как наука – это наука о чем?

II. Логика как диалектика

1 Платон 427 – 347 гг. до н.э.

•

Логика

– –

наука о «правильных» рассуждениях.

«правильные», корректные – обладающие познавательной или демонстративной, убеждающей и т.п. силой;

–

«рассуждения» – выводы, доказательства, объяснения, убеждения (аргументация) и т.д.

• Диалектика 1 – как искусство при помощи рассуждений доискиваться до доказательств «сущности каждой вещи» (Государство, 534b). «Доказательства – это и есть преимущественно орудие философа» (Государство, 582d).

II.1.

Формальная логика – это логика

Аристотель 384 Рассуждения, основанные на форме – 322 гг.

до н.э.

Аристотель в Analitika Pr., кн. I, гл. 1, фр. 24a): «Прежде всего следует сказать, о чем исследование и дело какой оно [науки]:

оно о доказательстве

, и

это дело доказывающей науки

».

Александр : «

Доктрина излагается посредством букв

, для того чтобы доказать нам, что

заключение получается не благодаря материи, но благодаря фигуре, сплетению посылок и модусу

».

Филопон : «Теперь это

общее правило дается посредством букв

: ими можно пользоваться, по произволу подставляя вместо букв любой материальный термин».

Аммоний : «Перипатетики, следуя за Аристотелем, считают ее органоном. Они дают голые правила, они не берут предметы в качестве подлежащих, но согласуют правила с буквами».

II.2.

Индуктивная логика – это логика?

Рассуждения от частных фактов к общим законам.

Ф. Бэкон F. Bacon 1806 – 1873 • Формальная логика – это логика изложения известного.

• Формальная логика – это школьная логика, пригодная разве что в быту.

• Нужна новая логика – логика научного открытия.

Д.С. Милль J.S. Mill 1806 – 1873

II.3.

Диалектическая

2

логика – это логика?

Рассуждения по схеме Тезис – Антитезис – Синтез Г.В.Ф. Гегель G.W.F. Hegel 1770 – 1831 Ищенко Т.С. Краткий философский словарь. М., 1931.

«

Старая логика

<…> своим основанием имеет метафизический способ рассмотрения действительности <…> метафизическое понимание мира <…>

Диалектика

включает в себя

формальную логику

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

К.Х. Маркс K.H. Marx 1818 – 1883

II.

4. Индийская

pramanavada

– это логика?

• Буддизм и ньяя.

Дигнага

(V –VI вв.): умозаключение – это «процесс познания чего либо не с помощью наблюдения, а через посредство признаков, неизменно связанных с познаваемым объектом» [Стяжкин, с. 8].

Пример пятичленного рассуждения «для других» [ тезис]: На той горе есть огонь.

1. [ причина]: Потому, что на той горе виднеется дым.

2. [ пример]: Как бывает дым над огнем в очаге на кухне.

3. [ правило]: Нет дыма без огня.

4. [ приложение общего правила]: Так и здесь, виден тот самый дым, которого не бывает без огня.

5. [ заключение]: Значит, на той горе есть огонь.

B

II.5.

Математика – это логика?

Рассуждения о предмете как о системе объектов определенного вида

Абстрактные разделы математики

: A C – Теория множеств, – Теория функций, – Теория графов, – Абстрактная алгебра, – et cetera.

C A B D

(x + y) = (y + x)

II.6.

Онтология – это логика?

Если логика – наука о рассуждениях, то

относится не только формальная (дедуктивная) логика, но и к логике – «индуктивная логика», – «диалектическая 2 понимании), логика» (в гегельянском – различные индийские учения о выводах и доказательствах, – современная «теория аргументации», – разделы абстрактной математики, – и т.п.

•

Логика

– формальная (дедуктивная) логика.

III. Логика как формальная логика

Что является предметом?

Ю.В. Ивлев: 1.

2.

3.

«

Логика

– это наука о мышлении» [Ивлев, 1992 (с.7), 2001 (с.11)].

«

Формальная логика

<…> является нормативной наукой о формах, законах и приемах интеллектуальной познавательной деятельности» [Ивлев 1992 (с.11), 2001 (с.15)].

«

Формальная логика

– это наука о формах мышления, о формально-логических законах и других связях и отношениях между мыслями по их логическим формам» [Ивлев, 1992 (с.10), 2001 (с.15)].

III.2.

Предмет формальной логики

1. [ традиция]:

Логика (формальная)

формах правильного мышления.

2.

– наука о [Бочаров, Маркин 1994, с.9]: « языка».

Логика

нормативная наука о формах и приемах интеллектуальной познавательной – это деятельности, осуществляемой с помощью 3. [ Около 2000-х]:

Логика

формах.

– наука о логических

Логическая форма

Что такое логическая форма?

Ю.В. Ивлев: • «Чтобы выявить

логическую форму

отвлечься от содержания мысли нужно мысль» [Ивлев 1992, с.9].

• «Процесс выявления терминов, входящих в словосочетание, выражающее эту

логической формы

мысли заключается в отвлечении от смысла

нелогических

2001, с.13].

• « значений терминов, входящих в словосочетание, выражающее эту мысль» [Ивлев

логическая форма мысли нелогических

– это ее структура, выявляемая в результате отвлечения от смыслов и терминов» [Ивлев 1992, с.9; 2001, с.13].

нелогических

Логическая форма

В.А. Бочаров и В.И. Маркин: • «

Логической формой

некоторого

языкового контекста

называют

выражение

, фиксирующее ту часть содержания контекста, которая остается в результате отвлечения от конкретных содержаний входящих в этот контекст.

Процедура отвлечения от содержаний Маркин, с. 24].

группы (но

без

апелляции к « «нелогические знаки».

нелогических

терминов или же от содержаний простых высказываний,

нелогических

терминов и простых высказываний осуществляется посредством замены указанных языковых выражений параметрами соответствующих категорий, причем одинаковые выражения заменяются одинаковыми параметрами, а различные – различными» [Бочаров, Нужно учение о знаках, вводящее деление знаков на 2

логическому

»). Из которых одна будет названа «логические знаки». А другая

Наблюдения

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

1.

Встречаются

высказывания

них идет речь, а , имеющие ту или иную истинностную оценку не в силу того, о каком предмете в

в силу только своей структуры

, в силу каких-то особенностей своей знаковой формы.

2.

Встречаются

группы высказываний

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

–

Существуют группы высказываний

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

Определение логической формы

•

Логическая форма

(2).

– это та часть или составляющая знаковой формы, учет которой позволяет выделять, описывать и объяснять высказывания вида (1) и группы высказываний вида – Определение учитывает и историческое развитие предмета логики: в ходе логических исследований время от времени обращают внимание на новые аспекты знаковых форм, позволяющие описывать упомянутые явления (1) и (2).

• •

Логические формы схем

.

Логическая схема

логическую форму.

представляются при помощи – схема, представляющая

Схема

•

Схема 1

– способ аналитического представления предмета нашего мышления, в котором в явном, дискретном виде фиксируется основные объекты, предметы нашей мысли, составляющие основной предмет («объекты», пространства, процессы, действия, знаки и т.д.), и связи между ними.

• Иногда схемы описываются словами, но обычно они передаются различными является их

статичность

схематизации.

визуальными

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

Схема 2

– визуальный, «графический» объект, иконически представляющий схему 1 .

Логическая схема

•

Логическая форма

тот аспект знаковой формы, учет которого позволяет выделять, описывать и объяснять высказывания вида (1) и группы высказываний вида (2).

– это схема 1 , представляющая • •

Логическая схема 1

= логическая форма.

Логическая схема 2

– схема 2 , выражающая логическую форму (логическую схему 1 ).

Литература

1.

2.

3.

4.

5.

6.

7.

Аристотель. Первая Аналитика.

Бочаров В.А., Маркин В.И. Основы логики. М.. 1994.

Ивлев Ю.В. Логика. М., 1992.

Ивлев Ю.В. Логика для юристов. М., 2001.

Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики. Стяжкин Н.И. Формирование математической логики. М., 1967.

Шиян Т.А. О проблеме определения предмета формальной логики // XIV научно-практическая конференция «Дни науки – 2014». Тезисы докладов: Озерск, 25–26 апреля 2014 г. Озерск: ОТИ НИЯУ МИФИ, 2014. ISBN 978-5-905620-14-0.