10 found
Order:
Disambiguations
Michiel Lambalgen [8]Michiel Van Lambalgen [2]
See also
Michiel Van Lambalgen
University of Amsterdam
  1.  23
    Semantic Interpretation as Computation in Nonmonotonic Logic: The Real Meaning of the Suppression Task.Keith Stenning & Michiel Lambalgen - 2005 - Cognitive Science 29 (6):919-960.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  2.  28
    A Little Logic Goes a Long Way: Basing Experiment on Semantic Theory in the Cognitive Science of Conditional Reasoning.Keith Stenning & Michiel Lambalgen - 2004 - Cognitive Science 28 (4):481-529.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  3.  55
    Logic as Marr's Computational Level: Four Case Studies.Giosuè Baggio, Michiel Lambalgen & Peter Hagoort - 2015 - Topics in Cognitive Science 7 (2):287-298.
    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 an EEG study on temporal prepositions (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  17
    Generalized Quantification as Substructural Logic.Natasha Alechina & Michiel Van Lambalgen - 1996 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  5.  6
    Formal Models for Real People.Michiel Lambalgen & Marian Counihan - 2008 - Journal of Logic, Language and Information 17 (4):385-389.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  8
    Logic in the Study of Psychiatric Disorders: Executive Function and Rule-Following.Keith Stenning & Michiel Lambalgen - 2007 - Topoi 26 (1):97-114.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  23
    A Logic of Vision.Jaap van Der Does & Michiel Van Lambalgen - 2000 - 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  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  18
    The Representation of Takeuti's $$\Begin{Array}{*{20}C} \Parallel \\ \_ \\ \End{Array} $$ -Operator.Roger M. Cooke & Michiel Lambalgen - 1983 - 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)  
     
    Export citation  
     
    Bookmark  
  9.  34
    The Representation of Takeuti's *20c ||_ -Operator.Roger M. Cooke & Michiel Lambalgen - 1983 - 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  
     
    Export citation  
     
    Bookmark  
  10.  1
    Discourse Processing in Attention-Deficit Hyperactivity Disorder.Michiel Lambalgen, Claudia Kruistum & Esther Parigger - 2008 - Journal of Logic, Language and Information 17 (4):467-487.
    Direct download  
     
    Export citation  
     
    Bookmark