tag:blogger.com,1999:blog-3891434218564545511.post2648762933761629361..comments2024-03-27T20:37:09.185-05:00Comments on Alexander Pruss's Blog: We are not alone among language usersAlexander R Prusshttp://www.blogger.com/profile/05989277655934827117noreply@blogger.comBlogger5125tag:blogger.com,1999:blog-3891434218564545511.post-27384281153879151002016-01-28T15:53:52.451-06:002016-01-28T15:53:52.451-06:00This stuff is at the center of a paper I just fini...This stuff is at the center of a paper I just finished: http://alexanderpruss.com/papers/si.pdfAlexander R Prusshttps://www.blogger.com/profile/05989277655934827117noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-61443596970212452732016-01-20T11:32:58.194-06:002016-01-20T11:32:58.194-06:00Heath:
Good point.
But I can make this work wit...Heath:<br /><br />Good point. <br /><br />But I can make this work without truth, at the expense of 88 additional premises:<br />If Elizabeth is not old at one and she is old at two, there is a sharp transition in being old.<br />If Elizabeth is not old at two and she is old at three, there is a sharp transition in being old.<br />...<br /><br />I think these 88 premises are all very plausible. But classical logic yields a valid argument from the premises I gave in the post to the disjunction of the antecedents of the 88 additional premises, and hence by disjunction-elimination, it yields that there is a sharp transition in being old.<br /><br />One can also go through truth. By the T-schema:<br />If Elizabeth is not old at one but old at two, it is true that Elizabeth is not old at one but old at two.<br />...<br />So the disjunction of the consequents of these conditions is true. So at least one of the consequents is true.Alexander R Prusshttps://www.blogger.com/profile/05989277655934827117noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-45664470857138667872016-01-20T11:08:03.839-06:002016-01-20T11:08:03.839-06:00It also occurs to me that your support for the fir...It also occurs to me that your support for the first premise undermines your support for the second, and your support for the second undermines your support for the first.<br /><br />If we accept that all semantic truths are knowable because of the conventionality of language, we should immediately accept that all semantic truths are knowable to human beings, because the language we know is a human convention. The consequence is that if we want to say there is a sharp transition, it is knowable, but we have to set it ourselves by convention, e.g. you become old exactly when you reach age 60. (Of course this will in fact run into problems as well, when you realize that we cannot define an instant of time with infinite precision. But it makes no difference for the argument here.)<br /><br />Likewise, if we accept that there is a sharp transition which we cannot know, then we should deny that this is a convention, and thus we no longer have any reason to accept the first premise, unless we already know that God exists.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-75479441600227644602016-01-20T10:57:49.302-06:002016-01-20T10:57:49.302-06:00But (4) is clearly false.... So, at least one of t...<i>But (4) is clearly false.... So, at least one of the 88 statements is false. This means that there is a sharp transition.... Hence, (2) is true.</i><br /><br />It follows from the first two claims that there is a sharp transition, only if there is a sharp transition from "true" to "false." If truth is a vague predicate, like being old, then the argument fails and (2) is unsupported.<br /><br />And I think it pretty clearly has to be the case that "'Fa' is true" is vague iff F is vague. So the argument is question-begging. Heath Whitehttps://www.blogger.com/profile/13535886546816778688noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-52446651795620406302016-01-19T08:58:22.796-06:002016-01-19T08:58:22.796-06:00I think this is wrong. The word "old" is...I think this is wrong. The word "old" is simply not well defined, and the "straightforward matter of classical logic" implicitly includes the assumption that your terms are well defined. They are not, and so your conclusion is not valid.<br /><br />Of course, as I've commented before, in reality no terms are ever well defined.Anonymousnoreply@blogger.com