This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
About this topic
Summary A logical connective is anything that joins smaller logical expressions into larger ones.  There are any number of logical connectives, depending on which logic one is using.  The subcategories here (with the obvious exception of the miscellaneous leaf node) are most appropriate for classical logic, and logics which depart from classical logic only modestly, where there is a widely held intuition (with the exception of the conditional) that the linguistic connectives, "and," "or," and "not," are, at least in most respects, the equivalents of the formal logical connectives, conjunction, disjunction, and negation.  However, even in classical propositional logic, there is the Sheffer stroke and the dagger, which allow the axiomatization of propositional logic with just one connective, but have no clear linguistic equivalent.   As one moves further afield from classical logic, along various dimensions, one will soon discover that the variety of logical connectives is limited only by the mathematical ingenuity of the human mind.  This might help explain why--with the exception of "conditionals"--there are (currently) far more entries in the miscellaneous category than there are in any of the more standard categories.
Key works Given the above variety, as discussed, there are separate key works for each logic, although there are a few multi-volume works which attempt to be all-inclusive and cover the enormous variety of logics, their operators, and their semantics.
Introductions See, key works, above.  Only the best-known logics have works that can fairly be called introductions.
Related categories
Subcategories:
Negation* (203)
Conditionals* (2,103 | 475)
Disjunction* (63)
Conjunction* (33)
See also:

