Правила определения понятий:

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

Не должно быть круга в определении понятий. Определяющее понятие не должно содержать признаки, которые сами раскрываются при помощи определяемого понятия. Тавтология.

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

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

Шпага - колющее оружие мушкетеров Людовика XIV.

В данном случае нарушено первое правило, нарушена соразмерность определяемого и определяющего понятий, т.к шпага как оружие использовалась не только мушкетерами Людовика XIV.

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

Субъект - это то, о чем говорится или сообщается в суждении.

Предикат - это то, что утверждается или отрицается по поводу субъекта.

Связка может выступать в виде утверждения или в виде отрицания.

Кванторы:

"все" - квантор общности.

"некоторые" - квантор существования.

"этот" - квантор единичности.

Объединенная классификация суждений - это совокупность способов деления суждений, с одной стороны - деление на общие и частные, с другой - на утвердительные и отрицательные. Согласно данной классификации все суждения сводятся к четырем видам.

Общеутвердительные суждения, т.е. общие по количеству и утвердительные по качеству.

Общеотрицательные суждения, т.е. общее по количеству и отрицательное по качеству.

Частноутвердительные суждения - частные по количеству и утвердительное по качеству.

Частноотрицательные суждения - частные по количеству и отрицательные по качеству.

Распределенность субъекта и предиката в суждении.

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

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

Ни один динозавр не является грациозным.

Субъект (S) - динозавр.

Предикат (P) -грациозный.

Связка отрицательная - не является.

Квантор - "все" - квантор общности.

Общеотрицательное суждение (E). Субъект и предикат распределены.

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

Обращение - умозаключение, которое позволяет получить определенное знание о предикате. При обращении субъект и предикат меняются местами, связка остается прежней, квантор перед новым субъектом определяется по правилу: если предикат в предпосылке не распределен, то он не может быть распределен в качестве субъекта в заключении.

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

Многие животные употребляются в пищу.

Обращение.

Некоторая употребляемая пища - есть животные.

Превращение.

Некоторые животные не употребляются в пищу.

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

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

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

Большой термин - понятие, входящее в одну из посылок и выступающее в заключении предикатом. (Р) посылка с этим термином называется большой посылкой.

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