• About

Questions Are Power

Questions Are Power

Monthly Archives: November 2014

Logic and Vagueness

30 Sunday Nov 2014

Posted by nightingale108 in Questions in Logic

≈ Leave a comment

The title “Law of the Excluded Middle” suggests its own shortcoming, but it is a reduction of the actual problem, which is that truth and falsehood fall into vagueness. Previous posts explore this claim and the reification of uncertainty. As such, the “middle” which may be considered a zone where it is not possible to discover a truth value, is bordered by the zones of truth and falsehood. The trouble is these borders are also vague, giving rise to a zone where it is unclear whether it is true, or whether it is not possible to know a truth value. The boundaries of these secondary zones give rise to further zones of vagueness. What is the overall shape of this terrain, what kind of mental movement can traverse this landscape?

One model could be the Cantor set, where the middle of an interval is removed, resulting in new intervals with new middles to be removed, and so on. The “excluded middles” are the spaces of uncertainty, and “points” are knowledge. We can conclude from this model that uncertainty and knowledge permeate each other inextricably. Thus, concepts are a composite of truth and falsehood, a composite that is not a matter of degree. As composites, it is natural for them to decay. Kuhn, in true Ivy League form, repackaged the ancient idea that all concepts naturally arise, develop, and pass away in his theory of the paradigm. There is a circular form to be found in the opposition of Truth and Falsehood- one of growth and decay. The model of the Cantor set however, is probably not accurate nor approximate. It is merely a beautiful idea. If a measurement of degree is found for the Cantor set, there will be new middles of intervals to be removed, and the development and decay of theories continues to cycle.

Another model was proposed by Henri Bergson. [more later]

The basic problem with logic

07 Friday Nov 2014

Posted by nightingale108 in Questions in Logic

≈ Leave a comment

It comes down to a paradox we are all comfortable with- that two things can be both alike and different. Its actually a contradiction, but because we are comfortable with it, we call it a paradox. The Law of the Excluded Middle dictates that either p or not-p is true, not both. The question is, when finding something in the world, say an apple, and calling it “p”, where is “not-p”? We could pick up an orange and say this is not-p, but both apples and oranges are fruit. Since “both are fruit” is true, there is a sense that the Law of Excluded Middle fails to be true, so we must keep looking for “not-p”. We could take the compliment of space that the apple takes up and call that “not-p” but the border, the skin of the apple, is a vague grey area where the Law of Excluded Middle fails to be true. The dimension of time adds to the problem. Eventually the apple will disintegrate or be eaten, turning into millions of other things. The apple shares its physical material and energy with the world. Since the apple shares a very real likeness with the world, you cannot claim that “not-p”, a thing that is totally different from the apple, exists. The Law of the Excluded Middle is never true, except perhaps in a relative sense.[1]

Scientists assume that the Law of the Excluded Middle is true, and then go searching for it in matter. The search for the atoms or elements- the things that are not composite and are utterly different (p or not-p) is a continual discovery of how things are composed of each other. The rhetoric about atoms and elements usually conceal this conclusion. A mild example is on http://www.fnal.gov/pub/science/inquiring/matter/ “Particles called quarks and leptons seem to be the fundamental building blocks – but perhaps there is something even smaller.”

The invitation is to either accept the smallest particle is discovered, or look for the next smaller thing. The smaller than smaller things, or that there will always be a “next smaller thing”, (which would mean matter is ultimately composite, both alike and different) is not suggested, even though we keep finding a “next smaller thing”.

Everyone knows that two things can be both alike and different, you won’t be called stupid for thinking it. But if you look at two lines, one clearly shorter than the other, and call the longer line the shorter, some people will not respect that belief. The idea that the longer line is the shorter is no less a contradiction than the idea that two things are both alike and different. The question of intelligence becomes a question of which paradoxes or contradictions happen to be fashionable.

Where do we go from here? Read on to find how questions can replace the void left by disbelieving in Aristotelian logic.

[1] Thinking of “p” as “being” and “not-p” as “not-being” has its own problems discussed, along with everything in this post, in Plato’s dialogue “The Sophist”.

THEAETETUS: How, Stranger, can I describe an image except as something fashioned in the likeness of the true?

STRANGER: And do you mean this something to be some other true thing, or what do you mean?

THEAETETUS: Certainly not another true thing, but only a resemblance.

STRANGER: And you mean by true that which really is?

THEAETETUS: Yes.

STRANGER: And the not true is that which is the opposite of the true?

THEAETETUS: Exactly.

STRANGER: A resemblance, then, is not really real, if, as you say, not true?

THEAETETUS: Nay, but it is in a certain sense.

STRANGER: You mean to say, not in a true sense?

THEAETETUS: Yes; it is in reality only an image.

STRANGER: Then what we call an image is in reality really unreal.

THEAETETUS: In what a strange complication of being and not-being we are involved!

STRANGER: Strange! I should think so. See how, by his reciprocation of opposites, the many-headed Sophist has compelled us, quite against our will, to admit the existence of not-being.

http://www.gutenberg.org/files/1735/1735-h/1735-h.htm

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

Create a free website or 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