15 found
Order:
See also
Andrew Tedder
Czech Academy of Sciences
Andrew Tedder
University of Connecticut
Andrew Tedder
University of Lethbridge
  1.  5
    Incorporating the Relation Into the Language?Luis Estrada-González, Alessandro Giordani, Tomasz Jarmużek, Mateusz Klonowski, Igor Sedlár & Andrew Tedder - 2021 - Logic and Logical Philosophy 30 (4):711–739.
    In this paper we discuss whether the relation between formulas in the relating model can be directly introduced into the language of relating logic, and present some stances on that problem. Other questions in the vicinity, such as what kind of functor would be the incorporated relation, or whether the direct incorporation of the relation into the language of relating logic is really needed, will also be addressed.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  2
    Information Flow In Logics in the Vicinity of BB.Andrew Tedder - 2021 - Australasian Journal of Logic 18 (1):1-24.
    Situation theory, and channel theory in particular, have been used to provide motivational accounts of the ternary relation semantics of relevant, substructural, and various non-classical logics. Among the constraints imposed by channel-theory, we must posit a certain existence criterion for situations which result from the composites of multiple channels (this is used in modeling information flow). In associative non-classical logics, it is relatively easy to show that a certain such condition is met, but the problem is trickier in non-associative logics. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  34
    Currying Omnipotence: A Reply to Beall and Cotnoir.Andrew Tedder & Guillermo Badia - 2018 - Thought: A Journal of Philosophy 7 (2):119-121.
    Beall and Cotnoir (2017) argue that theists may accept the claim that God's omnipotence is fully unrestricted if they also adopt a suitable nonclassical logic. Their primary focus is on the infamous Stone problem (i.e., whether God can create a stone too heavy for God to lift). We show how unrestricted omnipotence generates Curry‐like paradoxes. The upshot is that Beall and Cotnoir only provide a solution to one version of the Stone problem, but that unrestricted omnipotence generates other problems which (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  14
    Axioms for Finite Collapse Models of Arithmetic.Andrew Tedder - 2015 - Review of Symbolic Logic 8 (3):529-539.
    The collapse models of arithmetic are inconsistent, nontrivial models obtained from ℕ and set out in the Logic of Paradox (LP). They are given a general treatment by Priest (Priest, 2000). Finite collapse models are decidable, and thus axiomatizable, because finite. LP, however, is ill-suited to normal axiomatic reasoning, as it invalidates Modus Ponens, and almost all other usual conditional inferences. I set out a logic, A3, first given by Avron (Avron, 1991), and give a first order axiom system for (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  6
    Neighbourhood Semantics for Quantified Relevant Logics.Andrew Tedder & Nicholas Ferenz - 2022 - Journal of Philosophical Logic 51 (3):457-484.
    The Mares-Goldblatt semantics for quantified relevant logics have been developed for first-order extensions of R, and a range of other relevant logics and modal extensions thereof. All such work has taken place in the the ternary relation semantic framework, most famously developed by Sylvan and Meyer. In this paper, the Mares-Goldblatt technique for the interpretation of quantifiers is adapted to the more general neighbourhood semantic framework, developed by Sylvan, Meyer, and, more recently, Goble. This more algebraic semantics allows one to (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6.  2
    Relevant propositional dynamic logic.Andrew Tedder & Marta Bilková - 2022 - Synthese 200 (3):1-42.
    Relevant propositional dynamic logics have been sporadically discussed in the broader context of modal relevant logics, but have not come up for sustained investigation until recently. In this paper, we develop a philosophical motivation for these systems, and present some new results suggested by the proposed motivation. Among these, we’ll show how to adapt some recent work to show that the extensions of relevant logics by the extensional truth constants \ are complete with respect to a natural class of ternary (...)
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  22
    How Much Propositional Logic Suffices for Rosser’s Essential Undecidability Theorem?Guillermo Badia, Petr Cintula, Petr Hajek & Andrew Tedder - forthcoming - Review of Symbolic Logic:1-18.
    In this paper we explore the following question: how weak can a logic be for Rosser's essential undecidability result to be provable for a weak arithmetical theory? It is well known that Robinson's Q is essentially undecidable in intuitionistic logic, and P. Hajek proved it in the fuzzy logic BL for Grzegorczyk's variant of Q which interprets the arithmetic operations as non-total non-functional relations. We present a proof of essential undecidability in a much weaker substructural logic and for a much (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  13
    Qua Solution, 0-Qua Has Problems.Andrew Tedder, Grace Paterson & David Ripley - 2020 - Journal of Analytic Theology 8 (1):405-411.
    We present an objection to Beall & Henderson’s recent paper defending a solution to the fundamental problem of conciliar Christology using qua or secundum clauses. We argue that certain claims the acceptance/rejection of which distinguish the Conciliar Christian from others fail to so distinguish on Beall & Henderson’s 0-Qua view. This is because on their 0-Qua account, these claims are either acceptable both to Conciliar Christians as well as those who are not Conciliar Christians or because they are acceptable to (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  10
    Correction To: Lambek Calculus with Conjugates.Igor Sedlár & Andrew Tedder - 2021 - Studia Logica 109 (3):471-471.
    We, the authors, would like to thank Guillaume Aucher for informing us of his “Displaying Updates in Logic”, published in the Journal of Logic and Computation, 26:1865-1912.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10. How Much Propositional Logic Suffices for Rosser's Essential Undecidability Theorem?Guillermo Badia, Petr Cintula, Petr Hajek & Andrew Tedder - forthcoming - Review of Symbolic Logic.
    In this paper we explore the following question: how weak can a logic be for Rosser’s essential undecidability result to be provable for a weak arithmetical theory? It is well known that Robinson’s Q is essentially undecidable in intuitionistic logic, and P. Hájek proved it in the fuzzy logic BL for Grzegorczyk’s variant of Q which interprets the arithmetic operations as nontotal nonfunctional relations. We present a proof of essential undecidability in a much weaker substructural logic and for a much (...)
     
    Export citation  
     
    Bookmark  
  11. Disjunction and Negation in Information Based Semantics.Vít Punčochář & Andrew Tedder - 2021 - In Alexandra Silva, Renata Wassermann & Ruy de Queiroz (eds.), Logic, Language, Information, and Computation: 27th International Workshop, Wollic 2021, Virtual Event, October 5–8, 2021, Proceedings. Springer Verlag. pp. 355-371.
    We investigate an information based generalization of the incompatibility-frame treatment of logics with non-classical negation connectives. Our framework can be viewed as an alternative to the neighbourhood semantics for extensions of lattice logic by various negation connectives, investigated by Hartonas. We set out the basic semantic framework, along with some correspondence results for extensions. We describe three kinds of constructions of canonical models and show that double negation law is not canonical with respect to any of these constructions. We also (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  12. Situated Epistemic Updates.Igor Sedlár & Andrew Tedder - 2021 - In Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 192-200.
    One way to model epistemic states of agents more realistically is to represent these states by sets of situations rather than possible worlds. In this paper we discuss representations of epistemic update in terms of situations. After linking epistemic update based on deleting epistemic accessibility arrows with update of situations, we discuss two specific kinds of public epistemic update; monotonic update in intuitionistic dynamic epistemic logic, and non-monotonic update in substructural dynamic epistemic logic. Our investigation is mainly conceptual, but leads (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  12
    On Elimination of Quantifiers in Some Non-Classical Mathematical Theories.Guillermo Badia & Andrew Tedder - 2018 - Mathematical Logic Quarterly 64 (3):140-154.
    Elimination of quantifiers is shown to fail dramatically for a group of well‐known mathematical theories (classically enjoying the property) against a wide range of relevant logical backgrounds. Furthermore, it is suggested that only by moving to more extensional underlying logics can we get the property back.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  17
    On Structural Features of the Implication Fragment of Frege’s Grundgesetze.Andrew Tedder - 2017 - Journal of Philosophical Logic 46 (4):443-456.
    We set out the implication fragment of Frege’s Grundgesetze, clarifying the implication rules and showing that this system extends Absolute Implication, or the implication fragment of Intuitionist logic. We set out a sequent calculus which naturally captures Frege’s implication proofs, and draw particular attention to the Cut-like features of his Hypothetical Syllogism rule.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  5
    Lambek Calculus with Conjugates.Igor Sedlár & Andrew Tedder - 2020 - Studia Logica 109 (3):447-470.
    We study an expansion of the Distributive Non-associative Lambek Calculus with conjugates of the Lambek product operator and residuals of those conjugates. The resulting logic is well-motivated, under-investigated and difficult to tackle. We prove completeness for some of its fragments and establish that it is decidable. Completeness of the logic is an open problem; some difficulties with applying the usual proof method are discussed.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark