50) Суждения. Модальные и категорические суждения

Суждения- это форма рационального мышления, которое описывает связь между понятиями (фиксирование некоторого утверждения между понятиями)

Универсум рассуждения

1. Категорические суждения. Связь между понятиями либо утверждается, либо отрицается. 0 или 1

2. Модальное суждение. Связь между понятиями либо усиливается, либо ослабевает (обязательно, возможно, разрешено,..)

-Юридическая модальность

-«Нечеткая логика», основана на нечетких понятиях. Любые от 0 до 1

- Многозначная логика-логика с несколькими значениями истинности. (да (2), нет(0), может быть(1))

51) Простые категорические суждения

Простые –если в нем нельзя выделить более простые, элементарные суждения. Структура ПКС:

- субъект (S)-понятие в котором фиксируется предмет мысли.

- предикат (Р)- понятие, фиксирующие атрибуты, свойства, характеризующие понятия

-логическая связка-часть мысли, в которой утверждается или отрицается наличие связи между суждениями («есть», «не есть»)

- квантор- часть мысли, которая показывает, в каком объеме берется понятие, стоящие на месте субъекта.

Классификация:

1.по количеству: -общие, -частные, -единичные.

2. по качеству:- утвердительные, - отрицательные

Суждения:

-общеутвердительными А:SаР (все S есть Р)

-Частноутвердительными I: SiР (некоторое S есть Р)

- Общеотрицательными Е: SеР (не одно S не является Р)

-Частноотрицательными О: SоР (некоторое S не является Р)

52) Семантика простого категорического суждения

Семантика, или смысл, ПКС рассматривается на основе анализа понятий суждений с учетом всевозможных отношений между ними на некотором универсуме рассуждения. Располагая информацией об истинности или ложности одного суждения, можно установить, каким будет другое суждение.

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

Таблица отношений

№	отношение	Тип суждений
		А	I	E	O
1		1	1	0	0
2		1	1	0	0
3		0	0	1	1
4		0	1	0	1
5		0	1	0	1

Логический квадрат- это граф в котором представлены отношения между суждениями.

54) Виды умозаключений

Умозаключение- это такая форма рационального мышления в которой фиксируется связь между суждениями. Виды:1. дедуктивное (переход от более общих к частным суждениям):-непосредственные (1 посылка и вывод), - опосредованные (2 и более посылок)

2. индуктивное (движение от менее общего к более общему) а) по некоторой конечной, обозримой области фактов. б) не полная, не обозримая мат. Статистика. в) бесконечное мн-во мат. индукция

55) Непосредственное умозаключение. Таблица непосредственных суждений

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