64 ideas
12027 | There must be a plausible epistemological theory alongside any metaphysical theory [Forbes,G] |
12005 | The symbol 'ι' forms definite descriptions; (ιx)F(x) says 'the x which is such that F(x)' [Forbes,G] |
10751 | Second-order logic needs the sets, and its consequence has epistemological problems [Rossberg] |
10757 | Henkin semantics has a second domain of predicates and relations (in upper case) [Rossberg] |
10759 | There are at least seven possible systems of semantics for second-order logic [Rossberg] |
10753 | Logical consequence is intuitively semantic, and captured by model theory [Rossberg] |
10752 | Γ |- S says S can be deduced from Γ; Γ |= S says a good model for Γ makes S true [Rossberg] |
10754 | In proof-theory, logical form is shown by the logical constants [Rossberg] |
12010 | Is the meaning of 'and' given by its truth table, or by its introduction and elimination rules? [Forbes,G] |
10756 | A model is a domain, and an interpretation assigning objects, predicates, relations etc. [Rossberg] |
10758 | If models of a mathematical theory are all isomorphic, it is 'categorical', with essentially one model [Rossberg] |
10761 | Completeness can always be achieved by cunning model-design [Rossberg] |
10755 | A deductive system is only incomplete with respect to a formal semantics [Rossberg] |
458 | Nothing could come out of nothing, and existence could never completely cease [Empedocles] |
5112 | Empedocles says things are at rest, unless love unites them, or hatred splits them [Empedocles, by Aristotle] |
12023 | Vagueness problems arise from applying sharp semantics to vague languages [Forbes,G] |
12017 | In all instances of identity, there must be some facts to ensure the identity [Forbes,G] |
13209 | There is no coming-to-be of anything, but only mixing and separating [Empedocles, by Aristotle] |
12024 | If we combined two clocks, it seems that two clocks may have become one clock. [Forbes,G] |
11885 | Only individual essences will ground identities across worlds in other properties [Forbes,G, by Mackie,P] |
12014 | An individual essence is a set of essential properties which only that object can have [Forbes,G] |
12015 | Non-trivial individual essence is properties other than de dicto, or universal, or relational [Forbes,G] |
12013 | Essential properties depend on a category, and perhaps also on particular facts [Forbes,G] |
13804 | A property is essential iff the object would not exist if it lacked that property [Forbes,G] |
13805 | Properties are trivially essential if they are not grounded in a thing's specific nature [Forbes,G] |
12012 | Essential properties are those without which an object could not exist [Forbes,G] |
13808 | A relation is essential to two items if it holds in every world where they exist [Forbes,G] |
13806 | Trivially essential properties are existence, self-identity, and de dicto necessities [Forbes,G] |
13807 | A property is 'extraneously essential' if it is had only because of the properties of other objects [Forbes,G] |
12022 | Same parts does not ensure same artefact, if those parts could constitute a different artefact [Forbes,G] |
12025 | Artefacts have fuzzy essences [Forbes,G] |
13809 | One might be essentialist about the original bronze from which a statue was made [Forbes,G] |
457 | Substance is not created or destroyed in mortals, but there is only mixing and exchange [Empedocles] |
12020 | An individual might change their sex in a world, but couldn't have differed in sex at origin [Forbes,G] |
11888 | Identities must hold because of other facts, which must be instrinsic [Forbes,G, by Mackie,P] |
12003 | De re modal formulae, unlike de dicto, are sensitive to transworld identities [Forbes,G] |
12028 | De re necessity is a form of conceptual necessity, just as de dicto necessity is [Forbes,G] |
13810 | The source of de dicto necessity is not concepts, but the actual properties of the thing [Forbes,G] |
12008 | Unlike places and times, we cannot separate possible worlds from what is true at them [Forbes,G] |
12009 | The problem with possible worlds realism is epistemological; we can't know properties of possible objects [Forbes,G] |
12007 | Possible worlds are points of logical space, rather like other times than our own [Forbes,G] |
12011 | Transworld identity concerns the limits of possibility for ordinary things [Forbes,G] |
12016 | The problem of transworld identity can be solved by individual essences [Forbes,G] |
12004 | Counterpart theory is not good at handling the logic of identity [Forbes,G] |
12021 | Haecceitism attributes to each individual a primitive identity or thisness [Forbes,G] |
12029 | We believe in thisnesses, because we reject bizarre possibilities as not being about that individual [Forbes,G] |
462 | One vision is produced by both eyes [Empedocles] |
22765 | Wisdom and thought are shared by all things [Empedocles] |
1524 | For Empedocles thinking is almost identical to perception [Empedocles, by Theophrastus] |
552 | Empedocles said good and evil were the basic principles [Empedocles, by Aristotle] |
589 | 'Nature' is just a word invented by people [Empedocles] |
21823 | The principle of 'Friendship' in Empedocles is the One, and is bodiless [Empedocles, by Plotinus] |
2680 | Empedocles said that there are four material elements, and two further creative elements [Empedocles, by Aristotle] |
6002 | Empedocles says bone is water, fire and earth in ratio 2:4:2 [Empedocles, by Inwood] |
13207 | Fire, Water, Air and Earth are elements, being simple as well as homoeomerous [Empedocles, by Aristotle] |
459 | All change is unity through love or division through hate [Empedocles] |
13218 | The elements combine in coming-to-be, but how do the elements themselves come-to-be? [Aristotle on Empedocles] |
13225 | Love and Strife only explain movement if their effects are distinctive [Aristotle on Empedocles] |
460 | If the one Being ever diminishes it would no longer exist, and what could ever increase it? [Empedocles] |
5090 | Maybe bodies are designed by accident, and the creatures that don't work are destroyed [Empedocles, by Aristotle] |
466 | God is pure mind permeating the universe [Empedocles] |
461 | God is a pure, solitary, and eternal sphere [Empedocles] |
1719 | In Empedocles' theory God is ignorant because, unlike humans, he doesn't know one of the elements (strife) [Aristotle on Empedocles] |
1522 | It is wretched not to want to think clearly about the gods [Empedocles] |