green numbers give full details.     |    back to list of philosophers     |     expand these ideas

---

Ideas of Bernard Linsky, by Text

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

1999	Russell's Metaphysical Logic

1

p.4

21704

'Impredictative' definitions fix a class in terms of the greater class to which it belongs

1

p.4

21705

Reducibility says any impredicative function has an appropriate predicative replacement

1

p.4

21703

Types are 'ramified' when there are further differences between the type of quantifier and its range

6

p.89

21714

The ramified theory subdivides each type, according to the range of the variables

6

p.89

21713

Did logicism fail, when Russell added three nonlogical axioms, to save mathematics?

6.1

p.91

21715

For those who abandon logicism, standard set theory is a rival option

6.3

p.97

21719

Extensionalism means what is true of a function is true of coextensive functions

6.4

p.101

21721

Higher types are needed to distinguished intensional phenomena which are coextensive

7

p.115

21723

The task of logicism was to define by logic the concepts 'number', 'successor' and '0'

7.3

p.127

21727

Definite descriptions theory eliminates the King of France, but not the Queen of England

7.6

p.137

21729

Construct properties as sets of objects, or say an object must be in the set to have the property

2014	Quantification and Descriptions

1.1.1

p.80

18774

Definite descriptions, unlike proper names, have a logical structure

2

p.85

18776

Contextual definitions eliminate descriptions from contexts