This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories

162 found
Order:
1 — 50 / 162
  1. Isabelle for Philosophers.Ben Blumson - manuscript
    This is an introduction to the Isabelle proof assistant aimed at philosophers and their students.
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2. Introduction to Logic.Irving M. Copi - manuscript
    There are obvious benefits to be gained from the study of logic: heightened ability to express ideas clearly and concisely, increased skill in defining one's terms, enlarged capacity to formulate arguments rigorously and to analyze them critically. But the greatest benefit, in my judgment, is the recognition that reason can be applied in every aspect of human affairs.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   175 citations  
  3. Introduction to CAT4. Part 3. Semantics.Andrew Thomas Holster - manuscript
    CAT4 is proposed as a general method for representing information, enabling a powerful programming method for large-scale information systems. It enables generalised machine learning, software automation and novel AI capabilities. This is Part 3 of a five-part introduction. The focus here is on explaining the semantic model for CAT4. Points in CAT4 graphs represent facts. We introduce all the formal (data) elements used in the classic semantic model: sense or intension (1st and 2nd joins), reference (3rd join), functions (4th join), (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  4. What is Mathematics: Gödel's Theorem and Around (Edition 2015).Karlis Podnieks - manuscript
    Introduction to mathematical logic, part 2.Textbook for students in mathematical logic and foundations of mathematics. Platonism, Intuition, Formalism. Axiomatic set theory. Around the Continuum Problem. Axiom of Determinacy. Large Cardinal Axioms. Ackermann's Set Theory. First order arithmetic. Hilbert's 10th problem. Incompleteness theorems. Consequences. Connected results: double incompleteness theorem, unsolvability of reasoning, theorem on the size of proofs, diophantine incompleteness, Loeb's theorem, consistent universal statements are provable, Berry's paradox, incompleteness and Chaitin's theorem. Around Ramsey's theorem.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Logic: A Primer.Erich Rast - manuscript
    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 (...)
    Remove from this list  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6. Forall X: Dortmund.Simon Wimmer, P. D. Magnus, Tim Button, Aaron Thomas-Bolduc, Richard Zach, J. Robert Loftis & Robert Trueman - manuscript
    forall x: Dortmund is an adaptation and German translation of forall x: Calgary. As such, it is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity, the syntax of truth-functional (propositional) logic and truth-table semantics, the syntax of first-order (predicate) logic with identity and first-order interpretations, formalizing German in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as the (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7. Introduction to ‘Studies in Post-Medieval Logic’.Christophe Geudens & Steven Coesemans - forthcoming - Tandf: History and Philosophy of Logic:1-4.
  8. Logic Works: A Rigorous Introduction to Formal Logic.Lorne Falkenstein, Scott Stapleford & Molly Kao - 2022 - New York: Routledge.
    Logic Works is a critical and extensive introduction to logic. It asks questions about why systems of logic are as they are, how they relate to ordinary language and ordinary reasoning, and what alternatives there might be to classical logical doctrines. It considers how logical analysis can be applied to carefully represent the reasoning employed in academic and scientific work, better understand that reasoning, and identify its hidden premises. Aiming to be as much a reference work and handbook for further, (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  9. On the Existence of Small Antichains for Definable Quasi-Orders.Raphaël Carroy, Benjamin D. Miller & Zoltán Vidnyánszky - 2021 - Journal of Mathematical Logic 21 (2):2150005.
    We generalize Kada’s definable strengthening of Dilworth’s characterization of the class of quasi-orders admitting an antichain of a given finite cardinality.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10. Forall X: Calgary. An Introduction to Formal Logic.P. D. Magnus, Tim Button, Aaron Thomas-Bolduc, Richard Zach & Robert Trueman - 2021 - Open Logic Project.
    forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), translating (formalizing) English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as truth-functional completeness and modal logic. Exercises with solutions are available. (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11. Elementary Symbolic Logic: Concepts, Techniques, and Context.Kevin Morris - 2021 - Kendall Hunt.
    Elementary Symbolic Logic: Concepts, Techniques, and Context introduces symbolic logic in a way that is accessible and yet rigorous enough to provide an adequate foundation for students who intend to further pursue studies in logic, or who work in areas of study—for example, philosophy or linguistics—where a serious understanding of logic is nonnegotiable. Moreover, while it is not a history book, it aims to provide some context for the development of symbolic logic. Overall, this book accommodates the needs of liberal (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  12. Dao Companion to Chinese Philosophy of Logic: Edited by Yiu-Ming Fung, 1st Ed., Cham, Springer Nature Switzerland AG, 2020, Xii+556pp., $24.99, ISBN 978-3-030-29031-3.Yuan Ren - 2021 - History and Philosophy of Logic 43 (2):196-198.
    The Dao Companion to Chinese Philosophy of Logic is the first general overview of Chinese logical philosophy in English, presumably providing students and researchers of Chinese thought in the Engl...
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13. William Chan, An Introduction to Combinatorics of Determinacy, Trends in Set Theory (S. Coskey and G. Sargsyan, Editors), Contemporary Mathematics, Vol. 752, Providence, RI, American Mathematical Society, 2020, Pp. 21–75. [REVIEW]Thilo Weinert - 2021 - Bulletin of Symbolic Logic 27 (1):91-93.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. Sets, Logic, Computation: An Open Introduction to Metalogic.Richard Zach - 2021 - Open Logic Project.
    An introductory textbook on metalogic. It covers naive set theory, first-order logic, sequent calculus and natural deduction, the completeness, compactness, and Löwenheim-Skolem theorems, Turing machines, and the undecidability of the halting problem and of first-order logic. The audience is undergraduate students with some background in formal logic.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  15. Pseudofinite Groups and VC-Dimension.Gabriel Conant & Anand Pillay - 2020 - Journal of Mathematical Logic 21 (2):2150009.
    We develop “local NIP group theory” in the context of pseudofinite groups. In particular, given a sufficiently saturated pseudofinite structure G expanding a group, and left invariant NIP formula δ...
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16. Traits essentiels d'une formalisation adéquate.Gheorghe-Ilie Farte - 2020 - Argumentum. Journal of the Seminar of Discursive Logic, Argumentation Theory and Rhetoric 18 (1):163-174.
    In order to decide whether a discursive product of human reason corresponds or not to the logical order, one must analyze it in terms of syntactic correctness, consistency, and validity. The first step in logical analysis is formalization, that is, the process by which logical forms of thoughts are represented in different formal languages or logical systems. Although each thought can be properly formalized in different ways, the formalization variants are not equally adequate. The adequacy of formalization seems to depend (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17. How Logic Works: A User's Guide.Hans Halvorson - 2020 - Princeton, NJ: Princeton University Press.
    How Logic Works is an introductory logic textbook that is different by design. Rather than teaching elementary symbolic logic as an abstract or rote mathematical exercise divorced from ordinary thinking, Hans Halvorson presents it as the skill of clear and rigorous reasoning, which is essential in all fields and walks of life, from the sciences to the humanities—anywhere that making good arguments, and spotting bad ones, is critical to success. Instead of teaching how to apply algorithms using “truth trees,” as (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18. The Power of Logic, 6th Edition.Daniel Howard-Snyder, Frances Howard-Snyder & Ryan Wasserman - 2020 - New York: McGraw-Hill.
    This is a basic logic text for first-time logic students. Custom-made texts from the chapters is an option as well. And there is a website to go with text too.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19. An Introduction to Language, Logic and Mathematics in Schopenhauer.Jens Lemanski - 2020 - In Language, Logic, and Mathematics in Schopenhauer. Cham, Schweiz: pp. 1-15.
    This paper is an introduction to the volume Language, Logic and Mathematics in Schopenhauer. It shows the basic interpretations discussed in Schopenhauer’s research, explains the aims and tasks of Schopenhauer’s philosophy and shows the importance of language, logic and mathematics in Schopenhauer’s system.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  20. Uma resposta ao problema do brinco das princesas.Renato Rocha - 2020 - Fundamento: Revista de Pesquisa Em Filosofia 2018 (16):1-6.
    I present in this note an alternative answer to the princesses' earring problem, found in the first chapter of Cezar Augusto Mortari's book "Introdução à Lógica”.
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21. Logical Consequence.J. C. Beall, Greg Restall & Gil Sagi - 2019 - Stanford Encyclopedia of Philosophy.
    A good argument is one whose conclusions follow from its premises; its conclusions are consequences of its premises. But in what sense do conclusions follow from premises? What is it for a conclusion to be a consequence of premises? Those questions, in many respects, are at the heart of logic (as a philosophical discipline). Consider the following argument: 1. If we charge high fees for university, only the rich will enroll. We charge high fees for university. Therefore, only the rich (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   24 citations  
  22. Jaroslav Peregrin, Co je nového v logice. [REVIEW]Ivo Pezlar - 2019 - Studia Philosophica 66 (1):118-119.
  23. Boxes and Diamonds: An Open Introduction to Modal Logic.Richard Zach - 2019 - Open Logic Project.
    A textbook for modal and other intensional logics based on the Open Logic Project. It covers normal modal logics, relational semantics, axiomatic and tableaux proof systems, intuitionistic logic, and counterfactual conditionals.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  24. Incompleteness and Computability: An Open Introduction to Gödel's Theorems.Richard Zach - 2019 - Open Logic Project.
    Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  25. Logic and Argumentation.Thomas Ågotnes, Beishui Liao & Yì N. Wáng - 2018 - Journal of Applied Non-Classical Logics 28 (2-3):163-164.
  26. The Simple Argument for Subclassical Logic.Jc Beall - 2018 - Philosophical Issues 28 (1):30-54.
  27. Logic and Contemporary Rhetoric.Frank Boardman, Nancy Cavender & Howard Kahane - 2018 - Cengage.
    An introduction to informal logic, critical thinking and rhetoric utilizing actual public discourse .
    Remove from this list  
     
    Export citation  
     
    Bookmark   23 citations  
  28. Edgar Morscher: Die wissenschaftliche Definition. [REVIEW]Moritz Cordes - 2018 - Zeitschrift für Philosophische Forschung 72:443-446.
  29. Wordmorph!: A Word Game to Introduce Natural Deduction.Ian Stoner - 2018 - Teaching Philosophy 41 (2):199-204.
    Some logic students falter at the transition from the mechanical method of truth tables to the less-mechanical method of natural deduction. This short paper introduces a word game intended to ease that transition.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  30. Evaluation of a Student-Oriented Logic Course.Aaron Thomas-Bolduc & Richard Zach - 2018 - ISSOTL 2018 Annual Meeting.
    In Winter 2017, the first author piloted a course in formal logic in which we aimed to (a) improve student engagement and mastery of the content, and (b) reduce maths anxiety and its negative effects on student outcomes, by adopting student oriented teaching including peer instruction and classroom flipping techniques. The course implemented a partially flipped approach, and incorporated group-work and peer learning elements, while retaining some of the traditional lecture format. By doing this, a wide variety of student learning (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  31. Teaching Syllogistic Logic Via a Retooled Venn Diagrammatical Technique.Jeremiah Joven Joaquin & Robert James M. Boyles - 2017 - Teaching Philosophy 40 (2):161–180.
    In elementary logic textbooks, Venn diagrams are used to analyze and evaluate the validity of syllogistic arguments. Although the method of Venn diagrams is shown to be a powerful analytical tool in these textbooks, it still has limitations. On the one hand, such method fails to represent singular statements of the form, “a is F.” On other hand, it also fails to represent identity statements of the form, “a is b.” Because of this, it also fails to give an account (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32. Logic: A Modern Guide.Colin Beckley - 2016 - Milton Keynes: Think Logically Books.
    This book is written for those who wish to learn some basic principles of formal logic but more importantly learn some easy methods to unpick arguments and assess their value for truth and validity. -/- The first section explains the ideas behind traditional logic which was formed well over two thousand years ago by the ancient Greeks. Terms such as ‘categorical syllogism’, ‘premise’, ‘deduction’ and ‘validity’ may appear at first sight to be inscrutable but will easily be understood with examples (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33. Argument and Inference: An Introduction to Inductive Logic.Johnson Gregory - 2016 - Cambridge, MA and London: MIT Press.
    A thorough and practical introduction to inductive logic with a focus on arguments and the rules used for making inductive inferences.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34. Frege, Logic, and Logicism.John-Michael Kuczynski - 2016 - Amazon Digital Services LLC.
    Gottlob Frege (1848-1925) invented the discipline of mathematical logic. In this short work, it is clearly stated what Frege did and did not accomplish.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  35. What is a Law of Logic?: A Dialogue.John-Michael Kuczynski - 2016 - PHILOSOPHYPEDIA.
    It is made clear what a law of logic is and why the laws of classical logic are true.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  36. Logic: A Complete Introduction.Siu-Fan Lee - 2016 - London, UK: Hodder & Stoughton.
    Understand Logic is a comprehensive introduction to this fascinating though sometimes challenging subject. As well as looking at logic in theoretical terms the book considers its everyday uses and demonstrates how it has genuine practical applications. It will take you step by step through the most difficult concepts and is packed with exercises to help you consolidate your learning at every stage. Covering everything from syllogistic logic to logical paradoxes and even looking at logic in Alice in Wonderland, this is (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  37. The Mathematics of the Infinite.John-Michael Kuczynski - 2015 - Amazon Digital Services LLC.
    This book clearly explains what an infinite number is, how infinite numbers differ from finite numbers, and how infinite numbers differ from one another. The concept of recursivity is concisely but thoroughly covered, as are the concepts of cardinal and ordinal number. All of Cantor's key proofs are clearly stated, including his epoch-making diagonal proof, whereby he proved that that there are more reals than rationals and, more generally, that there are infinitely large, non-recursive classes. In the final section, Kurt (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  38. Logic and Games: An Introduction.Thomas Ågotnes - 2014 - Studia Logica 102 (2):231-234.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39. Philosophical Logic: An Introduction to Advanced Topics, by George Englebretsen and Charles Sayward. [REVIEW]Chad Carmichael - 2013 - Teaching Philosophy 36 (4):420-423.
    This book serves as a concise introduction to some main topics in modern formal logic for undergraduates who already have some familiarity with formal languages. There are chapters on sentential and quantificational logic, modal logic, elementary set theory, a brief introduction to the incompleteness theorem, and a modern development of traditional Aristotelian Logic.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  40. [Review of] Jon Williamson/Federica Russo (Eds.), Key Terms in Logic, London: Continuum, 2010. [REVIEW]Stamatios Gerogiorgakis - 2013 - History of Philosophy & Logical Analysis 16:384-386.
  41. Logik.Vera Hoffmann-Kolss - 2013 - In Achim Stephan & Sven Walter (eds.), Handbuch Kognitionswissenschaft. J.B. Metzler. pp. 145-151.
  42. On material and logical implication: clarifying some common little mistakes.Renato Mendes Rocha - 2013 - Intuitio 6 (2):239-252.
    The aim of this paper is to clarify the truth-functional interpretation of the logical connective of the material implication. The importance of such clarification lies in the fact that it allows avoiding the supposed paradoxes introduced by C. I. Lewis (1918). I argue that an adequate understanding of the history and purposes of logic is enough to dissolve them away. The defense is based on an exposition of propositional compositionalism. To compare, I also present Stalnaker’s (1968) alternative that seeks to (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  43. Note on Induction.Ted Parent - 2013 - Think 12 (33):37-39.
    ExtractSome logic textbooks say, as if it were the received wisdom, that inductive arguments are partly defined by the thinker's intentions. The claim is that an inductive argument is one where the premises are intended to make the conclusion likely. This contrasts with a deductive argument, where the premises are intended to entail the conclusion. However, since entailing is one way of making more likely, a further way to distinguish induction is needed. The addition offered is that the premises are (...)
    Remove from this list   Direct download (10 more)  
     
    Export citation  
     
    Bookmark  
  44. Gödel's Incompleteness Theorems.Panu Raatikainen - 2013 - The Stanford Encyclopedia of Philosophy (Winter 2013 Edition), Edward N. Zalta (Ed.).
    Gödel's two incompleteness theorems are among the most important results in modern logic, and have deep implications for various issues. They concern the limits of provability in formal axiomatic theories. The first incompleteness theorem states that in any consistent formal system F within which a certain amount of arithmetic can be carried out, there are statements of the language of F which can neither be proved nor disproved in F. According to the second incompleteness theorem, such a formal system cannot (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  45. Filosofia no Ensino Médio: distinções preliminares para uma didática mínima da lógica.Gisele Dalva Secco - 2013 - Controvérsia 9 (2):89-102.
    O texto fornece distinções conceituais engendradas desde uma perspectiva para o ensino de filosofia que contempla, em seu horizonte, o projeto a construção de uma didática mínima da lógica para o ensino médio. Após a apresentação de alguns aspectos positivos da referida perspectiva são indicadas duas maneiras usuais de compreender e praticar o ensino de lógica. O objetivo central do texto é mostrar como, desde a perspectiva inicialmente esboçada, os esclarecimentos conceituais propostos podem sugerir caminhos interdisciplinares para a didática da (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  46. Symbolic Logic: Syntax, Semantics, and Proof.David Agler - 2012 - Lanham, MD, USA: Rowman & Littlefield Publishers.
    Brimming with visual examples of concepts, derivation rules, and proof strategies, this introductory text is ideal for students with no previous experience in logic. Students will learn translation both from formal language into English and from English into formal language; how to use truth trees and truth tables to test propositions for logical properties; and how to construct and strategically use derivation rules in proofs.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47. Logic: Bullet Guides.Joe Morrison - 2012 - Hodder Education.
    Readers will learn what logic is, use truth tables and truth trees, make sense of complex arguments, and use logic every day.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48. Logic: The Laws of Truth.Nicholas J. J. Smith - 2012 - Princeton University Press.
    Logic is essential to correct reasoning and also has important theoretical applications in philosophy, computer science, linguistics, and mathematics. This book provides an exceptionally clear introduction to classical logic, with a unique approach that emphasizes both the hows and whys of logic. Here Nicholas Smith thoroughly covers the formal tools and techniques of logic while also imparting a deeper understanding of their underlying rationales and broader philosophical significance. In addition, this is the only introduction to logic available today that presents (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  49. An Introduction to Critical Thinking and Creativity: Think More, Think Better.Joe Y. F. Lau - 2011 - Wiley.
    "This book is about the basic principles that underlie critical thinking and creativity.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  50. "Tarski" "Brouwer" "Whitehead" "Quine's Mathematical Logic".Benjamin L. Curtis - 2010 - In Jon Williamson & ‎Federica Russo (eds.), Key Terms in Logic. Continuum Press.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 162