more on this theme     |     more from this thinker


Single Idea 9143

[filed under theme 2. Reason / D. Definition / 3. Types of Definition ]

Full Idea

Fine distinguishes 'implicit definitions', where we must know it is satisfiable before it is deployed, 'creative definitions', where objects are introduced in virtue of the definition, ..and 'contextual definitions', based on established vocabulary.

Gist of Idea

Implicit definitions must be satisfiable, creative definitions introduce things, contextual definitions build on things

Source

report of Kit Fine (The Limits of Abstraction [2002], 060) by R Cook / P Ebert - Notice of Fine's 'Limits of Abstraction' 3

Book Ref

-: 'British Soc for the Philosophy of Science' [-], p.796


A Reaction

Fine is a fan of creative definition. This sounds something like the distinction between cutting nature at the perceived joints, and speculating about where new joints might be inserted. Quite a helpful thought.


The 11 ideas from 'The Limits of Abstraction'

Fine considers abstraction as reconceptualization, to produce new senses by analysing given senses [Fine,K, by Cook/Ebert]
Implicit definitions must be satisfiable, creative definitions introduce things, contextual definitions build on things [Fine,K, by Cook/Ebert]
Fine's 'procedural postulationism' uses creative definitions, but avoids abstract ontology [Fine,K, by Cook/Ebert]
We can abstract from concepts (e.g. to number) and from objects (e.g. to direction) [Fine,K]
Points in Euclidean space are abstract objects, but not introduced by abstraction [Fine,K]
Abstractionism can be regarded as an alternative to set theory [Fine,K]
An object is the abstract of a concept with respect to a relation on concepts [Fine,K]
Many different kinds of mathematical objects can be regarded as forms of abstraction [Fine,K]
'Creative definitions' do not presuppose the existence of the objects defined [Fine,K]
Postulationism says avoid abstract objects by giving procedures that produce truth [Fine,K]
Abstracts cannot be identified with sets [Fine,K]