7. Формальная логика как наука. Логика и юриспруденция.

Логика (др.-греч. λογική — раздел философии, «наука о правильном мышлении», «искусство рассуждения» от λόγος — «речь», «рассуждение», «мысль») — наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это знание получено разумом, логика также определяется как наука о формах и законах правильного мышления. Поскольку мышление оформляется в языке в виде рассуждения, частными случаями которого являются доказательство и опровержение, логика иногда определяется как наука о способах рассуждения или наука о способах доказательств и опровержений. Логика как наука изучает способы достижения истины в процессе познания опосредованным путём, не из чувственного опыта, а из знаний, полученных ранее, поэтому её также можно определить как науку о способах получения выводного знания.

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

Логика служит одним из инструментов почти любой науки.

8. Простой категорический силлогизм. Фигуры силлогизма. Специальные правила фигур. Модусы силлогизма.

Простой категорический силлоги́зм (греч. συλλογισμός) — рассуждение мысли, состоящее из трёх простых атрибутивных высказываний: двух посылок и одного заключения. Посылки силлогизма разделяются на бо́льшую (которая содержит предикат заключения) и меньшую (которая содержит субъект заключения). По положению среднего термина силлогизмы делятся на фигуры, а последние по логической форме посылок и заключения — на модусы.

Пример силлогизма:

Всякий человек смертен (бо́льшая посылка)

Сократ — человек (меньшая посылка)

------------

Сократ смертен (заключение)

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

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

І фигура.

В первой фигуре средний термин является субъектом меньшей посылки и предикатом большей.

Пример первой фигуры:

Все студенты 2 курса (M) семинарии успевают (P);

Иванов (S) является студентом 2 курса семинарии (M);

Следовательно, Иванов (S) является успевающим студентом (P).

II фигура.

Во второй фигуре средний термин является предикатом в обеих посылках.

Пример второй фигуры:

Все студенты 2 курса (P) успевают (M);

Иванов (S) не успевает (M);

Следовательно, Иванов (S) не является студентом 2 курса (P).

III фигура.

B третьей фигуре средний термин является субъектом в обеих посылках.

Пример третьей фигуры:

Все студенты 2 курса (M) успевают (P);

Все студенты 2 курса (M) поют в хоре (S):

Следовательно, некоторые, поющие в хоре (S), являются успевающими студентами (P).

IV фигура.

В четвертой фигуре средний термин является предикатом большей посылки и субъектом меньшей.

Пример четвертой фигуры:

Все студенты 2 курса (P) успевают (M);

Ни один успевающий студент (M) не пересдает экзамены (S):

Следовательно, ни один пересдающий экзамены студент (S) не есть студент 2 курса (P).

Модус – это определенные сочетания видов суждений в фигурах силлогизма. Всего возможно 256 модусов.