Что такое логика? Тарас А Шиян 16–17 октября 2014 г. Белосток, Польша

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

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

I. Институциональное понимание логики 1. Логика как социальный институт – то, что называют в данной культуре логикой, когда официально говорят о логике как профессии, о профессиональных логиках, о различных логических институциях и т.п. 2. С точки зрения предмета, логика – то, чем занимаются логики в рамках своих профессиональных интересов, занятий, обязанностей и т.п.

Институциализация философской логики в России. I – воссоздание философского факультета МГУ (в эвакуации в Ашхабаде) – постановление ЦК ВКП(б) «О преподавании логики и психологии в средней школе» – Создание кафедры логики философского факультета МГУ и сектора логики Института философии АН СССР. Ленин: «Не надо трех слов»: «диалектика» (методология), «логика», «теория познания».

Институциализация философской логики в России. II 1. Выступления «диалектиков» против формальной логики в –20–30-е и в 1953 – нач.60-х, –закончилось в начале 60-х выделением кафедры диалектической логики из кафедры логики ФФ МГУ. 2. Выступление против математической логики: –в кон х, закончилось: –созданием в 1959 г. А.А. Марковым кафедры математической логики на механико-математическом факультете МГУ, –начало с сер.1960-х гг. (при зав. каф. И.С.Нарского и А.А.Зиновьева) математизации философской логики. 3. Неопределенное положение методологии науки между логикой и теорией познания, –закончившееся в 1992 созданием кафедры философии науки на ФФ МГУ –и продолжившееся переименованием кафедр диалектического материализма в кафедры онтологии и теории познания.

Черты советской философской культуры в отношении к логике Консервация отдельных черт логики XIX в. в советской философской культуре. 1. Институциональная неразделенность логики, методологии науки, гносеологии и онтологии в советской философии. –Ленин: Не надо трех слов: «диалектика» (методология), «логика», «теория познания». 2.Интиматематизм. –Математизация некоторой дисциплины всегда трансформирует ее предмет. 3.Психологизм: –Трактовка логики как науки о мышлении.

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

II. Логика как диалектика 1 Логика – наука о «правильных» рассуждениях. –«правильные», корректные – обладающие познавательной или демонстративной, убеждающей и т.п. силой; –«рассуждения» – выводы, доказательства, объяснения, убеждения (аргументация) и т.д. Диалектика 1 – как искусство при помощи рассуждений доискиваться до доказательств «сущности каждой вещи» (Государство, 534b). «Доказательства – это и есть преимущественно орудие философа» (Государство, 582d). Платон 427 – 347 гг. до н.э.

II.1. Формальная логика – это логика Рассуждения, основанные на форме Аристотель в Analitika Pr., кн. I, гл. 1, фр. 24a): «Прежде всего следует сказать, о чем исследование и дело какой оно [науки]: оно о доказательстве, и это дело доказывающей науки». Александр : «Доктрина излагается посредством букв, для того чтобы доказать нам, что заключение получается не благодаря материи, но благодаря фигуре, сплетению посылок и модусу». Филопон : «Теперь это общее правило дается посредством букв: ими можно пользоваться, по произволу подставляя вместо букв любой материальный термин». Аммоний : «Перипатетики, следуя за Аристотелем, считают ее органоном. Они дают голые правила, они не берут предметы в качестве подлежащих, но согласуют правила с буквами». Аристотель 384 – 322 гг. до н.э.

II.2. Индуктивная логика – это логика? Рассуждения от частных фактов к общим законам. Формальная логика – это логика изложения известного. Формальная логика – это школьная логика, пригодная разве что в быту. Нужна новая логика – логика научного открытия. Д.С. Милль J.S. Mill 1806 – 1873 Ф. Бэкон F. Bacon 1806 – 1873

II.3. Диалектическая 2 логика – это логика? Рассуждения по схеме Тезис – Антитезис – Синтез Ищенко Т.С. Краткий философский словарь. М., «Старая логика своим основанием имеет метафизический способ рассмотрения действительности метафизическое понимание мира Диалектика включает в себя формальную логику как высшая ступень мышления низшую, как превзойденный момент». Г.В.Ф. Гегель G.W.F. Hegel 1770 – 1831 К.Х. Маркс K.H. Marx 1818 – 1883

