29 ideas
19335 | Reasonings have a natural ordering in God's understanding, but only a temporal order in ours [Leibniz] |
21704 | 'Impredictative' definitions fix a class in terms of the greater class to which it belongs [Linsky,B] |
21705 | Reducibility says any impredicative function has an appropriate predicative replacement [Linsky,B] |
21727 | Definite descriptions theory eliminates the King of France, but not the Queen of England [Linsky,B] |
21719 | Extensionalism means what is true of a function is true of coextensive functions [Linsky,B] |
21723 | The task of logicism was to define by logic the concepts 'number', 'successor' and '0' [Linsky,B] |
21721 | Higher types are needed to distinguished intensional phenomena which are coextensive [Linsky,B] |
21703 | Types are 'ramified' when there are further differences between the type of quantifier and its range [Linsky,B] |
21714 | The ramified theory subdivides each type, according to the range of the variables [Linsky,B] |
21713 | Did logicism fail, when Russell added three nonlogical axioms, to save mathematics? [Linsky,B] |
21715 | For those who abandon logicism, standard set theory is a rival option [Linsky,B] |
21729 | Construct properties as sets of objects, or say an object must be in the set to have the property [Linsky,B] |
19367 | Saying we must will whatever we decide to will leads to an infinite regress [Leibniz] |
19351 | Perfections of soul subordinate the body, but imperfections of soul submit to the body [Leibniz] |
19331 | Will is an inclination to pursue something good [Leibniz] |
19346 | Most people facing death would happily re-live a similar life, with just a bit of variety [Leibniz] |
19340 | Metaphysical evil is imperfection; physical evil is suffering; moral evil is sin [Leibniz] |
19366 | You can't assess moral actions without referring to the qualities of character that produce them [Leibniz] |
13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |
19326 | God must be intelligible, to select the actual world from the possibilities [Leibniz] |
19327 | The intelligent cause must be unique and all-perfect, to handle all the interconnected possibilities [Leibniz] |
19344 | God prefers men to lions, but might not exterminate lions to save one man [Leibniz] |
19330 | If justice is arbitrary, or fixed but not observed, or not human justice, this undermines God [Leibniz] |
19325 | God is the first reason of things; our experiences are contingent, and contain no necessity [Leibniz] |
19329 | The laws of physics are wonderful evidence of an intelligent and free being [Leibniz] |
19437 | Prayers are useful, because God foresaw them in his great plan [Leibniz] |
19337 | How can an all-good, wise and powerful being allow evil, sin and apparent injustice? [Leibniz] |
19345 | Being confident of God's goodness, we disregard the apparent local evils in the visible world [Leibniz] |