Логика предикатов

Формы и объем логики основаны на предположениях о том, как язык и рассуждения связаны с опытом. В этом томе анализ значения и истины обеспечивает основу для изучения современной логики высказываний и логики предикатов. Главы, посвященные логике высказываний, анализу предложений, а также значению, истине и референции, дают основу для критериев, которые можно использовать для оценки формализации аргументов обычного языка. Более 120 проработанных примеров формализации предложений и аргументов иллюстрируют масштабы и ограничения современной логики, как они анализируются в главах, посвященных идентичности, кванторам, описательным именам, функциям и логике второго порядка. Глава о логике второго порядка иллюстрирует, как различные концепции предикатов и предложений не приводят к общей основе для количественной оценки предикатов, как это происходит для количественной оценки вещей. Этот том, отличающийся ясностью изложения и дополненный множеством упражнений, подходит для философов, лингвистов, математиков и ученых-компьютерщиков, которые хотят лучше понять инструменты, которые они используют для формализации рассуждений.