Forallx - введение в формальную логику на русском
#48492
Forallx - An Introduction to Formal Logic (978-8027226580)
Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI
P.D. Magnus | #95: Логика и философия языка
«Forallx» — это введение в сентенциальную логику и логику предикатов первого порядка с тождеством, логические системы, оказавшие значительное влияние на аналитическую философию XX века. После изучения материала этой книги студент должен уметь понимать большинство квантифицированных выражений, встречающихся в его философских трудах. В книге рассматриваются символизация, формальная семантика и теория доказательств для каждого языка. Обсуждение формальной семантики дано более прямолинейно, чем во многих вводных текстах. Хотя «Forallx» не содержит доказательств корректности и полноты, она закладывает основу для понимания того, почему эти вещи необходимо доказывать.
Содержание:
Что такое логика?
Сентенциальная логика
Таблицы истинности
Квантовая логика
Формальная семантика
Доказательства
Другие символические обозначения
Решения к отдельным упражнениям
Содержание:
Что такое логика?
Сентенциальная логика
Таблицы истинности
Квантовая логика
Формальная семантика
Доказательства
Другие символические обозначения
Решения к отдельным упражнениям