1. Предмет логики и ее специфика как науки. Роль мышления в познанииЛогика (в переводе др.-греч.) — «наука о рассуждении», «искусство рассуждения» «речь», «рассуждение») — наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это знание получено разумом, логика также определяется как наука о правильном мышлении. Поскольку мышление оформляется в языке в виде рассуждения, частным случаем которого являются доказательство и опровержение, логика иногда определяется как наука о способах рассуждения или наука о способах доказательств и опровержений. Логика как наука изучает способы достижения истины в процессе познания опосредованным путём, не из чувственного опыта, а из знаний, полученных ранее, поэтому её также можно определить как науку о способах получения выводного знания. Выводное знание, полученное с помощью применения законов логики и методов логического мышления, — цель любого логического действия, нацеленного на достижение истины и применение полученного знания для более глубокого познания явлений и событий окружающего мира. Одна из главных задач логики — определить, как прийти к выводу из предпосылок (правильное рассуждение) и получить истинное знание о предмете размышления, чтобы глубже разобраться в нюансах изучаемого предмета мысли и его соотношениях с другими аспектами рассматриваемого явления. Логика служит одним из инструментов почти любой науки.Следовательно, предмет логики составляют: 1. Законы, которым подчиняется мышление в процессе познания объективного мира. 2. Формы мыслительного процесса - понятия, суждения и умозаключения. 3. Методы получения нового выводного знания -сходства, различия сопутствующих изменений, остатков и другие. 4. Способы доказательства истинности полученных знаний: прямое и косвенное доказательство, опровержение и т.д. Сам термин «мышление» является достаточно широким и не дает возможности определить специфику логики по отношению к другим наукам. Логика, в отличие от других наук, рассматривает мышление не как само по себе, а как средство познания.Сущность познания заключается в следующем:1) оно начинается с отражения окружающего мира органами чувств, дающих непосредственное знание о действительности. Чувственное познание протекает в трех основных формах: ощущение, восприятие, представление. Но чувственное познание дает представление лишь о внешних свойствах предметов, об отдельных конкретных вещах. Подобное познание присуще и высшим животным;2) познание сущности вещей, законов природы и общества невозможно без абстрактного мышления. Абстракция – это результат процесса отвлечения от одних свойств предмета и выделения его других свойств.В мышлении, его образах выделяют две стороны: содержательную и формальную.Содержательная сторона мышления определяется признаками тех предметов, которые оно отражает.Формальная сторона мышления связана с отношениями, которые возникают между образами, их составными частями (мыслями и частями мыслей), отражающими те или иные стороны предметного содержания. Формальная сторона мышления не совпадает с отношениями, которые имеют место в самих предметах, отраженных в мышлении.Логика отвлекается от всего богатства предметного содержания мышления и сосредоточивает все свое внимание на формальной стороне мышления, учитывая при этом основные особенности предметного содержания.С формальной стороны мышление предстает как некоторый набор форм. В широком смысле формой мышления называют всякое отношение между мыслями или частями отдельной мысли. Взятое в чистом виде всякое такое отношение называется логической формой. Логическая форма мысли не зависит от конкретного предметного содержания и может характеризовать различные виды предметного содержания.Логические формы, носящие необходимый, устойчивый и повторяющийся характер связи мыслей, называют логическими законами.Мышление отражает познаваемый мир в абстракциях. Отвлекаясь от конкретного, присущего только одному предмету, абстрактное мышление способно обобщать множество однородных предметов, выделять наиболее важные свойства, раскрывать закономерные связи.Свойства абстрактного мышления:1) отражение действительности в обобщенных образах;2) опосредованное отражение действительности (не наблюдаемое непосредственно);3) неразрывная связь с языком.Предметом логики является правильное мышление, т. е. такое, которое соответствует логическим законам (принципам).

2. Понятие о логическом законе. Основные логические законыОбщая характеристика основных законов логики.Законы логики по своим параметрам равнозначны законам природы, т.е. объективны, общезначимы и имеют необходимый, устойчивый, повторяющийся характер. Законов логики много, но среди них особое место принадлежит базовым законам, которые были выявлены и описаны еще Аристотелем. Основные логические законы:Закон тождественности.Закон тождества или иными словами закон определенности мышления. В ходе любого обсуждения той или иной проблемы, будь это судебное заседание или научная дискуссия объект мысли, рассматриваемый в данном конкретном случае должен оставаться самим собой. За этим законом объективно стоит определенность или тождественность объектов бытия самим себе. При всей изменчивости существующей реальности любой объект мысли на данный момент его рассмотрения остается равным самому себе, т.к. в противном случае невозможно определить что же является предметом рассмотрения. Своеобразным отражением закона постоянства и является логический закон тождества, требующий не подменять рассматриваемый или исследуемый объект мысли чем-то иным.Закон непротиворечивости.Закон логического непротиворечия, согласно этому закону необходимым требованием нормального мышления является принцип: два противоположных высказывания об одном и том же объекте мысли в одном и том же отношении одновременно истинным быть не могут. Сознательное использование этого закона в практике мышления позволяет избегать противоречивых высказываний и обеспечивает логическую убедительность и обоснованность приводимых аргументов в доказательстве.Закон исключительного третьего.Закон исключенного третьего является дополнением к закону логического непротиворечия и утверждает, что из двух противоречащих друг другу высказываний, одно истинно, другое ложно, а третьего не дано. При знании истинности одного из противоречащих суждений можно отбрасывать другое как, несомненно, не истинное, не прибегая к доказыванию этой неистинности.Закон достаточного основания.Закон достаточного основания был сформулирован уже в Новое время в ХУII в. немецким философом Лейбницем. Этот закон требует, чтобы выдвигаемое утверждение, если оно не самоочевидно, было достаточно обосновано. По поводу этого закона в современной логике нет однозначного мнения. Что касается обоснованности теоретических утверждений, то вряд ли здесь можно обойтись данным законом. В юридической деятельности этот закон сохраняет свое значение в полном объеме. Любое юридическое решение не может не быть достаточно обоснованным.

3. Понятие и логические приемы его образования. Содержание и объем понятияПонятие — это форма мышления, отражающая предметы в их существенных признаках.Понятие как форма мышления отражает предметы и их совокупности в абстрактной, обобщенной форме на основании их существенных признаков.Логические приёмы образования понятий(анализ,синтез,сравнение,абстрагирование,обобщение).Анализ-это мысленное разложение предмета на его признаки. Синтез-мысленное соединение признаков предмета в одно целое. Сравнение-мысленное сопоставление одного предмета с другим, выявление признаков сходства и различия в том или ином отношении. Абстрагирование-мысленное упрощение предмета путём выделения в нём одних признаков и отвлечения от других. Результат этого прицесса назыв. абстракцией, что служит синонимом понятия. Обобщение – мысленное объединение однородных предметов, их группировка на основе тех или иных общих признаков.Содержание и объем понятия.Под содержанием понятия понимается совокупность свойств и отношений, мыслимых в понятии. Например, содержание понятия "человек" — существо, обладающее разумной душой и телом; Но существуют понятия, о содержании которых можно говорить лишь в условном смысле. Например, понятие "индоевропейские языки", то есть языки, произошедшие от общего языка-предка, который называется индоевропейским праязыком, не имеет содержания, поскольку сущность как индоевропейских языков, так и праязыка, от которого они произошли, не может быть определена в отношении к понятию "язык человека" как вида к роду. Аналогичным образом обстоит дело с биологическим понятием "вид", с понятием предмета науки психологии и многими другими, в особенности научными, понятиями. Под объемом понимается класс предметов, к которым относится понятие. В объем понятия "человек" входят все существа, признаки которых соответствуют его содержанию, то есть люди. В объем понятия не входит ни один объект, поэтому объем этого понятия является нулевым. Но в объем понятия "биологический вид", как и в объем понятия "индоевропейские языки", входит множество объектов, хотя в строгом смысле эти понятия представляются бессодержательными. Соотношение объема и содержания понятия таково, что при расширении содержания уменьшается его объем, при сокращении содержания понятия его объем расширяется. Так, в содержании понятия бытие — все существующее, а объем — совокупность существующих вещей. Если расширить понятие — бытие телесное, то из его объема будут исключены ангелы; если еще расширить содержание: бытие телесное, чувствующее, то из объема будут исключены растения; при дальнейшем расширении содержания: бытие телесное, чувствующее, одушевленное, то объем опять сократится — останется только человек.

4. Логическая характеристика понятий по объему и содержанию. Отношения между понятиями по объемуСодержанием понятия называется совокупность основных существенных признаков предмета или класса однородных предметов, отраженных в этом понятии.Содержанием понятия «ромб» является совокупность 2-х существенных признаков: « быть параллелограмом», и «иметь равные стороны».Объемом понятия называют класс обобщаемых в нем предметов.Под объемом понятия «животное» подразумевается множество всех животных которые существуют сейчас, существовали ранее и будут существовать в будущем . Класс, или множество, состоит из отдельных объектов, которые называются его элементами. В зависимости от их числа множества делятся на конечные и бесконечные. Например, множество планет солнечной системы конечно, а множество натуральных чисел бесконечно.Объем данного понятия может входить в объем другого понятия, составлять при этом лишь его часть. Например, объем понятия 2моторная лодка» целиком входит в объем другого, более широкого по объему понятия «лодка». При этом содержание перового понятия оказывается шире, богаче (содержит больше признаков), чем содержание второго. На основе обобщения такого рода примеров можно сформулировать следующий закон: чем шире объм понятия, тем уже его содержание, и наоборот. Этот закон называется законом обратного отношения между объемом и содержанием понятия.Так, поскольку объем понятия представляет собой некоторое множество предметов, то соотношение понятий по объему пред­ставляется как отношение между множествами. Рассмотрим тот случай, когда объем одного понятия является частью объема дру­гого понятия. В таком случае первое из этих понятий, меньшее по объему, является видом, а второе, большее по объему, понятие яв­ляется родом. В качестве примера можно взять отношение по объ­ему между понятиями “человек” и “животное”. “Человек” — видо­вое понятие по отношению к родовому понятию “животное”. Кро­ме человека в объем понятия “животное” входят собаки, кошки, тигры, змеи, караси и т. д.

