-
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
-
21Correspondence and Completeness for Generalized QuantifiersLogic Journal of the IGPL 3 (2-3): 167-190. 1995.
-
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.
-
143Abstracte begrippen en concrete werkelijkheid - Twee vragen voor Hans RadderAlgemeen Nederlands Tijdschrift voor Wijsbegeerte 106 (1): 69-74. 2014.Amsterdam University Press is a leading publisher of academic books, journals and textbooks in the Humanities and Social Sciences. Our aim is to make current research available to scholars, students, innovators, and the general public. AUP stands for scholarly excellence, global presence, and engagement with the international academic community.
-
81Von Mises' definition of random sequences reconsideredJournal of Symbolic Logic 52 (3): 725-755. 1987.We review briefly the attempts to define random sequences. These attempts suggest two theorems: one concerning the number of subsequence selection procedures that transform a random sequence into a random sequence; the other concerning the relationship between definitions of randomness based on subsequence selection and those based on statistical tests.
-
229Naturalising Mathematics? A Wittgensteinian PerspectivePhilosophies 7 (4): 85. 2022.There is a noticeable gap between results of cognitive neuroscientific research into basic mathematical abilities and philosophical and empirical investigations of mathematics as a distinct intellectual activity. The paper explores the relevance of a Wittgensteinian framework for dealing with this discrepancy.
-
48Abstracties en idealisaties: de constructie van de moderne taalkundeTijdschrift Voor Filosofie 72 (4): 749-776. 2010.The paper addresses the way in which modern linguistics, − in particular, but not exclusively, the generative tradition − , has constructed its core concepts. It argues that a particular form of construction, reminiscent of, but crucially different from, abstrac- tion, which is dubbed ‘idealisation’, plays a central role here. The resemblances and differences between abstractions and idealisations are investigated, and consequences of the reliance on idealisations are reviewed.
-
32Logic as Marr's Computational Level: Four Case StudiesTopics in Cognitive Science 7 (2): 287-298. 2015.We sketch four applications of Marr's levels‐of‐analysis methodology to the relations between logic and experimental data in the cognitive neuroscience of language and reasoning. The first part of the paper illustrates the explanatory power of computational level theories based on logic. We show that a Bayesian treatment of the suppression task in reasoning with conditionals is ruled out by EEG data, supporting instead an analysis based on defeasible logic. Further, we describe how results from …Read more
-
31William A. Dembski. Randomness by design. Noûs, vol. 25 , pp. 75–106Journal of Symbolic Logic 57 (2): 758-759. 1992.
-
29An Introduction to the Special Issue on Logic, Cognition and ArgumentationLogic and Logical Philosophy 27 (4): 417. 2018.
-
32The 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
-
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
-
11Discourse 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
-
58The Processing Consequences of the Imperfective Paradox: ArticlesJournal 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
-
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
-
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
-
38A Logic of VisionLinguistics and Philosophy 23 (1). 2000.This essay attempts to develop a psychologically informed semantics of perception reports, whose predictions match with the linguistic data. As suggested by the quotation from Miller and Johnson-Laird, we take a hallmark of perception to be its fallible nature; the resulting semantics thus necessarily differs from situation semantics. On the psychological side, our main inspiration is Marr's (1982) theory of vision, which can easily accomodate fallible perception. In Marr's theory, vision is a m…Read more
-
156Semantics as a foundation for psychology: A case study of Wason's selection task (review)Journal of Logic, Language and Information 10 (3): 273-317. 2001.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…Read more
-
47A little logic goes a long way: basing experiment on semantic theory in the cognitive science of conditional reasoningCognitive Science 28 (4): 481-529. 2004.
-
39Reasoning in Non-probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as ExamplesMinds and Machines 27 (1): 37-77. 2017.This article aims to achieve two goals: to show that probability is not the only way of dealing with uncertainty ; and to provide evidence that logic-based methods can well support reasoning with uncertainty. For the latter claim, two paradigmatic examples are presented: logic programming with Kleene semantics for modelling reasoning from information in a discourse, to an interpretation of the state of affairs of the intended model, and a neural-symbolic implementation of input/output logic for …Read more
-
51A logic of visionLinguistics and Philosophy 23 (1): 1-92. 2000.This essay attempts to develop a psychologically informed semantics of perception reports, whose predictions match with the linguistic data. As suggested by the quotation from Miller and Johnson-Laird, we take a hallmark of perception to be its fallible nature; the resulting semantics thus necessarily differs from situation semantics. On the psychological side, our main inspiration is Marr's (1982) theory of vision, which can easily accomodate fallible perception. In Marr's theory, vision is a m…Read more
-
102Logic 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
-
8Event Calculus, Nominalisation, and the ProgressiveLinguistics and Philosophy 26 (4): 381-458. 2003.
-
67Logic as Marr's Computational Level: Four Case StudiesTopics in Cognitive Science 7 (2): 287-298. 2015.We sketch four applications of Marr's levels-of-analysis methodology to the relations between logic and experimental data in the cognitive neuroscience of language and reasoning. The first part of the paper illustrates the explanatory power of computational level theories based on logic. We show that a Bayesian treatment of the suppression task in reasoning with conditionals is ruled out by EEG data, supporting instead an analysis based on defeasible logic. Further, we describe how results from …Read more
Amsterdam, North Holland, Netherlands
Areas of Specialization
Science, Logic, and Mathematics |
History of Western Philosophy |