55 ideas
21360 | Unobservant thinkers tend to dogmatise using insufficient facts [Aristotle] |
19275 | You cannot understand what exists without understanding possibility and necessity [Hale] |
19291 | A canonical defintion specifies the type of thing, and what distinguish this specimen [Hale] |
19297 | The two Barcan principles are easily proved in fairly basic modal logic [Hale] |
19301 | With a negative free logic, we can dispense with the Barcan formulae [Hale] |
19296 | If second-order variables range over sets, those are just objects; properties and relations aren't sets [Hale] |
19289 | Maybe conventionalism applies to meaning, but not to the truth of propositions expressed [Hale] |
19298 | Unlike axiom proofs, natural deduction proofs needn't focus on logical truths and theorems [Hale] |
13212 | Infinity is only potential, never actual [Aristotle] |
19295 | Add Hume's principle to logic, to get numbers; arithmetic truths rest on the nature of the numbers [Hale] |
13221 | Existence is either potential or actual [Aristotle] |
16100 | True change is in a thing's logos or its matter, not in its qualities [Aristotle] |
16101 | A change in qualities is mere alteration, not true change [Aristotle] |
12133 | If the substratum persists, it is 'alteration'; if it doesn't, it is 'coming-to-be' or 'passing-away' [Aristotle] |
13213 | All comings-to-be are passings-away, and vice versa [Aristotle] |
19281 | Interesting supervenience must characterise the base quite differently from what supervenes on it [Hale] |
19278 | There is no gap between a fact that p, and it is true that p; so we only have the truth-condtions for p [Hale] |
12134 | Matter is the substratum, which supports both coming-to-be and alteration [Aristotle] |
19302 | If a chair could be made of slightly different material, that could lead to big changes [Hale] |
16572 | Does the pure 'this' come to be, or the 'this-such', or 'so-great', or 'somewhere'? [Aristotle] |
16573 | Philosophers have worried about coming-to-be from nothing pre-existing [Aristotle] |
13214 | The substratum changing to a contrary is the material cause of coming-to-be [Aristotle] |
13215 | If a perceptible substratum persists, it is 'alteration'; coming-to-be is a complete change [Aristotle] |
19290 | Absolute necessities are necessarily necessary [Hale] |
19286 | 'Absolute necessity' is when there is no restriction on the things which necessitate p [Hale] |
19288 | Logical and metaphysical necessities differ in their vocabulary, and their underlying entities [Hale] |
19285 | Logical necessity is something which is true, no matter what else is the case [Hale] |
19287 | Maybe each type of logic has its own necessity, gradually becoming broader [Hale] |
19282 | It seems that we cannot show that modal facts depend on non-modal facts [Hale] |
19276 | The big challenge for essentialist views of modality is things having necessary existence [Hale] |
19293 | Essentialism doesn't explain necessity reductively; it explains all necessities in terms of a few basic natures [Hale] |
19294 | If necessity derives from essences, how do we explain the necessary existence of essences? [Hale] |
11984 | Asserting a possible property is to say it would have had the property if that world had been actual [Plantinga] |
19279 | What are these worlds, that being true in all of them makes something necessary? [Hale] |
19299 | Possible worlds make every proposition true or false, which endorses classical logic [Hale] |
11980 | A possible world is a maximal possible state of affairs [Plantinga] |
11982 | If possible Socrates differs from actual Socrates, the Indiscernibility of Identicals says they are different [Plantinga] |
11983 | It doesn't matter that we can't identify the possible Socrates; we can't identify adults from baby photos [Plantinga] |
11985 | If individuals can only exist in one world, then they can never lack any of their properties [Plantinga] |
11986 | The counterparts of Socrates have self-identity, but only the actual Socrates has identity-with-Socrates [Plantinga] |
11987 | Counterpart Theory absurdly says I would be someone else if things went differently [Plantinga] |
16717 | Which of the contrary features of a body are basic to it? [Aristotle] |
19300 | The molecules may explain the water, but they are not what 'water' means [Hale] |
13216 | Matter is the limit of points and lines, and must always have quality and form [Aristotle] |
17994 | The primary matter is the substratum for the contraries like hot and cold [Aristotle] |
13224 | There couldn't be just one element, which was both water and air at the same time [Aristotle] |
16594 | The Four Elements must change into one another, or else alteration is impossible [Aristotle] |
13223 | Fire is hot and dry; Air is hot and moist; Water is cold and moist; Earth is cold and dry [Aristotle] |
13220 | Bodies are endlessly divisible [Aristotle] |
13210 | Wood is potentially divided through and through, so what is there in the wood besides the division? [Aristotle] |
13211 | If a body is endlessly divided, is it reduced to nothing - then reassembled from nothing? [Aristotle] |
13228 | There is no time without movement [Aristotle] |
16595 | If each thing can cease to be, why hasn't absolutely everything ceased to be long ago? [Aristotle] |
13227 | Being is better than not-being [Aristotle] |
13226 | An Order controls all things [Aristotle] |