Re: Logic must "look after itself"
- From: translogi <wilemien@xxxxxxxxxxxxxx>
- Date: Fri, 5 Sep 2008 02:57:38 -0700 (PDT)
On 5 Sep, 00:01, "Tron" <tronf...@xxxxxxxxxx> wrote:
Hi,
"translogi" <wilem...@xxxxxxxxxxxxxx> skrev i meldingnews: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
No
Classical logic (predcate logic. first order logic ) is really just
over 100 years old. (Principa Mathematica, or Frege's concept notation
is more or less the first publication)
Aristotle's Syllogisms are a lot older but is not as flexible.
Maybe Rusells logic would be a better name, but we call it classical.
logic itself ?
That started when people started thinking i guess.
(There is a writer who claimed homouruosly that fred Flintstone
invented it 1 million years ago.)
.
- References:
- Re: Logic must "look after itself"
- From: translogi
- Re: Logic must "look after itself"
- From: translogi
- Re: Logic must "look after itself"
- From: Tron
- Re: Logic must "look after itself"
- Prev by Date: Re: how to prove E!x(Fx & Gx) -> Ax(Fx-> Gx)
- Next by Date: Re: Computable functions/reasls: followup.
- Previous by thread: Re: Logic must "look after itself"
- Next by thread: Re: Logic must "look after itself"
- Index(es):