mathematics is not the language of reality

mathematics is not the language of reality
mathematics has no semantic content
mathematics is diviod of semantic content thus it cant say anything about
reality

when meaning is overlayed onto the symbols we end in the Carrollâ??s
Paradox formalism in mathematics is an attempt to avoid the pitfalls of
Carrollâ??s Paradox due to semantic meaning being given to the symbols

1+1=2 are just meaningless symbols connected by rules
it is only when we make the symbols correspond to reality that in this
case we see we are dealing with numbers

take the axiomatic system ZFC is just a meaningless array of symbols
connected by rules of inference we give meaning to those symbols and say
ZFC deals with set

mathematics is diviod of semantic content thus it cant say anything about
reality

as
http://www.mathacademy.com/pr/prime/articles/carroll/index.asp
says

"The formalist solution, while effective, has its own philosophical
drawbacks. Not the least of these is that, by reducing logic to
uninterpreted symbols, all semantic content is removed from the
conclusions of formal logic. In other words, what we would ordinarily
consider meaning is lost. How to restore meaning to systems of inference
while still avoiding difficulties such as Carrollâ??s Paradox remains a
thorny question for philosophers of mathematics."

--
Message posted using http://www.talkaboutscience.com/group/sci.logic/
More information at http://www.talkaboutscience.com/faq.html

.

Relevant Pages

  • Re: X = Z
    ... travel a path and return to its beginning, a goal of mathematics is ... that have otherwise generally canonical meaning. ... the fundamental discovery of truth in mathematics, ... appear on the subject of 'primes' above and below mine, ...
    (sci.math)
  • Re: X = Z
    ... travel a path and return to its beginning, a goal of mathematics is ... that have otherwise generally canonical meaning. ... Fashion has nothing to do with truth. ... appear on the subject of 'primes' above and below mine, ...
    (sci.math)
  • Re: truth/falsity of sentences in first-order logic
    ... a lot of what he said, like "Truth has nothing to do with models." ... the notion that a formula doesn't have a meaning ... mathematics, and anything that's technically wrong at the foundation ... of reasoning could "sink the ship of reasoning", ...
    (sci.logic)
  • Re: How do We Know that ZF is the Axiomatization that Proves everything Provable?
    ... formalize or shrink these results.) ... whether it's a valid proof according to CBL? ... meaning "Turing Machine a halts no on input b at iteration number c", ... untethered to any real mathematics. ...
    (sci.logic)
  • Re: Choice sequences, intuition, etc
    ... specifying a different method of constructing the sequence, ... Regarding Bishop, ... axiom systems for mathematics that are weaker. ... Somehow the distinction in meaning between an implication ...
    (sci.logic)
Loading