- •1. Предмет и определение логики.
- •2. Основные разделы современной логики.
- •3. Исторические этапы развития логики.
- •4. Объем и дополнение к объему понятия. Диаграмма Эйлера-Венна.
- •5. Принцип объемности. Содержание понятия. Взаимосвязь между содержанием и объемом понятия.
- •6. Отношения между понятиями: независимость, подчинение, контрарность, контрадикторность.
- •7. Логическое деление понятий и его основные правила. Дихотомия.
- •8. Основные типы вопросов. Семантика Ли-вопросов.
- •9.Суждение и высказывание. Строение простых высказываний: субъект, предикат, субъектно-предикатная связка. Истинные и ложные высказывания. Основные виды сложных высказываний.
- •10. Умозаключение и силлогизм. Логический квадрат.
- •11. Простой категорический силлогизм: общее строение, термин силлогизма, фигура, модус. Логически правильный модус силлогизма.
- •12. Условно-категорический силлогизм. Модус поненс и модус толленс.
- •13. Основополагающие логические принципы: принцип тождества, непротиворечивости, исключенного третьего, достаточного основания.
- •14. Понятие научного термина. Предметность, однозначность, относительность терминов.
- •15. Отношение семантического тождества терминов. Логические кавычки. Понятие метасимвола.
- •16. Логическая структура определений. Дефиниендум и дефиниенс. Семантические и синтаксические определения. Основные правила синтаксических определений.
- •17. Табличное определение отрицания, конъюнкции и дизъюнкции, импликации, эквивалентности.
- •18. Основные разделы металогики: логический синтаксис, семантика и прагматика. Логический вывод и доказательство.
- •19. Эмоциональная оценка и рациональная критика. Основные разновидности рациональных ошибок: паралогизм, софизм, парадокс.
17. Табличное определение отрицания, конъюнкции и дизъюнкции, импликации, эквивалентности.
Таблица истинности — это таблица, в которой отражены все значения логической функции при всех возможных значениях, входящих в неё логически
Под «логической функцией» в данном случае понимается функция, у которой значения переменных (параметров функции) и значение самой функции выражают логическую истинность. Например, в двузначной логике они могут принимать значения «истина» либо «ложь» (true либо false, 1 либо 0).
Таблицы истинности для основных двоичных логических функций
Конъюнкция Дизъюнкция Импликация Эквиваленция
a |
b |
a∧b |
|
|
a |
b |
a∨b |
|
|
a |
b |
a→b |
|
|
a |
b |
a↔b |
|
0 |
0 |
0 |
|
|
0 |
0 |
0 |
|
|
0 |
0 |
1 |
|
|
0 |
0 |
1 |
|
0 |
1 |
0 |
|
|
0 |
1 |
1 |
|
|
0 |
1 |
1 |
|
|
0 |
1 |
0 |
|
1 |
0 |
0 |
|
|
1 |
0 |
1 |
|
|
1 |
0 |
0 |
|
|
1 |
0 |
0 |
|
1 |
1 |
1 |
|
|
1 |
1 |
1 |
|
|
1 |
1 |
1 |
|
|
1 |
1 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Конъю́нкция (от лат. conjunctio союз, связь) — логическая операция, по своему применению максимально приближённая к союзу "и". Синонимы: логи́ческое "И", логи́ческое умноже́ние, иногда просто "И"
Дизъю́нкция — (лат. disjunctio - разобщение) логическая операция, по своему применению максимально приближённая к союзу «или» в смысле «или то, или это, или оба сразу». Синонимы: логи́ческое «ИЛИ», включа́ющее «ИЛИ», логи́ческое сложе́ние, иногда просто «ИЛИ»
Импликация — бинарная логическая связка, по своему применению приближенная к союзам «если… то…».
Эквивале́нция (или эквивале́нтность) — двуместная логическая операция. Обычно обозначается символом ≡ или ↔. Задаётся следующей таблицей истинности.
18. Основные разделы металогики: логический синтаксис, семантика и прагматика. Логический вывод и доказательство.
МЕТАЛОГИКА – раздел современной логики, в котором исследуются способы построения различных логических теорий, свойства, присущие им, а также отношения, существующие между ними.
Синтаксис (в логике) (логический синтаксис) — раздел формальной логики, изучающий правильность построения выражений, безотносительно к тому, есть ли у этих выражений логические значения и если есть, то какие именно.
Обычно противопоставляется семантике (разделу формальной логики, изучающему те условия, при которых правильно построенные выражения имеют некоторое логическое значение).
Синтаксис и семантика противопоставляются прагматике — разделу формальной логики, изучающему зависимость логического значения правильных осмысленных выражений от логического значения прагматических переменных, выражаемых «индексальными» элементами (то есть элементами я, ты, здесь, сейчас).
Логический вывод — процесс рассуждения, в ходе которого осуществляется переход от некоторых исходных суждений (предпосылок) к новым суждениям — заключениям.
Доказа́тельство — рассуждение по определенным правилам, обосновывающее какое-либо утверждение. В разных областях науки и человеческой деятельности этот термин имеет разные значения.