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:
691 found
Search inside:
(import / add options)   Sort by:
1 — 50 / 691
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. A. H. Basson & D. J. O'connor (1954). Introduction to Symbolic Logic. Journal of Philosophy 51 (8):250-252.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  11. Charles A. Baylis (1936). Are Some Propositions Neither True nor False? Philosophy of Science 3 (2):156-166.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  12. J. L. Bell (1993). Hilbert's Ɛ-Operator and Classical Logic. Journal of Philosophical Logic 22 (1):1 - 18.
  13. 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  
  14. 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  
  15. 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  
  16. 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  
  17. 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  
  18. George Boger, Aristotle: An Ancient Mathematical Logician.
    We can now recognize Aristotle's many accomplishments in logical theory, not the least of which is treating the deduction process itself as a subject matter and thus establishing the science of logic. Aristotle took logic to be that part of epistemolo gy used to establish knowledge of logical consequence. Prior Analytics is a metalogical treatise on his syllogistic system in which Aristotle modelled his deduction system to demonstrate certain logical relationships among its rules. Aristotle's n otion of substitution distinguishes logical (...)
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  19. 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  
  20. Charles E. Cardwell (1979). Argument and Inference an Introduction to Symbolic Logic.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  21. 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  
  22. 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  
  23. 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  
  24. 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  
  25. 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  
  26. John Corcoran (2001). Second-Order Logic. In M. Zeleny (ed.), Logic, Meaning, and Computation: Essays in Memory of Alonzo Church. KLUKER 61–76.
    “Second-order Logic” in Anderson, C.A. and Zeleny, M., Eds. Logic, Meaning, and Computation: Essays in Memory of Alonzo Church. Dordrecht: Kluwer, 2001. Pp. 61–76. -/- Abstract. This expository article focuses on the fundamental differences between second- order logic and first-order logic. It is written entirely in ordinary English without logical symbols. It employs second-order propositions and second-order reasoning in a natural way to illustrate the fact that second-order logic is actually a familiar part of our traditional intuitive logical framework and (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  27. 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  
  28. John Corcoran & William Frank (2013). SURPRISES IN LOGIC. Bulletin of Symbolic Logic 19:253.
    JOHN CORCORAN AND WILIAM FRANK. Surprises in logic. Bulletin of Symbolic Logic. 19 (2013) 253. Some people, not just beginning students, are at first surprised to learn that the proposition “If zero is odd, then zero is not odd” is not self-contradictory. Some people are surprised to find out that there are logically equivalent false universal propositions that have no counterexamples in common, i. e., that no counterexample for one is a counterexample for the other. Some people would be surprised (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  29. John Corcoran & Gerald Rising (2015). Expressing Set-Size Equality. Bulletin of Symbolic Logic 21 (2):239.
    The word ‘equality’ often requires disambiguation, which is provided by context or by an explicit modifier. For each sort of magnitude, there is at least one sense of ‘equals’ with its correlated senses of ‘is greater than’ and ‘is less than’. Given any two magnitudes of the same sort—two line segments, two plane figures, two solids, two time intervals, two temperature intervals, two amounts of money in a single currency, and the like—the one equals the other or the one is (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  30. John Corcoran & Alfred Tarski (1986). What Are Logical Notions? History and Philosophy of Logic 7 (2):143-154.
    In this manuscript, published here for the first time, Tarski explores the concept of logical notion. He draws on Klein's Erlanger Programm to locate the logical notions of ordinary geometry as those invariant under all transformations of space. Generalizing, he explicates the concept of logical notion of an arbitrary discipline.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  31. Cesare Cozzo (1994). Are Dummett's Requirements on a Theory of Meaning Sufficient for Rejecting Classical Logic? Erkenntnis 40 (2):243 - 263.
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  32. 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  
  33. 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  
  34. Von Richard F. Dohlen (1999). An Introduction to the Logic of the Computing Sciences: A Contemporary Look at Symbolic Logic. Upa.
    An Introduction to the Logic of the Computing Sciences provides an introduction to symbolic logic by creating connections with the diverse fields of philosophy, mathematics, computing sciences, law, business, popular culture, and ethics, so that students from varied backgrounds can grasp the ideas of logic. The author relates symbolic logic to computer science by introducing each logical principle by a truth table, flow chart, and algorithm. He emphasizes the connections between logic and the different subjects through over two hundred word (...)
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  35. 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  
  36. 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  
  37. Zdzislaw Dywan (1984). An Interpretation of Aristotle's Syllogistic and a Certain Fragment of Set Theory in Propositional Calculi. Bulletin of the Section of Logic 13 (2):85-88.
    In [1] Chapter IV Lukasiewicz presents a system of syllogistic which is an extension of Aristotle’s ordinary syllogistic 1 . In spite of this difference Lukasiewicz speaks about it, as do we, as the Aristotelian system. One of the well-known interpretation of syllogistic is Leibnitz’s interpretation described in [1] . Syllogistic formulas are interpreted there in an arithmetical manner. A second, very natural interpretation, has been given by S lupecki , who interprets syllogistic formulas set theoretically. Although every formula which (...)
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  38. D. Edgington, Samuel D. Guttenplan & Moshé Machover (1998). Symbolic Logic.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  39. J. Fang (1985). A Topologization of Syllogistic Logic. International Logic Review 32:87.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  40. Jens Erik Fenstad (1958). Discussion of Rudolph Carnap: Introduction to Symbolic Logic and its Applications. Inquiry 1:254.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  41. 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  
  42. 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  
  43. 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  
  44. Frederic Benton Fitch (1953). Symbolic Logic; an Introduction. Journal of Philosophy 50 (4):129-134.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  45. 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  
  46. Michele Friend (2000). Leigh S. Cauman, First-Order Logic, an Introduction. [REVIEW] Philosophy in Review 20:240-244.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  47. P. T. Geach (1954). FITCH, F. B. -Symbolic Logic, an Introduction. [REVIEW] Mind 63:274.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  48. 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  
  49. 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  
  50. 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  
1 — 50 / 691