Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Логика.doc
Скачиваний:
1
Добавлен:
01.03.2025
Размер:
813.06 Кб
Скачать

3.Дайте общее определение суждения.

Суждение — форма мышления, в которой что-либо утверждается или отрицается о предмете, его свойствах или отношениях между предметами.

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

Разделительным называется дедуктивное умозаключение, в котором одна или несколько посылок - разделительные (дизъ­юнктивные) суждения. Существуют чисто разделительные и разделительно-категорические умозаключения.

В чисто разделительном умозаключении обе (или все) посылки являются разделительными суждениями. В традици­онной логике принята следующая его структура:

S есть А, или В, или С.

А есть или 1А ,или А2..

S eсть или А1 , или А2, илиB, или С.

В первом разделительном суждении каждое из трех простых cуждений “S есть A”, ”S есть В”, “S есть С” называется аль­тернативой. Из суждения “S есть А” образуются еще две альтернативы, которые составляют два члена новой дизъюнкции.

Например:

Предложения бывают простыми или сложными.

Сложные предложения бывают сложносочиненными или сложноподчиненными.

Предложения бывают простыми, или сложносочиненными, или сложнопод­чиненными.

Билет № 2

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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