Вопрос 5. Обобщение и ограничение понятий. Определение понятий. Виды и правила определения. Ошибки в определениях.Обобщение понятия – это логическая операция перехода от понятия с меньшим объемом, но с большим содержанием к понятию с большим объемом, но с меньшим содержанием, при котором происходит исключение видового признака. В силу относительности понятий логического рода и вида родовое понятие может быть в свою очередь видовым по отношению к более общему понятию. Во многих случаях процесс обобщения может охватывать очень длинный ряд понятий. С каждым новым обобщением объем понятия, получающегося в результате обобщения, будет становиться все более широким. Например, обобщая понятие «МВД РФ» (а), мы последовательно перейдем к понятиям «министерство» (в), «орган государственного управления» (с), «орган управления» (d), «орган» (е).Для наглядности операцию обобщения можно представить в кругах Эйлера.(рис. 1) Каждое последующее понятие является родовым по отношению к предыдущему и полностью входит в его объем. Таким образом, для обобщения понятия необходимо уменьшить содержание исходного понятия, т. е. исключить видовые или индивидуальные признаки.Обобщение понятий не может быть бесконечным. Пределом обобщения являются понятия с предельно широким объемом – философские категории (материя, сознание, движение и т. д.). Категории не имеют родового понятия, и обобщать их нельзя.Ограничение понятия – это логическая операция перехода от понятий с большим объемом, но с меньшим содержанием к понятию с меньшим объемом, но с большим содержанием, при котором в содержание данного понятия включается новый существенный признак.Если же включаемый в содержание понятия новый признак не принадлежит к числу существенных, а выводится из них, то добавление такого признака объем понятия не меняет.Например, если к числу существенных признаков понятия «квадрат» – к прямоугольности и равносторонности – мы добавим признак равности диагоналей, то объем понятия не изменится.Если присоединяемый к содержанию понятия новый признак не принадлежит всем предметам, мыслящимся в данном понятии, то добавление такого признака ведет к изменению объема. Объем понятия сужается. Так, если к числу признаков растения мы добавим признак размножения при помощи спор, то мы сузим объем мыслимого в этом случае понятия «растение», ограничив его «споровыми растениями», исключив «цветковые растения».Данная операция является обратной по отношению к обобщению понятия. Соответственно, для того чтобы ограничить понятие, необходимо к нему прибавлять отличительные, видовые признаки. Например, для ограничения понятия «юрист» мы добавляем отличительные признаки рода деятельности и получаем понятие «следователь». Пределом ограничения являются единичные понятия. Например, «следователь прокуратуры Иванов И. И.»Так же, как и обобщение, ограничение понятия может продолжаться достаточно долго, охватывая длинную цепь понятий. При этом с каждым таким переходом объем каждого следующего вида будет становиться все более узким.Определение понятий.Определение - это логическая операция, раскрывающая содержание понятия посредством его отождествления с другим понятием, содержание и объем которого известны.В определении выделяют два основных элемента: определяемое (definiendum) и определяющее (definiens) понятия.Правила определения и типичные ошибки. Определение должно быть соразмерным, т. е. по объему определяемое и определяющее понятия должны быть равны (тождественны).Типичные ошибки, связанные с нарушением этого правила, следующие:Слишком широкое определение, когда определяющее понятие по объему оказывается шире, чем определяемое понятие, например, "Гравитация - это взаимодействие двух материальных тел", "Лампа - источник света". В данных определениях определяющие понятия значительно шире по объему, чем определяемые, ибо взаимодействие материальных тел включает в себя не только гравитацию, но и электромагнитные взаимодействия, ядерные взаимодействия, соударения; а источники света - помимо лампы - вообще трудно перечислить из-за их многочисленности, это и электрические фонари, свечи и спички, Солнце и звезды.Слишком узкое определение, когда определяющее понятие по объему меньше, чем определяемое понятие, например, "Треугольник есть плоская геометрическая фигура с тремя равными сторонами", это определение исключает из числа треугольников разносторонние треугольники. В одном отношении слишком широкое, а в другом - слишком узкое определение, например, "Бочка есть сосуд для хранения жидкостей". С одной стороны, это слишком широкое определение, так как сосудом для хранения жидкостей может быть и банка, и ведро и т. п.; с другой стороны, это определение является слишком узким, так как бочка пригодна не только для хранения жидкостей, но и твердых тел. Недопустимость "порочного круга" в определении. Понятия, входящие в определяющую часть, сами должны определяться без помощи определяемого понятия. Здесь мы впервые встречаемся с "порочным кругом", который проникает во многие логические операции.Например, в определении "Вращение есть движение вокруг своей оси" будет допущена ошибка круга, если понятие "ось" само определяется через понятие "вращение": ось - это прямая, вокруг которой происходит вращение. Частным случаем этой ошибки является тавтология - повторение в определяющей части самого определяемого понятия, например: "Сканер есть прибор, осуществляющий сканирование", "Фильтрование - процесс разделения с помощью фильтра".Определение должно быть четким и ясным, т. е. смысл, содержание всех понятий, входящих в определяющую часть, должен быть ясен и их объемы должны быть достаточно четко ограничены. Требование кажется весьма простым, однако его не всегда легко выполнить, ибо слова нашего естественного языка часто имеют весьма расплывчатые значения и мы порой склонны принимать за определения метафоры, сравнения и иные риторические фигуры. Например, не являются определениями следующие утверждения: "Быстрота - мать успеха", "Пехота - царица полей", "Хлеб - всему голова" и т. п., ибо хотя они, может быть, и остроумны, однако не раскрывают содержания определяемых понятий.Желательно, чтобы определение не было отрицательным. Определение должно нести информацию, отрицательные же определения содержат ничтожно малую информацию. Виды определений Различают реальные и номинальные определения. Реальным называется определение, фиксирующее существенные признаки предмета, например, "человек - это мыслящее существо". Номинальным называется определение, фиксирующее значение знакового выражения, например, "термином "абсолютно черное тело" обозначается объект, поглощающий все падающие на него лучи видимого света" или "флорой называют видовой состав растений, произрастающих на данной территории".Соответствующие реальные и номинальные определения обычно легко преобразуются друг в друга, например, реальное определение "Бриллиант есть отшлифованный алмаз" легко сделать номинальным: "Бриллиантом называют отшлифованный алмаз".Номинальные определения представляют собой соглашения о значениях тех или иных слов - соглашения, которые можно изменять, уточнять, принимать или отвергать, поэтому следует все определения рассматривать как наши произвольные установления, к которым понятие истины неприменимо. Поэтому и говорят, что об определениях не спорят - их принимают или отвергают. Разнообразные энциклопедии содержат реальные определения, характеризующие предметы, а толковые словари дают номинальные определения, говорящие о том, в каком смысле употребляются в современном языке то или иное слово.

6.Деление понятий. Виды и правила деления. Ошибки, возможные при делении. Понятие классификации, ее виды.Деление понятий — это логическая операция, посредством которой объем делимого понятия распределяется по объемам новых понятий, каждое из которых представляет частный случай исходного понятия. Например, расчеты делятся на наличные и безналичные. Понятия разделяются исходя из существенного признака, который может изменяться по определенному принципу или правилу (например, образование из понятия «торговый баланс» новых понятий, в которых фиксируется то или иное соотношение ввоза и вывоза товаров).Структура деления.Делимое понятие — понятие, в объеме которого необходимо выделить новые понятия.Основание деления — признак, по которому будет производиться деление.Члены деления — понятия, полученные в результате деления.Виды деления понятийС практической точки зрения наиболее существенными можно считать следующие виды делений.Деление понятия по видоизменению признакаДихотомияКлассификацияТипологияУсловия правильности деления понятийЧтобы деление было правильным, необходимо выполнять ряд условий.Первое условие состоит в том, чтобы каждое конкретное деление производилось по одному и тому же, общему для новых понятий, основанию (признаку). Например, неверно делить людей на предпринимателей, государственных служащих и красивых мужчин. Если будет нарушено это условие, то произойдет перекрещивание объемов понятий, которые появятся в результате деления.Второе условие состоит в том, чтобы деление было соразмерным, то есть чтобы объем делимого понятия был в точности равен сумме объемов членов деления (например, рынок делится на внутренний и внешний). Нарушение этого правила ведет к ошибкам двух видов:неполное деление, когда перечисляются не все виды данного родового понятия;избыточное деление, с лишними членами деления (например, когда сделки делятся на односторонние, многосторонние и недействительные; или пошлины делятся на таможенные, вывозные, ввозные и импортные).Третье условие состоит в том, чтобы члены деления исключали друг друга, то есть не имели общих элементов, были соподчиненными понятиями. Например, неверно деление документов на секретные, служебные и поддельные. Это следствие смешения различных оснований деления.Четвертое условие — состоит в том, чтобы деление было непрерывным. Нельзя делать скачки в делении. Не верно, если мы скажем: «Торговля делится на оптовую, государственную и частную розничную». Правильным будет разделить торговлю на оптовую и розничную, а затем уже, например, розничную торговлю разделить на государственную и частную.Деление, свободное от ошибок, — дело нелегкое. Оно осуществимо, если признак, по которому производится распределение рода на виды, точен и отчетлив, а все возможные изменения признаков легко обозримы и могут быть установлены исчерпывающим образом.

7.Логические операции с классами: объединение, разность, пересечение, образование дополнения к классу.Операции с классами — это такие логические действия, кото­рые приводят нас к образованию нового (в общем случае) класса.Существуют следующие операции с классами: объединение, пересечение, вычитание, дополнение.Объединение («сложение») классовОбъединение (или сумма) двух классов — это класс тех элемен­тов, которые принадлежат хотя бы к одному из этих двух клас­сов: Объединение обозначается: или Объединение класса четных чисел с классом нечетных чисел дает класс целых чисел.Объединив класс поэтов и класс советских поэтов, получим класс поэтов.При выражении операции объединения классов пользуются обычно союзом «или» в не исключающем смысле. Например, говоря, что некто — член волейбольной или гимнастической сек­ции, мы не исключаем того, что этот человек может быть одно­временно членом обеих секций.В языке существует и такое употребление союза «или», при котором этот союз понимается в строго разделительном смысле,например: «Данный глагол первого или второго спряжения». Соответствующая операция над классами называется симмет­рической разностью и в наиболее интересном случае иллюстриру­ется графически так, как это изображено на рис. 8. Пересечение («умножение») классов.Общей частью, или пересечением, двух классов называется класс тех элементов, которые содержатся в обоих данных множе­ствах, т. е. это множество (класс) элементов, общих обоим мно­жествам¹⁸. Пересечение обозначается или — пустое множество. При пересечении могут встретиться следующие 6 слу­чаев (рис. 15—20, где результат пересечения заштрихован). образование дополнения (отрицание) А и не-А . Это операция по образованию нового множества путем исключения данного множества из универсального класса, к которому оно принадлежит. Так, исключая множество "студенты-экономисты" (А) из универсального класса понятия "студенты", получаем дополнение (новый класс) (не-А) - "студенты - неэкономисты". Это можно представить на схеме таким образом: не - А + А } =В

