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

553 found
Order:
1 — 50 / 553
  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. Logical Foundations of Computer Science 4th International Symposium, Lfcs '97, Yaroslavl, Russia, July 6-12, 1997 : Proceedings'. [REVIEW]S. I. Adian & Anil Nerode - 1997
  8. Presuppositions for Logic.Joseph Agassi - 1982 - The Monist 65 (4):465-480.
    Positivists identify science and certainty and in the name of the utter rationality of science deny that it rests on speculative presuppositions. The Logical Positivists took a step further and tried to show such presuppositions really no presuppositions at all but rather poorly worded sentences. Rules of sentence formation, however, rest on the presuppositions about the nature of language. This makes us unable to determine the status of mathematics, which is these days particularly irksome since this question is now-since Abraham (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  9. One Reason, Several Logics.Evandro Agazzi - 2011 - Manuscrito 34 (1):51-88.
    Humans have used arguments for defending or refuting statements long before the creation of logic as a specialized discipline. This can be interpreted as the fact that an intuitive notion of “logical consequence” or a psychic disposition to articulate reasoning according to this pattern is present in common sense, and logic simply aims at describing and codifying the features of this spontaneous capacity of human reason. It is well known, however, that several arguments easily accepted by common sense are actually (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  10. Philosophy of Mathematics Today.Evandro Agazzi & György Darvas - 2000 - Studia Logica 65 (2):275-278.
  11. Logic and Argumentation.Thomas Ågotnes, Beishui Liao & Yì N. Wáng - 2018 - Journal of Applied Non-Classical Logics 28 (2-3):163-164.
  12. Classification of Reasonings.Kazimierz Ajdukiewicz - 1956 - Journal of Symbolic Logic 21 (3):311-312.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  13. Logic and Experience.Kazimierz Ajdukiewicz - 1948 - Journal of Symbolic Logic 13 (3):168-168.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  14. An Introduction to Logic.Peter Alexander - 1969 - New York: Schocken Books.
  15. 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  
     
    Bookmark  
  16. 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.
  17. 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  
     
    Bookmark   7 citations  
  18. 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  
     
    Bookmark  
  19. 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  
     
    Bookmark   7 citations  
  20. 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  
     
    Bookmark  
  21. Reasoning and Logic.Richard B. Angell - 1964 - New York: Appleton-Century-Crofts.
  22. 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  
     
    Bookmark  
  23. 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  
     
    Bookmark   1 citation  
  24. 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  
     
    Bookmark  
  25. 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  
     
    Bookmark  
  26. 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 (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  27. Topics in Logic, Informatics and Philosophy of Science.Halina âswiñeczkowska - 1999
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  28. Review: Arne Naess, Introduction to Logic and Methodology. [REVIEW]Karl Egil Aubert - 1952 - Journal of Symbolic Logic 17 (4):288-288.
  29. A Modern Introduction to Logic.L. K. B. - 1957 - Review of Metaphysics 11 (2):343-343.
  30. Introduction to Logic.Andrew H. Bachhuber - 1957 - New York: Appleton-Century-Crofts.
  31. Review: Milton Fisk, A Modern Formal Logic. [REVIEW]John Bacon - 1965 - Journal of Symbolic Logic 30 (1):87-88.
  32. Study Guide for Copi Introduction to Logic.Keith Emerson Ballard & Irving M. Copi - 1972 - Macmillan.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  33. On The Languages of Logic: An Introduction to Formal Logic (Samuel Guttenplan).N. Bar-Am - 1999 - Pragmatics and Cognition 7:239-242.
  34. 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.
  35. Review: Shmuel Hugo Bergmann, Introduction to Logic. [REVIEW]Y. Bar-Hillel - 1954 - Journal of Symbolic Logic 19 (2):149-149.
  36. The Elements of Logic.Stephen Francis Barker - 1965 - New York: Mcgraw-Hill.
    Remove from this list  
     
    Export citation  
     
    Bookmark   3 citations  
  37. 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  
     
    Bookmark  
  38. 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  
     
    Bookmark   2 citations  
  39. An Introduction to the Study of Logic and Metaphysics.Thomas Squire Barrett - 1875 - Provost.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  40. Exercises in Logic. [With] Key.Frederic Charles Bartlett - 1913
  41. Logic and Linguistics Meeting: Santa Cruz, 1991.Jon Barwise, William Ladusaw, Alice ter Meulen, Richard Oehrle & Richmond Thomason - 1992 - Journal of Symbolic Logic 57 (4):1498-1499.
  42. Logic: Depth Grammar of Rationality: A Textbook on the Science and History of Logic.Patrick K. Bastable - 1975 - Gill & Macmillan.
  43. 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  
     
    Bookmark  
  44. 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  
     
    Bookmark   2 citations  
  45. 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.
  46. Review: James Wilkinson Miller, Exercises in Introductory Symbolic Logic. [REVIEW]Charles A. Baylis - 1957 - Journal of Symbolic Logic 22 (3):310-311.
  47. Formal Logic: A Modern Introduction.Charles A. Baylis - 1941 - Philosophical Review 50:342.
  48. Review: Willard Van Orman Quine, Elementary Logic. [REVIEW]Charles A. Baylis - 1941 - Journal of Symbolic Logic 6 (3):99-99.
  49. Review: Susanne K. Langer, An Introduction to Symbolic Logic. [REVIEW]Charles A. Baylis - 1938 - Journal of Symbolic Logic 3 (2):83-83.
  50. 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  
     
    Bookmark  
1 — 50 / 553