- What is a syllogism?Timothy J. Smiley - 1973 - Journal of Philosophical Logic 2 (1):136 - 154.details
|
|
(1 other version)On Denoting.Bertrand Russell - 1905 - Mind 14 (56):479-493.details
|
|
Quantification of the predicate and many-sorted logic.William Tuthill Parry - 1966 - Philosophy and Phenomenological Research 26 (3):342-360.details
|
|
Three logical theories.John Corcoran - 1969 - Philosophy of Science 36 (2):153-177.details
|
|
Completeness of an ancient logic.John Corcoran - 1972 - Journal of Symbolic Logic 37 (4):696-702.details
|
|
(1 other version)Development of Logic.William Kneale - 1962 - New York: Oxford University Press UK. Edited by Martha Kneale.details
|
|
(1 other version)Introduction to mathematical philosophy.Bertrand Russell - 1920 - Revue de Métaphysique et de Morale 27 (2):4-5.details
|
|
(1 other version)Introduction to mathematical logic.Alonso Church - 1958 - Revue de Métaphysique et de Morale 63 (1):118-118.details
|
|
(2 other versions)The Principles of Mathematics.Bertrand Russell - 1903 - Revue de Métaphysique et de Morale 11 (4):11-12.details
|
|
(2 other versions)Principles of mathematics.Bertrand Russell - 1931 - New York,: W.W. Norton & Company.details
|
|
(1 other version)Logic, Logic and Logic.George Boolos & Richard C. Jeffrey - 1998 - Studia Logica 66 (3):428-432.details
|
|
A Mathematician's Apology.G. H. Hardy - 1941 - Philosophy 16 (63):323-326.details
|
|
(1 other version)Undecidable Theories.Alfred Tarski, Andrzej Mostowski & Raphael M. Robinson - 1953 - Philosophy 30 (114):278-279.details
|
|
The Mathematical Analysis of Logic.George Boole - 1950 - Philosophy 25 (95):350-353.details
|
|
(2 other versions)Computability and Logic.Stephen Leeds - 1977 - Journal of Symbolic Logic 42 (4):585-586.details
|
|
(2 other versions)Introduction to Mathematical Logic.Max Black - 1956 - Journal of Symbolic Logic 22 (3):286-289.details
|
|
(2 other versions)Aristotle and Logical Theory.Jonathan Lear - 1982 - Philosophical Quarterly 32 (126):76-86.details
|
|
(1 other version)Aristotle as Proof Theorist.Robin Smith - 1984 - Philosophia Naturalis 21 (2/4):590-598.details
|
|
(3 other versions)Symbolic Logic.C. I. Lewis & C. H. Langford - 1932 - Erkenntnis 4 (1):65-66.details
|
|
(1 other version)From Frege to Gödel.Jean van Heijenoort - 1968 - Philosophy of Science 35 (1):72-72.details
|
|
(1 other version)The Founding of Logic.John Corcoran - 1994 - Ancient Philosophy 14 (S1):9-24.details
|
|
Aristotle’s Completeness Proof.Timothy Smiley - 1994 - Ancient Philosophy 14 (S1):25-38.details
|
|
(4 other versions)The Cambridge Dictionary of Philosophy.Robert Audi (ed.) - 1995 - New York City: Cambridge University Press.details
|
|
The Oxford Dictionary of Philosophy.Edward Craig & Simon Blackburn - 1996 - Philosophical Review 105 (2):250.details
|
|
(2 other versions)Aristotle and Logical Theory.Ian Mueller & Jonathan Lear - 1982 - Philosophical Review 91 (4):625.details
|
|
Logic, Semantics, Metamathematics.Atwell Turquette - 1958 - Philosophical Review 67 (1):113.details
|
|
Introduction to Logic and to the Methodology of Deductive Sciences.Everett J. Nelson - 1942 - Philosophical Review 51 (5):526.details
|
|
Second-order Logic.John Corcoran - 2001 - In C. Anthony Anderson & Michael Zelëny (eds.), Logic, meaning, and computation: essays in memory of Alonzo Church. Boston: Kluwer Academic Publishers. pp. 61–76.details
|
|
(2 other versions)Critique of Pure Reason.I. Kant - 1787/1998 - Philosophy 59 (230):555-557.details
|
|
George Boole: Selected Manuscripts on Logic and its Philosophy.Ivor Grattan-Guinness & Gerard Bornet - 1997 - Springer Verlag.details
|
|
A Mathematician's Apology.Godfrey Harold Hardy - 2012 - Cambridge University Press.details
|
|
(2 other versions)Contributions to the Founding of the Theory of Transfinite Numbers.Cassius J. Keyser - 1916 - The Monist 26:638.details
|
|
Logical methodology: Aristotle and Tarski.J. Corcoran - 1992 - Journal of Symbolic Logic 57:374.details
|
|
On Aristotle's Principle of Contradiction and its Platonic Antecedents.J. Anton - unknowndetails
|
|
Gaps between logical theory and mathematical practice.John Corcoran - 1973 - In Mario Bunge (ed.), The methodological unity of science. Boston,: Reidel. pp. 23--50.details
|
|
On sense and nominatum.Gottlob Frege - 1949 - In Herbert Feigl (ed.), Readings in philosophical analysis. New York,: Appleton-Century-Crofts. pp. 85-102.details
|
|
Aristotle's natural deduction system.John Corcoran - 1974 - In Ancient logic and its modern interpretations. Boston,: Reidel. pp. 85--131.details
|
|
Aristotle on spoken sound significant by convention.Norman Kretzmann - 1974 - In John Corcoran (ed.), Ancient logic and its modern interpretations. Boston,: Reidel. pp. 3--21.details
|
|
Corcoran on Aristotle's logical theory.Mary Mulhern - 1974 - In John Corcoran (ed.), Ancient logic and its modern interpretations. Boston,: Reidel. pp. 133--148.details
|
|
Modern Notations and Ancient Logic.John Mulhern - 1974 - In John Corcoran (ed.), Ancient logic and its modern interpretations. Boston,: Reidel. pp. 71--82.details
|
|
(1 other version)Philosophy of Logic.Leslie Stevenson - 1972 - Philosophical Quarterly 22 (86):80.details
|
|
A Boole Anthology: Recent and Classical Studies in the Logic of George Boole.James Gasser (ed.) - 2000 - Dordrecht, Netherland: Kluwer Academic Publishers.details
|
|
Logical Forms.Oswaldo Chateaubriand - 2000 - The Proceedings of the Twentieth World Congress of Philosophy 6:161-182.details
|
|
The Work of John Corcoran: An Appreciation.Stewart Shapiro & Michael Scanlan - 1999 - History and Philosophy of Logic 20 (3-4):149-158.details
|
|
Boole's criteria for validity and invalidity.John Corcoran & Susan Wood - 1980 - Notre Dame Journal of Formal Logic 21 (4):609-638.details
|
|
The mathematical analysis of logic.George Boole - 1948 - Oxford,: Philosophical Library.details
|
|
Introduction to mathematical logic..Alonzo Church - 1944 - Princeton,: Princeton university press: London, H. Milford, Oxford university press. Edited by C. Truesdell.details
|
|
The elements of mathematical logic.Paul Charles Rosenbloom - 1950 - New York]: Dover Publications.details
|
|
Logic, semantics, metamathematics.Alfred Tarski - 1956 - Oxford,: Clarendon Press. Edited by John Corcoran & J. H. Woodger.details
|
|
From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge,: Harvard University Press.details
|
|