Тесты по теме: «Понятие как форма логического мышления»

2.1. Понятие в формальной логике – это...

o множество отдельных предметов в мире, обладающих различными свойствами

þ логическая мысль о предмете, отражение предмета в его одном или нескольких существенных признаках

o мысленное расчленение объекта мысли на его элементы

o мысленное соединение в единое целое частей предмета

2.2. Содержание понятия – это…

o совокупность предметов, которая мыслится в данном понятии

o предметы, которые сходны друг с другом

o мысленное объединение отдельных предметов в некотором понятии

þ совокупность существенных признаков предмета, которая мыслится в данном понятии

2.3. Исходя из объёма и содержания, можно рассматривать такие виды понятий как…

þ конкретные и абстрактные

o логические и нелогические

þ общие, единичные и нулевые

o существенные и несущественные

2.4. Логика изучает отношение между понятиями по…

o родам и видам

þ содержанию и объёму

o признакам и средствам
o свойствам и назначению

2.5. Совместимыми называются понятия …

o которые выражают смысловое содержание совокупности предметов

o содержащие признаки, которые указывают на отношение одного понятия к другому

þ объёмы которых частично или полностью совпадают

o в которых мыслится множество предметов

2.6. Определением (или дефеницией) называется…

þ логическая операция, раскрывающая содержание понятия

o логическая операция, раскрывающая совокупность существенных признаков предмета

o логическая операция, раскрывающая объём понятия

o логическая операция, раскрывающая отношения между понятиями

2.7. Распределение предметов по группам (классам), где каждый класс имеет своё постоянное определённое место – это…

o типологизация

o дихотомическое деление

o обобщение предметов

þ классификация

2.8.Логическая операция, раскрывающая объём понятия, называется…

o суждением

o характеристикой

þ делением

o аргументацией

2.9. Положительными называются понятия, в которых отражаются признаки присущие…

o только объёму

þ только предмету

o объёму и содержанию

o только содержанию

2.10. Разновидностью круга в определении является…

o антоним

o круг Эйлера

þ тавтология

o софизм

2.11 Структура понятия включает следующие элементы…

þ содержание

o признаки

þ объём

o предметы

2.12 Множество предметов, каждому из которых принадлежат признаки, составляющие содержание этого понятия – это…

o соподчинённые понятия

o структура понятия

þ объём понятия

o характеристика понятия

2.13Понятия, не имеющие общих элементов объёмов, называются…

o собирательными

o противоречивыми

o противоположными

þ несовместимыми

Тема 3. Суждение и его виды.

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

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

Истинной называется мысль, соответствующая дей­ствительности. Ложной называется мысль, в которой не­верно, искаженно отражена действительность. Например, «железо тяжелее воды» - истинное суждение, а мысль что, «железо — цветной металл» является ложной, т.к. железо не относится к группе цветных металлов.

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

Простые суждения

Простым- называется суждение, состоящие только из одного суждения.

Среди простых суждений прежде всего выделяют атрибутивные (категорические) суждения, суждения об отношениях и суждения существования.

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

Субъектсуждения — это понятие о предмете сужде­ния. Понятие о признаке предмета, рассматриваемом в суждении, называется предикатомсуждения. Связка— это само утверждение или отрицание мыслимого в предика­те содержания.

Атрибутивные выражения выражаются формулой:

«S есть / не есть Р».

Атрибутивные (категорические) суждения делятся по качеству:на утвердительные и отрицательные, по количе­ству:на единичные, частные и общие. Принята объединен­ная классификация суждений по количеству и качеству:

Общеутвердительные суждения - (А): «Все S суть Р»;

Общеотрицательные суждения - (Е): «Ни одно S не есть Р».

Частноутвердительные суждения - (I): «Некото­рые S есть Р»;

Частноотрицательные суждения- (О): «Некото­рые S не есть Р».

Распределенность терминов в суждениях А, Е, I, О может быть представлена в виде следующей таблицы:

термины	виды суждения
	А	Е	I	О
S	+	+	-	-
Р	-	+	-	+

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

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

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

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

Выделяющие и исключающие суждения

Рассматривая деление суждений по количеству следу­ет обратить внимание на своеобразие выделяющих и ис­ключающих суждений.

В выделяющихсуждениях всегда что-либо утвержда­ется или отрицается только о предмете данного суждения.

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

В единичном выделяющемсуждении выделяющая характеристика относится к одному определенному предмету какого-либо класса предметов.

Например, «Лев Николаевич Толстой есть автор рома­на «Анна Каренина».

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

Например, «некоторые электропроводные тела, и толь­ко электропроводные тела, являются металлами».

В отличие от этого в определенном частновыделя­ющем суждениивыделяющая характеристика относится только к некоторым предметам известного класса.

Например, «Только некоторые люди, и только люди — врачи».

В общевыделяющем суждениивыделяющая харак­теристика относится к каждому предмету какого-либо клас­са.

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

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

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

