Logic and Philosophy of Logic

Edited by Aleksandra Samonek (Jagiellonian University, Catholic University of Louvain)
165 found
Order:
1 — 50 / 165
  1. added 2017-11-21
    The Threefold Object of the Scientific Knowledge. Pseudo-Scotus and the Literature on the Meteorologica in Fourteenth-Century Paris.Lucian Petrescu - 2014 - Franciscan Studies 72:465-502.
  2. added 2017-11-19
    Vagueness and Formal Fuzzy Logic: Some Criticisms.Giangiacomo Gerla - forthcoming - Logic and Logical Philosophy.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3. added 2017-11-19
    Modular Semantics for Theories: An Approach to Paraconsistent Reasoning.Holger Andreas - forthcoming - Journal of Philosophical Logic:1-36.
    Some scientific theories are inconsistent, yet non-trivial and meaningful. How is that possible? The present paper aims to show that we can analyse the inferential use of such theories in terms of consistent compositions of the applications of universal axioms. This technique will be represented by a preferred models semantics, which allows us to accept the instances of universal axioms selectively. For such a semantics to be developed, the framework of partial structures by da Costa and French will be extended (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4. added 2017-11-19
    Latarres, Lattices with an Arrow.Mohammad Ardeshir & Wim Ruitenburg - forthcoming - Studia Logica:1-32.
    A latarre is a lattice with an arrow. Its axiomatization looks natural. Latarres have a nontrivial theory which permits many constructions of latarres. Latarres appear as an end result of a series of generalizations of better known structures. These include Boolean algebras and Heyting algebras. Latarres need not have a distributive lattice.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5. added 2017-11-18
    Actualism, Serious Actualism, and Quantified Modal Logic.William H. Hanson - forthcoming - Notre Dame Journal of Formal Logic.
    This article studies seriously actualistic quantified modal logics. A key component of the language is an abstraction operator by means of which predicates can be created out of complex formulas. This facilitates proof of a uniform substitution theorem: if a sentence is logically true, then any sentence that results from substituting a predicate abstract for each occurrence of a simple predicate abstract is also logically true. This solves a problem identified by Kripke early in the modern semantic study of quantified (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6. added 2017-11-16
    The Definable -Theorem for Distal Theories.Gareth Boxall & Charlotte Kestner - forthcoming - Journal of Symbolic Logic:1-5.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7. added 2017-11-16
    Poset Product and BL-Chains.Manuela Busaniche & Conrado Gomez - forthcoming - Studia Logica:1-18.
    Different constructions of BL-chains are compared. We establish when the ordinal sum and the poset product of the same family of BL-chains coincide. We also compare the poset product of MV-chains and product chains with saturated BL-chains.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8. added 2017-11-16
    Cardinality and Acceptable Abstraction.Roy T. Cook & Øystein Linnebo - forthcoming - Notre Dame Journal of Formal Logic.
    It is widely thought that the acceptability of an abstraction principle is a feature of the cardinalities at which it is satisfiable. This view is called into question by a recent observation by Richard Heck. We show that a fix proposed by Heck fails but we analyze the interesting idea on which it is based, namely that an acceptable abstraction has to “generate” the objects that it requires. We also correct and complete the classification of proposed criteria for acceptable abstraction.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9. added 2017-11-16
    Degrees Containing Members of Thin $\Pi^0_1$ Classes Are Dense and Co-Dense.Rodney G. Downey, Guohua Wu & Yue Yang - forthcoming - Journal of Mathematical Logic.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10. added 2017-11-16
    Learning Conditional Information by Jeffrey Imaging on Stalnaker Conditionals.Mario Günther - forthcoming - Journal of Philosophical Logic:1-26.
    We propose a method of learning indicative conditional information. An agent learns conditional information by Jeffrey imaging on the minimally informative proposition expressed by a Stalnaker conditional. We show that the predictions of the proposed method align with the intuitions in Douven, 239–263 2012)’s benchmark examples. Jeffrey imaging on Stalnaker conditionals can also capture the learning of uncertain conditional information, which we illustrate by generating predictions for the Judy Benjamin Problem.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11. added 2017-11-16
    Generalized Amalgamation and Homogeneity.Daniel Palacín - forthcoming - Journal of Symbolic Logic:1-13.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12. added 2017-11-15
    Function and Argument in Begriffsschrift.Badesa Calixto & Millán Joan Bertran-San - 2017 - History and Philosophy of Logic 38 (4):316-341.
    It is well known that the formal system developed by Frege in Begriffsschrift is based upon the distinction between function and argument—as opposed to the traditional distinction between subject and predicate. Almost all of the modern commentaries on Frege's work suggest a semantic interpretation of this distinction, and identify it with the ontological structure of function and object, upon which Grundgesetze is based. Those commentaries agree that the system proposed by Frege in Begriffsschrift has some gaps, but it is taken (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  13. added 2017-11-14
    First-Order Modal Logic: Frame Definability and a Lindström Theorem.R. Zoghifard & M. Pourmahdian - forthcoming - Studia Logica:1-22.
    We generalize two well-known model-theoretic characterization theorems from propositional modal logic to first-order modal logic. We first study FML-definable frames and give a version of the Goldblatt–Thomason theorem for this logic. The advantage of this result, compared with the original Goldblatt–Thomason theorem, is that it does not need the condition of ultrafilter reflection and uses only closure under bounded morphic images, generated subframes and disjoint unions. We then investigate Lindström type theorems for first-order modal logic. We show that FML has (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14. added 2017-11-11
    Metametametaphysics and Dialetheism.Suki Finn - 2017 - Australasian Journal of Logic 14 (1):128-146.
    This paper reflects on metametaphysics and as such develops a metametameta-physical view: that quietist metametaphysics requires dialetheism, and in turn a paraconsistent logic. I demonstrate this using Carnap’s metametaphysical position in his ‘Empiricism, Semantics and Ontology’ (1950) as an example, with regard to how it exhibits self-reference and results in inconsistency. I show how applying Carnap’s position to itself produces a dilemma, both horns of which lead to a contradiction. Such inconsistency commonly arises from meta-theories with global scope, as the (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  15. added 2017-11-11
    Judgement Aggregation in Non-Classical Logics.Daniele Porello - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):106-139.
    This work contributes to the theory of judgement aggregation by discussing a number of significant non-classical logics. After adapting the standard framework of judgement aggregation to cope with non-classical logics, we discuss in particular results for the case of Intuitionistic Logic, the Lambek calculus, Linear Logic and Relevant Logics. The motivation for studying judgement aggregation in non-classical logics is that they offer a number of modelling choices to represent agents’ reasoning in aggregation problems. By studying judgement aggregation in logics that (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  16. added 2017-11-11
    Modelling Belief Revision Via Belief Bases Using Situation Semantics.Ayse Sena Bozdag - 2017 - Dissertation, Bogazici University
    The belief base approach to belief representation and belief dynamics is developed as an alternative to the belief set approaches, which are pioneered by the AGM model. The belief base approach models collections of information and expectations of an agent as possibly incomplete and possibly inconsistent foundations for her beliefs. Nevertheless, the beliefs of an agent are always consistent; this is ensured by a sophisticated inference relation. Belief changes take place on the information base instead of on the belief set, (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  17. added 2017-11-11
    Trust and Agency in the Context of Communication.Robert Demolombe - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):140-151.
    The communication process is analysed on the basis of the notions of trust and agency. The aim of the paper is to clarify the role played by causality on the one hand and the role played by logical consequences of assumptions about trust in information sources on the other hand. The first part is informal and the second part refers to the logical framework of modal logic though it requires a quite limited background in this area.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  18. added 2017-11-11
    Preface.Andreas Herzig, Emiliano Lorini & David Pearce - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):90-90.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  19. added 2017-11-10
    Finitary Extensions of the Nilpotent Minimum Logic and Structural Completeness.Gispert Joan - forthcoming - Studia Logica:1-20.
    In this paper we study finitary extensions of the nilpotent minimum logic or equivalently quasivarieties of NM-algebras. We first study structural completeness of NML, we prove that NML is hereditarily almost structurally complete and moreover NM\, the axiomatic extension of NML given by the axiom \^{2}\leftrightarrow ^{2})^{2}\), is hereditarily structurally complete. We use those results to obtain the full description of the lattice of all quasivarieties of NM-algebras which allow us to characterize and axiomatize all finitary extensions of NML.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20. added 2017-11-09
    The Modal Octagon and John Buridan's Modal Ontology.Spencer Johnston - 2017 - In J. Béziau & G. Basti (eds.), The Square of Opposition: A Cornerstone of Thought. Springer. pp. 35-52.
    In this paper we will argue that the ontology implicit in John Buridan’s modal octagon commits him to a form of contingentism. In particular, we will argue that Buridan is committed to denying the validity of the Barcan and converse Barcan formulae.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  21. added 2017-11-09
    In the Chaos of Today's Society: The Dynamics of Collapse as Another Shift in the Quantum Anthropology of Heidi Ann Russell.Radek Trnka (ed.) - 2015 - Prague: Togga.
    The presented study introduces a new theoretical model of collapse for social, cultural, or political systems. Based on the current form of quantum anthropology conceptualized by Heidi Ann Russell, further development of this field is provided. The new theoretical model is called the spiral model of collapses, and is suggested to provide an analytical framework for collapses in social, cultural, and political systems. The main conclusions of this study are: 1) The individual crises in the period before a collapse of (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  22. added 2017-11-08
    An Alternative Definition of Quantifiers on Four-Valued Łukasiewicz Algebras.L. J. González, M. B. Lattanzi & A. G. Petrovich - 2017 - Logica Universalis 11 (4):439-463.
    An alternative notion of an existential quantifier on four-valued Łukasiewicz algebras is introduced. The class of four-valued Łukasiewicz algebras endowed with this existential quantifier determines a variety which is denoted by \. It is shown that the alternative existential quantifier is interdefinable with the standard existential quantifier on a four-valued Łukasiewicz algebra. Some connections between the new existential quantifier and the existential quantifiers defined on bounded distributive lattices and Boolean algebras are given. Finally, a completeness theorem for the monadic four-valued (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  23. added 2017-11-07
    Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic.Matthias Baaz & Richard Zach - 2000 - In Peter G. Clote & Helmut Schwichtenberg (eds.), Computer Science Logic. 14th International Workshop, CSL 2000. Berlin: Springer. pp. 187– 201.
    Takeuti and Titani have introduced and investigated a logic they called intuitionistic fuzzy logic. This logic is characterized as the first-order Gödel logic based on the truth value set [0,1]. The logic is known to be axiomatizable, but no deduction system amenable to proof-theoretic, and hence, computational treatment, has been known. Such a system is presented here, based on previous work on hypersequent calculi for propositional Gödel logics by Avron. It is shown that the system is sound and complete, and (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  24. added 2017-11-06
    Disentangling FDE-Based Paraconsistent Modal Logics.Sergei P. Odintsov & Heinrich Wansing - 2017 - Studia Logica 105 (6):1221-1254.
    The relationships between various modal logics based on Belnap and Dunn’s paraconsistent four-valued logic FDE are investigated. It is shown that the paraconsistent modal logic \, which lacks a primitive possibility operator \, is definitionally equivalent with the logic \, which has both \ and \ as primitive modalities. Next, a tableau calculus for the paraconsistent modal logic KN4 introduced by L. Goble is defined and used to show that KN4 is definitionally equivalent with \ without the absurdity constant. Moreover, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  25. added 2017-11-05
    Some Questions About Degrees of Paradoxes.Ming Hsiung - forthcoming - Studia Logica.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  26. added 2017-11-03
    A Strong Reflection Principle.Sam Roberts - forthcoming - Review of Symbolic Logic:1-12.
    This article introduces a new reflection principle. It is based on the idea that whatever is true in all entities of some kind is also true in a set-sized collection of them. Unlike standard reflection principles, it does not re-interpret parameters or predicates. This allows it to be both consistent in all higher-order languages and remarkably strong. For example, I show that in the language of second-order set theory with predicates for a satisfaction relation, it is consistent relative to the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  27. added 2017-11-03
    Borel Reductions of Profinite Actions of SL N.Samuel Coskey - 2010 - Annals of Pure and Applied Logic 161 (10):1270-1279.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28. added 2017-11-03
    Exponentiations Over the Universal Enveloping Algebra of s L 2.Sonia L’Innocente, Angus Macintyre & Françoise Point - 2010 - Annals of Pure and Applied Logic 161 (12):1565-1580.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29. added 2017-11-03
    The Determinacy Strength of Π 2 1 -Comprehension.Christoph Heinatsch & Michael Möllerfeld - 2010 - Annals of Pure and Applied Logic 161 (12):1462-1470.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  30. added 2017-11-03
    Borel Reductions of Profinite Actions of SL N.Samuel Coskey - 2010 - Annals of Pure and Applied Logic 161 (10):1270-1279.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31. added 2017-11-03
    Exponentiations Over the Universal Enveloping Algebra of s L 2.Sonia L’Innocente, Angus Macintyre & Françoise Point - 2010 - Annals of Pure and Applied Logic 161 (12):1565-1580.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32. added 2017-11-03
    The Determinacy Strength of Π 2 1 -Comprehension.Christoph Heinatsch & Michael Möllerfeld - 2010 - Annals of Pure and Applied Logic 161 (12):1462-1470.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33. added 2017-11-03
    Interpretability in PRA.Bílková Marta, de Jongh Dick & J. Joosten Joost - 2009 - Annals of Pure and Applied Logic 161 (2):128-138.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34. added 2017-11-03
    Interpretability in PRA.Bílková Marta, de Jongh Dick & J. Joosten Joost - 2009 - Annals of Pure and Applied Logic 161 (2):128-138.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35. added 2017-11-02
    Conditional Heresies.Fabrizio Cariani & Simon Goldstein - manuscript
    The principles of Conditional Excluded Middle (CEM) and Simplification of Disjunctive Antecedents (SDA) have received substantial attention in isolation. Both principles are plausible generalizations about natural language conditionals. There is however little or no discussion of their inter- action. This paper aims to remedy this gap and explore the significance of having both principles constrain the logic of the conditional. Our negative finding is that, together with elementary logical assumptions, CEM and SDA yield a variety of implausible consequences. Despite these (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  36. added 2017-11-02
    An Analysis of the Logic of Riesz Spaces with Strong Unit.Antonio Di Nola, Serafina Lapenta & Ioana Leuştean - forthcoming - Annals of Pure and Applied Logic.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37. added 2017-11-02
    On a Generality Condition in Proof-Theoretic Semantics.Bogdan Dicher - forthcoming - Theoria.
    In the recent literature on proof-theoretic semantics, there is mention of a generality condition on defining rules. According to this condition, the schematic formulation of the defining rules must be maximally general, in the sense that no restrictions should be placed on the contexts of these rules. In particular, context variables must always be present in the schematic rules and they should range over arbitrary collections of formulae. I argue against imposing such a condition, by showing that it has undesirable (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  38. added 2017-11-01
    A Hierarchy of Logical Constants.Alexandra Zinke - 2017 - In Pavel Arazim & Tomas Lavicka (eds.), The Logica Yearbook 2016. London: College Publications. pp. 305-316.
    The paper provides a new argument against the classical invariance criterion for logical terms: if all terms with a permutation invariant extension qualify as logical, then for any arbitrary true contingent sentence K of the meta-language, there would be a logically true object-language sentence 'φ' such that K follows from the sentence 'φ is true'. Thus, many logically true sentences would be a posteriori. To prevent this fatal consequence, we propose to alter the invariance criterion: not only the term's extension, (...)
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  39. added 2017-10-31
    Two Kinds of Consequential Implication.Claudio E. A. Pizzi - forthcoming - Studia Logica:1-28.
    The first section of the paper establishes the minimal properties of so-called consequential implication and shows that they are satisfied by at least two different operators of decreasing strength and \). Only the former has been analyzed in recent literature, so the paper focuses essentially on the latter. Both operators may be axiomatized in systems which are shown to be translatable into standard systems of normal modal logic. The central result of the paper is that the minimal consequential system for (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40. added 2017-10-31
    Simultaneous Stationary Reflection and Square Sequences.Yair Hayut & Chris Lambie-Hanson - forthcoming - Journal of Mathematical Logic:1750010.
    We investigate the relationship between weak square principles and simultaneous reflection of stationary sets.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  41. added 2017-10-31
    Varieties of BL-Algebras II.P. Aglianò & F. Montagna - forthcoming - Studia Logica:1-17.
    In this paper we introduce a poset of subvarieties of BL-algebras, whose completion is the entire lattice of subvarietes; we exhibit also a description of this poset in terms of finite sequences of functions on the natural numbers.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42. added 2017-10-30
    The Pursuit of an Implication for the Logics L3A and L3B.Alejandro Hernández-Tello, José Arrazola Ramírez & Mauricio Osorio Galindo - 2017 - Logica Universalis 11 (4):507-524.
    The authors of Beziau and Franceschetto work with logics that have the property of not satisfying any of the formulations of the principle of non contradiction, Béziau and Franceschetto also analyze, among the three-valued logics, which of these logics satisfy this property. They prove that there exist only four of such logics, but only two of them are worthwhile to study. The language of these logics does not consider implication as a connective. However, the enrichment of a language with an (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  43. added 2017-10-28
    On An Error In Grove's Proof.Koji Tanaka & Graham Priest - 1997 - Logique Et Analyse 158:215-217.
    Nearly a decade has past since Grove gave a semantics for the AGM postulates. The semantics, called sphere semantics, provided a new perspective of the area of study, and has been widely used in the context of theory or belief change. However, the soundness proof that Grove gives in his paper contains an error. In this note, we will point this out and give two ways of repairing it.
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  44. added 2017-10-27
    Naïve Proof and Curry’s Paradox.Massimiliano Carrara - forthcoming - In From Arithmetic to Metaphysics. A Path through Philosophical Logic. Berlin: Walter de Gruyter GmbH. pp. 55-61.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  45. added 2017-10-27
    Extending and Applying a Logic for Pragmatics.Massimiliano Carrara, Daniele Chiffi & Ciro De Florio - 2017 - Logique Et Analyse 239:227-244.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  46. added 2017-10-27
    Some Preliminaries on Assertion and Denial.Massimiliano Carrara, Daniele Chiffi & Ciro De Florio - 2017 - Logique Et Analyse 239:203-207.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  47. added 2017-10-27
    A Multimodal Pragmatic Treatment of the Knowability Paradox.Massimiliano Carrara, Daniele Chiffi & Davide Sergio - 2017 - In Gillman Payette & Rafal Urbaniak (eds.), Applications of Formal Philosophy. The Road Less Travelled. Berlin: Springer International Publishing AG. pp. 195-209.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48. added 2017-10-26
    In Defence of Dialetheism: A Reply to Beziau and Tkaczyk.Ben Martin - forthcoming - Logic and Logical Philosophy.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49. added 2017-10-26
    Logic, Reasoning, Argumentation: Insights From the Wild.Frank Zenker - forthcoming - Logic and Logical Philosophy.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50. added 2017-10-26
    Slippery Slopes and Other Consequences.Martin David Hinton - forthcoming - Logic and Logical Philosophy.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 165