Switch to: Citations

Add references

You must login to add references.
  1. Philosophy of Logic (2nd Edition).W. V. Quine - 1986 - Cambridge, MA: Harvard University Press.
    With his customary incisiveness, W. V. Quine presents logic as the product of two factors, truth and grammar--but argues against the doctrine that the logical truths are true because of grammar or language. Rather, in presenting a general theory of grammar and discussing the boundaries and possible extensions of logic, Quine argues that logic is not a mere matter of words.
    Download  
     
    Export citation  
     
    Bookmark   85 citations  
  • (2 other versions)Philosophy of Logic.W. V. Quine - 2005-01-01 - In José Medina & David Wood (eds.), Truth. Blackwell.
    Download  
     
    Export citation  
     
    Bookmark   403 citations  
  • (1 other version)Introduction to mathematical philosophy.Bertrand Russell - 1920 - Revue de Métaphysique et de Morale 27 (2):4-5.
    Download  
     
    Export citation  
     
    Bookmark   243 citations  
  • The Contemporary Relevance of Ancient Logical Theory.John Corcoran - 1982 - Philosophical Quarterly 32 (126):76.
    This interesting and imaginative monograph is based on the author’s PhD dissertation supervised by Saul Kripke. It is dedicated to Timothy Smiley, whose interpretation of PRIOR ANALYTICS informs its approach. As suggested by its title, this short work demonstrates conclusively that Aristotle’s syllogistic is a suitable vehicle for fruitful discussion of contemporary issues in logical theory. Aristotle’s syllogistic is represented by Corcoran’s 1972 reconstruction. The review studies Lear’s treatment of Aristotle’s logic, his appreciation of the Corcoran-Smiley paradigm, and his understanding (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • (1 other version)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 mathematical philosophy.Bertrand Russell - 1919 - New York: Dover Publications.
    Download  
     
    Export citation  
     
    Bookmark   387 citations  
  • Essays on the philosophy of Socrates.Hugh H. Benson (ed.) - 1992 - New York: Oxford University Press.
    The last two decades have witnessed a virtual explosion of research in Socratic philosophy. This volume collects essays that represent the range and diversity of that vast literature, including historical and philosophical essays devoted to a single Platonic dialogue, as well as essays devoted to the Socratic method, Socratic epistemology, and Socratic ethics. With lists of suggested further readings, an extensive bibliography on recent Socratic research, and an index locorum, this unique and much-needed anthology makes the study of Socratic philosophy (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • What is a syllogism?Timothy J. Smiley - 1973 - Journal of Philosophical Logic 2 (1):136 - 154.
    Download  
     
    Export citation  
     
    Bookmark   115 citations  
  • Aristotelian syllogisms: Valid arguments or true universalized conditionals?John Corcoran - 1974 - Mind 83 (330):278-281.
    Corcoran, John. 1974. Aristotelian Syllogisms: Valid arguments or true generalized conditionals?, Mind 83, 278–81. MR0532928 (58 #27178) This tightly-written and self-contained four-page paper must be studied and not just skimmed. It meticulously analyses quotations from Aristotle and Lukasiewicz to establish that Aristotle was using indirect deductions—as required by the natural-deduction interpretation—and not indirect proofs—as required by the axiomatic interpretation. Lukasiewicz was explicit and clear about the subtle fact that Aristotle’s practice could not be construed as correctly performed indirect proof. Lukasiewicz (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Completeness of an ancient logic.John Corcoran - 1972 - Journal of Symbolic Logic 37 (4):696-702.
    In previous articles, it has been shown that the deductive system developed by Aristotle in his "second logic" is a natural deduction system and not an axiomatic system as previously had been thought. It was also stated that Aristotle's logic is self-sufficient in two senses: First, that it presupposed no other logical concepts, not even those of propositional logic; second, that it is (strongly) complete in the sense that every valid argument expressible in the language of the system is deducible (...)
    Download  
     
    Export citation  
     
    Bookmark   80 citations  
  • What Is Aristotelian Ecthesis?Robin Smith - 1982 - History and Philosophy of Logic 3 (2):113-127.
    I consider the proper interpretation of the process of ecthesis which Aristotle uses several times in the Prior analytics for completing a syllogistic mood, i.e., showing how to produce a deduction of a conclusion of a certain form from premisses of certain forms. I consider two interpretations of the process which have been advocated by recent scholars and show that one seems better suited to most passages while the other best fits a single remaining passage. I also argue that ecthesis (...)
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • Argumentations and Logic.John Corcoran - 1989 - ARGUMENTAION 3 (1):17-43.
    Argumentations are at the heart of the deductive and the hypothetico-deductive methods, which are involved in attempts to reduce currently open problems to problems already solved. These two methods span the entire spectrum of problem-oriented reasoning from the simplest and most practical to the most complex and most theoretical, thereby uniting all objective thought whether ancient or contemporary, whether humanistic or scientific, whether normative or descriptive, whether concrete or abstract. Analysis, synthesis, evaluation, and function of argumentations are described. Perennial philosophic (...)
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  • Gaps between logical theory and mathematical practice.John Corcoran - 1973 - In Mario Bunge (ed.), The methodological unity of science. Boston,: Reidel. pp. 23--50.
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  • Aristotle's Prior Analytics.Robin Smith - 1989 - Hackett Publishing Company.
    Download  
     
    Export citation  
     
    Bookmark   61 citations  
  • Reading proofs with understanding.George Weaver - 1988 - Theoria 54 (1):31-47.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • On Finding Compactness in Aristotle.Michael Scanlan - 1983 - History and Philosophy of Logic 4 (1&2):1-8.
    Jonathan Lear has suggested that Aristotle attempts to demonstrate a proof-theoretic analogue of a compactness theorem in Posterior analyticsI, chs. 19?22. Aristotle argues in these chapters that there cannot be in finite series of predications of terms. Lear's analysis of Aristotle's arguments are shown to be based on confusions about the nature of infinite orderings. Three distinct confusions are identified. In final remarks, it is suggested that a compactness claim is irrelevant to the issues which motivate Aristotle's arguments.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Aristotelian Logic.William Thomas Parry & Edward A. Hacker - 1991 - Albany, NY, USA: State University of New York Press.
    Proceedings of an international research and development conference, Tuscon, Arizona, October 1985. One hundred and twenty-eight papers are presented in this hefty volume.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Some remarks on the notion of proof.John Myhill - 1960 - Journal of Philosophy 57 (14):461-471.
    Download  
     
    Export citation  
     
    Bookmark   42 citations  
  • The Method of Analysis.J. Hintikka & U. Remes - 1977 - Mind 86 (341):133-136.
    Download  
     
    Export citation  
     
    Bookmark   43 citations  
  • Aristotelian induction.Jaakko Hintikka - 1980 - Revue Internationale de Philosophie 34 (3):422.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • (1 other version)Foundations of Geometery.David Hilbert & Paul Bernays - 1971 - Open Court.
    The material contained in the following translation was given in substance by Professor Hilbertas a course of lectures on euclidean geometry at the University of G]ottingen during the wintersemester of 1898-1899. The results of his investigation were re-arranged and put into the formin which they appear here as a memorial address published in connection with the celebration atthe unveiling of the Gauss-Weber monument at G]ottingen, in June, 1899. In the French edition, which appeared soon after, Professor Hilbert made some additions, (...)
    Download  
     
    Export citation  
     
    Bookmark   40 citations  
  • The Evolution of the Euclidean Elements.Wilbur Richard Knorr - 1975 - Dordrecht, Holland: D. Reidel Publishing Company.
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  • (1 other version)The Structure of Aristotelian Logic.James Wilkinson Miller - 1938 - London,: Routledge.
    Originally published in 1938. This compact treatise is a complete treatment of Aristotle’s logic as containing negative terms. It begins with defining Aristotelian logic as a subject-predicate logic confining itself to the four forms of categorical proposition known as the _A, E, I _and_ O_ forms. It assigns conventional meanings to these categorical forms such that subalternation holds. It continues to discuss the development of the logic since the time of its founder and address traditional logic as it existed in (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Elenchus and mathematics: A turning-point in Plato's philosophical development.Gregory Vlastos - 1988 - American Journal of Philology 109 (3):362-396.
    Download  
     
    Export citation  
     
    Bookmark   10 citations