Logic and Philosophy of Logic

Edited by Aleksandra Samonek (Université Catholique de Louvain, Jagiellonian University, Catholic University of Louvain)
Assistant editors: Sadegh Balal Niaki, Jared Richards
278 found
Order:
1 — 50 / 278
  1. added 2020-09-19
    The False Promises of Logic Textbooks - How Logic Has a Much More Limited Role Than People Usually Think.Matheus Silva - manuscript
    Philosophers will promise you the world. They advertise that we can learn with logic textbooks how to spot a valid argument by their logical form alone and that the conclusion of any valid argument is already contained in its premises. They also advertise that their textbooks contain classifications with the most basic valid argumentative forms people of flesh and blood can use in deductive matters. Think about this for a moment. These are bold statements. If these statements were true, philosophers (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  2. added 2020-09-19
    Labelled Sequent Calculi for Lewis’ Non-Normal Propositional Modal Logics.Matteo Tesi - forthcoming - Studia Logica:1-33.
    C. I. Lewis’ systems were the first axiomatisations of modal logics. However some of those systems are non-normal modal logics, since they do not admit a full rule of necessitation, but only a restricted version thereof. We provide G3-style labelled sequent calculi for Lewis’ non-normal propositional systems. The calculi enjoy good structural properties, namely admissibility of structural rules and admissibility of cut. Furthermore they allow for straightforward proofs of admissibility of the restricted versions of the necessitation rule. We establish completeness (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. added 2020-09-18
    Systems for Non-Reflexive Consequence.Carlo Nicolai & Lorenzo Rossi - manuscript
    Substructural logics and their application to logical and semantic paradoxes have been extensively studied, but non-reexive systems have been somewhat neglected. Here, we aim to (at least partly) ll this lacuna, by presenting a non-reexive logic and theory of naïve consequence (and truth). We also investigate the semantics and the proof-theory of the system. Finally, we develop a compositional theory of truth (and consequence) in our non-reexive framework.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  4. added 2020-09-18
    Frege and Saving Substitution.Bryan Pickel & Brian Rabern - forthcoming - Philosophical Studies.
    Goodman and Lederman (2020) argue that the traditional Fregean strategy for preserving the validity of Leibniz’s Law of substitution fails when confronted with apparent counterexamples involving proper names embedded under propositional attitude verbs. We argue, on the contrary, that the Fregean strategy succeeds and that Goodman and Lederman’s argument misfires.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  5. added 2020-09-18
    Relational Representation Theorems for Extended Contact Algebras.Philippe Balbiani & Tatyana Ivanova - forthcoming - Studia Logica:1-23.
    In topological spaces, the relation of extended contact is a ternary relation that holds between regular closed subsets A, B and D if the intersection of A and B is included in D. The algebraic counterpart of this mereotopological relation is the notion of extended contact algebra which is a Boolean algebra extended with a ternary relation. In this paper, we are interested in the relational representation theory for extended contact algebras. In this respect, we study the correspondences between point-free (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6. added 2020-09-17
    On the Number of Independent Orders.Kota Takeuchi & Akito Tsuboi - forthcoming - Annals of Pure and Applied Logic:102886.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7. added 2020-09-15
    No New Solutions to the Logical Problem of the Trinity.Beau Branson - 2019 - Journal of Applied Logics 6 (6):1051-1092.
    Analytic theologians have proposed numerous “solutions” to the Logical Problem of the Trinity (LPT), mostly versions of Social Trinitarianism (ST) and Relative Identity Trinitarianism (RI). Both types of solution are controversial, but many hold out hope that further “Trinitarian theorizing” may yield some as yet unimagined, and somehow importantly different, solution to the LPT. I first give a precise definition of the LPT and of what would count as a solution to it. I then show how, though there are infinitely (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  8. added 2020-09-14
    From Non-Commutative Diagrams to Anti-Elementary Classes.Friedrich Wehrung - forthcoming - Journal of Mathematical Logic.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9. added 2020-09-14
    Putting the Stars in Their Places.Shay Allen Logan - 2020 - Thought: A Journal of Philosophy 9 (3):188-197.
    This paper presents a new semantics for the weak relevant logic DW that makes the role of the infamous Routley star more explicable. Central to this rewriting is combining aspects of both the American and Australian plan for understanding negations in relevance logics.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  10. added 2020-09-13
    Remarks on the Gödelian Anti-Mechanist Arguments.Panu Raatikainen - forthcoming - Studia Semiotyczne.
  11. added 2020-09-13
    Untersuchungen über das logische Schließen. II.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 39:405–431.
  12. added 2020-09-13
    Untersuchungen über das logische Schließen. I.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 35:176–210.
  13. added 2020-09-11
    Metainferential Duality.Bruno Da Ré, Federico Pailos, Damian Szmuc & Paula Teijeiro - forthcoming - Journal of Applied Non-Classical Logics.
    The aim of this article is to discuss the extent to which certain substructural logics are related through the phenomenon of duality. Roughly speaking, metainferences are inferences between collections of inferences, and thus substructural logics can be regarded as those logics which have fewer valid metainferences that Classical Logic. In order to investigate duality in substructural logics, we will focus on the case study of the logics ST and TS, the former lacking Cut, the latter Reflexivity. The sense in which (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  14. added 2020-09-11
    Begriffsschrift’s Logic.Calixto Badesa & Joan Bertran-San Millán - forthcoming - Notre Dame Journal of Formal Logic.
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. added 2020-09-11
    Definable Functions and Stratifications in Power-Bounded $T$ -Convex Fields.Erick García Ramírez - forthcoming - Notre Dame Journal of Formal Logic.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16. added 2020-09-11
    Absolutely No Free Lunches!Gordon Belot - forthcoming - Theoretical Computer Science.
    This paper is concerned with learners who aim to learn patterns in infinite binary sequences: shown longer and longer initial segments of a binary sequence, they either attempt to predict whether the next bit will be a 0 or will be a 1 or they issue forecast probabilities for these events. Several variants of this problem are considered. In each case, a no-free-lunch result of the following form is established: the problem of learning is a formidably difficult one, in that (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  17. added 2020-09-11
    Ideals and Their Generic Ultrafilters.David Chodounský & Jindřich Zapletal - forthcoming - Notre Dame Journal of Formal Logic.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18. added 2020-09-10
    A Metric Version of Schlichting’s Theorem.Itaï Ben Yaacov & Frank O. Wagner - forthcoming - Journal of Symbolic Logic:1-5.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19. added 2020-09-10
    Pseudofinite Groups and VC-Dimension.Gabriel Conant & Anand Pillay - forthcoming - Journal of Mathematical Logic.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20. added 2020-09-10
    Interpolative Fusions.Alex Kruckman, Chieu-Minh Tran & Erik Walsberg - forthcoming - Journal of Mathematical Logic.
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21. added 2020-09-10
    The Identity of Logic and the World in Terms of Quantum Information.Vasil Penchev - 2020 - Information Theory and Research eJournal (Elsevier: SSRN) 1 (21):1-4.
    One can construct a mapping between Hilbert space and the class of all logic if the latter is defined as the set of all well-orderings of some relevant set (or class). That mapping can be further interpreted as a mapping of all states of all quantum systems, on the one hand, and all logic, on the other hand. The collection of all states of all quantum systems is equivalent to the world (the universe) as a whole. Thus that mapping establishes (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  22. added 2020-09-09
    Inferences and Metainferences in ST.Pablo Cobreros, Paul Egré, David Ripley & Robert van Rooij - forthcoming - Journal of Philosophical Logic:1-21.
    In a recent paper, Barrio, Tajer and Rosenblatt establish a correspondence between metainferences holding in the strict-tolerant logic of transparent truth ST+ and inferences holding in the logic of paradox LP+. They argue that LP+ is ST+’s external logic and they question whether ST+’s solution to the semantic paradoxes is fundamentally different from LP+’s. Here we establish that by parity of reasoning, ST+ can be related to LP+’s dual logic K3+. We clarify the distinction between internal and external logic and (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23. added 2020-09-09
    Opaque Updates.Michael Cohen - forthcoming - Journal of Philosophical Logic:1-24.
    If updating with E has the same result across all epistemically possible worlds, then the agent has no uncertainty as to the behavior of the update, and we may call it a transparent update. If an agent is uncertain about the behavior of an update, we may call it opaque. In order to model the uncertainty an agent has about the result of an update, the same update must behave differently across different possible worlds. In this paper, I study opaque (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24. added 2020-09-09
    Measuring Inconsistency in Some Logics with Modal Operators.John Grant - forthcoming - Studia Logica:1-25.
    The first mention of the concept of an inconsistency measure for sets of formulas in first-order logic was given in 1978, but that paper presented only classifications for them. The first actual inconsistency measure with a numerical value was given in 2002 for sets of formulas in propositional logic. Since that time, researchers in logic and AI have developed a substantial theory of inconsistency measures. While this is an interesting topic from the point of view of logic, an important motivation (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25. added 2020-09-09
    A Note on Choice Principles in Second-Order Logic.Benjamin Siskind, Paolo Mancosu & Stewart Shapiro - forthcoming - Review of Symbolic Logic:1-12.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26. added 2020-09-09
    On Wide Aronszajn Trees in the Presence of Ma.Mirna Džamonja & Saharon Shelah - forthcoming - Journal of Symbolic Logic:1-18.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27. added 2020-09-09
    A Note on Derivability Conditions.Taishi Kurahashi - forthcoming - Journal of Symbolic Logic:1-30.
  28. added 2020-09-09
    The Poset of All Logics III: Finitely Presentable Logics.Ramon Jansana & Tommaso Moraschini - forthcoming - Studia Logica:1-42.
    A logic in a finite language is said to be finitely presentable if it is axiomatized by finitely many finite rules. It is proved that binary non-indexed products of logics that are both finitely presentable and finitely equivalential are essentially finitely presentable. This result does not extend to binary non-indexed products of arbitrary finitely presentable logics, as shown by a counterexample. Finitely presentable logics are then exploited to introduce finitely presentable Leibniz classes, and to draw a parallel between the Leibniz (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29. added 2020-09-09
    Dimension Inequality for a Definably Complete Uniformly Locally o-Minimal Structure of the Second Kind.Masato Fujita - forthcoming - Journal of Symbolic Logic:1-11.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30. added 2020-09-09
    A Two-Dimensional Logic for Two Paradoxes of Deontic Modality.Melissa Fusco & Alexander W. Kocurek - forthcoming - Review of Symbolic Logic:1-33.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31. added 2020-09-09
    Iterability for (Transfinite) Stacks.Farmer Schlutzenberg - forthcoming - Journal of Mathematical Logic.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32. added 2020-09-09
    The Fundamental Theorem of Central Element Theory.M. Badano & D. Vaggione - forthcoming - Journal of Symbolic Logic:1-10.
  33. added 2020-09-09
    The Tree of Tuples of a Structure.Matthew Harrison-Trainor & Antonio Montalbán - forthcoming - Journal of Symbolic Logic:1-27.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34. added 2020-09-09
    Muchnik Degrees and Cardinal Characteristics.Benoit Monin & André Nies - forthcoming - Journal of Symbolic Logic:1-28.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35. added 2020-09-09
    A Family of Strict/Tolerant Logics.Melvin Fitting - forthcoming - Journal of Philosophical Logic:1-32.
    Strict/tolerant logic, ST, evaluates the premises and the consequences of its consequence relation differently, with the premises held to stricter standards while consequences are treated more tolerantly. More specifically, ST is a three-valued logic with left sides of sequents understood as if in Kleene’s Strong Three Valued Logic, and right sides as if in Priest’s Logic of Paradox. Surprisingly, this hybrid validates the same sequents that classical logic does. A version of this result has been extended to meta, metameta, … (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  36. added 2020-09-09
    Asymptotic Analysis of Skolem’s Exponential Functions.Alessandro Berarducci & Marcello Mamino - forthcoming - Journal of Symbolic Logic:1-24.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37. added 2020-09-09
    Continuous Sentences Preserved Under Reduced Products.Isaac Goldbring & H. Jerome Keisler - forthcoming - Journal of Symbolic Logic:1-36.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38. added 2020-09-09
    Multidimensional Exact Classes, Smooth Approximation and Bounded 4-Types.Daniel Wolf - forthcoming - Journal of Symbolic Logic:1-37.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39. added 2020-09-09
    A Simple Logical Matrix and Sequent Calculus for Parry's Logic of Analytic Implication.Damian Szmuc - forthcoming - Studia Logica.
    We provide a logical matrix semantics and a Gentzen-style sequent calculus for the first-degree entailments valid in W. T. Parry's logic of Analytic Implication. We achieve the former by introducing a logical matrix closely related to that inducing paracomplete weak Kleene logic, and the latter by presenting a calculus where the initial sequents and the left and right rules for negation are subject to linguistic constraints.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  40. added 2020-09-09
    The Logic of Information in State Spaces.Levin Hornischer - forthcoming - Review of Symbolic Logic:1-33.
  41. added 2020-09-09
    Gödel Diffeomorphisms.Matthew Foreman - forthcoming - Bulletin of Symbolic Logic:1-4.
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  42. added 2020-09-09
    Preservation Theorems for Namba Forcing.Osvaldo Guzmán, Michael Hrušák & Jindřich Zapletal - 2021 - Annals of Pure and Applied Logic 172 (2):102869.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43. added 2020-09-09
    Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism.Jared Warren - 2020 - New York, USA: Oxford University Press.
    What is the source of logical and mathematical truth? This book revitalizes conventionalism as an answer to this question. Conventionalism takes logical and mathematical truth to have their source in linguistic conventions. This was an extremely popular view in the early 20th century, but it was never worked out in detail and is now almost universally rejected in mainstream philosophical circles. Shadows of Syntax is the first book-length treatment and defense of a combined conventionalist theory of logic and mathematics. It (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  44. added 2020-09-09
    Answers to Questions.Jaakko Hintikka - 1978 - In Henry Hiż (ed.), Questions. Reidel. pp. 279--300.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  45. added 2020-09-09
    A Prolegomenon to an Interrogative Theory of Scientific Inquiry.Stephen Gale - 1978 - In Henry Hiż (ed.), Questions. Reidel. pp. 319--345.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  46. added 2020-09-09
    Questions About Questions.Jaakko Hintikka - 1974 - In Milton K. Munitz & Peter K. Unger (eds.), Semantics and Philosophy. Suhrkamp. pp. 199--215.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  47. added 2020-09-09
    The Logical Presuppositions of Questions and Answers.Edward L. Keenan & Robert D. Hull - 1973 - In J’Anos S. Petöfi & Dorothea Franck (eds.), Präsuppositionen in Philosophie Und Linguistik - Presuppositions in Philosophy and Linguistics. Ahtenäum. pp. 441--466.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  48. added 2020-09-09
    On the Analysis and Logic of Questions.Lennart Åqvist - 1972 - In Raymond E. Olson & Anthony M. Paul (eds.), Contemporary Philosophy in Scandinavia. The Johns Hopkins Press. pp. 27--39.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  49. added 2020-09-09
    Scattered Topics in Interrogative Logic.Lennart Åqvist - 1969 - In J. W. Davis, D. J. Hockney & W. K. Wilson (eds.), Philosophical Logic. Reidel. pp. 114--121.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  50. added 2020-09-09
    Åqvist’s Correction-Accumulating Question-Sequences.Nuel D. Belnap - 1969 - In J. W. Davis, D. J. Hockney & W. K. Wilson (eds.), Philosophical Logic. Reidel. pp. 122--134.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
1 — 50 / 278