8.Суждение как форма мышления. Простые суждения, их виды и состав. Категорическое суждение.Суждение — форма мышления, в которой что-либо утверждается или отрицается о предмете, его свойствах или отношениях между предметами. Виды суждений и отношения между ними изучаются в философской логике.В формальной и математической логике суждениям соответствуют высказывания.Простые суждения — суждения, составными частями которых являются понятия. Простое суждение можно разложить только на понятия.Виды простых суждений.1. суждения свойства. В суждениях этого вида утверждается или отрицается принадлежность предмету известных свойств, составлений, видов деятельности. Пример, «у розы приятный запах». Схема суждения: S есть Р, S не есть Р.2. суждения отношениями. В этих суждениях говорится об отношениях между предметами. Например, «Эльбрус выше Монблана», «отцы старше своих детей».Формула3. суждения существования. В них утверждается или отрицается существование предметов в действительности.4. категорические суждения. По качеству связки («есть или не есть) категорические суждения делятся на утвердительные и отрицательные (ни один карась не является хищной рыбой). Связка «есть» утвердительном суждении отражает наличие у предмета некоторых свойств. Связка «не есть» отражает то, что предмету не присуще некоторое свойство.Состав простого сужденияПростое (атрибутивное) суждение — это суждение о принадлежности предметам свойств (атрибутов), а также суждения об отсутствии у предметов каких-либо свойств. В атрибутивном суждении могут быть выделены термины суждения — субъект, предикат, связка, квантор.Субъект суждения — это мысль о каком-то предмете, понятие о предмете суждения (логическое подлежащее).Предикат суждения —мысль об известной части содержания предмета, которое рассматривается в суждении (логическое сказуемое).Логическая связка — мысль об отношении между предметом и выделенной частью его содержания (иногда только подразумевается).Квантор — указывает, относится ли суждение ко всему объёму понятия, выражающего субъект, или только к его части: «некоторые», «все» и т. п.Категорическое суждение. (в традиционной логике) -суждение, в котором предикат утверждается или отрицается отно­сительно субъекта без формулирования к.-л. условий и при этом исключаются к.-л. альтернативные предикаты. К.с. имеют вид: «S есть (не есть) Р» и относятся к классу простых суждений. К. с. обыч­но противопоставляются условным и разделительным суждениям.

9.Объединенная классификация суждений по качеству и количеству. Правило распределенности терминов. Распределенность терминов в сужденииВ целях использования суждений в умозаключениях употребляется объединенная классификация суждений по качеству и по количеству, а также распределенность в них терминов.Термин называется распределенным, если его объем полностью входит в объем другого термина или полностью исключается из него.Термин не распределен в суждении, если его объем составляет только часть объема другого термина, т.е. в суждении говорится не о всех предметах, охватываемых этим термином.1. В общеутвердительных суждениях - А (первая гласная латинского слова affirmo - утверждаю) - субъект распределен, предикат не распределен. Так, в суждении «Все люди - смертны» (Все S суть Р), субъект (люди) распределен так как то, что мыслится в предикате суждения (быть смертным) относится ко всему объему субъекта.Схема: Исключения из этого правила составляют некоторые общеутвердительные суждения, в которых субъект и предикат имеют одинаковый объем; в таких суждениях распределен не только субъект, но и предикат.

Например: Дейл Карнеги – автор книги «Как добиться успеха».2. В общеотрицательных суждениях - Е (первая гласная латинского слова nego - отрицаю) распределен субъект и предикат. Так в суждении «Ни один человек не является бессмертным» (Ни одно S не суть Р) понятия «люди» и «быть бессмертным» не имеют ни одного общего элемента объемов.Схема: 3. В частноутвердительных суждениях - I -(вторая гласная в слове affirmo — утверждаю) субъект и предикат не распределены. В суждении «Некоторые шахматисты являются школьниками»(Некоторые S суть Р) понятия «шахматисты» и «школьники» находятся в отношении пересечения, а согласно определению распределенности терминов, они в случае распределенности не должны иметь ни одного общего элементаСхема: 4. В частноотрицательных суждениях - О (вторая гласная буква в слове nego — отрицаю) субъект не распределен, предикат распределен. В суждении «Некоторые люди не имеют высшего образования» (Некоторые S не сутьР) субъект (люди) не распределен, так как лишь о некоторых людях говорится, что они не имеют высшего образования. Предикат этого суждения (имеющие высшее образование) распределен, потому что в суждении говорится, что ко всем, имеющим высшее образование, не относится часть людей, мыслимая в субъекте.Схема Распределенность терминов в суждениях представлена в виде таблицы, в которой распределенность терминов изображается знаком «+», нераспределенность — знаком «-».

Распределенность терминов в суждениях	S	Р
А..........	+	-
Е...........	+	+
I...........	-	-
O..........	-	+

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

10.Отношения между суждениями по истинности (логический квадрат).Стороны и диагонали квадрата выражают возможные типы отношений между простыми суждениями. Истинная характеристика относится к суждениям имеющим один и тот же S и P.Отношения между A и E называются противоположными или контрарными. Отношения противоположности имеют место между общими суждениями.Отношения противоречия - по диагонали. Отношения подчинения по вертикалям. Отношения между J и O, подпротивности.Отношения противоположности – суждения находящиеся в отношении противоположности не могут быть одновременно истинными, но могут быть одновременно ложными. Все мужчины галантны. Ни один мужчина не галантен. Если одно из противоположных истинно, то другое ложно, но не наоборот.А истинно, Е ложно. ∀ (x)(S(x) ⊃ P(x)) ⊃ ∀- (x)(S(x) ⊃ P-(x)) Если верно, что все S суть P, то неверно, что ни одно S не суть P.Отношения противоречия – суждения находящиеся в состоянии противоречия не могут быть одновременно не ложными, не истинными. Если одно из них истинно, то другое непременно ложно, и наоборот.А истинно, O – ложно. ∀ (x)(S(x) ⊃ P(x)) ⊃ ∃- (x)(S(x) ⋀ P(x)) Если верно, что все S суть P, то неверно, что некоторые S не суть P.Отношения подчинения – суть отношений подчинения заключается в том, что истинность подчинённых суждений, гарантируется истинностью общих суждений.Ложность подчинённых, обуславливает ложность общих.A истинно, E – ложно. ∀ (x)(S(x) ⊃ P(x)) ⊃ ∃ (x)(S(x) ⋀ P(x)) Если верно, что все S суть P, то верно, что и некоторые S суть P.Отношения подпротивности – суждения находящиеся в отношении подпротивности не могут быть одновременно ложными, но могут быть одновременно истинными. Если одно из суждений ложно, то другое непременно истинно, но не наоборот.

11. Характеристика и виды сложных суждений.Состав сложного сужденияСложные суждения состоят из ряда простых («Человек не стремится к тому, во что не верит, и любой энтузиазм, не подкрепляясь реальными достижениями, постепенно угасает»), каждое из которых в математической логике обозначается латинскими буквами (A, B, C, D… a, b, c, d…). В зависимости от способа образования различают конъюнктивные, дизъюнктивные, импликационные, эквивалентные и отрицательные суждения.Дизъюнктивные суждения образуются с помощью разделительных (дизъюнктивных) логических связок (аналогичных союзу «или»).Подобно простым разделительным суждениям, они бывают:нестрогими (нестрогая дизъюнкция), члены которой допускают совместное сосуществование («то ли…, то ли…»). Записывается как ;строгими (строгая дизъюнкция), члены которой исключают друг друга (либо одно, либо другое). Записывается как .Импликационные суждения образуются с помощью импликации, (эквивалентно союзу «если …, то»). Записывается как или ab. В естественном языке союз «если …, то» иногда является синонимом союза «а» («Погода изменилась и, если вчера было пасмурно, то сегодня не одной тучи») и, в таком случае, означает конъюнкцию.Конъюнктивные суждения образуются с помощью логических связок сочетания или конъюнкции (эквивалентно запятой или союзам «и», «а», «но», «да», «хотя», «который», «зато» и другим). Записывается как .Эквивалентные суждения указывают на тождественность частей суждения друг другу (проводят между ними знак равенства). Помимо определений, поясняющих какой-либо термин, могут быть представлены суждениями, соединенными союзами «если только», «необходимо», «достаточно» (например: «Чтобы число делилось на 3, достаточно, чтобы сумма цифр, его составляющих, делилась на 3»). Записывается как (у разных математиков по-разному, хотя математический знак тождества всё-таки ).Отрицательные суждения строятся с помощью связок отрицания «не». Записываются либо как a ~ b, либо как a b (при внутреннем отрицании типа «машина не роскошь»), а также с помощью черты над всем суждением при внешнем отрицании (опровержении): «не верно, что …» (a b).

