Тема 7. 2 вида мышления: рассудочное и разумное. 2 науки о мышлении: формальная и содержательная логика.

Это тоже ещё одно великое открытие философии. Существует 2 вида мышления: рассудочное и разумное (на западе: racio и intelect).

Первые догадки о сукществование 2х видов мышления (качественно различных и неразрывно связанных) видим у Кого-то. Потом уАристотеля. Потом уБоэция,Фомы Аквинского,Пузанского,Канта,Фихте,Шеллинга. Окончательно это открытие было завершеноГегелем. Что такое рассудок по Гегелю? Это субъективная деятельность: операции, проводимые человеком. Разум – мышление как объективный процесс, идущий по объективным законам. Как же так? Мышление присуще человеку,с хера липочему теперь оно стало объективным процессом?

Существует две логики (формальная и содержательная). Формальная: Аристотель, прочие. Кстати, она зародилась в философии, а потом выпала. Почему? Потому что она не занимается решением ОвФ. Формальная логика материалистов и идеалистов не отличаются. А вот содержательная – это и есть философия. И когда Гегель открыл эту разумную логику – то коренным образом преобразовалась философия. Она стала наукой о мышлении, о процессе и законах этого процесса.

До определённой степени есть схожесть низшей и высшей математики с формальной и содержательной логикой. В какой-то степени знание формальной логики является предварительным условием понимания содержательной логики.

Раздел 1. Формальная логика ка наука о рассудочном мышлении. Правила и законы рассудочного мышления.

Формальная логика – азбука мышления.

Нередко достижения философов предыдущих столетий игнорируются и «закрываются», к слову сказать…

Величайшее открытие философии (2 логики) многими современными «философами» и даже философами игнорируются.

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

Принято выделять 3 формы рассудочного мышления.

1. Понятия(исходная форма).

2. Суждения.

3. Умозаключения.

Хотя идут споры, какая форма исходная (понятие, или суждение), но остановимся на приведённой выше схеме. Кстати, «понятие» есть и в разумной логике, но это пока нас не касается.

То, о чём мы мыслим – предмет мысли(это, например, кошка, собака, Луна, пр.).

1. Понятие – есть форма мысли, в которой фиксируется существенные признаки предмета. Чем отличаются существенные признаки? Существенные – присущие не одному предмету, а нескольким (общий для предметов). Совокупность этих существенных признаков – содержание понятий. Совокупность предметов, обладающих одним набором существенных признаков –логический класс. Например, все кошки подходят под логический класс «кошки».Объём понятийобразуется логический классом.Любое понятие имеет содержание и объём. Классы различаются. Низшие – входящие в состав других класса. Класс «Млекопитающее» выше, чем класс «кошка». Широкое понятие называется «род». Узкое/низший – «вид». Различие между родом и видом, понятное дело, относительно. Есть, соответственное, родовые и видовые понятия.

Чем шире объём – тем уже содержание.

Например, понятие «млекопитающее» по содержанию меньше, чем «кошка».

Все понятия делятся на 2 вида: общее и единичное. Общее: в логический класс входит несколько понятий. Единичное: в их объём входит 1! предмет: «Москва», «ВОВ». Кстати, единичное понятие, если быть бюрократом, не подходит под «понятие» формальной логики.

Также понятия делятся на конкретныеиабстрактные. Конкретные: кошка, кит. Абстрактные – предметом понятия является не конкретная вещь, а оторванный от вещи её признак, возведённый в ранг самостоятельного предмета: лживость, шляпошность, краснота, политота и т.д.

2. Суждения – это форма мысли, где фиксируется наличие или отсутствие признака, что даёт основание для включения ли в логический класс. Или: форма мысли, где фиксируется вхождение или невхождение в логический класс. «Кит кормит детёныша молоком» – суждение, включающее кита в млекопетающих. Суждение состоит из 2х элементов: 1) то, чему приписывается (или нет) признак – подлежащее; 2) предикатор/сказуемое.

Подлежащее и сказуемое – термины суждения. Также существетсвязка, которая иногда опускается (кит ЯВЛЯЕТСЯ млекопитающим).

Соответственно, суждения могут быть истиннымиилиложными. К понятиям такая классификация не относится. Бывают и бессмысленные суждения (по сути, они – не суждения).

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

