Related papers: The Free Will Function
This paper presents a simple decidable logic of functional dependence LFD, based on an extension of classical propositional logic with dependence atoms plus dependence quantifiers treated as modalities, within the setting of generalized…
Free will is fundamental to morality, intuition of self, and normal functioning of the society. However, science does not provide a clear logical foundation for this idea. This paper considers the fundamental scientific argument against…
We consider the paradoxical concept of free will from the perspective of Theoretical Computer Science (TCS), a branch of mathematics concerned with understanding the underlying principles of computation and complexity, including the…
It is argued that both the "Free Will Theorem" (FWT) and the "relativistic GRW model with Flash Ontology" (rGRWf) hiddenly assume the result of the before-before experiment, and for this reason both FWT and rGRWf imply free will in the…
The process of doing Science in condition of uncertainty is illustrated with a toy experiment in which the inferential and the forecasting aspects are both present. The fundamental aspects of probabilistic reasoning, also relevant in real…
Recently, origins of non-deterministic behavior and free will in living systems obtain growing interest (see, e.g. Maye A, Hsieh C, Sugihara G, Brembs B (2007) Order in Spontaneous Behavior. PLoS ONE 2(5): e443.…
Causality has been often confused with the notion of determinism. It is mandatory to separate the two notions in view of the debate about quantum foundations. Quantum theory provides an example of causal not-deterministic theory. Here we…
In a recent series of papers and lectures, John Conway and Simon Kochen presented The Free Will Theorem. "It asserts, roughly, that if indeed we humans have free will, then elementary particles already have their own small share of this…
The paper starts with the proposal that the cause of the apparent insolubility of the free-will problem are several popular but strongly metaphysical notions and hypotheses. To reduce the metaphysics, some ideas are borrowed from physics. A…
This paper focuses on a constructive treatment of the mathematical formalism of quantum theory and a possible role of constructivist philosophy in resolving the foundational problems of quantum mechanics, particularly, the controversy over…
I briefly present a personal view about alleged scientific results on free will.
Logic programming is a flexible programming paradigm due to the use of predicates without a fixed data flow. To extend logic languages with the compact notation of functional programming, there are various proposals to map evaluable…
We give a purely logical proof of the J. Conway and S. Kochen Free Will theorem concerning undeterminacy in Quantum Mechanics (Notices of the AMS, February 2009, Vol. 56/2, p. 226). The logical method seems to be very powerful.
Physics has long lived with a schizophrenia that desires determinism for measured systems while demanding that experimenters decide what to measure on a whim. Intriguingly, such a free will assumption for experimenters has thwarted many…
The goal of this work is to develop, in a systematic way and in a full natural generality, the foundations of a theory of functions of (free) noncommuting variables.
This paper provides a concise description of the free energy principle, starting from a formulation of random dynamical systems in terms of a Langevin equation and ending with a Bayesian mechanics that can be read as a physics of sentience.…
We develop a qualitative model of decision making with two aims: to describe how people make simple decisions and to enable computer programs to do the same. Current approaches based on Planning or Decisions Theory either ignore uncertainty…
As far as algorithmic thinking is bound by symbolic paper-and-pencil operations, the Church-Turing thesis appears to hold. But is physics, and even more so, is the human mind, bound by symbolic paper-and-pencil operations? What about the…
The idea of using unfolding as a way of computing a program semantics has been applied successfully to logic programs and has shown itself a powerful tool that provides concrete, implementable results, as its outcome is actually source…
The concept of power can be explored at several scales: from physical action and process effectuation, all the way to complex social dynamics. A spectrum-wide analysis of power requires attention to the fundamental principles that constrain…