View Single Post
  #2 (permalink)  
Old 05-15-2008, 06:24 PM
JCS JCS is offline
Junior Member
 
Join Date: May 2008
Posts: 1
Rep Power: 0
JCS is on a distinguished road
Contradictions entail any proposition: A Proof and a Question in need of answer at the the Foundations?

There are some confusions in your question1) That from a contradiction anything follows is not a reductio ad absurdum inference; it is, in fact, a property of most classical logical systems that is known since the Medieval Age (and a valid inference rule in Natural Deduction systems for these logics), and it's also still referenced by its latin name: ex falso quodlibet (it's not accepted by some modern currents: the so-called paraconsistent logics, but I don't find them convincing). A proof by reductio doesn't start by a contradiction; it starts with the premises and the negation of the conclusion, and ENDS with a contradiction (there are a few authors that distinguish between proofs by contradiction and proofs by reductio, a distinction that makes some sense in intuitionistic logic, but that's a different story).(2) Your philosophical argument is flawed because you made a confusion with the (classical) notion of Logical Consequence: an argument is sound iff the truthness of the premises implies the truthness of the conclusion. You cannot refute an argument in logical form because one of the premises is false; there are lots of logical flawless arguments with patently false premises. You can only refute an argument LOGICALLY if you find a state of affairs (a model) in which the premises are true and the conclusion false. Valid logical inference doesn't care about the truth of the premises; that's an issue outside Logic. (Before you ask: this notion of Logical Consedquence is compatible with a contradictory premise, because it has the form of an implication; if a premise is contradictory, then there is no model in which the premises are true, so the argument is vacuously true).(3) This being said, there is another unsavory mix in your question: beliefs with questions about logic. The fact that someone believes in something is logically irrelevant; Logic can only pass judgement about the consistency of those beliefs, and the consequences that follow from them, by sound rules of inference, IF they are true.
Reply With Quote