-
33The logic and topology of kant’s temporal continuumReview of Symbolic Logic 11 (1): 160-206. 2018.In this paper we provide a mathematical model of Kant’s temporal continuum that yields formal correlates for Kant’s informal treatment of this concept in theCritique of Pure Reasonand in other works of his critical period. We show that the formal model satisfies Kant’s synthetic a priori principles for time and that it even illuminates what “faculties and functions” must be in place, as “conditions for the possibility of experience”, for time to satisfy such principles. We then present a mathema…Read more
-
32William A. Dembski. Randomness by design. Noûs, vol. 25 , pp. 75–106Journal of Symbolic Logic 57 (2): 758-759. 1992.
-
32A little logic goes a long way: basing experiment on semantic theory in the cognitive science of conditional reasoningCognitive Science 28 (4): 481-529. 2004.
-
31An Introduction to the Special Issue on Logic, Cognition and ArgumentationLogic and Logical Philosophy 27 (4): 417. 2018.
-
30Generalized Quantification as Substructural LogicJournal of Symbolic Logic 61 (3). 1996.We show how sequent calculi for some generalized quantifiers can be obtained by generalizing the Herbrand approach to ordinary first order proof theory. Typical of the Herbrand approach, as compared to plain sequent calculus, is increased control over relations of dependence between variables. In the case of generalized quantifiers, explicit attention to relations of dependence becomes indispensible for setting up proof systems. It is shown that this can be done by turning variables into structu…Read more
-
29On a Spector Ultrapower for the Solovay ModelMathematical Logic Quarterly 43 (3): 389-395. 1997.We prove that a Spector‐like ultrapower extension ???? of a countable Solovay model ???? (where all sets of reals are Lebesgue measurable) is equal to the set of all sets constructible from reals in a generic extension ????[a], where a is a random real over ????. The proof involves the Solovay almost everywhere uniformization technique.
-
26The representation of Takeuti's $$\begin{array}{*{20}c} \parallel \\ \_ \\ \end{array} $$ -operatorStudia Logica 42 (4): 407-415. 1983.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 …Read more
-
23Interpretation, representation, and deductive reasoningIn Jonathan Eric Adler & Lance J. Rips (eds.), Reasoning: Studies of Human Inference and its Foundations, Cambridge University Press. pp. 223-248. 2008.
-
22An Introduction to the Special Issue on Question ProcessingLogic and Logical Philosophy 26 (3): 285-288. 2017.An Introduction to the Special Issue on Question Processing.
-
22Editorial: An invitation to cognitive science (review)Journal of Logic, Language and Information 10 (2): 145-146. 2001.
-
21Correspondence and Completeness for Generalized QuantifiersLogic Journal of the IGPL 3 (2-3): 167-190. 1995.
-
19Semantic Interpretation as Computation in Nonmonotonic Logic: The Real Meaning of the Suppression TaskCognitive Science 29 (6): 919-960. 2005.Interpretation is the process whereby a hearer reasons to an interpretation of a speaker's discourse. The hearer normally adopts a credulous attitude to the discourse, at least for the purposes of interpreting it. That is to say the hearer tries to accommodate the truth of all the speaker's utterances in deriving an intended model. We present a nonmonotonic logical model of this process which defines unique minimal preferred models and efficiently simulates a kind of closed-world reasoning of pa…Read more
-
17The processing consequences of the imperfective paradoxJournal of Semantics 24 (4): 307-330. 2007.In this paper we present a semantic analysis of the imperfective paradox based on the Event Calculus, a planning formalism characterizing a class of models which can be computed by connectionist networks. We report the results of a questionnaire that support the semantic theory and suggest that different aspectual classes of VPs in the progressive give rise to different entailment patterns. Further, a processing model is outlined, combining the semantic analysis with the psycholinguistic princip…Read more
-
17The Representation of Takeuti's ⫫-OperatorStudia Logica 42 (4): 407-415. 1983.Gaisi Takeuti has recently proposed a new operation on orthomodular lattices L, ⫫: $\scr{P}\rightarrow L$ . The properties of ⫫ suggest that the value of ⫫ $$ corresponds to the degree in which the elements of A behave classically. To make this idea precise, we investigate the connection between structural properties of orthomodular lattices L and the existence of two-valued homomorphisms on L
-
16Explaining intersubjectivity. A comment on Arie Verhagen, Constructions of IntersubjectivityCognitive Linguistics 19 (1). 2008.
-
14Logic in the study of psychiatric disorders: executive function and rule-followingTopoi 26 (1): 97-114. 2007.Executive function has become an important concept in explanations of psychiatric disorders, but we currently lack comprehensive models of normal executive function and of its malfunctions. Here we illustrate how defeasible logical analysis can aid progress in this area. We illustrate using autism and attention deficit hyperactivity disorder (ADHD) as example disorders, and show how logical analysis reveals commonalities between linguistic and non-linguistic behaviours within each disorder, and …Read more
-
12Discourse Processing in Attention-Deficit Hyperactivity Disorder (ADHD)Journal of Logic, Language and Information 17 (4): 467-487. 2008.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 …Read more
-
10Language Evolution: Enlarging the PictureIn David McFarland, Keith Stenning & Maggie McGonigle (eds.), The Complex Mind, Palgrave-macmillan. pp. 264-282. 2012.
-
8Event Calculus, Nominalisation, and the ProgressiveLinguistics and Philosophy 26 (4): 381-458. 2003.
Amsterdam, North Holland, Netherlands
Areas of Specialization
Science, Logic, and Mathematics |
History of Western Philosophy |