СОДЕРЖАНИЕ
1 Условия истинности умозаключения. Их учет юридической науке и практике 2
2 Периметр фигуры, состоящей из квадратов, равен 6, чему равна ее площадь? 16
3 Чему равна разность куба суммы квадратов чисел 2 и 3 и квадрата суммы их кубов 18
Список литературы 19
1 Условия истинности умозаключения. Их учет юридической науке и практике
Умозаключение - это форма мышления, посредством которой из одного или нескольких суждений выводится новое суждение.
Структура умозаключения включает в себя три основных компонента: посылки, заключение и отношение между посылками и заключением, которое именуется отношением следования.
Посылками называются исходные суждения, из которых выводится новое суждение.
Заключением называется новое суждение, полученное логическим путем из посылок.
Отношением следования называется связь между посылками и заключением, благодаря которой и происходит формирование нового знания.
При анализе умозаключения посылки и заключение принято записывать отдельно, располагая их друг над другом. Заключение записывают под горизонтальной чертой, отделяющей его от посылок и обозначающей логическое следование.
Различают два основных вида отношения следования: строгое, или логическое следование и слабое, или просто следование.
Строгое, или логическое следование - это такое отношение между посылками и заключением, при котором если посылки истинны и имеют определенную форму (структуру), то заключение с определенной структурой (формой) будет необходимо истинным суждением.
Слабым, или просто следованием называется такое отношение между посылками и заключением, при котором даже если посылки истинны и имеют определенную структуру и заключение имеет определенную структуру, оно при этом не является необходимо истинным суждением; его истинность имеет вероятностный характер.
При наличии содержательной связи между посылками можно получить в процессе рассуждения новое истинное знание при соблюдении двух условий.
Во-первых, должны быть истинными исходные суждения - посылки. Однако следует иметь в виду, что иногда и ложные суждения могут дать истинное заключение. Так, в результате специального подбора ложных посылок в следующем рассуждении получим истинное заключение.
Это свидетельствует о том, что ориентация только на форму (структуру) посылок при игнорировании их объективно-истинных связей может создать видимость правильного умозаключения.
Во - вторых, в процессе рассуждения необходимо соблюдать правила вывода, которые обусловливают логическую правильность умозаключения. Без этого даже из истинных посылок можно получить ложное заключение.
В зависимости от типа следования, все умозаключения подразделяются на две большие группы: необходимые и правдоподобные умозаключения.
Необходимыми (или дедуктивными, или демонстративными) умозаключениями называются умозаключения, в которых имеет место строгое, или логическое следование.
Правдоподобными (или индуктивными, или вероятностными) называются умозаключения, в которых имеет место слабое следование, то есть в них отсутствует логический вывод.
Помимо логической связи посылок и заключений при характеристике разновидностей умозаключений учитывают также степень общности посылок и заключений, направленность перехода от имеющегося знания к новому знанию по степени общности. Эти различия в способах перехода от старого знания к новому дают три основные группы умозаключений:
1) дедуктивные, 2) индуктивные, 3) традуктивные.
Умозаключения от общего знания к менее общему (частному), в которых вывод следует из посылок с необходимостью, называются дедуктивными.
Умозаключения от частного знания к более общему, в которых вывод следует из посылок лишь с вероятностью, называются индуктивными.
Умозаключения, в которых степень обобщенности посылок и вывода одинакова, называют традуктивными. К традуктивным относятся, например, умозаключения по аналогии.
Посредством дедуктивных умозаключений "выводят" некоторую мысль из других мыслей, индуктивные умозаключения лишь наводят на мысль, а умозаключения по аналогии переносят мысль с одного предмета на другой.
Перейдем к рассмотрению логических характеристик необходимых и правдоподобных умозаключений.
Необходимыми умозаключениями являются такие, в которых имеет место строгое логическое следование, то есть такие, которые по своей форме представляют собой логический вывод.
В свою очередь, необходимые умозаключения подразделяются на умозаключения, основанные на отношениях между понятиями, умозаключения, основанные на отношениях между суждениями и многие их разновидности.
Умозаключения, основанные на отношениях между понятиями - это вид необходимых умозаключений, в которых вывод осуществляется на основе учета структуры простых суждений, их субъектно-предикатной формы. Выводы подобного типа изучаются таким разделом современной формальной логики, как логика предикатов (исчисление предикатов).
Наиболее разработанными в этой части являются умозаключения, основанные на простых категорических суждениях, то есть такие, в которых все посылки и заключение являются простыми категорическими суждениями (суждениями типа А, Е, I, О). Среди них в свою очередь, также различают непосредственные умозаключения, простой и сложный категорический силлогизм.