- •1.Понятие о логической форме мысли и логическом законе. Предмет логики.
- •2.Основные этапы развития логики. Значение логики для юристов.
- •6.Суждение. Простые суждения: атрибутивные и суждения об отношениях.
- •7.Сложные суждения.
- •8.Отношения между суждениями.
- •9.Отрицание суждений.
- •10.Логическая и прагматическая характеристика вопросов.
- •11.Аргументация и логическое доказательство (доказывание). Состав, виды.
- •12.Критика и опровержение. Состав и виды.
- •13.Основные стратегии аргументации и критики.
- •14.Тактические приемы аргументации и критики.
- •15.Правила аргументации и критики по отношению к тезису. Ошибки и уловки.
- •16.Правила аргументации и критики по отношению к аргументам. Ошибки и уловки.
- •17.Условно-категорические и разделительно-категорические умозаключения.
- •18.Язык логики высказываний.
- •19.Способ построения таблицы истинности для формул логики высказывания.
- •22.Выводы из категорических суждений: умозаключения по логическому квадрату, обращение и превращение.
- •23.Выводы из категорических суждений: противопоставление предикату и противопоставление субъекту.
- •24.Категорический силлогизм. Состав, общие правила силлогизма.
- •25.Категорический силлогизм. Фигуры. Графический способ анализа.
- •28.Умозаключения по аналогии.
- •29. Понятие. Объем понятия (логический и фактический). Содержание понятия (логическое и фактическое). Закон обратного отношения.
- •30.Виды понятий.
- •31.Отношения между понятиями по содержаниям и объемам. Обобщение и ограничение понятий.
- •32.Определение. Виды определений и правила. Ошибки в определениях.
- •33.Деление: таксономическое и мереологическое. Правила деления. Ошибки. Классификация.
- •34.Проблема и теория.
- •35.Гипотеза и следственная версия.
- •36.Законы логики.
- •37.Виды умозаключений.
- •38.Область и характер взаимодействия оппонентов.
- •39.Модальность.
18.Язык логики высказываний.
Язык логики высказываний используется для рассмотрения суждений без учета их внутренней структуры. Он использует содержательные символы.
Логика высказываний – это определенная совокупность формул, т.е. сложных высказываний, записанных на специально сконструированном искусственном языке. Язык логики высказываний включает:
-
Неограниченное множество переменных: А, В, С, ..., А1, В1, С1, ..., представляющих высказывания;
-
Особые символы для логических связок: & – «и»; л – «или»; Л – «либо, либо»; → – «если, то»; ↔ – «если и только если»; ~ – «неверно, что» .
-
Скобки, играющие роль знаков препинания
Пример: «Сейчас день» - А, «Сейчас светло» - В; «Сейчас холодно» - С
"Если сейчас день, то сейчас светло или холодно":
А → В лС, или (А → (В л С))
"Если сейчас светло и холодно, то сейчас день":
В & С → А, или ((В & С) → А)
"Если неверно, что сейчас светло, то неверно, что сейчас день":
~ В → ~ А, или ((~ В) → (~ А))
Каждой формуле логики высказываний соответствует таблица истинности.
С помощью таблиц истинности в случае любого сложного высказывания можно определить, при каких значениях истинности входящих в него простых высказываний это высказывание истинно, а при каких ложно.
Истинная формула логики высказываний (тавтология) — это формула, дающая истинное высказывание при любых подстановках в нее конкретных (т.е. истинных или ложных) высказываний.
Ложная формула (логическое противоречие) всегда превращается в ложное высказывание при подстановке конкретных высказываний вместо ее переменных.
19.Способ построения таблицы истинности для формул логики высказывания.
Логика высказываний – это определенная совокупность формул, т.е. сложных высказываний, записанных на специально сконструированном искусственном языке. Язык логики высказываний включает:
-
Неограниченное множество переменных: А, В, С, ..., А1, В1, С1, ..., представляющих высказывания;
-
Особые символы для логических связок: & – «и»; л – «или»; Л – «либо, либо»; → – «если, то»; ↔ – «если и только если»; ~ – «неверно, что» .
-
Скобки, играющие роль знаков препинания
Пример: «Сейчас день» - А, «Сейчас светло» - В; «Сейчас холодно» - С
"Если сейчас день, то сейчас светло или холодно":
А → В лС, или (А → (В л С))
"Если сейчас светло и холодно, то сейчас день":
В & С → А, или ((В & С) → А)
"Если неверно, что сейчас светло, то неверно, что сейчас день":
~ В → ~ А, или ((~ В) → (~ А))
Логика высказываний исходит из следующих двух допущений:
-
Всякое высказывание является либо истинным, либо ложным (принцип двузначности)
-
Истинное значение сложного высказывания зависит только от истинностных значений входящих в него простых высказываний и характера их связи.
Табличные определения союзов:
-
Конъюнкция (и - л) истинна, когда оба входящих в нее высказывания истинны;
-
дизъюнкция (или - v) истинна, когда хотя бы одно из входящих в нее
высказываний истинно;
-
Строгая дизъюнкция (или - ) истинна, когда одно из входящих в нее
высказываний истинно, а второе ложно;
-
Импликация (если.. то - →) истинна в трех случаях: ее основание и следствие истинны; основание ложно, а следствие истинно; и основание, и следствие ложны;
-
Эквивалентность (если и только если - ↔) истинна, когда два приравниваемых в ней
высказывания оба истинны или оба ложны;
-
Отрицательное высказывание истинно, когда отрицаемое высказывание ложно, и наоборот.
С помощью таблиц истинности в случае любого сложного высказывания можно определить, при каких значениях истинности входящих в него простых высказываний это высказывание истинно, а при каких ложно.
Истинная формула логики высказываний (тавтология) — это формула, дающая истинное высказывание при любых подстановках в нее конкретных (т.е. истинных или ложных) высказываний.
Ложная формула (логическое противоречие) всегда превращается в ложное высказывание при подстановке конкретных высказываний вместо ее переменных.