Деление суждений по модальности. Виды модальностей.

В логике суждения подразделяются на основании количества, качества, отношения и модальности.
С точки зрения модальности, то есть оценки отношения субъекта и предиката, суждения подразделяются на проблематические (вероятностные), ассерторические (утверждающие) и аподиктические (суждения долженствования).
Проблематические суждения содержат утверждения о предполагаемом отношении субъекта к предикату: Земля вероятно вращается вокруг Солнца
Ассерторические суждения содержат утверждение о действительном отношении субъекта к предикату: Земля вращается вокруг Солнца.
Аподиктические суждения содержат утверждение о необходимости отношения субъекта к предикату: треугольник не может иметь сумму углов, большую 180°.

Основные законы (принципы) логики (общая характеристика).

Закон – это устойчивая необходимая связь явлений объективного мира.

Связь суждений в процессе рассуждения.

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

Закон тождества. Закон достаточного основания.

Объем понятия или истинность суждения не должны меняться в процессе рассуждения.

Закон (не)противоречия.

запрещает конструкции в которых есть утверждение и отрицание одновременно. Это требование выражено тем, что мы отрицаем противоречие.

Дистантное противоречие –скрытое.

Закон исключенного третьего.

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

Два отрицания есть утверждение.

Этот закон эквивалентен принципу двузначности суждения, применяя этот закон мы вынуждены принять, что суждение либо истинно, либо ложно.

Значение основных законов (принципов) логики для построения правильных рассуждений.

Умозаключение как форма мышления.

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

Способность к логическому умозаключению существенно заключают два типа суждения:

Ситуативное(факты) и котигориальное(знания. Наличие логического следования)

Дедуктивные умозаключения (общая характеристика).

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

Непосредственные умозаключения и их виды.

Непосредственные умозаключения. Превращение и обращение.

Непосредственные умозаключения. Противопоставление.

Простой категорический силлогизм.

Широко распространенным видом опосредствованных умозаключений является простой категорический силлогизм, заключение в котором получается из двух категорических суждений. Например, из суждений: 1) «Обвиняемый (S) имеет право на защиту (Р)» и 2) «Гусев (S) — обвиняемый (Р)» следует заключение 3) «Гусев (S) имеет право на защиту (Р)», которое также представляет собой категорическое суждение.
Таким образом, простой категорический силлогизм состоит из трех категорических суждений, два из которых являются посылками, а третье—заключением.
Расчленим суждения, из которых состоит силлогизм, на понятия. Этих понятий три, причем каждое из них входит в состав двух суждений «Обвиняемый» — в 1-ю посылку как субъект и во 2-ю посылку как предикат; «имеет право на защиту» — в 1-ю посылку и в заключение как их предикаты; «Гусев» — во 2-ю посылку и в заключение как их субъекты.
В отличие от терминов суждения — субъекта (S) и предиката (Р) — понятия, входящие в состав силлогизма, называют терминами силлогизма. Различают меньший, больший и средний термины.
Меньшим термином силлогизма называется понятие, которое в заключении является субъектом (в нашем примере понятие «Гусев»). Большим термином силлогизма называется понятие, которое в заключении является предикатом («имеет право на защиту»). Меньший и больший термины называются крайними и обозначаются соответственно латинскими буквами S (меньший термин) и Р (больший термин)
Каждый из крайних терминов входит не только в заключение, но и в одну из посылок. Посылка, в которую входит меньший термин, называется меньшей посылкой, посылка, в которую входит больший термин, называется большей посылкой. В нашем примере большей посылкой будет первое суждение (1), меньшей — второе суждение (2).
Для удобства анализа силлогизма посылки принято располагать в определенной последовательности: большую — на первом месте, меньшую — на втором. Под чертой записывают заключение:
Обвиняемый имеет право на защиту
Гусев —обвиняемый
Гусев имеет право на защиту
Однако в рассуждении такой порядок необязателен. Меньшая посылка может находиться на первом месте, большая — на втором. Иногда посылки стоят после заключения.
Посылки различаются не их местом в силлогизме, а входящими в них терминами.
Вывод в силлогизме был бы невозможен, если бы в нем не было среднего термина. Средним термином силлогизма называется понятие, входящее в обе посылки и отсутствующее в заключении (в нашем примере — «обвиняемый»). Средний термин обозначается латинской буквой М (от латинского medios— «средний»).
Средний термин связывает два крайних термина. Отношение крайних терминов (субъекта и предиката) устанавливается благодаря их отношению к среднему термину. В самом деле, из большей посылки нам известно отношение большего термина к среднему (в нашем примере отношение понятия «имеет право на защиту» к понятию «обвиняемый») из меньшей посылки — отношение меньшего термина к среднему (понятия «Гусев» к понятию «обвиняемый»). Зная отношение крайних терминов к среднему, мы можем установить отношение между крайними терминами (понятиями «Гусев» и «имеет право на защиту»).
Таким образом, вывод из посылок оказывается возможным потому, что средний термин выполняет роль связующего звена между двумя крайними терминами силлогизма,
Поставив в нашем примере на место терминов суждения термины силлогизма, получим:
Обвиняемый (М) имеет право на защиту (Р)
Гусев (S)—обвиняемый (М)
Гусев (S) имеет право на защиту (Р)

Итак, простой категорический силлогизм — это умозаключение об отношении двух крайних терминов на основании их отношения к среднему термину.
Правомерность вывода, т.е. логического перехода от посылок к заключению, в категорическом силлогизме основывается на положении (аксиоме силлогизма): все, что утверждается или отрицается относительно всех предметов некоторого класса, утверждается или отрицается относительно каждого предмета и любой части предметов этого класса.