Объект и предмет формальной логики. Особенности абстрактного мышления (стр. 3 из 12)

3) Члены деления должны исключать друг друга. Они могут быть лишь несовместимыми, соподчиненными понятиями. Например, неправильными являются деления: ученики делятся на отличников, неуспевающих и успевающих, так как понятия отличник и успевающий не исключают друг друга; преступления делятся на умышленные, неосторожные и воинские, так как воинские одновременно могут быть или умышленными, или неосторожными

4) Деление должно быть последовательным и непрерывным. От рода следует переходить к ближайшим видам, а затем от них — к ближайшим подвидам. Если это правило нарушается, возникает логическая ошибка — скачок в делении. Так, если право мы сначала разделим на отрасли — трудовое, уголовное, гражданское, а затем гражданское — на право собственности, обязательственное право, наследственное право, то это правильное, последовательное и непрерывное деление. Но если после трудового, уголовного сразу назвать наследственное право, то это ибудет означать скачок в делении.

8. Общая характеристика суждения: сущность, истинность и ложность, роль и функции суждений, их структура, суждение и предложение.

●Суждение — это форма мысли, посредством которой раскрывается наличие или отсутствие каких-либо связей и отношений между предметами.

Отличительный признак суждения — утверждение или отрицание чего-либо о чем-либо. Суждение может быть истинным или ложным. Истинность суждения определяется его соответствием действительности, оно не зависит от нашего отношения к нему и носит объективный характер. Истинность суждений о простейших житейских ситуациях очевидна и не требует специального исследования. Ложные суждения - это такие суждения, в которых связь понятий искажает объективные свойства и отношения предмета мысли В науке же на подтверждение или отрицание какого-либо суждения требовались годы напряженного труда.

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

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

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

●Структура суждения в разных языках одинакова, а структура предложений различна.

В суждении можно выделить следующие элементы: субъект, предикат, связка и квантор. Субъектом (S) суждения является понятие о предмете суждения, то, о чем мы судим; он содержит исходное знание. Предикатом (P) называется понятие о признаке предмета, то, что говорится о предмете суждения. Предикат содержит новое знание о предмете. Субъект и предикат называются терминами суждения. Связка выражает отношение между субъектом и предикатом. Связка объединяет термины суждения в единое целое, устанавливая принадлежность или не принадлежность признака предмету. Связка может быть выражена одним словом (есть, суть, является) или группой слов, или тире, или простым согласованием свойств («Собака лает», «Идет дождь»). Квантор, или кванторное слово («все», «ни один», «некоторые»), характеризует суждение со стороны его количества, указывает на отношение суждения ко всему объему понятия, выражающего субъект, или к его части.

●Чтобы выявить логический смысл предложения, надо найти в нем субъект и предикат. В простых случаях они соответствуют подлежащему и сказуемому. В сложных предложениях субъект может быть выражен группой подлежащего, а предикат — группой сказуемого. Например, в предложении «Любой, кто получил выгоду от преступления, виновен в его совершении» субъектом является группа подлежащего: «любой, кто получил выгоду от преступления» так как это — исходная информация, а предикатом — группа сказуемого: «виновен в его совершении», так как это — новая информация.Но не всегда наблюдается соответствие субъекта с подлежащим, предиката со сказуемым. В предложении «Выдающимся русским писателем является Шолохов» субъект — «выдающийся русский писатель», а предикат — «Шолохов». Субъект и предикат могут быть выражены и другими членами предложения.

9. Виды и состав простых суждений. Их символическая запись.

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

● В зависимости от того, что отрицается или утверждается суждения делятся на:

1) Атрибутивные (связь между предметом и его признаком) S - Р

2) Реляционные (отношения между предметами) xRy

3) Экзистенциальные (факт существования предмета) Эх

10. Классификация простых категорических (атрибутивных) суждений.

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

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

○По качеству выделяют утвердительные и отрицательные суждения. Утвердительное выражает принадлежность предмету какого-либо свойства, отрицательное — отсутствие какого-либо свойства, они различаются качеством связки. Суждение с отрицательным предикатом, но с утвердительной связкой рассматривается как утвердительное, например, «Данное решение суда является необоснованным».

○По количеству выделяют единичные, частные и общие суждения. Количественная характеристика выражается квантором общности. Единичным называется суждение, в котором что-либо утверждается или отрицается об одном предмете. Например, «Это здание — памятник архитектуры».

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

11. Распределенность терминов в атрибутивных суждениях и способы ее определения.

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

Рассмотрим, как распределены термины в суждениях А, Е, I, О.

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

Таким образом в общеутвердительных суждениях S распределён, а Р не распределен. Однако в общеутвердительных суждениях, субъект и предикат которых имеют одинаковый объем, распределен не только субъект, но и предикат. К таким суждениям относятся общевыделяющие суждения, а также определения, подчиняющиеся правилу соразмерности.

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

Суждение I (Некоторые S суть Р). «Некоторые студенты на-n группы (S) — отличники (Р)». Субъект этого суждения не распределён, так как в нем мыслится только часть студентов налей группы, объем субъекта лишь частично включается в объем 1редиката: только некоторые студенты нашей группы относятся к числу отличников. Но и объем предиката лишь частично включается в объем субъекта: не все, а только некоторые отличники — студенты нашей группы.