Шпаргалка по "Логике"

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

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

СУЩНОСТЬ ЛОГИЧЕСКОГО ДОКАЗАТЕЛЬСТВА И ЕГО СТРУКТУРА

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

Термин «доказательство» в процессуальном праве употребляется в двух смыслах:

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

• для обозначения источников информации о фактических обстоятельствах, имеющих отношение к делу (напр., показания свидетелей).

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

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

Структура доказательства. Доказательство включает три взаимосвязанных элемента:

1. Тезис – это суждение, истинность которого нужно доказать. Тезис является главным структурным элементом аргументации и отвечает на вопрос: что обосновывают?

2. Аргументы, или доводы, – это исходные теоретические или фактические положения, с помощью которых обосновывают тезис. Они выполняют роль основания, или логического фундамента аргументации, и отвечают на вопрос: чем, с помощью чего ведется обоснование тезиса?

В качестве аргументов могут выступать суждения:

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

Роль аргументов могут выполнять также эмпирические обобщения;

2) суждения о фактах. Фактами, или фактическими данными, называют единичные события или явления, для которых характерны определенное время, место и конкретные условия возникновения и существования;

3) аксиомы, т. е. очевидные и потому не доказываемые в данной области положения;

4) определения основных понятий конкретной области знаний.

3. Демонстрация или форма доказательства – это логическая связь между аргументами и тезисом.

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