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

538 found
Order:
1 — 50 / 538
  1. The Elements of Logic. [REVIEW]E. J. A. - 1965 - Review of Metaphysics 18 (4):772-772.
  2. Elementary Modern Logic. [REVIEW]E. J. A. - 1965 - Review of Metaphysics 19 (1):149-149.
  3. Elements of Logic. [REVIEW]R. A. A. - 1957 - Review of Metaphysics 11 (2):345-345.
  4. Elements of Logic.T. K. Abbott - 1884 - Mind 9:163.
  5. The Elements of Logic.Thomas Kingsmill Abbott - 1883 - Hodges Longmans, Green.
  6. The Fundamentals of General Logic.E. M. Adams - 1954 - Longmans, Green.
  7. An Introduction to Logic.Peter Alexander - 1969 - New York: Schocken Books.
  8. Logic, Reasoning and Revision.Patrick Allo - 2016 - Theoria 82 (1):3-31.
    The traditional connection between logic and reasoning has been under pressure ever since Gilbert Harman attacked the received view that logic yields norms for what we should believe. In this article I first place Harman's challenge in the broader context of the dialectic between logical revisionists like Bob Meyer and sceptics about the role of logic in reasoning like Harman. I then develop a formal model based on contemporary epistemic and doxastic logic in which the relation between logic and norms (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  9. Review: Ilmar Tammelo, Sketch for a Symbolic Juristic Logic; Romane L. Clark, On Mr. Tammelo's Conception of Juristic Logic. [REVIEW]Alan Ross Anderson - 1957 - Journal of Symbolic Logic 22 (1):92-93.
  10. The Logical Enterprise.Alan Ross Anderson, Ruth Barcan Marcus, R. M. Martin & Frederic B. Fitch (eds.) - 1975 - Yale University Press.
    Metaphysics and language: Quine, W. V. O. On the individuation of attributes. Körner, S. On some relations between logic and metaphysics. Marcus, R. B. Does the principle of substitutivity rest on a mistake? Van Fraassen, B. C. Platonism's pyrrhic victory. Martin, R. M. On some prepositional relations. Kearns, J. T. Sentences and propositions.--Basic and combinatorial logic: Orgass, R. J. Extended basic logic and ordinal numbers. Curry, H. B. Representation of Markov algorithms by combinators.--Implication and consistency: Anderson, A. R. Fitch on (...)
    Remove from this list  
     
    Export citation  
     
    My bibliography   7 citations  
  11. The Principles of Logic: An Introductory Survey. [REVIEW]W. Anderson - 1935 - Australasian Journal of Philosophy 13 (2):142.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  12. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof.P. B. Andrews - 2002 - Kluwer Academic Publishers.
    This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand's Theorem, unification, duality, interpolation, and definability. The last three chapters of the book provide an introduction to type theory (higher-order logic). It is shown how various mathematical concepts can be formalized in this very expressive formal language. This expressive notation facilitates proofs (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  13. Editor's Introduction to Jean van Heijenoort, Historical Development of Modern Logic.Irving H. Anellis - 2012 - Logica Universalis 6 (3-4):301-326.
    Van Heijenoort’s account of the historical development of modern logic was composed in 1974 and first published in 1992 with an introduction by his former student. What follows is a new edition with a revised and expanded introduction and additional notes.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  14. Reasoning and Logic.Richard B. Angell - 1964 - New York: Appleton-Century-Crofts.
  15. Myśli o Języku, Nauce I Wartościach. Seria Druga. Profesorowi Jackowi Juliuszowi Jadackiemu W Siedemdziesiątą Rocznicę Urodzin.Brożek Anna, Chybińska Alicja, Grygianiec Mariusz & Tkaczyk Marcin (eds.) - 2016 - Warsaw: Semper.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  16. Logic, Cause & Action: Essays in Honour of Elizabeth Anscombe.G. E. M. Anscombe & Roger Teichmann (eds.) - 2000 - Cambridge University Press.
    Elizabeth Anscombe is among the most distinguished and original philosophers alive today. Her work has ranged over many areas of philosophy, including metaphysics, ethics, the philosophy of mind and action, and the philosophy of religion. In each of these areas she has made seminal contributions. The essays in this book reflect the breadth of her interests and the esteem in which she is held by her colleagues. The distinguished contributors include Michael Dunnett, Nancy Cartwright, Peter Geach and Philippa Foot; and (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  17. Alan Turing's Systems of Logic: The Princeton Thesis.Andrew W. Appel (ed.) - 2012 - Princeton University Press.
    Between inventing the concept of a universal computer in 1936 and breaking the German Enigma code during World War II, Alan Turing, the British founder of computer science and artificial intelligence, came to Princeton University to study mathematical logic. Some of the greatest logicians in the world--including Alonzo Church, Kurt Gödel, John von Neumann, and Stephen Kleene--were at Princeton in the 1930s, and they were working on ideas that would lay the groundwork for what would become known as computer science. (...)
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  18. Mathematical Programming.E. Leonard Arnoff & S. Sankar Sengupta - 1961 - In Russell Lincoln Ackoff (ed.), Progress in Operations Research. New York: Wiley. pp. 1--150.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  19. Where in the (World Wide) Web of Belief is the Law of Non-Contradiction?Jack Arnold & Stewart Shapiro - 2007 - Noûs 41 (2):276–297.
    It is sometimes said that there are two, competing versions of W. V. O. Quine’s unrelenting empiricism, perhaps divided according to temporal periods of his career. According to one, logic is exempt from, or lies outside the scope of, the attack on the analytic-synthetic distinction. This logic-friendly Quine holds that logical truths and, presumably, logical inferences are analytic in the traditional sense. Logical truths are knowable a priori, and, importantly, they are incorrigible, and so immune from revision. The other, radical (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  20. Topics in Logic, Informatics and Philosophy of Science.Halina âswiñeczkowska - 1999
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  21. Review: Arne Naess, Introduction to Logic and Methodology. [REVIEW]Karl Egil Aubert - 1952 - Journal of Symbolic Logic 17 (4):288-288.
  22. A Modern Introduction to Logic.L. K. B. - 1957 - Review of Metaphysics 11 (2):343-343.
  23. Introduction to Logic.Andrew H. Bachhuber - 1957 - New York: Appleton-Century-Crofts.
  24. Review: Milton Fisk, A Modern Formal Logic. [REVIEW]John Bacon - 1965 - Journal of Symbolic Logic 30 (1):87-88.
  25. Study Guide for Copi Introduction to Logic.Keith Emerson Ballard & Irving M. Copi - 1972 - Macmillan.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  26. On The Languages of Logic: An Introduction to Formal Logic (Samuel Guttenplan).N. Bar-Am - 1999 - Pragmatics and Cognition 7:239-242.
  27. Samuel Guttenplan,The Languages of Logic: An Introduction to Formal Logic. [REVIEW]Nimrod Bar-Am - 1999 - Pragmatics and Cognitionpragmatics and Cognition 7 (1):239-242.
  28. Review: Shmuel Hugo Bergmann, Introduction to Logic. [REVIEW]Y. Bar-Hillel - 1954 - Journal of Symbolic Logic 19 (2):149-149.
  29. The Elements of Logic.Stephen Francis Barker - 1965 - New York: Mcgraw-Hill.
    Remove from this list  
     
    Export citation  
     
    My bibliography   3 citations  
  30. Language, Proof, and Logic.Dave Barker-Plummer - 2011 - CSLI Publications.
    __Language Proof and Logic_ is available as a physical book with the software included on CD and as a downloadable package of software plus the book in PDF format. The all-electronic version is available from Openproof at ggweb.stanford.edu._ The textbook/software package covers first-order language in a method appropriate for first and second courses in logic. An on-line grading services instantly grades solutions to hundred of computer exercises. It is designed to be used by philosophy instructors teaching a logic course to (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  31. Logic.Stan Baronett - 2008 - Pearson Prentice Hall.
    Logic and truth -- Inferences : assessment, recognition, and reconstruction -- Categorical statements and inferences -- Truth-functional statements -- Truth tables and proofs -- Natural deduction -- The logic of quantifiers -- Logic and language -- Applied inductive analysis.
    Remove from this list  
     
    Export citation  
     
    My bibliography   2 citations  
  32. An Introduction to the Study of Logic and Metaphysics.Thomas Squire Barrett - 1875 - Provost.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  33. Exercises in Logic. [With] Key.Frederic Charles Bartlett - 1913
  34. Logic and Linguistics Meeting: Santa Cruz, 1991.Barwise Jon, Ladusaw William, ter Meulen Alice, Oehrle Richard & Thomason Richmond - 1992 - Journal of Symbolic Logic 57 (4):1498-1499.
  35. Logic: Depth Grammar of Rationality: A Textbook on the Science and History of Logic.Patrick K. Bastable - 1975 - Gill & Macmillan.
  36. Logic: Study Guide.Robert Baum - 1995 - Oup Usa.
    For more than twenty years, introductory logic students have relied on this text to provide clear lessons as well as practical applications of the discipline. Robert Baum emphasizes formal logic and utilizes such elements of popular culture as cartoons and advertisements to illustrate technical concepts. Logic, 4/e addresses all the basic concepts, including informal analysis of statements, arguments, Aristotelian logic, propositional logic, quantificational logic, enumerative induction, the scientific method, probability, informal fallacies, definitions, and applied logic. As with previous editions, Logic, (...)
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  37. Logic.Robert Baum - 1975 - Holt, Rinehart and Winston.
    For more than twenty years, introductory logic students have relied on this text to provide clear lessons as well as practical applications of the discipline. Robert Baum emphasizes formal logic and utilizes such elements of popular culture as cartoons and advertisements to illustrate technical concepts. Logic, 4/e addresses all the basic concepts, including informal analysis of statements, arguments, Aristotelian logic, propositional logic, quantificational logic, enumerative induction, the scientific method, probability, informal fallacies, definitions, and applied logic. As with previous editions, Logic, (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  38. Miller James Wilkinson. Exercises in Introductory Symbolic Logic. Lithoprinted From Typewritten Manuscript. Published by the Author, McGill University, Montreal; Wholesale From Edwards Brothers, Ann Arbor, Michigan; 1955, Ix + 59 Pp. [REVIEW]Charles A. Baylis - 1957 - Journal of Symbolic Logic 22 (3):310-311.
  39. Review: James Wilkinson Miller, Exercises in Introductory Symbolic Logic. [REVIEW]Charles A. Baylis - 1957 - Journal of Symbolic Logic 22 (3):310-311.
  40. Review: Willard Van Orman Quine, Elementary Logic. [REVIEW]Charles A. Baylis - 1941 - Journal of Symbolic Logic 6 (3):99-99.
  41. Formal Logic: A Modern Introduction.Charles A. Baylis - 1941 - Philosophical Review 50:342.
  42. Review: Susanne K. Langer, An Introduction to Symbolic Logic. [REVIEW]Charles A. Baylis - 1938 - Journal of Symbolic Logic 3 (2):83-83.
  43. Hintikka on the Foundations of Mathematics: IF Logic and Uniformity Concepts.André Bazzoni - 2015 - Journal of Philosophical Logic 44 (5):507-516.
    The initial goal of the present paper is to reveal a mistake committed by Hintikka in a recent paper on the foundations of mathematics. His claim that independence-friendly logic is the real logic of mathematics is supported in that article by an argument relying on uniformity concepts taken from real analysis. I show that the central point of his argument is a simple logical mistake. Second and more generally, I conclude, based on the previous remarks and on another standard fact (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  44. Introduction to Logic.John D. Beach - 1970 - Boston: Allyn & Bacon.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  45. Logic: The Basics.Jc Beall - 2017 - Routledge.
    _Logic: The Basics_ is an accessible introduction to several core areas of logic. The first part of the book features a self-contained introduction to the standard topics in classical logic, such as: · mathematical preliminaries · propositional logic · quantified logic · English and standard ‘symbolic translations’ · tableau procedures. Alongside comprehensive coverage of the standard topics, this thoroughly revised second edition also introduces several philosophically important nonclassical logics, free logics, and modal logics, and gives the reader an idea of (...)
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  46. The Logic of Questions and Answers.Nuel D. Belnap - 1976 - Yale University Press.
  47. Mathematical Logic for Computer Science.M. Ben-Ari - 1993 - Prentice-Hall.
    Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates. To provide a balanced treatment of logic, tableaux are related to deductive proof systems.The logical systems presented are:- Propositional calculus (including binary decision diagrams);- Predicate calculus;- Resolution;- Hoare logic;- Z;- (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  48. Book Review:Logic and Scientific Method Herbert L. Searles. [REVIEW]A. Cornelius Benjamin - 1948 - Philosophy of Science 15 (4):356-.
  49. Formal Logic: A Modern Introduction.Albert A. Bennett - 1941 - Philosophical Review 50:342.
  50. Fast Guide to Emagic Logic.Stephen Bennett - 1998
1 — 50 / 538