5 found
Order:
See also
Michiel Van Lambalgen
University of Amsterdam
  1. Human Reasoning and Cognitive Science.Keith Stenning & Michiel van Lambalgen - 2008 - Boston, USA: MIT Press.
    In the late summer of 1998, the authors, a cognitive scientist and a logician, started talking about the relevance of modern mathematical logic to the study of human reasoning, and we have been talking ever since. This book is an interim report of that conversation. It argues that results such as those on the Wason selection task, purportedly showing the irrelevance of formal logic to actual human reasoning, have been widely misinterpreted, mainly because the picture of logic current in psychology (...)
    Download  
     
    Export citation  
     
    Bookmark   42 citations  
  2. A Formalization of Kant’s Transcendental Logic.Theodora Achourioti & Michiel van Lambalgen - 2011 - 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  3. THE LOGIC OF TIME AND THE CONTINUUM IN KANT's CRITICAL PHILOSOPHY.Riccardo Pinosio & Michiel van Lambalgen - manuscript
    We aim to show that Kant’s theory of time is consistent by providing axioms whose models validate all synthetic a priori principles for time proposed in the Critique of Pure Reason. In this paper we focus on the distinction between time as form of intuition and time as formal intuition, for which Kant’s own explanations are all too brief. We provide axioms that allow us to construct ‘time as formal intuition’ as a pair of continua, corresponding to time as ‘inner (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. The Logic and Topology of Kant's Temporal Continuum.Riccardo Pinosio & Michiel van Lambalgen - manuscript
    In this article we provide a mathematical model of Kant?s temporal continuum that satisfies the (not obviously consistent) synthetic a priori principles for time that Kant lists in the Critique of pure Reason (CPR), the Metaphysical Foundations of Natural Science (MFNS), the Opus Postumum and the notes and frag- ments published after his death. The continuum so obtained has some affinities with the Brouwerian continuum, but it also has ‘infinitesimal intervals’ consisting of nilpotent infinitesimals, which capture Kant’s theory of rest (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5.  64
    What Cost Naturalism?Martin Stokhof & Michiel van Lambalgen - forthcoming - In Wiebke Petersen & Kata Balogh (eds.), BRIDGE 2014 Proceedings. University of Duesselfors Press.
    The paper traces some of the assumptions that have informed conservative naturalism in linguistic theory, critically examines their justification, and proposes a more liberal alternative.
    Download  
     
    Export citation  
     
    Bookmark