Билет № 21

1.Дайте определение формальной логике как науке.

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

Cодержание понятия «формальная логика»

Термин «формальная логика» введён Аристотелем. По Канту, формальная отвлекается от содержания понятий и имеет дело только с их формой:

Границы же логики совершенно точно определяются тем, что она есть наука, обстоятельно излагающая и строго доказывающая одни только формальные правила всякого мышления (безразлично, априорное оно или эмпирическое, безразлично, каково его происхождение и предмет …)

Сам Кант противопоставлял формальной логике (к которой относил прежде всего силлогистику, основывающуюся на «Аналитиках» Аристотеля) содержательную, трансцендентальную логику, являющуюся зачатком учения о категориях, разработка которой и составляет основной предмет «Критике Чистого Разума»:

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

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

Согласно реконструкции, проведённой в ММК, логика имеет дело с «языковым мышлением» (или, «языком взятым в функции мышления»), в котором группы определённым образом связанных между собой знаков по определённым законам замещают реальные объекты и друг друга в отношении к действиям:

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

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

Претензии формальной логики на роль теории мышления несостоятельны, поскольку:

её понятия описывают не мышление в целом, а лишь его знаковую форму, и то неполно;

в её понятиях не учитывается зависимость строения и правил преобразования этой формы от содержания;

её понятия не отражают различия между мышлением и его продуктами (знаниями);

её понятия не могут объяснить образование сложных знаний;

её метод несовместим с историческим подходом к исследованию мышления.

2.Покажите на примерах и объясните принципиальные отличия простых и сложных суждений.

Высказывание – грамматически правильное предложение, взятое вместе с выражаемым им смыслом (содержанием) и являющееся истинным или ложным.

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

Понятие высказывания – одно из ключевых в логике. Как таковое, оно не допускает точного определения, в равной мере приложимого в разных ее разделах. Ясно, что всякое высказывание описывает определенную ситуацию, что-то утверждая или отрицая о ней, и является истинным или ложным.

Высказывание считается истинным, если даваемое им описание соответствует реальной ситуации, и ложным, если не соответствует ей. "Истина" и "ложь" называются истинностными значениями высказывания.

Из отдельных высказываний разными способами можно строить новые высказывания. Так, из высказываний "Дует ветер" и "Идет дождь" можно образовать более сложные высказывания "Дует ветер и идет дождь", "Либо дует ветер, либо идет дождь", "Если идет дождь, дует ветер" и т.п. Слова "и", "либо, либо", "если, то" и т.п., служащие для образования сложных высказываний, называются логическими связками.

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

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

Может показаться, что знакомство с высказываниями естественнее всего начать с изучения простых высказываний и их частей, и уже затем приступить к изучению того, как из простых высказываний образуются сложные. В логике, однако, подход является обратным. Сначала рассматриваются способы построения сложных высказываний из более простых, при этом простое высказывание берется как неразложимое далее целое (как "атом"), и только затем переходят к выявлению строения простых высказываний. Анализ структуры сложных высказываний предшествует анализу структуры простых. Объясняется это следующим: для того, чтобы понимать способы сочетания высказываний, вовсе не обязательно знать, что такое простое высказывание; достаточно учитывать только то, что последнее имеет определенное значение истинности. Простые высказывания чрезвычайно разнообразны, выявление составляющих их частей во многом зависит от принятого способа их анализа. Некоторые логические связи между высказываниями не зависят от строения простых высказываний. Разумно поэтому поступить так, как если бы мы знали все о простых высказываниях, т.е. оставить вопрос об их структуре на время в стороне и заняться логическими связями высказываний. Последняя задача является относительно легкой.

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