Logic: A Primer
| 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 erich@snafu.de. 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 | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesJerzy 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.
Analytics
Monthly downloads |
Added to index2011-01-19Total downloads105 ( #5,553 of 549,069 )Recent downloads (6 months)4 ( #19,186 of 549,069 )How can I increase my downloads? |
My notes
Discussion
