|New Term: Logical Philately
(22 Oct 2003 at 17:46)
|I have invented new jargon. Here it is:|
Logical Philately, n., The collection and taxonomy of logics for no extrinsic purpose.
[By pun on "logical fallacy." Those who engage in the seemingly pointless classification of biological species are sometimes referred to, derogatorily, as "stamp collectors." (philately is the fancy word for stamp collection)]
|All science is either physics or stamp collecting.
|Or, you know, computer science.|
|All logics have a purpose. You just mirror them to a programming language via a Curry-Howard analogue and voila!|
|Unless you like excluded middle, in which case things get more complicated (although I guess that you could use this to say that classical logics have no purpose...).|
|Do all programming languages have a purpose?|