Talk:Classical logic
From Wikipedia, the free encyclopedia
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)
[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
[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? —The preceding unsigned comment was added by 84.172.47.229 (talk • contribs) .
- Because boolean algebra is two-valued. Simões (talk/contribs) 18:04, 28 October 2006 (UTC)