@seanonolennon It's fun to wonder about where Ontology & Language might [fail to] find rapport.
If both "counting" (unfurling ordinals/decimals "onward") & "cut-offs" (discretizing by "collapse") both find exemplifications & encodings: neither Being nor Language escape one the other?
@Qivshi1 How "touch & body sense" might feel the wall of that which in the very same moment (at the selfsame distance?) both restricts but also [as evaporative wall] liberates begs deep Qs about what Space means. What having a Body means. What being an Extended Entity ultimately means.
Let us now consider non-necessary reasoning. This divides itself, according to the different ways in which it may be valid, into three classes: probable deduction; experimental reasoning, which I now call Induction; and processes of thought capable of producing no conclusion
/1
If you are not on the path of totality today, let this Annie Dillard classic conjure up for you the breathtaking surreality of an eclipse – one of the most gorgeous things ever written about anything: https://t.co/XkJnJ6IKUh
Nothing you do will make any difference in anything, so long as you do only what others do. When you act according to smth higher, Reality opens up to you. It was never opened by them. Only by you.
@FHaruspex Yes. A natural conclusion from borderline nominalism is smthg like: all things are only concrete, BUT THERE'S MORE THAN THE CONCRETE, provided its facilitating the concrete. So there's an Existentialistic criterion that, tho virtuality subtends, some of it will/won't get Lifted.
Grounding is only partially accomplished by practicality, embodiment, & common sense. The organismic head seeks to Orient the body to ever deeper resources for grounding. These increasingly nonarbitrary depths demand Reflection & will risk much to find Core.
"Constructive logic is so much more interesting than classical logic and it is so much closer to the true behavior of intelligible things in the world : in classical logic, because of double negation [...]" – Vladimir Voevodsky (1966-2017)
#quote#mathematics#math#maths
@saditious Anderson's 'The Poverty pf Conceptual Truth' bolsters this observation—details the historical twists & turns up to Kant's analytic/synthetic distinction. Helps one to process later rebrandings like that stemming from Strawson's descriptive/revisionary metaphysics division.
@dearmadisonblue The industry had to replace the classical deductive vs abductive terminology bc enuf ink had been spilt already (in philosophy) detailing how authentic abduction has limits to what aspects're modelable. Most of the inductive (type) problems are really about how these interface.
@martinmbauer One wonders if there aren't other conceptual collapses lurking in the Standard Model. Reminds one of entropic gravity or the photon as an unspooled gluon.
There's a continental parallel btwn Europe as the western reaches of Asia & the western reach of N Amer where these regions lend themselves to a futural outlook. While "back east" in Asia or N Amer hides regions of nascency—remain'g untouched by visions of "progress".
This basin dominates the globe if one factors Navigable geopolitical core & Arable productivity. Which makes the NMSZ a compelling ante-capital to NYC's overt politico-corporate powertrip—every masquerade has a slaved siphon & no great towering is w/out a great sinking.
@denistremb34957@yudapearl Some of the philosophical thinkers who precisified a retuning wouldn't make my top 5 simply bc Orienteering any uncharted domain has a Global-to-Local emphasis per se. Philosophy or "providing orientation" seeks to be *eventually* reduced to praxis rather than originate there.
@denistremb34957@yudapearl It seems due to a resistance to the divide btwn generalized vs specialized origins. Like computing that's multi-purpose & so cleaves syntax & semantics iot maximize generality vs dedicated IoT where analog plays a stronger role w/ a reduced distance btwn hardware/software.