From: Trivik (trivik@stwing.upenn.edu)
Date: Mon Apr 21 2003 - 06:26:22 BST
> Iin the case of arithmetic, just from
> the axioms one can produce such things as "2 + 2 = 4" and Goedel's theorem.
> On the other hand, from mathematical axioms one can't say anything about
> value,
this is actully an interesting point. all we can do in the system is
derive stuff like "2 + 2 = 4" but this says nothing about the numbers
themselves. how is it that we interpret, transfer the meaning of 2 into
the rearl worl is another story completely. When do we say we see two
objects? to what stuff in the rearl world can one apply aritemitic. this
is not explained, and may be seen as a leap. it is quality itself that
lets us do this.
> I would call them "verbal (or conceptual) starting points", not axioms.
yes, we necisarly do this all at every moment (how do you even follow
rules).
MOQ.ORG - http://www.moq.org
Mail Archives:
Aug '98 - Oct '02 - http://alt.venus.co.uk/hypermail/moq_discuss/
Nov '02 Onward - http://www.venus.co.uk/hypermail/moq_discuss/summary.html
MD Queries - horse@darkstar.uk.net
To unsubscribe from moq_discuss follow the instructions at:
http://www.moq.org/md/subscribe.html
This archive was generated by hypermail 2.1.5 : Mon Apr 21 2003 - 06:26:39 BST