26 ideas
12780 | We can grasp the wisdom of God a priori [Leibniz] |
8250 | So-called 'free logic' operates without existence assumptions [Meinong, by George/Van Evra] |
15375 | If terms change their designations in different states, they are functions from states to objects [Fitting] |
15376 | Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting] |
15378 | Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting] |
15379 | Justication logics make explicit the reasons for mathematical truth in proofs [Fitting] |
11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
12774 | Without a substantial chain to link monads, they would just be coordinated dreams [Leibniz] |
12777 | Monads do not make a unity unless a substantial chain is added to them [Leibniz] |
12782 | Monads control nothing outside of themselves [Leibniz] |
12778 | There is active and passive power in the substantial chain and in the essence of a composite [Leibniz] |
12783 | Primitive force is what gives a composite its reality [Leibniz] |
8719 | There can be impossible and contradictory objects, if they can have properties [Meinong, by Friend] |
8971 | There are objects of which it is true that there are no such objects [Meinong] |
8718 | Meinong says an object need not exist, but must only have properties [Meinong, by Friend] |
7756 | Meinong said all objects of thought (even self-contradictions) have some sort of being [Meinong, by Lycan] |
15781 | The objects of knowledge are far more numerous than objects which exist [Meinong] |
12775 | Things seem to be unified if we see duration, position, interaction and connection [Leibniz] |
12776 | Every substance is alive [Leibniz] |
12753 | A substantial bond of powers is needed to unite composites, in addition to monads [Leibniz] |
12781 | A composite substance is a mere aggregate if its essence is just its parts [Leibniz] |
12779 | There is a reason why not every possible thing exists [Leibniz] |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
12785 | Truth is mutually agreed perception [Leibniz] |
12784 | Allow no more miracles than are necessary [Leibniz] |