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

141 found
Order:
1 — 50 / 141
  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. 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  
  3. 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  
  4. 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 (2 more)  
     
    Export citation  
     
    Bookmark  
  5. 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  
  6. Forall X: Calgary. An Introduction to Formal Logic.P. D. Magnus, Tim Button, Aaron Thomas-Bolduc, Richard Zach & Robert Trueman - 2020
    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  
  7. 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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8. 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   19 citations  
  9. Jaroslav Peregrin, Co je nového v logice. [REVIEW]Ivo Pezlar - 2019 - Studia Philosophica 66 (1):118-119.
  10. 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  
  11. 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  
  12. Logic and Argumentation.Thomas Ågotnes, Beishui Liao & Yì N. Wáng - 2018 - Journal of Applied Non-Classical Logics 28 (2-3):163-164.
  13. The Simple Argument for Subclassical Logic.Jc Beall - 2018 - Philosophical Issues 28 (1):30-54.
  14. 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   17 citations  
  15. Edgar Morscher: Die wissenschaftliche Definition. [REVIEW]Moritz Cordes - 2018 - Zeitschrift für Philosophische Forschung 72:443-446.
  16. 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  
  17. 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. 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  
  19. 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  
  20. 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  
  21. Argument and Inference: An Introduction to Inductive Logic.Johnson Gregory - 2016 - MIT Press.
  22. 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  
  23. 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  
  24. 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  
  25. 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  
  26. "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 (5 more)  
     
    Export citation  
     
    Bookmark  
  27. [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.
  28. Logik.Vera Hoffmann-Kolss - 2013 - In Achim Stephan & Sven Walter (eds.), Handbuch Kognitionswissenschaft. J.B. Metzler. pp. 145-151.
  29. 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  
  30. 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  
  31. 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   9 citations  
  32. 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  
  33. 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  
  34. 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  
     
    Export citation  
     
    Bookmark  
  35. 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   9 citations  
  36. 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  
  37. "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  
  38. 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   5 citations  
  39. Take My Advice—I Am Not Following It: Ad Hominem Arguments as Legitimate Rebuttals to Appeals to Authority.Moti Mizrahi - 2010 - Informal Logic 30 (4):435-456.
    In this paper, I argue that ad hominem arguments are not always fallacious. More explicitly, in certain cases of practical reasoning, the circumstances of a person are relevant to whether or not the conclusion should be accepted. This occurs, I suggest, when a person gives advice to others or prescribes certain courses of action but fails to follow her own advice or act in accordance with her own prescriptions. This is not an instance of a fallacious tu quoque provided that (...)
    Remove from this list   Direct download (11 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  40. 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  
  41. Simple Formal Logic: With Common-Sense Symbolic Techniques.Arnold Vander Nat - 2009 - Routledge.
    Perfect for students with no background in logic or philosophy, Simple Formal Logic provides a full system of logic adequate to handle everyday and philosophical reasoning. By keeping out artificial techniques that aren’t natural to our everyday thinking process, Simple Formal Logic trains students to think through formal logical arguments for themselves, ingraining in them the habits of sound reasoning. Simple Formal Logic features: a companion website with abundant exercise worksheets, study supplements (including flashcards for symbolizations and for deduction rules), (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  42. 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   105 citations  
  43. Essentials of Symbolic Logic, Third Edition.R. L. Simpson - 2008 - Broadview Press.
    Essentials of Symbolic Logic is a concise and clearly written introduction to the topic. Based on years of use in colleges and universities, the book provides an accessible and thorough grounding in sentence logic and predicate logic. While technical jargon is kept to a minimum, all necessary logical concepts and vocabulary are explained clearly. A standard system of natural deduction is developed, and readers are given suggestions for developing strategies for creating derivations (proofs) in this system.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  44. Argumentation Schemes.Douglas Walton, Chris Reed & Fabrizio Macagno - 2008 - Cambridge University Press.
    This book provides a systematic analysis of many common argumentation schemes and a compendium of 96 schemes. The study of these schemes, or forms of argument that capture stereotypical patterns of human reasoning, is at the core of argumentation research. Surveying all aspects of argumentation schemes from the ground up, the book takes the reader from the elementary exposition in the first chapter to the latest state of the art in the research efforts to formalize and classify the schemes, outlined (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   158 citations  
  45. 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  
  46. A Little Roundup of Modus Tollens in the Flesh.David Socher - 2007 - Teaching Philosophy 30 (1):111.
    Modus Tollens is the following valid deductive argument form: “If P, then Q. Not Q. Therefore not P.” I show how this structure plays an important part in everyday argument and in everyday non-argument; I show how the argument form fits into non-argument cases. The structure is common as argument, as rhetorical emphasis, and as explanation. Students can see how this pattern is rooted in everyday thought, when elements of the structure are unspoken but nonetheless relied upon, what pictures the (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  47. Introducing Symbolic Logic.Andrew P. Mills - 2006 - Teaching Philosophy 29 (1):62-65.
  48. Argumentative Reasoning Patterns.Douglas Walton & Fabrizio Macagno - 2006 - In Douglas Walton & Fabrizio Macagno (eds.), Proceedings of 6th CMNA (Computational Models of Natural Argument) Workshop, ECAI-European Conference on Artificial Intelligence. University of Trento. pp. 48-51.
    The aim of the paper is to present a typology of argument schemes. In first place, we found it helpful to define what an argument scheme is. Since many argument schemes found in contemporary theories stem from the ancient tradition, we took in consideration classical and medieval dialectical studies and their relation with argumentation theory. This overview on the main works on topics and schemes provides a summary of the main principles of classification. In the second section, Walton’s theory is (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  49. 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   6 citations  
  50. Socratic Logic.Peter Kreeft - 2005 - St. Augustine's Press.
    What good is logic? -- Seventeen ways this book is different -- The two logics -- All of logic in two pages : an overview -- The three acts of the mind -- I. The first act of the mind : understanding -- Understanding : the thing that distinguishes man from both beast and computer -- Concepts, terms and words -- The problem of universals -- The comprehension and extension of terms -- II. Terms -- Classifying terms -- Categories -- (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
1 — 50 / 141