Technical methods in philosophy

Boulder: Westview Press (1990)
  Copy   BIBTEX

Abstract

Introduces the technical tools and concepts employed in advanced work in philosophy. Beginning with the fundamentals of set theory, the author examines relations, functions and the theory of arithmetic before using these tools to clarify the metatheory of the predicate calculus.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,127

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Logic: theory and practice.M. K. Rennie - 1973 - Brisbane,: University of Queensland Press. Edited by Roderick A. Girle.
Logic for mathematicians.J. Barkley Rosser - 1978 - Mineola, N.Y.: Dover Publications.
First order mathematical logic.Angelo Margaris - 1967 - New York: Dover Publications.
A one axiom set theory based on higher order predicate calculus.M. W. Bunder - 1983 - Archive for Mathematical Logic 23 (1):99-107.
Predicate calculus and naive set theory in pure combinatory logic.M. W. Bunder - 1981 - Archive for Mathematical Logic 21 (1):169-177.
Set theory in predicate calculus with equality.M. W. Bunder - 1983 - Archive for Mathematical Logic 23 (1):109-113.

Analytics

Added to PP
2009-01-28

Downloads
4 (#1,644,260)

6 months
4 (#862,833)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

John Pollock
University of Edinburgh

Citations of this work

Saving the doxastic account of intuitions.Christian Nimtz - 2010 - Philosophical Psychology 23 (3):357-375.

Add more citations

References found in this work

No references found.

Add more references