Re: Help. What is a model?

Aatu writes:

"T.H. Ray" <thray123@xxxxxxx> writes:

My argument is with his unacknowledged logicism,
which I find mars
that elegance and damages the appeal of mathematics
for its own
sake.

You think I (unwittingly) submit to the doctrine in
philosophy of
mathematics that all mathematical notions should be
defined in purely
logical terms, and that all basic mathematical
principles (induction,
completeness of reals, ...) should be given purely
logical proofs,
using these definitions? Why?

Let me answer your why with another:

Why do you think a theorem is a mathematical statement
for which a proof has been given?

Tom

--
Aatu Koskensilta (aatu.koskensilta@xxxxxx)

"Wovon man nicht sprechen kann, darüber muss man
schweigen"
- Ludwig Wittgenstein, Tractatus
s Logico-Philosophicus
.

Relevant Pages

  • Re: Formulating sentences in a possibly consistent ZF
    ... think some description in the language of thought of which the structure ... understanding of mathematical notions and statements. ... that "semantics" of mathematics may be understood ...
    (sci.logic)
  • Re: Universal grammar
    ... Is it possible to reduce all of mathematics to logic? ... logical terms. ... reduce all patterns to logic? ... semantics flow together. ...
    (sci.lang)