Michiel van Lambalgen
Prof.dr. Michiel van Lambalgen
Chair of Logic & Cognitive Science (shared with Frank Veltman)
ILLC/Department of Philosophy
University of Amsterdam
Nieuwe Doelenstraat 15
1012 CP Amsterdam
The Netherlands
» Curriculum Vitae
» Email: vanlambalgen@hum.uva.nl
skip News

News


» The Proper Treatment of Events (written with Fritz Hamm) to appear with Blackwell
- Recent and Upcoming Invited Addresses
» ASL Logic Colloquium '01 (Vienna, August 2001).
» 5th International Workshop on Computational Semantics, IWCS-5, Jan 15-17 2003, Tilburg, The Netherlands.
» Eighth International Colloquium on Cognitive Science (ICCS03), Donostia - San Sebastián, May 7-10, 2003.
» Twelfth International Congress of Logic Methodology and Philosophy of Science (LMPS03), Oviedo, August 7-13, 2003.
skip Research

Research


Most of my present research takes place within the framework of the programme 'Logic meets psychology: nonmonotonicity', sponsored by the Netherlands Organization for Scientific Research (NWO).
A description of the project can be found here:
» Logic meets psychology: nonmonotonicity (Word)
» Logic meets psychology: nonmonotonicity (PDF)
- Examples of Research Done in the NWO Project
» What do four-year-olds have in common with Frege?
Together with the psychiatrists A. Korzec and C. de Bruijn I have been working on the construction of a diagnostic tool for alcoholism using a Bayesian network. Our paper can be found here:
» Confirming Diagnosis of Hazardous and Harmful Alcohol Use (Word)
» Confirming Diagnosis of Hazardous and Harmful Alcohol Use (PDF)
- Material relevant to the paper can be found here:
» Alcoholism
» Alt
» Ap
» Ast
» Ast/Alt
» Bmi Diabetes
» Cdt
» Clinical
» Ggt
» Liver Disease
» Mcv
» Literature (Word)
» Literature (PDF)
From 1994 until 1999 I was director of the NWO-PIONIER project 'Reasoning with uncertainty'. A description of the research performed in this project can be found here:
» Final Report NWO-PIONIER project 'Reasoning with uncertainty'
skip Selected Publications

Selected Publications


- Generalised Quantifiers
» (with Natasha Alechina) Generalized Quantification as Substructural Logic. Journal of Symbolic Logic, Vol. 61, No. 3. (Sep., 1996), pp. 1006-1044.
- Logic of Vision
» (with Jaap van der Does) A logic of vision. Linguistics and Philosophy 23 (1), 1-92 (2000).
» Conditional quantification, or poor man's probability. Journal of Logic and Computability 11(2), 295-335 (2001).
» Logical constructions suggested by vision. In L. Cavedon et al (eds.) Logic, Language and Computation. CSLI Publications (Stanford), 2002.
- Psychology
» (with Keith Stenning) Semantics as a Foundation for Psychology: A Case Study of Wason's Selection Task. Journal of Logic, Language and Information 10, 273-317 (2001).
» (with Keith Stenning) A little logic goes a long way: basing experiment on semantic theory in the cognitive science of conditional reasoning. Submitted.
» (with Keith Stenning) The natural history of hypotheses about the selection task. To appear in Manktelow and Chung (eds.), Psychology of Reasoning. Psychology Press, 2002.
- Randomness
» Random sequences. Unpublished PhD dissertation, Department of Mathematics and Computer Science, University of Amsterdam, 1987.
» Von Mises' notion of random sequence reconsidered. Journal of Symbolic Logic 52 (3), 725 - 755 (1987).
» Algorithmic information theory. Journal of Symbolic Logic 54 (4), 1389 - 1400 (1989).
» The axiomatisation of randomness. Journal of Symbolic Logic 55 (3), 1143 - 1167 (1990).
» Independence, randomness and the axiom of choice. Journal of Symbolic Logic 57 (4), 1274 - 1304 (1992).
» Independence structures in set theory. In W. Hodges et al (eds.), Logic: from foundations to applications (European Logic Colloquium 1993), Oxford University Press, 1996.
» Randomness and foundations of probability: von Mises' axiomatisation of random sequences. In T. Ferguson et al (eds.), Probability, Statistics and Game Theory: papers in honour of David Blackwell. Institute for Mathematical Statistics Monograph Series Vol. 20, 1996.
- Semantics of Tense and Aspect
» (with Fritz Hamm) Moschovakis' notion of meaning as applied to linguistics. To appear in M. Baaz, J. Krajicek (eds.), Logic Colloquium '01, ASL Lecture Notes in Logic, A.K. Peters Publishers, 2002.
» (with Fritz Hamm) Formal Foundations for Semantic Theories of Nominalisation. In E. Lang and I. Zimmermann (eds.), ZAS Papers in Linguistics, Vol. 27, April 2002.
» (with Fritz Hamm) Intensionality and coercion. To appear in R. Kahle (ed.), Intensionality, ASL Lecture Notes in Logic, A.K. Peters Publishers, 2003.
» (with Fritz Hamm) Event calculus, nominalisation and the progressive. To appear in Linguistic and Philosophy.
skip Teaching

Teaching


- Cognitieve Robotica (Trimester I, 2002-2003)
» Syllabus
- Tentamenopdracht
» Een lijst van predicaten (Word)
» Een lijst van predicaten (PDF)
» Shakey Tentamen (LaTeX)
» Shakey Tentamen (PDF)
» Opgaveresultaten
» Tentamen- en Eindresultaten
- Logic and Cognition (Semester I, 2002-2003)
- The Proper Treatment of Events (book)
» Events formalised
» Time
- Articles
» (with Fritz Hamm) Moschovakis' notion of meaning as applied to linguistics. To appear in M. Baaz, J. Krajicek (eds.), Logic Colloquium '01, ASL Lecture Notes in Logic, A.K. Peters Publishers, 2002.
» (with Fritz Hamm) Intensionality and coercion. To appear in R. Kahle (ed.), Intensionality, ASL Lecture Notes in Logic, A.K. Peters Publishers, 2003.
» (with Fritz Hamm) Event calculus, nominalisation and the progressive. To appear in Linguistic and Philosophy.
- Slides
» Slideset 1
» Slideset 2
» Slideset 3
» Slideset 4
» Slideset 5
» Slideset 6
» Slideset 7
» Slideset 8
- Rationality and the Psychology of Reasoning (Semester II, 2002-2003)
This course is concerned with the (supposed) tension between logical norms of reasoning and actual human reasoning. We present a large quantity of data from the psychological literature, pertaining to children, literate adults, illiterate adults, and patients suffering from various psychiatric disorders. We also discuss the various theories that psychologists have proposed to account for these findings, such as 'mental models', evolutionary psychology and Bayesian approaches. We then discuss these same data from a logical point of view -- with the outcome that the proposed explanations are all untenable. So what to do about this situation?
» Lecture Notes: rough draft of a book to appear with MIT Press
- Example Student Paper 2002
» Two Experimental Variations On the Standard False Belief Task (Word)
» Two Experimental Variations On the Standard False Belief Task (PDF)
» Video Footage from First Experiment (Windows Media)
» Video Footage from Second Experiment (Windows Media)
» back to top of page