{"id":9781,"date":"2012-04-10T13:05:16","date_gmt":"2012-04-10T13:05:16","guid":{"rendered":"https:\/\/maverickphilosopher.blog\/index.php\/2012\/04\/10\/arguments-and-proofs-in-philosophy\/"},"modified":"2012-04-10T13:05:16","modified_gmt":"2012-04-10T13:05:16","slug":"arguments-and-proofs-in-philosophy","status":"publish","type":"post","link":"https:\/\/maverickphilosopher.blog\/index.php\/2012\/04\/10\/arguments-and-proofs-in-philosophy\/","title":{"rendered":"Arguments and Proofs in Philosophy"},"content":{"rendered":"<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">London Ed <a href=\"http:\/\/ocham.blogspot.com\/2012\/04\/another-argument-against-indivisibles.html\" target=\"_self\">writes<\/a>:<\/span><\/p>\n<blockquote>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">Philosophers always refer to their arguments as &#39;arguments&#39; and never as &#39;proofs&#39;. This is because there is nothing in the entire, nearly three thousand year history of philosophy that would count as a proof of anything. Nothing.<\/span><\/p>\n<\/blockquote>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">This <em>obiter dictum<\/em> illustrates how, by exaggerating and saying something that is strictly false, one can still manage to convey a truth.&#0160; The truth is that there is very little in the history of philosophy that could count as a proof of anything.&#0160; But of course some philosophers do refer to their arguments as proofs.&#0160; Think of those Thomists who speak of proofs of the existence of God.&#0160; And though no Thomist accepts the ontological &#39;proof,&#39; there are philosophers who refer to the ontological argument as a proof.&#0160; The Germans&#0160;also regularly speak of <em>der ontologische Gottesbeweis<\/em> rather than of <em>das ontologische Argument<\/em>.&#0160; For example, Frege in a famous passage from the <strong>Philosophy of Arithmetic<\/strong> writes,&#0160;&#0160;<em>Weil Existenz Eigenschaft des Begriffes ist, erreicht der ontologische Beweis von der Existenz Gottes sein Ziel nicht.<\/em> (sec. 53)<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">These quibbles aside, an argument is not the same as a proof.&#0160; &#39;Prove&#39; is a verb of success.&#0160; The same goes for &#39;disprove&#39; and &#39;refute.&#39;&#0160; But &#39;argue&#39; is not.&#0160; I may argue that p without establishing that p.&#0160; But if I prove that p, then I establish that p.&#0160; Indeed, I establish it as true.&#0160;<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">Why has almost nothing ever been proven in the history of philosophy?&#0160; <\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">It is because for an argument to count as a proof <strong>in philosophy &#8212;<\/strong> I leave aside mathematics which may not be so exacting<strong> &#8212; <\/strong>certain exceedingly demanding conditions must be met.&#0160; First, a proof must be deductive: no inductive argument proves its conclusion.&#0160; Second, a proof must be valid: it must be a deductive argument such that its corresponding conditional is a narrowly-logical truth, where an argument&#39;s corresponding conditional is a conditional proposition the&#0160;protasis of which is the conjunction of the argument&#39;s premises, and the&#0160;apodosis of which is the argument&#39;s conclusion.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">Third, although a valid argument needn&#39;t have true premises, a proof must have all true premises.&#0160; In other words, a proof must be a sound argument.&#0160; Fourth, a proof cannot commit any infomal fallacy such as <em>petitio principii<\/em>.&#0160; An argument from <em>p<\/em> to <em>p<\/em> is deductive, valid, and sound.&#0160; But it is obviously no proof of anything.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">Fifth, a proof must have premises that are not only true, but known to be true&#0160;by the producers and the consumers of the argument.&#0160; This is because a proof is not an argument considered <em>in abstracto <\/em>but a method for generating knoweldge for some cognizer.&#0160; For example, if I do not know that I am thinking,then I cannot use that premise in a proof that I exist.&#0160;<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">Sixth,&#0160; a proof in philosophy must have premises all&#0160;of which are known to be true in a sense of &#39;know&#39; that entails <a href=\"http:\/\/maverickphilosopher.typepad.com\/maverick_philosopher\/2011\/03\/knowledge-as-absolute-impossibility-of-mistake.html\" target=\"_self\">absolute impossibilty &#0160;of mistake<\/a>.&#0160; Why set the bar so high?&#0160; Well, if you say that you have proven the nonexistence of God, say, or that the self is but a bundle of perceptions, or that freedom of the will is an illuison, or whatever, and one of your premises is such that I can easily conceive its being false, then you haven&#39;t <em>proven<\/em> anything. You haven&#39;t <em>rationally compelled<\/em> me to accept your conclusion.&#0160;You may have given a &#39;good&#39; argument in the sense of a &#39;reasonable&#39; argument where that is one which satisfies my first four conditions; but you haven&#39;t given me a compelling argument, an argument which is such that, were I to reject it I would brand myself as irrational.&#0160; (Of course the only compulsion here at issue is <em>rational<\/em> compulsion, not <em>ad baculum<\/em> (<em><strong>ab<\/strong> baculum<\/em>?) compulsion.)<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">Given my exposition of the notion of proof in philosophy, I think it is clear that very little has ever been proven in philosophy. I am pretty sure that London Ed, as cantankerous and contrary as he is known to be, will agree.&#0160; But he goes further: he says that nothing has ever been proven in philosophy.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">But hasn&#39;t the sophomoric relativist been refuted?&#0160; He maintains that it is absolutely true that every truth is relative.&#0160; Clearly, the sophomoric relativist contradicts himself and refutes himself.&#0160; One might object to this example by claiming that no philosopher has ever been a sophomoric relativist.&#0160; But even if that is so, it is a possible philosophical position and one that is provably mistaken. Or so say I.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">Or consider a sophist like Daniel Dennet who maintains (in effect) that consciousness is an illusion.&#0160; That is easily refuted and I have done the job more than once in these pages.&#0160; But it is such a stupid thesis that it is barely worth refuting.&#0160; Its negation &#8212; that consciousness is not an illusion &#8212; is hardly a substantive thesis.&#0160; A substantive thesis would be: Consciousness is not dependent for its existence on any material things or processes.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">There is also the stupidity of that fellow Krauss who thinks that nothing is something.&#0160; Refuting this nonsense hardly earns one a place in the pantheon of philosophers.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">Nevertheless, I am in basic agreement with London Ed:&#0160; Nothing of any real substance has ever been proven in philosophy.&#0160; No one has ever proven that God exists, that God does not exist, that existence is a second-level property, that there is a self, that there is no self, that the will is free, that the will is not free, and so on.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">Or perhaps you think you have a <em>proof<\/em> of some substantive thesis?&#0160; Then I&#39;d like to hear it.&#0160; But it must be a proof in my exacting sense.&#0160; <\/span><\/p>\n","protected":false},"excerpt":{"rendered":"<p>London Ed writes: Philosophers always refer to their arguments as &#39;arguments&#39; and never as &#39;proofs&#39;. This is because there is nothing in the entire, nearly three thousand year history of philosophy that would count as a proof of anything. Nothing. This obiter dictum illustrates how, by exaggerating and saying something that is strictly false, one &hellip; <a href=\"https:\/\/maverickphilosopher.blog\/index.php\/2012\/04\/10\/arguments-and-proofs-in-philosophy\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;Arguments and Proofs in Philosophy&#8221;<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[108,20],"tags":[],"class_list":["post-9781","post","type-post","status-publish","format-standard","hentry","category-logica-docens","category-metaphilosophy"],"_links":{"self":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/posts\/9781","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/comments?post=9781"}],"version-history":[{"count":0,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/posts\/9781\/revisions"}],"wp:attachment":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/media?parent=9781"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/categories?post=9781"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/tags?post=9781"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}