On the logic of reducibility: Axioms and examples [Book Review]
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Erkenntnis 53 (1-2):27-61 (2000)
This paper is an investigation into what could be a goodexplication of ``theory S is reducible to theory T''''. Ipresent an axiomatic approach to reducibility, which is developedmetamathematically and used to evaluate most of the definitionsof ``reducible'''' found in the relevant literature. Among these,relative interpretability turns out to be most convincing as ageneral reducibility concept, proof-theoreticalreducibility being its only serious competitor left. Thisrelation is analyzed in some detail, both from the point of viewof the reducibility axioms and of modal logic.
No categories specified
(categorize this paper)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
E. Hermann (1992). 1-Reducibility Inside an M-Degree with Maximal Set. Journal of Symbolic Logic 57 (3):1046-1056.
Harvey Friedman & Lee Stanley (1989). A Borel Reducibility Theory for Classes of Countable Structures. Journal of Symbolic Logic 54 (3):894-914.
Ausonio Marras (1993). Supervenience and Reducibility: An Odd Couple. Philosophical Quarterly 44 (171):215-222.
Ernst Kleinert (2007). On the Reducibility of Relations: Variations on a Theme of Peirce. Transactions of the Charles S. Peirce Society 43 (3):509 - 520.
Douglas Cenzer (1984). Monotone Reducibility and the Family of Infinite Sets. Journal of Symbolic Logic 49 (3):774-782.
Karl-Georg Niebergall (2002). Structuralism, Model Theory and Reduction. Synthese 130 (1):135 - 162.
John Bacon (1986). Supervenience, Necessary Coextensions, and Reducibility. Philosophical Studies 49 (March):163-76.
Steffen Lempp & Manuel Lerman (1992). The Existential Theory of the Poset of R.E. Degrees with a Predicate for Single Jump Reducibility. Journal of Symbolic Logic 57 (3):1120-1130.
D. A. Bočvar (1979). Measures of Kearnels of Reducibility Axioms and Singlets. Studia Logica 38 (4):393 - 400.
Added to index2009-01-28
Total downloads47 ( #43,537 of 1,692,451 )
Recent downloads (6 months)5 ( #47,729 of 1,692,451 )
How can I increase my downloads?