Основные семантические категории выражений языка.

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

Семантическая категория – это класс выражений с однотипными предметными значениями, при этом включающий все выражения с предметным значением данного типа.

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

Имена – слова и словосочетания, являющиеся знаками предметов.

Предикаторы – выражения языка (слова и словосочетания), предметными значениями которых являются свойства (одноместные предикаторы) и отношения (многоместные предикаторы).

Свойствами в современной логике называют характеристики отдельных предметов («белый», «странный», «иметь спинку», «ходить» и т.п.). Отношения – это связь между двумя и более предметами («находиться между», «быть братом», «быть больше», «знать лучше, чем» и т.п.). Таким образом, отношения представляют собой характеристики не отдельных предметов, а некоторых систем предметов

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

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

Логические термины (логические константы) – это знаки логических отношений «и», «или», «если…, то…», «неверно, что» и операций «всякий», «существует» («некоторые»), «тот…, который…».

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

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

6. Суждение. Простые суждения: атрибутивные и суждения об отношениях.

Суждение (высказывание) – это форма мышления, в которой что-либо утверждается или отрицается. Например: «Все сосны являются деревьями», «Некоторые люди – это спортсмены»

Рассмотрим несколько важных свойств суждения, которые в то же время отличают его от понятия:

1. Любое суждение состоит из понятий, связанных между собой.

2. Любое суждение выражается в форме предложения (вспомним, понятие выражается словом или словосочетанием). Однако не всякое предложение может выражать суждение.. В вопросительных и восклицательных предложениях ничего не утверждается и не отрицается, поэтому они не могут выражать собой суждение.

3. Любое суждение является истинным или ложным. Если суждение соответствует действительности, оно истинное, а если не соответствует – ложное.

4. Суждения бывают простыми и сложными. Сложные суждения состоят из простых, соединённых каким-либо союзом.

Неудивительно поэтому, что суждение имеет определённую структуру, в которой можно выделить четыре части:

1. Субъект (обозначается латинской буквой S) – это то, о чём идёт речь в суждении. Например, в суждении: «Все учебники являются книгами», – речь идёт об учебниках, поэтому субъектом данного суждения выступает понятие «учебники».

2. Предикат (обозначается латинской буквой Р) – это то, что говорится о субъекте. Например, в том же суждении: «Все учебники являются книгами», – о субъекте (об учебниках) говорится, что они – книги, поэтому предикатом данного суждения выступает понятие «книги».

3. Связка – это то, что соединяет субъект и предикат. В роли связки могут быть слова «есть», «является», «это» и т. п.

4. Квантор – это указатель на объём субъекта. В роли квантора могут быть слова «все», «некоторые», «ни один» и т. п.

Как правило, все суждения подразделяют на три вида:

1. Атрибутивные суждения (от лат. attributum – атрибут) – это суждения, в которых предикат представляет собой какой-либо существенный, неотъемлемый признак субъекта. Например, суждение: «Все воробьи – это птицы», – атрибутивное, потому что его предикат является неотъемлемым признаком субъекта: быть птицей – это главный признак воробья.

2. Экзистенциальные суждения (от лат. existentia – существование) – это суждения, в которых предикат указывает на существование или несуществование субъекта. Например, суждение: «Вечных двигателей не бывает», – является экзистенциальным, т. к. его предикат «не бывает» свидетельствует о несуществовании субъекта (вернее –предмета, который обозначен субъектом).

3. Релятивные суждения (от лат. relativus – относительный) – это суждения, в которых предикат выражает собой какое-то отношение к субъекту. Например, суждение: «Москва основана раньше Санкт-Петербурга»,– является релятивным, потому что его предикат «основана раньше Санкт-Петербурга» указывает на временное (возрастное) отношение одного города и соответствующего понятия к другому городу и соответствующему понятию, представляющему собой субъект суждения.

. Общеутвердительные суждения (обозначаются латинской буквой A) – это суждения с общим объёмом субъекта и утвердительной связкой: «Все S есть Р». Например: «Все школьники являются учащимися».

2. Частноутвердительные суждения (обозначаются латинской буквой I) – это суждения с частным объёмом субъекта и утвердительной связкой: «Некоторые S есть Р». Например: «Некоторые животные являются хищниками».

3. Общеотрицательные суждения (обозначаются латинской буквой E) – это суждения с общим объёмом субъекта и отрицательной связкой: «Все S не есть Р (или «Ни одно S не есть Р»). Например: «Все планеты не являются звёздами», «Ни одна планета не является звездой».

4. Частноотрицательные суждения (обозначаются латинской буквой O) – это суждения с частным объёмом субъекта и отрицательной связкой: «Некоторые S не есть Р». Например: «Некоторые грибы не являются съедобными».

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

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

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

