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

185 found
Order:
1 — 50 / 185
  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  
     
    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   177 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  
     
    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. Propositional Logic.Rebeka Ferreira - 2022 - Gig Philosophy.
    Propositional Logic: Introduction & Symbols Logical Operators & Translation Symbols Helpful Hints Translating: Simple Statements Complex Statements Conditional Statements Conjunctive Statements Disjunctive Statements Translating with Multiple Operators Identifying the Main Operator How To Translate into Propositional Logic in 4 EASY STEPS Resources: Slides, Examples, & Helpful Hints.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  10. Gig Philosophy: Symbolic Logic.Rebeka Ferreira - 2022 - Gig Philosophy.
    Basic Concepts in Logic Identifying & Evaluating Arguments Valid Argument Forms Complex Arguments Propositional Logic: Symbols & Translation Truth Tables: Statements Classifying & Comparing Statements.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  11. Basics Concepts in Logic.Rebeka Ferreira - 2022 - Gig Philosophy.
    Introduction: Logic & Arguments What is a Proposition / Statement? What is an Argument? Premises(s) & Conclusion Resources: Slides, Examples, Indicator Words, & YouTube Video Lecture.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  12. Deductively Valid Argument Forms.Rebeka Ferreira - 2022 - Gig Philosophy.
    Deductively Valid Argument Forms Modus Ponens & Tollens Disjunctive & Hypothetical Syllogisms Destructive & Constructive Dilemmas Deductively Invalid Argument Forms Denying the Antecedent (DA) & Affirming the Consequent (AC) Resources: Slides, Examples, Helpful Hints, & "at-a-glance" Handout.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  13. Identifying & Evaluating Arguments.Rebeka Ferreira - 2022 - Gig Philosophy.
    Identifying Arguments: Deduction & Induction Evaluating Arguments Deductive: Valid, Invalid, (Un)Sound Inductive: Strong, Weak, (Un)Cogent Inference to the Best Explanation [IBE] Identifying & Evaluating COMPLEX Arguments How to Present, Explain, and Evaluate an Argument Resources: Slides, Examples.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  14. Was begründet das alles? Eine Einführung in die logische Argumentanalyse.David Löwenstein - 2022 - Stuttgart: Reclam.
    Argumente begegnen uns überall: in der Politik, in Schule und Hochschule, Beruf und Alltag. Dabei werden wir immer auch mit der Frage konfrontiert, wie die behaupteten Aussagen begründet werden. Angelehnt an Thomas Nagels Einführung in die Philosophie beginnt der Band mit Hinweisen, wie wir Argumente interpretieren können. Es folgt eine Einführung in die logische Analyse von Argumenten und ihre Strukturen: Bedingungen, Alternativen und andere logische Zusammenhänge. Immer wieder werden die vorgestellten Inhalte durch Beispiele und Gegenbeispiele erläutert, so dass die Themen (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. Meager-Additive Sets in Topological Groups.Ondřej Zindulka - 2022 - Journal of Symbolic Logic 87 (3):1046-1064.
    By the Galvin–Mycielski–Solovay theorem, a subset X of the line has Borel’s strong measure zero if and only if $M+X\neq \mathbb {R}$ for each meager set M.A set $X\subseteq \mathbb {R}$ is meager-additive if $M+X$ is meager for each meager set M. Recently a theorem on meager-additive sets that perfectly parallels the Galvin–Mycielski–Solovay theorem was proven: A set $X\subseteq \mathbb {R}$ is meager-additive if and only if it has sharp measure zero, a notion akin to strong measure zero.We investigate the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16. 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  
  17. 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  
  18. 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.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19. 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 (4 more)  
     
    Export citation  
     
    Bookmark  
  20. 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  
  21. 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  
  22. 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  
  23. 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  
     
    Export citation  
     
    Bookmark  
  24. 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  
  25. 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  
  26. 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  
  27. 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  
     
    Export citation  
     
    Bookmark  
  28. Form and Content: An Introduction to Formal Logic.Derek D. Turner - 2020 - Digital Commons @ Connecticut College.
    Derek Turner, Professor of Philosophy, has written an introductory logic textbook that students at Connecticut College, or anywhere, can access for free. The book differs from other standard logic textbooks in its reliance on fun, low-stakes examples involving dinosaurs, a dog and his friends, etc. This work is published in 2020 under a Creative Commons AttributionNonCommercial-NoDerivatives 4.0 International License. You may share this text in any format or medium. You may not use it for commercial purposes. If you share it, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29. 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   28 citations  
  30. An Introduction to the Philosophy of Logic.Daniel Cohnitz & Luis Estrada-González - 2019 - New York, NY: Cambridge University Press.
    Philosophy of logic is a fundamental part of philosophical study, and one which is increasingly recognized as being immensely important in relation to many issues in metaphysics, metametaphysics, epistemology, philosophy of mathematics, and philosophy of language. This textbook provides a comprehensive and accessible introduction to topics including the objectivity of logical inference rules and its relevance in discussions of epistemological relativism, the revived interest in logical pluralism, the question of logic's metaphysical neutrality, and the demarcation between logic and mathematics. Chapters (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  31. Jaroslav Peregrin, Co je nového v logice. [REVIEW]Ivo Pezlar - 2019 - Studia Philosophica 66 (1):118-119.
  32. General Proof Theory: Introduction.Thomas Piecha & Peter Schroeder-Heister - 2019 - Studia Logica 107 (1):1-5.
    This special issue on general proof theory collects papers resulting from the conference on general proof theory held in November 2015 in Tübingen.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33. 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  
  34. 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  
  35. Logic and argumentation.Thomas Ågotnes, Beishui Liao & Yì N. Wáng - 2018 - Journal of Applied Non-Classical Logics 28 (2-3):163-164.
  36. The simple argument for subclassical logic.Jc Beall - 2018 - Philosophical Issues 28 (1):30-54.
  37. Logic and Contemporary Rhetoric.Frank Boardman, Nancy Cavender & Howard Kahane - 2018 - [Boston, MA]: Cengage.
    An introduction to informal logic, critical thinking and rhetoric utilizing actual public discourse .
    Remove from this list  
     
    Export citation  
     
    Bookmark   23 citations  
  38. Edgar Morscher: Die wissenschaftliche Definition. [REVIEW]Moritz Cordes - 2018 - Zeitschrift für Philosophische Forschung 72:443-446.
  39. 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  
  40. 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  
  41. 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  
  42. 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  
  43. 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  
  44. 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  
  45. 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  
  46. 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  
  47. 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  
  48. 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  
  49. 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  
  50. [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.
1 — 50 / 185