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:

874 found
Order:
1 — 50 / 874
Material to categorize
  1. A Recovery Operator for Nontransitive Approaches.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc - forthcoming - Review of Symbolic Logic:1-25.
    In some recent papers, Cobreros, Egré, Ripley and van Rooij have defended the idea that abandoning transitivity may lead to a solution to the trouble caused by semantic paradoxes. For that purpose, they develop the Strict-Tolerant approach, which leads them to entertain a non-transitive theory of truth, where the structural rule of Cut is not generally valid. However, that Cut fails in general in the target theory of truth does not mean that there are not certain safe instances of Cut (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2. Substructural Logics, Pluralism and Collapse.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc - forthcoming - Synthese:1-17.
    When discussing Logical Pluralism several critics argue that such an open-minded position is untenable. The key to this conclusion is that, given a number of widely accepted assumptions, the pluralist view collapses into Logical Monism. In this paper we show that the arguments usually employed to arrive at this conclusion do not work. The main reason for this is the existence of certain substructural logics which have the same set of valid inferences as Classical Logic—although they are, in a clear (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3. Rumfitt on Truth-Grounds, Negation, and Vagueness.Richard Zach - 2018 - Philosophical Studies 175 (8):2079-2089.
    In The Boundary Stones of Thought, Rumfitt defends classical logic against challenges from intuitionistic mathematics and vagueness, using a semantics of pre-topologies on possibilities, and a topological semantics on predicates, respectively. These semantics are suggestive but the characterizations of negation face difficulties that may undermine their usefulness in Rumfitt’s project.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4. Translating Non-Classical Logics Into Classical Logic by Using Hidden Variables.Juan C. Agudelo-Agudelo - 2017 - Logica Universalis 11 (2):205-224.
    Dyadic semantics is a sort of non-truth-functional bivalued semantics introduced in Caleiro et al. Logica Universalis, Birkhäuser, Basel, pp 169–189, 2005). Here we introduce an algorithmic procedure for constructing conservative translations of logics characterised by dyadic semantics into classical propositional logic. The procedure uses fresh propositional variables, which we call hidden variables, to represent the indeterminism of dyadic semantics. An alternative algorithmic procedure for constructing conservative translations of any finite-valued logic into classical logic is also introduced. In this alternative procedure (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Second-Order Logic And Foundations Of Mathematics.Jouko V. "A. "An "Anen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.
  6. Okres warunkowy a implikacja materialna / Conditional Sentence and Material Implication.Kazimierz Ajdukiewicz - 1956 - Studia Logica 4:117-153.
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7. The Logic of Conditionals.Ernest Adams, Ernest W. Adams, Jaakko Hintikka & Patrick Suppes - 1974 - Journal of Symbolic Logic 39 (3):609-611.
  8. Neat Embeddings, Omitting Types, and Interpolation: An Overview.Tarek Ahmed - 2003 - Notre Dame Journal of Formal Logic 44 (3):157-173.
    We survey various results on the relationship among neat embeddings, complete representations, omitting types, and amalgamation. A hitherto unpublished application of algebraic logic to omitting types of first-order logic is given.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  9. Symbolic Logic.Irving Copi - 1954 - Macmillan.
    Remove from this list  
     
    Export citation  
     
    Bookmark   1 citation  
  10. Symbolic Logic.Irving Copi - 1954 - Macmillan.
    Remove from this list  
     
    Export citation  
     
    Bookmark   1 citation  
  11. Symbolic Logic.Atwell R. Turquette & Frederic Brenton Fitch - 1953 - Philosophical Review 62 (4):617.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12. Aristotle's Syllogistic From the Standpoint of Modern Formal Logic.Joseph T. Clark & Jan Lukasiewicz - 1952 - Philosophical Review 61 (4):575.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  13. Fundamentals of Symbolic Logic.Max Black, Alice Ambrose & Morris Lazerowitz - 1950 - Philosophical Review 59 (3):391.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14. Elements of Symbolic Logic.Nelson Goodman & Hans Reichenbach - 1948 - Philosophical Review 57 (1):100.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  15. Symbolic Logic.Daniel J. Bronstein, Harry Tarter, Clarence Irving Lewis & Cooper Harold Langford - 1934 - Philosophical Review 43 (3):305.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16. On Polynomial Semantics for Propositional Logics.Juan C. Agudelo-Agudelo, Carlos A. Agudelo-González & Oscar E. García-Quintero - 2016 - Journal of Applied Non-Classical Logics 26 (2):103-125.
    Some properties and an algorithm for solving systems of multivariate polynomial equations over finite fields are presented. It is then shown how formulas of propositional logics can be translated into polynomials over finite fields in such a way that several logic problems are expressed in terms of algebraic problems. Consequently, algebraic properties and algorithms can be used to solve the algebraically-represented logic problems. The methods described herein combine and generalise those of various previous works.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  17. Mathematical Logic and Formal Arithmetic: Key Definitions and Principles.John-Michael Kuczynski - 2016 - Amazon Digital Services LLC.
    This books states, as clearly and concisely as possible, the most fundamental principles of set-theory and mathematical logic. Included is an original proof of the incompleteness of formal logic. Also included are clear and rigorous definitions of the primary arithmetical operations, as well as clear expositions of the arithmetic of transfinite cardinals.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  18. Solving Natural Syllogisms.Guy Politzer - 2010 - In D. Over K. Manktelow (ed.), The science of reason. Psychology Press. pp. 19-35.
    Natural syllogisms are expressed in terms of classes and properties of the real world. They exploit a categorisation present in semantic memory that provides a class inclusion structure. they are enthymematic and typically occur within a dialogue. Their form is identical to a formal syllogism once the minor premise is made explicit. It is claimed that reasoners routinely execute natural_syllogisms in an effortless manner based on ecthesis, which is primed by the class inclusion structure kept in long term memory.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19. An Introduction to Symbolic Logic.E. N. & Susanne K. Langer - 1938 - Journal of Philosophy 35 (22):613.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20. Symbolic Logic.Henry Bradford Smith, C. I. Lewis & C. H. Langford - 1933 - Journal of Philosophy 30 (11):302.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21. Pollock John L.. Introduction to Symbolic Logic. Holt, Rinehart and Winston, Inc., New York, Etc., 1969, Xii + 241 Pp. [REVIEW]B. G. Hurdle - 1975 - Journal of Symbolic Logic 40 (1):101.
  22. Henkin L.. Boolean Representation Through Propositional Calculus. Fundamenta Mathematicae, Vol. 41 No. 1 , Pp. 89–96.Łoś J.. Remarks on Henkin's Paper: Boolean Representation Through Propositional Calculus. Fundamenta Mathematicae, Vol. 44 No. 1 , Pp. 82–83. [REVIEW]Ann S. Ferebee - 1973 - Journal of Symbolic Logic 38 (3):521-522.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23. Basson A. H. And O'Connor D. J.. Introduction to Symbolic Logic. University Tutorial Press Ltd., London 1953, Viii + 169 Pp. [REVIEW]Alonzo Church - 1955 - Journal of Symbolic Logic 20 (1):84-86.
  24. Lewis Clarence Irving and Langford Cooper Harold. Symbolic Logic. Dover Publications, Inc., New York 1951, 7 Pp. + Pp. 3–506. [REVIEW]Alonzo Church - 1951 - Journal of Symbolic Logic 16 (3):225.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25. Henkin Leon. The Completeness of the First-Order Functional Calculus.W. Ackermann - 1950 - Journal of Symbolic Logic 15 (1):68.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26. Quine Willard V.. Theory of Deduction. Parts I–IV. Mimeographiert. Harvard Cooperative Society, Cambridge, Mass., 1948, 156 S. [REVIEW]W. Ackermann - 1949 - Journal of Symbolic Logic 14 (3):190-191.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27. Mckinsey J. C. C.. On the Independence of Hilbert and Ackermann's Postulates for the Calculus of Propositional Functions. American Journal of Mathematics, Vol. 58 , Pp. 336–344. [REVIEW]Paul Bernays - 1936 - Journal of Symbolic Logic 1 (2):64-65.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28. Some Dangers in the Use of Symbolic Logic in Psychology.E. W. Hall - 1942 - Psychological Review 49 (2):142-169.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29. Open Questions Related to the Problem of Birkhoff and Maltsev.M. E. Adams, K. V. Adaricheva, W. Dziobiak & A. V. Kravchenko - 2004 - Studia Logica 78 (1-2):357-378.
    The Birkhoff-Maltsev problem asks for a characterization of those lattices each of which is isomorphic to the lattice L(K) of all subquasivarieties for some quasivariety K of algebraic systems. The current status of this problem, which is still open, is discussed. Various unsolved questions that are related to the Birkhoff-Maltsev problem are also considered, including ones that stem from the theory of propositional logics.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  30. Two Non-Henkinian Fragments of the 2-Valued Propositional Calculus with Variable Functors.Alan Rose - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (1):45-55.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31. On Theses of the First-Order Functional Calculus.Juliusz Reichbach - 1961 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (11-14):175-184.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32. EQ and the First Order Functional Calculus.Nuel D. Belnap - 1960 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 6 (7-14):217-218.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33. Single Primitive Ternary Connectives for the 2-Valued Propositional Calculus.R. A. Cuninghame-Green - 1959 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 5 (7-13):206-207.
  34. Single Generators for Henkinian Fragments of the 2-Valued Propositional Calculus.Alan Rose - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (6):85-92.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35. A Simplified Selfm-AL Set of Primitive Functors for Them-Valued Propositional Calculus.Alan Rose - 1962 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 8 (3-4):257-266.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36. Iffication, Preiffication, Qualiffication, Reiffication, and Deiffication.John Corcoran - 2008 - Bulletin of Symbolic Logic 14 (4):435-6.
    Iffication, Preiffication, Qualiffication, Reiffication, and Deiffication. -/- Roughly, iffication is the speech-act in which—by appending a suitable if-clause—the speaker qualifies a previous statement. The clause following if is called the qualiffication. In many cases, the intention is to retract part of the previous statement—called the preiffication. I can retract part of “I will buy three” by appending “if I have money”. This initial study focuses on logical relations among propositional contents of speech-acts—not their full conversational implicatures, which will be treated (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  37. Logic with Trees: An Introduction to Symbolic Logic.Colin Howson - 2005 - Routledge.
    First published in 1997. Routledge is an imprint of Taylor & Francis, an informa company.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  38. INFORMATION-THEORETIC LOGIC.John Corcoran - 1998 - In C. Martínez U. Rivas & L. Villegas-Forero (eds.), Truth in Perspective edited by C. Martínez, U. Rivas, L. Villegas-Forero, Ashgate Publishing Limited, Aldershot, England (1998) 113-135. ASHGATE. pp. 113-135.
    Information-theoretic approaches to formal logic analyse the "common intuitive" concept of propositional implication (or argumental validity) in terms of information content of propositions and sets of propositions: one given proposition implies a second if the former contains all of the information contained by the latter; an argument is valid if the conclusion contains no information beyond that of the premise-set. This paper locates information-theoretic approaches historically, philosophically and pragmatically. Advantages and disadvantages are identified by examining such approaches in themselves and (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  39. Logic: The Basics (2nd Edition).Jc Beall & Shay A. Logan - 2017 - Routledge.
    Logic: the Basics is an accessible introduction to the core philosophy topic of standard logic. Focussing on traditional Classical Logic the book deals with topics such as mathematical preliminaries, propositional logic, monadic quantified logic, polyadic quantified logic, and English and standard ‘symbolic transitions’. With exercises and sample answers throughout this thoroughly revised new edition not only comprehensively covers the core topics at introductory level but also gives the reader an idea of how they can take their knowledge further and the (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  40. SEPTEMBER 2015 UPDATE CORCORAN ARISTOTLE BIBLIOGRAPHY.John Corcoran - forthcoming - Aporia 5.
    This presentation includes a complete bibliography of John Corcoran’s publications relevant on Aristotle’s logic. The Sections I, II, III, and IV list respectively 23 articles, 44 abstracts, 3 books, and 11 reviews. Section I starts with two watershed articles published in 1972: the Philosophy & Phenomenological Research article—from Corcoran’s Philadelphia period that antedates his discovery of Aristotle’s natural deduction system—and the Journal of Symbolic Logic article—from his Buffalo period first reporting his original results. It ends with works published in 2015. (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41. Surprises in Logic.John Corcoran & William Frank - 2013 - Bulletin of Symbolic Logic 19 (3):253.
    JOHN CORCORAN AND WILIAM FRANK. Surprises in logic. Bulletin of Symbolic Logic. 19 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 to (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  42. Expressing Set-Size Equality.John Corcoran & Gerald Rising - 2015 - 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  
     
    Export citation  
     
    Bookmark  
  43. Second-Order Logic.John Corcoran - 2001 - In M. Zeleny (ed.), Logic, Meaning, and Computation: Essays in Memory of Alonzo Church. KLUKER. pp. 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  
     
    Export citation  
     
    Bookmark  
  44. Syllogistic System for the Propagation of Parasites. The Case of Schistosomatidae.Andrew Schumann & Ludmila Akimova - 2015 - Studies in Logic, Grammar and Rhetoric 40 (1):303-319.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45. Aristotle: An Ancient Mathematical Logician.George Boger - unknown
    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)  
     
    Export citation  
     
    Bookmark  
  46. Substantive Syllogisms.Joseph A. Novak - unknown
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47. CORCORAN'S 27 ENTRIES IN THE 1999 SECOND EDITION.John Corcoran - 1999 - In Robert Audi (ed.), The Cambridge Dictionary of Philosophy. CAMBRIDGE UP. pp. 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  
     
    Export citation  
     
    Bookmark   2 citations  
  48. Logic of Mathematics a Modern Course of Classical Logic.Zofia Adamowicz & Pawel Zbierski - 1997
  49. Applied Symbolic Logic.Edward P. Lynch - 1980
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  50. Argument and Inference an Introduction to Symbolic Logic.Charles E. Cardwell - 1979
    Remove from this list  
     
    Export citation  
     
    Bookmark  
1 — 50 / 874