1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
:PROPERTIES:
:ID: 11914fde-ef84-4852-a285-8c651be7e1b6
:END:
#+title: Логика
* Логика
1. Закон тождества:
- Любая мысль должна быть тождественной (равной самой себе);
2. Закон противоречия:
- мысль не должна противоречить самой себе;
3. Закон исключенного третьего:
- суждения могут быть противоположными или противоречащими, и важно не
путать эти два понятия + необходимо, чтобы находился третий вариант,
который конкретно отражает, реальную суть происходящего/точки зрения;
4. Закон достаточного основания
- Любая мысль должна быть обоснованной и ваша мысль должна быть
последовательно реальной и проверяемой на все 3 предыдущих пункта на
все 100%.
Разделы математической логики:
- общая логика (англ. general logic), включает классическую логику
первого порядка, логики высших порядков (логику второго порядка),
комбинаторную логику, λ-исчисление, временную логику, модальную
логику, многозначные логики, нечёткую логику, логику в информатике;
- теория моделей;
- теория вычислимости и теория рекурсии;
- теория множеств;
- теория доказательств и конструктивная математика;
- алгебраическая логика (включает вопросы изучения булевых алгебр,
алгебр Гейтинга, квантовых логик, цилиндрических и полиадических
алгебр, алгебр Поста); нестандартные модели.
[[https://ru.wikipedia.org/wiki/Математическая_логика][Википедия: Математическая Логика]]
|
