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:
Logical Connectives (319 | 144)
Negation* (154)
Conditionals* (1,721 | 418)
Disjunction* (52)
Conjunction* (24)
Quantifiers* (1,383 | 355)
Variables (28)

1295 found
Order:
1 — 50 / 1295
Material to categorize
  1. The Problem of Linguistic Equivalence.Robert Abernathy - 1966 - Journal of Symbolic Logic 31 (4):668-668.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2. Contrary to Time Conditionals in Talmudic Logic.M. Abraham, D. M. Gabbay & U. Schild - 2012 - Artificial Intelligence and Law 20 (2):145-179.
    We consider conditionals of the form A ⇒ B where A depends on the future and B on the present and past. We examine models for such conditional arising in Talmudic legal cases. We call such conditionals contrary to time conditionals.Three main aspects will be investigated: Inverse causality from future to past, where a future condition can influence a legal event in the past (this is a man made causality).Comparison with similar features in modern law.New types of temporal logics arising (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  3. Quantification in Ordinary Language and Proof Theory.Abrusci Michele, Pasquali Fabio & Retoré Christian - 2016 - Philosophia Scientae 20:185-205.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4. Uber die Beziehung Zwischen Strikter und Strenger Implikation.Wilhelm Ackerman - 1960 - Journal of Symbolic Logic 25 (4):349-349.
    Remove from this list  
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  5. Begrundung Einer Strengen Implik.Wilhelm Ackerman - 1956 - Journal of Symbolic Logic 21:113.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  6. Begründung Einer Strengen Implikation.Ackermann Wilhelm - 1957 - Journal of Symbolic Logic 22 (3):327-328.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  7. Review: G. H. Von Wright, On Double Quantification. [REVIEW]Wilhelm Ackermann - 1952 - Journal of Symbolic Logic 17 (3):201-203.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  8. Henkin Leon. An Algebraic Characterization of Quantifiers. Fundamenta Mathematicae, Bd. 37 , S. 63–74.Wilhelm Ackermann - 1951 - Journal of Symbolic Logic 16 (4):290-291.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9. Review: Leon Henkin, An Algebraic Characterization of Quantifiers. [REVIEW]Wilhelm Ackermann - 1951 - Journal of Symbolic Logic 16 (4):290-291.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  10. A Primer of Probability Logic.Ernest W. Adams - 1996 - Center for the Study of Language and Inf.
    This book is meant to be a primer, that is, an introduction, to probability logic, a subject that appears to be in its infancy. Probability logic is a subject envisioned by Hans Reichenbach and largely created by Adams. It treats conditionals as bearers of conditional probabilities and discusses an appropriate sense of validity for arguments such conditionals, as well as ordinary statements as premisses. This is a clear well-written text on the subject of probability logic, suitable for advanced undergraduates or (...)
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  11. Concepts as Operators.Joe Adams - 1954 - Journal of Symbolic Logic 19 (2):145-145.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  12. A Note on Function Quantification.J. W. Addison & S. C. Kleene - 1958 - Journal of Symbolic Logic 23 (1):47-48.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  13. Truth and Games: Essays in Honour of Gabriel Sandu.T. Aho, A. V. Pietarinen & Alasdair Urquhart - 2008 - Bulletin of Symbolic Logic 14 (1):119-121.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  14. Modus Tonens.Scott F. Aikin & Robert B. Talisse - 2008 - Argumentation 22 (4):521-529.
    Restating an interlocutor’s position in an incredulous tone of voice can sometimes serve legitimate dialectical ends. However, there are cases in which incredulous restatement is out of bounds. This article provides an analysis of one common instance of the inappropriate use of incredulous restatement, which the authors call “modus tonens.” The authors argue that modus tonens is vicious because it pragmatically implicates the view that one’s interlocutor is one’s cognitive subordinate and provides a cue to like-minded onlookers that dialectical opponents (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  15. First-Order Definability on Finite Structures.M. Ajtai - 1989 - Annals of Pure and Applied Logic 45 (3):211-225.
  16. Generalized Quantification as Substructural Logic.Natasha Alechina & Michiel van Lambalgen - 1996 - Journal of Symbolic Logic 61 (3):1006 - 1044.
    We show how sequent calculi for some generalized quantifiers can be obtained by generalizing the Herbrand approach to ordinary first order proof theory. Typical of the Herbrand approach, as compared to plain sequent calculus, is increased control over relations of dependence between variables. In the case of generalized quantifiers, explicit attention to relations of dependence becomes indispensible for setting up proof systems. It is shown that this can be done by turning variables into structured objects, governed by various types of (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  17. Ebersole Frank B.. Verb Tenses as Expressors and Indicators. Analysis , Vol. 12 No. 5 , Pp. 101–113.Alice Ambrose - 1955 - Journal of Symbolic Logic 20 (3):299-301.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18. Review: Frank B. Ebersole, Verb Tenses as Expressors and Indicators. [REVIEW]Alice Ambrose - 1955 - Journal of Symbolic Logic 20 (3):299-301.
  19. Review: Timothy Smiley, Relative Necessity; T. J. Smiley, The Logical Basis of Ethics. [REVIEW]Alan Ross Anderson - 1967 - Journal of Symbolic Logic 32 (3):401-401.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  20. Does Negation Rest Upon a Mistake?Alan Ross Anderson - 1965 - Philosophical Studies 16 (1-2):4 - 6.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  21. Mackie J. L.. Counterfactuals and Causal Laws. Analytical Philosophy, Edited by Butler R. J., Barnes & Noble, Inc., New York 1962, Pp. 66–80. [REVIEW]Alan Ross Anderson - 1964 - Journal of Symbolic Logic 29 (3):139.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22. Hochberg Herbert. The Ontological Operator. Philosophy of Science, Vol. 23 , Pp. 250–259.Cartwright Richard L.. Comments on Dr. Hochberg's Paper. Philosophy of Science, Vol. 23 , Pp. 260–265.Hochberg Herbert. Professor Quine, Pegasus, and Dr. Cartwright. Philosophy of Science, Vol. 24 Pp. 191–203. [REVIEW]Alan Ross Anderson - 1959 - Journal of Symbolic Logic 24 (2):183-184.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23. Review: Robert L. Stanley, A Theory of Subjunctive Conditionals. [REVIEW]Alan Ross Anderson - 1957 - Journal of Symbolic Logic 22 (3):324-325.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  24. Stanley Robert L.. A Theory of Subjunctive Conditionals. Philosophy and Phenomenological Research, Vol. 17 , Pp. 22–35.Alan Ross Anderson - 1957 - Journal of Symbolic Logic 22 (3):324-325.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  25. Brown Robert and Watling John. Counterfactual Conditionals. Mind, N. S. Vol. 61 , P.P 222–233.Brown Robert and Watling John. Hypothetical Statements and Phenomenalism. Synthese, Vol. 8 , Pp. 355–366. [REVIEW]Alan Ross Anderson - 1954 - Journal of Symbolic Logic 19 (1):70-71.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  26. Diggs B. J.. Counterfactual Conditionals. Mind, N. S. Vol. 61 , Pp. 513–527.Alan Ross Anderson - 1954 - Journal of Symbolic Logic 19 (1):68.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  27. Review: B. J. Diggs, Counterfactual Conditionals. [REVIEW]Alan Ross Anderson - 1954 - Journal of Symbolic Logic 19 (1):68-68.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28. Review: Erna F. Schneider, Recent Discussion of Subjunctive Conditionals. [REVIEW]Alan Ross Anderson - 1954 - Journal of Symbolic Logic 19 (1):68-68.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29. Review: Julius R. Weinberg, Contrary-to-Fact Conditionals. [REVIEW]Alan Ross Anderson - 1954 - Journal of Symbolic Logic 19 (1):69-70.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  30. Review: Robert Brown, John Watling, Counterfactual Conditionals; Robert Brown, John Watling, Hypothetical Statements and Phenomenalism. [REVIEW]Alan Ross Anderson - 1954 - Journal of Symbolic Logic 19 (1):70-71.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31. Schneider Erna F.. Recent Discussion of Subjunctive Conditionals. The Review of Metaphysics, Vol. 6 No. 4 , Pp. 623–649. [REVIEW]Alan Ross Anderson - 1954 - Journal of Symbolic Logic 19 (1):68.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32. Weinberg Julius R.. Contrary-to-Fact Conditionals. The Journal of Philosophy, Vol.48 , Pp. 17–22.Alan Ross Anderson - 1954 - Journal of Symbolic Logic 19 (1):69-70.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  33. Conditional Probability From an Ontological Point of View.Rani Lill Anjum, Johan Arnt Myrstad & Stephen Mumford - manuscript
    This paper argues that the technical notion of conditional probability, as given by the ratio analysis, is unsuitable for dealing with our pretheoretical and intuitive understanding of both conditionality and probability. This is an ontological account of conditionals that include an irreducible dispositional connection between the antecedent and consequent conditions and where the conditional has to be treated as an indivisible whole rather than compositional. The relevant type of conditionality is found in some well-defined group of conditional statements. As an (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  34. Conditionals and Monotonic Belief Revisions: The Success Postulate.L. Arlo Costa Horacio - 1990 - Studia Logica 49 (4):557-566.
    One of the main applications of the logic of theory change is to the epistemic analysis of conditionals via the so-called Ramsey test. In the first part of the present note this test is studied in the “limiting case” where the theory being revised is inconsistent, and it is shown that this case manifests an intrinsic incompatibility between the Ramsey test and the AGM postulate of “success”. The paper then analyses the use of the postulate of success, and a weakening (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  35. Iterative Probability Kinematics.Horacio Arló-Costa & Richmond Thomason - 2001 - Journal of Philosophical Logic 30 (5):479-524.
    Following the pioneer work of Bruno De Finetti, conditional probability spaces (allowing for conditioning with events of measure zero) have been studied since (at least) the 1950's.
    Remove from this list   Direct download (13 more)  
     
    Export citation  
     
    My bibliography  
  36. Yourgrau Wolfgang and Livingstone Donald. On the Matter of Mathematical Constants. Methodos, Vol. 9 (1957), Pp. 3–29.H. Arnold Schmidt - 1996 - Journal of Symbolic Logic 31 (1):115-115.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  37. The Logic of Our Language.Robert L. Arrington - 1967 - Tulane Studies in Philosophy 16:1-17.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  38. Generalized DEL-Sequents.Guillaume Aucher, Bastien Maubert & François Schwarzentruber - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 54--66.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  39. Names and Descriptions.A. J. Ayer - 1964 - Journal of Symbolic Logic 29 (4):197-197.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  40. Review: Timothy Smiley, Syllogism and Quantification; William Tuthill Parry, Quantification of the Predicate and Many-Sorted Logic. [REVIEW]John Bacon - 1975 - Journal of Symbolic Logic 40 (4):606-607.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  41. Smiley Timothy. Syllogism and Quantification.John Bacon - 1975 - Journal of Symbolic Logic 40 (4):606-607.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42. Question Answering and Database Querying: Bridging the Gap with Generalized Quantification.Antonio Badia - 2007 - Journal of Applied Logic 5 (1):3-19.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  43. Expressing Cardinality Quantifiers in Monadic Second-Order Logic Over Chains.Vince Bárány, Łukasz Kaiser & Alexander Rabinovich - 2011 - Journal of Symbolic Logic 76 (2):603 - 619.
    We investigate the extension of monadic second-order logic of order with cardinality quantifiers "there exists uncountably many sets such that... " and "there exists continuum many sets such that... ". We prove that over the class of countable linear orders the two quantifiers are equivalent and can be effectively and uniformly eliminated. Weaker or partial elimination results are obtained for certain wider classes of chains. In particular, we show that over the class of ordinals the uncountability quantifier can be effectively (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  44. Effect of Substitutional Solid Solution on Dislocation Nucleation in Fe3Al Intermetallic Alloys.Afrooz Barnoush & Mohammad Zamanzade - 2012 - Philosophical Magazine 92 (25-27):3257-3268.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45. The Logic of the Articles in Traditional Philosophy: A Contribution to the Study of Conceptual Structures.E. M. Barth - 1974 - D. Reidel Pub. Co..
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  46. A Natural History of Negation.Jon Barwise & Laurence R. Horn - 1991 - Journal of Symbolic Logic 56 (3):1103.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  47. The Intensional Many - Conservativity Reclaimed.Harald Andreas Bastiaanse - 2014 - Journal of Philosophical Logic 43 (5):883-901.
    Following on Westerståhl’s argument that many is not Conservative [9], I propose an intensional account of Conservativity as well as intensional versions of EXT and Isomorphism closure. I show that an intensional reading of many can easily possess all three of these, and provide a formal statement and proof that they are indeed proper intensionalizations. It is then discussed to what extent these intensionalized properties apply to various existing readings of many.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  48. Disjunction, Factual Reference and Hesitation.Benukar Basuri - 1979 - Indian Philosophical Quarterly 7 (1):61.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  49. Topic-Neutrality.R. Batchelor - 2011 - Mind 120 (477):1-9.
    The paper suggests a definition of the idea of topic-neutrality, and indicates some of the consequences of identifying logicality with topic-neutrality so defined.
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  50. Chisholm Roderick M.. Law Statements and Counterfactual Inference. Analysis , Vol. 15 No. 5 , Pp. 97–105.Charles A. Baylis - 1956 - Journal of Symbolic Logic 21 (1):86-87.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 1295