According to a mainstream position in contemporary cognitive science and philosophy, the use of abstract compositional concepts is amongst the most characteristic indicators of meaningful deliberative thought in an organism or agent. In this article, we show how the ability to develop and utilise abstract conceptual structures can be achieved by a particular kind of learning agent. More specifically, we provide and motivate a concrete operational definition of what it means for these agents to be in possession of abstract concepts, (...) before presenting an explicit example of a minimal architecture that supports this capability. We then proceed to demonstrate how the existence of abstract conceptual structures can be operationally useful in the process of employing previously acquired knowledge in the face of new experiences, thereby vindicating the natural conjecture that the cognitive functions of abstraction and generalisation are closely related. (shrink)

Can we sensibly attribute some of the happenings in our world to the agency of some of the things around us? We do this all the time, but there are conceptual challenges purporting to show that attributable agency, and specifically one of its most important subspecies, human free agency, is incoherent. We address these challenges in a novel way: rather than merely rebutting specific arguments, we discuss a concrete model that we claim positively illustrates attributable agency in an indeterministic setting. (...) The model, recently introduced by one of the authors in the context of artificial intelligence, shows that an agent with a sufficiently complex memory organization can employ indeterministic happenings in a meaningful way. We claim that these considerations successfully counter arguments against the coherence of libertarian free will. (shrink)

Theories of free agency based on indeterminism -- that is, libertarian theories -- are often accused of undermining an agent's integrity: If an action is due to indeterministic happenings, how can it be called the agent's action to begin with? Isn't a deterministic connection between an agent's circumstances and her action needed to maintain her integrity? We claim that a meaningful notion of agency does not need determinism. In this paper we introduce stochastic libertarianism, a novel theory of free agency (...) under indeterminism. Based on a physically motivated, stochastic model of the temporal evolution of a deliberation process, stochastic libertarianism views indeterminism as a core resource for meaningful agency rather than as a threat. We counter the supposed threat by explicitly discussing Van Inwagen's replay argument, exposing a flaw in the argument that is due to insufficient attention to temporal details. Our approach can also explain how a stochastically libertarian agent developing over time can exhibit highly realiable behavior. We claim, therefore, that integrity in action does not need determinism. (shrink)

We establish a connection between measurement-based quantum computation and the field of mathematical logic. We show that the computational power of an important class of quantum states called graph states, representing resources for measurement-based quantum computation, is reflected in the expressive power of (classical) formal logic languages defined on the underlying mathematical graphs. In particular, we show that for all graph state resources which can yield a computational speed-up with respect to classical computation, the underlying graphs—describing the quantum correlations of (...) the states—are associated with undecidable logic theories. Here undecidability is to be interpreted in a sense similar to Gödel’s incompleteness results, meaning that there exist propositions, expressible in the above classical formal logic, which cannot be proven or disproven. (shrink)