This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related
Subcategories
Logical Connectives (421 | 225)
Negation* (217)
Conditionals* (2,287 | 555)
Disjunction* (68)
Conjunction* (39)
Quantifiers* (1,584 | 421)
Variables (47)

Contents
1551 found
Order:
1 — 50 / 1551
Material to categorize
  1. Dragišićeva logika [The logic of Georgius Benignus].Mihaela Girardi-Karšulin & Srećko Kovač - 2016 - In Erna Banić-Pajnić, Bruno Ćurko, Mihaela Girardi-Karšulin & Ivica Martinović (eds.), Juraj Dragišić: život i djela. Zagreb: Institute of Philosophy. pp. 51-78.
    It is shown that Georius Benignus [Juraj Dragišić] at the end of the 15th century almost fully disposed with the theory of the fourth syllogistic figure. Prantl's view on Benignus' logic is critically examined. Besides, Benignus' doctrines on the supposition of terms and logical consequences are examined with respect to his two versions of logic (1488/1489 and 1519) and to the main influences (e.g., Strodus, Paulus Venetus, Ferebrich, Paulus Pergolensis). A reduction of the rules of consequences of Benignus' logic 1488/1489 (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  2. O izvorima i temeljima formalizacije [On the origins and foundations of formalization].Srećko Kovač - 2022 - In Gabriela Bašić-Hanžek, Ljudevit Hanžek & Dario Škarica (eds.), Radovi Znanstvenog centra "Berislav Žarnić". Split: University of Split - Faculty of Humanities and Social Sciences. pp. 13-28.
    It is shown in what sense essential characteristics of formalism, which is normative for exact knowledge, can be found already in Aristotle. It is described how exactness and formalism are pre-conditioned by sensible intuition. The machine character (Turing machine) of a formalism is considered. The general concept of provability leads to an expanding and dynamic understanding of a formalism, with the final source of logical patterns in the "forms of life" (Wittgenstein).
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  3. Logical Realism and the Riddle of Redundancy.Óscar Antonio Monroy Pérez - 2023 - Mind 131 (524):1083-1107.
    According to an influential view, when it comes to representing reality, some words are better suited for the job than others. This is elitism. There is reason to believe that the set of the best, or elite, words should not be redundant or arbitrary. However, we are often forced to choose between these two theoretical vices, especially in cases involving theories that seem to be mere notational variants. This is the riddle of redundancy: both redundancy and arbitrariness are vicious, but (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4. Carnap’s Writings on Semantics.Constantin C. Brîncuș - forthcoming - In Christian Damböck & Georg Schiemer (eds.), Rudolf Carnap Handbuch. Metzler Verlag.
    This paper is a short introduction to Carnap’s writings on semantics with an emphasis on the transition from the syntactic period to the semantic one. I claim that one of Carnap’s main aims was to investigate the possibility of the symmetry between the syntactic and the semantic methods of approaching philosophical problems, both in logic and in the philosophy of science. This ideal of methodological symmetry could be described as an attempt to obtain categorical logical systems, i.e., systems that allow (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  5. Logic and the boundaries of animal mentality.Hanoch Ben-Yami - 2023 - In Christoph C. Pfisterer, Nicole Rathgeb & Eva Schmidt (eds.), Wittgenstein and Beyond: Essays in Honour of Hans-Johann Glock. London: Routledge. pp. 243-253.
    I try to identify elements of our mental capacities that separate us from animals. I focus on our command of logical concepts, demonstrable already in children in the second or third year of their life, which to date no animal has been shown to master. I draw various conclusions about the behavioural, intellectual, emotional, and moral capacities that depend on this mastery, and discuss recent empirical research that either supports or apparently disagrees with the claim that animals, even those we (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  6. Reasoning Studies. From Single Norms to Individual Differences.Niels Skovgaard-Olsen - 2022 - Dissertation, University of Freiburg
  7. The Evilization of the Term “Fulani” in Present Day Nigeria: A Reflection on the Notion of Signification in William of Ockham’s Logic.Justin Nnaemeka Onyeukaziri - forthcoming - LASU JOURNAL OF PHILOSOPHY.
    This paper attempts to demonstrate that the logical problematic of signification, has a very dangerous socio-political effect due to the ontological implication that is connected to the signification of terms in logic. It expounds the notion of signification in Formal Logic as exposed by William of Ockham. It thus, employs this notion of signification of terms, to discuss the term “Fulani”, to show the danger potent in distorting the signification of the term “Fulani” as in every conventional and connotative terms. (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  8. Complexity of the Infinitary Lambek Calculus with Kleene Star.Stepan Kuznetsov - 2021 - Review of Symbolic Logic 14 (4):946-972.
    We consider the Lambek calculus, or noncommutative multiplicative intuitionistic linear logic, extended with iteration, or Kleene star, axiomatised by means of an$\omega $-rule, and prove that the derivability problem in this calculus is$\Pi _1^0$-hard. This solves a problem left open by Buszkowski (2007), who obtained the same complexity bound for infinitary action logic, which additionally includes additive conjunction and disjunction. As a by-product, we prove that any context-free language without the empty word can be generated by a Lambek grammar with (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9. Inferential Constants.Camillo Fiore, Federico Pailos & Mariela Rubin - 2022 - Journal of Philosophical Logic 1: 1 - 26.
    A metainference is usually understood as a pair consisting of a collection of inferences, called premises, and a single inference, called conclusion. In the last few years, much attention has been paid to the study of metainferences—and, in particular, to the question of what are the valid metainferences of a given logic. So far, however, this study has been done in quite a poor language. Our usual sequent calculi have no way to represent, e.g. negations, disjunctions or conjunctions of inferences. (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10. Liberating classical negation from falsity conditions.Damian Szmuc & Hitoshi Omori - 2022 - Proceedings of the 52nd International Symposium on Multiple-Valued Logic (ISMVL 2022).
    In one of their papers, Michael De and Hitoshi Omori observed that the notion of classical negation is not uniquely determined in the context of so-called Belnap-Dunn logic, and in fact there are 16 unary operations that qualify to be called classical negation. These varieties are due to different falsity conditions one may assume for classical negation. The aim of this paper is to observe that there is an interesting way to make sense of classical negation independent of falsity conditions. (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11. Considerations on Logical Consequence and Natural Language.Gil Sagi - 2020 - Dialectica 74 (2).
    In a recent article, “Logical Consequence and Natural Language”, Michael Glanzberg claims that there is no relation of logical consequence in natural language (2015). The present paper counters that claim. I shall discuss Glanzberg’s arguments and show why they don’t hold. I further show how Glanzberg’s claims may be used to rather support the existence of logical consequence in natural language.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12. Thoughts about Thoughts: The Structure of Fregean Propositions.Nathan Bice - 2019 - Dissertation, Columbia University
    This dissertation is about the structure of thought. Following Gottlob Frege, I define a thought as the sort of content relevant to determining whether an assertion is true or false. The historical component of the dissertation involves interpreting Frege’s actual views on the structure of thought. I argue that Frege did not think that a thought has a unique decomposition into its component senses, but rather the same thought can be decomposed into senses in a variety of distinct ways. I (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13. Arthur N. Prior on ‘Unquestionably the Best Logical Symbolism for Most Purposes’.Jeremiah Joven B. Joaquin - 2021 - History and Philosophy of Logic 43 (2):158-174.
    In his Formal Logic, Arthur N. Prior declared that Jan Łukasiewicz's logical notation is ‘unquestionably the best logical symbolism for most purposes’. Whether he had a substantive, and...
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14. The Structure and Extension of (Proto)Type Concepts: Husserl’s Correlationist Approach.Hamid Taieb - 2021 - History and Philosophy of Logic 43 (2):129-142.
    This paper aims to reassess a notion in the works of the later Husserl that is both historically important and philosophically insightful, but remains understudied, namely, that of type. In opposition to a standard reading which treats Husserl’s type presentations as pre-conceptual habits, this paper argues that these representations are a specific kind of concept. More precisely, it shows that Husserl’s account of type presentations is akin to the contemporary prototype theory of concepts. This is historically important, since the predecessor (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  15. $$\mathrm {ZF}$$ ZF Between Classicality and Non-classicality.Sourav Tarafder & Giorgio Venturi - 2022 - Studia Logica 110 (1):189-218.
    We present a generalization of the algebra-valued models of \ where the axioms of set theory are not necessarily mapped to the top element of an algebra, but may get intermediate values, in a set of designated values. Under this generalization there are many algebras which are neither Boolean, nor Heyting, but that still validate \.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16. Idempotent Variations on the Theme of Exclusive Disjunction.L. Humberstone - 2022 - Studia Logica 110 (1):121-163.
    An exclusive disjunction is true when exactly one of the disjuncts is true. In the case of the familiar binary exclusive disjunction, we have a formula occurring as the first disjunct and a formula occurring as the second disjunct, so, if what we have is two formula-tokens of the same formula-type—one formula occurring twice over, that is—the question arises as to whether, when that formula is true, to count the case as one in which exactly one of the disjuncts is (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17. Hierarchical incompleteness results for arithmetically definable extensions of fragments of arithmetic.Rasmus Blanck - 2021 - Review of Symbolic Logic 14 (3):624-644.
    There has been a recent interest in hierarchical generalizations of classic incompleteness results. This paper provides evidence that such generalizations are readily obtainable from suitably formulated hierarchical versions of the principles used in the original proofs. By collecting such principles, we prove hierarchical versions of Mostowski’s theorem on independent formulae, Kripke’s theorem on flexible formulae, Woodin’s theorem on the universal algorithm, and a few related results. As a corollary, we obtain the expected result that the formula expressing “ $\mathrm {T}$ (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18. One Modal Logic to Rule Them All?Wesley H. Holliday & Tadeusz Litak - 2018 - In Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe & Thomas Studer (eds.), Advances in Modal Logic, Vol. 12. London: College Publications. pp. 367-386.
    In this paper, we introduce an extension of the modal language with what we call the global quantificational modality [∀p]. In essence, this modality combines the propositional quantifier ∀p with the global modality A: [∀p] plays the same role as the compound modality ∀pA. Unlike the propositional quantifier by itself, the global quantificational modality can be straightforwardly interpreted in any Boolean Algebra Expansion (BAE). We present a logic GQM for this language and prove that it is complete with respect to (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  19. Containment Logics: Algebraic Completeness and Axiomatization.Stefano Bonzio & Michele Pra Baldi - 2021 - Studia Logica 109 (5):969-994.
    The paper studies the containment companion of a logic \. This consists of the consequence relation \ which satisfies all the inferences of \, where the variables of the conclusion are contained into those of the set of premises, in case this is not inconsistent. In accordance with the work started in [10], we show that a different generalization of the Płonka sum construction, adapted from algebras to logical matrices, allows to provide a matrix-based semantics for containment logics. In particular, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  20. Unification in Pretabular Extensions of S4.Stepan I. Bashmakov - 2021 - Logica Universalis 15 (3):381-397.
    L.L. Maksimova and L. Esakia, V. Meskhi showed that the modal logic \ has exactly 5 pretabular extensions PM1–PM5. In this paper, we study the problem of unification for all given logics. We showed that PM2 and PM3 have finitary, and PM1, PM4, PM5 have unitary types of unification. Complete sets of unifiers in logics are described.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21. Copy and remove as dynamic operators.Carlos Areces, Hans van Ditmarsch, Raul Fervari, Bastien Maubert & François Schwarzentruber - forthcoming - Tandf: Journal of Applied Non-Classical Logics:1-40.
  22. Derivability and Metainferential Validity.Bruno Da Ré, Damian Szmuc & Paula Teijeiro - 2022 - Journal of Philosophical Logic 51 (6):1521-1547.
    The aim of this article is to study the notion of derivability and its semantic counterpart in the context of non-transitive and non-reflexive substructural logics. For this purpose we focus on the study cases of the logics _S__T_ and _T__S_. In this respect, we show that this notion doesn’t coincide, in general, with a nowadays broadly used semantic approach towards metainferential validity: the notion of local validity. Following this, and building on some previous work by Humberstone, we prove that in (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  23. Ns Saturated and -Definable.Stefan Hoffelner - 2021 - Journal of Symbolic Logic 86 (1):25-59.
    We show that under the assumption of the existence of the canonical inner model with one Woodin cardinal$M_1$, there is a model of$\mathsf {ZFC}$in which$\mbox {NS}_{\omega _{1}}$is$\aleph _2$-saturated and${\Delta }_{1}$-definable with$\omega _1$as a parameter which answers a question of S. D. Friedman and L. Wu. We also show that starting from an arbitrary universe with a Woodin cardinal, there is a model with$\mbox {NS}_{\omega _{1}}$saturated and${\Delta }_{1}$-definable with a ladder system$\vec {C}$and a full Suslin treeTas parameters. Both results rely on (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24. Closed Structure.Peter Fritz, Harvey Lederman & Gabriel Uzquiano - 2021 - Journal of Philosophical Logic 50 (6):1249-1291.
    According to the structured theory of propositions, if two sentences express the same proposition, then they have the same syntactic structure, with corresponding syntactic constituents expressing the same entities. A number of philosophers have recently focused attention on a powerful argument against this theory, based on a result by Bertrand Russell, which shows that the theory of structured propositions is inconsistent in higher order-logic. This paper explores a response to this argument, which involves restricting the scope of the claim that (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  25. Prolog detects pathological self reference in the Gödel sentence.P. Olcott - manuscript
    This sentence G ↔ ¬(F ⊢ G) and its negation G ↔ ~(F ⊢ ¬G) are shown to meet the conventional definition of incompleteness: Incomplete(T) ↔ ∃φ ((T ⊬ φ) ∧ (T ⊬ ¬φ)). They meet conventional definition of incompleteness because neither the sentence nor its negation is provable in F (or any other formal system). -- .
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  26. Peano on Symbolization, Design Principles for Notations, and the Dot Notation.Dirk Schlimm - 2021 - Philosophia Scientiae 25:95-126.
    Peano was one of the driving forces behind the development of the current mathematical formalism. In this paper, we study his particular approach to notational design and present some original features of his notations. To explain the motivations underlying Peano's approach, we first present his view of logic as a method of analysis and his desire for a rigorous and concise symbolism to represent mathematical ideas. On the basis of both his practice and his explicit reflections on notations, we discuss (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  27. J. M. Bocheński's Understanding of the World and Logical Albebraic Structures.Wybraniec-Skardowska Urszula - 2020 - Edukacja Filozoficzna 70 (5):81-92.
    This work will focus on Józef Maria Bocheński’s inclination towards seeing the world and its logical structure from the point of view of ontology. In section 2, we shall discuss the perception of the world deriving from Bocheński, while in the third section – issues of its logical structure will be dealt with. In section 4, we will present a formal framework of the structure of the world.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  28. Identity and Aboutness.Benjamin Brast-McKie - 2021 - Journal of Philosophical Logic 50 (6):1471-1503.
    This paper develops a theory of propositional identity which distinguishes necessarily equivalent propositions that differ in subject-matter. Rather than forming a Boolean lattice as in extensional and intensional semantic theories, the space of propositions forms a non-interlaced bilattice. After motivating a departure from tradition by way of a number of plausible principles for subject-matter, I will provide a Finean state semantics for a novel theory of propositions, presenting arguments against the convexity and nonvacuity constraints which Fine (2016, 2017a,b) introduces. I (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29. What is a Rule of Inference?Neil Tennant - forthcoming - Review of Symbolic Logic:1-40.
    We explore the problems that confront any attempt to explain or explicate exactly what a primitive logical rule of inference is, or consists in. We arrive at a proposed solution that places a surprisingly heavy load on the prospect of being able to understand and deal with specifications of rules that are essentially self-referring. That is, any rule $\rho $ is to be understood via a specification that involves, embedded within it, reference to rule $\rho $ itself. Just how we (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30. Graded Structures of Opposition in Fuzzy Natural Logic.Petra Murinová - 2020 - Logica Universalis 14 (4):495-522.
    The main objective of this paper is devoted to two main parts. First, the paper introduces logical interpretations of classical structures of opposition that are constructed as extensions of the square of opposition. Blanché’s hexagon as well as two cubes of opposition proposed by Morreti and pairs Keynes–Johnson will be introduced. The second part of this paper is dedicated to a graded extension of the Aristotle’s square and Peterson’s square of opposition with intermediate quantifiers. These quantifiers are linguistic expressions such (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31. Logics of variable inclusion and the lattice of consequence relations.Michele Pra Baldi - 2020 - Journal of Applied Non-Classical Logics 30 (4):367-381.
    In this paper, first, we determine the number of sublogics of variable inclusion of an arbitrary finitary logic ⊢ with a composition term. Then, we investigate their position into the lattice of co...
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32. Humble Connexivity.Andreas Kapsner - 2019 - Logic and Logical Philosophy 28.
    In this paper, I review the motivation of connexive and strongly connexive logics, and I investigate the question why it is so hard to achieve those properties in a logic with a well motivated semantic theory. My answer is that strong connexivity, and even just weak connexivity, is too stringent a requirement. I introduce the notion of humble connexivity, which in essence is the idea to restrict the connexive requirements to possible antecedents. I show that this restriction can be well (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  33. Rejection in Łukasiewicz's and Słupecki's Sense.Wybraniec-Skardowska Urszula - 2018 - In The Lvov-Warsaw School, Past and Present. Cham: pp. 575-597.
    The idea of rejection originated by Aristotle. The notion of rejection was introduced into formal logic by Łukasiewicz. He applied it to complete syntactic characterization of deductive systems using an axiomatic method of rejection of propositions. The paper gives not only genesis, but also development and generalization of the notion of rejection. It also emphasizes the methodological approach to biaspectual axiomatic method of characterization of deductive systems as acceptance (asserted) systems and rejection (refutation) systems, introduced by Łukasiewicz and developed by (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  34. On the Eliminability of Ideal Linguistic Entities.Wybranie-Skardowska Urszula - 1989 - Studia Logica (4):587-615.
    With reference to Polish logical-philosophical tradition two formal theories of language syntax have been sketched and then compared with each other. The first theory is based on the assumption that the basic linguistic stratum is constituted by object-tokens (concrete objects perceived through the senses) and that the types of such objects (ideal objects) are derivative constructs. The other is founded on an opposite philosophical orientation. The two theories are equivalent. The main conclusion is that in syntactic researches it is redundant (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35. Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic.Nils Kürbis - 2019 - Bulletin of the Section of Logic 48 (4):299-317.
    Sentences containing definite descriptions, expressions of the form ‘The F’, can be formalised using a binary quantifier ι that forms a formula out of two predicates, where ιx[F, G] is read as ‘The F is G’. This is an innovation over the usual formalisation of definite descriptions with a term forming operator. The present paper compares the two approaches. After a brief overview of the system INFι of intuitionist negative free logic extended by such a quantifier, which was presented in (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  36. Horst Wessel: Contributions to the Theory of Logical Consequence, Non-Traditional Theory of Predication and Logical Theory of Terms.Klaus Wuttich - 2020 - History and Philosophy of Logic 41 (3):291-300.
    The present work takes the decease of Horst Wessel as an opportunity to present and honour his work (and that of his group), which has not received the attention it deserves. The focus will be on works which might not be sufficiently well-known. Wessel was, as we aim to show, familiar with the international debate concerning logical and philosophical issues and strived to solve them by considering theories of logical consequence, a non-traditional theory of predication and the theory of logical (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37. É a Identidade Fundamental?Kherian Gracher - 2016 - Dissertation, Federal University of Santa Catarina
    (Abstract - Inglês) 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 (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38. Extended Contact Algebras and Internal Connectedness.Tatyana Ivanova - 2020 - Studia Logica 108 (2):239-254.
    The notion of contact algebra is one of the main tools in the region-based theory of space. It is an extension of Boolean algebra with an additional relation C, called contact. Standard models of contact algebras are topological and are the contact algebras of regular closed sets in a given topological space. In such a contact algebra we add the predicate of internal connectedness with the following meaning—a regular closed set is internally connected if and only if its interior is (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  39. When is a Schema Not a Schema? On a Remark by Suszko.Lloyd Humberstone & Allen Hazen - 2020 - Studia Logica 108 (2):199-220.
    A 1971 paper by Roman Suszko, ‘Identity Connective and Modality’, claimed that a certain identity-free schema expressed the condition that there are at most two objects in the domain. Section 1 here gives that schema and enough of the background to this claim to explain Suszko’s own interest in it and related conditions—via non-Fregean logic, in which the objects in question are situations and the aim is to refrain from imposing this condition. Section 3 shows that the claim is false, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40. Invariance and Logicality in Perspective.Gila Sher - 2021 - In Gil Sagi & Jack Woods (eds.), The Semantic Conception of Logic: Essays on Consequence, Invariance, and Meaning. Cambridge, Britain: Cambridge University Press. pp. 13-34.
    Although the invariance criterion of logicality first emerged as a criterion of a purely mathematical interest, it has developed into a criterion of considerable linguistic and philosophical interest. In this paper I compare two different perspectives on this criterion. The first is the perspective of natural language. Here, the invariance criterion is measured by its success in capturing our linguistic intuitions about logicality and explaining our logical behavior in natural-linguistic settings. The second perspective is more theoretical. Here, the invariance criterion (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  41. Hintikka on the “Kant–Frege View”: A Critical Assessment.Giovanni Mion - 2019 - Logica Universalis 13 (2):171-178.
    In “Kant on Existence, Predication, and the Ontological Argument”, Hintikka argues that the so-called “Kant–Frege view” is wrong, for its supporters erroneously assume that for Kant ‘is’ is ambiguous. In this paper, I will first critically evaluate Hintikka’s arguments against the Kant–Frege view. Then, I will attempt to prove that Kant’s claim that existence is not a real predicate and Frege’s claim that existence is a quantifier are in fact logically interdependent. Finally, I will use the Kant–Frege view in order (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42. Some observations about generalized quantifiers in logics of imperfect information.Fausto Barbero - 2019 - Review of Symbolic Logic 12 (3):456-486.
    We analyse the two definitions of generalized quantifiers for logics of dependence and independence that have been proposed by F. Engström, comparing them with a more general, higher order definition of team quantifier. We show that Engström’s definitions can be identified, by means of appropriate lifts, with special classes of team quantifiers. We point out that the new team quantifiers express a quantitative and a qualitative component, while Engström’s quantifiers only range over the latter. We further argue that Engström’s definitions (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43. A Critical Examination of the Historical Origins of Connexive Logic.Wolfgang Lenzen - 2019 - History and Philosophy of Logic 41 (1):16-35.
    It is often assumed that Aristotle, Boethius, Chrysippus, and other ancient logicians advocated a connexive conception of implication according to which no proposition entails, or is entailed by, its own negation. Thus Aristotle claimed that the proposition ‘if B is not great, B itself is great […] is impossible’. Similarly, Boethius maintained that two implications of the type ‘If p then r’ and ‘If p then not-r’ are incompatible. Furthermore, Chrysippus proclaimed a conditional to be ‘sound when the contradictory of (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  44. End of the square?Fabien Schang - 2018 - South American Journal of Logic 4 (2):485-505.
    It has been recently argued that the well-known square of opposition is a gathering that can be reduced to a one-dimensional figure, an ordered line segment of positive and negative integers [3]. However, one-dimensionality leads to some difficulties once the structure of opposed terms extends to more complex sets. An alternative algebraic semantics is proposed to solve the problem of dimensionality in a systematic way, namely: partition (or bitstring) semantics. Finally, an alternative geometry yields a new and unique pattern of (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  45. Agglomerative Algebras.Jeremy Goodman - 2018 - Journal of Philosophical Logic 48 (4):631-648.
    This paper investigates a generalization of Boolean algebras which I call agglomerative algebras. It also outlines two conceptions of propositions according to which they form an agglomerative algebra but not a Boolean algebra with respect to conjunction and negation.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  46. Strong Noncontingency: On the Modal Logics of an Operator Expressively Weaker Than Necessity.Jie Fan - 2019 - Notre Dame Journal of Formal Logic 60 (3):407-435.
    Operators can be compared in at least two respects: expressive strength and deductive strength. Inspired by Hintikka’s treatment of question embedding verbs, the variations of noncontingency operator, and also the various combinations of modal operators and Boolean connectives, we propose a logic with strong noncontingency operator as the only primitive modality. The novel operator is deductively but not expressively stronger than both noncontingency operator and essence operator, and expressively but not deductively weaker than the necessity operator. The frame-definability power of (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  47. Explicit Conditionals in the Framework of Classical Conditional Logic.Claudio Ercole Antonio Pizzi - forthcoming - Logic and Logical Philosophy:1.
  48. A Poly-Connexive Logic.Nissim Francez - forthcoming - Logic and Logical Philosophy:1.
    The paper introduces a variant of connexive logic in which connexivity is extended from the interaction of negation with implication to the interaction of negation also with conjunction and disjunction. The logic is presented by two deductively equivalent methods: an axiomatic one and a natural-deduction one. Both are shown to be complete for a four-valued model theory.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  49. R. Cartwright. Propositions. Analytical philosophy, edited by R. J. Butler, Barnes & Noble, Inc., New York1962, pp. 81–103. [REVIEW]Alan Ross Anderson - 1964 - Journal of Symbolic Logic 29 (3):139.
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  50. Gerald E. Sacks. Recursive enumerability and the jump operator. Transactions of the American Mathematical Society, vol. 108 , pp. 223–239. [REVIEW]Donald L. Kreider - 1964 - Journal of Symbolic Logic 29 (4):204.
1 — 50 / 1551