Од Википедија, слободна енциклопедија
Логика |
Навигација: |
· Портал · Категорија · ВикиПроект · Никулци ·
|
Главни статии: |
· Разум · Историја на логиката · Философска логика · Математичка логика · Металогика ·
|
Клучни поими |
- Расудување: · Дедукција · Индукција · Абдукција ·
- Неформална логика: · Тврдење · Инференција · Аргумент · Валидност · Убедливост · Поимовна логика · Критичко размислување · Грешност · Силогизам ·
- Математичка логика: · Множество · Синтакса · Семантика · Дпф · Аксиома · Теорема · Доследност · Правилност · Потполност · Нерешителност · Формален систем · Теорија на множествата · Доказна теорија · Теорија на моделите · Теорија на рекурзијата ·
- Логика од нулти ред: · Булеви функции · Монадска предикатна анализа · Исказна анализа · Логички оператори · Таблици на точност
- Логика од прв ред: · Предикатна логика · Квантификатори ·
- Логика од втор ред: ·
- Модална логика : · Деонтичка логика · Епистемолошка логика · Темпорална логика · Доксастичка логика ·
- Други некласични логики : · Логика на пресметливоста · Непрецизна логика · Линеарна логика · Релевантна логика · Немонотона логика ·
|
Спорови |
· Парадоследна логика · Дијалетеизам · Интуиционистичка логика · Парадокси · Антиномии · Дали логиката е емпиричка? ·
|
Важни личности |
· Аристотел · Бул · Вајтхед · Гедел · Генцен · Кантор · Карнап · Квин · Крипке · Патнам · Пеано · Пирс · Расел · Сколем · Тарски · Тјуринг · Фреге · Хилберт · Черч ·
|
Листи |
· Основни теми во логиката · теми во логиката · Логичари · Правила на инференција · Теми во математичката логика · Основни теми во дискретната математика · Теми во теоријата на множествата · Парадокси · Логички грешки · Логички знаци ·
|