Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Логика2.doc
Скачиваний:
132
Добавлен:
17.04.2014
Размер:
2.2 Mб
Скачать
    1. Простые суждения и их состав

Основными частями простого суждения являются:

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

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

Например, «Солнце есть раскаленное небесное тело». Субъект – «солнце», предикат – «раскаленное небесное тело».

То есть найти субъект суждения, значит, ответить на вопрос «Что или кого хотят охарактеризовать в суждении?»

Соответственно для нахождения предиката суждения надо ответить на вопрос «Как, каким образом хотят охарактеризовать предметы, которые представляет субъект или субъекты?»

В зависимости от содержания предиката суждения, то есть того, что именно утверждается (или отрицается) о тех или иных предметах, различают суждения:

1) атрибутивные – утверждается или отрицается наличие некоторого свойства у предмета;

Например, «Адвокат есть лицо, занимающееся в виде профессии ведением чужих дел в судебных или административных учреждениях».

2) экзистенциальные (суждения существования) – утверждается или отрицается существование предмета;

Например, «Кентавров (существ, представляющих смесь лошади с человеком) не существует в действительности».

3) суждения об отношениях – утверждается или отрицается отношение между некоторыми предметами.

Например, «Нейроны человека контактируют друг с другом при помощи синапсов».

В атрибутивных суждениях, как и в суждениях существования, имеется всегда лишь один субъект. В суждениях об отношениях – более одного.

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

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

Например, «Все металлы суть простые вещества», «Ни один металл не есть сложное вещество».

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

Термин «категорический» происходит от греческого слова «categoria», которое можно перевести на русский язык как «без сомнения, окончательно, безаппеляционно сказанный». В составе этих высказываний выделяют кванторные слова, предицирующие связки, субъект и предикат.

В каждом категорическом атрибутивном высказывании имеется два термина: субъект и предикат.

Субъект (S) – это термин, обозначающий те предметы, о которых в высказывании нечто утверждается или отрицается.

Предикат (P) – это термин, обозначающий то, что предицируется, утверждается или отрицается об этих предметах.

Например: «Сократ – мудрец.» Термин «Сократ» – субъект, а термин «мудрец» – предикат.

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

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

Например, «Все тигры полосатые».

Иногда используются синонимы этих слов: «Любой тигр является полосатым».

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

Например, «Человек – существо разумное».

К частным относятся высказывания, содержащие квантор существования, выражаемый словами «некоторый», «какой-либо», «некий» и др.

Необходимо обратить внимание на кванторное слово «некоторый», так как оно употребляется в двух различных смыслах:

  1. «только некоторые»,

  2. «по крайней мере некоторые».

Например, в выражении «Некоторые писатели – люди», употребляя это слово в первом смысле, мы вынуждены трактовать данное высказывание как ложное, так как в этом случае утверждается «Только некоторые писатели – люди», то есть предполагается существование таких писателей, которые людьми не являются, но это утверждение ложно. Поэтому мы будем употреблять слово «некоторые» во втором смысле – «по крайней мере некоторые», что означает: «утверждаемое или отрицаемое верно по крайней мере для одного предмета из класса S, а может быть, и для всех».

По качеству рассматриваемые высказывания делятся на утвердительные и отрицательные. Утвердительные высказывания указывают на факт наличия свойства, в них присутствует утвердительная предицирующая связка «есть», «является» и др. Отрицательные высказывания указывают на факт отсутствия свойства, в них присутствует отрицательная предицирующая связка «не есть», «не является», которая предицирует отсутствие некоторого признака у предметов.

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

Соответственно можно выделить следующие

Соседние файлы в предмете Логика