13 ideas
4037 | Ockham's Razor is the principle that we need reasons to believe in entities [Mellor/Oliver] |
10779 | A comprehension axiom is 'predicative' if the formula has no bound second-order variables [Linnebo] |
8758 | We could talk of open sentences, instead of sets [Chihara, by Shapiro] |
10781 | A 'pure logic' must be ontologically innocent, universal, and without presuppositions [Linnebo] |
10783 | Plural quantification depends too heavily on combinatorial and set-theoretic considerations [Linnebo] |
10778 | Can second-order logic be ontologically first-order, with all the benefits of second-order? [Linnebo] |
10265 | Chihara's system is a variant of type theory, from which he can translate sentences [Chihara, by Shapiro] |
8759 | We can replace type theory with open sentences and a constructibility quantifier [Chihara, by Shapiro] |
10264 | Introduce a constructibility quantifiers (Cx)Φ - 'it is possible to construct an x such that Φ' [Chihara, by Shapiro] |
4027 | Properties are respects in which particular objects may be alike or differ [Mellor/Oliver] |
4029 | Nominalists ask why we should postulate properties at all [Mellor/Oliver] |
10782 | The modern concept of an object is rooted in quantificational logic [Linnebo] |
4039 | Abstractions lack causes, effects and spatio-temporal locations [Mellor/Oliver] |