Conceptual conversions |
![]() |
Concept in Metaphysics |
Concept in Maths |
Concept in Code |
as Heuristic |
or else |
---|---|---|---|---|
Type 1 | Set 2 | 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. |
Relation | Relation | Association | e.g. Between an apple and Newton's lying mouth. |
Logical connection of any sort. |
Essence | Condition | Interface | Apples implement seeds. |
Sine qua non |
Concept | Boolean function | Classifier | "Is the star apple an apple? No; it is not of the genus malum." |
A process for identifying kinds of things. |
Noumenon | N/A | Model | Der Apfel-an-Sich. | The entities as they are themselves |
'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. |
Property | Variable | Attribute | Apples can be clones. |
Something about a thing. |
Inherence | Predication |
Attribution
3 |
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. |
Primitive | Primitive | Primitive | "Why? Why? Why? Why?" "Because" |
Thing which can't be defined in terms of other things. Or isn't. |
Tenuous
Concept in Metaphysics |
Concept in Maths |
Concept in Code |
as Heuristic |
or else |
||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Complex idea | Family | Inner class | Apple with a teratoma? | A set which includes another set as member. | ||||||||||||||||||||
Supervenience | Asymmetric dependency |
Coupling</a>? Emergence?</td> | An apple supervenes on the electrostatic forces of its constituents.^^</td> Euch. |
</tr>
? |
Domain and |
codomain Type |
?. |
Spec of valid input and output values. |
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. Heraclitean |
stage theory ? |
'Immutable' |
pattern ? |
Nothing survives change; |
all changed things are wholly new objects. |
- 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. Though I haven't seen anyone worrying about Russell's Paradox in Java.
- I mean "adding an attribute", giving a class a field it didn't have before...
Comments
Post a comment:
Tags: philosophy, computers, rosetta-stone, maths