Re: Godel proved maths inconsistent not incompleteness theorem

On May 6, 5:00 pm, herbzet <herb...@xxxxxxxxx> wrote:
Charlie-Boo wrote:
On Apr 28, 7:56 am, David C. Ullrich <dullr...@xxxxxxxxxxx> wrote:
On Sun, 27 Apr 2008 11:23:52 -0700 (PDT), Charlie-Boo
<shymath...@xxxxxxxxx> wrote:
[...]

If you want to know the truth of the matter, any programmed
implementation of CBL will use only one symbol for both "implies" and
"subset", as there is no ambiguity and they are the same principle.
In fact, there is no reason to distingush between a set and a
predicate.

Oh my god.

I wrote: “ ‘Implies’ and ‘subset’ are the same principle.  There is no
reason to distinguish between a set and a predicate.”

You wrote: “Oh my god.”

Bertrand Russell wrote: “In any symbolic expression, the letters may
be interpreted as classes or as propositions, and the relation of
inclusion in the one case may be replaced by that of formal
implication in the other.” - Principles of Mathematics

Were you as alarmed when Bertrand Russell said it as you were when I
said it?  Or is it merely a blind condemnation if I say it, and blind
praise if a professor says it, with no mathematical significance?

Quick, define "formal implication"!

Implication means implies

--
hz- Hide quoted text -

- Show quoted text -

.

Relevant Pages

  • On the nature of implication (was: Logic Hounds)
    ... "Implication, in logic, describes conditional if-then statements, ... the second two examples are representative of the principle that a ... falsehood implies everything, ... Since the principle of Simplification is generally considered to ...
    (sci.logic)
  • Re: Godel proved maths inconsistent not incompleteness theorem
    ... implementation of CBL will use only one symbol for both "implies" and ... as there is no ambiguity and they are the same principle. ... Or is it merely a blind condemnation if I say it, ... praise if a professor says it, with no mathematical significance? ...
    (sci.logic)
  • Re: Merry Xmas, Logic Hounds!
    ... "Implication, in logic, describes conditional if-then statements, ... the second two examples are representative of the principle that a ... that a tautology (not just any old truth) is implied by everything. ... falsehood implies everything, ...
    (sci.logic)
  • Re: implications of false axioms
    ... it locally implies EVERYthing, INCLUDING ~p. ... the kind of implication we are BY DEFAULT ALWAYS ... YOU DON'T KNOW shit about "appropriate translations ... the COMMON usage means "materially ...
    (sci.logic)
  • Re: Godel proved maths inconsistent not incompleteness theorem
    ... as there is no ambiguity and they are the same principle. ... Also from Principles of Mathematics: ... "This seems to show that formal implication involves something over ... to both sets and propositions. ...
    (sci.logic)
Loading