|
|
ОглавлениеГлава 6. Индуктивные умозаключения. Методы научной индукции Глава 7. Традуктивные умозаключения и их разновидности Глава 8. Научные формы мысли. Проблема (вопрос), доказательство (опровержение), гипотеза и теория Для бесплатного чтения доступна только часть главы! Для чтения полной версии необходимо приобрести книгуГлава 4. СУЖДЕНИЕ КАК МЫСЛЬ, КОТОРАЯ ПО ПРИРОДЕ СВОЕЙ МОЖЕТ БЫТЬ ЛИБО ИСТИННОЙ, ЛИБО ЛОЖНОЙ. ПРОСТОЕ СУЖДЕНИЕ, ЕГО СТРУКТУРА, ВИДЫ, ОТНОШЕНИЯ И ОПЕРАЦИИ С НИМ. СЛОЖНОЕ СУЖДЕНИЕ, ЕГО РАЗНОВИДНОСТИ И ЗАКОНОМЕРНОСТИЧто такое суждение?Суждение — это мысль, в которой логически связаны два или более понятия. Поскольку понятие как элемент суждения уже известно, то в этой новой мыслительной структуре важно уточнить логическую связь, ибо она является для этой формы мысли самым важным ее элементом. Логические связи между понятиями — это, в сущности, отношения между ними, но выраженные более конкретно или категорично. Выразителями логических связей между понятиями выступают логические операторы. Логических операторов много, соответственно им различают простые категорические суждения, суждения отношения, а с учетом степени достоверности — суждения модальности. Известные отношения тождества, подчинения, частичного совпадения (пересечения, перекрещивания, сходства) могут быть выражены утвердительной логической связью. Например, отдельное понятие «студент» и понятие «учащийся» могут быть логически связаны так: «Студент есть учащийся». Отношения же противоречия, противоположности и соподчинения как несовпадающие выразимы, наоборот, отрицательным оператором: «Студент не есть профессор», «Умный не есть глупый» и пр. Как форма мысли, т. е. идеальное отражение чего бы то ни было, суждение нуждается в материальном (языковом, знаковом и пр.) выражении. Грамматической формой выражения суждения выступают повествовательные предложения. Однако не всякое предложение может быть истинным или ложным, следовательно, не всякое предложение может выражать суждение. Не выражают суждений, поскольку они не истинны и не ложны, вопросительные, побудительные, назывные и безличные предложения. Хотя они и являются формами мысли, но только не суждениями. Суждения при адекватном отражении предмета мысли и его свойства или признака истинны, при неадекватном отражении — ложны. Не занимаясь содержанием входящих в суждение понятий, логика тем не менее дает общую качественную характеристику суждения: суждения по содержанию могут быть либо истинными, либо ложными. Какова структура суждения?Признаки суждения и признаки предложения (знакового комплекса) не совпадают и не тождественны друг другу. Если предложение имеет такие составляющие его элементы, как подлежащее, сказуемое, дополнение, обстоятельства места, времени, причины и пр., то в суждении выделяются несколько иные составляющие: предмет мысли (логическое подлежащее), признак предмета мысли (логическое сказуемое), связка между ними (логическая связь) и количественный показатель предмета мысли (квантор). Важно, учитывая различные элементы суждения и повествовательного предложения, выработать определенный навык перевода грамматических форм (предложений) в адекватные им логические формы, что не всегда просто. Грамматически повествовательные предложения могут быть значительно сложнее адекватных им логических структур. Например: «В белом плаще с кровавым подбоем, шаркающей кавалерийской походкой, ранним утром 14 числа весеннего месяца нисана в крытую колоннаду между двумя крыльями дворца Ирода Великого вышел прокуратор Иудеи Понтий Пилат». Логической же формой этого пространного предложения будет главное — утверждение о том, что предмет этой мысли (прокуратор Иудеи Понтий Пилат) обладает таким-то свойством (вышел ранним утром в крытую колоннаду). В любом суждении можно выделить три главных элемента: два понятия, входящих в них, и логическую связь между ними. Более точное название элементов, входящих в суждение, зависит от вида суждений. В структуре простого категорического суждения (суждения действительности) можно выделить четыре элемента. Логическое подлежащее — это понятие, отражающее предмет (явление, процесс), на который направлено внимание, поэтому по-другому оно и называется предметом мысли. В терминологии логики, на ее языке этот элемент называется субъектом суждения и символически обозначается знаком — заглавной латинской буквой S. Логическое сказуемое — это понятие, которое отражает присущий или не присущий предмету мысли признак. Логическое сказуемое терминологически называется предикатом суждения и символически обозначается заглавной латинской буквой Р. Третий элемент суждения — связка — выражает отношение между субъектом и предикатом, между S и Р. В русском языке эта связь (как утвердительная, так и отрицательная) может быть выражена словами «есть», «суть», «является», «имеется», «не есть», «не суть», «не является», «не имеется» и пр. Этот элемент суждения в русском языке иногда пропускается. Так, вместо «Он есть добр» мы говорим: «Он добр», вместо, «Дуб есть дерево» говорим или пишем: «Дуб — дерево» и т. п. К сожалению не всегда между грамматическими и логическими формами имеется четкое соответствие, поэтому желательно выработать навык перевода особенно сложных грамматических выражений в адекватные им логические формы. Общепринятая формула простого категорического суждения: S — Р. Здесь тире обозначает логическую связь, и читается эта формула: «S есть (не есть) Р». Четвертый элемент, отражающий количественную характеристику субъекта суждения, — квантор — не всегда явно выразим, в некоторых случаях квантор лишь подразумевается, как в суждении «Студенты нашей группы любят спорт»: тут не ясно, все или только некоторые студенты группы любят спорт, а данное обстоятельство может иметь существенное значение при дальнейшем использовании и анализе суждения. Поэтому весьма важно уметь уточнять этот логический показатель. Различают два вида кванторов: квантор общности и квантор существования. В грамматической форме квантор общности выражается словами «все», «без исключения», «всякий», «каждый» и т. п. (например: «Все S суть Р» или «Все S не есть Р»); квантор существования — словами «некоторые», «многие», «часть», «большинство» и др., например: «Часть S есть Р», «Некоторые S не есть Р», «Существуют такие S, которые обладают свойством Р» и т. п. Символическое обозначение квантора общности — перевернутая заглавная буква А (сверху вниз) — ∀, квантора существования — перевернутая заглавная буква Е (справа налево) — ∃. В традиционном курсе логики обычно используют и рассматривают только квантор субъекта простого категорического суждения. Однако правомерно квантифицировать и предикат. Обстоятельную такую попытку предпринял в начале XIX в. шотландский логик У. Гамильтон (1788—1856) в своих «Лекциях по метафизике и логике». Он предложил уточняющие формулировки кванторов как для субъекта суждения, так и для предиката, и у него вместо обычных четырех простых категорических суждений набралось восемь: «Все S суть все Р», «Все S суть некоторые Р», «Ни одно S не есть ни одно Р», «Ни одно S не есть некоторые Р», «Некоторые S есть некоторые Р», «Некоторые S есть все Р», «Некоторые S не суть некоторые Р», Некоторые S не суть ни одно Р». Квантификация предиката как показатель стремления к точности и строгости понятна и оправданна, но в традиционном курсе логики квантификация предиката — скорее усложняющий элемент, чем просветляющий, и ее обычно не используют. Поскольку в любом суждении логические связи устанавливают отношения между крайними составляющими эту структуру элементами, постольку всякое суждение может считаться суждением отношения. В более строгом, или узком, значении слова суждениями отношения называют лишь те, в которых устанавливаются зависимости между причиной и следствием, между частью и целым, между частью и частью, а также пространственные, временные и др. Эти зависимости (отношения) выразимы в языке словами (операторами, функторами): «больше», «меньше», «старше», «младше, «правее», «левее», «выше», «ниже», «южнее», «севернее», «восточнее» и пр. Так как в суждениях отношения не выделяются субъект и предикат, то понятия, входящие в эти суждения, называются элементами отношения и различаются по месту относительно логической связи, или относительно логического оператора: предшествующий элемент отношения, последующий элемент отношения; левый элемент отношения или правый элемент отношения. Символическая запись суждения отношения «bRc» читается: «b и с находятся в отношении R» или «b находится в отношении R к с». Например: «Нева полноводнее Дона», «Отец старше сына», «5 больше 3» и т. п. Свойства, зависимости и особенности этих отношений – предмет специального раздела современной формальной (символической) логики, вооруженной специальными средствами исследования (математическими методами, исчислениями), помогающими рассмотреть многообразие зависимостей и связей, следствий этих отношений. Наиболее общие закономерные свойства, присущие отношениям, это симметричность (коммутативность), когда «в = с» и, соответственно, «с = в»; когда «в + с = с + в», или когда «в × с» равно «с × в»; ассиметричность, когда «в > с»; а соответственно «с<в», транзитивность, когда «в > с», а «с > d», то и «в > d»; рефлексивность, когда при «в = с» «в = в», а «с = с» и т. п. Особенности модальных суждений, суждений степени достоверности, отображаются логическими операторами (функторами), в языке выразимыми словами «необходимо», «возможно» и пр. Поскольку сложные суждения состоят из нескольких простых, то в них при одном субъекте может быть несколько предикатов, при одном предикате — несколько субъектов или и субъектов, и предикатов может быть несколько. Сколько существует видов простых суждений, или что такое аподиктические, ассерторические и проблематические суждения?Среди простых суждений различают суждения отношения, суждения модальности, суждения существования и выделяющие суждения. Суждения модальности, в свою очередь, подразделяются на суждения действительности (ассерторические), необходимости (аподиктические) и возможности (проблематические). Модальность — это, можно сказать, степень достоверности содержания того или иного простого суждения. Понятное дело, что суждения необходимости выражают закон, норму. Они могут отражать прошлое, настоящее и будущее, т. е. могут быть истинными как для прошлого, так и для будущего: «Необходимо, что S есть Р», «Необходимо, что кислород способствует горению», или «Кислород необходимо способствует горению», или «Сумма внутренних углов треугольника на плоскости необходимо равна двум прямым», и т. п. Внимание! Авторские права на книгу "Логика в вопросах и ответах. Учебное пособие" (Кобзарь В.И.) охраняются законодательством! |
||||||||||||||||||||||