12 Понятие модальности суждений. Виды модальности.Модальность сужденияМодальные суждения не просто утверждают или отрицают некоторые связи, а дают оценку этих связей с какой-то точки зрения. Модальными суждениями называют простые суждения, выражающие характер связи между субъектом и предикатом/простыми суждениями с помощью модальных операторов: “доказуемо”, “опровержимо”, “запрещено” и т.п. Модальность – это в суждении дополнительная информация о степени его обоснованности, логическом или фактическом статусе, о регулятивных, оценочных и других характеристиках. В логике выделяют три вида модальности: 1) алетическую; 2) деонтическую; 3) эпистемическую. Алетическая модальность – выражается в суждении в терминах «необходимо», «случайно» или «возможно», «невозможно» – информация о логической или фактической обусловленности суждений. Суждения, выражающие вероятность высказываемого утверждения, называются вероятными. Деонтическая модальность – это выраженные в суждении просьба, совет, приказ или предписание, побуждающие кого-либо к совершению определенных действий. Эпистемическая модальность – это выраженная в суждении информация достоверного знания, выраженная в суждении степень его обоснованности. Данная модальность определяет, на каком основании было принято данное суждение – на вере или на знании: 1) вера – это принятие как истинных, так и ложных чужих мнений; 2) знание – это принятие как истинного, так и ложного суждения в результате его обоснования другими суждениями, из которых данное суждение вытекает как следствие.Суждения, которыми мы оперируем, принимаются как логически значимые, т.е. как истинные или ложные, не произвольно, а в силу определенных оснований. Такими основаниями, обусловливающими принятие суждений, выступают либо структурно-логические характеристики самих суждений, либо их соотношение с фактическим положением дел в реальной действительности. Два способа обусловленности, или детерминированности суждений предопределяют соответствующие типы модальностей: 1) логическую модальность и 2) фактическую модальность.1) Логическая модальностьЛогическая модальность это логическая детерминированность суждения, истинность или ложность которого определяется структурой, или формой суждения.К логически истинным (L-и) относят суждения, выражающие законы логики; к логически ложным (L-л) – внутренне противоречивые суждения. Например, суждение р v"l p является логически истинным, ибо выражает закон исключенного третьего – какое бы суждение ни было подставлено вместо р, выражение р v"l p всегда будет истинным высказыванием. Соответственно всегда ложным будет суждение Ч (р-^р), как противоречащее закону тождества.Логически истинные суждения вместе с логически ложными (L-и v L-л) образуют класс логически детерминированных суждений. Все остальные суждения, истинность или ложность которых не может быть определена исходя из их структуры, составляют класс фактически детерминированных суждений: F-и v F-л.2) Фактическая модальностьФактическая модальность связана с объективной, или физической детерминированностью суждений, когда их истинность и ложность определяются положением дел в реальной действительности. К фактически истинным (F-и) относятся суждения, в которых связь между терминами соответствует реальным отношениям между предметами. Пример такого суждения: «Эйфелева башня находится в Париже». К фактически ложным (F-л) относятся суждения, в которых связь между терминами не соответствует действительности. К примеру: «Ни одно млекопитающее не живет в воде».

13 Умозаключение как форма мышления. Виды умозаключений. Понятие логического следования. Умозаключение как форма мышления .В процессе познания действительности мы приобретаем новые знания. Некоторые из них – непосредственно, в результате воздействия предметов внешней действительности на наши органы чувств. Но большую часть знаний мы получаем путем выведения новых знаний из знаний уже имеющихся. Данные знания называются опосредованными, или выводными. Логической формой получения выводных знаний является умозаключение. Умозаключение – это форма мышления, посредством которой из одного или нескольких суждений выводится новое суждение. Любое умозаключение состоит из посылок, заключения и вывода. Посылками умозаключения называют исходные суждения, из которых выводится новое суждение. Заключением называется новое суждение, полученное логическим путем из посылок. Логический переход от посылок к заключению называется выводом. Например: «Судья не может принимать участие в рассмотрении дела, если он является потерпевшим (1). Судья Н. – потерпевший (2). Значит, судья Н. не может принимать участие в рассмотрении дела (3)». В этом умозаключении (1) и (2) суждения – посылки, а (3) – заключение. При анализе умозаключения посылки и заключение принято записывать отдельно, располагая их друг под другом. Заключение записывают под горизонтальной чертой, отделяющей его от посылок и обозначающей логическое следование. Слова «следовательно» и близкие ему по смыслу (значит, поэтому и др.) под чертой обычно не пишутся. В соответствии с этим приведенный нами пример выглядит так: Судья не может принимать участие в рассмотрении дела, если он является потерпевшим. Судья Н. – потерпевший. Судья Н. не может принимать участие в рассмотрении дела. Отношение логического следования между посылками и заключением предполагает связь между посылками по содержанию. Если суждения не связаны по содержанию, то вывод из них невозможен. Например, из суждений: «Судья не может принимать участие в рассмотрении дела, если он является потерпевшим» и «Обвиняемый имеет право на защиту» нельзя получить заключения, так как эти суждения не имеют общего содержания и, следовательно, логически не связаны друг с другом. При наличии содержательной связи между посылками мы можем получить в процессе рассуждения новое истинное знание при соблюдении двух условий: во–первых, исходные суждения – посылки умозаключения должны быть истинными; во–вторых, в процессе рассуждения следует соблюдать правила вывода, которые обусловливают логическую правильность умозаключения. Умозаключения делятся на следующие виды: 1) в зависимости от строгости правил вывода: демонстративные – заключение в них с необходимостью следует из посылок, т.е. логическое следование в такого рода выводах представляет собой логический закон; недемонстративные – правила вывода обеспечивают лишь вероятностное следование заключения из посылок. 2) по направленности логического следования, т.е. по характеру связи между знанием различной степени общности, выраженному в посылках и заключении: дедуктивные – от общего знания к частному; индуктивные – от частного знания к общему; умозаключения по аналогии – от частного знания к частному. Дедуктивные умозаключения – это умозаключения, в которых осуществляется переход от более общего знания к менее общему. Дедуктивное умозаключение выступает как средство преобразования знания, оно не расширяет объема знаний: информация, содержащаяся в заключении, составляет часть информации, содержащейся в посылках. Типичный пример дедукции, идущий от древности: Все люди смертны, Сократ – человек, следовательно, он смертен. Этот переход от общего знания к менее общему знанию имеет вид логически необходимого следования заключения из посылок, при котором гарантируется истинность заключения при истинных посылках. При этом, логически необходимое следование основано на необходимой связи структурных элементов умозаключения, т.е. на логическом законе.Процедура дедукции имеет место в том случае, когда информация посылок содержит информацию, выраженную в заключении.

14 Непосредственные дедуктивные умозаключения: превращение, обращение (обращение с ограничением), противопоставление предикату и умозаключение по логическому квадрату.Непосредственные дедуктивные умозаключения. Преобразование одиночных суждений.Непосредственные дедуктивные умозаключения из одиночной посылки представляют собой простые категорические суждения существования или свойств. В зависимости от способа преобразования, делятся на преобразование по квадрату и преобразование одиночных суждений, в свою очередь делимое на обращение, превращение и противопоставление предикату. Превращение, затрагивая все четыре типа категорических суждений (A, I, E, O) изменяют качество посылки, не меняя ее количественных показателей, ставя предикат нового суждения в противоположность предикату исходного. При этом, общеутвердительные суждения переходят (превращаются) в общеотрицательные и наоборот, а частноутвердительные в частноотрицательные (и наоборот). Что в математической записи имеет вид: A → E; E → A; I → O; O → I Причем, в суждениях E и I, при превращении речь о субъекте сменяется на речь о предикате, что позволяет представить субъект в новом ракурсе.

Схема преобразований при превращении
A	Все S являются P Все S не являются не-P	E	Ни одно S не является P Все P являются не-S
I	Некоторые S являются P Некоторые P не являются не-S	O	Некоторые S не являются P Некоторые S являются не-P

Обращение обращает предикат посылки в субъект заключения, а субъект в предикат. В зависимости от качества заключения бывает чистое, затрагивающее три типа суждений – A, E, I, – не меняющее количество, при условии что, ни субъект, ни предикат, в полном объеме, не являются лишь частью другого (например, не все преступления, являются неумышленными действиями и термин «преступление», в своем полном объеме не является лишь частью неумышленных действий)¹, по схеме (A → A; E → E; I → I):

Схема преобразований при чистом обращении
A	Все S (и только S)являются P Все P (и только P) являются S	E	Ни одно S не является P Ни одно P не являются S
I	Некоторые S являются P Некоторые P являются S	O	Не дает истинных значений при чистом обращении

И с ограничением, затрагивая два типа суждений – A и I – если один из терминов, в своем полном объеме является лишь частью другого (как углероды – лишь часть горючих веществ, а птицы – лишь часть яйцекладущих), по схеме (A → I; I → A):

Схема преобразований при обращении с ограничением
A	Все S являются P Некоторые P (и только P) являются S	Сужение общеутвердительных суждений
I	Некоторые S (и только S) являются P Все P являются S	Обобщение частноутвердительных суждений

Противопоставление предикату, затрагивая три типа суждений – A, E, O – превращает субъект в предикат, а противоречащие предикату понятие (его антагонизм), в субъект, по сути, являясь результатом превращения с последующим обращением и, происходит по схеме (A → E; E → I; O → I):

Схема преобразований при противопоставлении предикату
A	Все S являются P Ни одно не-P не являются S	E	Ни одно S не является P Некоторые не-P являются S
I	Не дает значений	O	Некоторые S не является P Некоторые не-P являются S

