10. Отношения между суждениями по значениям истинности.

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

С использованием примеров показать устройство традиционных для логики механизмов определения истинности категорических суждений («Логический квадрат», «логический треугольник») и предложений логики высказываний (таблицы истинности).

11. Понятие логического закона.

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

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

12. Закон тождества.

Формулировка закона тождества как выражение основного принципа мышления в античной логике. Раскройте сущность закона тождества. Обратите внимание на применимость этого закона.

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

13. Закон непротиворечия.

Принцип непротиворечивости мышления как основа аристотелевской силлогистики и формальной логики в целом. Возникновение закона в полемике Аристотеля с Гераклитом. Рассмотреть область и границы непротиворечивости аристотелевской логики и диалектики.

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

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

14. Закон исключенного третьего.

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

Особенности закона непротиворечия в различных двузначных логических системах. Несоответствие формулировки закона традиционной логики символическому его выражению классической логикой высказываний. Критика закона «воображаемой логикой» Н.А. Васильева и многозначными логиками А. Брауэра и Я. Лукасевича.

15. Закон достаточного основания.

Поясните сущность закона достаточного основания. Введение Г. Лейбницем закона достаточного основания в качестве четвертого основного логического закона традиционной логики. Раскройте его значение для научного познания и мышления в целом. Каковы философские предпосылки формулировки закона достаточного основания.

16. Общее понятие об умозаключении.

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

Показать по какому критерию происходит деление умозаключений на дедуктивные и индуктивные. Дать определение и классификацию дедуктивных умозаключений.

Рассмотреть аристотелевскую силлогистику как дедуктивную аксиоматическую систему.