Switch to: Citations

Add references

You must login to add references.
  1. A Mathematical Model of Aristotle’s Syllogistic.John Corcoran - 1973 - Archiv für Geschichte der Philosophie 55 (2):191-219.
    In the present article we attempt to show that Aristotle's syllogistic is an underlying logiC which includes a natural deductive system and that it isn't an axiomatic theory as had previously been thought. We construct a mathematical model which reflects certain structural aspects of Aristotle's logic. We examine the relation of the model to the system of logic envisaged in scattered parts of Prior and Posterior Analytics. Our interpretation restores Aristotle's reputation as a logician of consummate imagination and skill. Several (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • Introduction to mathematical logic..Alonzo Church - 1944 - Princeton,: Princeton university press: London, H. Milford, Oxford university press. Edited by C. Truesdell.
    This book is intended to be used as a textbook by students of mathematics, and also within limitations as a reference work.
    Download  
     
    Export citation  
     
    Bookmark   227 citations  
  • Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
    Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the next generation. It was first published in 1952, some twenty years after the publication of Godel's paper on the incompleteness of arithmetic, which marked, if not the beginning of modern logic. The 1930s was a time of creativity and ferment in the subject, when the notion of computable moved from the realm of (...)
    Download  
     
    Export citation  
     
    Bookmark   551 citations  
  • (1 other version)Logic.Donald Kalish - 1964 - New York,: Harcourt, Brace & World. Edited by Richard Montague.
    Logic: Techniques of Formal Reasoning, 2/e is an introductory volume that teaches students to recognize and construct correct deductions. It takes students through all logical steps--from premise to conclusion--and presents appropriate symbols and terms, while giving examples to clarify principles. Logic, 2/e uses models to establish the invalidity of arguments, and includes exercise sets throughout, ranging from easy to challenging. Solutions are provided to selected exercises, and historical remarks discuss major contributions to the theories covered.
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  • Introduction to symbolic logic.John L. Pollock - 1969 - New York,: Holt, Rinehart and Winston.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • (1 other version)Elementary logic.Benson Mates - 1972 - New York,: Oxford University Press.
    The present text book is intended as an introduction to elementary logic. Its content, structure, and manner have been determined in large measure - perhaps 'caused' is the better word- by certain desiderata about which the reader should be informed at the outset. The leading idea is that even an introductory treatment of logic may profitably be fashioned around a rigorous framework.
    Download  
     
    Export citation  
     
    Bookmark   88 citations  
  • (1 other version)Logic for mathematicians.John Barkley Rosser - 1978 - Mineola, N.Y.: Dover Publications.
    Hailed by the Bulletin of the American Mathematical Society as "undoubtedly a major addition to the literature of mathematical logic," this volume examines the essential topics and theorems of mathematical reasoning. No background in logic is assumed, and the examples are chosen from a variety of mathematical fields. Starting with an introduction to symbolic logic, the first eight chapters develop logic through the restricted predicate calculus. Topics include the statement calculus, the use of names, an axiomatic treatment of the statement (...)
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
    This volume examines the notion of an analytic proof as a natural deduction, suggesting that the proof's value may be understood as its normal form--a concept with significant implications to proof-theoretic semantics.
    Download  
     
    Export citation  
     
    Bookmark   349 citations  
  • Introduction to logic.Patrick Suppes - 1957 - Mineola, N.Y.: Dover Publications.
    Coherent, well organized text familiarizes readers with complete theory of logical inference and its applications to math and the empirical sciences. Part I deals with formal principles of inference and definition; Part II explores elementary intuitive set theory, with separate chapters on sets, relations, and functions. Last section introduces numerous examples of axiomatically formulated theories in both discussion and exercises. Ideal for undergraduates; no background in math or philosophy required.
    Download  
     
    Export citation  
     
    Bookmark   217 citations  
  • (2 other versions)Introduction to Logic.J. Dopp - 1957 - Journal of Symbolic Logic 22 (4):353-354.
    Download  
     
    Export citation  
     
    Bookmark   65 citations  
  • (2 other versions)Logic for Mathematicians.H. B. Enderton - 1980 - Journal of Symbolic Logic 45 (3):631-632.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • (1 other version)Introduction to Symbolic Logic.B. G. Hurdle - 1975 - Journal of Symbolic Logic 40 (1):101-101.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (2 other versions)Deductive Logic.William E. Gould - 1972 - Journal of Symbolic Logic 40 (4):628-629.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • (2 other versions)Introduction to Metamathematics.Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (2):290-291.
    Download  
     
    Export citation  
     
    Bookmark   170 citations  
  • (2 other versions)Symbolic Logic. An Introduction.Wilhelm Ackermann - 1952 - Journal of Symbolic Logic 17 (4):266-268.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • Elementary Applied Symbolic Logic.Bangs Tapscott - 1976 - Englewood Cliffs, NJ, USA: Prentice-Hall.
    Elementary Applied Symbolic Logic was first published by Prentice-Hall in 1976. It went through two editions with them, then had a successful classroom run of 25 years by various publishers, before it finally went out of print in 2001.I am reviving it here, because during its run it acquired a reputation as an outstanding textbook for getting students to understand symbolic logic.I immodestly believe it is the best textbook ever written on the subject.------------This is a book on applied symbolic logic. (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Understanding Symbolic Logic.Virginia Klenk - 1983 - Englewood Cliffs, NJ, USA: 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, (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Introduction to Logical Theory.P. F. Strawson - 1954 - Philosophy 29 (108):78-80.
    Download  
     
    Export citation  
     
    Bookmark   264 citations  
  • (2 other versions)Logic for Mathematicians.A. Robinson - 1953 - Journal of Symbolic Logic 18 (4):326-327.
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  • The Stroke Function in Natural Deduction.Robert Price - 1973 - Journal of Symbolic Logic 38 (1):149-150.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A Primer of Formal Logic.John C. Cooley - 1943 - Philosophical Review 52:625.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • (1 other version)Mathematical Logic.W. V. Quine - 1940 - Philosophy of Science 8 (1):136-136.
    Download  
     
    Export citation  
     
    Bookmark   95 citations  
  • Mathematical Logic. [REVIEW]E. N. & Willard Van Orman Quine - 1940 - Journal of Philosophy 37 (23):640.
    Download  
     
    Export citation  
     
    Bookmark   115 citations  
  • Deduction.Philip Nicholas Johnson-Laird & Ruth M. J. Byrne - 1991 - Psychology Press.
    In this study on deduction, the authors argue that people reason by imagining the relevant state of affairs, ie building an internal model of it, formulating a tentative conclusion based on this model and then searching for alternative models.
    Download  
     
    Export citation  
     
    Bookmark   317 citations  
  • (1 other version)Mathematical logic.Willard Van Orman Quine - 1951 - Cambridge,: Harvard University Press.
    INTRODUCTION MATHEMATICAL logic differs from the traditional formal logic so markedly in method, and so far surpasses it in power and subtlety, ...
    Download  
     
    Export citation  
     
    Bookmark   163 citations  
  • (1 other version)Another variant of natural deduction.Irving M. Copi - 1956 - Journal of Symbolic Logic 21 (1):52-55.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Methods of Logic.R. M. Martin - 1951 - Philosophy and Phenomenological Research 11 (4):599-600.
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • (1 other version)Modal Logics.Robert Feys - 1965 - Studia Logica 22:170-173.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • (1 other version)On Natural Deduction.W. V. Quine - 1952 - Journal of Symbolic Logic 17 (1):76-77.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • A Theory of Formal Deducibility.Haskell B. Curry - 1951 - Journal of Symbolic Logic 16 (1):56-58.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Beginning Logic.Sarah Stebbins - 1965 - London, England: Hackett Publishing.
    "One of the most careful and intensive among the introductory texts that can be used with a wide range of students. It builds remarkably sophisticated technical skills, a good sense of the nature of a formal system, and a solid and extensive background for more advanced work in logic.... The emphasis throughout is on natural deduction derivations, and the text's deductive systems are its greatest strength. Lemmon's unusual procedure of presenting derivations before truth tables is very effective." --Sarah Stebbins, The (...)
    Download  
     
    Export citation  
     
    Bookmark   95 citations  
  • (2 other versions)Grundlagen der Mathematik I.David Hilbert & Paul Bernays - 1968 - Springer.
    Die Leitgedanken meiner Untersuchungen über die Grundlagen der Mathematik, die ich - anknüpfend an frühere Ansätze - seit 1917 in Besprechungen mit P. BERNAYS wieder aufgenommen habe, sind von mir an verschiedenen Stellen eingehend dargelegt worden. Diesen Untersuchungen, an denen auch W. ACKERMANN beteiligt ist, haben sich seither noch verschiedene Mathematiker angeschlossen. Der hier in seinem ersten Teil vorliegende, von BERNAYS abgefaßte und noch fortzusetzende Lehrgang bezweckt eine Darstellung der Theorie nach ihren heutigen Ergebnissen. Dieser Ergebnisstand weist zugleich die Richtung (...)
    Download  
     
    Export citation  
     
    Bookmark   109 citations  
  • Logic and structure.D. van Dalen - 1980 - New York: Springer Verlag.
    From the reviews: "A good textbook can improve a lecture course enormously, especially when the material of the lecture includes many technical details. Van Dalen's book, the success and popularity of which may be suspected from this steady interest in it, contains a thorough introduction to elementary classical logic in a relaxed way, suitable for mathematics students who just want to get to know logic. The presentation always points out the connections of logic to other parts of mathematics. The reader (...)
    Download  
     
    Export citation  
     
    Bookmark   71 citations  
  • (1 other version)Symbolic Logic.Irving M. Copi - 1965 - Journal of Symbolic Logic 32 (2):252-255.
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • On the Rules of Suppositions in Formal Logic.Stanisław Jaśkowski - 1934 - In ¸ Itepmccall1967. Oxford at the Clarendon Press.
    Download  
     
    Export citation  
     
    Bookmark   63 citations  
  • (1 other version)Symbolic Logic.Irving Marmer Copi - 1954 - New York: Macmillan.
    Download  
     
    Export citation  
     
    Bookmark   61 citations  
  • (1 other version)Logic: Techniques of Formal Reasoning.Donald Kalish, Richard Montague & Gary Mar - 1964 - New York, NY, USA: Oxford University Press USA. Edited by Richard Montague.
    Logic: Techniques of Formal Reasoning, 2/e is an introductory volume that teaches students to recognize and construct correct deductions. It takes students through all logical steps--from premise to conclusion--and presents appropriate symbols and terms, while giving examples to clarify principles. Logic, 2/e uses models to establish the invalidity of arguments, and includes exercise sets throughout, ranging from easy to challenging. Solutions are provided to selected exercises, and historical remarks discuss major contributions to the theories covered.
    Download  
     
    Export citation  
     
    Bookmark   42 citations  
  • Foundations of mathematical logic.Haskell Brooks Curry - 1963 - New York: Dover Publications.
    Comprehensive account of constructive theory of first-order predicate calculus. Covers formal methods including algorithms and epi-theory, brief treatment of Markov’s approach to algorithms, elementary facts about lattices and similar algebraic systems, more. Philosophical and reflective as well as mathematical. Graduate-level course. 1963 ed. Exercises.
    Download  
     
    Export citation  
     
    Bookmark   103 citations  
  • (1 other version)The logic book.Merrie Bergmann - 2003 - Boston, Mass.: McGraw-Hill. Edited by James Moor & Jack Nelson.
    This outstanding book is a leading text for symbolic or formal logic courses. All techniques and concepts are presented with clear, comprehensive explanations and numerous, carefully constructed examples. Its flexible organization (all chapters are complete and self-contained) allows instructors the freedom to cover the topics they want in the order they choose.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Rudiments of Logic.George Myro, Mark Bedau & Tim Monroe (eds.) - 1987 - Englewood Cliffs, NJ, USA: Prentice-Hall.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Polish Logic 1920-1939.Storrs Mccall - 1970 - Revue Philosophique de la France Et de l'Etranger 160:495-495.
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • (2 other versions)Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.
    Download  
     
    Export citation  
     
    Bookmark   171 citations  
  • The Logic Book.Merrie Bergmann, James Moor, Jack Nelson & Merrie Bergman - 1982 - Journal of Symbolic Logic 47 (4):915-917.
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • (1 other version)Another Variant of Natural Deduction.Irving M. Copi - 1957 - Journal of Symbolic Logic 22 (3):298-299.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Logical Calculus.Paul Bernays - 1938 - Journal of Symbolic Logic 3 (4):162-163.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • (2 other versions)Methods of logic.Willard Van Orman Quine - 1962 - Cambridge: Harvard University Press.
    Provides comprehensive coverage of logical structure as well as the techniques of formal reasoning.
    Download  
     
    Export citation  
     
    Bookmark   222 citations  
  • On Quine's Approach to Natural Deduction'.Carlo Cellucci - 1995 - In Paolo Leonardi & Marco Santambrogio (eds.), On Quine: New Essays. New York, NY, USA: Cambridge University Press. pp. 314--335.
    This article examines Quine's original proposal for a natural deduction calculus including an existential specification rule, it argues that it introduces a new paradigm of natural deduction alternative to Gentzen's but has some substantial defects. As an alternative the article puts forward a system of sequent natural deduction.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Logic: Techniques of Formal Reasoning. [REVIEW]J. R. Cameron - 1967 - Philosophical Quarterly 17 (66):81.
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • (1 other version)On natural deduction.W. V. Quine - 1950 - Journal of Symbolic Logic 15 (2):93-102.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • The Stroke Function in Natural Deduction.Robert Price - 1961 - Mathematical Logic Quarterly 7 (7-10):117-123.
    Download  
     
    Export citation  
     
    Bookmark   5 citations