This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories
Subcategories:
633 found
Search inside:
(import / add options)   Sort by:
1 — 50 / 633
Material to categorize
  1. A. R. A. (1957). Workbook for an Elementary Course in Logic. Review of Metaphysics 11 (2):345-345.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  2. E. J. A. (1966). Symbolic Logic. [REVIEW] Review of Metaphysics 19 (4):808-808.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  3. W. Ackermann (1950). Review: Leon Henkin, The Completeness of the First-Order Functional Calculus. [REVIEW] Journal of Symbolic Logic 15 (1):68-68.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. Edgar Andrade-Lotero & Catarina Dutilh Novaes (2012). Validity, the Squeezing Argument and Alternative Semantic Systems: The Case of Aristotelian Syllogistic. [REVIEW] Journal of Philosophical Logic 41 (2):387 - 418.
    We investigate the philosophical significance of the existence of different semantic systems with respect to which a given deductive system is sound and complete. Our case study will be Corcoran's deductive system D for Aristotelian syllogistic and some of the different semantic systems for syllogistic that have been proposed in the literature. We shall prove that they are not equivalent, in spite of D being sound and complete with respect to each of them. Beyond the specific case of syllogistic, the (...)
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. Darinka Anđelković (2005). Aristotle's Syllogistic and Modern Logic. Theoria 48 (3-4):155-166.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  6. Robert L. Armstrong (1970). Reduction and Deduction of Syllogisms. New Scholasticism 44 (2):273-277.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. E. Jennifer Ashworth (1988). Traditional Logic. In Charles B. Schmitt, Quentin Skinner & Eckhard Kessler (eds.), The Cambridge History of Renaissance Philosophy. Cambridge University Press. 143--72.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  8. Jonathan Barnes & Theophrastus (1984). Terms and Sentences Theophrastus on Hypothetical Syllogisms. Monograph Collection (Matt - Pseudo).
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  9. Sally Barton (1979). The Functional Completeness of Post's M‐Valued Propositional Calculus. Mathematical Logic Quarterly 25 (25‐29):445-446.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  10. J. L. Bell (1993). Hilbert's Ɛ-Operator and Classical Logic. Journal of Philosophical Logic 22 (1):1 - 18.
  11. Nuel D. Belnap (1960). EQ and the First Order Functional Calculus. Mathematical Logic Quarterly 6 (7‐14):217-218.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  12. Edmund C. Berkeley (1942). Conditions Affecting the Application of Symbolic Logic. Journal of Symbolic Logic 7 (4):160-168.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  13. Joseph Bessie & Stuart Glennan, Elements of Deductive Inference : An Introduction to Symbolic Logic.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  14. E. W. Beth (1948). The Origin and Growth of Symbolic Logic. Synthese 6 (7-8):268 - 274.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  15. D. A. Bochvar (1984). On the Consistency of a Three-Valued Logical Calculus. Topoi 3 (1):3-12.
    [This résumé was published in English in Matematicheskii Sbornik along with the article.]The present paper contains an investigation of a three-valued logical calculus (the system) previously described by the author [Recueil Mathématique 4 (46), 2 (1938)].
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  16. Robert Bull (1984). The Classical Propositional Calculus of Arguments. Mathematical Logic Quarterly 30 (1‐6):45-86.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  17. J. -M. C. Chevalier (2011). Some Arguments for Propositional Logic: MacColl as a Philosopher. Philosophia Scientiae 15:129-147.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  18. Anahit Chubaryan, Armine Chubaryan & Sergey Sayadyan (2007). The Relative Efficiency of Propositional Proofs Systems for Classical and Nonclassical Propositional Logic. In Jean-Yves Béziau & Alexandre Costa-Leite (eds.), Perspectives on Universal Logic. 265.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  19. Alonzo Church (1958). Review: A. H. Basson, D. J. O'Connor, Introduction to Symbolic Logic. [REVIEW] Journal of Symbolic Logic 23 (4):434-435.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  20. Alonzo Church (1958). Review: W. V. Quine, Logic, Symbolic. [REVIEW] Journal of Symbolic Logic 23 (2):207-209.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. Richard J. Connell (1965). Does Modern Symbolic Logic Contain Aristotelian Logic as a Part? Proceedings of the American Catholic Philosophical Association 39:183-194.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  22. John Corcoran (1999). CORCORAN'S 27 ENTRIES IN THE 1999 SECOND EDITION. In Robert Audi (ed.), Cambridge Dictionary of Philosophy. CAMBRIDGE UP. 65-941.
    Corcoran’s 27 entries in the 1999 second edition of Robert Audi’s Cambridge Dictionary of Philosophy [Cambridge: Cambridge UP]. -/- ancestral, axiomatic method, borderline case, categoricity, Church (Alonzo), conditional, convention T, converse (outer and inner), corresponding conditional, degenerate case, domain, De Morgan, ellipsis, laws of thought, limiting case, logical form, logical subject, material adequacy, mathematical analysis, omega, proof by recursion, recursive function theory, scheme, scope, Tarski (Alfred), tautology, universe of discourse. -/- The entire work is available online free at more than (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  23. R. A. Cuninghame‐Green (1959). Single Primitive Ternary Connectives for the 2‐Valued Propositional Calculus. Mathematical Logic Quarterly 5 (7‐13):206-207.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  24. Louis S. Dickstein (1976). Differential Difficulty of Categorical Syllogisms. Bulletin of the Psychonomic Society 8 (4):330-332.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  25. Von Richard F. Dohlen (1999). An Introduction to the Logic of the Computing Sciences: A Contemporary Look at Symbolic Logic. University Press of America.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  26. James Duerlinger (1968). Drawing Conclusions From Aristotelian Syllogisms. The Monist 52 (2):229-236.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  27. Michael Dummett (1959). A Propositional Calculus with Denumerable Matrix. Journal of Symbolic Logic 24 (2):97-106.
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  28. Henry Albert Finch (1957). Validity Rules for Proportionally Quantified Syllogisms. Philosophy of Science 24 (1):1-18.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  29. V. Fischer (1995). The Transposition of Aristotle Syllogisms by Means of Boolean Algebra. Filozofia 50 (11):604-609.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  30. Frederic B. Fitch (1960). Review: A. N. Prior, Peirce's Axioms for Propositional Calculus. [REVIEW] Journal of Symbolic Logic 25 (1):87-87.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  31. Michele Friend (2000). Leigh S. Cauman, First-Order Logic, an Introduction Reviewed By. Philosophy in Review 20 (4):240-244.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  32. Marjorie S. Harris (1940). Symbolic Logic and Esthetics. Journal of Philosophy 37 (20):533-546.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  33. Gisbert Hasenjaeger (1949). Review: Alice Ambrose, Morris Lazerowitz, Fundamentals of Symbolic Logic. [REVIEW] Journal of Symbolic Logic 14 (3):191-191.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  34. David Hitchcock (2005). The Peculiarities of Stoic Propositional Logic. In John Woods, Kent A. Peacock & A. D. Irvine (eds.), Mistakes of Reason: Essays in Honour of John Woods. University of Toronto Press. 224--242.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  35. H. Hiz (1959). Extendible Sentential Calculus. Journal of Symbolic Logic 24 (3):193-202.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  36. J. J. Horst (1933). Symbolic Logic. Modern Schoolman 11 (1):23-23.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  37. Hubert Hubien (1977). A New Basis for Classical Propositional Calculus. Logique Et Analyse 79 (79):225-7.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  38. Richard Thomas Ivo (1952). A New Decision Procedure for Aristotle's Syllogistic. Mind 61 (244):564-566.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  39. A. E. J. (1966). Review of I. M. Copi, Symbolic Logic. [REVIEW] Review of Metaphysics 19 (4):808-808.
  40. D. J. (1963). Fundamentals of Symbolic Logic. [REVIEW] Review of Metaphysics 16 (3):579-579.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  41. I. L. Janis & F. Frick (1943). The Relationship Between Attitudes Toward Conclusions and Errors in Judging Logical Validity of Syllogisms. Journal of Experimental Psychology 33 (1):73.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  42. Fred Johnson (2004). Aristotle's Modal Syllogisms. In Dov M. Gabbay, John Woods & Akihiro Kanamori (eds.), Handbook of the History of Logic. Elsevier. 1--247.
    McCall's system for contingent syllogisms is modified. A semantics for the resulting system is provided.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  43. Fred Johnson (1997). Extended Gergonne Syllogisms. Journal of Philosophical Logic 26 (5):553-567.
    Syllogisms with or without negative terms are studied by using Gergonne's ideas. Soundness, completeness, and decidability results are given.
    Remove from this list | Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  44. Fred Johnson (1991). Three-Membered Domains for Aristotle's Syllogistic. Studia Logica 50 (2):181 - 187.
    The paper shows that for any invalid polysyllogism there is a procedure for constructing a model with a domain with exactly three members and an interpretation that assigns non-empty, non-universal subsets of the domain to terms such that the model invalidates the polysyllogism.
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  45. John Jones (1983). A Formalisation of an M‐Valued Propositional Calculus with Variable Functors. Mathematical Logic Quarterly 29 (6):377-378.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  46. John Jones (1982). A Formalisation of an ℵ0‐Valued Propositional Calculus with Variable Functors. Mathematical Logic Quarterly 28 (33‐38):505-510.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  47. Jacek Kabzinski (1973). On Problems of Definability of Propositional Connectives. Bulletin of the Section of Logic 2 (2):127.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  48. Donald Kalish (1967). Review: Irving M. Copi, Symbolic Logic. [REVIEW] Journal of Symbolic Logic 32 (2):252-255.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  49. S. Kaminski (1965). Rules for Syllogisms with the Consideration of Schemata with Negated Subject Terms. Studia Logica 16 (1):52-52.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  50. Charles J. Kelly (1988). The Logic of Eternal Knowledge From the Standpoint of the Aristotelian Syllogistic. Modern Schoolman 66 (1):29-54.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 633