- Computability & Unsolvability.Clifford Spector - 1958 - Journal of Symbolic Logic 23 (4):432-433.details
|
|
Introduction to *Aboutness*.Stephen Yablo - 2014 - In Aboutness. Oxford: Princeton University Press. pp. 1-6.details
|
|
Facts, words and beliefs.Timothy L. S. Sprigge - 1970 - New York,: Routledge and Kegan Paul.details
|
|
A philosophical guide to conditionals.Jonathan Bennett - 2003 - New York: Oxford University Press.details
|
|
Impossible Worlds: A Modest Approach.Daniel Nolan - 1997 - Notre Dame Journal of Formal Logic 38 (4):535-572.details
|
|
Aboutness.Stephen Yablo - 2014 - Oxford: Princeton University Press.details
|
|
Index.Stephen Yablo - 2014 - In Aboutness. Oxford: Princeton University Press. pp. 219-222.details
|
|
Appendix.Stephen Yablo - 2014 - In Aboutness. Oxford: Princeton University Press. pp. 207-208.details
|
|
The Collapse of Supertasks.Gustavo E. Romero - 2014 - Foundations of Science 19 (2):209-216.details
|
|
Computability and Logic.George S. Boolos, John P. Burgess & Richard C. Jeffrey - 1974 - Cambridge, England: Cambridge University Press. Edited by John P. Burgess & Richard C. Jeffrey.details
|
|
The Church-Turing ‘Thesis’ as a Special Corollary of Gödel’s Completeness Theorem.Saul A. Kripke - 2013 - In B. J. Copeland, C. Posy & O. Shagrir (eds.), Computability: Gödel, Turing, Church, and beyond. MIT Press.details
|
|
The Myth of Hypercomputation.Martin Davis - 2004 - In Christof Teuscher (ed.), Alan Turing: Life and Legacy of a Great Thinker. Springer-Verlag. pp. 196-211.details
|
|
Systems of logic based on ordinals..Alan Turing - 1939 - London,: Printed by C.F. Hodgson & son.details
|
|
Alan Turing: Life and Legacy of a Great Thinker.Christof Teuscher (ed.) - 2004 - Springer-Verlag.details
|
|
Bangs, Crunches, Whimpers, and Shrieks: Singularities and Acausalities in Relativistic Spacetimes.John Earman - 1995 - Oxford University Press USA.details
|
|
Heinrich Behmann’s 1921 lecture on the decision problem and the algebra of logic.Paolo Mancosu & Richard Zach - 2015 - Bulletin of Symbolic Logic 21 (2):164-187.details
|
|
Counterpossibles.Timothy Williamson - 2018 - Topoi 37 (3):357-368.details
|
|
On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.details
|
|
Counterfactual conditionals and the presuppositions of induction.William Todd - 1964 - Philosophy of Science 31 (2):101-110.details
|
|
Tasks and Supertasks.James Thomson - 1954 - Analysis 15 (1):1--13.details
|
|
Ways a world might be.Robert Stalnaker - 2007 - Philosophical Studies 133 (3):439 - 441.details
|
|
A semantic analysis of conditional logic.Robert C. Stalnaker & Richmond H. Thomason - 1970 - Theoria 36 (1):23-42.details
|
|
Facts, Words and Beliefs.Alan R. White - 1971 - Philosophical Quarterly 21 (84):277-278.details
|
|
Turing oracle machines, online computing, and three displacements in computability theory.Robert I. Soare - 2009 - Annals of Pure and Applied Logic 160 (3):368-399.details
|
|
Computability and recursion.Robert I. Soare - 1996 - Bulletin of Symbolic Logic 2 (3):284-321.details
|
|
Understanding church's thesis.Stewart Shapiro - 1981 - Journal of Philosophical Logic 10 (3):353--65.details
|
|
Computability, Proof, and Open-Texture.Stewart Shapiro - 2006 - In Adam Olszewski, Jan Wolenski & Robert Janusz (eds.), Church's Thesis After 70 Years. Ontos Verlag. pp. 420-455.details
|
|
Alternatives and Truthmakers in Conditional Semantics.Paolo Santorio - 2018 - Journal of Philosophy 115 (10):513-549.details
|
|
Gerald E. Sacks. The recursively enumerable degrees are dense. Annals of mathematics, ser. 2 vol. 80 (1964), pp. 300–312. [REVIEW]Gerald E. Sacks - 1969 - Journal of Symbolic Logic 34 (2):294-295.details
|
|
On Denoting.Bertrand Russell - 1905 - Mind 14 (56):479-493.details
|
|
On Denoting.Bertrand Russell - 2005 - Mind 114 (456):873 - 887.details
|
|
Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.details
|
|
Languages of Possibility. [REVIEW]Mark Richard - 1994 - Philosophical Review 103 (1):139.details
|
|
Church's Thesis and the Conceptual Analysis of Computability.Michael Rescorla - 2007 - Notre Dame Journal of Formal Logic 48 (2):253-280.details
|
|
Three Grades of Modal Involvement.W. V. Quine - 1953 - Proceedings of the XIth International Congress of Philosophy 14:65-81.details
|
|
Recursively Enumerable Sets of Positive Integers and Their Decision Problems.Emil L. Post - 1945 - Journal of Symbolic Logic 10 (1):18-19.details
|
|
Subjunctive reasoning.John Pollock - 1976 - Reidel. Edited by Lloyd Humberstone.details
|
|
Subjunctive Reasoning.Donald Nute - 1981 - Noûs 15 (2):212-219.details
|
|
Subjunctive Reasoning.H. A. Lewis - 1978 - Philosophical Quarterly 28 (113):360-362.details
|
|
Subjunctive Reasoning.John Bigelow - 1980 - Linguistics and Philosophy 4 (1):129-139.details
|
|
Church's Thesis After 70 Years.Adam Olszewski, Jan Wolenski & Robert Janusz (eds.) - 2006 - Ontos Verlag.details
|
|
Classical Recursion Theory.Peter G. Hinman - 2001 - Bulletin of Symbolic Logic 7 (1):71-73.details
|
|
Reductio ad absurdum from a dialogical perspective.Catarina Dutilh Novaes - 2016 - Philosophical Studies 173 (10):2605-2628.details
|
|
On the Pragmatics of Counterfactuals.Sarah Moss - 2010 - Noûs 46 (3):561-586.details
|
|
Languages of Possibility. [REVIEW]Joseph Melia - 1990 - Philosophical Quarterly 40 (159):271.details
|
|
The Problem of Counterfactual Conditionals.J. C. C. McKinsey & Nelson Goodman - 1947 - Journal of Symbolic Logic 12 (4):139.details
|
|
Parts of Classes.Michael Potter - 1993 - Philosophical Quarterly 43 (172):362-366.details
|
|
On the Plurality of Worlds.William G. Lycan - 1988 - Journal of Philosophy 85 (1):42-47.details
|
|
On the Plurality of Worlds.Allen Stairs - 1988 - Philosophy and Phenomenological Research 49 (2):333-352.details
|
|
Completeness and decidability of three logics of counterfactual conditionals.David Lewis - 1971 - Theoria 37 (1):74-85.details
|
|