Related papers: The Free Will Function
The ability to reason under uncertainty and with incomplete information is a fundamental requirement of decision support technology. In this paper we argue that the concentration on theoretical techniques for the evaluation and selection of…
If we take the subjective character of consciousness seriously, consciousness becomes a matter of "being" rather than "doing". Because "doing" can be dissociated from "being", functional criteria alone are insufficient to decide whether a…
A simple example is provided showing that violation of free will allows to reproduce the quantum mechanical predictions, and that the Clauser-Horne parameter can take the maximum value 4 for a proper choice.
We present a linear functional calculus with both the safety guarantees expressible with linear types and the rich language of combinators and composition provided by functional programming. Unlike previous combinations of linear typing and…
This paper describes and motivates a new decision theory known as functional decision theory (FDT), as distinct from causal decision theory and evidential decision theory. Functional decision theorists hold that the normative principle for…
Today's science provides quite a lean picture of time as a mere geometric evolution parameter. I argue that time is much richer. In particular, I argue that besides the geometric time, there is creative time, when objective chance events…
The title refers to the Free Will Theorem by Conway and Kochen whose flashy formulation is: if experimenters possess free will, then so do particles. In more modest terms, the theorem says that individual pairs of spacelike separated…
It has been suggested that consciousness plays an important role in quantum mechanics as it is necessary for the collapse of wave function during the measurement. Furthermore, this idea has spawned a symmetrical proposal: a possibility that…
We consider multi-agent argumentation, where each agent's view of the arguments is encoded as an argumentation framework (AF). Then we study deliberative processes than can occur on this basis. We think of a deliberative process as taking…
We address the question of whether the quantum-mechanical wave function $\Psi$ of a system is uniquely determined by any complete description $\Lambda$ of the system's physical state. We show that this is the case if the latter satisfies a…
The propositional logic is generalized on the real numbers field. the logical function with all properties of the classical probability function is obtained. The logical analog of the Bernoulli independent tests scheme is constructed. The…
Choice functions constitute a simple, direct and very general mathematical framework for modelling choice under uncertainty. In particular, they are able to represent the set-valued choices that typically arise from applying decision rules…
The classical propositional logic is known to be sound and complete with respect to the set semantics that interprets connectives as set operations. The paper extends propositional language by a new binary modality that corresponds to…
In this paper we provide a theoretical analysis of counterfactual invariance. We present a variety of existing definitions, study how they relate to each other and what their graphical implications are. We then turn to the current major…
Manipulation of the effects of consciousness by external influence on the human brain is considered in the context of the nonlinear dynamical modeling of interaction between automatic and conscious processes.
A straightforward argument shows that, by allowing counterfactual elements of physical reality, any arbitrary discrete finite-dimensional operator corresponds to an observable.
A fundamental question is whether Turing machines can model all reasoning processes. We introduce an existence principle stating that the perception of the physical existence of any Turing program can serve as a physical causation for the…
An attempt at unifying logic and functional programming is reported. As a starting point, we take the view that "logic programs" are not about logic but constitute inductive definitions of sets and relations. A skeletal language design…
An ordinal view of independence is studied in the framework of possibility theory. We investigate three possible definitions of dependence, of increasing strength. One of them is the counterpart to the multiplication law in probability…
The free energy principle has been proposed as a unifying account of brain function. It is closely related, and in some cases subsumes, earlier unifying ideas such as Bayesian inference, predictive coding, and active learning. This article…