Тема 1. Предмет и специфика логики. Основные логические структуры: понятие, суждение, умозаключение

Логика и её значение в жизни и профессиональной деятельности. Мышление и логика. Форма мысли как предмет логических исследований. Понятие « логос» и логичность мысли. Понятие логической формы. Мышление и язык. Логическая формализация и текст.

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

Логика и психология. Логика и педагогика. Логика в юриспруденции (введение в общее и особенное).

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

Суждение (высказывание) как форма мышления. Суд суждения: вынесение приговора – основной смысл двузначной логики. Суждение как связь понятий и как логическая операция. Основные типы суждений: а) осмысленные и бессмысленные; б) простые и сложные; в) атрибутивные и релятивные. Суждение и предложение: двусмысленность, несовпадение субъектов, различие по сложности. Предложения, суждениями не являющиеся.

Суждение и вопрос. Логическая структура вопросов. Правомерная и неправомерная постановка вопросов.

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

Проблема истинности и лжи в логике.

Тема 2. Основы теории аргументации. Основные формально-логические законы

Понятие доказательства в логике. Основная структура доказательства (тезис, аргументы, форма доказательства). Виды доказательства (прямые и косвенные, дедуктивные и индуктивные).

Доказательство и опровержение. Опровержение тезиса и опровержение доказательства.

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

Проблема правильности и истинности в доказательствах.

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

Закон тождества.Закон противоречия.Закон исключительного третьего.Закон достаточного основания.

Тема 3. Элементы логики высказываний: алгоритм формализации сложных суждений, формулы логики высказываний

Сложное суждение и его структура.

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

Применимость логической формализации при анализе юридического текста.

Определение формулы логики высказываний. Тождественно-истинные, тождественно-ложные, логически нейтральные и выполнимые формулы.

Равносильность формул логики высказываний. Основные логические равносильности. Основные законы логики высказываний (идемпотентности, коммунитативности, ассоциативности, дистрибутивности).