ONT Re: Hypostatic And Prescisive Abstraction -- Discussion Notes
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
HAPA. Discussion Note 7
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
I will pick up from where I left off with Peirce's "sweetness and light"
example, illustrating the difference between prescisive abstraction and
hypostatic abstraction, and articulating the relationship between them,
because there are many important things going on all at the same time
in this example that I have yet to sort out and explain clearly enough.
But Bernard Morand's observation about the link to "second intentional"
or "second order" logic is very helpful in drawing out the main ideas.
| CSP on HA: "It consists in taking a feature of a percept
| or percepts (after it has already been prescinded from the
| other elements of the percept), so as to take propositional
| form in a judgment (indeed, it may operate upon any judgment
| whatsoever), and in conceiving this fact to consist in the
| relation between the subject of that judgment and another
| subject, which has a mode of being that merely consists
| in the truth of propositions of which the corresponding
| concrete term is the predicate."
|
| C.S. Peirce, CP 4.235, "The Simplest Mathematics",
| Chapter 3 of the "Minute Logic", Jan-Feb 1902.
|
| http://suo.ieee.org/ontology/msg05091.html
As a thematic development in logic, this might be called the "relational turn".
It involves a change of perspective that changes how one describes the same
situation, passing from an expression that uses one subject and a monadic
predicate to an expression that uses two subjects and a dyadic predicate.
You can see a graphic illustration of the same sort of thing occurring
in the transition from Euler's circles, that retained a residue of the
asymmetric or inhomogeneopus syllogistic form of one subject and one
predicate, to the more symmetric or homogenous relational form of
Venn's diagrams, that expresses a relation between two subjects
in the same intentional order or at the same ontological level.
In category theory, perspectival changes invoke the concepts
of "functors" and of "natural transformations" between them.
Jon Awbrey
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o