TE
TechEcho
Home24h TopNewestBestAskShowJobs
GitHubTwitter
Home

TechEcho

A tech news platform built with Next.js, providing global tech news and discussions.

GitHubTwitter

Home

HomeNewestBestAskShowJobs

Resources

HackerNews APIOriginal HackerNewsNext.js

© 2025 TechEcho. All rights reserved.

Hylomorphism

52 pointsby wyndhamover 1 year ago

16 comments

DiscourseFanover 1 year ago
If only hylo-morphism was so simple...I just spent a few months studying the concept, and let me tell you, Aristotle&#x27;s form&#x2F;matter distinction is so strange and complex and difficult to &quot;boil down.&quot; Really, it takes a close, and very slow reading of the Physics (as well as other Aristotle texts), and a lot of reference to secondary sources, to get a handle on those difficulties. I&#x27;m not sure if this is an apt introduction, but I understand many people don&#x27;t have the time to, as I said, read these texts carefully and closely, and they want an easy answer that conforms with the logic of the world they are already familiar with. But then you wouldn&#x27;t be doing philosophy.<p>It&#x27;s like Hegel said, when you want to study philosophy in earnest, you must &quot;wear the vestments of the high priest,&quot; and never shy away from confusions or contradictions.
评论 #38673063 未加载
评论 #38671649 未加载
评论 #38675595 未加载
评论 #38679265 未加载
评论 #38673443 未加载
vnoriloover 1 year ago
TFA is about philosophy, but the computer science concept is also interesting - composition of recursive functions.<p><a href="https:&#x2F;&#x2F;en.m.wikipedia.org&#x2F;wiki&#x2F;Hylomorphism_(computer_science)" rel="nofollow noreferrer">https:&#x2F;&#x2F;en.m.wikipedia.org&#x2F;wiki&#x2F;Hylomorphism_(computer_scien...</a>
评论 #38672303 未加载
评论 #38671787 未加载
评论 #38671541 未加载
评论 #38678575 未加载
jiggawattsover 1 year ago
The issue I&#x27;ve always had with this kind of reductionist philosophy is that there is a very clear and obvious <i>continuum</i> between &quot;table&quot; and &quot;not table&quot;. At no point can everyone clearly agree what is and isn&#x27;t a table.<p>Sure, <i>most</i> people would agree that an assembled IKEA &quot;LISABO&quot; table is a table.<p>Okay.. what if one of the legs is removed and it is sideways? What if one leg is removed <i>but it is propped up</i> with a pile of boxes?<p>What if it&#x27;s intact as designed, but <i>slightly scuffed</i>? Deeply gouged? Horribly worn to the point of having holes through the top but still able to support plates and cutlery? What if all four legs are also broken, but it&#x27;s still serviceable as a Japanese-style low table? What if atom-by-atom, we erode its form until <i>nobody alive</i> agrees that it is a table? What if someone <i>then changes their mind</i>?<p>This is the problem: all forms of matter, unless specified down to individual atoms, are just social conventions -- inconsistent ones at that!
评论 #38672482 未加载
评论 #38673644 未加载
评论 #38674801 未加载
hmm37over 1 year ago
It&#x27;s pretty similar to Chinese Neo-Confucian concepts of 理 (li) and 气 (qi). Qi being matter-energy. Li - being structure or form or pattern.<p>Although to be human in Chinese concepts, required more than just having the form of a human, and e.g. looking human, but also the ability to act like a human with concepts of e.g. 仁 (ren).
评论 #38672449 未加载
Vektorceraptorover 1 year ago
&quot;4. Conclusion<p>If I do produce something new when I assemble the contents of the box, then the table is something more than just those contents. The table is not only its material parts, but also the formal organization of those parts.<p>And that is the fundamental claim of hylomorphism: that there is some kind of formal part, component, or aspect to any table, chair, rock, tree, rabbit, planet, or human being, something beyond its matter which accounts for its existence and nature.&quot;<p>Yes, and this is what Kant called &#x27;the conditions of the possibility of knowledge&#x27;, namely space and time in our reason. The form exists neither on the object nor in a Platonic heaven, but only in our minds because it is &#x27;imposed&#x27; on the table by our reason and intellectual categories.
评论 #38673261 未加载
评论 #38672248 未加载
armchairhackerover 1 year ago
I wonder what Aristotle would’ve thought of Zygohistomorphic prepromorphisms: <a href="https:&#x2F;&#x2F;wiki.haskell.org&#x2F;Zygohistomorphic_prepromorphisms" rel="nofollow noreferrer">https:&#x2F;&#x2F;wiki.haskell.org&#x2F;Zygohistomorphic_prepromorphisms</a>
评论 #38674667 未加载
CodeGroyperover 1 year ago
It works well for computer science as well. Values have types (forms) and bytes (matter). One type can be instantiated in multiple ways, for example you can have multiple integers, like 1,2,3,4 or the bytes 01000001 can represent different information, like 65 or &#x27;A&#x27;.<p>The interesting thing is null, because here the distinction sort of breaks down.
评论 #38672010 未加载
评论 #38672917 未加载
评论 #38678326 未加载
hackandthinkover 1 year ago
It fits with mathematics. You have structure (a la Bourbaki or CT) and stuff (well founded sets).<p>RENE THOM: THE HYLEMORPHIC SCHEMA IN MATHEMATICS<p><a href="https:&#x2F;&#x2F;link.springer.com&#x2F;chapter&#x2F;10.1007&#x2F;978-94-011-5690-5_6" rel="nofollow noreferrer">https:&#x2F;&#x2F;link.springer.com&#x2F;chapter&#x2F;10.1007&#x2F;978-94-011-5690-5_...</a><p><a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Mathematics,_Form_and_Function" rel="nofollow noreferrer">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Mathematics,_Form_and_Function</a>
derbOacover 1 year ago
For reasons that I have difficulty articulating this seems relevant to some intuition I&#x27;ve had in the last several years about matter maintaining &quot;information memory&quot; across time in a way that energy doesn&#x27;t seem to? I&#x27;m not a physicist so I might be totally wrong about that but form to me seems to imply some information that is constant across time?
keyboredover 1 year ago
From what I’ve understood of Buddhist philosophy, it rejects this view that some pile of wood can turn into a table. Of course a table exists... but there is nothing special about “forms”. Everything is <i>dependent origination</i> (everything is caused by something else). We conventionally and intuitively split things into sort of the process of making a cake and then say that <i>the cake</i> is something kind of absolute and rigid. But it’s all just <i>process</i>; one thing causes another thing which then causes another thing.<p>Psychologically speaking it is not helpful to think of forms as anything but convenient signs. Yeah they exist for practical purposes, but they actually don’t. Psychologically speaking (again) we need to get away from thinking that there is ever a split between “things” and “process”. Ultimately it’s all relativistic. The one Absolute Truth is that everything is relativistic... of course most people (philosophers?) reject that as a trivial contradiction, but Mahayana does some tricks (apparently—who am I, Wittgenstein?) which makes this seeming contradiction <i>just work</i>.<p>At the end of the day our natural intuitions are wrong. They were more towards Aristotle’s view. So we have to actively do things like analyze or meditate in order to see reality for what it truly is. In order to rid ourselves of clinging.
ta988over 1 year ago
There is an alternative view that exists in BFO&#x2F;OBI for example where you have a &#x27;planned process&#x27; which contain a set of processes to execute a &#x27;plan specification&#x27; to act on &#x27;material entities&#x27; (your parts and the table) and the parthood relations.
lo_zamoyskiover 1 year ago
This is a start, but I think it doesn’t do hylomorphism justice. Many of us (as I was, before I overcame the inculcated bias) suffer from a kind of unsophisticated atomism. This is what happens in the vacuum of intellectual discipline and formation characteristic of our education systems. It is important to distinguish between physical models and metaphysical theory. Now, metaphysics doesn’t ignore physical models, but it does view physical models through the lens of physical methodology so that they are interpreted in a sound and responsible way. A naive reading of physical theory can easily lead to a mechanistic metaphysics, because while the physical sciences are not inherently mechanistic, the tradition does insinuate mechanism. In a mechanistic metaphysics, the artifact becomes the paradigmatic object, and pretty soon, reality becomes nothing but a shifting aggregate of atoms. Gone is the world of human beings, trees, cats, and dogs. Gone is the very intelligibility of the world and the very powers of reason that sought to grasp it. To say that mechanism, and especially materialism, doesn’t even get off the ground is beating a dead horse at this point (the obstinate still hanging on have doubled down to the point of embracing the patent absurdity of eliminativism, for example).<p>The renewed interest in hylomorphism (or hylomorphic dualism) is it seems related to the perhaps relatively modest, but certainly discernible resurgence of interest in Aristotlean metaphysics in the last decade or two. Speaking from experience, it is not easy to break mechanistic habits of mind, but it is possible. One way out, I find, is to begin with the realization that even if we accept a naive atomism, the atom itself is a thing, and to be a thing is to be an instantiated form. For if you truly have many atoms, as an atomist believes, then you have a plurality of things that are of like kind (the “matter” in hylomorphism is, first and foremost, <i>prime matter</i>, not something determinate as a kind of stuff, which itself requires form to be a kind of stuff; form is what causes a thing to be <i>what</i> it is). And if you happen to fall into the reductive mechanistic trap, you should recall that the further you go down that road, the more you undermine the very capacity of reason to know reality, the less you can explain the very possibility of reason, and the less your position holds weight as a result. We do not begin with atoms, but the world we experience everyday, and it is within that world that we perform scientific investigations and reason philosophically. Get something wrong, draw the wrong conclusion, and you can face a retorsion argument, a paradox of the sort skepticism generally faces (“there is no truth!” type of stuff).<p>I recommend some of Edward Feser’s books on the subject. “The Last Superstition” is a light read in that respect, but “Scholastic Metaphysics” is more of a proper manual.
评论 #38673736 未加载
tempodoxover 1 year ago
Before this I only knew hylomorphism as an abstract algorithm (that can, among others, implement the factorial function). I had no idea it has such an esoteric side.
gosub100over 1 year ago
great vsauce video on the topic: <a href="https:&#x2F;&#x2F;www.youtube.com&#x2F;watch?v=fXW-QjBsruE" rel="nofollow noreferrer">https:&#x2F;&#x2F;www.youtube.com&#x2F;watch?v=fXW-QjBsruE</a>
platzover 1 year ago
it&#x27;s called emergence <a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Emergence" rel="nofollow noreferrer">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Emergence</a>
nathan_comptonover 1 year ago
Hooray for mereological nihilism, which seems to me to the obvious, easy, thing to conclude.