Общая логика

объективная логика и для закономерностей мышления — его последовательности, непротиворечивости, обоснованности - это субъективная логика, логика мышления.

Логика мышления есть своеобразное отражение логики вещей.
Логика — наука о законах и формах, приемах и операциях мышления, с помощью которой человек познает окружающий мир.

Особенности, которые следует учитывать при изучении логики.
Логика — абстрактная наука. Изучая законы и формы мышления, она отвлекается от конкретного содержания мыслей, выявляя форму, в которой оно существует. Т.е., логика изучает связь мыслей, то общее, что свойственно для мыслей независимо от их конкретного содержания.
Специальная терминология. В логике — это слова преимущественно из греческого и латинского языков. Например, «аналогия», «гипотеза», «абстракция», «дедукция», «индукция». Этих терминов сравнительно немного, но в процессе изучения курса следует усвоить их значение.
Изучение логики не сводится к усвоению теории. Важно применять логические законы, правила и операции на практике, в процессе рассуждения.
Усвоению логики вредит поспешность. Нужно помнить, что «в водах логики нельзя плыть с полными парусами».

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

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

образованию понятия с меньшим объемом, и наоборот, уменьшение содержания понятия ведет к увеличению его объема.

http://www.tsure.ru/University/Faculties/Femp/tp

содержание

содержание

понятий

объемом, но с бóльшим содержанием к понятию с бóльшим объемом, но с меньшим содержанием.
Пример:
Министерство юстиции России
министерство юстиции
министерство

Минюст
России

Минюст

министерство

объемом, но с меньшим содержанием к понятию с меньшим объемом, но с бóльшим содержанием.
Пример:
порча земли (D)
экологическое преступление (C)
преступление (B)
деяние (A)

B

A

C

D

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

Правила определения понятий
Определение должно быть соразмерным, т. е. определяемое и определяющее понятия должны иметь одинаковый объем.
2. Определение не должно заключать в себе круга. Нарушение этого правила ведет к логической ошибке под названием тавтология, когда определяющее понятие лишь повторяет определяемое.
3. Определение должно быть четким и ясным. Нарушение этого правила ведет к двусмысленности определений.
4. Определение положительного понятия не должно быть отрицательным.

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

Правила деления понятий
Деление должно быть соразмерным, т. е. общий объем членов деления должен равняться объему делимого родового понятия.
Деление должно производиться только по одному основанию. В процессе деления избранный в качестве основания признак должен оставаться одним и тем же и не подменяться другим признаком.
Члены деления должны взаимно исключать друг друга. Каждый отдельный предмет должен находиться в объеме только одного понятия и не входить в объемы других понятий.
4. Деление должно быть непрерывным (последовательным). В процессе деления родового понятия нужно переходить к ближайшим видам, не пропуская их. Нельзя переходить к подвидам, минуя непосредственно видовые понятия.

или отношение между понятиями и которая может быть либо истинной, либо ложной.
Истинные (1) – это такие суждения, в которых связь понятий правильно отражает реальные свойства и объективную действительность.
Ложные (0) – это такие суждения, в которых связь понятий искажает объективную действительность.

СУЖДЕНИЯ

ПРОСТЫЕ

СЛОЖНЫЕ

АТРИБУТИВНЫЕ

СУЖДЕНИЯ С ОТНОШЕНИЯМИ

СУЖДЕНИЯ СУЩЕСТВОВАНИЯ (ЭКЗИСТЕНЦИАЛЬНЫЕ)

предмета.
Атрибутивное суждение состоит из субъекта (S), предиката (P) и связки «–» (логическая схема S – P).
Субъектом (S) называется понятие о предмете суждения.
Предикатом (P) называется понятие о признаке предмета. Связка выражает отношение между субъектом и предикатом.
Субъект и предикат называются терминами суждения.

Суждения с отношениями – это суждения, отражающие отношения между предметами.
Это могут быть отношения равенства, неравенства, родства, пространственные, временные, причинно-следственные и другие.

Суждения существования (экзистенциальные, от латинского слова existentia – «существование») выражают сам факт существования или несуществования предмета суждения.

на свободу и личную неприкосновенность.
Е – общеотрицательные (ни одно S не есть P)
Ни один невиновный не должен быть привлечен к уголовной ответственности.
I – частноутвердительные (некоторые S есть P)
Некоторые приговоры суда являются оправдательными.
О – частноотрицательные (некоторые S не есть P)
Некоторые приговоры суда не являются оправдательными.

тождественна самой себе.
а есть а или а = а, где а – любое понятие
p → p, где p – некоторое суждение
Пример: Н совершил преступление.
Н совершил общественно опасное деяние, за которое Уголовным кодексом РФ предусмотрена уголовная ответственность.
Нарушение этого закона выражается в отождествлении различных понятий и представляет собой логическую ошибку, называемую подменой понятий.

2. Закон противоречия
Два несовместимых друг с другом суждения не могут быть одновременно истинными, одно из них должно быть ложным.
неверно, что p иp одновременно истинны,
где p – любое суждение p &p = 0
Пример:
Это преступление совершено умышленно.
Это преступление совершено по неосторожности.

ложными, одно из них должно быть истинным.
p илиp – истинно, где p – любое суждение; p ∨ p = 1
Пример:
Н виновен в совершении преступления.
Н не виновен в совершении преступления.

ОСНОВНЫЕ ЛОГИЧЕСКИЕ ЗАКОНЫ

4. Закон достаточного основания
Всякая мысль признается истинной, если она имеет достаточное основание. Достаточным основанием какой-либо мысли может быть любая другая, уже проверенная и установленная мысль, из которой с необходимостью вытекает истинность данной мысли.
Гражданин X ударил гражданина Y p, p→q
Гражданин Y упал и умер ————
X виновен в смерти Y q
p – основание, которое должно быть достаточным,
q – следствие или вывод
«после» не означает «вследствие»

суждений выводится новое суждение.
Умозаключение состоит из посылок, заключения и вывода. Посылками называются исходные суждения, из которых выводится новое суждение. Заключением называется новое суждение, полученное логическим путем из посылок. Логический переход от посылок к заключению называется выводом.

УМОЗАКЛЮЧЕНИЯ

ДЕДУКТИВНЫЕ (от общего знания к частному)

ИНДУКТИВНЫЕ (от частного знания к общему)

ПО АНАЛОГИИ (от частного знания к частному)

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

на основании их отношения к среднему термину.

Меньшим термином силлогизма называется понятие, которое в заключении является субъектом (S).
Большим термином силлогизма называется понятие, которое в заключении является предикатом (P).
Посылка, в которую входит меньший термин, называется меньшей, а посылка, в которую входит больший термин, называется большей.
Средним термином силлогизма называется понятие, входящее в обе посылки и отсутствующее в заключении (М).

термина в посылках: