Форма входа

Поиск

Календарь

«  Сентябрь 2024  »
ПнВтСрЧтПтСбВс
      1
2345678
9101112131415
16171819202122
23242526272829
30

Статистика


Онлайн всего: 1
Гостей: 1
Пользователей: 0




Четверг, 19.09.2024, 03:56
Приветствую Вас Гость | RSS
Алгебра логики
Главная | Регистрация | Вход
Лекция 2. Понятие. Суждение. Умозаключение.


СУЖДЕНИЕ.

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

Пример:

  • У котов есть усы - суждение.
  • Кот и усы - не суждение.
   Не выражают суждений, т.е. не отражают ни истины, ни лжи, и не устанавливают логических отношений между несколькими понятиями, вопросительные, побудительные, назывные и безличные предложения. Хотя они и являются формами мысли, но суждениями признаны быть не могут.

   Суждения при адекватном отражении предмета мысли и его свойства, или признака - истинны, при неадекватном отражении - ложны.

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

   В суждении обычно выделяют следующие составляющие:

  • предмет мысли (логическое подлежащее). Логическое подлежащее — это понятие, отражающее предмет (явление, процесс), на который направлено внимание мыслящего, поэтому оно и называется предметом мысли. В терминологии логики, на ее языке этот элемент называется субъектом суждения и символически обозначается символом - заглавной латинской буквой «S».
  • признак предмета мысли (логическое сказуемое). Логическое сказуемое — это понятие, которое отражает присущий или не присущий предмету мысли признак. Логическое сказуемое терминологически называется предикатом суждения и символически обозначается заглавной буквой «Р» латинского алфавита.
  • связка между ними (логическая связь) и количественный показатель предмета мысли (квантор). Связка - выражает отношение между субъектом и предикатом, между «S» и «Р». Связка выразима в русском языке словами «есть» - «не есть», «суть» - «не суть», «является» - «не является», «имеется» - «не имеется» и пр. Этот элемент суждения в русском языке зачастую просто опускается. Так, вместо «Он есть добр» мы говорим «Он добр», вместо «Дуб есть дерево» — «Дуб — дерево» и т.п.
   Используя символику, любое простое суждение можно записать в виде формулы «S-P», где тире между субъектом суждения «S» и предикатом «P» будет обозначать связку, логическую связь, отношение между ними.

   ВИДЫ СУЖДЕНИЙ.

По числу субъектов и предикатов
Простые - те, в которых связь устанавливается между одним субъектом и одним предикатом.
Пример: «собака - друг человека», «у кошки четыре лапы», «инопланетяне существуют» и т.д.
Сложные-это такие суждения, в которых логическая связь устанавливается между несколькими простыми суждениями.
Пример: «я прогулял уроки и написал реферат», «дождь пошел, а снега нет» и т.д.


По качественной характеристике связки-отношения
действительности (ассерторические)необходимости (аподиктические)возможности (проблематические)существования (экзистенциальные)
Это суждения, которые адекватно иди неадекватно, но все равно категорично отражают настоящее.
Связки:
  • есть;
  • не есть;
  • суть;
  • не суть;
  • др.
«S есть P»

Пример: «хвойное дерево есть ель», «собака не есть насекомое» и т.д.
Данные суждения могут отражать прошлое, настоящее и будущее.
Оператор:
  • необходимо.
«S необходимо P»

Пример: «необходимо, что кислород способствует горению» или «кислород необходимо способствует горению», «необходимо, что сумма внутренних углов треугольника 360º» и т.д.
Отражают то, что могло быть в прошлом, может быть в настоящем или в будущем.
Оператор:
  • возможно;
  • вероятно;
  • др.
«Возможно, что S есть P»

Пример: «вероятно, что завтра будет дождь», «возможно, что он был обманут» и т.д.
Данный вид суждений утверждает существование того или иного предмета (явления, процесса).

Пример: «Жизнь существует», «Солнце есть» и т.п.

суждения модальности

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



1   2   3


информатика и логика 2024