• About

Questions Are Power

Questions Are Power

Monthly Archives: April 2016

Vagueness in Mathematical Terms

09 Saturday Apr 2016

Posted by nightingale108 in Questions in Logic

≈ Leave a comment

A paper about vagueness in paraconsistent logic (Weber, Z. 2010) gave a rhetorical example of the interaction between vague terms and real analysis. Imagine walking down the largest mountain in the known world. Olympus Mons on Mars has a very gentle slope or declivity, so that you can start by describing yourself as “high up” but as you walk down you become unsure if you are “high up” or “not high up”. This is graphable on an xy coordinate system with 0 at the top of the mountain and 1 at the foot of the mountain. The interval of “high up” points has a least upper bound (of x values) called “sup” and the interval of “not high up” points has a greatest lower bound called “inf.” Now we will suppose, as this is a presentation of vagueness, that “sup” is also “high up” (which is reasonable since all the points less than it are also high up) likewise “inf” is “not high up”. We encounter a contradiction in all three possibilities: If “sup”=”inf” then “sup” is both “high up” and “not high up” if “sup” > “inf” then by density of the reals “sup” > z > “inf” with z both “high up” and “not high up”, likewise if “inf” > “sup”.

Now we can put the blame on the vague term “high up” which is clearly not very technical, and go on to fantasize a perfectly precise world of mathematics that should not be sullied by vague words, but such a world is more difficult to defend than the fantasy suggests. First of all, mathematical equations with no tie to real world meanings are widely regarded as ambiguous, a term usually distinguished from vagueness. Ambiguous means there is more than one possible meaning or interpretation. Hesse points out that Socrates’ famous straight stick in water, the apparent bend in the stick was meant to represent falsehood. Now the bend can be represented with an equation involving the theory of refraction:

“sin(alpha)/sin(beta) = Mu”

can be interpreted in other ways besides that alpha and beta are angles and Mu is a constant about air and water— “They might, for example, be the angles between the Pole star and Mars and Venus respectively at midnight on certain given dates; why would not this be a confirmation of the formalism we have mistakenly called the wave theory of light?…” (Hesse as cited Structure of Scientific Theories Suppe 1977, p 100-101)

Now suppose I invent a word that means ambiguously “tall” and “not tall.” Similar words are found in language, for example the Thai “Krup” means “yes” but also does not mean yes. It is used because yes is too strong and seen as insulting a person’s intelligence, and “krup” rather is a polite sound indicating the speakers faith that the listener can figure it out for themselves. I could invent a word “snook” that can mean “tall” and “not tall” in different situations. Is the word ambiguous when it is applied to the one of these borderline cases when “tall” is vague? or does the ambiguity of the word capture the vagueness of the phenomena? Is this a vagueness between ambiguity and vagueness? What does that mean for ambiguity in mathematical equations?

The mathematical part of the wave theory of light, if it is to correspond to reality at all, is vague. Even if we were to abandon mathematical application to science, pure mathematics still uses words such as “continuity” “completeness” and “integral” which are vague notions. In fact, a standard text in analysis will show how mathematical definitions fail to perfectly capture the idea of continuity, with fuzziness in functions getting past the definition, and being allowed to be called technically “continuous”. Without this sparse collection of vague words, math texts would be hopelessly meaningless. The vagueness of the words continuity and completeness are in fact very important to being able to learn and understand analysis.

Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.

Subscribe

  • Entries (RSS)
  • Comments (RSS)

Archives

  • June 2022
  • May 2022
  • March 2022
  • January 2022
  • December 2021
  • November 2021
  • October 2021
  • September 2021
  • August 2021
  • July 2021
  • March 2021
  • February 2021
  • January 2021
  • December 2020
  • October 2020
  • September 2020
  • August 2020
  • July 2020
  • June 2020
  • April 2020
  • March 2020
  • February 2020
  • January 2020
  • December 2019
  • October 2019
  • September 2019
  • April 2019
  • March 2019
  • February 2019
  • December 2018
  • November 2018
  • October 2018
  • September 2018
  • August 2018
  • January 2018
  • October 2017
  • September 2017
  • June 2017
  • May 2017
  • April 2017
  • November 2016
  • October 2016
  • August 2016
  • July 2016
  • April 2016
  • June 2015
  • March 2015
  • February 2015
  • January 2015
  • November 2014
  • September 2014
  • August 2014

Categories

  • Questions in Logic
  • Questions in Mathematics
  • The more technical stuff

Meta

  • Register
  • Log in

Blog at WordPress.com.

Privacy & Cookies: This site uses cookies. By continuing to use this website, you agree to their use.
To find out more, including how to control cookies, see here: Cookie Policy
  • Follow Following
    • Questions Are Power
    • Already have a WordPress.com account? Log in now.
    • Questions Are Power
    • Customize
    • Follow Following
    • Sign up
    • Log in
    • Report this content
    • View site in Reader
    • Manage subscriptions
    • Collapse this bar