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

1. Виды непосредственных умозаключений (превращение, обращение, противопоставление предикату)
Введение
Современное определение логики напрямую связывает эту науку с исследованием законов и форм правильных рассуждений. Под рассуждениями понимают процедуры последовательных выводов, направленных на достижение некоего знания или обоснования (опровержения) уже имеющегося знания.
Такое истолкование предмета логики позволяет исключить из рассмотрения многозначное и не поддающееся исчерпывающему определению понятие мышления. Современная логика замещает понятие мышления – в качестве объекта исследования – понятием рассуждения на том основании, что рассуждения всегда берутся в форме языка или, точнее, знакового выражения. Рассуждения представляют собой отношения между высказываниями. Таким образом, рассуждения подлежат исчислению, систематизации и формализации. Основной формой, в которой осуществляются рассуждения, выступает умозаключение.
Умозаключение является третьей формой мышления, наряду с понятием и суждением. С помощью многообразных видов умозак¬лючений опосредованно (т. е. не обращаясь к органам чувств) мы можем получать новые знания. Умозаключение – это логическая операция, в результате которой из одного или нескольких принятых утверждений (посылок) получается новое утверждение (вывод, следствие). Структура умозаключения включает посылки, заключение и связь между ними, именуемую также выводом. Посылками называют исходные утверждения. Требование, предъявляемое к посылкам, состоит в том, что они должны представлять собой истинные суждения. Исключение составляют выводы из модальных суждений, но в этом случае заключение представляет собой также модальное суждение, имеющее иную семантику, нежели категорические утверждения. Заключение – это суждение, которое выводится из посылок, но само в них не содержится. Таким образом заключение представляет собой новое суждение по отношению к исходным.
Непосредственные умозаключения
Основное деление умозаключений основано на характере логической связи между посылками и выводом. Если между посылками и заключением имеется логическое следование, то такое умозаключение называется дедуктивным. В основе дедуктивных умозаключений лежат логические законы, потому вывод в них следует из посылок с необходимостью.
Другой вид умозаключений называется индуктивным. В индуктивном умозаключении связь посылок и вывода опирается не на закон логики, а на фактические или психологические основания, поэтому заключение здесь не следует логически из посылок и может содержать информацию, отсутствующую в них. Индукция дает только вероятные, или правдоподобные, выводы, нуждающиеся в дальнейшей проверке.
Особое место среди видов дедуктивных умозаключений занимают так называемые непосредственные умозаключения. Непосредственные умозаключения – это умозаключения из одной и только одной посылки. Ряд исследователей интерпретирует непосредственные умозаключения как преобразования суждений, поскольку заключения, полученные посредством них, сохраняют содержательные элементы (термины) в неизменном виде. Меняется только форма исходной посылки. Сами термины могут менять в заключении свои структурные функции, но содержательно они остаются теми же, что и в посылке. Следует заметить, что отрицание рассматривается как элемент формы суждения, поэтому отрицательный термин сохраняет то же содержание, что и положительный.
В качестве посылок непосредственных умозаключений выступают простые категорические суждения. Получаемые из данных посылок заключения также являются простыми категорическими суждениями. Изменяться может только их качественно-количественная характеристика. Возможность непосредственных умозаключений полностью связана с отношениями, в которых находятся между собой простые категорические суждения разных видов. Эти отношения именуются отношениями по логическому квадрату. Выделяют отношения контрарности, субконтрарности, контрадикторности (противоречия) и подчинения. Отношения между суждениями по логическому квадрату определяют возможность суждений различных типов одновременно быть истинными или ложными. Именно это требование лежит в основе непосредственных умозаключений: если исходная посылка истинна, то полученное из нее новое суждение также должно быть истинным.
Непосредственные умозаключения возможны также потому, что термины в суждениях также находятся в определенном отношении друг к другу, и эти отношения могут выражаться через другие отношения, сохраняя при этом истинностное значение.
К непосредственным умозаключениям относят: превращение (обверсия), обращение (конверсия) и противопоставление предикату (контрапозиция). Рассмотрим эти виды непосредственных умозаключений по порядку.
Превращение
Превращение – это вид непосредственного умозаключения, в котором вывод получается посредством замены предиката посылки его противоречием и изменением качества исходного суждения на противоположное.
Превращение основывается на действии закона двойного отрицания, согласно которому двойное отрицание равносильно утверждению:   А  А, где « » - знак отрицания, «  » - знак тождества.
Рассмотрим пример. Дано суждение: «Все адвокаты – юристы». В данном суждении предикат – «юристы», связка грамматически не выражена,