3. Умозаключение – связь понятий, когда из 2х или нескольких суждений выводится новое. Соответственно, посылки и заключения(то, из чего выводится; и то, что выводится). Если посылка одна –непосредственныеумозаключения. Когда несколько –опосредованные. Посылки – есть основания, из которых выводятся заключения.

Умозаключения делятся на 2 категории: дедуктивные(т.е. от общего к частному: [посылка 1] [все люди смертны], [посылка 2] [Пех - человек] => [Пех смертен]; кстати, силлогизм – умозаключение на основе 2х посылок) ииндуктивные(пример: проводим эксперимент, нагреваем металл (серебро, медь, золото) и видим, что все они расширяются при нагревании => все металлы нагреваются). Заметим, что индукция выходит за пределы формальной логики.

Аристотель, кстати, разрабатывал дедукцию (хотя про существовние индукции, по крайней мере, знал). На первом плане у него силлогизмы. Основы индуктивной логики заложил Фрэнсис Бэкон (с развитием ествествознания). Аристотель открыл впервые то, что называетсязаконами логики. Оговоримся: в мире этих законов нет, но они объективны (в том смысле, что не соблюдая эти правила – рассудок придёт к заблуждению; другое дело, что соблюдая их – тоже можно прийти к заблуждению, но всё же…). До Аристотеля этими правилами пользовались, не сознавая того, т.е. имплицитно. А когда возникла система рациональных умозаключений – возникла необходимость в эксплицитном использовании этих законов.

Итак:

1. Закон тождества.

2. Закон противоречия.

3. Закон исключённого третьего.

Закон тождества. Если вы думаете о предмете – вы должны думать именно об этом предмете, а не подменять его другим. Дело в том, что одно слово часто имеет несколько значений. «Общество», например. Так что надо замечать, если вдруг мыподменяем тезис.Но это не только ошибка, но и приём в ходе спора (софистика – искусство вводить в заблуждение, основываясь на законах формальной логики).

Закон противоречия. Суть такова. Если мы приписываем предмету два несовместимых признака – то одно из двух суждений обязательно ложно. Пример: [стол жёлтый] и [стол красный]; одно из них – обязательно ложное, а оставшееся – не обязательно: стол может быть зелёным.

Закон исключённого третьего. Внимание, надо отличать 2й и 3й закон! Суть 3го: если мы предмету предписываем обладание каким-нибудь признаком, а во втором суждении – отрицаем этот признак, то из этих двух суждений обязательно какое-то одно – ложное, а второе – истинное, и другого варианта не дано. Пример: [стол жёлтый] и [стол не жёлтый].

Обратим вниманий на различия: 2й закон – это два утверждения, из которых одно ложно,а оставшееся – неизвестно; 3й закон – утверждение и отрицание, одно истинно, оставшееся - ложно.

Позже Аристотель добавил закон:

4. Закон достаточного основания.

Только убедившись, что исходные положения верны – можно двигаться дальше (использовать 1-3 законы). Хотя тут возможны разные трактовки. Например, в средневековье «достаточным основанием» считались ссылки на Библию или Аристотеля. В 20м веке так вообще – достаточном основанием считалась ссылка на Сталина…

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

Логика Аристотеля называется «классическая формальная логика».

«Современная формальная логика» или «символическая» логика существенно отличается от Аристотеля; сходство лишь одно – она не даёт путей поиска нового знания. Математическая логика – один из разделов символьной логики.

Классическая логика занималась мышлением и лишь суждениями, понятиями и заключениями. А современная формальная логика (СФЛ) не является наукой о мышлении. Главные её понятие – высказывание, рассуждение (выведение одних высказываний из других).

Высказывание – это предложение, которое может быть охаректеризовано как истинное или ложное. Высказывания состоят из слов, а слова – это знаки. Так что современная логика – наука о знаках, использующихся при рассуждениях. СФЛ (наука о вычислениях) совершенно не рассматривает мышление. СФЛ на самом деле ничего не даёт, т.е. не даёт нового знания. Ни классическая, ни СФЛ не дают новых знаний. То есть, она бесполезна? Нет, она полезна для программ и машин. А для человека она ничего не даёт. Классическая логика дисциплинирует мысль, но не более того. Метода научного познания ни классическая ни современная не даёт.