
- •Раздел I. Предмет логики и ее значение
- •Логика как наука и основные этапы ее развития
- •Раздел II. Понятие
- •Понятие как форма мысли
- •Языковая форма выражения понятий
- •Объем и содержание понятия
- •Виды признаков
- •Закон обратного отношения между объемами и содержаниями понятий
- •Приемы формирования понятий
- •Виды понятий
- •Отношения между понятиями
- •Логические операции с понятиями
- •Деление понятий
- •Правила деления
- •Виды деления понятий
- •Определение
- •Виды определений
- •Правила определения.
- •Раздел III. Суждение
- •Логическая структура суждения
- •Виды суждений
- •Простые суждения и их состав
- •Категорические суждения
- •Типы простых атрибутивных суждений
- •Исключающие и выделяющие суждения
- •Ограничения для суждений
- •Семантика традиционной силлогистики
- •2. Предложение «Ни один s не есть р» истинно тогда и только тогда, когда классы s и р находятся в одном из следующих отношений:
- •3. Предложение «Некоторый s есть р» истинно тогда и только тогда, когда s и р находятся в одном из следующих отношений:
- •4. Предложение «Некоторый s не есть р» истинно тогда и только тогда, когда классы s и р находятся в одном из следующих отношений:
- •5. Предложение «а есть р» истинно тогда и только тогда, когда между предметом, обозначенным термином «а», и классом р существует отношение, соответствующее схеме №1:
- •6. Предложение «а не есть р» истинно тогда и только тогда, когда между предметом, обозначенным термином «а», и классом р существует отношение, соответствующее схеме №2:
- •Распределенность терминов в суждениях
- •Сложные суждения и их логическая структура
- •Суждения ассерторические и модальные
- •Язык логики высказываний
- •Семантика логики высказываний
- •Понятие логического следования
- •Основные формально-логические законы
- •Раздел IV. Умозаключение
- •Понятие умозаключения
- •Дедуктивные умозаключения. Силлогистика
- •Непосредственные умозаключения
- •Обращение
- •Превращение
- •Противопоставление
- •Умозаключения по логическому квадрату
- •Простой категорический силлогизм (Умозаключение из двух посылок)
- •Правила терминов:
- •Правила посылок:
- •Энтимемы
- •Умозаключения из сложных суждений
- •Правдоподобные умозаключения
- •Раздел V. Теория доказательства
- •Аргументация
- •Состав доказательства
- •Виды доказательства
- •Ошибки доказательств
- •Приложение 1 Глоссарий
- •Приложение 2 Символы логики
- •Приложение 3
Простые суждения и их состав
Основными частями простого суждения являются:
1) один или несколько субъектов суждения (логических подлежащих) – термины, возможно выражающие понятия и представляющие предметы, о которых нечто в высказывании утверждается или отрицается.
2) предикат суждения (логическое сказуемое) – часть суждения, выражающая то, что утверждается (или отрицается) о предметах, которые представляют субъекты в суждении.
Например, «Солнце есть раскаленное небесное тело». Субъект – «солнце», предикат – «раскаленное небесное тело».
То есть найти субъект суждения, значит, ответить на вопрос «Что или кого хотят охарактеризовать в суждении?»
Соответственно для нахождения предиката суждения надо ответить на вопрос «Как, каким образом хотят охарактеризовать предметы, которые представляет субъект или субъекты?»
В зависимости от содержания предиката суждения, то есть того, что именно утверждается (или отрицается) о тех или иных предметах, различают суждения:
1) атрибутивные – утверждается или отрицается наличие некоторого свойства у предмета;
Например, «Адвокат есть лицо, занимающееся в виде профессии ведением чужих дел в судебных или административных учреждениях».
2) экзистенциальные (суждения существования) – утверждается или отрицается существование предмета;
Например, «Кентавров (существ, представляющих смесь лошади с человеком) не существует в действительности».
3) суждения об отношениях – утверждается или отрицается отношение между некоторыми предметами.
Например, «Нейроны человека контактируют друг с другом при помощи синапсов».
В атрибутивных суждениях, как и в суждениях существования, имеется всегда лишь один субъект. В суждениях об отношениях – более одного.
По характеру субъектов простые суждения делятся на единичные и множественные. В единичном суждении все термины, играющие роль субъектов, – единичные понятия. В множественном суждении, по крайней мере, один из субъектов представляет класс предметов. В последнем случае обязательными частями суждения, наряду с субъектами и предикатом являются также кванторные слова – «всякий», «некоторые», «многие», «какой-нибудь» и т.п. – для каждого из субъектов, представляющих класс предметов. Слова этого рода указывают, относится ли то, что утверждается или отрицается в суждении, ко всем предметам соответствующего класса или к какой-то его части: «Студент Иванов успешно сдал некоторые предметы сессии», «Все планеты Солнечной системы вращаются вокруг Солнца», «Некоторые студенты не знают ни одного из иностранных языков».
Наряду с указанными основными частями суждений (субъектами, предикатами, кванторыми словами) выделяют иногда в так называемых категорических суждениях в качестве самостоятельной части предицирующие связки двух типов: есть, не есть (суть, не суть; является, не является и т.п.) Термины этого вида являются указателем того, является ли суждение утвердительным или отрицательным.
Например, «Все металлы суть простые вещества», «Ни один металл не есть сложное вещество».
Категорические суждения
Термин «категорический» происходит от греческого слова «categoria», которое можно перевести на русский язык как «без сомнения, окончательно, безаппеляционно сказанный». В составе этих высказываний выделяют кванторные слова, предицирующие связки, субъект и предикат.
В каждом категорическом атрибутивном высказывании имеется два термина: субъект и предикат.
Субъект (S) – это термин, обозначающий те предметы, о которых в высказывании нечто утверждается или отрицается.
Предикат (P) – это термин, обозначающий то, что предицируется, утверждается или отрицается об этих предметах.
Например: «Сократ – мудрец.» Термин «Сократ» – субъект, а термин «мудрец» – предикат.
По количеству атрибутивные категорические высказывания делятся на единичные и множественные. В единичных высказываниях признак предицируется отдельному предмету и субъектом является единичный термин (имя). В множественных высказываниях признак предицируется предметам некоторого класса. Среди множественных выделяют общие и частные высказывания.
Общие высказывания содержат квантор общности, выражаемый словами «всякий», «каждый», «все» (для отрицательных высказываний часто используются слова «ни один»).
Например, «Все тигры полосатые».
Иногда используются синонимы этих слов: «Любой тигр является полосатым».
Если же квантор отсутствует, но субъект выражен при помощи слова, обозначающего общее понятие, то такое высказывание также является общим.
Например, «Человек – существо разумное».
К частным относятся высказывания, содержащие квантор существования, выражаемый словами «некоторый», «какой-либо», «некий» и др.
Необходимо обратить внимание на кванторное слово «некоторый», так как оно употребляется в двух различных смыслах:
«только некоторые»,
«по крайней мере некоторые».
Например, в выражении «Некоторые писатели – люди», употребляя это слово в первом смысле, мы вынуждены трактовать данное высказывание как ложное, так как в этом случае утверждается «Только некоторые писатели – люди», то есть предполагается существование таких писателей, которые людьми не являются, но это утверждение ложно. Поэтому мы будем употреблять слово «некоторые» во втором смысле – «по крайней мере некоторые», что означает: «утверждаемое или отрицаемое верно по крайней мере для одного предмета из класса S, а может быть, и для всех».
По качеству рассматриваемые высказывания делятся на утвердительные и отрицательные. Утвердительные высказывания указывают на факт наличия свойства, в них присутствует утвердительная предицирующая связка «есть», «является» и др. Отрицательные высказывания указывают на факт отсутствия свойства, в них присутствует отрицательная предицирующая связка «не есть», «не является», которая предицирует отсутствие некоторого признака у предметов.
Иногда в русском языке предицирующая связка заменяется тире, но зачастую она вообще не выражается, а только подразумевается. Например: «Человек – общественное животное».
Соответственно можно выделить следующие