in converting between maths, metaphysics, and object-oriented code:
|Type *||Set **||Class||Apples||A description,
sufficiently generalised to
fit every member of a set.
|Token||Element||Object||An apple||An instance that satisfies
|A more specialised
only some of the first set.
|Complex idea||Family||Inner class||Apple with a teratoma?||A set which includes another set as member.|
|Relation||Relation||Association||e.g. Between an
apple and Newton's
|Logical connection of
|Essence||Condition||Interface implementor||Apples implement
|Sine qua non|
|Type||?.||Spec of valid input and output values.|
|Noumenon||?||Model||Der Apfel-an-Sich.||The entities as they
are themselves, beyond
our view. (Sometimes
primary properties though.)
|'Structure'||FORM||Controller||Eh.||The formal shape and relations
of a system - what the noumenal and
|Phenomenon||Particular expression?||View||The cuticle?
No; the secondary properties.
|What is perceived
of an entity.
|Function||Pure function||"Apples can be mapped to oranges via the following CRISPR program..."||A machine for pairing inputs with outputs.|
a noble fruit."
|Zoomed-out view of
defining properties shown.
|Concept||Boolean function||Classifier||"Is the star apple an apple? No; not of the genus malum."||A process for identifying kinds of things.|
|An apple supervenes
of its constituents.^^
|Something about a thing.|
|This apple is a
|Changing the nature
of a thing (or only making
an assertion about it (...))
|Individuation||Evaluation||Assignment||Billionth clone of the
Orange Pippin cultivar
(UK NFC 2000-008).
|To give a definite
meaning to some
|Aggregation||The apple has
|Relation such that one
contingently 'has' a set of
other things (carbon, etc).
|≡ ?||Composition||Apple has an
parts are fully contingent
on the whole.
|Thing which can't be
defined in terms of
other things. Or isn't.
|?||Nothing survives change;
all changed things are
wholly new objects.
^ Should probably have a separate column for Logic but bleh.
* Or Platonic Form, or Class, or Kind, or 'Universal' for various subtle gradations of the thought not relevant here. I should also relate or conflate the two rows beginning "Type" and "Universal" but I tire of my own hubris.
** This should maybe be "Class" too. But I haven't seen anyone worrying about Russell's Paradox in Java, so frankly whatevs.
*** I mean "adding an attribute", giving a class a field it didn't have before...
^^ and so ultimately supervenes on Wolfgang Pauli.
Wanted to include mass expressions in here somewhere because it's a cool thought, but.