Все виды преобразований одиночных суждений (непосредственных умозаключений) дают новую информацию, особенно интересную при противопоставлении предикату. Так, например, этим способом из суждения «Некоторые преступления не являются умышленными» получается «Некоторые неумышленные действия являются преступлениями». Преобразование по квадрату.Как уже говорилось, в логическом квадрате суждения A и E являются подчиняющими, а I и O подчиненными. Преобразования по квадрату, как и все, следующие за ним методы умозаключения, опираются на закон транзитивности, по которому из истинности подчиняющих суждений логически следует истинность суждений им подчиненных и ложность противоположных подчиненных суждений. Так, из истинности A следует истинность I и ложность O (A → I; A ≡O), а из истинности E следует истинность O и ложность I (E → O; E ≡I). Например, из истинности суждения «Все углероды горючи», логически следует что, и некоторые углероды (алмаз), горючи в том числе. Так же, истинность одного подчиняющего суждения указывает на ложность противопоставленного ему другого подчиняющего суждения (A →E; E →A), например, из истинности «Все углероды горючи», следует ложность суждения «Ни один углерод не горюч». Из истинности подчиненных суждений, следует ложность противоположных им подчиняющих (I →E; O →A), а из ложности подчиненных, ложность их подчиняющих (I →A; O →E). Таким образом, вся структура преобразований по квадрату сводится к следующим, легко усваиваемым формулам: . . . Из чего следует что в сложном разделительном суждении типа либо только одно суждение истинно, либо оба суждения ложны (например: «Либо все люди – негры (1), либо не один человек не негр (2)»), а в сложном разделительном суждении типа одно суждение обязательно истинно (например: «Либо все птицы летают (1), либо некоторые из них не летают (2)»). В сложном суждении типа оба простых суждения могут быть одинаково истинными, хотя одно из них, может оказаться ложным («Некоторые люди счастливы (1), в то время, когда некоторые, несчастны (2)»). Но, не смотря на кажующуюся простоту, преобразование по квадрату дает много полезной информации. Например, частноутвердительное суждение «Существуют такие рыбы, которые не дышат легкими» (I) дает два прямых следствия: 1.«Не верно что, все рыбы дышат легкими» (A). 2.«Либо ни одна рыба не дышит легкими и неверно что, некоторые все же дышат ими (E I), либо ( ) неверно что ни одна рыба не дышит легкими (E)». Второе (дезинъюнктивное следствие можно сократить, отбросив его средние члены и получить упрощенный вариант дезинъюнктивного заключения «Либо ни одна рыба не дышит легкими, либо некоторые, все же, дышат ими» (E I). Еще более интересные следствия дает общеутвердительное суждение «Все углероды горючи», прямым следствием которого является горючесть алмаза. Подобные умозаключения обычно считаются силлогизмами и записываются в виде:

Все углероды горючи Алмаз – углерод Алмаз горюч

Но, на самом деле, это ни что иное как переходное звено от преобразований по квадрату к настоящим силлогизмам, поскольку понятие «углероды» включает понятие «алмазы» и не требует дополнительных посылок («Все углероды горючи; некоторые углероды, в том числе и алмаз, горючи тоже»), в то время как настояшие силлогизмы без них не возможны.

15. Опосредованные дедуктивные умозаключения. Категорический силлогизм, его состав, аксиома, общие правила, фигуры силлогизма.

Опосредованные дедуктивные умозаключения

В опосредованных умозаключениях вывод следует из двух или нескольких суждений, логически связанных между собой.Различают несколько видов опосредованных умозаключений: а) силлогизмы; б) условные умозаключения; в) разделительные умозаключения. Силлогизмы характеризуются тем, что в их состав входят суждения, имеющие субьектно-предикатное строение. Таковыми являются все атрибутивные суждения. Они относятся также к категорическим суждениям, потому что мысль, выраженная в них, высказывается без всяких условий, вполне определенно. Она просто утверждается или отрицается. В зависимости от количества и особенностей суждений, используемых в посылках, различают простой и сложный категорический силлогизм. Рассмотрим наиболее распространенный из них - простой категорический силлогизм.Простой категорический силлогизм (от гр. syllogismos - сосчитывание) - это такой вид дедуктивного умозаключения, в котором из двух истинных категорических суждений, связанных общим термином, получается третье суждение - вывод, являющийся категорическим суждением.В основе вывода по категорическому силлогизму лежит аксиома силлогизма: «Все, что утверждается или отрицается о роде (классе), необходимо утверждается или отрицается о виде (или члене данного класса), принадлежащем к данному роду». Например:Гражданин, совершивший преступление, привлекается к уголовной ответственности _____________Петров совершил преступление__________Петров привлекается к уголовной ответственностиКак и в суждениях, категорический силлогизм имеет термины. Но если в суждениях их два, то в категорическом силлогизме - три. Различают меньший, больший и средний термины.Меньшим термином силлогизма называется понятие, которое в заключении является субъектом. Большим термином силлогизма называется понятие, которое в заключении является предикатом. Меньший и больший термины называются крайними и обозначаются соответственно латинскими буквами S (меньший термин) и Р (больший термин). Каждый из крайних терминов входит не только в заключение, но и в одну из посылок. Посылка, в которую входит меньший термин, называется меньшей посылкой; посылка, в которую входит больший термин, называется большей посылкой.Средним термином силлогизма называется понятие, входящее в обе посылки и отсутствующее в заключении. Средний термин обозначается латинской буквой М (от латинского medius - средний). Средний термин служит для сравнения большего термина с меньшим и установления логической связи между посылками. Сами по себе эти термины не могут быть сравниваемыСравнение может происходить через посредство среднего термина. Обратимся к нашему примеру простого категорического силлогизма: мы не могли бы связать термин «Петров» с термином «привлекается к уголовной ответственности», если бы у нас не было термина «гражданин, совершивший преступление», который связывается, с одной стороны, с термином «привлекается к уголовной ответственности», с другой стороны - с термином «Петров» и, таким образом, служит логической связкой между терминами «Петров» и «привлекается к уголовной ответственности».Поставив в нашем примере на место терминов суждения термины силло¬гизма, получим:Гражданин, совершивший преступление /М/, привлекается к уголовной ответственности /Р/ Петров /S/ является гражданином, совершившим преступление /М/ Петров /S/ привлекается к уголовной ответственности /Р/ В посылках простого категорического силлогизма средний термин может занимать место субъекта или предиката. Разновидности форм силлогизма, различаемые по положению среднего термина в посылках, называются фигурами силлогизма, каждая из которых имеет свои особые правила. Различают четыре фигуры.Первая фигура - разновидность силлогизма, в которой средний термин занимает место субъекта в большей посылке (М-Р) и место предиката в меньшей (S-M), схематически выражается так:Пример:Все будущие юристы /М/ изучают курс профессиональной юридической этики /Р/___________________Студентка Куликова /S/ - будущий юрист /М/_______________Студентка Куликова /S/ изучает курс профессиональной юридической этики /Р/.Первая фигура является наиболее распространенной формой силлогизма, она позволяет сопоставить частное знание, указанное в меньшей посылке, с общим знанием, которое содержится в большей посылке. Применяется в любой сфере деятельности, когда надо решить конкретный вопрос на основе общего правила, закона, определения.Квалификация преступлений, например, осуществляется главным образом по первой фигуре силлогизма.Правила первой фигуры: 1) меньшая посылка должна быть утвердительной (А, I); 2) большая посылка должна быть общей (А, Е)Вторая фигура - разновидность силлогизма, в которой средний термин занимает место предиката в обеих посылках (Р - М, S - М), схематично выражается следующая образом:Пример:Все доказательства по делу /Р/ в суде исследованы /М/ Факты, сообщенные гражданином К. /S/, в суде не исследованы /М/ Факты, сообщенные гражданином К. /S/, не является доказательствами по делу /Р/.Вторая фигура применяется при доказательствах ложности какого-либо положения путем отрицания принадлежности исследуемых предметов к классу предметов, о которых мыслится в большей посылке.Правила второй фигуры: 1) одна из посылок должна быть отрицательной (Е, О); 2) большая посылка должна быть общей (А, Е).Третья фигура - разновидность силлогизма, в которой средний термин занимает место субъекта в обеих посылках (М - Р; М - S). Его схема:Пример:Все подозреваемые /М/ признали свою вину /Р/Вce подозреваемые /М/ привлечены к уголовной ответственности /S/.Некоторые лица, привлеченные к уголовной ответственности /S/, признали свою вину /P/.Третья фигура обычно используется в тех случаях, когда требуется сделать вывод из двух общих суждений, в которых мыслится один и тот же предмет. Она также может быть применима для опровержения отдельных общих положений.Например, необходимо опровергнуть суждение «Ни один свидетель не дал правдивых показаний» и нам известно, что свидетели Куприянов и Семенов дали правдивые показания. Построим умозаключение по третьей фигуре:Куприянов и Семенов – свидетели___________Куприянов и Семенов дали правдивые показания_________Некоторые свидетели дали правдивые показания.Поскольку частноутвердительное суждение «Некоторые свидетели дали правдивые показания» является истинным, то находящееся с ним в отношении противоречия общеотрицательное суждение «Ни один свидетель не дал правдивых показаний» - ложное.Правила третьей фигуры: 1) меньшая посылка должна быть утвердительной (А, I); 2) заключение должно быть частным (I, О).Четвертая фигура - разновидность силлогизма, в которой средний термин занимает место предиката в большей (Р - М) и место субъекта в меньшей посылке (М — S), схематически выражается:Пример:Дезертирство /Р/ совершается с целью уклонения от воинской службы /М/.Уклонение от воинской службы /М/ является фактором причинения ущерба боевой готовности подразделения /S/.Одним из факторов причинения ущерба боевой готовности подразделения /S/ является дезертирство /P/.Правила четвертой фигуры: 1) если большая посылка утвердительная (А, I), то меньшая посылка должна быть общей (А, Е); 2) если одна из посылок отрицательная (Е, О), то большая посылка должна быть общей (А, Е).На практике данная фигура используется редко, так как зависимости между посылками и заключением менее заметны. Ход рассуждения по ней не типичен для процесса мышления, так как здесь мысль идет как бы «наоборот».Таким образом, в первой фигуре можно получить выводы всех основных видов суждения. Вторая фигура дает только отрицательный вывод. В третьей фигуре вывод будет частным суждением. Четвертая фигура силлогизма практически не употребляется.Необходимый характер вывода в простом категорическом силлогизме обеспечивается соблюдением следующих для всех его разновидностей правил, которые разбиваются на две группы: правила терминов и правила посылок.Правила терминов /П Т/П Т - 1. В каждом силлогизме должно быть только три термина. При нарушении этого правила возникает логическая ошибка «учетверение терминов», состоящая в том, что один из терминов употреблен в двух значениях. Например:Жизнь - это борьба________Карате – борьба_____Жизнь - это карате.П Т - 2. Средний термин должен быть распределен хотя бы в одной из посылок. Если средний термин не распределен ни в одной из посылок, то отношение между крайними терминами в заключении остается неопределенным. Например:Некоторые растения /М/ ядовиты /Р/_________Белые грибы /S/ - растения /М/______Белые грибы /S/ - ядовиты /Р/П Т - 3. Термин, не распределенный в посылках, не может быть распределен в заключении. При нарушении этого правила возникает логическая ошибка «незаконное расширение термина». Например:Все педагоги /М/ воспитанны /Р/_________Он /S/ не педагог /M/________Он /S/ невоспитан 1Р1Правила посылок /П П/П П - 1. Хотя бы одна из посылок должна быть утвердительной; из двух отрицательных посылок заключение не следует. Например:Ни один студент не является преподавателем.Студент Данилов не является преподавателем .?.Вывод невозможен, так как обе посылки отрицательные суждения.П П - 2. Если одна из посылок - отрицательное суждение, то и заключение должно быть отрицательным. Пример правильного вывода:Ни один папоротник никогда не цветет________Это растение цветет_______Это растение не папоротникП П - 3. Хотя бы одна из посылок должна быть общим суждением. Из двух частных посылок заключение с необходимостью не следует. Например:Некоторые студенты родились в Москве.Некоторые студенты родились на Урале.?П П — 4. Если одна из посылок — частное суждение, то и заключение должно быть частным. Например:Все депутаты - избранники народа__________Некоторые юристы – депутаты_____-Некоторые юристы - избранники народаПосылками силлогизма могут быть суждения, различные по качеству и количеству: общеутвердительные (А), общеотрицательные (Е), частноутвердительные (I), частноотрицательные (О). На основе их различного сочетания выделяют модусы простого категорического силлогизма.Модусами простого категорического силлогизма называются его разновидности, отличающиеся друг от друга качественной и количественной характеристикой входящих в них посылок и заключения.В соответствии с этим называют модусы 1-ой фигуры, модусы 2-ой фигуры и т.д. Например, модус ААА 1-ой фигуры, модус EAO 3-ей фигуры и т.д. Все другие модусы формально возможны, но логически по содержанию они являются ошибочными, так как в них нарушаются те или иные правила категорического силлогизма.Знание модусов дает возможность определить форму истинного заклю¬чения, когда даны посылки и известно, какова фигура данного силлогизма.В целом же анализ простых категорических силлогизмов с целью выяс¬нения вопроса о характере вывода предполагает последовательное определение следующих моментов:- меньшего, большего и среднего терминов;- меньшей и большей посылок;- фигуры;- модуса (количества и качества, входящих в силлогизм суждений);- распределенности терминов в посылках и заключении;- характера вывода (достоверный или вероятностный). Рассмотрим пример: «Законы подлежат соблюдению, а инструкция не является законом, следовательно, инструкция не подлежит соблюдению». Анализ силлогизма следует начинать с заключения, так как в нем содержатся крайние термины - больший и меньший. В данном примере понятие «инструкция» - меньший термин (S) как субъект заключения. Понятие «соблюдение» или «правовой акт, подлежащий соблюдению» как результат преобразования глагольной формы предиката в предметную - больший термин, так как является предикатом заключения. Понятие «закон», которое входит в обе посылки, но отсутствует в заключении, - средний термин.Посылка «Законы подлежат соблюдению» является большей, поскольку она содержит больший термин «правовой акт, подлежащий соблюдению», а посылка «инструкция не является законом», содержащая меньший термин «инструкция», - меньший. Так как средний термин «закон» является субъектом большей посылки и предикатом меньшей, то это силлогизм первой фигуры.Большая посылка - общеутвердительное суждение (А), меньшая - общеотрицательное (Е) и заключение тоже общеотрицательное (Е). Таким образом, здесь мы имеем модус АЕЕ. Средний термин в большей посылке распределен как субъект общего суждения (условное обозначение М+), а больший термин не распределен как предикат утвердительного суждения (условное обозначение Р-). В меньшей посылке меньший термин распределен как субъект общего суждения (S+) и средний термин распределен как предикат отрицательного суждения (М+). В заключении оба крайних термина распределены на тех же основаниях, что и в меньшей посылке (S+) и (Р+). Зафиксируем результат нашего анализа:А Законы /М+/ подлежат соблюдению /Р-/.Е Инструкция /S+/ не является законом /М+/.Е Инструкция /S+/ не подлежит соблюдению /Р+/Характер вывода определяется ответом на вопрос, нарушены ли правила силлогизма (правила фигуры и общие правила) в данном примере: если нарушены, то вывод вероятностный, если нет, то достоверный. Поскольку наш пример построен по первой фигуре, то легко обнаружить, что здесь не соблюдено одно из ее правил - меньшая посылка должна быть утвердительной, здесь она – отрицательная. Значит вывод имеет вероятностный харак¬тер. Но так как правила фигур являются следствиями из общих правил, нужно также определить, какие общие правила нарушены. В данном примере нарушено ПТ - 3 относительно большего термина: больший термин в посылке не распределен как предикат утвердительного суждения, а в заключении он распределен как предикат отрицательного. Следовательно, в примере допущена ошибка «незаконное расширение большего термина».Данный вид дедуктивного умозаключения имеет большую практическую ценность в области юриспруденции. При этом главная трудность состоит в том, чтобы решить, какие посылки должны быть взяты для построения умозаключения. Правила простого категорического силлогизма не позволяют определить содержание посылок, но они указывают, каким требованиям эти посылки должны удовлетворять, чтобы их можно было связать между собой и сделать необходимый вывод. Содержание посылок определяет конкретная юридическая практика.Проиллюстрируем это на примере из реальной практики арбитражных судов Российской Федерации. Акционерное общество обратилось в арбитражный суд с иском к энергоснабжающей организации об исключении из договора пункта, предусматривающего пени за неуплату стоимости потребленной электроэнергии в размере 2% от суммы неоплаты за каждый день просрочки.Арбитражный суд в удовлетворении исковых требований отказал по следующим мотивам: — стороны в договоре установили, что ответственность за нарушение обязательств по оплате потребленной электроэнергии применяется в размере, установленном Постановлением Российской от 7. 08. 92 № 558 «О стабилизации финансового положения в электроэнергетике Российской Федерации»;— с момента включения в договор нормы об ответственности, содержащейся в указанном Постановлении, она становится договорным условием, поэтому признание Постановления утратившим силу не может служить основанием для исключения такого условия из договора.Кассационная инстанция решение суда первой инстанции отменила, сославшись на следующее:— неустойка, установленная Постановлением Правительства Российской Федерации от 7. 08. 92 № 558, выражена в императивной (не допускающей выбора) форме и применялась независимо от того, включена ли она в договор (пункт 1 статьи 332 Гражданского кодекса Российской Федерации)— воспроизведение такой неустойки в договоре не дает оснований считать ее договорной;— поскольку в договоре предусматривалась неустойка, которая воспроизводила норму закона, выраженную в императивной форме, стороны ее размер в соответствии с пунктом 2 статьи 332 ГК РФ не увеличили, то есть не придали неустойке договорный характер. Такое условие при отмене нормативного акта может быть исключено из договора.Воспроизведем рассуждения сторон формально-логически.Большая посылка Истца:Признание утратившим силу нормативного акта, с учетом положений которого в договор включена норма об ответственности Сторон, является основанием для исключения из текста договора указанной нормы.Меньшая посылка Истца:Постановление Правительства РФ №558, определяющее размер пени за просрочку оплаты потребленной электроэнергии, утратило силу.Вывод Истца:Пункт договора о пенях может быть исключен.Большая посылка Арбитражного суда:Любая внесенная в текст договора норма является договорной и не зависит от того, утратил ли силу лежащий в ее основе нормативный акт, не имеющий императивного характера.Меньшая посылка Арбитражного суда:В договоре предусматривается неустойка, которая воспроизводила норму закона, выраженную в неимперативной форме.Вывод Арбитражного суда:Оснований для изменения договора нет, в иске отказать.Большая посылка Кассационной инстанции:Внесенная в текст договора норма ответственности воспроизводит норму закона, является императивной нормой, действующей независимо от ее включения в договор. Договорный характер она приобретает в случае ее увеличения в большую сторону.Меньшая посылка Кассационной инстанции:Утратила силу норма закона, повторенная в договоре.Вывод Кассационной инстанции:Норма об ответственности может быть исключена из текста договора.Простой категорический силлогизм называется полным, если он выражен развернуто, то есть в нем имеются большая и меньшая посылки, а также заключение. В практике мышления нередко простой категорический силлогизм облегается в сокращенную форму и называется энтимемой.Различают три вида энтимемы:1) силлогизм с пропущенной большей посылкой. Например: «Григорьев - судья. Следовательно, он юрист». Здесь пропущена, но подразумевается боль¬шая посылка: «Все судьи — юристы»;2) силлогизм с пропущенной меньшей посылкой. Например: «Все судьи - юристы. Следовательно, Григорьев — юрист».Предполагается, что «Григорьев - судья»;3) силлогизм с пропущенным заключением. Например: «Все судьи - юристы. Григорьев - судья». Предполагается, что «следовательно, он - юрист».Значение энтимем состоит в том, что с их помощью достигается крат¬кость мысли, которая побуждает думать того, к кому она адресована.Сложный категорический силлогизм состоит из двух или более простых силлогизмов, связанных между собой таким образом, что заключение каждого последующего силлогизма становится посылкой другого силлогизма. Такое умозаключение называется полисиллогизмом. Например:Всякое общественно опасное деяние наказуемоПреступление - общественно опасное деяниеПреступление наказуемоСклонение к потреблению наркотических средств - преступлениеСледовательно, склонение к потреблению наркотических средств наказуемо.

