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

Выражения делятся на классы с точки зрения смыслов и значения:

Предложения и части предложения.

• Предложения:

  • Выражающие суждения.

    • Индусы: мертвый человек сгорает на костре, а живой сгорает от забот.

  • Выражают вопросы.

  • Выражающие нормы.

  • Выражающие приказы.

  • …

• Части предложения:

  • Термины логические.

    • Союзы.

  • Термины не логические (дескриптивые - описательные):

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

      • Единичные и общие.

        • Единичные – единственный предмет.

        • Общие.

          • Например,

            • Университет.

            • Столица.

      • Действительные и общие.

        • Действительные – существуют в реальном мире.

          • Самая большая река.

        • Мнимые – не обозначают ни одного предмета.

Множество предметов, являющихся значением имени, называется объемом имени.

Употребление имен подчиняются принципам:

1. Принцип однозначности – выражения, выступающие в качестве единичного имени должно именем единственного предмета.

Лекция 2. Суждения

План лекции:

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

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

3. Виды отношений между суждениями.

4. Отрицание суждений.

Суждения. Определения лектор дать не может. Потому оно в основном состоит из перечисления и примеров.

Мысль, в которой выражается наличие какой-либо ситуации.

Суждения могут оцениваться как истинные или ложные.

Суждения делятся на простые и сложные.

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

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

Примеры:

1. Москва расположена в Европе – простое.

2. Все студенты – учащиеся – простое.

3. Москва больше Киева – простое.

4. Сейчас идет снег и дождь – сложное.

5. Если идет дождь крыша мокрая – сложное.

6. Возможно, что сейчас идет дождь – сложное. Отбросим «возможно, что» и получится опять суждение, значит сложное.

Виду суждений:

Атрибутивные

Атрибутивные\категорические - суждения свойств. Наличие\отсутствие свойств у предметов.

• Части атрибутивных суждений:

  • Субъект (логическое подлежащие (s)):

    • Все металлы(s) – электропроводящие вещества(P).

  • Предикат (P).

  • Связка.

  • Кванторные (количественные) слова – не во всех.

• Виды:

  • По качеству.

    • Утвердительные

    • Отрицательные.

  • По количеству.

    • Общие – о всех предметах.

    • Частные – о некоторых предметах (от 1 до всех).

    • Единичные – 1 предмет.

  • Общеутвердительный. Каждый S есть P.

    • A, S a P.

  • Частно утвердительный. Некоторый S есть P.

    • I, S i P.

  • Общеотрицательный. Каждый S не есть P.

    • E, S e P.

  • Частно отрицательный. Некоторый S не есть P.

    • O, S o P.

  • Единично утвердительный.

    • S есть P.

  • Единично отрицательный.

    • S не есть P.

Распределенность терминов в категорических суждениях.

Термин – субъект и предикат.

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

1. В общих и единичных суждениях распределены субъекты.

   • Общеутвердительный.

   • Общеотрицательный.

   • Единично утвердительный.

   • Единично отрицательный.

2. В отрицательных суждениях распределены предикаты.

   • Общеотрицательный.

   • Частно отрицательный.

   • Единично отрицательный.

3. Остальные термины не распределены.

Каждый студент знает, какой-либо иностранный язык - обще-частно утвердительное.

Некоторые студенты знают английский язык – частно-единичное утверждение.

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

Описательные суждения.

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