The Four-Color Theorem Solved, Again: Extending the Extended Mind to Philosophy of Mathematics

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)
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Translate to english
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 29,440
External links

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.

Add more references

Citations of this work BETA
E-Science and the Data Deluge.David Casacuberta & Jordi Vallverdú - 2014 - Philosophical Psychology 27 (1):1-15.

Add more citations

Similar books and articles
The Mind Ain't Just in the Head-Defending and Extending the Extended Mind.Terence Sullivan - 2007 - The Proceedings of the Twenty-First World Congress of Philosophy 6:145-149.
Two Versions of the Extended Mind Thesis.Katalin Farkas - 2012 - Philosophia 40 (3):435-447.
Cognitive Systems and the Supersized Mind. [REVIEW]Robert D. Rupert - 2011 - Philosophical Studies 152 (3):427 - 436.
The Extended Self.Eric T. Olson - 2011 - Minds and Machines 21 (4):481-495.
Extended Cognition and the Metaphysics of Mind.Zoe Drayson - 2010 - Cognitive Systems Research 11 (4):367-377.
Computer, Proof, and Testimony.Kai-Yee Wong - 2012 - Studies in Logic 5 (1):50-67.
Mathematics and Mind.Alexander George (ed.) - 1994 - Oxford University Press.
Added to PP index

Total downloads
32 ( #163,247 of 2,180,171 )

Recent downloads (6 months)
3 ( #105,536 of 2,180,171 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature

There  are no threads in this forum
Nothing in this forum yet.

Other forums