Сложные суждения отличаются от простых также по своим функциям и структуре. Их функции носят более сложный характер, так как в них раскрывается не одна, а одновременно несколько – две или более – связей между предметами мысли. Их структура тоже характеризуется большей сложностью, обретая новое качество. Основными структурообразующими элементами здесь выступают уже не понятия-термины (субъект и предикат), а самостоятельные суждения (причем их внутренняя субъектно-предикатная структура уже не учитывается). И связь между ними осуществляется не с помощью связки “есть” (“не есть”), а в качественно иной форме – посредством логических союзов (они называются также логическими связками). Это такие союзы, как “и”, “или”, “либо”, “если... то” и др.

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

1. Конъюнктивное суждение (конъюнкция) – это сложное суждение с соединительным союзом «и», который обозначается в логике условным знаком «▫». С помощью этого знака конъюнктивное суждение, состоящее из двух простых суждений, можно представить в виде формулы: a ▫ b (читается «a и b»), где a и b – это два каких-либо простых суждения. Например, сложное суждение: «Сверкнула молния, и загремел гром», – является конъюнкцией (соединением) двух простых суждений: «Сверкнула молния», «Загремел гром». Конъюнкция может состоять не только из двух, но и из большего числа простых суждений. Например: «Сверкнула молния, и загремел гром, и пошёл дождь (a ▫ b ▫ c)».

2. Дизъюнктивное суждение (дизъюнкция) – это сложное суждение с разделительным союзом «или». Вспомним, что, говоря о логических операциях сложения и умножения понятий, мы отмечали неоднозначность этого союза – он может использоваться как в нестрогом (неисключающем) значении, так и в строгом (исключающем). Неудивительно поэтому, что дизъюнктивные суждения делятся на два вида:

1. Нестрогая дизъюнкция – это сложное суждение с разделительным союзом «или» в его нестрогом (неисключающем) значении, который обозначается условным знаком «v». С помощью этого знака нестрогое дизъюнктивное суждение, состоящее из двух простых суждений, можно представить в виде формулы: a v b (читается «a или b»), где a и b – это два простых суждения. Например, сложное суждение: «Он изучает английский, или он изучает немецкий», – является нестрогой дизъюнкцией (разделением) двух простых суждений: «Он изучает английский», «Он изучает немецкий». Эти суждения друг друга не исключают, ведь возможно изучать и английский, и немецкий одновременно, поэтому данная дизъюнкция является нестрогой.

2. Строгая дизъюнкция – это сложное суждение с разделительным союзом «или» в его строгом (исключающем) значении, который обозначается условным знаком «». С помощью этого знака строгое дизъюнктивное суждение, состоящее из двух простых суждений, можно представить в виде формулы: a b (читается «или a, или b»), где a и b – это два простых суждения. Например, сложное суждение: «Он учится в 9 классе, или он учится в 11 классе», – является строгой дизъюнкцией (разделением) двух простых суждений: «Он учится в 9 классе», «Он учится в 11 классе». Обратим внимание на то, что эти суждения друг друга исключают, ведь невозможно одновременно учиться и в 9, и в 11 классе (если он учится в 9 классе, то точно не учится в 11 классе, и наоборот), в силу чего данная дизъюнкция является строгой.

3. Импликативное суждение ( импликация) – это сложное суждение с условным союзом «если … то», который обозначается условным знаком «→». С помощью этого знака импликативное суждение, состоящее из двух простых суждений, можно представить в виде формулы: a → b (читается «если a, то b»), где a и b – это два простых суждения. Например, сложное суждение: «Если вещество является металлом, то оно электропроводно», – представляет собой импликативное суждение (причинно-следственную связь) двух простых суждений: «Вещество является металлом», «Вещество электропроводно»

4. Эквивалентное суждение (эквиваленция) – это сложное суждение с союзом «если … то» не в его условном значении (как в случае с импликацией), а в тождественном (эквивалентном). В данном случае этот союз обозначается условным знаком «», с помощью которого эквивалентное суждение, состоящее из двух простых суждений, можно представить в виде формулы: a b (читается «если a, то b, и если b, то a»), где a и b – это два простых суждения. Например, сложное суждение: «Если число является чётным, то оно делится без остатка на 2», – представляет собой эквивалентное суждение (равенство, тождество) двух простых суждений: «Число является чётным», «Число делится без остатка на 2».

5. Отрицательное суждение (отрицание) – это сложное суждение с союзом «неверно, что…», который обозначается условным знаком «». С помощью этого знака отрицательное суждение можно представить в виде формулы: a (читается «неверно, что a»), где a – это простое суждение. Здесь может возникнуть вопрос – где же вторая часть сложного суждения, которую мы обычно обозначали символом b? В записи: a, уже присутствуют два простых суждения: a – это какое-то утверждение, а знак «» – его отрицание. Перед нами как бы два простых суждения – одно утвердительное, другое – отрицательное. Пример отрицательного суждения: «Неверно, что все мухи являются птицами».

Не нашли, что искали? Воспользуйтесь поиском: