ENGLISH

Technical methods in philosophy

By Pollock J.L.

Book information

Publisher
Westview
Year
1990
ISBN
0813378729, 9780813378725
LCC
BC135 .P683 1990
Open Library ID
OL2215097M
Language
english
Format
DJVU
Filesize
698 kB (714391 bytes)
Series
Focus Series
Pages
134\134
Library
Kolxo3
DPI
300
Time added
2011-07-22 07:35:22

Description

This book introduces the technical tools and concepts that are indispensable for advanced work in philosophy. Beginning with the fundamentals of set theory, the author guides the reader through relations, functions and the theory of arithmetic before using these tools to clarify the metatheory of the predicate calculus. There are discussions of recursive definitions, Godel's Theorem, and completeness for the predicate calculus. The text emphasizes the structure of these systems and the metatheory behind them.

Similar books