Ideas of Bernard Linsky, by Theme

[American, fl. 1999, Professor at the University of Alberta. Son of Leonard Linsky.]

green numbers give full details    |    back to list of philosophers    |     expand these ideas
2. Reason / D. Definition / 7. Contextual Definition
18776 Contextual definitions eliminate descriptions from contexts
2. Reason / D. Definition / 8. Impredicative Definition
21704 'Impredictative' definitions fix a class in terms of the greater class to which it belongs
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility
21705 Reducibility says any impredicative function has an appropriate predicative replacement
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / b. Definite descriptions
18774 Definite descriptions, unlike proper names, have a logical structure
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / c. Theory of definite descriptions
21727 Definite descriptions theory eliminates the King of France, but not the Queen of England
5. Theory of Logic / I. Semantics of Logic / 5. Extensionalism
21719 Extensionalism means what is true of a function is true of coextensive functions
6. Mathematics / C. Sources of Mathematics / 6. Logicism / a. Early logicism
21723 The task of logicism was to define by logic the concepts 'number', 'successor' and '0'
6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory
21703 Types are 'ramified' when there are further differences between the type of quantifier and its range
21714 The ramified theory subdivides each type, according to the range of the variables
21721 Higher types are needed to distinguished intensional phenomena which are coextensive
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
21713 Did logicism fail, when Russell added three nonlogical axioms, to save mathematics?
21715 For those who abandon logicism, standard set theory is a rival option
8. Modes of Existence / B. Properties / 11. Properties as Sets
21729 Construct properties as sets of objects, or say an object must be in the set to have the property