Combining Texts

All the ideas for 'The Meaning of 'Meaning'', 'On the Question of Absolute Undecidability' and 'Modal Logic'

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

22 ideas

4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / b. System K
14970 Normal system K has five axioms and rules [Cresswell]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / c. System D
14971 D is valid on every serial frame, but not where there are dead ends [Cresswell]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / g. System S4
14972 S4 has 14 modalities, and always reduces to a maximum of three modal operators [Cresswell]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
14973 In S5 all the long complex modalities reduce to just three, and their negations [Cresswell]
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
14976 Reject the Barcan if quantifiers are confined to worlds, and different things exist in other worlds [Cresswell]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
17884 Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner]
17893 'Reflection principles' say the whole truth about sets can't be captured [Koellner]
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
17894 We have no argument to show a statement is absolutely undecidable [Koellner]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / i. Cardinal infinity
17890 There are at least eleven types of large cardinal, of increasing logical strength [Koellner]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / d. Peano arithmetic
17887 PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic
17891 Arithmetical undecidability is always settled at the next stage up [Koellner]
8. Modes of Existence / A. Relations / 4. Formal Relations / a. Types of relation
14974 A relation is 'Euclidean' if aRb and aRc imply bRc [Cresswell]
9. Objects / D. Essence of Objects / 15. Against Essentialism
18890 Putnam smuggles essentialism about liquids into his proof that water must be H2O [Salmon,N on Putnam]
10. Modality / A. Necessity / 4. De re / De dicto modality
14975 A de dicto necessity is true in all worlds, but not necessarily of the same thing in each world [Cresswell]
15. Nature of Minds / B. Features of Minds / 5. Qualia / b. Qualia and intentionality
7705 The Twin Earth theory suggests that intentionality is independent of qualia [Jacquette on Putnam]
18. Thought / C. Content / 5. Twin Earth
4099 If Twins talking about 'water' and 'XYZ' have different thoughts but identical heads, then thoughts aren't in the head [Putnam, by Crane]
12026 We say ice and steam are different forms of water, but not that they are different forms of H2O [Forbes,G on Putnam]
3208 Does 'water' mean a particular substance that was 'dubbed'? [Putnam, by Rey]
19. Language / B. Reference / 4. Descriptive Reference / a. Sense and reference
3893 Often reference determines sense, and not (as Frege thought) vice versa [Putnam, by Scruton]
26. Natural Theory / B. Natural Kinds / 4. Source of Kinds
11191 The hidden structure of a natural kind determines membership in all possible worlds [Putnam]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / a. Scientific essentialism
11192 If causes are the essence of diseases, then disease is an example of a relational essence [Putnam, by Williams,NE]
11190 Archimedes meant by 'gold' the hidden structure or essence of the stuff [Putnam]