Combining Texts

All the ideas for 'Propositions', 'The Logic of Decision' and 'A Completeness Theorem in Modal Logic'

expand these ideas     |    start again     |     specify just one area for these texts

16 ideas

3. Truth / A. Truth Problems / 5. Truth Bearers
13941 Are the truth-bearers sentences, utterances, ideas, beliefs, judgements, propositions or statements? [Cartwright,R]
13942 Logicians take sentences to be truth-bearers for rigour, rather than for philosophical reasons [Cartwright,R]
4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
10163 Propositional modal logic has been proved to be complete [Kripke, by Feferman/Feferman]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / a. Systems of modal logic
10760 With possible worlds, S4 and S5 are sound and complete, but S1-S3 are not even sound [Kripke, by Rossberg]
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
16189 The variable domain approach to quantified modal logic invalidates the Barcan Formula [Kripke, by Simchen]
15132 The Barcan formulas fail in models with varying domains [Kripke, by Williamson]
9. Objects / F. Identity among Objects / 4. Type Identity
13945 A token isn't a unique occurrence, as the case of a word or a number shows [Cartwright,R]
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / b. Worlds as fictions
16285 A possible world can be seen as a complete and consistent novel [Jeffrey]
14. Science / C. Induction / 6. Bayes's Theorem
19155 Instead of gambling, Jeffrey made the objects of Bayesian preference to be propositions [Jeffrey, by Davidson]
19. Language / A. Nature of Meaning / 1. Meaning
13950 People don't assert the meaning of the words they utter [Cartwright,R]
13948 For any statement, there is no one meaning which any sentence asserting it must have [Cartwright,R]
19. Language / D. Propositions / 1. Propositions
13944 We can pull apart assertion from utterance, and the action, the event and the subject-matter for each [Cartwright,R]
13947 'It's raining' makes a different assertion on different occasions, but its meaning remains the same [Cartwright,R]
19. Language / D. Propositions / 4. Mental Propositions
13943 We can attribute 'true' and 'false' to whatever it was that was said [Cartwright,R]
13946 To assert that p, it is neither necessary nor sufficient to utter some particular words [Cartwright,R]
19. Language / F. Communication / 2. Assertion
13951 Assertions, unlike sentence meanings, can be accurate, probable, exaggerated, false.... [Cartwright,R]