4.Логические приемы формирования понятий: анализ, синтез, сравнение, абстрагирование и обобщение.

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

5. Виды понятий и отношения между ними.

Показать, как соотносятся понятия между собой по критериям содержания и объёма. Рассмотреть деление понятий по объему: а) общие, б) единичные, в) нулевые. Раскрыть, как происходит выражение единичных понятий в языке посредством имен собственных или эквивалентных им выражений. Обратить внимание на деление понятий по содержанию: а) конкретные и абстрактные; б) относительные и безотносительные; в) положительные и отрицательные; г) собирательные и несобирательные.

Раскрыть разницу между сравнимыми и несравнимыми понятиями, их изображение с помощью круговых схем (круги Эйлера). Рассмотреть деление сравнимых понятий на совместимые и несовместимые, виды совместимости: а) равнозначность (тождество); б) пересечение; в) подчинение (субор­динация). Определить несовместимые понятия, виды несовместимости: а) соподчинение; б) противоположность (контрарность); в) противоречивость (контрадикторность).

6. Приёмы сходные с операцией определения понятий.

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

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

7. Общая характеристика суждения.

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

Суждение как посылка умозаключения. Распределённость терминов в суждении и механизм связи двух суждений в умозаключении.

8. Категорические суждения и их виды.

Раскройте простое суждение как суждение, не содержащее логических связок. Виды простых суждений: а) атрибутивные; б) суждения с отношениями; в) суждения существования.

Показать разнообразие суждений в зависимости от способа связи субъекта и предиката. Теория простого суждения у Аристотеля и логика предикатов Г. Фреге.

9. Выражение логических связок (логических постоянных) в естественном языке.

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

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

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