Это суждение образовано как синтез двух частных суждений:»Некоторые общества являются классовыми» и «Некоторые общества не являются классовыми».

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

Сложные суждения

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

В соответствии с функциями логических связок основными видами сложных суждений являются :

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

2. разделительные (дизъюнктивные) - суждения, об­разованные посредством связи двух или нескольких простых суждений логическим союзом «или».

Существуют два вида разделительного логического союза «или»:

соединительно - разделительный (нестрогая дизъюнкция или просто дизъюнкция) - V;

исключающе — разделительный (строгая дизъюнкция) V.

3. условные (ипликативные) - сложные суждения, образованные при помощи логического союза «если.... то» →».

4. суждения эквивалентности — сложное суждение, образованное посредством связи двух или более суждений логическим союзом «если и только если...., то»,»тогда и только тогда..., когда...» =.

5. суждение с внешним отрицанием — это суждение, в котором утверждается отсутствие некоторой ситуации. Она чаще всего выражается предложением, начинающимся словосочетанием : «неверно, что». Внешнее отрицание обозначается символом « ┐», называемом знаком отрицания.

Отношения между суждениями. Логический квадрат

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

Важными видами отношений между суждениями по логическим формам являются отношения: совместимости по истинности, совместимости по ложности, логического следования, логической эквивалентности, подчинения, контрадикторности, контрарности, субконтрарности и логи­ческой независимости.

Отношение логической совместимости по истинностиимеет место между суждениями А и В, если и только если они могут быть одновременно ложными.

Отношение контрадикторности(противоречия): А-О, E-I. Эти суждения не могут быть одновременно ни истинными, ни ложными. Из истинности одного суждения следует ложность другого суждения, из ложности одного истинность другого. Выводы строятся по схемам: Аи → Ол; Ал→ Ои; Еи → Iл; Ел → Iи.

Отношение контрарности(частичной совместимос­ти): А - Е. противоположные суждения не могут быть одновременно истинными, но могут быть одновременно ложными. Из ложности одного суждения следует истин­ность другого, но из истинности одного из них может сле­довать как истинность, так и ложность другого суждения. Выводы строятся по схемам: Аи → Ел; Еи →Ал; Ал → Е? Ел -> А?

Отношение субконтрарности(частичной совместимости): I - О. Эти суждения могут быть одновременно истинными, но не могут быть одновременно ложными. Из ложности одного суждения следует истинность другого, но из истинности одного из них может следовать как истинность, так и ложность другого. Выводы строятся по схе­мам: Iл → Ои; Ол → Iи; Iи → О?; Ои → I?

Отношение подчинения:А - I, Е - О. Из истиннос­ти подчиняющего суждения следует истинность подчинен­ного суждения, но не наоборот: из истинности подчиненного суждения истинность подчиняющего суждения не следует, оно может быть истинным, но может быть и ложным.

Из ложности подчиненного суждения следует ложность подчиняющего суждения, но не наоборот.

Модальность суждений

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

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

Логически возможното, что не противоречит зако­нам логики обозначается ЛВ.

Естественно утверждать, что не все, что логически возможно, возможно фактически. Мы знаем, что жизнь на Луне невозможна (фактически), но утверждение: «На Луне есть жизнь» - не противоречит законам логики, следовательно логически возможно, что на Луне есть жизнь.

Фактически возможното, что не не противоречит законам природы и общественной жизни — ФВ.

Логически необходимото, что является законом логики — ЛН.

Фактически необходимызаконы природы и обще­ственной жизни и логические следствия из них - ФН.

Для обозначения логических модальных понятий используются следующие символы:

L - необходимо;

М - возможно;

С - случайно.

Для обозначения фактических модальных понятий используются следующие символы:

- необходимо;

- возможно;

- случайно.

По эпистемической модальностисуждения делят­ся на достоверные, выражаемые с помощью двух операто­ров: доказуемо - V, и опровержимо - F, проблематические суждения выражаются оператором - Р (проблематично).

Деонтическая модальностьвыражается с помощью операторов:

О - обязательно;

F - запрещено;

Р - разрешено.

Подлежащее исполнению действие обозначают симво­лом - d, участников правоотношения - Y, X и т.д.

Вопросы самоконтроля по теме:

Что такое суждение как форма мышления?

Назовите структурные элементы суждения.

Как соотносятся суждение и предложение?

Дайте характеристику деления суждений по содержанию предиката: свойства, с отношениями, существования.

Дайте характеристику деления суждений по качеству связки: утвердительные, отрицательные.

Дайте характеристику делению суждений по объему субъекта: общее, частное, единичное.

Дайте характеристику деления суждений по модальности.

Что такое объединенная классификация простых категорических суждений?

Дайте определение сложного суждения. Виды сложных суждений.

Что мы понимаем под распределенностью терминов?

Дайте характеристику отношения между суждениями по истинности.