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

— связка устанавливает отношения между субъектом и преди­катом суждения.

Обычно связка выражается словами "есть" или "не есть".

Вопрос 4. ФОРМЫ СУЖДЕНИЯ.

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

Напомним еще раз о том, что суждение — это форма мысли. Но так как человеческая мысль выражается на любом языке пове­ствовательно, восклицательно и во-просительно, то эти три вида будут формами суждения. То есть, суждения могут быть повествова­тельными, восклицательными и вопросительными.

Вопрос 5. ВИДЫ СУЖДЕНИЯ.

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

а) качественно-количественные характеристики суждения:

— Утвердительные и отрицательные суждения. Здесь надо по­нять одну простую вещь, что утверждение одного есть от­рицание другого в рамках данной мысли.

Пример: Утверждение "Эта картина превосходна" означает одно-временно отрицание "Эта картина не является не превосходной".

— Единичные, частные и общие суждения. Здесь имеются ввиду количе­
ственные характеристики суждения. То есть, шгда в суждении нетто утверждается или отрицается об одном предмете, о части предметов, о некотором классе предметов.

— Единичные суждения — это такие, в которых нечто утверж­дается либо отрицается об одном предмете.

Пример: "Аристотель был учителем Александра Ма­кедонского".

— Частные суждения — это такие, в которых говорится о принадлежности или непринадлежности признака некоторым предметам определенного множества предметов.

Пример: "Некоторые русские философы являются философами мирового значения", "Некоторые гис­тологи имеют биологическое образование".

— Общие суждения — это такие суждения, в которых выра­жается принадлежность или непринадлежность признака всему классу рассматриваемых предметов. Схема таких суж­ дений: все S есть (не есть) Р.

Пример: "Все люди пользуются равными правами".

— Обобщенные суждения — это также качественно-количественная характеристика суждения, подразделяемая на 4 вида: общеутвердительные, общеотрицательные, частно-утвердительные и частноотрицательные суждения. Их при­нято обозначать следующими буквами:

общеутвердительные — А,

частноутвердительные — I (из латинского AFFIRMO — утверждаю),

общеотрицательные — Е,

частноотрицательные — О (из латинского NEGO — отрицаю).

Иногда записывают и так: S_aP, S_;P, S_eP, S_oP.

б) Формально-логические характеристики суждения.

Эта сторона суждения имеет сложную структуру:

— сравнимые и несравнимые суждения.

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

NB: в целях правильного оперирования суждениями А, I, Е, О в логических процедурах и операциях важно учитывать то, что получило название "распределенное терминов суждений".

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

Так в утвердительных суждениях субъект, как правило, рас­пределен. Поэтому единичные суждения, в которых субъект есть еди­ничный термин (взятый в полном объеме), должны квалифициро­ваться как А или Е.

Сравнимые суждения бывают совместимыми и несовместимы­ми.

В свою очередь совместимость суждений включает три вида от-ношений:

— эквивалентность (полная совместимость),

— субконтрарность (частичная совместимость),

— логическое подчинение (следование).
Несовместимость бывает двух разновидностей:

— противоположность (контрарность),

— противоречие (контрадикторность).

Это хорошо видно на так называемом логическом квадрате. Отношение подчинения (А — І, А — О) говорит о том, что из

 

контрарность

 

А С

 

 

 

контрарность

подчинение

 

 

 

I контрарность О

 

истинности подчиняющего суждения (А или Е) следует истинность подчиненного (I или О соответственно) суждения.

Отношение контрарности (А — Е) предполагает, что данные суждения не могут одновременно быть истинными, однако, они могут одновременно быть ложными.

Отношение субконтрарности (I — О) утверждает, что между суждениями данного вида установлено такое отношение, при кото­ром они могут быть одновременно ложными.

Отношение кошредикторносш (А — О, Е — I) возникает между суждени­ями, рашічающшиет качеством и количеству одно из суждений истинно, то другое обязательно ложно, и наоборот.

в) Простые суждения подразделяются на атрибутивные суж­дения, суждения отношения и суждения существования:

- атрибутивное — это суждение о признаке предмета, где признак утверждается либо отрицается;

- суждение с отношением — это такое, в котором ображаються отношения между предметами; при этом отношения могут быть самого различного толка.

- суждения существования — это экзистенциальные сужде­ния, где утверждается или отрицается сам факт существо­вания некоторого предмета.

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

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

 

ЛЕКЦИЯ 29

УМОЗАКЛЮЧЕНИЕ

План: