Related papers: The Free Will Function
We introduce a logic specifically designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent preferences. We establish a correspondence between…
We discuss the possibility of freedom of action in embodied systems that are, with no exception and at all scales of their body, subject to physical law. We relate the discussion to a model of an artificial agent that exhibits a primitive…
Logic can be made useful for programming and for databases independently of logic programming. To be useful in this way, logic has to provide a mechanism for the definition of new functions and new relations on the basis of those given in…
Rational decision making in its linguistic description means making logical decisions. In essence, a rational agent optimally processes all relevant information to achieve its goal. Rationality has two elements and these are the use of…
The issue of whether we make decisions freely has vexed philosophers for millennia, Resolving this is vital for solving a diverse range of problems, from the physiology of how the brain makes decisions (and how we assign moral…
We present a brief non-technical introduction to the standing discussion on the relation between Quantum Mechanics and Determinism. Quantum Mechanics inherent randomness in the measurement process is sometimes presented as a door to explain…
Many have proposed that free will would use quantum indeterminism. Strict adherence to the Born rule, which follows from the no-signal condition, seems to block this possibility. I propose here that if state collapse really does occur then…
With rare exceptions, in high school and college/university physics courses literature and in journals of physics, the weight is defined as a gravitational force or an exclusive consequence of it. These definitions lack logic from the…
The functional interpretation is a systematic, syntactic method for transforming certain non-constructive proofs into constructive proofs with explicit bounds. We illustrate the interpretation by working through a concrete, fairly simple…
The claim of the freedom of the will (understood as an individual who is transcendent to Nature) in the name of XXth century scientific knowledge, against the perspective of XVIIIth-XIXth century scientific materialism, is analysed and…
We study the concept of free will by defining a mathematical model that extends Newton's laws of motion, in such a way that bodies are replaced with agents endowed with free will. In our model the free will of agents is not entirely free,…
Intelligent physical systems as embodied cognitive systems must perform high-level reasoning while concurrently managing an underlying control architecture. The link between cognition and control must manage the problem of converting…
We argue that the concepts of "freedom of choice" and of "causal order" are intrinsically linked: a choice is considered "free" if it is correlated only to variables in its causal future. We discuss the implications of this to Bell-type…
We propose an integration of possibility theory into non-classical logics. We obtain many formal results that generalize the case where possibility and necessity functions are based on classical logic. We show how useful such an approach is…
We derive axiomatically the probability function that should be used to make decisions given any form of underlying uncertainty.
We discuss some methodological aspects of the relation between physics and metaphysics by dealing specifically with the case of non-relativistic quantum mechanics. Our main claim is that current attempts to productively integrate quantum…
Quantum Mechanics is generally considered to be the ultimate theory capable of explaining the emergence of randomness by virtue of the quantum measurement process. Therefore, Quantum Mechanics can be thought of as God's wonderfully…
In this paper a conditional logic is defined and studied. This conditional logic, Deterministic Bayesian Logic, is constructed as a deterministic counterpart to the (probabilistic) Bayesian conditional. The logic is unrestricted, so that…
The basic question in the long-standing debate about free will (FW) is not whether FW can be demonstrated to exist nor even whether it exists, but instead how to define it scientifically. If FW is not dismissed as an illusion nor identified…
In quantum gravity there is no notion of absolute time. Like all other quantities in the theory, the notion of time has to be introduced "relationally", by studying the behavior of some physical quantities in terms of others chosen as a…