Michiel Van Lambalgen

In this article we provide a mathematical model of Kant?s temporal continuum that satisfies the (not obviously consistent) synthetic a priori principles for time that Kant lists in the Critique of pure Reason (CPR), the Metaphysical Foundations of Natural Science (MFNS), the Opus Postumum and the notes and frag- ments published after his death. The continuum so obtained has some affinities with the Brouwerian continuum, but it also has ‘infinitesimal intervals’ consisting of nilpotent infinitesimals, which capture Kant’s theory of rest and motion in MFNS. While constructing the model, we establish a concordance between the informal notions of Kant?s theory of the temporal continuum, and formal correlates to these notions in the mathematical theory. Our mathematical reconstruction of Kant?s theory of time allows us to understand what ?faculties and functions? must be in place for time to satisfy all the synthetic a priori principles for time mentioned. We have presented here a mathematically precise account of Kant?s transcendental argument for time in the CPR and of the rela- tion between the categories, the synthetic a priori principles for time, and the unity of apperception; the most precise account of this relation to date. We focus our exposition on a mathematical analysis of Kant’s informal terminology, but for reasons of space, most theorems are explained but not formally proven; formal proofs are available in (Pinosio, 2017). The analysis presented in this paper is related to the more general project of developing a formalization of Kant’s critical philosophy (Achourioti & van Lambalgen, 2011). A formal approach can shed light on the most controversial concepts of Kant’s theoretical philosophy, and is a valuable exegetical tool in its own right. However, we wish to make clear that mathematical formalization cannot displace traditional exegetical methods, but that it is rather an exegetical tool in its own right, which works best when it is coupled with a keen awareness of the subtleties involved in understanding the philosophical issues at hand. In this case, a virtuous ?hermeneutic circle? between mathematical formalization and philosophical discourse arises.

ADHD is a psychiatric disorder characterised by persistent and developmentally inappropriate levels of inattention, impulsivity and hyperactivity. It is known that children with ADHD tend to produce incoherent discourses, e.g. by narrating events out of sequence. Here the aetiology of ADHD becomes of interest. One prominent theory is that ADHD is an executive function disorder, showing deficiencies of planning. Given the close link between planning, verb tense and discourse coherence postulated in van Lambalgen and Hamm (The proper treatment of events, 2004), we predicted specific deviations in the verb tenses produced by children with ADHD. Here we report on an experiment corroborating these predictions.

This reply to Oaksford and Chater’s ’s critical discussion of our use of logic programming to model and predict patterns of conditional reasoning will frame the dispute in terms of the semantics of the conditional. We begin by outlining some common features of LP and probabilistic conditionals in knowledge-rich reasoning over long-term memory knowledge bases. For both, context determines causal strength; there are inferences from the absence of certain evidence; and both have analogues of the Ramsey test. Some current work shows how a combination of counting defeaters and statistics from network monitoring can provide the information for graded responses from LP reasoning. With this much introduction, we then respond to O&C’s specific criticisms and misunderstandings.

In the late summer of 1998, the authors, a cognitive scientist and a logician, started talking about the relevance of modern mathematical logic to the study of human reasoning, and we have been talking ever since. This book is an interim report of that conversation. It argues that results such as those on the Wason selection task, purportedly showing the irrelevance of formal logic to actual human reasoning, have been widely misinterpreted, mainly because the picture of logic current in psychology and cognitive science is completely mistaken. We aim to give the reader a more accurate picture of mathematical logic and, in doing so, hope to show that logic, properly conceived, is still a very helpful tool in cognitive science. The main thrust of the book is therefore constructive. We give a number of examples in which logical theorizing helps in understanding and modeling observed behavior in reasoning tasks, deviations of that behavior in a psychiatric disorder (autism), and even the roots of that behavior in the evolution of the brain.

Compositionality remains effective as an explanation of cases in which processing complexity increases due to syntactic factors only. It falls short of accounting for situations in which complexity arises from interactions with the sentence or discourse context, perceptual cues, and stored knowledge. The idea of compositionality as a methodological principle is appealing, but imputing the complexity to one component of the grammar or another, instead of enriching the notion of composition, is not always an innocuous move, leading to fully equivalent theories. Compositionality sets an upper bound on the degree of informational encapsulation that can be posited by modular or component-based theories of language: simple composition ties in with a strongly modular take on meaning assembly, which is seen as sealed off from information streams other than the lexicon and the syntax.

Gaisi Takeuti has recently proposed a new operation on orthomodular latticesL, $\begin{array}{*{20}c} \parallel \\ \_ \\ \end{array} $ :P(L)»L. The properties of $\begin{array}{*{20}c} \parallel \\ \_ \\ \end{array} $ suggest that the value of $\begin{array}{*{20}c} \parallel \\ \_ \\ \end{array} $ (A) (A) $ \subseteq $ L) corresponds to the degree in which the elements ofA behave classically. To make this idea precise, we investigate the connection between structural properties of orthomodular latticesL and the existence of two-valued homomorphisms onL

Although Kant (1998) envisaged a prominent role for logic in the argumentative structure of his Critique of Pure Reason, logicians and philosophers have generally judged Kantgeneralformaltranscendental logics is a logic in the strict formal sense, albeit with a semantics and a definition of validity that are vastly more complex than that of first-order logic. The main technical application of the formalism developed here is a formal proof that Kants logic is after all a distinguished subsystem of first-order logic, namely what is known as geometric logic

We review the various explanations that have been offered toaccount for subjects'' behaviour in Wason ''s famous selection task. Weargue that one element that is lacking is a good understanding ofsubjects'' semantics for the key expressions involved, and anunderstanding of how this semantics is affected by the demands the taskputs upon the subject''s cognitive system. We make novel proposals inthese terms for explaining the major content effects of deonticmaterials. Throughout we illustrate with excerpts from tutorialdialogues which motivate the kinds of analysis proposed. Our long termgoal is an integration of the various insights about conditionalreasoning on offer from different cognitive science methodologies. Thepurpose of this paper is to try to draw the attention of logicians andsemanticists to this area, since we believe that empirical investigationof the cognitive processes involved could benefit from semanticanalyses.