|Abstract||This text is a short introduction to logic that was primarily used for accompanying an introductory course in Logic for Linguists held at the New University of Lisbon (UNL) in fall 2010. The main idea of this course was to give students the formal background and skills in order to later assess literature in logic, semantics, and related fields and perhaps even use logic on their own for the purpose of doing truth-conditional semantics. This course in logic does not replace a proper introduction to semantics and is not intended as such, although parts of Chapter 1 and 4 could be used to supplement an introductory course in semantics. In contrast to other introductions it has a certain focus on ‘writing things down correctly.’ Proofs of metatheorems are omitted, though. This is work in progress. Please send suggestions and corrigenda to firstname.lastname@example.org. Have fun!|
|Keywords||set theory discrete mathematics for linguists higher-order logic predicate logic Smullyan calculus semantic / analytic tableaux first-order predicate logic lambda calculus categorial grammar introduction|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Jerzy Kotas & N. C. A. Costa (1979). A New Formulation of Discussive Logic. Studia Logica 38 (4):429 - 445.
Angelo Margaris (1967/1990). First Order Mathematical Logic. Dover Publications.
Robert Mattison (1968). An Introduction to the Model Theory of First-Order Predicate Logic and a Related Temporal Logic. Santa Monica, Calif.,Rand Corp..
J. Roger Hindley (1986). Introduction to Combinators and [Lambda]-Calculus. Cambridge University Press.
Kai F. Wehmeier (2008). Wittgensteinian Tableaux, Identity, and Co-Denotation. Erkenntnis 69 (3):363 - 376.
Kai Wehmeier (2004). Wittgensteinian Predicate Logic. Notre Dame Journal of Formal Logic 45 (1):1-11.
Alexander Bochman & Dov M. Gabbay (2012). Sequential Dynamic Logic. Journal of Logic, Language and Information 21 (3):279-298.
René Cori (2000). Mathematical Logic: A Course with Exercises. Oxford University Press.
S. Shapiro (2012). Higher-Order Logic or Set Theory: A False Dilemma. Philosophia Mathematica 20 (3):305-323.
G. E. Mint͡s (2000). A Short Introduction to Intuitionistic Logic. Kluwer Academic / Plenum Publishers.
P. B. Andrews (2002). An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Kluwer Academic Publishers.
B. Hale (forthcoming). Properties and the Interpretation of Second-Order Logic. Philosophia Mathematica.
Martin Stokhof (1991). Dynamic Predicate Logic. Linguistics and Philosophy 14 (1):39 - 100.
Greg Restall (2005). Logic: An Introduction. Routledge.
Added to index2011-01-19
Total downloads105 ( #5,553 of 549,069 )
Recent downloads (6 months)4 ( #19,186 of 549,069 )
How can I increase my downloads?