Michiel van Lambalgen University of Amsterdam
Contact

Affiliations
  • Faculty, University of Amsterdam
  • PhD, University of Amsterdam, 1987.

Areas of specialization
  • None specified

Areas of interest

blank
About me
Not much to say..
My works
30 items found.
Sort by:
  1. K. Stenning & M. Van Lambalgen (forthcoming). A Working Memory Model of Some Relations Between Interpretation and Reasoning. Submitted To. Cognitive Science.
     
    My bibliography  
     
    Export citation  
  2. Giosue Baggio, Michiel van Lambalgen & Peter Hagoort (2012). Language, Linguistics and Cognition. In Ruth M. Kempson, Tim Fernando & Nicholas Asher (eds.), Philosophy of Linguistics. North Holland.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Giosue Baggio, Michiel van Lambalgen & Peter Hagoort (2012). The Processing Consequences of Compositionality. In Markus Werning, Wolfram Hinzen & Edouard Machery (eds.), The Oxford Handbook of Compositionality. Oup Oxford.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Keith Stenning & Michiel van Lambalgen (2012). Language Evolution: Enlarging the Picture. In David McFarland, Keith Stenning & Maggie McGonigle (eds.), The Complex Mind. Palgrave Macmillan.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. T. Achourioti & M. van Lambalgen (2011). A Formalization of Kant's Transcendental Logic. Review of Symbolic Logic 4 (2):254-289.
    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 (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  6. Martin Stokhof & Michiel van Lambalgen (2010). Abstracties en idealisaties: de constructie van de moderne taalkunde. Tijdschrift Voor Filosofie 72 (4):749-776.
    No categories
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. Keith Stenning & Michiel van Lambalgen (2009). “Nonmonotonic” Does Not Mean “Probabilistic”. Behavioral and Brain Sciences 32 (1):102-103.
    Oaksford & Chater (O&C) advocate Bayesian probability as a way to deal formally with the pervasive nonmonotonicity of common sense reasoning. We show that some forms of nonmonotonicity cannot be treated by Bayesian methods.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  8. Keith Stenning & Michiel van Lambalgen (2008). Interpretation, Representation, and Deductive Reasoning. In Jonathan Eric Adler & Lance J. Rips (eds.), Reasoning: Studies of Human Inference and its Foundations. Cambridge University Press.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  9. Michiel van Lambalgen & Marian Counihan (2008). Formal Models for Real People. Journal of Logic, Language and Information 17 (4):385-389.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  10. Michiel van Lambalgen, Claudia van Kruistum & Esther Parigger (2008). Discourse Processing in Attention-Deficit Hyperactivity Disorder (Adhd). Journal of Logic, Language and Information 17 (4):467-487.
    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, (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  11. G. Baggio & M. van Lambalgen (2007). The Processing Consequences of the Imperfective Paradox. Journal of Semantics 24 (4):307-330.
    In this paper we present a semantic analysis of the imperfective paradox based on the Event Calculus (van Lambalgen & Hamm 2004), 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 principle of (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  12. Keith Stenning & Michiel van Lambalgen (2007). Logic in the Study of Psychiatric Disorders: Executive Function and Rule-Following. Topoi 26 (1):97-114.
    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 how contrasting sub-components of executive function are involved across disorders. This analysis reveals (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  13. Keith Stenning & Michiel Lambalgen (2005). Semantic Interpretation as Computation in Nonmonotonic Logic: The Real Meaning of the Suppression Task. Cognitive Science 29 (6):919-960.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  14. Keith Stenning & Michiel Lambalgen (2004). A Little Logic Goes a Long Way: Basing Experiment on Semantic Theory in the Cognitive Science of Conditional Reasoning. Cognitive Science 28 (4):481-529.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  15. Keith Stenning & Michiel van Lambalgen (2004). A Little Logic Goes a Long Way: Basing Experiment on Semantic Theory in the Cognitive Science of Conditional Reasoning. Cognitive Science 28 (4):481-529.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  16. Fritz Hamm & Michiel van Lambalgen (2003). Event Calculus, Nominalisation, and the Progressive. Linguistics and Philosophy 26 (4):381-458.
  17. Fritz Hamm & Michiel van Lambalgen (2003). Nominalization, the Progressive and Event Calculus. Linguistics and Philosophy 26:381-458.
    No categories
     
    My bibliography  
     
    Export citation  
  18. Keith Stenning & Michiel van Lambalgen (2001). Semantics as a Foundation for Psychology: A Case Study of Wason's Selection Task. [REVIEW] Journal of Logic, Language and Information 10 (3):273-317.
    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 (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  19. Michiel van Lambalgen (2001). Editorial: An Invitation to Cognitive Science. [REVIEW] Journal of Logic, Language and Information 10 (2):145-146.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  20. Jaap M. van der Does & Michiel van Lambalgen (2000). A Logic of Vision. Linguistics and Philosophy 23 (1):1-92.
    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 multi-layered process. The different layers have filters of (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  21. Vladimir Kanovei & Michiel van Lambalgen (1997). On a Spector Ultrapower for the Solovay Model. Mathematical Logic Quarterly 43 (3):389-395.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  22. Natasha Alechina & Michiel van Lambalgen (1996). Generalized Quantification as Substructural Logic. Journal of Symbolic Logic 61 (3):1006-1044.
    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 structured objects, governed by various types of (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  23. Michiel van Lambalgen (1992). Dembski William A.. Randomness by Design. Noûs, Vol. 25 (1991), Pp. 75–106. Journal of Symbolic Logic 57 (2):758-759.
    Direct download  
     
    My bibliography  
     
    Export citation  
  24. Michiel van Lambalgen (1992). Independence, Randomness and the Axiom of Choice. Journal of Symbolic Logic 57 (4):1274-1304.
    We investigate various ways of introducing axioms for randomness in set theory. The results show that these axioms, when added to ZF, imply the failure of AC. But the axiom of extensionality plays an essential role in the derivation, and a deeper analysis may ultimately show that randomness is incompatible with extensionality.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  25. Michiel van Lambalgen (1990). The Axiomatization of Randomness. Journal of Symbolic Logic 55 (3):1143-1167.
    We present a faithful axiomatization of von Mises' notion of a random sequence, using an abstract independence relation. A byproduct is a quantifier elimination theorem for Friedman's "almost all" quantifier in terms of this independence relation.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  26. Michiel van Lambalgen (1989). Algorithmic Information Theory. Journal of Symbolic Logic 54 (4):1389-1400.
    We present a critical discussion of the claim (most forcefully propounded by Chaitin) that algorithmic information theory sheds new light on Godel's first incompleteness theorem.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  27. Michiel Van Lambalgen (1987). Von Mises' Definition of Random Sequences Reconsidered. Journal of Symbolic Logic 52 (3):725-755.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  28. Roger M. Cooke & Michiel Lambalgen (1983). The Representation of Takeuti's *20c ||_ -Operator. Studia Logica 42 (4):407 - 415.
    Gaisi Takeuti has recently proposed a new operation on orthomodular lattices L, ⫫: $\scr{P}(L)\rightarrow L$ . The properties of ⫫ suggest that the value of ⫫ $(A)(A\subseteq L)$ 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.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  29. Roger M. Cooke & Michiel Lambalgen (1983). The Representation of Takeuti's $$\Begin{Array}{*{20}C} \Parallel \\ \_ \\ \End{Array} $$ -Operator. Studia Logica 42 (4):407-415.
    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.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  30. Michiel van Lambalgen, How Reasoning Differs From Computation.
    Sieg has proposed axioms for computability whose models can be reduced to Turing machines. This lecture will investigate to what extent these axioms hold for reasoning. In particular we focus on the requirement that the configurations that a computing agent (whether human or machine) operates on must be ’immediately recognisable’. If one thinks of reasoning as derivation in a calculus, this requirement is satisfied; but even in contexts which are only slightly less formal, the requirement cannot be met. Our main (...)
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
Is this list right?