2. Аргументация и доказательство

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

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

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

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

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

Новые идеи в науке не принимаются на веру, какой бы авторите ной ни была личность ученого и его уверенность в правильное" своих идей. Для этого надо убедить других в правильности нов» идей не силой авторитета, психологическим влиянием или краснор чием, а прежде всего силой логики — последовательным и строг доказательством исходной идеи. Доказательное рассуждение —. характерная черта научного стиля мышления.

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

Аргументацию можно разделить на доказательную и недоказательную.Недоказательные (правильные) аргументации бывают трех типов:1) аргументы являются не достоверными, а лишь правдоподобными утверждениями, а форма - демонстративным рассуждением. Тезис в такой аргументации лишь правдоподобен из-за недостоверности аргументов.2) аргументации, в которых аргументы - достоверные утверждения, а форма - недемонстративное рассуждение. В этих аргументациях тезис является только правдоподобным утверждением из-за недемонстративности формы.3) В недоказательных аргументациях третьего типа аргументы являются полностью обоснованными утверждениями, а форма - недемонстративным рассуждением

Билет 25

1.Традиционная силлогистика и ее семантика.

Силлогистика является исторически первой дедуктивной теорией. Построил ее основатель логики древнегреческий философ Аристотель. она послужила образцом для создания других аксиоматических теорий.

На русский язык греческий термин "syllogismos" переводится как "сосчитывание", "вычисление", а потому производный от него термин "силлогистика" можно было бы перевести русским термином "исчисление".

В силлогистике исследуются различного рода логические отношения между категорическими атрибутивными высказываниями. К их числу относятся высказывания следующих логических форм:

1. Всякий S есть Р - общеутвердительные.

2. Всякий S не есть Р - общеотрицательные.

3. Некоторый S есть Р - частноутвердительные.

4. Некоторый S не есть Р - частноотрицателъные.

5. а есть Р - единичноутвердительные.

6. а не есть Р - единичноотрицателъные.

Простая традиционная силлогистика. Ее особенностью является наложение на термины категорических атрибутивных высказываний следующих ограничивающих условий: при их интерпретации на некотором универсуме они обязательно должны оказаться знаками таких свойств (классов), которые являются непустыми и неуниверсальными. Это означает, например, для свойства, обозначенного термином Р, что в универсуме должен найтись хотя бы один предмет а, который обладает этим свойством, и для него верно утверждать, что "а есть Р" (класс Р не пуст), и найдется хотя бы один предмет b такой, что он не обладает этим свойством, то есть для него верно будет утверждать, что "b не есть Р" (класс Р не является универсальным).

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