Re: Law of Excluded Middle
- From: Aatu Koskensilta <aatu.koskensilta@xxxxxxxxx>
- Date: Wed, 27 Feb 2008 23:00:23 GMT
On 2008-02-27, in sci.logic, Kenneth Bull wrote:
Does the law of excluded middle say anything about P and notP both
being true?
No. Though there are other laws of classical logic that have something
to say on that.
What did Aristotle "mean" with this law?
"Mean" in what sense? He proposed it as a basic law of logic, on basis
of which we may reason in all sorts of contexts.
--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)
"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.
- References:
- Law of Excluded Middle
- From: Kenneth Bull
- Law of Excluded Middle
- Prev by Date: Law of Excluded Middle
- Next by Date: Re: Second order arithmetic and higher order arithmetic
- Previous by thread: Law of Excluded Middle
- Next by thread: Re: Law of Excluded Middle
- Index(es):
