Talk:Paraconsistent logic

The article seems to suggest that the liar doesn't "explode" in paraconsistent logics. that's not true for most PLs. Kim Stebel 23:57, 5 September 2005 (UTC)

What might we say about the choice between the man's utterance of "I am currently in the room" as opposed to its negation "I am not currently in the room" (1998)? Perhaps that the actual negation should be "It is not true that I am currently in the room". This is a false choice like that between "P is true" and "The negation of P is true": It could be that P is in fact unprovable, and the actual choice should be between "P is true" and "It is not the case that P is true". 203.116.59.23 13:55, 20 September 2005 (UTC)Joel Tay

Removed some content from the "Motivation" section

I removed some content from the "Motivation" section on the ground that it seemed to me not particularly well-written, and involved material that is (or ought to be) covered more thoroughly in Liar paradox and Dialetheism, both of which are prominently linked to. Feel free to integrate this material back into the article if you feel it would be an improvement. dbtfz^talk 05:47, 25 February 2006 (UTC)

Recent addition of material on direct logic

I removed the recently added content on "direct logic" since no evidence is provided indicating that it is more notable than any of the many other systems of paraconsistent logic that have been proposed over the years. We can't include all of them, so only a few of the most notable and important ones are discussed. (Remember: this article is aimed primarily at non-specialists.) For example, LP is discussed briefly in the article because it is easily the most influential and well-known paraconsistent logic. And dual-intuitionistic logic is discussed (very briefly) because it illustrates the relation of paraconsistent logic with another notable type of logic, intuitionistic logic. If someone wants to add a brief characterization of da Costa's C-systems, that would be appropriate.

Quite frankly, the addition of the material on direct logic looks like a blatant case of a researcher trying to promote his or her own work with little or no regard for whether the material is actually appropriate for the article. If anyone really believes that the material I removed should be in Wikipedia, I recommend creating a new article, Direct logic (cf. Relevance logic), which could be linked to from this article. Also, a very brief mention of direct logic in this article might be approprite, if done right. dbtfz^talk 18:40, 1 April 2006 (UTC)