Logic and Formal Ontology Barry Smith(1) From J. N. Mohanty and W. McKenna, eds., Husserl's Phenomenology: A Textbook, Lanham: University Press of America (1989), 29-67. Introduction The current resurgence of interest in cognition and in the nature of cognitive processing has brought with it also a renewed interest in the early work of Husserl, one of the most sustained attempts to come to grips with the problems of logic from a cognitive point of view. Log ...

Philosophy Pages F A Q Dictionary Study Guide Logic Traffic History Timeline Philosophers Search the Site Locke Logic Elementary Logic: Logical Arguments, Uses of Language, Definition and Meaning Fallacies of Relevance, Presumption, and Ambiguity, Categorical Propositions and Immediate Inferences, Categorical Syllogisms and Their Validity, Syllogisms in Ordinary Language, Logical Symbols expressing Argument Form and Statement Form, Rules of Inference a ...

Notre Dame Journal of Formal Logic The Notre Dame Journal of Formal Logic provides a forum where researchers working in all areas of logic and the foundations of mathematics can read and publish original and significant work. Online with Project Euclid NDJFL is an Open Archive journal. At Project Euclid, NDJFL volumes more than five years old are available free to the public. Michael Detlefsen and Peter Cholak, Editors Martha E. Kummerer, Production Editor and Manag ...

Phl 313K Logic, Sets and Functions Koons -- Fall 2002 WEL 2.246, TuTh 2-3:30 PM, 39925-39960. Office Hours Prof. Koons: WAG 405, Wed. 3-4; Thurs. 1-2. Review Session: Monday, December 16 (not the 9th ?I my apologies), 2002. WAG 302, 2-3 PM. Requirements, Syllabus and Homework Assignments Requirements Syllabus Homework Assignments . (Note: new due date for HW #2 ?I Oct. 1) Downloading Files Terlingua Font for Windows You will need the Terlingua a ...

Homepage Error The URL which you are trying to view either contains a typing mistake or is not available on this server. If you are looking for our subscriber's home page, it is likely that the user has not put up a page yet. If you feel that this is not so, please click on the email link below and send us detailed information of what you were trying to do. Email us if you have any comments or suggestions! © Copyright 1999 Pacific Internet Ltd. All Rights Reserved.

The History of Formal Logic The idea of reducing reasoning to computation in some kind of formal calculus is an old dream, surveyed by [marciszewski-murawski]. Some trace the idea back to Raymond Lull, though this is perhaps dubious. Certainly [hobbes-leviathan] made explicit the analogy in the slogan 'Reason [...] is nothing but Reckoning'.5 This parallel was developed by Leibniz, who envisaged a 'characteristica universalis' (universal language) and a 'calculus ratiocinator' (calculus of re ...