59 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] |
| 10888 | Sets can be defined by 'enumeration', or by 'abstraction' (based on a property) [Zalabardo] |
| 10889 | The 'Cartesian Product' of two sets relates them by pairing every element with every element [Zalabardo] |
| 10890 | A 'partial ordering' is reflexive, antisymmetric and transitive [Zalabardo] |
| 10886 | Determinacy: an object is either in a set, or it isn't [Zalabardo] |
| 10887 | Specification: Determinate totals of objects always make a set [Zalabardo] |
| 10897 | A first-order 'sentence' is a formula with no free variables [Zalabardo] |
| 10893 | Γ |= φ for sentences if φ is true when all of Γ is true [Zalabardo] |
| 10899 | Γ |= φ if φ is true when all of Γ is true, for all structures and interpretations [Zalabardo] |
| 10896 | Propositional logic just needs ¬, and one of ∧, ∨ and → [Zalabardo] |
| 12010 | Is the meaning of 'and' given by its truth table, or by its introduction and elimination rules? [Forbes,G] |
| 10898 | The semantics shows how truth values depend on instantiations of properties and relations [Zalabardo] |
| 10902 | We can do semantics by looking at given propositions, or by building new ones [Zalabardo] |
| 10892 | We make a truth assignment to T and F, which may be true and false, but merely differ from one another [Zalabardo] |
| 10895 | 'Logically true' (|= φ) is true for every truth-assignment [Zalabardo] |
| 10900 | Logically true sentences are true in all structures [Zalabardo] |
| 10894 | A sentence-set is 'satisfiable' if at least one truth-assignment makes them all true [Zalabardo] |
| 10901 | Some formulas are 'satisfiable' if there is a structure and interpretation that makes them true [Zalabardo] |
| 10903 | A structure models a sentence if it is true in the model, and a set of sentences if they are all true in the model [Zalabardo] |
| 10891 | If a set is defined by induction, then proof by induction can be applied to it [Zalabardo] |
| 12023 | Vagueness problems arise from applying sharp semantics to vague languages [Forbes,G] |
| 16665 | There are entities, and then positive 'modes', modifying aspects outside the thing's essence [Suárez] |
| 16666 | A mode determines the state and character of a quantity, without adding to it [Suárez] |
| 12017 | In all instances of identity, there must be some facts to ensure the identity [Forbes,G] |
| 16667 | Substances are incomplete unless they have modes [Suárez, by Pasnau] |
| 12024 | If we combined two clocks, it seems that two clocks may have become one clock. [Forbes,G] |
| 17007 | Forms must rule over faculties and accidents, and are the source of action and unity [Suárez] |
| 16780 | Partial forms of leaf and fruit are united in the whole form of the tree [Suárez] |
| 16758 | The best support for substantial forms is the co-ordinated unity of a natural being [Suárez] |
| 16743 | We can get at the essential nature of 'quantity' by knowing bulk and extension [Suárez] |
| 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] |
| 12012 | Essential properties are those without which an object could not exist [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] |
| 16742 | We only know essences through non-essential features, esp. those closest to the essence [Suárez] |
| 12020 | An individual might change their sex in a world, but couldn't have differed in sex at origin [Forbes,G] |
| 22143 | Identity does not exclude possible or imagined difference [Suárez, by Boulter] |
| 22144 | Real Essential distinction: A and B are of different natural kinds [Suárez, by Boulter] |
| 22146 | Minor Real distinction: B needs A, but A doesn't need B [Suárez, by Boulter] |
| 22145 | Major Real distinction: A and B have independent existences [Suárez, by Boulter] |
| 22147 | Conceptual/Mental distinction: one thing can be conceived of in two different ways [Suárez, by Boulter] |
| 22148 | Modal distinction: A isn't B or its property, but still needs B [Suárez, by Boulter] |
| 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] |
| 22149 | Scholastics assess possibility by what has actually happened in reality [Suárez, by Boulter] |
| 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] |
| 16682 | Other things could occupy the same location as an angel [Suárez] |