David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Res Cogitans 2 (1):215-228 (2011)
In 1977 when Appel, Haken and Koch used a computer to mathematically solve the century old four-color-problem philosopher Thomas Tymoczko thought that the epistemic justification in mathematics had been changed. Essentially, Tymoczko, and others, argue we can now have mathematical epistemic justification through a posteriori means. This has obvious implication in philosophy of mathematics and epistemology because this would be the first case where mathematics isn’t justified through a priori means of investigation. However, I ultimately disagree with Tymoczko. I argue that computer-aided-proofs still warrant an a priori means of justification. In order to show this, I refer to advances in philosophy of mind, mainly, the extended mind thesis. I will argue that our mind has evolved to enter into symbiotic relationships with non-organic entities in order to offload certain internal capacities. I believe that this is what constitutes humans amazing gift of rationality and intelligence. Thus, when we use a computer-aided-proof to solve unsurveyable proofs, we are really extending our minds into these cognitive tools and extending our method of proof checking to be more efficient and quicker. Thus, the a priori is saved because the computer is just a part of the causal cognitive loop that constitutes our mind.
|Keywords||Philosophy of Mind philosophy of cognitive science Philosophy of Mathematics Epistemology Extended Mind Four Color Theorem|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Konstantine Arkoudas & Selmer Bringsjord (2007). Computers, Justification, and Mathematical Knowledge. Minds and Machines 17 (2):185-202.
Terence Sullivan (2007). The Mind Ain't Just in the Head-Defending and Extending the Extended Mind. The Proceedings of the Twenty-First World Congress of Philosophy 6:145-149.
John Sutton (2006). Exograms and Interdisciplinarity: History, the Extended Mind and the Civilizing Process. In Richard Menary (ed.), The Extended Mind. Ashgate. 189--225.
Darren Abramson (2011). Philosophy of Mind Is (in Part) Philosophy of Computer Science. Minds and Machines 21 (2):203-219.
Helen De Cruz & Johan De Smedt (2013). Mathematical Symbols as Epistemic Actions. Synthese 190 (1):3-19.
Nivedita Gangopadhyay (2011). The Extended Mind: Born to Be Wild? A Lesson From Action-Understanding. [REVIEW] Phenomenology and the Cognitive Sciences 10 (3):377-397.
Katalin Farkas (2012). Two Versions of the Extended Mind Thesis. Philosophia 40 (3):435-447.
Robert D. Rupert (2010). Representation in Extended Cognitive Systems : Does the Scaffolding of Language Extend the Mind? In Richard Menary (ed.), The Extended Mind. Mit Press.
Robert D. Rupert (2011). Cognitive Systems and the Supersized Mind. [REVIEW] Philosophical Studies 152 (3):427 - 436.
Eric T. Olson (2011). The Extended Self. Minds and Machines 21 (4):481-495.
Zoe Drayson (2010). Extended Cognition and the Metaphysics of Mind. Cognitive Systems Research 11 (4):367-377.
N. Shankar (1994). Metamathematics, Machines, and Gödel's Proof. Cambridge University Press.
Georg Theiner (2008). From Extended Minds to Group Minds: Rethinking the Boundaries of the Mental. Dissertation, Indiana University
Alexander George (ed.) (1994). Mathematics and Mind. Oxford University Press.
Added to index2011-08-15
Total downloads17 ( #80,649 of 1,010,225 )
Recent downloads (6 months)1 ( #64,700 of 1,010,225 )
How can I increase my downloads?