Краткое изложение логики
- Логика — наука о правильном мышлении и аргументации.
- Основные разделы логики: символическая логика, математическая логика, металогика и другие.
- Теория множеств Цермело-Френкеля изучает свойства множеств и их отношения.
- Металогика изучает метатеорию логики и ее применение.
- Синтаксис и семантика являются важными понятиями в логике.
- Теория доказательств изучает дедуктивный аппарат и его применение.
- Теория вычислимости исследует вычислимость функций и их классификацию.
- Логика вычислимости включает изучение обобщенной вычислимости и определяемости.
Полный текст статьи: