6 ideas
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
14633 | How do we tell a table's being contingently plastic from its being essentially plastic? [Jackson] |
14635 | An x is essentially F if it is F in every possible world in which it appears [Jackson] |
14632 | Quine may have conflated de re and de dicto essentialism, but there is a real epistemological problem [Jackson] |
19284 | Asserting a necessity just expresses our inability to imagine it is false [Blackburn] |
14631 | How can you show the necessity of an a posteriori necessity, if it might turn out to be false? [Jackson] |