Что такое логика? - Персональный сайт Тараса А. Шияна

Что такое логика?
(к определению предмета логики
и понятия логической формы)
Тарас А. Шиян
30 октября 2014 г.
Москва, ИФ РАН
Онтологический тезис и
социальные институты
1. Историчность логики и других философских и
научных дисциплин.
2. Первичное существование логики и других
философских и научных дисциплин в качестве
социальных институтов и вторичное – в качестве
научных предметов, видов деятельности и т.п.
внутри социальных институтов.
• Логика как социальный институт – область
социальной жизни, которую в данной культуре
называют логикой, когда официально говорят о
логике как профессии, о профессиональных логиках,
о различных логических институциях и т.п.
• С точки зрения предмета, логика – то, чем
занимаются (конструируют и изучают) логики в
рамках своих профессиональных интересов,
занятий, обязанностей и т.п.
Основные положения
1. Логика (в наши дни) = «формальная
логика».
2. Логика – наука о «логических
формах».
3. Логическая форма – это …
4. Эпистемологически: логические
формы – некоторые разновидности
схем.
Что является предметом логики?
Логика (формальная) – это наука о …
1) о «правильных» рассуждениях и их формах.
–
–
«правильные», корректные – обладающие
познавательной или демонстративной,
убеждающей и т.п. силой;
«рассуждения» – выводы, доказательства,
объяснения, убеждения (аргументация) и т.д.
2) о формах (и законах) «правильного»
мышления.
3) о формах, законах и приемах
интеллектуальной познавательной
деятельности.
4) о «логических формах».
Пример: предмет логики по
Ю.В. Ивлеву
1. Логика – это наука о мышлении [Ивлев, 1992
(с.7), 2001 (с.11)].
2. Формальная логика <…> является
нормативной наукой о формах, законах и
приемах интеллектуальной познавательной
деятельности [Ивлев 1992 (с.11), 2001 (с.15)].
3. Формальная логика – это наука о формах
мышления, о формально-логических законах и
других связях и отношениях между мыслями
по их логическим формам [Ивлев, 1992 (с.10),
2001 (с.15)].
Что такое логическая форма
по Ю.В. Ивлеву
• Чтобы выявить логическую форму мысли нужно
отвлечься от содержания нелогических терминов,
входящих в словосочетание, выражающее эту
мысль [Ивлев 1992, с.9].
• Процесс выявления логической формы мысли
заключается в отвлечении от смысла
нелогических терминов, входящих в
словосочетание, выражающее эту мысль [Ивлев
2001, с.13].
• логическая форма мысли – это ее структура,
выявляемая в результате отвлечения от смыслов и
значений нелогических терминов [Ивлев 1992, с.9;
2001, с.13].
Что такое логическая форма
по В.А. Бочарову и В.И. Маркину 1994 г.
«Логической формой некоторого языкового
контекста называют выражение, фиксирующее ту
часть содержания контекста, которая остается в
результате отвлечения от конкретных содержаний
нелогических терминов или же от содержаний
простых высказываний, входящих в этот контекст.
Процедура отвлечения от содержаний нелогических
терминов и простых высказываний осуществляется
посредством замены указанных языковых
выражений параметрами соответствующих
категорий, причем одинаковые выражения
заменяются одинаковыми параметрами, а
различные – различными» [Бочаров, Маркин, с. 24].
Что такое логическая форма
по В.А. Бочарову и В.И. Маркину 2008 г.
«Логической формой языкового контекста будем
называть выражение, фиксирующее ту часть
содержания контекста, которая остается в результате
отвлечения от конкретных содержаний нелогических
терминов или же от содержаний простых высказываний,
входящих в данный контекст» [Бочаров, Маркин 2008,
с. 27].
Логика
– наука о «логических формах»
(сложности и задачи)
1.
2.
Логические формы чего?
Как определить понятие логической формы без
апелляции к «логическому»?
–
3.
4.
Кажется, что нужно учение о знаках, вводящее (но
без апелляции к «логическому») деление знаков
на 2 группы, из которых одна будет названа
«логические знаки», а другая – «нелогические
знаки».
Как объяснить множественность логических форм
у одного и того же выражения?
Как объяснить историчность выделения
логических форм?
Наблюдения
Существует две группы наблюдений, восходящих к древним
грекам, но отсутствующих в древнеиндийской или
древнекитайской культурах.
1. Встречаются высказывания, имеющие ту или иную
истинностную оценку не в силу того, о каком предмете в
них идет речь, а в силу одной только своей структуры,
в силу каких-то особенностей своей знаковой формы.
2. Встречаются группы высказываний такие, что
истинностную оценку некоторых высказываний из такой
группы можно определить без обращения к их предмету, а
только за счет учета истинностных оценок других
высказываний этой группы и каких-то особенностей
знаковой формы учитываемых высказываний.
– Существуют группы высказываний такие, что одно из
высказываний будет истинным всегда, когда истинны все
остальные, независимо от предмета речи, а в силу только
каких-то особенностей знаковой формы этих высказываний.
Определение логической формы
• Логические формы – это те аспекты,
составляющие знаковых форм, учет которых
позволяет выделять, описывать и объяснять
высказывания вида (1) и группы высказываний вида
(2).
– Определение учитывает и историческое развитие
предмета логики: в ходе логических исследований
время от времени обращают внимание на новые
аспекты знаковых форм, позволяющие описывать
упомянутые явления (1) и (2).
Тогда можно говорить, что
• в таком-то разделе логики сложились такие
способы выделения и описания логических форм, а
в других – другие.
Как фиксируются логические формы
• Логические формы представляются при помощи
схем.
• Логическая схема =df схема, представляющая
логическую форму.
Схема
• Схема1 – способ аналитического представления
предмета нашего мышления, в котором в явном,
дискретном виде фиксируется основные объекты,
предметы нашей мысли, составляющие основной
предмет («объекты», пространства, процессы, действия,
знаки и т.д.), и связи между ними.
Иногда схемы описываются словами, но обычно они
передаются различными визуальными, графическими
средствами. Важной чертой таких визуальных средств
является их статичность, позволяющая представлять
предмет мышления одновременно во всех его частях,
аспектах, состояниях, процессах и т.д., ухваченных в
схематизации.
• Схема2 – визуальный, «графический» объект,
иконически представляющий схему1.
Логическая схема
• Логическая форма – это схема1, представляющая
тот аспект знаковой формы, учет которого
позволяет выделять, описывать и объяснять
высказывания вида (1) и группы высказываний
вида (2).
• Логическая схема1 = логическая форма.
• Логическая схема2 – схема2, выражающая
логическую форму (логическую схему1).
Литература
1.
2.
3.
4.
5.
6.
7.
8.
9.
Аристотель. Первая Аналитика.
Арно А., Николь П. Логика, или искусство мыслить. М., 1997.
Бочаров В.А., Маркин В.И. Основы логики. М., 1994.
Бочаров В.А., Маркин В.И. Введение в логику. М., 2008.
Ивлев Ю.В. Логика. М., 1992.
Ивлев Ю.В. Логика для юристов. М., 2001.
Лукасевич Я. Аристотелевская силлогистика с точки зрения
современной формальной логики. М., 1959. Биробиджан,
2000.
Стяжкин Н.И. Формирование математической логики. М.,
1967.
Шиян Т.А. О проблеме определения предмета формальной
логики // XIV научно-практическая конференция «Дни науки
– 2014». Тезисы докладов: Озерск, 25–26 апреля 2014 г.
Озерск: ОТИ НИЯУ МИФИ, 2014. ISBN 978-5-905620-14-0.