16.Выводы из сложных суждений: условное умозаключение, разделительное, условно-разделительное. Условные и разделительные умозаключенияУсловно-разделительное умозаключениеУсловно-разделительным (леммой) называется умозаключение, в котором одна посылка — разделительное суждение, а другие посылки, число которых равно числу членов деления, являются условными суждениями.По числу членов деления оно называется дилеммой, трилеммой. Условно-разделительные умозаключения существуют в простом и сложном модусах.Простой modus ponens (конструктивный) представляет собой условно-разделительное умозаключение, посылки и вывод которого являются положительными суждениями:Каждое A есть либо B, либо C;Если A есть B, то A есть D;Если A есть C, то A есть D;Следовательно, A есть D.Пример:Всякий грешник является либо блудником, либо лихоимцем, либо сребролюбцем, либо славолюбцем;Если грешник блудник, то он и нечестивец;Если грешник лихоимец, то он и нечестивец;Если грешник сребролюбец, то он и нечестивец;Если грешник славолюбец, то он и нечестивец;Следовательно, всякий грешник — нечестивец.Простой modus tollens (деструктивный) представляет собой условно-разделительное умозаключение, меньшие посылки и вывод которого являются отрицательными суждениями.Если A есть B, то A есть D;Если A есть B, то A есть F;Но A не есть D, либо A не есть F;Следовательно, A не есть B.Пример:Если я хочу сдать экзамен, то мне нужно время, чтобы слушать лекции;Если я хочу сдать экзамен, то мне нужен учебник;Но у меня нет ни времени, ни учебника.Следовательно, я не смогу сдать экзамен.Сложный (конструктивный) modus ponens представляет собой условно-разделительное умозаключение, посылки которого являются положительными условными и разделительными суждениями, вывод — разделительным суждением, а в меньшей посылке утверждается консеквент.Если A есть B, то C есть D;Если E есть F, то G есть H;Но либо A есть B; либо E есть F;Следовательно, или C есть D, или G есть H.Пример:Если я опоздаю на занятие, то получу выговор от преподавателя;Если я не выучу урок, то получу плохую оценку;Но я либо опоздаю на занятия, либо не выучу урок;Следовательно, я получу либо выговор, либо плохую оценку.Сложный (деструктивный) modus tollens представляет собой условно-разделительное умозаключение, большая посылка которого (разделительное суждение) является отрицательным суждением, меньшие посылки являются положительными суждениями, а меньшая посылка и вывод отрицают антецедент.ЕслиA есть B, то C есть D;Если E есть F, то G есть H;C не есть D и G не есть H;Следовательно, A не есть B и E не есть F.Пример:Если я опоздаю на занятие, то получу выговор преподавателя;Если я не выучу урок, то получу плохую оценку;Но я не хочу получить ни выговор от преподавателя, ни плохую оценку;Следовательно, я выучу урок и не опоздаю на занятие.Альтернативы леммы назывались в средние века "рогатым аргументом", так как в том же модусе возможно и противоположное умозаключение: "Если будешь говорить справедливое, тебя возненавидят люди; а если несправедливое — боги"Полная форма умозаключения.Если оратор будет говорить справедливое, то его возненавидят люди;Если оратор будет говорить несправедливое, то его возненавидят боги;Но политические речи бывают справедливыми и несправедливыми;Следовательно, политические речи ненавистны либо богам, либо людям.Но:Если оратор говорит справедливое, то он угоден богам;Если оратор говорит несправедливое, то он угоден людям;Но политические речи бывают справедливыми или несправедливыми;Следовательно, политические речи угодны либо богам, либо людям.Аристотель говорит относительно этого аргумента следующее: "Когда за каждой из двух противоположных вещей следует и некоторое добро и некоторое зло, причем те и другие последствия взаимно противоположны, то это называется βλαισοτις (кривизна ног, выгнутых в противоположном направлении)" Аристотель. Топика. Соч. Т. 2. М, 1978. ^Аристотель. Там же. ^Условно-категорическое умозаключениеУсловно-категорическим называется умозаключение, в котором одна из посылок -- условное, а другая посылка и заключение -- категорические суждения.Рассмотрим пример:Первая посылка -- условное суждение, выражающее связь основания (а) и следствия (b). Вторая посылка -- категорическое суждение, в котором утверждается истинность основания (а): иск предъявлен недееспособным лицом. Признав истинность основания, мы признаем истинность следствия (b): суд оставляет иск без рассмотрения.Это умозаключение представляет собой одну из разновидностей условно-категорического силлогизма -- утверждающий модус (modus ponens), в котором посылка, выраженная категорическим суждением, утверждает истинность основания, а заключение утверждает истинность следствия; рассуждение направлено от утверждения основания к утверждению следствия.Утверждающий модус дает достоверные выводы. Он имеет схему:Другим модусом, дающим достоверные заключения, является отрицающий модус (modus tollens), в котором посылка, выраженная категорическим суждением, отрицает истинность следствия, а заключение отрицает истинность основания. Рассуждение направлено от отрицания следствия к отрицанию основания. Например:Нетрудно установить, что возможны еще две разновидности условно-категорического силлогизма.(3)Посылка, выраженная категорическим суждением, отрицает истинность основания, заключение отрицает истинность следствия. Рассуждение направлено от отрицания основания к отрицанию следствия, т.е.:Однако заключение по данному модусу не будет достоверным. Так, если в приведенном примере основание условной посылки отрицается (неверно, что иск предъявлен недееспособным лицом), нельзя с достоверностью отрицать истинность следствия (неверно, что суд оставляет иск без рассмотрения). Суд может оставить иск без рассмотрения и по другим обстоятельствам, например в результате истечения срока исковой давности.(4) Посылка, выраженная категорическим суждением, утверждает истинность следствия, заключение утверждает истинность основания. Рассуждение направлено от утверждения следствия к утверждению основания, т.е.:Заключение по данному модусу также не будет достоверным. Утверждение следствия (суд оставляет иск без рассмотрения) не влечет с необходимостью истинность основания: суд может оставить иск без рассмотрения не только в результате недееспособности истца, но и по другим причинам.Итак, из четырех модусов условно-категорического умозаключения, исчерпывающих все возможные комбинации посылок, достоверные заключения дают два: утверждающий (modus ponens) (1) и отрицающий (modus tollens) (2). Они выражают законь! логики и называются правильными модусами условно-категорического умозаключения. Эти модусы подчиняются правилу: утверждение основания ведет к утверждению следствия и отрицание следствия -- к отрицанию основания. Два других модуса (3 и 4) достоверных заключений не дают. Они называются неправильными модусами и подчиняются правилу: отрицание основания не ведет с необходимостью к отрицанию следствия и утверждение следствия не ведет с необходимостью к утверждению основания.Необходимость вывода по утверждающему и отрицающему модусам можно показать в помощью таблиц истинности.Истинность импликации (столбик 3) зависит от истинности антецедента (основания) (1) и консеквента (следствия) (2). Импликация считается ложной тогда и только тогда, когда антецедент истинен, а консеквент ложен (2-я строка таблицы). Во всех остальных случаях импликация истинна.Истинность или ложность конъюнкции (4-й столбик) также зависит от составляющих ее членов (3 и 1).Конъюнкция истинна тогда и только тогда, когда истинны оба ее члена (1-я строка таблицы).Теперь установим истинность импликации (5-й столбик таблицы -- утверждающий модус). Так как импликация антецедента (4) и консеквента (2) не содержит случая, когда антецедент истинен, а консеквент ложен, то импликация всегда истинна. Следовательно, высказывание ((р>q)р)>q является логическим законом. Отрицающий модус (рис. 2).В столбиках 1 и 3, 2 и 4 показано, что если одно высказывание ложно, то его отрицание истинно. Импликация р и q (1 и 2) ложна только в одном случае (2-я строка таблицы) -- столбик 5. Конъюнкция (столбик 6) высказываний (p > q) и ?|q (5 и 4) истинна только в одном случае (4-я строка таблицы). Импликация ((p>q) ?|q) и ?|р (6 и 3) всегда истинна, так как не содержит случая, когда антецедент истинен, а консеквент ложен. Следовательно, высказывание ((p>q)?|q)>?|p является логическим законом.С помощью таблиц истинности можно показать недостоверность выводов по неправильным модусам.При анализе условно-категорического умозаключения нужно иметь в виду, что основание и следствие большей посылки может быть как утвердительным, так и отрицательным суждением: p>q; ?|p>q; p>?|q; ?|p>?|q.Например:Следствие условной посылки -- отрицательное суждение, категорическая посылка (утвердительное суждение) утверждает истинность основания, заключение (отрицательное суждение) утверждает истинность следствия.В символической записи: Возможны и другие разновидности модусов.Иногда в рассуждениях используются условно-категорические умозаключения с выделяющим условным (эквивалентным) суждением (если, и только если а, то b).В символической записи: p q, где -- знак эквивалентности. В таких умозаключениях достоверные заключения получаются по всем четырем модусам:Рассмотрим для примера выделяющее условное суждение: «Если лицо виновно в совершении преступления, то оно подлежит уголовной ответственности». Нетрудно установить, что достоверное заключение получается по любому из приведенных модусов.Разделительно-категорическое умозаключение.Разделительно-категорическим называется умозаключение, в котором одна из посылок -- разделительное, а другая посылка и заключение -- категорические суждения.Простые суждения, из которых состоит разделительное (дизъюнктивное) суждение, называются членами дизъюнкции или дизъюнктами. Например, разделительное суждение «Облигации могут быть предъявительскими или именными» состоит из двух суждений -- дизъюнктов: «Облигации могут быть предъявительскими» и «Облигации могут быть именными», соединенных логическим союзом «или».Утверждая один член дизъюнкции, мы с необходимостью должны отрицать другой, и отрицая один из них -- утверждать другой. В соответствии с этим различают два модуса разделительно-категорического умозаключения: утверждающе-отрицающий и отрицающе-утверждающий.Схема утверждающе-отрицающего модуса:В утверждающе-отрицающем модусе (modus ponendo tollens) меньшая посылка -- категорическое суждение -- утверждает один член дизъюнкции, заключение -- также категорическое суждение -- отрицает другой ее член. Например:Заключение по этому модусу всегда достоверно, если соблюдается правило: большая посылка должна быть исключающе-разделительным суждением, или суждением строгой дизъюнкции. Если это правило не соблюдается, достоверного заключения получить нельзя. В самом деле, из посылок «Кражу совершил К или Л» и «Кража совершена К» заключение «Л кражу не совершал» с необходимостью не следует. Возможно, что Л также причастен к совершению кражи, является соучастником К.В отрицающе-утверждающем модусе (modus tollendo ponens) меньшая посылка отрицает один дизъюнкт, заключение утверждает другой.Например:Схема отрицающе-утверждающего модуса:В символической записи:где < ... > -- символ закрытой дизъюнкции.Утвердительный вывод получен посредством отрицания: отрицая один дизъюнкт, мы утверждаем другой.Заключение по этому модусу всегда достоверно, если соблюдается правило: в большей посылке должны быть перечислены все возможные суждения -- дизъюнкты, иначе говоря, большая посылка должна быть полным (закрытым) дизъюнктивным высказыванием. Применяя неполное (открытое) дизъюнктивное высказывание, достоверного заключения получить нельзя. Например.Однако это заключение может оказаться ложным, так как в большей посылке учтены не все возможные виды сде-Лб1: посылка представляет собой неполное, или открытое, дизъюнктивное высказывание (сделка может быть и односторонней, для совершения которой достаточно изъявления воли одного лица -- выдача доверенности, составление завещания, отказ от наследства и т.п.).Разделительная посылка может включать не два, а три и больше членов дизъюнкции. Например, в процессе расследования причин пожара на складе следователь предположил, что пожар мог возникнуть либо вследствие неосторожного обращения с огнем (р), либо в результате самовоспламенения хранящихся на складе материалов (q), либо в результате поджога (r). В ходе расследования было установлено, что пожар возник вследствие неосторожного обращения с огнем (р). В этом случае все другие дизъюнкты отрицаются. Умозаключение принимает форму утверждающе-отрицающего модуса и строится по схеме:Возможен и другой ход рассуждения. Допустим, предположения о том, что пожар возник вследствие неосторожного обращения с огнем или в результате самовоспламенения хранящихся на складе материалов не подтвердилось. В этом случае умозаключение примет форму отрицающе-утверждающего модуса и будет построено по схеме:Заключение будет истинным, если в условной посылке учтены все возможные случаи.Разделительно-категорическое умозаключение находит широкое применение в судебно-следственной практике, особенно при построении и проверке следственных версий.Условно-разделительное умозаключение.Умозаключение, в мотором одна посылка условное, а другая -- разделительное суждение, называется условно-разделительным или лемматическим.Разделительное суждение может содержать две, три и большее число альтернатив, поэтому лемматические умозаключения делятся на дилеммы (две альтернативы), трилеммы (три альтернативы) и т. д.Рассмотрим на примере дилеммы структуру и виды условно-разделительного умозаключения. Различают два вида дилемм: конструктивную (созидательную) и деструктивную (разрушительную), каждая из которых делится на простую и сложную.В простой конструктивной дилемме условная посылка содержит два основания, из которых вытекает одно и то же следствие.Разделительная посылка утверждает оба возможных основания, заключение утверждает следствие. Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствия.Схема простой конструктивной дилеммы. Пример:Если обвиняемый виновен в заведомо незаконном аресте (а), то он подлежит уголовной ответственности за преступление против правосудия (с); если он виновен в заведомо незаконном задержании (b), то он также подлежит уголовной ответственности за преступление против правосудия (с). Обвиняемый виновен или в заведомо незаконном аресте (а), или в заведомо незаконном задержании (b).Обвиняемый подлежит уголовной ответственности за преступление против правосудия (с)В сложной конструктивной дилемме условная посылка содержит два основания и два следствия. Разделительная посылка утверждает оба возможных следствия. Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствий.Схема сложной конструктивной дилеммы:Пример:Если сберегательный сертификат является предъявительским "с (а), то он передается другому лицу путем вручения (b); если он является именным (с), то передается в порядке, установленном для уступки требований (d). Но сберегательный сертификат может быть предъявительским (а) или именным (с).Сберегательный сертификат передается другому лицу путем вручения (b) или в порядке, установленном для уступки требований(d).В простой деструктивной дилемме условная посылка содержит одно основание, из которого вытекает два возможных следствия. Разделительная посылка отрицает оба следствия, заключение отрицает основание. Рассуждение направлено от отрицания истинности следствий к отрицанию истинности основания.Схема простой деструктивной дилеммы:Пример:Если Н -- подозреваемый (а), значит, он или задержан по подозрению в совершении преступления (b), или является лицом, к которому применена мера пресечения до предъявления обвинения (с)Н не был задержан по подозрению в совершении преступления (не -b) или он не является лицом, к которому применена мера пресечения до предъявления обвинения (не - с).Н не является подозреваемым (не - а) в сложной деструктивной дилемме условная посылка содержит два основания и два следствия. Разделительная посылка отрицает оба следствия, заключение отрицает оба основания. Рассуждение направлено от отрицания истинности следствий к отрицанию истинности оснований.Схема сложной деструктивной дилеммы:Пример:Если предприятие является арендным (а), то оно осуществлю предпринимательскую деятельность на основе взятого им в аренду имущественного комплекса (b); если оно является коллективным (с), то осуществляет такую деятельность на основе находящегося в его собственности имущества (d) Данное предприятие не осуществляет свою деятельность ни на основе взятого в аренду имущественного комплекса (не - b), ни на основе находящегося в его собственности имущества (не - d). Данное предприятие не арендное (не - а) или не коллективное (не - с)

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

