Re: Godel Was No Aristotle

On Apr 19, 3:58 pm, Aatu Koskensilta <aatu.koskensi...@xxxxxxxxx>
wrote:
On 2007-04-19, raydpratt wrote:
I remember reading that in logic history some mathematician had been
devastated by Godel's logic-of-sets question about whether a class of
all-things-not-a-member-of-a-class would itself be a member of such a
class, and I thought I remembered that the liar's paradox was a Godel
line of thinking along similar lines that also came from Godel.

You're quite confused. The class of all classes that are not members of
themselves appears in the so-called Russell paradox, due to Bertrand Russell.
This paradox demonstrated that the logical system of Gottlob Frege, as
presented in _Grundgesetze der Arithmetik_, is inconsistent. Russell
discovered the paradox in 1901 and communicated it to Frege in 1903; Göde,
who was not born until 1906, had nothing to do with.

GÃdel is also not responsible for the liar paradox which is considerably
older, dating back, in essentially its modern form, to 400 BC. It is usually
attributed, in different forms, to Eubulides and Epimenedes, the former being
responsible for the "I'm lying" variant and the latter for badmouthing
Cretans. Lying Cretans were around at about 600 BC, admitted liars being
the more recent invention from 400 BC.

Before attempting to solve age old conundrums and logical problems it's a
good idea to acquaint oneself with the history and literature on the subject.

Knowing the author doesn't help you fix the problem.

"Inventions rarely come from people within an industry, but, instead
come from people on the outside who aren't under the same limiting
beliefs & habitual thinking that forms within any organization or
industry." - Dr. James Asher, San Jose State University, "On Advanced
Learning"

C-B

--
Aatu Koskensilta (aatu.koskensi...@xxxxxxxxx)

"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus


.

Relevant Pages

  • Re: Why is the Russell Paradox necessary?
    ... the Russell Paradox method is necessary. ... given set is greater than the cardinality of the given set. ... But if we assume the existence of a set of all sets, ... Russell studied that proof, and *simplified* it to the one-line ...
    (sci.math)
  • Re: Godel Was No Aristotle
    ... themselves appears in the so-called Russell paradox, ... This paradox demonstrated that the logical system of Gottlob Frege, ... Lying Cretans were around at about 600 BC, ...
    (sci.logic)
  • Re: Should we worry about contradictions?
    ... Russell indeed was led to his paradox by reflecting on Cantor's proof. ... In what sense did Cantor, Dedekind and other actual set theorists ...
    (sci.math)
  • Re: Godel Was No Aristotle
    ... and I thought I remembered that the liar's paradox was a Godel ... themselves appears in the so-called Russell paradox, ... Lying Cretans were around at about 600 BC, ...
    (sci.logic)