Skip to main content

Are some logics universally impossible?

Leibniz and Whitehead as ontologists of agents and on metaphysicians of perspective agree that when we consider the whole process (or the whole class of monads) there are no contradictions. Yet, finite beings can only coordinate what they perceive within perspectives and are guided by finite lab-like simplifications of the whole. These simplifications cannot be taken apart from the whole, and yet they provide some sort of mathesis localis. Maybe we can think of different logical systems in this way: they capture something but only by failing to be fully coordinated with all the rest.

In our investigation of galaxies (classes of possible worlds associated to each logic), we are now wondering whether there are classes of possible world (that we call constellations) that cannot be galaxies. That is, there is no signature F of formulae that could formulate a logic that would make possible exactly the worlds in these constellation. Take a constellations formed by two or more worlds with nothing in common (intersection of the classes of truth in all worlds of the constellation is empty). We conjecture (and provided a proof for simple cases) that there could be a galaxy in any F. In no F there could be a formulation of a logic for such constellation. It would follow that there are constellations that are not galaxies in any F and therefore that some collections of possible worlds could never be such that there is an underlying logic to them. At least not one that can be formulated.

To be sure, we are assume a classical meta-logic for most of our operations and therefore there is some relativity to these results. Further, one could think of logics as something that require no language - and assume every constellation provide a logic even if it is not something that could be expressed otherwise. However, it seems like there are limits to what is possible when we feel the pressure of something beyond the mathesis localis.

Comments

Post a Comment

Popular posts from this blog

Hunky, Gunky and Junky - all Funky Metaphysics

Been reading Bohn's recent papers on the possibility of junky worlds (and therefore of hunky worlds as hunky worlds are those that are gunky and junky - quite funky, as I said in the other post). He cites Whitehead (process philosophy tends to go hunky) but also Leibniz in his company - he wouldn't take up gunk as he believed in monads but would accept junky worlds (where everything that exists is a part of something). Bohn quotes Leibniz in On Nature Itself «For, although there are atoms of substance, namely monads, which lack parts, there are no atoms of bulk, that is, atoms of the least possible extension, nor are there any ultimate elements, since a continuum cannot be composed out of points. In just the same way, there is nothing greatest in bulk nor infinite in extension, even if there is always something bigger than anything else, though there is a being greatest in the intensity of its perfection, that is, a being infinite in power.» And New Essays: ... for there is nev...
1 comment
Read more

The underground of concepts: my talk at the Marxism and the Pittsburgh School Conference

In few minutes I'll be presenting this talk in the Marxism and the Pittsburgh School conference in the UCL. I can still change the text but this is how it looks like now. The underground of concepts: McDowell on the productivity of Anschauungen Hilan Bensusan 1. Jean-François Lyotard diagnosed the idea that concepts do the productive work of thinking as a deception. It is not through a dynamics of concepts that conclusions are reached and it is not with the decisive intervention of them that conflicts between alternatives resolved. Lyotard compares the pretense that concepts think with the mystification that capital works. He argues that “what works is not the concept, […] the concept is [like] capital which pretends to work, but which [only] determines the conditions of labour, delimits the outsides and insides, the authorized and the prohibited” (Lyotard, Libidinal Economy, p. 13). This diagnosis, frequently lost in the middle of an ampler argumentation around t...
Post a Comment
Read more

Talk on ultrametaphysics

 This is the text of my seminar on ultrametaphysics on Friday here in Albuquerque. An attempt at a history of ultrametaphysics in five chapters Hilan Bensusan I begin with some of the words in the title. First, ‘ultrametaphysics’, then ‘history’ and ‘chapters’. ‘Ultrametaphysics’, which I discovered that in my mouth could sound like ‘ autre metaphysics’, intends to address what comes after metaphysics assuming that metaphysics is an endeavor – or an epoch, or a project, or an activity – that reaches an end, perhaps because it is consolidated, perhaps because it has reached its own limits, perhaps because it is accomplished, perhaps because it is misconceived. In this sense, other names could apply, first of all, ‘meta-metaphysics’ – that alludes to metaphysics coming after physics, the books of Aristotle that came after Physics , or the task that follows the attention to φύσις, or still what can be reached only if the nature of things is considered. ‘Me...
Post a Comment
Read more