8.Способы решения логических задач

Известно несколько различных способов решения логических задач. Давайте назовем их так:

• Метод рассуждений; пособ рассуждений - самый примитивный способ. Этим способом решаются самые простые логические задачи. Его идея состоит в том, что мы проводим рассуждения, используя последовательно все условия задачи, и приходим к выводу, который и будет являться ответом задачи. 

• Метод таблиц; Основной прием, который используется при решении текстовых логических задач, заключается в построении таблиц. Таблицы не только позволяют наглядно представить условие задачи или ее ответ, но в значительной степени помогают делать правильные логические выводы в ходе решения задачи. 

• Метод графов;

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

• Метод бильярда;

• Метод кругов Эйлера.

9. Виды простых суждений.

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

Особое значение в логике придается делению простых суждений на виды по характеру связки (ее качеству) и субъекта (по его количеству).

Качество суждения выражает не фактическое содержание, а логическую форму: утвердительную или отрицательную.

По характеру связки простые суждения делятся на утвердительные и отрицательные.

В утвердительных суждениях раскрывается наличие какой-либо связи между субъектом и предикатом: «S есть Р».

В отрицательных суждениях раскрывается отсутствие той или иной связи между субъектом и предикатом: «S не есть Р».

Также простые суждения делятся по количеству.

Количество суждения определяется логическим объемом суждения. В зависимости от этого выделяются общие, частные и единичные суждения.

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

Частные суждения – это суждения, в которых что-либо высказывается о части какой-то группы предметов:

«Некоторые S есть (не есть) Р».

Единичные суждения– это такие суждения, в которых нечто высказывается об отдельном предмете мысли: «Это S есть (не есть) Р».

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

Общеутвердительными являются суждения, которые по количеству общие, а по качеству – утвердительные. Например: «Все адвокаты – юристы».

Частноутвердительные суждения– частные по количеству, утвердительные по качеству. Например: «Некоторые свидетели дают достоверные показания».

Общеотрицательные– общие по количеству, отрицательные по качеству. Например: «Ни один обвиняемый не оправдан».

Частноотрицательные– частные по количеству, отрицательные по качеству. Например: «Некоторые свидетели не дают верных показаний».

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

Атрибутивные суждения– раскрывают наличие или отсутствие у предмета мысли тех или иных свойств или признаков: «СНГ непрочен».

Реляционные суждения– раскрывают наличие или отсутствие у предмета мысли того или иного отношения к другому предмету: «СНГ не равно СССР».

Экзистенциальные суждения– раскрывают наличие или отсутствие предмета мысли: «СНГ существует».

Отношения между простыми суждениями определяются, с одной стороны, их конкретным содержанием, а с другой – логической формой. По содержанию простые суждения бывают сравнимые и несравнимые.

У несравнимых суждений предметные области совершенно не совпадают.

Сравнимые суждения имеют одинаковые термины, но могут различаться по количеству и качеству.