Ideas from 'Definitions' by Anil Gupta [2008], by Theme Structure

[found in 'Stanford Online Encyclopaedia of Philosophy' (ed/tr Stanford University) [ ,-]].

Click on the Idea Number for the full details    |     back to texts     |     expand these ideas

2. Reason / D. Definition / 1. Definitions
Definitions usually have a term, a 'definiendum' containing the term, and a defining 'definiens'
Notable definitions have been of piety (Plato), God (Anselm), number (Frege), and truth (Tarski)
2. Reason / D. Definition / 2. Aims of Definition
The 'revision theory' says that definitions are rules for improving output
A definition needs to apply to the same object across possible worlds
2. Reason / D. Definition / 3. Types of Definition
A definition can be 'extensionally', 'intensionally' or 'sense' adequate
Traditional definitions are general identities, which are sentential and reductive
Traditional definitions need: same category, mention of the term, and conservativeness and eliminability
2. Reason / D. Definition / 4. Real Definition
Chemists aim at real definition of things; lexicographers aim at nominal definition of usage
2. Reason / D. Definition / 6. Definition by Essence
If definitions aim at different ideals, then defining essence is not a unitary activity
2. Reason / D. Definition / 10. Stipulative Definition
Stipulative definition assigns meaning to a term, ignoring prior meanings
2. Reason / D. Definition / 11. Ostensive Definition
Ostensive definitions look simple, but are complex and barely explicable
4. Formal Logic / F. Set Theory ST / 6. Ordering in Sets
The ordered pair <x,y> is defined as the set {{x},{x,y}}, capturing function, not meaning