Re: Logic must "look after itself"

Hi,

"translogi" <wilemien@xxxxxxxxxxxxxx> skrev i melding
news:0e90f163-313c-4c80-b7d1-ac853fe34068@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx

.....
He like Russell was very into what we now call classical logic,
(inclusdes the law of the excluded middle )
Classical logic at that time was still very new.

Merely 2500 years...?


Wittgenstein was also very in to truthtables and thought that every
logical statement can be SHOWN to be true by a truthtable

And the table for the above is:

F

What do you think is logic?

Logic is the science of relations between concepts.

T


.

Relevant Pages

  • Re: Logic must "look after itself"
    ... (inclusdes the law of the excluded middle) ... logical statement can be SHOWN to be true by a  truthtable ... (Principa Mathematica, or Frege's concept notation ...
    (sci.logic)
  • Re: Question about proof by contradiction
    ... definition must be in the form of a predicate. ... You MAY be using the excluded middle, ... of these statements are theorems violates something that I'd *like* to ... which is the law of the excluded middle. ...
    (sci.math)
  • Re: Confused about Intuitionistic provability
    ... |> in all models is equivalent to the law of excluded middle. ... Taking FOL to be classical FOL, ... |> sentences holding in all Kripke models and the set of validities ...
    (sci.logic)
  • Re: The Law of the Excluded Middle again (long)
    ... contradiction. ... the law of excluded middle isn't a ... a lot of little elementary facts. ...
    (sci.math)
  • Re: The Law of the Excluded Middle again (long)
    ... constructivism has this law as a theorem in these cases ... the Law of the Excluded Middle is used. ... distraction (caused either by complications in the mathematics, ...
    (sci.math)
Quantcast