diff options
Diffstat (limited to 'content/digarden/20210428005214-логика.org')
| -rw-r--r-- | content/digarden/20210428005214-логика.org | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/content/digarden/20210428005214-логика.org b/content/digarden/20210428005214-логика.org index 6e53ab4..baf5370 100644 --- a/content/digarden/20210428005214-логика.org +++ b/content/digarden/20210428005214-логика.org @@ -43,3 +43,32 @@ * Люди - [[https://ru.wikipedia.org/wiki/%D0%98%D0%B2%D0%B8%D0%BD%2C_%D0%90%D0%BB%D0%B5%D0%BA%D1%81%D0%B0%D0%BD%D0%B4%D1%80_%D0%90%D1%80%D1%85%D0%B8%D0%BF%D0%BE%D0%B2%D0%B8%D1%87][Ивин, Александр Архипович]] + +** Законы логики +1. Закон тождества: +- Любая мысль должна быть тождественной (равной самой себе); +2. Закон противоречия: +- мысль не должна противоречить самой себе; +3. Закон исключенного третьего: +- суждения могут быть противоположными или противоречащими, и важно не + путать эти два понятия + необходимо, чтобы находился третий вариант, + который конкретно отражает, реальную суть происходящего/точки зрения; +4. Закон достаточного основания +- Любая мысль должна быть обоснованной и ваша мысль должна быть + последовательно реальной и проверяемой на все 3 предыдущих пункта на + все 100%. + +Разделы математической логики: +- общая логика (англ. general logic), включает классическую логику + первого порядка, логики высших порядков (логику второго порядка), + комбинаторную логику, λ-исчисление, временную логику, модальную + логику, многозначные логики, нечёткую логику, логику в информатике; +- теория моделей; +- теория вычислимости и теория рекурсии; +- теория множеств; +- теория доказательств и конструктивная математика; +- алгебраическая логика (включает вопросы изучения булевых алгебр, + алгебр Гейтинга, квантовых логик, цилиндрических и полиадических + алгебр, алгебр Поста); нестандартные модели. + +[[https://ru.wikipedia.org/wiki/Математическая_логика][Википедия: Математическая Логика]] |