tag:blogger.com,1999:blog-4667288583830493271.post3720923881440763858..comments2017-08-14T08:40:45.079-07:00Comments on Philosophy in Progress: The Sheffer stroke, and the blandest antirealism everSharon Berryhttp://www.blogger.com/profile/17434076853502881274noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-4667288583830493271.post-23165597780090866092012-02-08T07:51:19.412-08:002012-02-08T07:51:19.412-08:00Hey John,
Thanks for your post. I see now that my...Hey John, <br />Thanks for your post. I see now that my post was a bit unclear about truth funcitonally equiavlent *sentences* vs. truthfunctionally equivaalent *connectives*. <br /><br />I fully agree that quafka and ! mean the same thing, and also that `X quakfa Y' and `X | Y' mean the same thing.<br /><br />But do you think that "X|Y" and "~(X&Y)" express the same thing? If so do you think "X|Y" and "~Xv~Y" mean the same thing? In order to make sense of the fact that people can believe some tautologies while not believing others we need to say that mere truth functional equivalence is not sufficient for sameness if meaning.<br /><br />Now if you buy that expressions involving | mean something different from their paraphrases in terms of ~ and &, then here is my argument.<br /><br />Consider a language that just has ~ v and & as truthfunctional connectives. There are some true propositions, those involving |, which this language cannot express. Thus a complete true description of the world can't be given in L. So we expand L to L', including the sheffer stroke.<br /><br /> But now we can repeat the trick again. Pick some random way of selecting some lines as true and others as false in a truth table with three atomic propositions. This will corresponds a new, three-place truth functional connective *. Buy the argument above there will be propositions expressable in terms of * which are not equivalent to any truth functional paraphrase using only the logical connectives in L'. Thus we need to expand L' to L''...Sharon Berryhttps://www.blogger.com/profile/17434076853502881274noreply@blogger.comtag:blogger.com,1999:blog-4667288583830493271.post-38779562960364425972011-12-28T13:17:04.900-08:002011-12-28T13:17:04.900-08:00Hmm, this seems suspicious. I don't see how yo...Hmm, this seems suspicious. I don't see how your argument rules out the possibility that the world can be completely described using only philosophical English (which we'd probably both agree is a "finite language" I guess -- it has finitely many basic terms, though infinitely many possible sentences).<br /><br />Consider assertions like:<br /><br />(1) If "X quakfa Y" means "not both X and Y are true," then for any proposition X, "(X quakfa X) quakfa X" is always true.<br /><br />Compare this with:<br /><br />(2) (X | X) | X [where "|" is the Sheffer stroke]<br /><br />Maybe I'm a little naïve about the theory of meaning, but it seems odd to assert that (2) expresses something that is not captured by (1).. wouldn't this be like saying that "bunnies are cute" expresses something different than "rabbits are cute" just because they use different words? And you probably don't want to go down that path and claim that no assertion in Korean can express the same thing as "The sun is yellow" just because "yellow" is not a word in Korean.<br /><br />If you accept that (1) and (2) have the same meaning, then it seems that your argument won't work for any language which is sufficiently rich that it has both the basic logical connectives and it can quantify over both natural numbers and logical connectives (which is a kind of weak second-order quantification, I guess).Johnhttps://www.blogger.com/profile/17662291043889365853noreply@blogger.com