Kripke only considered names that were introduced using a definite description (for instance, Evans' [1979] example of the introduction of 'Julius' to refer to the inventor of the zip), and so had a determinate reference (and intension).
Some properties of the GCD are in fact easier to see with this description, for instance the fact that any common divisor of a and b also divides the GCD (it divides both terms of ua + vb).
His descriptions of, for instance, a bartender wearing a World's Sexiest Grandma T-shirt or a woman whose "attempt at a smile suggested that she'd never seen one, only heard them described" show what a wicked rogues' gallery he has created.
Empirically determinable behaviors are partial descriptions, separations, for instance 'peoples' are 'loosely separable sections of the mass of men' (ibid., 332).
Furthermore, more realistic descriptions, used for instance in classical molecular dynamics, apply a variety of explicitly described molecular interaction types.
But mostly it relies on finding the sort of productions you can't quite do justice to in a brief description: Black Violin, for instance, is a duo that blends classical and hip-hop sensibilities, while Tom Tom Club mixes live music with daredevil acrobats.
Their description is given, for instance, in (Kamiński 2005; Buryachenko 2007; Kanouté et al. 2009).
The basic idea is that the transformations change elements of the mathematical description (the Lagrangians for instance) whereas the empirical content of the theory is unchanged.
COMMENT: "How exactly are candidate instances, relations and relation triggers defined?" RESPONSE: Description for candidate instances, and relation trigger is provided in Named entities annotation sub-section in Methods.
Kellaway is able to skimp on the things that flesh out traditional novels — dialogue, for instance; descriptions, too — because we already know this world and the people in it.
RESPONSE: Description for candidate instances, and relation trigger is provided in Named entities annotation sub-section in Methods.
