11 ideas
9456 | Modal logic is multiple systems, shown in the variety of accessibility relations between worlds [Jacquette] |
15102 | S4 says there must be some necessary truths (the actual ones, of which there is at least one) [Cameron] |
9457 | The two main views in philosophy of logic are extensionalism and intensionalism [Jacquette] |
9458 | Extensionalists say that quantifiers presuppose the existence of their objects [Jacquette] |
9461 | Intensionalists say meaning is determined by the possession of properties [Jacquette] |
17697 | The existence of an arbitrarily large number refutes the idea that numbers come from experience [Hilbert] |
17698 | Logic already contains some arithmetic, so the two must be developed together [Hilbert] |
15103 | Blackburn fails to show that the necessary cannot be grounded in the contingent [Cameron] |
9460 | Extensionalist semantics forbids reference to nonexistent objects [Jacquette] |
9459 | Extensionalist semantics is circular, as we must know the extension before assessing 'Fa' [Jacquette] |
15104 | The 'moving spotlight' theory makes one time privileged, while all times are on a par ontologically [Cameron] |