Истинно (или, как мы будем говорить, имеет значение «истинно»), а если эта ситуация отсутствует, то оно ложно
жүктеу/скачать 50.43 Kb.
|
| 1. Первый космонавт был гражданином СССР.
2. Некоторые космонавты – женщины. 3. Ни один космонавт не летал на Марс. «О ком или о чем идет речь?» – ответ на этот вопрос позволяет установить субъект суждения. В первом суждении речь идет об одном-единственном человеке, который выделен посредством единичного понятия «первый космонавт», и это понятие является субъектом данного суждения. Второе и третье суждения имеют одинаковый субъект, который выражен общим именем «космонавт». Ответ на вопрос «Что утверждается или отрицается в отношении объектов, мыслимых в субъекте?» приводит нас к установлению предиката суждения. В первом суждении таковым является общее понятие «гражданин СССР», во втором – «женщины», в третьем – «человек, летавший на Марс». Характеризовать – значит утверждать наличие либо отсутствие какого-то свойства у некоторого объекта (или объектов). В русском языке это можно сделать посредством логической связки «есть» (или «суть»), соответственно, сочетания «есть» с частицей «не» («не есть», «не суть»). Вместо слова «есть» употребляются нередко тире «–», слово «является», словосочетание «представляет собой» и т.п. Слова-связки могут употребляться не только в настоящем времени, но и в прошедшем (к примеру, «был») или будущем («будет»). Нередко связка вообще не фигурирует в явном виде, как это имеет место во втором суждении, однако сама логическая связь между субъектом и предикатом при этом не утрачивается. Предикат в суждениях 1. и 2. представлен общими именами «гражданин СССР» и «женщина». Однако так бывает не всегда. В частности, в суждении 3. к предикату относится неполное в грамматическом отношении выражение «летал на Марс». В таких случаях полезно восполнять грамматическую структуру предиката до соответствующей понятийной знаковой формы (в нашем случае эта структура примет вид выражения «человек, который летал на Марс»). Из примеров 1.-3. нетрудно усмотреть, что по характеру субъектов простые суждения делятся на единичные (первое суждение) и множественные (второе и третье суждения). В единичном суждении его субъект представлен единичным понятием, во множественном – общим. Во множественных суждениях, наряду с субъектом, предикатом и связкой, имеются также кванторные слова – «все» (т.е. «каждый», «любой», «всякий»), «некоторые» (т.е. «существуют», «иные», «многие», «большинство», «по меньшей мере, один»). Кванторы указывают, относится ли утверждение или отрицание ко всем выделяемым субъектом объектов, или только к части соответствующего множества. Простые суждения обычно называют категорическими, подчеркивая тем самым их отличие от сложных суждений, содержащих логические союзы «если, то», «или», «и» и др. В формулировке категорических суждений кванторное слово иногда опускается, как это имеет место в предложении «Металлы являются хорошими проводниками электрического тока». Однако содержащееся в нем утверждение относится ко всем металлам, а не к их части (т.е. к некоторым металлам) и не к одному какому-то (определенному) металлу. Отношения между субъектом и предикатом простого суждения можно также истолковать как отношение включения (или невключения) одного множества объектов (например, множества адвокатов), в другое множество (во множество юристов), или единичного объекта (например, Ю.А. Гагарина) в некоторое множество (например, граждан СССР). С учетом изложенного все простые суждения мы будем подразделять по двум основаниям: по качеству – на утвердительные и отрицательные; по количеству – на единичные, частные и общие. Суждение 1. является по качеству утвердительным, по количеству – единичным (а в целом – единичноутвердительным); суждение 2. – утвердительным и частным (частноутвердительным); суждение 3. – отрицательным и общим (общеотрицательным). Логику как науку иногда называют формальной логикой: те законы, принципы и правила, которые устанавливает данная наука, относятся не к конкретному содержанию наших понятий и суждений, а к их предельно общей структуре – логической форме. Логическую форму суждений в данном аспекте мы будем истолковывать как способ связи их основных частей (компонентов). В простых суждениях к этим частям относятся их субъекты и предикаты, а способ их связи представлен логическими связками и кванторными словами. Для краткой записи логической формы категорических суждений воспользуемся заглавными буквами латинского алфавита S, Р, Q и т.д. Эти символы (параметры) указывают только на логическую категорию соответствующих им выражений естественного языка, посредством чего происходит абстрагирование (отвлечение) от того, какие конкретно свойства и соответствующие им множества предметов они представляют. Рассмотрим следующую таблицу:
жүктеу/скачать 50.43 Kb. Достарыңызбен бөлісу:
|