We attempt to make superdeterminism more intuitive, notably by simulating a deterministic model system, billiard game. In this system an initial ‘bang’ correlates all events, just as in the superdeterministic universe. introduce notions of ‘strong’ and ‘soft’ superdeterminism, order clarify debates literature. Based on analogy with billiards, we show that correlations may exist matter principle...

2. Elementary number theory.—Finite inferring and its limits. The question raised at the end of the previous paragraph, whether we couldn’t found arithmetic directly by a method independent of axiomatics and make a special proof of consistency superfluous, gives us reason to recall that the method of rigorous axiomatics, especially existential inference, presupposing a fixed domain of individua...

In this chapter, we review empirical evidence in support of infants' ability to make rudimentary probabilistic inferences. A recent surge of research in cognitive developmental psychology examines whether human learners, from infancy through adulthood, reason in ways consistent with Bayesian inference. However, when exploring this question an important first step is to identify the available in...

Previous experimental studies suggest that cooperation in one-shot anonymous interactions is, on average, spontaneous, rather than calculative. To explain this finding, it has been proposed that people internalize cooperative heuristics in their everyday life and bring them as intuitive strategies in new and atypical situations. Yet, these studies have important limitations, as they promote int...

In this paper the possibilities for research into the development of a design method for user centred design based upon seven design principles formulated by Donald Norman (Norman, 1988) are reviewed. Special attention is focused on the principle of natural mapping and the possibilities for grouping and configuration of interfaces therein. Although it is concluded that Norman’s principles could...

One of the hallmarks of human intelligence is its flexibility. While computers have achieved better-than-human performance in various games, such as Chess, Jeopardy, or Go, there is no single algorithm yet that works in all of these cases. Humans, however, can excel at all of these games, and many other tasks. We believe that bridging the gap between human and machine intelligence requires two ...

Humans appear to reason using two processing styles: System 1 processes that are quick, intuitive, and effortless and System 2 processes that are slow, analytical, and deliberate that occasionally correct the output of System 1. Four experiments suggest that System 2 processes are activated by metacognitive experiences of difficulty or disfluency during the process of reasoning. Incidental expe...

The Logic of Partial Functions (LPF) is used to reason about propositions that include terms that can fail to denote values. This paper provides semantics for LPF. A Structural Operational Semantics (SOS) provides an intuitive introduction; this is followed by a denotational semantics where the space of denotations is relations which provide an intuitive model of undefined terms. Finally, we il...