М есть (не есть) Р, так как она есть (не есть) N,

S есть М, так как оно есть О

S есть (не есть) Р.

 Например:

Ни одна птица не примат, так как ни одна птица не млекопитающее.

Данные особи – птицы, так как они имеют перьевой покров.

Данные особи не приматы.

Каждая эпихейрема может быть превращена в сорит, если ее посылки превратить в полные силлогизмы и расположить их определенным образом.Сокращенный силлогизм (энтимема)Силлогизм, в котором выражены все его части -- обе посылки и заключение, называется полным. Такие силлогизмы были рассмотрены в предыдущих разделах. Однако на практике чаще используются силлогизмы, в которых одна из посылок или заключение явно не выражаются, а подразумеваются.Силлогизм с пропущенной посылкой или заключением называется сокращенным силлогизмом, или энтимемой.Широко используются энтимемы простого категорического силлогизма, особенно выводы по первой фигуре. Например: «Николаев -- студент, поэтому он обязан сдавать экзамены». Здесь пропущена большая посылка: «Все студенты обязаны сдавать экзамены». Она представляет собой общеизвестное положение, формулировать которое необязательно.Полный силлогизм строится по 1-й фигуре:Пропущенной может быть не только большая, но и меньшая посылка, а также заключение: «Все студенты обязаны сдавать экзамены, а Николаев -- студент» или: «Все студенты обязаны сдавать экзамены, значит, и Николаев обязан сдавать экзамены». Пропущенные части силлогизма подразумеваются.В зависимости от того, какая часть силлогизма пропущена, различают три вида энтимемы: с пропущенной большей посылкой, с пропущенной меньшей посылкой и с пропущенным заключением.Умозаключение в форме энтимемы может быть построено и по 2-й фигуре; по 3-й фигуре оно строится редко.Форму энтимемы принимают также умозаключения, посылками которых являются условные и разделительные суждения.Рассмотрим наиболее распространенные виды энтимем.Условно-категорический силлогизм с пропущенной большей посылкой: «Уголовное дело не может быть возбуждено, так как событие преступления не имело места».Здесь пропущена большая посылка -- условное суждение «Если событие преступления не имело места, то уголовное дело не может быть возбуждено». Она содержит известное положение Уголовно-процессуального кодекса, которое подразумевается.Разделительно-категорический силлогизм с опущенной большей посылкой: «По данному делу не может быть вынесен оправдательный приговор, он должен быть обвинительным».Большая посылка -- разделительное суждение «По данному делу может быть вынесен либо оправдательный, либо обвинительный приговор» -- не формулируется.Разделительно-категорический силлогизм с опущенным заключением: «Смерть произошла либо в результате убийства, либо в результате самоубийства, либо в результате несчастного случая, либо в силу естественных причин. Смерть произошла в результате несчастного случая».Заключение, отрицающее все другие альтернативы, обычно не формулируется.Использование сокращенных силлогизмов обусловлено тем, что пропущенная посылка или заключение либо содержит известное положение, которое не нуждается в устном или письменном выражении, либо в контексте выраженных частей умозаключения она легко подразумевается. Именно поэтому рассуждение протекает, как правило, в форме энтимем. Но, поскольку в энтимеме выражены не все части умозаключения, скрывающуюся в ней ошибку обнаружить труднее, чем в полном умозаключении. Поэтому для проверки правильности рассуждения следует найти пропущенные части умозаключения и восстановить энтимему в полный силлогизм.Сложные и сложносокращенные силлогизмыВ процессе рассуждения простые силлогизмы выступают в логической связи друг с другом, образуя цепь силлогизмов, в которой заключение предшествующего силлогизма становится посылкой последующего. Предшествующий силлогизм называется просиллогизмом, последующий -эписиллогизмомСоединение простых силлогизмов, в котором заключение предшествующего силлогизма (просиллогизма) становится посылкой последующего (эписиллогизма) называется сложным силлогизмом, или полисиллогизмом.Различают прогрессивный и регрессивный полисиллогизмы. В прогрессивном полисиллогизме заключение просиллогизма становится большей посылкой эписиллогизма. В регрессивном полисиллогизме заключение просиллогизма становится меньшей посылкой эписиллогизма.Например:Оба приведенных примера представляют собой соединение двух простых категорических силлогизмов, построенных по модусу ААА 1-й фигуры. Однако полисиллогизм может быть соединением большего числа простых силлогизмов, простроенных по разным модусам разных фигур. Цепь силлогизмов может включить в себя как прогрессивную, так и регрессивную связь.Сложными могут быть чисто условные силлогизмы, которые имеют схему:В символической записи:Из схемы видно, что, как и в простом чисто условном умозаключении, заключение представляет собой импликативную связь основания первой посылки со следствием последней.В процессе рассуждения полисиллогизм принимает обычно сокращенную форму; некоторые из его посылок опускаются. Полисиллогизм, в котором пропущены некоторые посылки, называется соритом. Различают два вида соритов:1. Прогрессивный полисиллогизм с пропущенными большими посылками эписиллогизмов.

Например:К сложносокращенным силлогизмам относится также эпихейрема. Эпихейремой называется сложносокращенный силлогизм, обе посылки которого являются энтимемами.Например:Развернем посылки эпихейремы в полные силлогизмы. Для этого восстановим в полный силлогизм сначала 1-ю энтимему: Как видим, первую посылку эпихейремы составляют заключение и меньшая посылка силлогизма. Теперь восстановим 2-ю энтимему.Вторую посылку эпихейремы также составляют заключение и меньшая посылка силлогизма.Заключение эпихейремы получено из заключений 1-го и 2-го силлогизмов:Развертывание эпихейремы в полисиллогизм позволяет проверить правильность рассуждения, избегать логических ошибок, которые могут остаться незамеченными в эпихейреме.