Re: Mathematics is systems of epistemological holisim
- From: J Jones <jonescardiff@xxxxxxx>
- Date: Mon, 28 Apr 2008 12:36:08 +0100
elsiemelsi wrote:
the australian philosopher colin leslie dean points out that Mathematics is
systems of epistemological holisim
set theory
arithmetics
geometry
algebra
etc
are systems of epistemological holisim
epistemological holism means
a systems statement coher ie dont contradict with every other statement in
the system A systems statements interlock they share a common logic and
are involved enblock in every proof.A systems statements face the
tribunal of proof as a corporate body of statements. A systems statements about mathematics face the tribunal of proof not
individually but only as a corporate body.
thus if a statement contradicts another statement then the system as a
corporate body enblock falls apart into inconsistency
hence skolems paradox reduces set theory thus ZFC to inconsistency
ALSO
a systems statements face the tribunal of proof as a corporate body of
statements. A systems statements about mathematics face the tribunal of proof not individually but only as a corporate body.
thus systems which are incomplete ie there is one statement that cant be
proven then the system enblock cant prove anything
thus the systems ZFC, PA, Q due to there, incompleteness cant prove
anything
--
Message posted using http://www.talkaboutscience.com/group/sci.logic/
More information at http://www.talkaboutscience.com/faq.html
Quine thought that logic itself is not fixed because logic must accommodate real, physical events.
By the way, there can be no proof of a closed holistic system.
.
- References:
- Mathematics is systems of epistemological holisim
- From: elsiemelsi
- Mathematics is systems of epistemological holisim
- Prev by Date: Re: The axiom of extensionality and the Empty Set
- Next by Date: Godel and transcendental logic
- Previous by thread: Mathematics is systems of epistemological holisim
- Next by thread: Re: Mathematics is systems of epistemological holisim
- Index(es):