View topic on PhilPapers for more information
Related categories

21 found
Order:
More results on PhilPapers
  1. 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   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2. 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   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3. 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   Download  
     
    Export citation  
     
    Bookmark  
  4. 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   Download  
     
    Export citation  
     
    Bookmark  
  5. 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   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6. 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   Download  
     
    Export citation  
     
    Bookmark  
  7. 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   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. 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   Download  
     
    Export citation  
     
    Bookmark  
  9. 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   Download  
     
    Export citation  
     
    Bookmark  
  10. 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   Download  
     
    Export citation  
     
    Bookmark  
  11. 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   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  12. 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   Download  
     
    Export citation  
     
    Bookmark  
  13. 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   Download  
     
    Export citation  
     
    Bookmark  
  14. 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   Download  
     
    Export citation  
     
    Bookmark  
  15. 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   Download  
     
    Export citation  
     
    Bookmark  
  16. added 2015-08-27
    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   Download  
     
    Export citation  
     
    Bookmark   4 citations  
  17. added 2014-08-18
    "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   Download  
     
    Export citation  
     
    Bookmark  
  18. added 2013-12-31
    [Review of] Jon Williamson/Federica Russo (Eds.), Key Terms in Logic, London: Continuum, 2010. [REVIEW]Stamatios Gerogiorgakis - 2013 - Logical Analysis and History of Philosophy 16:384-386.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  19. added 2013-11-27
    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   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  20. added 2013-03-05
    Forall X: An Introduction to Formal Logic.P. D. Magnus - 2005
    An introduction to sentential logic and first-order predicate logic with identity, logical systems that significantly influenced twentieth-century analytic philosophy. After working through the material in this book, a student should be able to understand most quantified expressions that arise in their philosophical reading. -/- This books treats symbolization, formal semantics, and proof theory for each language. The discussion of formal semantics is more direct than in many introductory texts. Although forall x does not contain proofs of soundness and completeness, it (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21. added 2011-02-28
    What is Mathematical Logic?John Corcoran & Stewart Shapiro - 1978 - Philosophia 8 (1):79-94.
    This review concludes that if the authors know what mathematical logic is they have not shared their knowledge with the readers. This highly praised book is replete with errors and incoherency.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark