Talk:Classical logic
From Wikipedia, the free encyclopedia
 |
This article is within the scope of the WikiProject Philosophy, which collaborates on articles related to philosophy. To participate, you can edit this article or visit the project page for more details. | ||||||||
| ??? | This article has not yet received a rating on the quality scale. | ||||||||
| High | This article has been rated as high-importance on the importance scale. | ||||||||
|
|||||||||
The list of non-classical logic, as far as I can see, was initially supposed to be in order of properties of classical logic that are not satisfied. However, some non-classical logic are considered so also because they are syntactically different from classical logic (besides, S1-S5 are also mentioned as classical logics). I propose to reshape the list so that it has one item for family of non-classical logic. Paolo Liberatore (Talk) 16:28, 28 September 2005 (UTC)
Contents |
[edit] Non-classical logics
Shouldn't Jaynes' model of probability theory as an extension of classical logic be included in the article? 62.179.244.231 02:00, 28 November 2005 (UTC)ragnar
Which non-classical logic denies commutativity of conjunction? Panu Kalliokoski
[edit] Non-classical arithmetic/algebra?
It would be useful to clarify what happens to arithmetic & algebra in the face of non-classical logics. Can one have non-classical arithmetic & algebra? Sholto Maud 11:02, 6 June 2006 (UTC)
See Heyting arithmetic for arithmetic (more broadly, algebra in the context of the natural numbers) with intuitionistic logic. —Toby Bartels 00:52, 31 July 2006 (UTC)
[edit] two-valued
The principles 1-5 are valid in any boolean algebra. So why is classical logic per se two-valued? —Preceding unsigned comment added by 84.172.47.229 (talk • contribs)
- Because boolean algebra is two-valued. Simões (talk/contribs) 18:04, 28 October 2006 (UTC)
- It's not, which you can see in boolean algebra ;) —The preceding unsigned comment was added by 89.12.23.84 (talk) 13:31, 29 March 2007 (UTC).
[edit] Default logic?
Does default logic belong to classical logics? Pgr94 07:53, 16 May 2007 (UTC)
- Nope, it's a Non-monotonic logic. Tizio 13:46, 16 May 2007 (UTC)
- Thanks, re-reading the article it is quite clear. Pgr94 14:30, 16 May 2007 (UTC)
