Skip to main content

Table of Conceptual conversions


in converting between maths, metaphysics, and object-oriented code:



in
Metaphysics

in
Maths ^
in
Code
as
Heuristic
or
else
Type * Set ** Class Apples A description,
sufficiently generalised to
fit every member of a set.
Token Element Object An apple An instance that satisfies
that description.
Subtype Subset Subclass Granny
Smiths
A more specialised
description, covering
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
lying mouth
.
Logical connection of
any sort.
Essence Condition Interface implementor Apples implement
seeds.
Sine qua non
? Domain and
codomain
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
phenomenal share.
Phenomenon Particular expression? View The cuticle?
No; the secondary properties.
What is perceived
of an entity.
Propositional
function
Function Pure function "Apples can be mapped to oranges via the following CRISPR program..." A machine for pairing inputs with outputs.
Universal Abstraction Abstraction "The apple:
a noble fruit.
"
Zoomed-out view of
some collection;
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.
Supervenience Asymmetric
dependency
Coupling?
Emergence
?
An apple supervenes
on the
electrostatic forces
of its constituents.^^
Euch.
Property Variable Attribute Apples can
be clones.
Something about a thing.
Inherence Predication Attribution
***
This apple is a
clone
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
function.
Composition?
Participation?
"A mere
application"
Aggregation The apple has
carbon
molecules.
Relation such that one
thing (apple)
contingently 'has' a set of
other things (carbon, etc).
Constitutive
essence
? Composition Apple has an
endocarp, mesocarp
and exocarp.
Strongest aggregation:
parts are fully contingent
on the whole.
Primitive Primitive Primitive "Why? Why?
Why? Why?"
"Because"
Thing which can't be
defined in terms of
other things. Or isn't.
Heraclitean
stage theory
? 'Immutable'
pattern
? 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.



Comments