Re: Godel proved maths inconsistent not incompleteness theorem



Charlie-Boo wrote:
herbzet wrote:
herbzet wrote:
Charlie-Boo wrote:
...
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

Yes, this appears in

http://fair-use.org/bertrand-russell/the-principles-of-mathematics/s13

to which I gave the link a few days ago in

news:48180F8C.364310BD@xxxxxxxxxx

You're welcome.

Btw, I disagree with Russell's analysis here. Do you agree
with Russell's analysis?

Throw yourself on the sword!!!

Tell me one theorem that doesn't exist in both forms.

Um, modus ponens?

That's not really relevant, anyway. What I /said/ was
that I don't agree with Russell's /analysis/. Do you
agree with Russell's /analysis/?

--
hz
.

Relevant Pages

  • Re: Godel proved maths inconsistent not incompleteness theorem
    ... herbzet wrote: ... be interpreted as classes or as propositions, ... inclusion in the one case may be replaced by that of formal ... implication in the other.? ...
    (sci.logic)
  • Re: Godel proved maths inconsistent not incompleteness theorem
    ... be interpreted as classes or as propositions, ... inclusion in the one case may be replaced by that of formal ... implication in the other.” - Principles of Mathematics ... I disagree with Russell's analysis here. ...
    (sci.logic)
  • Re: syllogism
    ... >symbolism in the context of implication, ... If one takes the objects b and c out of the predicate, ... asserting a system of propositions, just as, in the above ...
    (sci.logic)
  • Re: On the nature of implication (was: Logic Hounds)
    ... The article on the "paradoxes of material implication" is ... fails to match up with the natural language use of implication. ... hold for sentences rather than for abstract propositions, facts, state of ...
    (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)