Any take on whether it too may be a good place to start before leaping into the TYL guide? Well, in the Guide I do recommend Paul Teller’s introductory book which is freely available online. I plan to start reading it soon. Kneebones’ ‘Mathematical Logic and the Foundations of Mathematics’ (with S.T. The Guide is aimed at two main groups of readers { philosophers who want to go on beyond their rst introductory logic course to learn some more serious logic, and mathematicians wanting to get to grips with an under-taught but exciting area of mathematics. Learning mathematical logic involves a serious time commitment, and different people have different backgrounds/requirements, so you’ll want detailed advice from which you can work out which books might be suitable for you. 2 books Jane Bridge’s very compact Beginning Model Theory and Maria Manzano, Model Theory are realy hard for me to obtain specially no amazon and such markets available in my country and even if amazon was available due to differences in my country’s currency and dollar it will be ultra expensive if i want to order them from eu or us markets( I didn’t find any pdf versions of mentioned books) .i will be really grateful if u suggest some other alternatives As the same level as these two or some other cheaper ways to get access to these books so i can keep going according the program. Hi everyone The book offers the perspective of a first-rate mathematician and is quite different in both content and style from other logic books. I don’t know the book, so can’t comment, sorry! But obviously a lot more, some very good indeed, has been written on the history of logic since then! Required fields are marked *. The paper itself takes a category-theoretical view and introduces institutions, entailment systems, and of course logics, in awe-inspiring generality. One thing I should add to TYL is more explicit detail on when and where books have answers to exercises: good point. Thank you for this wonderful guide. A collection of statements, some of which are claimed to provide support for one of the others. I don’t know of comparably detailed resources on other areas of mathematics — but to be honest, I haven’t really looked around much! The Teach Yourself Logic Study Guide aims to provide the needed advice by suggesting some stand-out books on various areas of mathematical logic. Well, I haven’t. There’s always a mountain of books to choose from when looking into any academic field and it is positively dizzying to choose among them, for a neophyte it often feels like being beset by a swarm of locusts. It takes up some themes relevant to computer science: worth having a look at to get an idea of how modal logic fares in the wider world. Is this guide recommended for a complete amateur? To ensure the best experience, please update your browser. A rather uneven read, it seems to me, but … perhaps an illuminating supplement to the texts recommended above. It looks like your browser needs an update. I’m wondering if you’re aware of anything comparable in other areas of mathematics, particularly probability and statistics? Thank you so much for putting this online! I think the word ‘be’ was intended to be in there? firstly, thank you for assembling all this information about Logic and writing the Guide. A deductive argument that is impossible to have true premises and a false conclusion. by Patrick J Hurley (Author), Robert W Burch (Author) 3.4 out of 5 stars 3 ratings. I’m still a bit confused at what the next step should be: reading Modern Formal Logic Primer by Paul Teller, or can I start with a book on FOL? The Guide isn’t really for beginners. NB: mathematical logic — so we are working a step up from the kind of ‘baby logic’ that philosophers may encounter in their first year courses. The interactive online textbook BLOGIC is moving to http://www.learn-logic.org. https://www.amazon.com/Set-Theory-Cambridge-Mathematical-Textbooks/dp/1107120322 I’m a baby logic student reading your introductory text and the TYL Guide and I thought you might want to know that there’s a typo on page twenty-seven of the TYL Guide: “Now, I recommended A Friendly Introduction as a follow-up to C&H: but Leary’s book might not in every library”. This looks very interesting and I want to start but I didn’t study philosophy at an undergraduate level at all. Maybe in the next edition! Do you have an opinion on the online introduction to logic course offered by Stanford? Which approach is appropriate to a first course would depend very much on the aims and objectives of the course. I would avoid repeating the experience. Yes … eventually. What is your opinion of Yuri Manin’s “A Course in Mathematical Logic for Mathematicians”? What is your opinion of this text? Fuzzy logic isn’t my thing at all. What intrigued me most upon starting this book was just how much mathematics played a role in Logic. 2- Introduction to Logic by Irving M. Copi. tautologies) nor false under every possible valuation (i.e. The status of propositions that are neither true under every possible valuation (i.e. I’ll take a look, and thanks for the info! I study philosophy in a continental philosophy-oriented college and, desperate as I was for advanced courses in logic, I almost cried when I found this jewel on the web (ok, maybe not, but I was very happy). Yeah, after I reread the introduction to your book, I realized that you might not include it for that reason. Graded online quizzes are also available, on request. https://www.amazon.com/Set-Theory-Introduction-Real-Point/dp/1461488532/ Of the other books I’ve used (Hughes & Cresswell, Sider, Girle…) this seems by far most similar to Girle’s book—not just in content but also in being written in a readable and engaging style. Alice Ambrose and Morris Lazerowitz’s «Logic: the theory of formal inference». Quizlet flashcards, activities and games help you improve your grades. At the time this was in conjunction with Bell & Slomson’s “Models and Ultraproducts”. S. Barry Cooper, Computability Theory (2004) is very well thought of and should match your requirements! Concise Introduction to Logic Study Guide. ISBN-13: 978-0495504153. But Copi is at a more elementary level than the Guide is dealing with. I would appreciate your comments on as many of these books as you have encountered. Introduction to arguments. The main Guide and its Appendix are in PDF form, designed for on-screen reading. Are you familiar with Gamut’s Logic, Language, and Meaning, Volume 1: Introduction to Logic as an intro? Thanks for the wonderful guide! Andrew. Material Implication (Hypothesis/If, then...), Material Equivalence (If and only If, then...). I just got it in the mail today and I like what I see on a quick flip-trough. There was a brief comment in version 10 of the Teach Yourself Logic Guide. This is such a valuable resource, Dr. Smith. Raymond Smullyan’s «A beginner’s guide to mathematical logic», Judith Roitman’s Introduction to Modern Set Theory book is no longer available at link provided in the guide but I found it by googling her name + set theory + pdf. And it would be a good addition to the Guide to add indications of which books have (some) answers to exercises. The link is http://intrologic.stanford.edu/homepage/index.html. These submissions would still be yours to accept/reject/discuss. I’d be happy to find a book on computability theory that has a similar macro-level structure. However, it’s more than 100 pages bigger than Girle’s, and I believe a bit wider in scope. The paper “General Logics” from Prof. Meseguer, freely available at “https://courses.engr.illinois.edu/cs522/sp2016/GeneralLogics.pdf”, gave me the hope that similar approaches might have been taken elsewhere as well, and that over the 30 years since the paper’s publication they might have been reconciled in a comprehensive treatise. When restarting, the computer stopped with the message Windows is shutting down . Have any of your colleagues put such a thing together for interested laymen, like me, who are interested in studying mathematics and logic on our own? Second, what are your thoughts on “The development of Logic”, by W. & M. Kneale? I was heavily traumatized in my school years by the Gindikin’s book on the algebraic logic, which I was trying to learn the logic from. You can also find here some supplements and further Book Notes of various kinds. I have a few questions .. I’ve noticed a new category theory book that takes a different sort of approach: Category Theory for the Sciences by David I. Spivak (MIT Press). Kleene’s Mathematical Logic waiting to be read – I know it’s in your recommendations). It focuses on ideas and examples, rather than proofs for theorems, and it looks like it aims to show how category theory can be useful outside mathematics.