{"id":5579,"date":"2017-04-27T05:52:59","date_gmt":"2017-04-27T05:52:59","guid":{"rendered":"https:\/\/maverickphilosopher.blog\/index.php\/2017\/04\/27\/an-exchange-on-the-metaphysics-of-truthmaking\/"},"modified":"2017-04-27T05:52:59","modified_gmt":"2017-04-27T05:52:59","slug":"an-exchange-on-the-metaphysics-of-truthmaking","status":"publish","type":"post","link":"https:\/\/maverickphilosopher.blog\/index.php\/2017\/04\/27\/an-exchange-on-the-metaphysics-of-truthmaking\/","title":{"rendered":"An Exchange on the Metaphysics of Truthmaking"},"content":{"rendered":"<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 11pt;\"><strong>Dan M:<\/strong><\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 11pt;\">Discussing a puzzle about divine simplicity has led us to the metaphysics of truthmaking; I&#39;ll just focus on the latter for now &#8211; but the broader dialectic is this: I was thinking that a particular view about truthmaking can help us with that puzzle about simplicity. [Cf. first related article below.]<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 11pt;\">Take your sentence &#39;Al is fat&#39;, and suppose it&#39;s true. I agree it must be somehow *made* true, and I agree it can&#39;t be made true by Al, or fatness, or the sum or set of the two.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 11pt;\">I suspect that we disagree about the following question: Must the sentence be made true by an item (entity, etc.)? If we answer &quot;yes&quot;, then the natural proposal is to posit an entity with, as you say, a proposition-like structure, such as a state of affairs of Al&#39;s being fat. But suppose we answer &quot;no&quot;: though &#39;Al is fat&#39; must, if true, be made true, it needn&#39;t be made true by an item. How could it be made true without being made true by an item? Well suppose we express its being made true as follows:<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 11pt;\">(*) The sentence &#39;Al is fat&#39; is true because Al is fat.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 11pt;\">That is, the sentence (a linguistic item) is true because Al (a man) is fat. The sentence to the right of &#39;because&#39; in (*) expresses what it is about the world in virtue of which the sentence &#39;Al is fat&#39; is true. But (*) nowhere refers to an *item* of Al&#39;s being fat. The only referring term appearing to the right of &#39;because&#39; is &#39;Al&#39;.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"color: #0000bf; font-family: georgia, palatino; font-size: 11pt;\"><strong>Bill V:<\/strong><\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"color: #0000bf; font-family: georgia, palatino; font-size: 11pt;\">Dan grants that some truthbearers need truthmakers, but thinks that truthmakers needn&#39;t be entities. Right here I must lodge an objection. A truthmaker is an entity <em>by definition<\/em>. &#0160;That truthmakers are entities is built into the theory. If the true sentence &#39;Al is fat&#39; (or the proposition expressed by a thoughtful utterance of this sentence) needs a truthmaker, then this sentence\/proposition cannot just be true: there must be, external to the sentence\/proposition, an entity that &#39;makes&#39; it true. &#0160;But of course this entity cannot itself be a truthbearer, whether a declarative sentence, a Fregean proposition, an Aristotelian proposition, a judgment, a statement, a belief, or any cognate item. &#0160;This point is crucial, so forgive me for belaboring it a bit.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"color: #0000bf; font-family: georgia, palatino; font-size: 11pt;\">Suppose we have a valid deductive argument all of the premises of which are true. &#0160;Then, from Logic 101, we know that the conclusion must also be true. &#0160;To put it precisely, and taking care not to confuse the <em>necessitas consequentiae<\/em> with the <em>necessitas consequentiis<\/em>: Necessarily, if the premises are all true, then the conclusion is true. &#0160;In this precise sense the truth of the premises <em>necessitates<\/em> the truth of the conclusion.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"color: #0000bf; font-family: georgia, palatino; font-size: 11pt;\">Could one say that the conjunction of the premises &#39;makes true&#39; the conclusion, that the conjunction of premises is the truthmaker &#0160;of the conclusion? &#0160;One could <em>say<\/em> this, but this is not what truthmaker theorists mean when that say that a truthmaker makes true a truthbearer, or that a truthbearer needs a truthmaker. &#0160; What they mean is that some if not all truthbearers need truthmakers that are not truthbearers.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"color: #0000bf; font-family: georgia, palatino; font-size: 11pt;\">As I use &#39;truthmaker,&#39; no truthmaker is a truthbearer. &#0160;(I ignore some recherch\u00e9&#0160;counterexamples.) So the proposition <em>Tom is tall<\/em>&#0160;is not the truthmaker of the proposition&#0160;<em>Someone is tall.<\/em>&#0160;And this despite the fact that the first proposition entails the second. Does the second proposition have a truthmaker? Yes. In fact it has more than one. <strong>Tom&#39;s being tall<\/strong> is one, <strong>Bill&#39;s being tall<\/strong> is another. &#0160;But these are not propositions, but <em>ontological grounds<\/em> of true propositions.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"color: #0000bf; font-family: georgia, palatino; font-size: 11pt;\">So if &#39;Al is fat&#39; has a truthmaker, then there exists an entity external to this sentence and to every sentence (proposition, etc.) that makes the sentence (proposition, etc.) &#0160;true. &#0160;If entailment is a logical relation, then truthmaking is not a logical relation. &#0160;Logical relations connect propositions to propositions; truthmaking, however, connects a non-propositional chunk of external reality to a proposition (or cognate item). <em>&#0160;<\/em><strong>Al&#39;s being fat<\/strong>, for example, is not a proposition. &#0160;It is a state of affairs or concrete fact. Propositions are either true or false, but it is neither; it either exists or it does not. If it exists, then it it can serve as the truthmaker of &#39;Al is fat.&#39; &#0160;Concrete (Armstrongian) states of affairs are not bipolar or bivalent items. In this respect they are not like Chisholmian-Plantingian abstract states of affairs.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"color: #0000bf; font-family: georgia, palatino; font-size: 11pt;\">What Dan should say is there is no need for truthmakers, not that truthmakers needn&#39;t be entities.&#0160;<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"color: #0000bf; font-family: georgia, palatino; font-size: 11pt;\">&#0160;Dan offers<\/span><\/p>\n<blockquote>\n<p><span style=\"color: #0000bf; font-family: georgia, palatino; font-size: 11pt;\">(*) The sentence &#39;Al is fat&#39; is true because Al is fat<\/span><\/p>\n<\/blockquote>\n<p style=\"text-align: justify;\"><span style=\"color: #0000bf; font-family: georgia, palatino; font-size: 11pt;\">to show that a truthmaker need not be an entity.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"color: #0000bf; font-family: georgia, palatino; font-size: 11pt;\">It seems to me, though, that Dan is confusing a truthmaker with a truth condition. &#0160;A truthmaker is concrete chunk of extralinguistic and extramental reality whereas a truth condition is just another sentence, proposition, or cognate item. &#0160;Our old friend Alan Rhoda in <a href=\"http:\/\/www.alanrhoda.net\/blog\/2006\/04\/truthmakers-vs-truth-conditions.html\" style=\"color: #0000bf;\">an old blog post<\/a> does a good job of explaining the distinction:<\/span><\/p>\n<blockquote>\n<p style=\"text-align: justify;\"><span style=\"color: #0000bf; font-family: georgia, palatino; font-size: 11pt;\">. . .truthmakers are parcels of reality . . . .<\/span><\/p>\n<p><span style=\"color: #0000bf; font-family: georgia, palatino; font-size: 11pt;\">Not so with truth conditions. Truth conditions are semantic explications of the meaning of statements. They tell us in very precise terms what has to be true for a particular statement to be true. For example, a B-theorist like Nathan Oaklander will say that the truth conditions of the sentence &quot;The 2006 Winter Olympics are over&quot; is given by the sentence &quot;The 2006 Winter Olympics end earlier than the date of this utterance&quot;. Thus truth conditions are meaning entities like statements that are used to spell out or analyze the meaning of other statements.<\/span><br \/><span style=\"color: #0000bf; font-family: georgia, palatino; font-size: 11pt;\">&#0160;<\/span><\/p>\n<\/blockquote>\n<p style=\"text-align: justify;\"><span style=\"color: #0000bf; font-family: georgia, palatino; font-size: 11pt;\">Dan&#39;s (*) merely sets forth a truth condition. It doesn&#39;t get us off the level of propositions and down to the level of truthmakers.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"color: #0000bf; font-family: georgia, palatino; font-size: 11pt;\">Another important point has to do with the asymmetry of truthmaking: if T makes true p, it does not follow that p makes true T. &#0160;It&#39;s an asymmetry of explanation. If one thing explains another, it does not follow that the other explains the one. The truthmaker theorist takes seriously the project of metaphysical explanation. Truthmakers explain why true truthbearers are true. &#0160;Dan&#39;s (*), however, entails the following non-explanatory biconditional:<\/span><\/p>\n<blockquote>\n<p style=\"text-align: justify;\"><span style=\"color: #0000bf; font-family: georgia, palatino; font-size: 11pt;\">(**) The sentence &#39;Al is fat&#39; is true iff Al is fat.<\/span><\/p>\n<\/blockquote>\n<p style=\"text-align: justify;\"><span style=\"color: #0000bf; font-family: georgia, palatino; font-size: 11pt;\">But (**) has nothing to do with truthmaking; it is but an instance of Quine&#39;s disquotational schema according to which the truth predicate is but a device of disquotation. We remain on the level of sentences (propositions, etc.)<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"color: #0000bf; font-family: georgia, palatino; font-size: 11pt;\">In sum, I see no merit in Dan&#39;s suggestion that there are truthmakers but they needn&#39;t be entities. That shows a failure to grasp the notion of a truthmaker. What Dan should say is that there is no need for truthmakers. &#0160;He might also try arguing that the truthmaking relation is bogus or unintelligible since it is neither a logical relation nor a causal one.<\/span><span style=\"font-family: georgia, palatino; font-size: 11pt;\">&#0160;<\/span>&#0160;<\/p>\n<fieldset class=\"zemanta-related\">\n<legend class=\"zemanta-related-title\"><span style=\"font-family: georgia, palatino; font-size: 11pt;\">Related articles<\/span><\/legend>\n<div class=\"zemanta-article-ul zemanta-article-ul-image\" style=\"margin: 0; padding: 0; overflow: hidden;\">\n<div class=\"zemanta-article-ul-li-image zemanta-article-ul-li\" style=\"padding: 0px; background: none; list-style: none; display: block; float: left; vertical-align: top; width: 84px; font-size: 11px; margin: 2px 10px 10px 2px; text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 11pt;\"><a href=\"http:\/\/maverickphilosopher.typepad.com\/maverick_philosopher\/2017\/04\/mental-act-nominalism-with-an-application-to-divine-simplicity.html\" rel=\"noopener noreferrer\" style=\"box-shadow: 0px 0px 4px #999; padding: 2px; display: block; border-radius: 2px; text-decoration: none;\" target=\"_blank\"><img decoding=\"async\" src=\"https:\/\/i.zemanta.com\/noimg_17_80_80.jpg\" style=\"padding: 0; margin: 0; border: 0; display: block; width: 80px; max-width: 100%;\" \/><\/a><a href=\"http:\/\/maverickphilosopher.typepad.com\/maverick_philosopher\/2017\/04\/mental-act-nominalism-with-an-application-to-divine-simplicity.html\" rel=\"noopener noreferrer\" style=\"display: block; overflow: hidden; text-decoration: none; line-height: 12pt; height: 80px; padding: 5px 2px 0 2px;\" target=\"_blank\">Mental Act Nominalism with an Application to Divine Simplicity<\/a><\/span><\/div>\n<div class=\"zemanta-article-ul-li-image zemanta-article-ul-li\" style=\"padding: 0px; background: none; list-style: none; display: block; float: left; vertical-align: top; width: 84px; font-size: 11px; margin: 2px 10px 10px 2px; text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 11pt;\"><a href=\"http:\/\/maverickphilosopher.typepad.com\/maverick_philosopher\/2015\/07\/is-new-jersey-an-artifact.html\" rel=\"noopener noreferrer\" style=\"box-shadow: 0px 0px 4px #999; padding: 2px; display: block; border-radius: 2px; text-decoration: none;\" target=\"_blank\"><img decoding=\"async\" src=\"https:\/\/i.zemanta.com\/352283552_80_80.jpg\" style=\"padding: 0; margin: 0; border: 0; display: block; width: 80px; max-width: 100%;\" \/><\/a><a href=\"http:\/\/maverickphilosopher.typepad.com\/maverick_philosopher\/2015\/07\/is-new-jersey-an-artifact.html\" rel=\"noopener noreferrer\" style=\"display: block; overflow: hidden; text-decoration: none; line-height: 12pt; height: 80px; padding: 5px 2px 0 2px;\" target=\"_blank\">Is New Jersey an Artifact? And Everything Else Too?<\/a><\/span><\/div>\n<div class=\"zemanta-article-ul-li-image zemanta-article-ul-li\" style=\"padding: 0px; background: none; list-style: none; display: block; float: left; vertical-align: top; width: 84px; font-size: 11px; margin: 2px 10px 10px 2px; text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 11pt;\"><a href=\"http:\/\/maverickphilosopher.typepad.com\/maverick_philosopher\/2015\/04\/in-a-philosophical-conversation-threes-a-crowd.html\" rel=\"noopener noreferrer\" style=\"box-shadow: 0px 0px 4px #999; padding: 2px; display: block; border-radius: 2px; text-decoration: none;\" target=\"_blank\"><img decoding=\"async\" src=\"https:\/\/i.zemanta.com\/337884184_80_80.jpg\" style=\"padding: 0; margin: 0; border: 0; display: block; width: 80px; max-width: 100%;\" \/><\/a><a href=\"http:\/\/maverickphilosopher.typepad.com\/maverick_philosopher\/2015\/04\/in-a-philosophical-conversation-threes-a-crowd.html\" rel=\"noopener noreferrer\" style=\"display: block; overflow: hidden; text-decoration: none; line-height: 12pt; height: 80px; padding: 5px 2px 0 2px;\" target=\"_blank\">In a Philosophical Conversation, Three&#39;s a Crowd<\/a><\/span><\/div>\n<div class=\"zemanta-article-ul-li-image zemanta-article-ul-li\" style=\"padding: 0px; background: none; list-style: none; display: block; float: left; vertical-align: top; width: 84px; font-size: 11px; margin: 2px 10px 10px 2px; text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 11pt;\"><a href=\"http:\/\/maverickphilosopher.typepad.com\/maverick_philosopher\/2015\/04\/facts-opinions-and-common-core-1.html\" rel=\"noopener noreferrer\" style=\"box-shadow: 0px 0px 4px #999; padding: 2px; display: block; border-radius: 2px; text-decoration: none;\" target=\"_blank\"><img decoding=\"async\" src=\"https:\/\/i.zemanta.com\/340073141_80_80.jpg\" style=\"padding: 0; margin: 0; border: 0; display: block; width: 80px; max-width: 100%;\" \/><\/a><a href=\"http:\/\/maverickphilosopher.typepad.com\/maverick_philosopher\/2015\/04\/facts-opinions-and-common-core-1.html\" rel=\"noopener noreferrer\" style=\"display: block; overflow: hidden; text-decoration: none; line-height: 12pt; height: 80px; padding: 5px 2px 0 2px;\" target=\"_blank\">Facts, Opinions, and Common Core<\/a><\/span><\/div>\n<div class=\"zemanta-article-ul-li-image zemanta-article-ul-li\" style=\"padding: 0px; background: none; list-style: none; display: block; float: left; vertical-align: top; width: 84px; font-size: 11px; margin: 2px 10px 10px 2px; text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 11pt;\"><a href=\"http:\/\/maverickphilosopher.typepad.com\/maverick_philosopher\/2015\/06\/does-the-atheist-deny-what-the-theist-affirms.html\" rel=\"noopener noreferrer\" style=\"box-shadow: 0px 0px 4px #999; padding: 2px; display: block; border-radius: 2px; text-decoration: none;\" target=\"_blank\"><img decoding=\"async\" src=\"https:\/\/i.zemanta.com\/345535778_80_80.jpg\" style=\"padding: 0; margin: 0; border: 0; display: block; width: 80px; max-width: 100%;\" \/><\/a><a href=\"http:\/\/maverickphilosopher.typepad.com\/maverick_philosopher\/2015\/06\/does-the-atheist-deny-what-the-theist-affirms.html\" rel=\"noopener noreferrer\" style=\"display: block; overflow: hidden; text-decoration: none; line-height: 12pt; height: 80px; padding: 5px 2px 0 2px;\" target=\"_blank\">Does the Atheist Deny What the Theist Affirms?<\/a><\/span><\/div>\n<div class=\"zemanta-article-ul-li-image zemanta-article-ul-li\" style=\"padding: 0; background: none; list-style: none; display: block; float: left; vertical-align: top; text-align: left; width: 84px; font-size: 11px; margin: 2px 10px 10px 2px;\"><a href=\"http:\/\/maverickphilosopher.typepad.com\/maverick_philosopher\/2015\/04\/carnap-and-clarity.html\" rel=\"noopener noreferrer\" style=\"box-shadow: 0px 0px 4px #999; padding: 2px; display: block; border-radius: 2px; text-decoration: none;\" target=\"_blank\"><img decoding=\"async\" src=\"https:\/\/i.zemanta.com\/339659606_80_80.jpg\" style=\"padding: 0; margin: 0; border: 0; display: block; width: 80px; max-width: 100%;\" \/><\/a><a href=\"http:\/\/maverickphilosopher.typepad.com\/maverick_philosopher\/2015\/04\/carnap-and-clarity.html\" rel=\"noopener noreferrer\" style=\"display: block; overflow: hidden; text-decoration: none; line-height: 12pt; height: 80px; padding: 5px 2px 0 2px;\" target=\"_blank\">Carnap and Clarity<\/a><\/div>\n<div class=\"zemanta-article-ul-li-image zemanta-article-ul-li\" style=\"padding: 0; background: none; list-style: none; display: block; float: left; vertical-align: top; text-align: left; width: 84px; font-size: 11px; margin: 2px 10px 10px 2px;\"><a href=\"http:\/\/maverickphilosopher.typepad.com\/maverick_philosopher\/2015\/07\/searle-realism-as-condition-of-intelligibility.html\" rel=\"noopener noreferrer\" style=\"box-shadow: 0px 0px 4px #999; padding: 2px; display: block; border-radius: 2px; text-decoration: none;\" target=\"_blank\"><img decoding=\"async\" src=\"https:\/\/i.zemanta.com\/352111513_80_80.jpg\" style=\"padding: 0; margin: 0; border: 0; display: block; width: 80px; max-width: 100%;\" \/><\/a><a href=\"http:\/\/maverickphilosopher.typepad.com\/maverick_philosopher\/2015\/07\/searle-realism-as-condition-of-intelligibility.html\" rel=\"noopener noreferrer\" style=\"display: block; overflow: hidden; text-decoration: none; line-height: 12pt; height: 80px; padding: 5px 2px 0 2px;\" target=\"_blank\">Objective Truth as a Condition of Intelligibility<\/a><\/div>\n<\/div>\n<\/fieldset>\n","protected":false},"excerpt":{"rendered":"<p>Dan M: Discussing a puzzle about divine simplicity has led us to the metaphysics of truthmaking; I&#39;ll just focus on the latter for now &#8211; but the broader dialectic is this: I was thinking that a particular view about truthmaking can help us with that puzzle about simplicity. [Cf. first related article below.] Take your &hellip; <a href=\"https:\/\/maverickphilosopher.blog\/index.php\/2017\/04\/27\/an-exchange-on-the-metaphysics-of-truthmaking\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;An Exchange on the Metaphysics of Truthmaking&#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":[237,228],"tags":[],"class_list":["post-5579","post","type-post","status-publish","format-standard","hentry","category-facts","category-truth"],"_links":{"self":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/posts\/5579","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=5579"}],"version-history":[{"count":0,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/posts\/5579\/revisions"}],"wp:attachment":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/media?parent=5579"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/categories?post=5579"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/tags?post=5579"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}