11,020 research outputs found
Lukasiewicz mu-Calculus
We consider state-based systems modelled as coalgebras whose type incorporates branching, and show that by suitably adapting the definition of coalgebraic bisimulation, one obtains a general and uniform account of the linear-time behaviour of a state in such a coalgebra. By moving away from a boolean universe of truth values, our approach can measure the extent to which a state in a system with branching is able to exhibit a particular linear-time behaviour. This instantiates to measuring the probability of a specific behaviour occurring in a probabilistic system, or measuring the minimal cost of exhibiting a specific behaviour in the case of weighted computations
The Temporal Logic of two dimensional Minkowski spacetime is decidable
We consider Minkowski spacetime, the set of all point-events of spacetime
under the relation of causal accessibility. That is, can access if an electromagnetic or (slower than light) mechanical signal could be
sent from to . We use Prior's tense language of
and representing causal accessibility and its converse relation. We
consider two versions, one where the accessibility relation is reflexive and
one where it is irreflexive.
In either case it has been an open problem, for decades, whether the logic is
decidable or axiomatisable. We make a small step forward by proving, for the
case where the accessibility relation is irreflexive, that the set of valid
formulas over two-dimensional Minkowski spacetime is decidable, decidability
for the reflexive case follows from this. The complexity of either problem is
PSPACE-complete.
A consequence is that the temporal logic of intervals with real endpoints
under either the containment relation or the strict containment relation is
PSPACE-complete, the same is true if the interval accessibility relation is
"each endpoint is not earlier", or its irreflexive restriction.
We provide a temporal formula that distinguishes between three-dimensional
and two-dimensional Minkowski spacetime and another temporal formula that
distinguishes the two-dimensional case where the underlying field is the real
numbers from the case where instead we use the rational numbers.Comment: 30 page
From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability
This paper investigates logical aspects of combining linear orders as semantics for modal and temporal logics, with modalities for possible paths, resulting in a variety of branching time logics over classes of trees. Here we adopt a unified approach to the Priorean, Peircean and Ockhamist semantics for branching time logics, by considering them all as fragments of the latter, obtained as combinations, in various degrees, of languages and semantics for linear time with a modality for possible paths. We then consider a hierarchy of natural classes of trees and bundled trees arising from a given class of linear orders and show that in general they provide different semantics. We also discuss transfer of definability from linear orders to trees and introduce a uniform translation from Priorean to Peircean formulae which transfers definability of properties of linear orders to definability of properties of all paths in tree
Apperceptive patterning: Artefaction, extensional beliefs and cognitive scaffolding
In “Psychopower and Ordinary Madness” my ambition, as it relates to Bernard Stiegler’s recent literature, was twofold: 1) critiquing Stiegler’s work on exosomatization and artefactual posthumanism—or, more specifically, nonhumanism—to problematize approaches to media archaeology that rely upon technical exteriorization; 2) challenging how Stiegler engages with Giuseppe Longo and Francis Bailly’s conception of negative entropy. These efforts were directed by a prevalent techno-cultural qualifier: the rise of Synthetic Intelligence (including neural nets, deep learning, predictive processing and Bayesian models of cognition). This paper continues this project but first directs a critical analytic lens at the Derridean practice of the ontologization of grammatization from which Stiegler emerges while also distinguishing how metalanguages operate in relation to object-oriented environmental interaction by way of inferentialism. Stalking continental (Kapp, Simondon, Leroi-Gourhan, etc.) and analytic traditions (e.g., Carnap, Chalmers, Clark, Sutton, Novaes, etc.), we move from artefacts to AI and Predictive Processing so as to link theories related to technicity with philosophy of mind. Simultaneously drawing forth Robert Brandom’s conceptualization of the roles that commitments play in retrospectively reconstructing the social experiences that lead to our endorsement(s) of norms, we compliment this account with Reza Negarestani’s deprivatized account of intelligence while analyzing the equipollent role between language and media (both digital and analog)
Loops and Knots as Topoi of Substance. Spinoza Revisited
The relationship between modern philosophy and physics is discussed. It is
shown that the latter develops some need for a modernized metaphysics which
shows up as an ultima philosophia of considerable heuristic value, rather than
as the prima philosophia in the Aristotelian sense as it had been intended, in
the first place. It is shown then, that it is the philosophy of Spinoza in
fact, that can still serve as a paradigm for such an approach. In particular,
Spinoza's concept of infinite substance is compared with the philosophical
implications of the foundational aspects of modern physical theory. Various
connotations of sub-stance are discussed within pre-geometric theories,
especially with a view to the role of spin networks within quantum gravity. It
is found to be useful to intro-duce a separation into physics then, so as to
differ between foundational and empirical theories, respectively. This leads to
a straightforward connection bet-ween foundational theories and speculative
philosophy on the one hand, and between empirical theories and sceptical
philosophy on the other. This might help in the end, to clarify some recent
problems, such as the absence of time and causality at a fundamental level. It
is implied that recent results relating to topos theory might open the way
towards eventually deriving logic from physics, and also towards a possible
transition from logic to hermeneutic.Comment: 42 page
- …