Re: Linguistic Miscellany Thread
Posted: Thu Jul 09, 2020 8:35 pm
We agree on a lot, so I will try to focus on remaining points of disagreement (or maybe it's different backgrounds; I weigh pragmatics very highly).
I assume you know Makinson's paradox of the preface. Authors usually state that "remaining errors in the book are mine", and yet if asked, would maintain that they've fact-checked everything and are not aware of any errors. This is hard to address with classical logic, but on a human level it's neither strange nor uncommon.
I don't see that there's a pragmatic or deductive part that you can take away, leaving some sort of "essence of must" where must(p) -> p. To me the parts you want to set aside-- the things we both acknowledge weaken its meaning-- are key to its meaning. But perhaps I just don't understand you... what is the "other part" of "must"?
The only candidate I can see is the central meaning of must-- absolute necessity. It's hard to come up with loophole-free examples... maybe something from basic physics, or Boolean logic. If it helps, I agree that if P is absolutely necessary, then P. But this is one of those words that are almost always used in a much lesser sense. Not even "it must be raining" is a claim of absolute necessity.
It goes beyond "if", which he discusses. The words "and, or, each, every", and more, don't exactly match their logical counterparts.
This doesn't mean that there's something wrong with logic, just that we can't just say that e.g. "and" means AND and that's it. And conjunctions are relatively simple.
It's odd only if you view eliminating contradictions as possible in practice.priscianic wrote: ↑Thu Jul 09, 2020 12:13 pm Another puzzle about epistemic contradictions is that, as Beddor and Goldstein (2018) point out, it's perfectly reasonable to personally hold a belief in p, while also acknowledging that that belief might be mistaken and that it might be the case that not p. But asserting both of these things at once, in the same breath, ends up sounding odd (to most people, I guess).
I assume you know Makinson's paradox of the preface. Authors usually state that "remaining errors in the book are mine", and yet if asked, would maintain that they've fact-checked everything and are not aware of any errors. This is hard to address with classical logic, but on a human level it's neither strange nor uncommon.
I'm glad we agree on this, though I'd note that in form these sentences are identical to "It must be raining, but perhaps it's not." Classical logic at least doesn't let us peer into a proposition P to see if it's inherently difficult to test.zompist wrote: ↑Wed Jul 08, 2020 4:46 pm Yeah, this kind of data is one of the big arguments for the "must is weak" camp—e.g. Lassiter (2016), who argues for a probablistic semantics for must. As you note, it's quite tricky to deal with this for the "must is strong" camp, and you're forced to say something that perhaps isn't so satisfactory.
It seems to me that you want to divide up "must" into two things, one of which we agree on.I'm not sure if I understand what the disagreement is then—neither I nor von Fintel and Gillies (nor Lassiter, nor Mandelkern, etc.) are challenging the idea that must indicates deductive grounds/indirect evidence for our belief---I think everyone (now) acknowledges that this is probably true. But the question that people are arguing about in the literature is whether must p entails p, or if it doesn't.
I don't see that there's a pragmatic or deductive part that you can take away, leaving some sort of "essence of must" where must(p) -> p. To me the parts you want to set aside-- the things we both acknowledge weaken its meaning-- are key to its meaning. But perhaps I just don't understand you... what is the "other part" of "must"?
The only candidate I can see is the central meaning of must-- absolute necessity. It's hard to come up with loophole-free examples... maybe something from basic physics, or Boolean logic. If it helps, I agree that if P is absolutely necessary, then P. But this is one of those words that are almost always used in a much lesser sense. Not even "it must be raining" is a claim of absolute necessity.
When you say "emphasizes where language does not work like logic", I wonder what kind of logic you mean? I think most semanticists well understand that human language doesn't work on the principles of classical logic—this is why we make use of the tools of modal logic, or sometimes multivalued logics, etc.
It goes beyond "if", which he discusses. The words "and, or, each, every", and more, don't exactly match their logical counterparts.
This doesn't mean that there's something wrong with logic, just that we can't just say that e.g. "and" means AND and that's it. And conjunctions are relatively simple.