- Toward a formal philosophy of hypercomputation.Selmer Bringsjord & Michael Zenzen - 2002 - Minds and Machines 12 (2):241-258.details
|
|
Computation, among other things, is beneath us.Selmer Bringsjord - 1994 - Minds and Machines 4 (4):469-88.details
|
|
A Vindication of Program Verification.Selmer Bringsjord - 2015 - History and Philosophy of Logic 36 (3):262-277.details
|
|
Computation as an intrinsic property.C. Franklin Boyle - 1994 - Minds and Machines 4 (4):451-67.details
|
|
Theory of Sets.Nicolas Bourbaki - 1975 - Journal of Symbolic Logic 40 (4):630-631.details
|
|
Are We Living in a Computer Simulation?Nick Bostrom - 2003 - Philosophical Quarterly 53 (211):243-255.details
|
|
Are We Living in a Computer Simulation?Nick Bostrom - 2003 - Philosophical Quarterly 53 (211):243-255.details
|
|
An Investigation of the Laws of Thought, on Which are Founded the Mathematical Theories of Logic and Probabilities.Alonzo Church - 1951 - Journal of Symbolic Logic 16 (3):224-225.details
|
|
An Investigation of the Laws of Thought: On Which Are Founded the Mathematical Theories of Logic and Probabilities.George Boole - 2009 - [New York]: Cambridge University Press.details
|
|
The rule-following considerations.Paul Boghossian - 1989 - Mind 98 (392):507-49.details
|
|
Marr and Reductionism.John Bickle - 2015 - Topics in Cognitive Science 7 (2):299-311.details
|
|
Explanation: a mechanist alternative.William Bechtel & Adele Abrahamsen - 2005 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 36 (2):421-441.details
|
|
Act and intent.Annette C. Baier - 1970 - Journal of Philosophy 67 (19):648-658.details
|
|
The conscious access hypothesis: Origins and recent evidence.Bernard J. Baars - 2002 - Trends in Cognitive Sciences 6 (1):47-52.details
|
|
The Problem of Knowledge.G. P. Henderson - 1958 - Philosophical Quarterly 8 (30):95-96.details
|
|
Philosophy, a Brief Guide for Undergraduates.Robert Audi - 1982 - Proceedings and Addresses of the American Philosophical Association 56 (2):273 - xviii.details
|
|
Artificial Intelligence and Natural Man.Martin Atkinson - 1979 - Philosophical Quarterly 29 (116):278.details
|
|
Computers, justification, and mathematical knowledge.Konstantine Arkoudas & Selmer Bringsjord - 2007 - Minds and Machines 17 (2):185-202.details
|
|
Towards the formal study of models in the non-formal sciences.Leo Apostel - 1960 - Synthese 12 (2-3):125 - 161.details
|
|
The Problem of Justification of Empirical Hypotheses in Software Testing.Nicola Angius - 2014 - Philosophy and Technology 27 (3):423-439.details
|
|
Scientific Theories of Computational Systems in Model Checking.Nicola Angius & Guglielmo Tamburrini - 2011 - Minds and Machines 21 (2):323-336.details
|
|
Model-based abductive reasoning in automated software testing.N. Angius - 2013 - Logic Journal of the IGPL 21 (6):931-942.details
|
|
Abstraction and Idealization in the Formal Verification of Software Systems.Nicola Angius - 2013 - Minds and Machines 23 (2):211-226.details
|
|
Can Computational Goals Inform Theories of Vision?Barton L. Anderson - 2015 - Topics in Cognitive Science 7 (2):274-286.details
|
|
On (not) defining cognition.Colin Allen - 2017 - Synthese 194 (11):4233-4249.details
|
|
Philosophy of Mind Is (in Part) Philosophy of Computer Science.Darren Abramson - 2011 - Minds and Machines 21 (2):203-219.details
|
|
Remarks on the Foundations of Mathematics.Ludwig Wittgenstein - 1956 - Oxford: Macmillan. Edited by G. E. M. Anscombe, Rush Rhees & G. H. von Wright.details
|
|
Computable models.Raymond Turner - 2009 - London: Springer.details
|
|
Abstract.[author unknown] - 2011 - Dialogue and Universalism 21 (4):447-449.details
|
|
Philosophical Investigations.Ludwig Wittgenstein - 1953 - New York, NY, USA: Wiley-Blackwell. Edited by G. E. M. Anscombe.details
|
|
Human Problem Solving.Allen Newell & Herbert Alexander Simon - 1972 - Prentice-Hall.details
|
|
Platonism in the Philosophy of Mathematics.Øystein Linnebo - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.details
|
|
Non-monotonic Logic.Christian Strasser & G. Aldo Antonelli - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.details
|
|
The Church-Turing Thesis.B. Jack Copeland - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.details
|
|
Models in Science (2nd edition).Roman Frigg & Stephan Hartmann - 2021 - The Stanford Encyclopedia of Philosophy.details
|
|
Software is an abstract artifact.Nurbay Irmak - 2012 - Grazer Philosophische Studien 86 (1):55-72.details
|
|
Cours de Philosophie Positive..Auguste Comte - 2018 - Wentworth Press.details
|
|
Minds, brains, and programs.John Searle - 1980 - Behavioral and Brain Sciences 3 (3):417-57.details
|
|
Psychological Explanation: An Introduction To The Philosophy Of Psychology.Jerry A. Fodor - 1968 - Ny: Random House.details
|
|
Intention.G. E. M. Anscombe - 1957 - Cambridge, Mass.: Harvard University Press.details
|
|
The world and the individual.Josiah Royce - 1900 - New York,: Dover Publications.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
|
|
Methodological solipsism considered as a research strategy in cognitive psychology.Jerry A. Fodor - 1979 - Behavioral and Brain Sciences 3 (1):63-73.details
|
|
Philosophy of mathematics.Leon Horsten - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Minds and Machines.Hilary Putnam - 1960 - In Sidney Hook (ed.), Dimensions Of Mind: A Symposium. NY: NEW YORK University Press. pp. 138-164.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
|
|
Philosophy and the Scientific Image Of Man.Wilfrid Sellars - 1963 - In Science, Perception and Reality. New York,: Humanities Press.details
|
|
Elegance in Software.Robin Hill - 2018 - In Giuseppe Primiero & Liesbeth De Mol (eds.), Reflections on Programming Systems: Historical and Philosophical Aspects. Cham: Springer Verlag. pp. 273-286.details
|
|
I do not exist.Peter K. Unger - 1979 - In Graham Macdonald (ed.), Perception and Identity. Cornell University Press.details
|
|
Through the Looking Glass.Lewis Carroll, John Tenniel, Richard Clay, Macmillan & Co ) & Dalziel Brothers ) - 1871 - Folio Society.details
|
|