Re: Cantor's circular "proof" that evens = integers

On May 8, 4:11 am, "R. Srinivasan" <sradh...@xxxxxxxxxx> wrote:
That position brings you perilously close to that of NAFL, which
basically asserts that truth for formal propositions is always with
respect to axioms, i.e., with respect to axiomatic theories.

Not really.
I was not talking about truth.
In the classical paradigm, we don't talk much about
truth EXCEPT via model theory.
My position was that the identity of the sentences themselves
came from the axioms.

The next step you need to take is to ask what brings axioms
(theories) into "existence"?

That is not a step. Sentences can just be exhibited.
They don't NEED to be brought into existence in ANY
other way. EVERYthing has to be based on SOME notion
of some FIRST concepts, ones NOT requiring justification
or explication of prior concepts; otherwise the chain of
backtracking COULD NEVER end.

More to the point, you can't just say "axioms (theories)"
as though they were the same thing. Axioms are ONE
thing. Theories are ANOTHER, MUCH BIGGER, AND MORE
COMPLICATED thing. Rules inference MAKE a difference!



NAFL takes the stand that it is the human mind.

Falls to Occam's Razor.
Human minds are not necessarily ALL ALIKE enough for
there to EXIST "the" human mind.

.

Relevant Pages

  • Re: A Manual of Practical Reason
    ... There is no such thing as "the" axioms of arithmetic. ... of axioms "containing a truth". ... > math facts cannot be proved within math, ... math facts" can be proved within math?). ...
    (sci.logic)
  • Re: Cantor Confusion
    ... > Dik T. Winter schrieb: ... By means of axioms you can produce conditional ... I am interested in absolute truth. ... If you want to find absolute truth you should not look at mathematics. ...
    (sci.math)
  • Re: Galileos Paradox
    ... Except apparently for axioms and definitions. ... I don't know what sense Eckard is trying to convey. ... Cantor "not having evidence" for his idea ... Well empirical evidence would certainly be one criterion for the truth ...
    (sci.math)
  • Re: Goedel - interesting problem?
    ... For obvious reasons, ... >no set of axioms such that we can tell what's an axiom and what isn't. ... If that person rejects "axioms" as the "true statements which are ... the basic logic sense of a logical truth condition. ...
    (sci.logic)
  • Re: A theory of beliefs
    ... the scientific standard of truth is not derived from axioms. ... show no inconsistency between the paradigm and theory. ... >> axioms provide the basis against which to judge self consistency. ...
    (sci.physics)