Основы логики: правильно умозаключать

Коротко: Логика изучает, когда из высказываний что-то следует. Аргумент валиден, если заключение необходимо следует из посылок, и состоятелен, если к тому же посылки истинны.

Подробнее: Классический пример: Все люди смертны; Сократ — человек; следовательно, Сократ смертен.

Подробности

• Дедукция: Необходимый вывод от общего к частному.
• Индукция: Обобщение из наблюдений, вероятное, не достоверное.
• Абдукция: Поиск лучшего объяснения наблюдению.
• Логика высказываний: Связки И, ИЛИ, НЕ, ЕСЛИ-ТО.
• Таблицы истинности: Проверка, когда составные высказывания истинны.
• Валидно ≠ истинно: Валидный вывод с ложными посылками тоже даёт ложные результаты.
• Избегать ошибок: Знать типичные ошибки мышления (trugschluesse-erkennen).
• Применение: Программирование, математика, дискуссии (was-ist-philosophie).