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

119 found
Order:
1 — 50 / 119
  1. added 2020-05-11
    The Simple Argument for Subclassical Logic.Jc Beall - 2018 - Philosophical Issues 28 (1):30-54.
  2. added 2020-05-02
    How Logic Works.Hans Halvorson - forthcoming - 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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3. added 2020-02-24
    Jaroslav Peregrin, Co je nového v logice. [REVIEW]Ivo Pezlar - 2019 - Studia Philosophica 66 (1):118-119.
  4. added 2020-02-16
    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  
  5. added 2020-02-05
    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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6. added 2020-01-25
    Boxes and Diamonds. An Open Introduction to Modal Logic.Richard Zach - 2019
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  7. added 2019-12-31
    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  
  8. added 2019-09-20
    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  
  9. added 2019-08-21
    Edgar Morscher: Die wissenschaftliche Definition. [REVIEW]Moritz Cordes - 2018 - Zeitschrift für Philosophische Forschung 72:443-446.
  10. added 2019-06-06
    Symbolic Logic.Irving Copi - 1954 - New York: Macmillan.
    Remove from this list  
     
    Export citation  
     
    Bookmark   55 citations  
  11. added 2019-05-30
    Marshall Swain. Editor's Introduction. Induction, Acceptance, and Rational Belief, Edited by Marshall Swain, D. Reidel Publishing Company, Dordrecht-Holland, and Humanities Press, New York, 1970, Pp. 1–5. - Frederic Schick. Three Logics of Belief. Induction, Acceptance, and Rational Belief, Edited by Marshall Swain, D. Reidel Publishing Company, Dordrecht-Holland, and Humanities Press, New York, 1970, Pp. 6–26. - Marshall Swain. The Consistency of Rational Belief. Induction, Acceptance, and Rational Belief, Edited by Marshall Swain, D. Reidel Publishing Company, Dordrecht-Holland, and Humanities Press, New York, 1970, Pp. 27–54. - Henry E. KyburgJr., Conjunctivitis. Induction, Acceptance, and Rational Belief, Edited by Marshall Swain, D. Reidel Publishing Company, Dordrecht-Holland, and Humanities Press, New York, 1970, Pp. 55–82. - Gilbert H. Harman. Induction. A Discussion of the Relevance of the Theory of Knowledge to the Theory of Induction . Induction, Acceptance, and Rational Bel. [REVIEW]Ian Hacking - 1974 - Journal of Symbolic Logic 39 (1):166-168.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12. added 2019-05-22
    Rudolf Carnap and Richard C. Jeffrey. Introduction. Studies in Inductive Logic and Probability, Volume I, Edited by Rudolf Carnap and Richard C. Jeffrey, University of California Press, Berkeley, Los Angeles, and London, 1971, Pp. 1–4. - Rudolf Carnap. Inductive Logic and Rational Decisions. A Modified and Expanded Version of XXXII 104. Studies in Inductive Logic and Probability, Pp. 5–31. - Rudolf Carnap. A Basic System of Inductive Logic, Part I. Studies in Inductive Logic and Probability, Pp. 33–165. - Richard C Jeffrey. Probability Measures and Integrals. Studies in Inductive Logic and Probability, Pp. 167–223. - Jürgen Humburg. The Principle of Instantial Relevance. Studies in Inductive Logic and Probability, Pp. 225–233. - Haim Gaifman. Applications of de Finetti's Theorem to Inductive Logic. Studies in Inductive Logic and Probability, Pp. 235–251. [REVIEW]David Miller - 1975 - Journal of Symbolic Logic 40 (4):581-583.
  13. added 2019-05-03
    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   17 citations  
  14. added 2019-04-04
    Forall X: Calgary. An Introduction to Formal Logic.P. D. Magnus, Tim Button, Aaron Thomas-Bolduc, Richard Zach & Robert Trueman - 2019
    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 (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15. added 2019-04-04
    Incompleteness and Computability. An Open Introduction to Gödel's Theorems.Richard Zach - 2019
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  16. added 2019-04-04
    Sets, Logic, Computation. An Open Introduction to Metalogic.Richard Zach - 2017
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  17. added 2019-03-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  
  18. added 2019-03-23
    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   16 citations  
  19. added 2018-10-01
    Logic and Argumentation.Thomas Ågotnes, Beishui Liao & Yì N. Wáng - 2018 - Journal of Applied Non-Classical Logics 28 (2-3):163-164.
  20. added 2018-09-27
    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  
  21. added 2018-09-27
    Symbolic Logic: Syntax, Semantics, and Proof.David Agler - 2012 - 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  
     
    Export citation  
     
    Bookmark  
  22. added 2018-06-18
    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 (5 more)  
     
    Export citation  
     
    Bookmark  
  23. added 2018-05-31
    Introducción a la lógica moderna, 2a edición.Andrés Páez - 2010 - Bogotá: Ediciones Uniandes.
    The book is an undergraduate-level introduction to first-order logic and proposi­tional modal logic. The book presents symbolic logic in a way that is pedagogi­cally attractive and formally rigorous. The main concepts are formally defined, in­formally explained, and illustrated with several examples. The book is aimed at philosophy majors and it includes discussions of several problems in the philosophy of logic.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24. added 2018-05-11
    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  
     
    Export citation  
     
    Bookmark   1 citation  
  25. added 2018-03-05
    Torkel Franzén, Gödel's Theorem: An Incomplete Guide to its Use and Abuse. [REVIEW]R. Zach - 2005 - History and Philosophy of Logic 26 (4):369-371.
    On the heels of Franzén's fine technical exposition of Gödel's incompleteness theorems and related topics (Franzén 2004) comes this survey of the incompleteness theorems aimed at a general audience. Gödel's Theorem: An Incomplete Guide to its Use and Abuse is an extended and self-contained exposition of the incompleteness theorems and a discussion of what informal consequences can, and in particular cannot, be drawn from them.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26. added 2018-02-18
    Meaning and Argument: An Introduction to Logic Through Language.Ernest Lepore (ed.) - 2000 - Wiley-Blackwell.
    Meaning and Argument shifts introductory logic from the traditional emphasis on proofs to the symbolization of arguments. Another distinctive feature of this book is that it shows how the need for expressive power and for drawing distinctions forces formal language development. This revised edition includes expanded sections, additional exercises, and an updated bibliography. Updated and revised edition includes extended sections, additional exercises, and an updated bibliography. Distinctive approach in that this text is a philosophical, rather than mathematical introduction to logic. (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  27. added 2017-11-28
    Understanding Symbolic Logic.Virginia Klenk - 1983 - Pearson Prentice Hall.
    This comprehensive introduction presents the fundamentals of symbolic logic clearly, systematically, and in a straightforward style accessible to readers. Each chapter, or unit, is divided into easily comprehended small bites that enable learners to master the material step-by-step, rather than being overwhelmed by masses of information covered too quickly. The book provides extremely detailed explanations of procedures and techniques, and was written in the conviction that anyone can thoroughly master its content. A four-part organization covers sentential logic, monadic predicate logic, (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  28. added 2017-11-15
    Searching for Logic.Adam Morton - manuscript
    An introductory logic textbook where the central concept is not deduction but search and logical form. (Deduction - logical consequence - drops out as a special case. TIt is meant for a class-based rather than a lecture-based course, and for students with general interests.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  29. added 2017-09-05
    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  
  30. added 2017-07-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 (4 more)  
     
    Export citation  
     
    Bookmark  
  31. added 2017-07-03
    Margin Note on Logic, by Dr. Kai Soerfjord.Kai Soerfjord - manuscript
    - uneducated in the field authors who defend a consensus they are being TOLD when they enter offices of Ed-Sci, teaching and writing works on learning-theory - but never checked the facts, PART I and PART II.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  32. added 2017-06-26
    A Note on the V-Elimination Rule.Karl Pfeifer - 1990 - Cogito 4 (1):69-70.
  33. added 2017-03-13
    Argument and Inference: An Introduction to Inductive Logic.Johnson Gregory - 2016 - MIT Press.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  34. added 2017-02-15
    Workbook for an Elementary Course in Logic. [REVIEW]R. A. A. - 1957 - Review of Metaphysics 11 (2):345-345.
    A companion to the logic text by the same authors. -- A. R. A.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35. added 2017-02-08
    The Logic Manual.Volker Halbach - 2010 - Oxford University Press.
    The Logic Manual is a clear and concise introduction to logic for beginning philosophy students.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  36. added 2017-02-03
    Essentials of Logic.Peter T. Manicas - 1968 - [New York]American Book Co..
  37. added 2017-02-02
    Elementary Logic.W. V. O. Quine - 1941 - Harvard University Press.
    Now much revised since its first appearance in 1941, this book, despite its brevity, is notable for its scope and rigor.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  38. added 2017-01-29
    Logic: An Introduction.Greg Restall - 2004 - Mcgill-Queen's University Press.
    Greg Restall's Logic provides concise introductions to propositional and first-order predicate logic while showing how formal logic intersects with substantial philosophical issues such as vagueness, conditionals, relevance, propositional attitudes, and opaque contents. The author also examines the ideas behind modal logic, free logic, and other non-standard logics and discusses the nature of logic itself. The book covers both natural deduction and tree methods for proving validity. Each chapter includes excellent suggestions for further reading and both elementary and more advanced exercises, (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark   2 citations  
  39. added 2016-12-08
    Lógica Matemática. [REVIEW]K. B. L. - 1956 - Review of Metaphysics 10 (1):180-180.
    By confining themselves to elementary principles, the authors manage to cover with an appropriate balance of simplicity and rigor a wider range of materials than is common in so readable an introduction. There is an emphasis on logic as a syntax for language. Though not a text book, the work meets very well the authors' aim of "presenting to Spanish speaking readers, in a succinct, clear, and rigorous manner, the fundamental themes of the discipline."--L. K. B.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40. added 2016-12-05
    Grounded Consequence for Defeasible Logic.Aldo Antonelli - 2005 - Cambridge University Press.
    This is a title on the foundations of defeasible logic, which explores the formal properties of everyday reasoning patterns whereby people jump to conclusions, reserving the right to retract them in the light of further information. Although technical in nature the book contains sections that outline basic issues by means of intuitive and simple examples. This book is primarily targeted at philosophers interested in the foundations of defeasible logic, logicians, and specialists in artificial intelligence and theoretical computer science.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  41. added 2016-12-05
    An Introduction to Principles of Right Reason. [REVIEW]K. B. L. - 1957 - Review of Metaphysics 11 (2):349-349.
    This textbook, oriented toward non-majors in philosophy, aims to provide an understanding not merely of forms of valid and invalid inference but also of the cognitive situation, of the methods of successful "problem-solving thought" and of the role of language therein. Great emphasis is thus placed on semiotics, which is integrated with the material from methodology and logic by considerations from general theory of knowledge. The whole presentation is marked by innovations, both pedagogical and theoretical. Most of the material of (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42. added 2016-10-27
    An Introduction to Non-Classical Logic: From If to Is.Graham Priest - 2008 - Cambridge University Press.
    This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are explained clearly using devices such as tableau proofs, and (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   92 citations  
  43. added 2016-09-23
    Logik.Vera Hoffmann-Kolss - 2013 - In Achim Stephan & Sven Walter (eds.), Handbuch Kognitionswissenschaft. J.B. Metzler. pp. 145-151.
  44. added 2016-07-11
    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  
  45. added 2016-07-11
    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  
  46. added 2016-07-11
    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  
  47. added 2016-01-24
    Prefazione a Alberto Pasquinelli, Introduzione alla logica simbolica.Ludovico Geymonat - 1957 - Einaudi.
  48. added 2016-01-24
    Introduzione alla logica simbolica.Alberto Pasquinelli - 1957 - Einaudi.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    Bookmark  
  49. added 2015-12-30
    Introducción a la lógica moderna.Andrés Páez - 2007 - Ediciones Uniandes.
    Introducción a la lógica moderna es un libro de texto dedicado al estudio de la lógica simbólica elemental. No presupone familiaridad alguna con la lógica, las matemáticas o la filosofía, y se ha hecho un esfuerzo deliberado por adaptarlo a los intereses de estudiantes provenientes de las más diversas disciplinas. Al mismo tiempo, los conceptos centrales son expuestos de una manera precisa y rigurosa, sin ocultar los detalles y problemas técnicos y filosóficos que hacen de la lógica un área de (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  50. added 2015-10-24
    Lógica.Juan José Sanguineti - 1985 - Eunsa.
    A textobook on classical Aristotelian and Thomistic Logic, with some comparisons with modern authors. Topics: Conceptos, Universals, Predicables, Analogy, Proposition, Syllogism,Sophisms, Scientific Knowledge.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 119