II.4. Индийская pramanavada – это логика? Буддизм и ньяя. Дигнага (V–VI вв.): умозаключение – это «процесс познания чего- либо не с помощью наблюдения, а через посредство признаков, неизменно связанных с познаваемым объектом» [Стяжкин, с. 8]. Пример пятичленного рассуждения «для других» [тезис]: На той горе есть огонь. 1.[причина]: Потому, что на той горе виднеется дым. 2.[пример]: Как бывает дым над огнем в очаге на кухне. 3.[правило]: Нет дыма без огня. 4.[приложение общего правила]: Так и здесь, виден тот самый дым, которого не бывает без огня. 5.[заключение]: Значит, на той горе есть огонь.

II.5. Математика – это логика? Рассуждения о предмете как о системе объектов определенного вида Абстрактные разделы математики : –Теория множеств, –Теория функций, –Теория графов, –Абстрактная алгебра, –et cetera. BADC A CB (x + y) = (y + x)

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

III. Логика как формальная логика Что является предметом? Ю.В. Ивлев: 1.«Логика – это наука о мышлении» [Ивлев, 1992 (с.7), 2001 (с.11)]. 2.«Формальная логика является нормативной наукой о формах, законах и приемах интеллектуальной познавательной деятельности» [Ивлев 1992 (с.11), 2001 (с.15)]. 3.«Формальная логика – это наука о формах мышления, о формально-логических законах и других связях и отношениях между мыслями по их логическим формам» [Ивлев, 1992 (с.10), 2001 (с.15)].

III.2. Предмет формальной логики 1.[традиция]: Логика (формальная) – наука о формах правильного мышления. 2.[Бочаров, Маркин 1994, с.9]: «Логика – это нормативная наука о формах и приемах интеллектуальной познавательной деятельности, осуществляемой с помощью языка». 3.[Около 2000-х]: Логика – наука о логических формах.

Логическая форма Что такое логическая форма? Ю.В. Ивлев: «Чтобы выявить логическую форму мысли нужно отвлечься от содержания нелогических терминов, входящих в словосочетание, выражающее эту мысль» [Ивлев 1992, с.9]. «Процесс выявления логической формы мысли заключается в отвлечении от смысла нелогических терминов, входящих в словосочетание, выражающее эту мысль» [Ивлев 2001, с.13]. «логическая форма мысли – это ее структура, выявляемая в результате отвлечения от смыслов и значений нелогических терминов» [Ивлев 1992, с.9; 2001, с.13].

Логическая форма В.А. Бочаров и В.И. Маркин: «Логической формой некоторого языкового контекста называют выражение, фиксирующее ту часть содержания контекста, которая остается в результате отвлечения от конкретных содержаний нелогических терминов или же от содержаний простых высказываний, входящих в этот контекст. Процедура отвлечения от содержаний нелогических терминов и простых высказываний осуществляется посредством замены указанных языковых выражений параметрами соответствующих категорий, причем одинаковые выражения заменяются одинаковыми параметрами, а различные – различными» [Бочаров, Маркин, с. 24]. Нужно учение о знаках, вводящее деление знаков на 2 группы (но без апелляции к «логическому»). Из которых одна будет названа «логические знаки». А другая «нелогические знаки».

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

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

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

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

Литература 1.Аристотель. Первая Аналитика. 2. Бочаров В.А., Маркин В.И. Основы логики. М Ивлев Ю.В. Логика. М., Ивлев Ю.В. Логика для юристов. М., Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики. 6. Стяжкин Н.И. Формирование математической логики. М., Шиян Т.А. О проблеме определения предмета формальной логики // XIV научно-практическая конференция «Дни науки – 2014». Тезисы докладов: Озерск, 25–26 апреля 2014 г. Озерск: ОТИ НИЯУ МИФИ, ISBN