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

2. Деление суждений по количеству. Утверждать или отрицать что-либо можно об одном предмете, о части предметов некоторого класса и обо всех предметах класса. В соответствии с этим суждения по количеству делятся на единичные, частные и общие.
Единичным называется суждение, в котором что-либо утвержда­ется или отрицается об одном предмете. Это S есть(не есть)P
Частным называется суждение, в котором что-либо утверждает­ся или отрицается о части предметов некоторого класса. Частные суждения выражаются в предложениях, имеющих в своем составе слова: «некоторые», «многие», «немногие», «большинство», «мень­шинство», «часть».
Некоторые S есть(не есть)P
Общим называется суждение, в котором что-либо утверждается или отрицается обо всех предметах некоторого класса. Все S есть(не есть)P.
Объединенная классификация суждений. Объединяя количест­венную и качественную характеристики, суждения делятся на обще­утвердительные, общеотрицательные, частноутвердительные, частноотрицательные.
Общеутвердительное суждение (A) — это суждение, общее по коли­честву и утвердительное по качеству.
Общеотрицательное суждение (E) — суждение, общее по количе­ству и отрицательное по качеству
Частноутвердительное суждение (I) — суждение, частное по коли­честву и утвердительное по качеству.
Частноотрцательное суждение (O) — суждение, частное по количе­ству и отрицательное по качеству.
А (Все S суть Р)
Е (Ни одно S не есть Р)
I (Некоторые S суть Р)
О (Некоторые S не суть Р)
14. Логические отношения между простыми категорическими суждениями. Логический квадрат.
Отношения между категорическими суждениями- это отношения сравнимости и несравнимости.
Категорические суждения называются сравнимыми, если их термины (субъект и предикат) совпадают с точностью до перестановки.
Пример. Суждения «Все студенты являются веселыми людьми» и «Все веселые люди являются студентами» - сравнимые.
Категорические суждения называются несравнимыми, если в одном из них есть термин, не входящий в другое.
Пример. Суждения «Все студенты являются веселыми людьми» и «Все студенты являются находчивыми людьми» - несравнимы.
Сравнимые суждения могут быть совместимыми и несовместимыми. Сравнимые категорические суждения называются совместимыми, если они могут быть вместе истинными.
Пример. Суждения «Все великие люди низкого роста» и «Некоторые великие люди низкого роста» - совместимые.
Сравнимые категорические суждения называются несовместимыми, если они не могут быть вместе истинными.
Пример. Суждения «Все великие люди низкого роста» и «Некоторые великие люди не являются людьми низкого роста» - несовместимые.
Отношения совместимости и несовместимости, в свою очередь, делятся на виды. Для систематизации и наглядного представления этих отношений еще в средние века был придуман так называемый «логический квадрат» .
К отношению совместимости относятся подчинение и субконтрарность (частичная совместимость).