PPRuNe Forums - View Single Post - Senate Inquiry, Hearing Program 4th Nov 2011
Old 21st Nov 2012, 19:55
  #814 (permalink)  
Kharon
 
Join Date: Oct 2010
Location: Styx Houseboat Park.
Posts: 2,055
Likes: 0
Received 0 Likes on 0 Posts
Well, Oh dear.

Ne pensez-vous pas Aristotle's "Reductio ad absurdum" un peu recherché.

To do is Voltaire, to be is Hamlet and to Do Be Do is Sinatra. "K".

Cribbed from Wiki – to assist, or not as the case may be.

The primary motivation for paraconsistent logic is the conviction that it ought to be possible to reason with inconsistent information in a controlled and discriminating way. The principle of explosion precludes this, and so must be abandoned. In non-paraconsistent logics, there is only one inconsistent theory: the trivial theory that has every sentence as a theorem. Paraconsistent logic makes it possible to distinguish between inconsistent theories and to reason with them.

Research into paraconsistent logic has also led to the establishment of the philosophical school of dialetheism (most notably advocated by Graham Priest), which asserts that true contradictions exist in reality, for example groups of people holding opposing views on various moral issues.

Being a dialetheist rationally commits one to some form of paraconsistent logic, on pain of otherwise embracing trivialism, i.e. accepting that all contradictions (and equivalently all statements) are true. However, the study of paraconsistent logics, does not necessarily entail a dialetheist viewpoint. For example, one need not commit to either the existence of true theories or true contradictions, but would rather prefer a weaker standard like empirical adequacy, as proposed by Bas van Fraassen.
PS + What Creampuff said.

Last edited by Kharon; 21st Nov 2012 at 20:02. Reason: French grammar and French Grandmama's being the fundemental issue
Kharon is offline