Graduate studies at Western
Res Cogitans 2 (1):215-228 (2011)
|Abstract||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.
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 ( #78,069 of 722,947 )
Recent downloads (6 months)1 ( #61,087 of 722,947 )
How can I increase my downloads?