• About

Questions Are Power

Questions Are Power

Monthly Archives: July 2016

How Vagueness Reveals and Precision Conceals

Featured

Posted by nightingale108 in Questions in Logic

≈ Leave a comment

People often think that vagueness is bad, a kind of darkness that can never be fully dispelled, while distinction is hailed as the clarifying answer to vagueness. Here is how the reverse is also true: Vagueness is the light and distinction a darkness.

The distinction I pick is not random, but an important part of all other kinds of logical distinction—the distinction between the “if, then”: “→” and the “conclusion” symbol: ⊢. ⊢ is ambiguous, however, and can mean other things such as assertion that a proposition is true and not just being named, or to assert in a metalanguage that the following is a theorem in the object language. Used in our sense here, the good property of the “→” is “true” and the good property of the “⊢” is “sound”. The distinction goes back to Aristotle. The main point is that if we do away with this distinction, call these two symbols the same, an interesting insight can be made—that a sound argument:

A
A→B
⊢B

Can be represented without the ⊢ as follows: [A AND (A→B)] is logically equivalent to [A AND B], so that the conclusion [A AND B]→B is merely a deduction of A from [A AND B]. Allowing a vagueness between → and ⊢ reveals what logical deduction is—it is a cut from a larger whole, e.g. logical deduction is the act of drawing a distinction from the larger [A AND B]. With the introduction of the distinction between → and ⊢ this is concealed:

A
A→B
⊢B

cannot be collapsed into [A AND B]→B. As promised, vagueness reveals and distinction conceals, but not just any concealment, here we have a concealment which allows distinction to reveal, since this distinction is at the root of any further logical distinction.

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

Subscribe

  • Entries (RSS)
  • Comments (RSS)

Archives

  • February 2023
  • January 2023
  • December 2022
  • November 2022
  • October 2022
  • September 2022
  • August 2022
  • July 2022
  • 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