diff options
Diffstat (limited to 'content/digarden/20220115171054-логика.org')
| -rw-r--r-- | content/digarden/20220115171054-логика.org | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/content/digarden/20220115171054-логика.org b/content/digarden/20220115171054-логика.org deleted file mode 100644 index 6fa9bda..0000000 --- a/content/digarden/20220115171054-логика.org +++ /dev/null @@ -1,32 +0,0 @@ -:PROPERTIES: -:ID: 11914fde-ef84-4852-a285-8c651be7e1b6 -:END: -#+title: Логика -* Логика -1. Закон тождества: -- Любая мысль должна быть тождественной (равной самой себе); -2. Закон противоречия: -- мысль не должна противоречить самой себе; -3. Закон исключенного третьего: -- суждения могут быть противоположными или противоречащими, и важно не - путать эти два понятия + необходимо, чтобы находился третий вариант, - который конкретно отражает, реальную суть происходящего/точки зрения; -4. Закон достаточного основания -- Любая мысль должна быть обоснованной и ваша мысль должна быть - последовательно реальной и проверяемой на все 3 предыдущих пункта на - все 100%. - -Разделы математической логики: -- общая логика (англ. general logic), включает классическую логику - первого порядка, логики высших порядков (логику второго порядка), - комбинаторную логику, λ-исчисление, временную логику, модальную - логику, многозначные логики, нечёткую логику, логику в информатике; -- теория моделей; -- теория вычислимости и теория рекурсии; -- теория множеств; -- теория доказательств и конструктивная математика; -- алгебраическая логика (включает вопросы изучения булевых алгебр, - алгебр Гейтинга, квантовых логик, цилиндрических и полиадических - алгебр, алгебр Поста); нестандартные модели. - -[[https://ru.wikipedia.org/wiki/Математическая_логика][Википедия: Математическая Логика]] |