Виды логик
- Формальная логика
- Диалектика
- Модальная логика
Table of Contents
Таблицы истинности формальной логики
A и B входы, Q – результат
OR (ИЛИ)
| A | В | Q |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 1 |
AND (И)
| A | B | Q |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
XOR (ИЛИ-НЕ)
| A | B | Q |
|---|---|---|
| 0 | 0 | 1 |
| 1 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 1 | 0 |
XAND (И-НЕ)
| A | B | Q |
|---|---|---|
| 0 | 0 | 1 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 0 |
Видео
Люди
Законы логики
- Закон тождества:
- Любая мысль должна быть тождественной (равной самой себе);
- Закон противоречия:
- мысль не должна противоречить самой себе;
- Закон исключенного третьего:
- суждения могут быть противоположными или противоречащими, и важно не путать эти два понятия + необходимо, чтобы находился третий вариант, который конкретно отражает, реальную суть происходящего/точки зрения;
- Закон достаточного основания
- Любая мысль должна быть обоснованной и ваша мысль должна быть последовательно реальной и проверяемой на все 3 предыдущих пункта на все 100%.
Разделы математической логики:
- общая логика (англ. general logic), включает классическую логику первого порядка, логики высших порядков (логику второго порядка), комбинаторную логику, λ-исчисление, временную логику, модальную логику, многозначные логики, нечёткую логику, логику в информатике;
- теория моделей;
- теория вычислимости и теория рекурсии;
- теория множеств;
- теория доказательств и конструктивная математика;
- алгебраическая логика (включает вопросы изучения булевых алгебр, алгебр Гейтинга, квантовых логик, цилиндрических и полиадических алгебр, алгебр Поста); нестандартные модели.