2

This is not a definitive answer, but too long for a comment. The OP quote has a footnote listing the "proponents (and most opponents) of the knowledge argument" who take propositional knowledge "in a broader sense". Among the references are Lycan, who is classified by SEP under The New Knowledge/Old Fact View on Mary. According to this ...


1

Smith defines a proposition as an expression that is either true or false. S2, S3, and S4 are plausibly interpreted as descriptions of the world, and so true or false. For example, it may be true or false that, say, the speaker wishes Los Angeles were not that far away, as in S3. In this case, S3 is a description of the speaker's mental state. S1, in ...


1

This is only a partial answer - it's mostly meant to push back on the framing (hehe) of the question as currently posed. That said, I do think it meaningfully contributes to the topic. Kripke frames and possible world semantics are one way to interpret modal logic. However, they're not the only way - and even if we commit ourselves to using Kripke frames, ...


1

Welcome, user62099 The usual term is an 'inconsistent triad' : an inconsistent triad ... a collection of propositions, any two of which are compatible with each another but which, when viewed together in a threesome, form a contradiction. (Albert Weale, 'Rationing Health Care: A Logical Solution to an Inconsistent Triad', British Medical ...


Only top voted, non community-wiki answers of a minimum length are eligible