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

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

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. ‘Meta-m

Memory assemblages

My talk here at Burque last winter I want to start by thanking you all and acknowledging the department of philosophy, the University of New Mexico and this land, as a visitor coming from the south of the border and from the land of many Macroje peoples who themselves live in a way that is constantly informed by memory, immortality and their ancestors, I strive to learn more about the Tiwas, the Sandia peoples and other indigenous communities of the area. I keep finding myself trying to find their marks around – and they seem quite well hidden. For reasons to do with this very talk, I welcome the gesture of directing our thoughts to the land where we are; both as an indication of our situated character and as an archive of the past which carries a proliferation of promises for the future. In this talk, I will try to elaborate and recommend the idea of memory assemblage, a central notion in my current project around specters and addition. I begin by saying that I