380 found
Order:
1 — 50 / 380
Material to categorize
  1. On the Modal Interpretation of the Connective of Realisation.A. M. Karczewska - 2021 - Journal of Applied Non-Classical Logics 31 (3-4):221-233.
    The connective of realisation associates propositions with names of contexts, at which they are said to be realised. Realisation is usually understood as relativised truth-connective, thus under mo...
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2. On the Overlap Between Everything and Nothing.Massimiliano Carrara, Filippo Mancini & Jeroen Smid - forthcoming - Logic and Logical Philosophy.
    Graham Priest has recently proposed a solution to the problem of the One and the Many which involves inconsistent objects and a non-transitive identity relation. We show that his solution entails either that the object everything is identical with the object nothing or that they are mutual parts; depending on whether Priest goes for an extensional or a non-extensional mereology.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. Operands and Instances.Peter Fritz - forthcoming - Review of Symbolic Logic:1-22.
    Can conjunctive propositions be identical without their conjuncts being identical? Can universally quantified propositions be identical without their instances being identical? On a common conception of propositions, on which they inherit the logical structure of the sentences which express them, the answer is negative both times. Here, it will be shown that such a negative answer to both questions is inconsistent, assuming a standard type-theoretic formalization of theorizing about propositions. The result is not specific to conjunction and universal quantification, but (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4. Centering and Compound Conditionals Under Coherence.A. Gilio, Niki Pfeifer & Giuseppe Sanfilippo - 2017 - In M. B. Ferraro, P. Giordani, B. Vantaggi, M. Gagolewski, Gilgameshgodman Gilgameshgodman, P. Grzegorzewski & O. Hryniewicz (eds.), Soft Methods for Data Science. Cham, Switzerland: pp. 253-260.
    There is wide support in logic, philosophy, and psychology for the hypothesis that the probability of the indicative conditional of natural language, P(if A then B), is the conditional probability of B given A, P(B|A). We identify a conditional which is such that P(if A then B)=P(B|A) with de Finetti’s conditional event, B | A. An objection to making this identification in the past was that it appeared unclear how to form compounds and iterations of conditional events. In this paper, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  5. Generalized Probabilistic Modus Ponens.Giuseppe Sanfilippo, Niki Pfeifer & Angelo Gilio - 2017 - In A. Antonucci, L. Cholvy & O. Papini (eds.), Symbolic and Quantitative Approaches to Reasoning with Uncertainty (Lecture Notes in Artificial Intelligence, vol. 10369). Cham, Switzerland: pp. 480-490.
    Modus ponens (from A and “if A then C” infer C) is one of the most basic inference rules. The probabilistic modus ponens allows for managing uncertainty by transmitting assigned uncertainties from the premises to the conclusion (i.e., from P(A) and P(C|A) infer P(C)). In this paper, we generalize the probabilistic modus ponens by replacing A by the conditional event A|H. The resulting inference rule involves iterated conditionals (formalized by conditional random quantities) and propagates previsions from the premises to the (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  6. Connexive Principles After a ‘Classical’ Turn in Medieval Logic.Spencer C. Johnston - forthcoming - History and Philosophy of Logic:1-13.
    The aim of this paper is to look at the arguments advanced by three Parisian arts masters about how to understand Prior Analytics II 4 and the more general discussion that medieval authors situate...
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7. The Fluted Fragment with Transitive Relations.Ian Pratt-Hartmann & Lidia Tendera - 2022 - Annals of Pure and Applied Logic 173 (1):103042.
    The fluted fragment is a fragment of first-order logic (without equality) in which, roughly speaking, the order of quantification of variables coincides with the order in which those variables appear as arguments of predicates. It is known that this fragment has the finite model property. We consider extensions of the fluted fragment with various numbers of transitive relations, as well as the equality predicate. In the presence of one transitive relation (together with equality), the finite model property is lost; nevertheless, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. Extending the Lambek Calculus with Classical Negation.Michael Kaminski - forthcoming - Studia Logica:1-23.
    We present an axiomatization of the non-associative Lambek calculus extended with classical negation for which the frame semantics with the classical interpretation of negation is sound and complete.
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9. The Dynamics of Argumentative Discourse.Carlotta Pavese & Alexander W. Kocurek - forthcoming - Journal of Philosophical Logic:1-44.
    Arguments have always played a central role within logic and philosophy. But little attention has been paid to arguments as a distinctive kind of discourse, with its own semantics and pragmatics. The goal of this essay is to study the mechanisms by means of which we make arguments in discourse, starting from the semantics of argument connectives such as `therefore'. While some proposals have been made in the literature, they fail to account for the distinctive anaphoric behavior of `therefore', as (...)
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  10. Metasequents and Tetravaluations.Rohan French - forthcoming - Journal of Philosophical Logic:1-24.
    In this paper we treat metasequents—objects which stand to sequents as sequents stand to formulas—as first class logical citizens. To this end we provide a metasequent calculus, a sequent calculus which allows us to directly manipulate metasequents. We show that the various metasequent calculi we consider are sound and complete w.r.t. appropriate classes of tetravaluations where validity is understood locally. Finally we use our metasequent calculus to give direct syntactic proofs of various collapse results, closing a problem left open in (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11. Suppose and Tell: The Semantics and Heuristics of Conditionals.Dorothy Edgington - forthcoming - History and Philosophy of Logic:1-8.
    Conditional judgements—judgements employing ‘if’—are essential to practical reasoning about what to do, as well as to much reasoning about what is the case. We handle them well enough from an early...
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12. The Inextricable Link Between Conditionals and Logical Consequence.Matheus Silva - manuscript
    There is a profound, but frequently ignored relationship between logical consequence (formal implication) and material implication. The first repeats the patterns of the latter, but with a wider modal reach. It is argued that this kinship between formal and material implication simply means that they express the same variety of implication, but differ in scope. Formal implication is unrestricted material implication. This apparently innocuous observation has some significant corollaries: (1) conditionals are not connectives, but arguments; (2) the traditional examples of (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  13. How Mathematics Isn't Logic.Roger Wertheimer - 1999 - Ratio 12 (3):279-295.
    View more Abstract If logical truth is necessitated by sheer syntax, mathematics is categorially unlike logic even if all mathematics derives from definitions and logical principles. This contrast gets obscured by the plausibility of the Synonym Substitution Principle implicit in conceptions of analyticity: synonym substitution cannot alter sentence sense. The Principle obviously fails with intercepting: nonuniform term substitution in logical sentences. ‘Televisions are televisions’ and ‘TVs are televisions’ neither sound alike nor are used interchangeably. Interception synonymy gets assumed because logical (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  14. Belnap–Dunn Modal Logic with Value Operators.Yuanlei Lin & Minghui Ma - 2020 - Studia Logica 109 (4):759-789.
    The language of Belnap–Dunn modal logic \ expands the language of Belnap–Dunn four-valued logic with the modal operator \. We introduce the polarity semantics for \ and its two expansions \ and \ with value operators. The local finitary consequence relation \ in the language \ with respect to the class of all frames is axiomatized by a sequent system \ where \. We prove by using translations between sequents and formulas that these languages under the polarity semantics have the (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. Identity Syntax.Roger Wertheimer - 1999 - In Proceedings of the Twentieth World Congress of Philosophy, Vol II: Metaphysics,. Philosophy Documentation Center, Bowling Green, OH. pp. 171-86.
    Like '&', '=' is no term; it represents no extrasentential property. It marks an atomic, nonpredicative, declarative structure, sentences true solely by codesignation. Identity (its necessity and total reflexivity, its substitution rule, its metaphysical vacuity) is the objectual face of codesignation. The syntax demands pure reference, without predicative import for the asserted fact. 'Twain is Clemens' is about Twain, but nothing is predicated of him. Its informational value is in its 'metailed' semantic content: the fact of codesignation (that 'Twain' names (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  16. An Unexpected Boolean Connective.Sérgio Marcelino - forthcoming - Logica Universalis:1-19.
    We consider a 2-valued non-deterministic connective \ defined by the table resulting from the entry-wise union of the tables of conjunction and disjunction. Being half conjunction and half disjunction we named it platypus. The value of \ is not completely determined by the input, contrasting with usual notion of Boolean connective. We call non-deterministic Boolean connective any connective based on multi-functions over the Boolean set. In this way, non-determinism allows for an extended notion of truth-functional connective. Unexpectedly, this very simple (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17. Problemas semánticos en filosofía de la lógica.Sergio Aramburu - 2021 - Actas y Comunicaciones UNGS 6:193-211.
    Este texto presenta, y en cierta medida analiza, ambigüedades existentes en textos de lógica y filosofía de la lógica (como la interpretación de los llamados principios, postulados, leyes o verdades lógicas, la coexistencia de la tesis de que toda relación presupone la existencia de al menos dos relata y la de que una cosa puede relacionarse consigo misma, o la llamada "paradoja del mentiroso") bajo el supuesto de que, dado que la lógica no es anterior a la semántica, un análisis (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18. Identity in Mares-Goldblatt Models for Quantified Relevant Logic.Shawn Standefer - 2021 - Journal of Philosophical Logic 50 (6):1389-1415.
    Mares and Goldblatt, 163–187, 2006) provided an alternative frame semantics for two quantified extensions of the relevant logic R. In this paper, I show how to extend the Mares-Goldblatt frames to accommodate identity. Simpler frames are provided for two zero-order logics en route to the full logic in order to clarify what is needed for identity and substitution, as opposed to quantification. I close with a comparison of this work with the Fine-Mares models for relevant logics with identity and a (...)
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19. What is Identical?Marta Vlasáková - 2021 - Logica Universalis 15 (2):153-170.
    Numerical identity is standardly considered to be a relation between things. This means that two things are identical if they are only one thing. It is not only Wittgenstein who finds this claim rather odd. Another possibility is to understand identity as a relation between names which denote the same thing; or as a relation between the senses of those names which are modes of presentation of the same thing. Or identity statements can be considered as expressions of the fact (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20. Multiple Readability in Principle and Practice: Existential Graphs and Complex Symbols.Dirk Schlimm & David Waszek - 2020 - Logique Et Analyse 251:231-260.
    Since Sun-Joo Shin's groundbreaking study (2002), Peirce's existential graphs have attracted much attention as a way of writing logic that seems profoundly different from our usual logical calculi. In particular, Shin argued that existential graphs enjoy a distinctive property that marks them out as "diagrammatic": they are "multiply readable," in the sense that there are several di erent, equally legitimate ways to translate one and the same graph into a standard logical language. Stenning (2000) and Bellucci and Pietarinen (2016) have (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21. Cardinality of Wellordered Disjoint Unions of Quotients of Smooth Equivalence Relations.William Chan & Stephen Jackson - 2021 - Annals of Pure and Applied Logic 172 (8):102988.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22. Peirce’s Triadic Logic and Its (Overlooked) Connexive Expansion.Alex Belikov - forthcoming - Logic and Logical Philosophy:1.
    In this paper, we present two variants of Peirce’s Triadic Logic within a language containing only conjunction, disjunction, and negation. The peculiarity of our systems is that conjunction and disjunction are interpreted by means of Peirce’s mysterious binary operations Ψ and Φ from his ‘Logical Notebook’. We show that semantic conditions that can be extracted from the definitions of Ψ and Φ agree (in some sense) with the traditional view on the semantic conditions of conjunction and disjunction. Thus, we support (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23. Variable Sharing in Connexive Logic.Luis Estrada-González & Claudia Lucía Tanús-Pimentel - 2021 - Journal of Philosophical Logic 50 (6):1377-1388.
    However broad or vague the notion of connexivity may be, it seems to be similar to the notion of relevance even when relevance and connexive logics have been shown to be incompatible to one another. Relevance logics can be examined by suggesting syntactic relevance principles and inspecting if the theorems of a logic abide to them. In this paper we want to suggest that a similar strategy can be employed with connexive logics. To do so, we will suggest some properties (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24. Bilateral Harmony.Nils Kürbis - manuscript
    This paper formulates a bilateral account of harmony, which is an alternative to the one proposed by Francez. It builds on an account of harmony for unilateral logic proposed by Kürbis and the observation that reading some of the rules for the connectives of bilateral logic bottom up gives the grounds and consequences of formulas with the opposite speech act. Thus the consequences of asserting a formula give grounds for denying it, namely if the opposite speech act is applied to (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  25. Three Ways of Being Non-Material.Vincenzo Crupi & Andrea Iacona - 2021 - Studia Logica:1-47.
    This paper develops a probabilistic analysis of conditionals which hinges on a quantitative measure of evidential support. In order to spell out the interpreta- tion of ‘if’ suggested, we will compare it with two more familiar interpretations, the suppositional interpretation and the strict interpretation, within a formal framework which rests on fairly uncontroversial assumptions. As it will emerge, each of the three interpretations considered exhibits specific logical features that deserve separate consideration.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  26. On Abstraction in Mathematics and Indefiniteness in Quantum Mechanics.David Ellerman - 2021 - Journal of Philosophical Logic 50 (4):813-835.
    ion turns equivalence into identity, but there are two ways to do it. Given the equivalence relation of parallelness on lines, the #1 way to turn equivalence into identity by abstraction is to consider equivalence classes of parallel lines. The #2 way is to consider the abstract notion of the direction of parallel lines. This paper developments simple mathematical models of both types of abstraction and shows, for instance, how finite probability theory can be interpreted using #2 abstracts as “superposition (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  27. Connexive Restricted Quantification.Nissim Francez - 2020 - Notre Dame Journal of Formal Logic 61 (3):383-402.
    This paper investigates the meaning of restricted quantification when the embedded conditional is taken as the conditional of some first-order connexive logics. The study is carried out by checking the suitability of RQ for defining a connexive class theory, in analogy to the definition of Boolean class theory by using RQ in classical logic. Negative results are obtained for Wansing’s first-order connexive logic QC and one variant of Priest’s first-order connexive logic QP. A positive result is obtained for another variant (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28. Two Level Credibility-Limited Revisions.Marco Garapa - forthcoming - Review of Symbolic Logic:1-21.
    In this paper, we propose a new kind of nonprioritized operator which we call two level credibility-limited revision. When revising through a two level credibility-limited revision there are two levels of credibility and one of incredibility. When revising by a sentence at the highest level of credibility, the operator behaves as a standard revision, if the sentence is at the second level of credibility, then the outcome of the revision process coincides with a standard contraction by the negation of that (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29. Kilwardby's 55th Lesson.Wolfgang Lenzen - forthcoming - Logic and Logical Philosophy:1.
    In “Lectio 55” of his Notule libri Priorum, Robert Kilwardby discussed various objections that had been raised against Aristotle’s Theses. The first thesis, AT1, says that no proposition q is implied both by a proposition p and by its negation, ∼p. AT2 says that no proposition p is implied by its own negation. In Prior Analytics, Aristotle had shown that AT2 entails AT1, and he argued that the assumption of a proposition p such that (∼p → p) would be “absurd”. (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30. An Expressivist Analysis of the Indicative Conditional with a Restrictor Semantics.John Cantwell - forthcoming - Review of Symbolic Logic:1-44.
    A globally expressivist analysis of the indicative conditional based on the Ramsey Test is presented. The analysis is a form of ‘global’ expressivism in that it supplies acceptance and rejection conditions for all the sentence forming connectives of propositional logic and so allows the conditional to embed in arbitrarily complex sentences. The expressivist framework is semantically characterized in a restrictor semantics due to Vann McGee, and is completely axiomatized in a logic dubbed ICL. The expressivist framework extends the AGM framework (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31. Identidade e Sistemas Conceituais.Kherian Gracher - forthcoming - Metatheoria.
    Is identity fundamental to every conceptual systems? In this article I intend to present reasons against the claim that every conceptual system presupposes the notion of identity. To address this debate I analyze the positions of Bueno (2014; 2016) and Krause and Arenhart (2015). While Bueno argues that identity is necessary for all conceptual systems, Krause and Arenhart present a series of objections against such position, thus defending that identity is not fundamental. I intend to show that the main objections (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  32. Identidade, Indiscernibilidade e Lógica.Kherian Gracher - 2015 - Fundamento 1 (10):21-40.
    Is identity fundamental to formal systems? Even if a system have no the identity relation, is that concept is not assumed in any way – whether in a metalinguistic or intuitive level? In this paper we shall discuss this issue. Otávio Bueno (2014, 2016) argues against the elimination of identity, holding that this concept is fundamental and non-eliminable (even in does systems that claim to do so). Décio Arenhart Krause and Jonas (2015), by the other hand, have a number of (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  33. É a identidade fundamental?Kherian Gracher - 2016 - Dissertation, Federal University of Santa Catarina
    Identity is traditionally taken to be a fundamental notion of our conceptual framework as well as a fundamental metaphysical component of entities. But as far as we make this claim we face ourselves with two problems: what is identity? And why would it be fundamental? These questions will guide us towards a discussion put forward by Bueno (2014), Krause and Arenhart (2015). Bueno holds that there are four aspects that make identity being fundamental: (1) identity is assumed in every conceptual (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  34. Splittings and Disjunctions in Reverse Mathematics.Sam Sanders - 2020 - Notre Dame Journal of Formal Logic 61 (1):51-74.
    Reverse mathematics is a program in the foundations of mathematics founded by Friedman and developed extensively by Simpson and others. The aim of RM is to find the minimal axioms needed to prove a theorem of ordinary, that is, non-set-theoretic, mathematics. As suggested by the title, this paper deals with two RM-phenomena, namely, splittings and disjunctions. As to splittings, there are some examples in RM of theorems A, B, C such that A↔, that is, A can be split into two (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  35. Valuations: Bi, Tri, and Tetra.Rohan French & David Ripley - 2019 - Studia Logica 107 (6):1313-1346.
    This paper considers some issues to do with valuational presentations of consequence relations, and the Galois connections between spaces of valuations and spaces of consequence relations. Some of what we present is known, and some even well-known; but much is new. The aim is a systematic overview of a range of results applicable to nonreflexive and nontransitive logics, as well as more familiar logics. We conclude by considering some connectives suggested by this approach.
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   5 citations  
  36. Internal Negation and the Principles of Non-Contradiction and of Excluded Middle in Aristotle.Christopher Izgin - 2019 - History and Philosophy of Logic 41 (1):1-15.
    It has long been recognized that negation in Aristotle’s term logic differs syntactically from negation in classical logic: modern external negation attaches to propositions fully formed, whereas Aristotelian internal negation forms propositions from sentential constituents. Still, modern external negation is used to render Aristotelian internal negation, as may be seen in formalizations of Aristotle’s semantic principles of non-contradiction and of excluded middle. These principles govern the distribution of truth values among pairs of contradictory propositions, and Aristotelian contradictories always consist of (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  37. Modalities in Ackermann's “Rigorous Implication”.Alan Ross Anderson & Nuel D. Belnap - 1959 - Journal of Symbolic Logic 24 (2):107-111.
    Following a suggestion of Feys, we use “rigorous implication” as a translation of Ackermann's strenge Implikation ([1]). Interest in Ackermann's system stems in part from the fact that it formalizes the properties of a strong, natural sort of implication which provably avoids standard implicational paradoxes, and which is consequently a good candidate for a formalization of entailment (considered as a narrower relation than that of strict implication). Our present purpose will not be to defend this suggestion, but rather to present (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  38. Jesuit Probabilistic Logic Between Scholastic and Academic Philosophy.Miroslav Hanke - 2019 - History and Philosophy of Logic 40 (4):355-373.
    There is a well-documented paradigm-shift in eighteenth century Jesuit philosophy and science, at the very least in Central Europe: traditional scholastic version of Aristotelianism were replaced by early modern rationalism and early modern science and mathematics. In the field of probability, this meant that the traditional Jesuit engagement with probability, uncertainty, and truthlikeness could translate into mathematical language, and can be analysed against the background of the accounts of probability, pre-mathematical Jesuit logic, Wolff's conceptual analysis, and Bernoullian mathematisation. The works (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39. Nicholas Rescher. Quasi-Truth-Functional Systems of Prepositional Logic. The Journal of Symbolic Logic, Vol. 27 , Pp. 1–10.Gene F. Rose - 1964 - Journal of Symbolic Logic 29 (1):50-51.
  40. Wright Georg Henrik Von. Form and Content in Logic. A Revised Reprint of XV 58, 199, 280. Logical Studies. International Library of Psychology, Philosophy and Scientific Method. The Humanities Press, Inc., New York, and Routledge & Kegan Paul Ltd., London, 1957, Pp. 1–21.Wright Georg Henrik Von. On the Idea of Logical Truth . A Revised Reprint of XV 58, 199, 280. Logical Studies. International Library of Psychology, Philosophy and Scientific Method. The Humanities Press, Inc., New York, and Routledge & Kegan Paul Ltd., London, 1957, Pp. 22–43.Wright Georg Henrik Von. On Double Quantification. A Revised Reprint of XVII 201. Logical Studies. International Library of Psychology, Philosophy and Scientific Method. The Humanities Press, Inc., New York, and Routledge & Kegan Paul Ltd., London, 1957, Pp. 44–57.Wright Georg Henrik Von. Deontic Logic. A Revised Reprint of XVII 140. Logical Studies. International Library of Psychology, Philosophy and Scientific Method. The Humanities Press, Inc.,. [REVIEW]Timothy Smiley - 1970 - Journal of Symbolic Logic 35 (3):460-462.
  41. M. D. Gladstone. On the Number of Variables in the Axioms. Notre Dame Journal of Formal Logic, Vol. 11 , Pp. 1–15.Ronald Harrop - 1972 - Journal of Symbolic Logic 37 (4):755-756.
  42. Rolf Schock. Logics Without Existence Assumptions. Almqvist & Wiksell, Stockholm1968, 134 Pp. [REVIEW]Theodore Hailperin - 1972 - Journal of Symbolic Logic 37 (2):424.
  43. Alan Rose. Extensions of Some Theorems of Anderson and Belnap. The Journal of Symbolic Logic, Vol. 27 No. 4 , Pp. 423–425. [REVIEW]David Makinson - 1975 - Journal of Symbolic Logic 40 (3):466-466.
    Review of the paper by Rose mentioned in the title.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  44. Timothy Smiley. The Independence of Connectives. The Journal of Symbolic Logic, Vol. 27 No. 4 , Pp. 426–436.Dolph Ulrich - 1975 - Journal of Symbolic Logic 40 (2):250-251.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45. Gustav Bergmann. Sameness, Meaning, and Identity. Meaning and Existence, by Gustav Bergmann, The University of Wisconsin Press, Madison1960, Pp. 132–138; Also Atti Del XII Congresso Internazionale di Filosofia , Volume Quatro, Logica, Tinguaggio E Comunicazione, Sansoni Editore, Florence 1960, Pp. 19–27. - Gustav Bergmann. Individuals. Meaning and Existence, by Gustav Bergmann, The University of Wisconsin Press, Madison1960, Pp. 124–131. , Vol. 9 , Pp. 78–85.) - Gustav Bergmann and Herbert Hochberg. Concepts. Meaning and Existence, by Gustav Bergmann, The University of Wisconsin Press, Madison1960, Pp. 106–114. , Vol. 8 , Pp. 19–27.). [REVIEW]John Perry - 1975 - Journal of Symbolic Logic 40 (1):106-111.
  46. Helmut Pfeiffer. Ein Bezeichnungssystem für Ordinalzahlen. Archiv für mathematische Logik und Grundlagenforschung, vol. 13 , pp. 74–90. [REVIEW]Hilbert Levitz - 1974 - Journal of Symbolic Logic 39 (2):342.
    Remove from this list   Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  47. Helmut Pfeiffer. Vergleich zweier Bezeichnungssysteme für Ordinalzahlen.Archiv für mathematische Logik und Grundlagenforschung, vol. 15 , pp. 41–56. [REVIEW]Hilbert Levitz - 1974 - Journal of Symbolic Logic 39 (2):342-343.
    Remove from this list   Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48. Konrad Marc-Wogau. Bemerkungen zu Kants Kritik des ontologischen Gottesbeweises: Danish yearbook of philosophy, vol. 1 , pp. 85–95. [REVIEW]Ivo Thomas - 1974 - Journal of Symbolic Logic 39 (1):171.
    Remove from this list   Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  49. A Note on Carnap’s Result and the Connectives.Tristan Haze - 2019 - Axiomathes 29 (3):285-288.
    Carnap’s result about classical proof-theories not ruling out non-normal valuations of propositional logic formulae has seen renewed philosophical interest in recent years. In this note I contribute some considerations which may be helpful in its philosophical assessment. I suggest a vantage point from which to see the way in which classical proof-theories do, at least to a considerable extent, encode the meanings of the connectives (not by determining a range of admissible valuations, but in their own way), and I demonstrate (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50. Is ‘No’ a Force-Indicator? Yes, Sooner or Later!Fabien Schang & James Trafford - 2017 - Logica Universalis 11 (2):225-251.
    This paper discusses the philosophical and logical motivations for rejectivism, primarily by considering a dialogical approach to logic, which is formalized in a Question–Answer Semantics. We develop a generalized account of rejectivism through close consideration of Mark Textor's arguments against rejectivism that the negative expression ‘No’ is never used as an act of rejection and is equivalent with a negative sentence. In doing so, we also shed light upon well-known issues regarding the supposed non-embeddability and non-iterability of force indicators.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 380