30 ideas
21704 | 'Impredictative' definitions fix a class in terms of the greater class to which it belongs [Linsky,B] |
15186 | In the tenseless view, all times are equally real, so statements of the future have truth-values [Le Poidevin] |
10688 | 'Equivocation' is when terms do not mean the same thing in premises and conclusion [Beall/Restall] |
21705 | Reducibility says any impredicative function has an appropriate predicative replacement [Linsky,B] |
10690 | Formal logic is invariant under permutations, or devoid of content, or gives the norms for thought [Beall/Restall] |
10691 | Logical consequence needs either proofs, or absence of counterexamples [Beall/Restall] |
10695 | Logical consequence is either necessary truth preservation, or preservation based on interpretation [Beall/Restall] |
10689 | A step is a 'material consequence' if we need contents as well as form [Beall/Restall] |
21727 | Definite descriptions theory eliminates the King of France, but not the Queen of England [Linsky,B] |
10696 | A 'logical truth' (or 'tautology', or 'theorem') follows from empty premises [Beall/Restall] |
21719 | Extensionalism means what is true of a function is true of coextensive functions [Linsky,B] |
10693 | Models are mathematical structures which interpret the non-logical primitives [Beall/Restall] |
10692 | Hilbert proofs have simple rules and complex axioms, and natural deduction is the opposite [Beall/Restall] |
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] |
15190 | Evil can't be an illusion, because then the illusion that there is evil would be evil [Le Poidevin] |
15195 | If the future is not real, we don't seem to have any obligation to future individuals [Le Poidevin] |
15188 | If things don't persist through time, then change makes no sense [Le Poidevin] |
15191 | At the very least, minds themselves seem to be tensed [Le Poidevin] |
15197 | Fiction seems to lack a tensed perspective, and offers an example of tenseless language [Le Poidevin] |
15189 | Things which have ceased change their A-series position; things that persist change their B-series position [Le Poidevin] |
15187 | It is claimed that the tense view entails the unreality of both future and past [Le Poidevin] |
15192 | We share a common now, but not a common here [Le Poidevin] |
15193 | The new tenseless theory offers indexical truth-conditions, instead of a reductive analysis [Le Poidevin] |
15196 | God being inside or outside of time both raise a group of difficult problems [Le Poidevin] |