This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories

2810 found
Order:
1 — 50 / 2810
Material to categorize
  1. Kiss the Ship of Theseus Goodbye!Shane J. Ralston - 2020 - In Courtland Lewis (ed.), Kiss and Philosophy: Wiser than Hell. Portland: Microcosm Publishing. pp. 105-111.
    The American rock band KISS is notorious. Its notoriety derives not only from the band’s otherworldly costumes (except for of course during the unmasked period), the fact that they were inducted into the Rock and Roll Hall of Fame, their numerous hit records or the amazing stage theatrics and pyrotechnics of their live shows. It’s also related to the band’s constantly changing makeup (and I don’t mean the kind on their faces!). Of the four members, only Paul Stanley and Gene (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2. Douglas Hofstadter's Gödelian Philosophy of Mind.Theodor Nenu - 2022 - Journal of Artificial Intelligence and Consciousness 10 (1):1-26.
    Hofstadter [1979, 2007] offered a novel Gödelian proposal which purported to reconcile the apparently contradictory theses that (1) we can talk, in a non-trivial way, of mental causation being a real phenomenon and that (2) mental activity is ultimately grounded in low-level rule-governed neural processes. In this paper, we critically investigate Hofstadter’s analogical appeals to Gödel’s [1931] First Incompleteness Theorem, whose “diagonal” proof supposedly contains the key ideas required for understanding both consciousness and mental causation. We maintain that bringing sophisticated (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  3. Solving Normative Conflicts Using Preferences Relations.Rafael Testa - 2008 - CLE E-Prints.
    This article proposes a general strategy to overcome normative conflicts, namely, paradoxes represented in Standard Deontic Logic. This solution is based on preference relations between norms that circumvent situations of conflict. Pragmatic justifications of the proposed method are also given.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4. Dilemas Deônticos: uma abordagem baseada em relações de preferência.Rafael Testa - 2008 - Dissertation, University of Campinas
    Nosso objetivo neste trabalho é apresentar uma proposta de solução a paradoxos relacionados à lógica deôntica presentes na literatura, reunidos sob o que é chamado de dilemas deônticos - situações nas quais duas obrigações conflitantes estão presentes num mesmo sistema normativo. Situações deste tipo, quando formalizadas (em SDL - standard deontic logic - ou em outras lógicas relacionadas), levam a uma inconsistência. Nossa proposta baseia-se em relações de preferência que geram uma ferramenta de escolha dentre as duas soluções normativas conflitantes, (...)
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5. Uma análise de algumas lógicas deônticas para a representação de normas jurídicas.Rafael Testa - 2006 - Dissertation, University of Campinas
    O propósito deste trabalho é analisar a estrutura e discutir a aplicação da(s) lógica(s) deôntica(s) na representação de normas jurídicas. Após uma apresentação desta(s) lógic(s) e, em particular, do sistema de von Wright e da SDL (Standard Deontic Logic), veremos as dificuldades de se aplicar uma lógica à análise do direito positivo: as regras da lógica devem permitir realizar sobre as normas formalizadas somente os tipos de inferência e operaçôes lógicas intuitivamente feitas pelos juristas, ou seja, a reconstrução lógica do (...)
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6. What the Tortoise Said to Achilles: Lewis Carroll’s Paradox in Terms of Hilbert Arithmetic.Vasil Penchev - 2021 - Logic and Philosophy of Mathematics eJournal (Elsevier: SSRN) 13 (22):1-32.
    Lewis Carroll, both logician and writer, suggested a logical paradox containing furthermore two connotations (connotations or metaphors are inherent in literature rather than in mathematics or logics). The paradox itself refers to implication demonstrating that an intermediate implication can be always inserted in an implication therefore postponing its ultimate conclusion for the next step and those insertions can be iteratively and indefinitely added ad lib, as if ad infinitum. Both connotations clear up links due to the shared formal structure with (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7. Aboutness Paradox.Giorgio Sbardolini - 2021 - Journal of Philosophy 118 (10):549-571.
    The present work outlines a logical and philosophical conception of propositions in relation to a group of puzzles that arise by quantifying over them: the Russell-Myhill paradox, the Prior-Kaplan paradox, and Prior's Theorem. I begin by motivating an interpretation of Russell-Myhill as depending on aboutness, which constrains the notion of propositional identity. I discuss two formalizations of of the paradox, showing that it does not depend on the syntax of propositional variables. I then extend to propositions a modal predicative response (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8. Immediate Negation.Adrian Kreutz - 2021 - History and Philosophy of Logic 42 (4):398-410.
    At Kyoto, there is something peculiar going on with negations, or so it seems: A is A, and yet A is immediately not A, and therefore A is A. Without a doubt, this looks a lot like a paradoxical inf...
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9. Truths About Simpson's Paradox - Saving the Paradox From Falsity.Don Dcruz, Prasanta S. Bandyopadhyay, Venkata Raghavan & Gordon Brittain Jr - 2015 - In M. Banerjee & S. N. Krishna (eds.), LNCS 8923. Springer. pp. 58-75.
    There are three questions associated with Simpson’s paradox (SP): (i) Why is SP paradoxical? (ii) What conditions generate SP? and (iii) How to proceed when confronted with SP? An adequate analysis of the paradox starts by distinguishing these three questions. Then, by developing a formal account of SP, and substantiating it with a counterexample to causal accounts, we argue that there are no causal factors at play in answering questions (i) and (ii). Causality enters only in connection with action.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10. Are Scientific Models of Life Testable? A Lesson From Simpson's Paradox.Prasanta S. Bandyopadhyay, Don Dcruz, Nolan Grunska & Mark Greenwood - 2020 - Sci 1 (3).
    We address the need for a model by considering two competing theories regarding the origin of life: (i) the Metabolism First theory, and (ii) the RNA World theory. We discuss two interrelated points, namely: (i) Models are valuable tools for understanding both the processes and intricacies of origin-of-life issues, and (ii) Insights from models also help us to evaluate the core objection to origin-of-life theories, called “the inefficiency objection”, which is commonly raised by proponents of both the Metabolism First theory (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11. Application of "A Thing Exists If It's A Grouping" to Russell's Paradox and Godel's First Incompletness Theorem.Roger Granet - manuscript
    A resolution to the Russell Paradox is presented that is similar to Russell's “theory of types” method but is instead based on the definition of why a thing exists as described in previous work by this author. In that work, it was proposed that a thing exists if it is a grouping tying "stuff" together into a new unit whole. In tying stuff together, this grouping defines what is contained within the new existent entity. A corollary is that a thing, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12. Against Philosophical Proofs Against Common Sense.Louis Doulas & Evan Welchance - 2021 - Analysis 81 (2):207–215.
    Many philosophers think that common sense knowledge survives sophisticated philosophical proofs against it. Recently, however, Bryan Frances (forthcoming) has advanced a philosophical proof that he thinks common sense can’t survive. Exploiting philosophical paradoxes like the Sorites, Frances attempts to show how common sense leads to paradox and therefore that common sense methodology is unstable. In this paper, we show how Frances’s proof fails and then present Frances with a dilemma.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13. The Paradox of Counterfactual Tolerance.Daniel Berntson - manuscript
    Counterfactuals are somewhat tolerant. Had Socrates been at least six feet tall, he need not have been exactly six feet tall. He might have been a little taller—he might have been six one or six two. But while he might have been a little taller, there are limits to how tall he would have been. Had he been at least six feet tall, he would not have been more than a hundred feet tall, for example. Counterfactuals are not just tolerant, (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  14. The Dream of Recapture.Carlo Nicolai - manuscript
    As a response to the semantic and logical paradoxes, theorists often reject some principles of classical logic. However, classical logic is entangled with mathematics, and giving up mathematics is too high a price to pay, even for nonclassical theorists. The so-called recapture theorems come to the rescue. When reasoning with concepts such as truth/class membership/property instantiation, if ones is interested in consequences of the theory that only contain mathematical vocabulary, nothing is lost by reasoning in the nonclassical framework. It is (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. Gaps, Gluts, and Theoretical Equivalence.Carlo Nicolai - manuscript
    When are two formal theories of broadly logical concepts, such as truth, equivalent? The paper investigates a case study, involving two well-known variants Kripke-Feferman truth. The first, KF+CONS, features a consistent but partial truth predicate. The second, KF+COMP, an inconsistent but complete truth predicate. It is well-known that the two truth predicates are dual to each other. We show that this duality reveals a much stricter correspondence between the two theories: they are intertraslatable. Intertranslatability under natural assumptions coincides with definitional (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  16. A Note on Paradoxical Propositions From an Inferential Point of View.Ivo Pezlar - 2021 - In Martin Blicha & Igor Sedlár (eds.), The Logica Yearbook 2020. College Publications. pp. 183-199.
    In a recent paper by Tranchini (Topoi, 2019), an introduction rule for the paradoxical proposition ρ∗ that can be simultaneously proven and disproven is discussed. This rule is formalized in Martin-Löf’s constructive type theory (CTT) and supplemented with an inferential explanation in the style of Brouwer-Heyting-Kolmogorov semantics. I will, however, argue that the provided formalization is problematic because what is paradoxical about ρ∗ from the viewpoint of CTT is not its provability, but whether it is a proposition at all.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  17. Grounding, Quantifiers, and Paradoxes.Francesco A. Genco, Francesca Poggiolesi & Lorenzo Rossi - 2021 - Journal of Philosophical Logic 50 (6):1417-1448.
    The notion of grounding is usually conceived as an objective and explanatory relation. It connects two relata if one—the ground—determines or explains the other—the consequence. In the contemporary literature on grounding, much effort has been devoted to logically characterize the formal aspects of grounding, but a major hard problem remains: defining suitable grounding principles for universal and existential formulae. Indeed, several grounding principles for quantified formulae have been proposed, but all of them are exposed to paradoxes in some very natural (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18. Self-Reflexive Cognitive Bias.Joshua Mugg & Muhammad Ali Khalidi - 2021 - European Journal for Philosophy of Science 11 (3):1-21.
    Cognitive scientists claim to have discovered a large number of cognitive biases, which have a tendency to mislead reasoners. Might cognitive scientists themselves be subject to the very biases they purport to discover? And how should this alter the way they evaluate their research as evidence for the existence of these biases? In this paper, we posit a new paradox, which bears a striking resemblance to some classical logical paradoxes. Suppose that research R appears to be good evidence for the (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19. How (Not) to Construct Worlds with Responsibility.Fabio Lampert & Pedro Merlussi - 2021 - Synthese 199 (3-4):10389-10413.
    In a recent article, P. Roger Turner and Justin Capes argue that no one is, or ever was, even partly morally responsible for certain world-indexed truths. Here we present our reasons for thinking that their argument is unsound: It depends on the premise that possible worlds are maximally consistent states of affairs, which is, under plausible assumptions concerning states of affairs, demonstrably false. Our argument to show this is based on Bertrand Russell’s original ‘paradox of propositions’. We should then opt (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20. Problemas semánticos en filosofía de la lógica.Sergio Aramburu - 2021 - Actas y Comunicaciones UNGS 6:193-211.
    Este texto presenta, y en cierta medida analiza, ambigüedades existentes en textos de lógica y filosofía de la lógica (como la interpretación de los llamados principios, postulados, leyes o verdades lógicas, la coexistencia de la tesis de que toda relación presupone la existencia de al menos dos relata y la de que una cosa puede relacionarse consigo misma, o la llamada "paradoja del mentiroso") bajo el supuesto de que, dado que la lógica no es anterior a la semántica, un análisis (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21. 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  
  22. Tennant’s Conjecture for Self-Referential Paradoxes and its Classical Counterexample.Seungrak Choi - 2021 - Korean Journal of Logic 1 (24):1-30.
    In his paper, “On paradox without self-reference”, Neil Tennant proposed the conjecture for self-referential paradoxes that any derivation formalizing self-referential paradoxes only generates a looping reduction sequence. According to him, the derivation of the Liar paradox in natural deduction initiates a looping reduction sequence and the derivation of the Yablo's paradox generates a spiral reduction. The present paper proposes the counterexample to Tennant's conjecture for self-referential paradoxes. We shall show that there is a derivation of the Liar paradox which generates (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  23. Self-Reference and Chaos in Fuzzy Logic.Patrick Grim - 1993 - IEEE Transactions on Fuzzy Systems 1:237-253.
    The purpose of this paper is to open for investigation a range of phenomena familiar from dynamical systems or chaos theory which appear in a simple fuzzy logic with the introduction of self-reference. Within that logic, self-referential sentences exhibit properties of fixed point attractors, fixed point repellers, and full chaos on the [0, 1] interval. Strange attractors and fractals appear in two dimensions in the graphing of pairs of mutually referential sentences and appear in three dimensions in the graphing of (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  24. Vít Punčochář: Paradoxy klasické logiky. [REVIEW]Ivo Pezlar - 2020 - Filosoficky Casopis 68 (5):800-806.
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25. The View From a Wigner Bubble.Eric G. Cavalcanti - 2021 - Foundations of Physics 51 (2):1-31.
    In a recent no-go theorem [Bong et al., Nature Physics ], we proved that the predictions of unitary quantum mechanics for an extended Wigner’s friend scenario are incompatible with any theory satisfying three metaphysical assumptions, the conjunction of which we call “Local Friendliness”: Absoluteness of Observed Events, Locality and No-Superdeterminism. In this paper I discuss the implications of this theorem for QBism, as seen from the point of view of experimental metaphysics. I argue that the key distinction between QBism and (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  26. Inferences and Metainferences in ST.Pablo Cobreros, Paul Egré, David Ripley & Robert van Rooij - 2020 - Journal of Philosophical Logic 49 (6):1057-1077.
    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   2 citations  
  27. How to Swim in Sinking Sands: The Sorites Paradox and the Nature and Logic of Vague Language.Inga Bones - 2021 - Paderborn, Deutschland: Mentis.
    This book examines philosophical approaches to linguistic vagueness, a puzzling feature of natural language that gives rise to the ancient Sorites paradox and challenges classical logic and semantics. -/- The Sorites, or Paradox of the Heap, consists in three claims: (1) One grain of sand does not make a heap. (2) One billion grains of sand do make a heap. (3) For any two amounts of sand differing by at most one grain: either both are heaps of sand, or neither (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28. Die Antinomien der Logik – Der Kern des Problems und seine Pragmatik.Dieter Wandschneider - 1993 - In PRAGMATIK, Bd. IV. Hamburg: pp. 320–352.
    First I argue that the prohibition of linguistic self-reference as a solution to the antinomy problem contains a pragmatic contradiction and is thus not only too restrictive, but just inconsistent (chap.1). Furthermore, the possibilities of non-restrictive strategies for antinomy avoidance are discussed, whereby the explicit inclusion of the – pragmatically presuposed – consistency requirement proves to be the optimal strategy (chap.2). The central question here is that about the actual reason for antinomic structures. It turns out to be a form (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29. Explaining the Paradoxes of Logic – The Nub of the Matter and its Pragmatics.Dieter Wandschneider - 1993 - In PRAGMATIK, Vol. IV. Hamburg:
    [[[ (Here only the chapters 3 – 8, see *** ) First I argue that the prohibition of linguistic self-reference as a solution to the antinomy problem contains a pragmatic contradiction and is thus not only too restrictive, but just inconsistent (chap.1). Furthermore, the possibilities of non-restrictive strategies for antinomy avoidance are discussed, whereby the explicit inclusion of the – pragmatically presuposed – consistency requirement proves to be the optimal strategy (chap.2). ]]] The central question here is that about the (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  30. The Liar Paradox in the Predictive Mind.Christian Michel - 2019 - Pragmatics and Cognition 26 (2-3):239-266.
    Most discussions frame the Liar Paradox as a formal logical-linguistic puzzle. Attempts to resolve the paradox have focused very little so far on aspects of cognitive psychology and processing, because semantic and cognitive-psychological issues are generally assumed to be disjunct. I provide a motivation and carry out a cognitive-computational treatment of the liar paradox based on a model of language and conceptual knowledge within the Predictive Processing framework. I suggest that the paradox arises as a failure of synchronization between two (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  31. La paradoja de Skolem.Ariel Jonathan Roffé - 2014 - In Eduardo Alejandro Barrio (ed.), Paradojas, paradojas y más paradojas. pp. 245-260.
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  32. Zur Struktur dialektischer Begriffsentwicklung.Dieter Wandschneider - 1997 - In Das Problem der Dialektik. Bonn: pp. 114–169.
    Previous efforts to bring the Hegelian dialectic closer to a clarification give reason for skepticism. The question: "What is dialectic", according to Dieter Henrich, "has remained without an answer so far". Hegel's objective-idealistic program is, however, so much linked to the possibility of a dialectical logic that it is an urgent desideratum to gain clarity about the stringency of dialectical argumentation. But this is only possible on the basis of a theory of dialectic. Hegel's own reflection on methods cannot be (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  33. Theories of Truth Based on Four-Valued Infectious Logics.Damian Szmuc, Bruno Da Re & Federico Pailos - 2020 - Logic Journal of the IGPL 28 (5):712-746.
    Infectious logics are systems that have a truth-value that is assigned to a compound formula whenever it is assigned to one of its components. This paper studies four-valued infectious logics as the basis of transparent theories of truth. This take is motivated as a way to treat different pathological sentences differently, namely, by allowing some of them to be truth-value gluts and some others to be truth-value gaps and as a way to treat the semantic pathology suffered by at least (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  34. 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-reflexive systems have been somewhat neglected. Here, we aim to fill this lacuna, at least in part, by presenting a non-reflexive logic and theory of naive 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-reflexive framework.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  35. How Can Buddhists Prove That Non-Existent Things Do Not Exist?Koji Tanaka - 2021 - In Sara Bernstein & Tyron Goldschmidt (eds.), Non-Being: New Essay on the Metaphysics of Non-Existence. Oxford, UK: Oxford University Press. pp. 82-96.
    How can Buddhists prove that non-existent things do not exist? With great difficulty. For the Buddhist, this is not a laughing matter as they are largely global error theorists and, thus, many things are non-existent. The difficulty gets compounded as the Buddhist and their opponent, the non-Buddhist of various kinds, both agree that one cannot prove a thesis whose subject is non-existent. In this paper, I will first present a difficulty that Buddhist philosophers have faced in proving that what they (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  36. A Two-Dimensional Logic for Two Paradoxes of Deontic Modality.Melissa Fusco & Alexander W. Kocurek - forthcoming - Review of Symbolic Logic:1-32.
    In this paper, we axiomatize the deontic logic in Fusco, which uses a Stalnaker-inspired account of diagonal acceptance and a two-dimensional account of disjunction to treat Ross’s Paradox and the Puzzle of Free Choice Permission. On this account, disjunction-involving validities are a priori rather than necessary. We show how to axiomatize two-dimensional disjunction so that the introduction/elimination rules for boolean disjunction can be viewed as one-dimensional projections of more general two-dimensional rules. These completeness results help make explicit the restrictions Fusco’s (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37. Is There A Logic of the Ineffable? Or, How Is It Possible to Talk About the Unsayable?Stephen R. Palmquist - 2017 - In Nahum Brown & J. Aaron Simmons (eds.), Contemporary Debates in Negative Theology and Philosophy. Springer. pp. 71-80.
    This chapter defends a single, fixed, definite answer to the question: Is there a logic that governs the unsayable? The proposed answer is: “Yes, and no. Or yes-but-not-yes. And/or yes-no.” Each component of this answer is examined and used to generate three laws of what I call “synthetic logic”, which correspond directly to the laws of classical (Aristotelian) logic: the law of contradiction (“A=-A”), the law of non-identity (“A≠A”), and the law of the included middle (“-(Av-A)”). We can talk about (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  38. On Logic of Strictly-Deontic Modalities. A Semantic and Tableau Approach.Tomasz Jarmużek & Mateusz Klonowski - forthcoming - Logic and Logical Philosophy:1.
    Standard deontic logic (SDL) is defined on the basis of possible world semantics and is a logic of alethic-deontic modalities rather than deontic modalities alone. The interpretation of the concepts of obligation and permission comes down exclusively to the logical value that a sentence adopts for the accessible deontic alternatives. Here, we set forth a different approach, this being a logic which additionally takes into consideration whether sentences stand in relation to the normative system or to the system of values (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  39. Axiomatizing Norms Across Time and the 'Paradox of the Court'.Daniela Glavaničová & Matteo Pascucci - 2021 - In Fenrong Liu, Alessandra Marra, Paul Portner & Frederik Van de Putte (eds.), DEON 2020/2021. College Publications. pp. 201-218.
    In normative reasoning one typically refers to intervals of time across which norms are intended to hold, as well as to alternative possibilities representing hypothetical developments of a given scenario. Thus, deontic modalities are naturally intertwined with temporal and metaphysical ones. Furthermore, contemporary debates in philosophy suggest that a proper understanding of fundamental ethical principles, such as the Ought-Implies-Can thesis, requires a simultaneous analysis of these three families of concepts. In the present article we propose a general formal framework which (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  40. Alethic Reference.Lavinia Picollo - 2020 - Journal of Philosophical Logic 49 (3):417-438.
    I put forward precise and appealing notions of reference, self-reference, and well-foundedness for sentences of the language of first-order Peano arithmetic extended with a truth predicate. These notions are intended to play a central role in the study of the reference patterns that underlie expressions leading to semantic paradox and, thus, in the construction of philosophically well-motivated semantic theories of truth.
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  41. A Theory of Structured Propositions.Andrew Bacon - manuscript
    This paper argues that the theory of structured propositions is not undermined by the Russell-Myhill paradox. I develop a theory of structured propositions in which the Russell-Myhill paradox doesn't arise: the theory does not involve ramification or compromises to the underlying logic, but rather rejects common assumptions, encoded in the notation of the $\lambda$-calculus, about what properties and relations can be built. I argue that the structuralist had independent reasons to reject these underlying assumptions. The theory is given both a (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  42. The Modal Logics of Kripke-Feferman Truth.Carlo Nicolai & Johannes Stern - manuscript
    We determine the modal logic of fixed-point models of truth and their axiomatizations by Solomon Feferman via Solovay-style completeness results.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  43. Hobson’s Conception of Definable Numbers.Zhao Fan - 2020 - History and Philosophy of Logic 41 (2):128-139.
    In this paper, I explore an intriguing view of definable numbers proposed by a Cambridge mathematician Ernest Hobson, and his solution to the paradoxes of definability. Reflecting on König’s paradox and Richard’s paradox, Hobson argues that an unacceptable consequence of the paradoxes of definability is that there are numbers that are inherently incapable of finite definition. Contrast to other interpreters, Hobson analyses the problem of the paradoxes of definability lies in a dichotomy between finitely definable numbers and not finitely definable (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  44. Mechanizing Principia Logico-Metaphysica in Functional Type-Theory.Daniel Kirchner, Christoph Benzmüller & Edward N. Zalta - 2020 - Review of Symbolic Logic 13 (1):206-218.
    Principia Logico-Metaphysica contains a foundational logical theory for metaphysics, mathematics, and the sciences. It includes a canonical development of Abstract Object Theory [AOT], a metaphysical theory that distinguishes between ordinary and abstract objects.This article reports on recent work in which AOT has been successfully represented and partly automated in the proof assistant system Isabelle/HOL. Initial experiments within this framework reveal a crucial but overlooked fact: a deeply-rooted and known paradox is reintroduced in AOT when the logic of complex terms is (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45. Swyneshed, Aristotle and the Rule of Contradictory Pairs.Stephen Read - 2020 - Logica Universalis 14 (1):27-50.
    Roger Swyneshed, in his treatise on insolubles, dating from the early 1330s, drew three notorious corollaries from his solution. The third states that there is a contradictory pair of propositions both of which are false. This appears to contradict what Whitaker, in his iconoclastic reading of Aristotle’s De Interpretatione, dubbed “The Rule of Contradictory Pairs”, which requires that in every such pair, one must be true and the other false. Whitaker argued that, immediately after defining the notion of a contradictory (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   6 citations  
  46. (I Can’T Get No) Antisatisfaction.Pablo Cobreros, Elio La Rosa & Luca Tranchini - 2020 - Synthese 198 (9):8251-8265.
    Substructural approaches to paradoxes have attracted much attention from the philosophical community in the last decade. In this paper we focus on two substructural logics, named ST and TS, along with two structural cousins, LP and K3. It is well known that LP and K3 are duals in the sense that an inference is valid in one logic just in case the contrapositive is valid in the other logic. As a consequence of this duality, theories based on either logic are (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  47. On Hierarchical Propositions.Giorgio Sbardolini - 2020 - Journal of Philosophical Logic 49 (1):1-11.
    There is an apparent dilemma for hierarchical accounts of propositions, raised by Bruno Whittle : either such accounts do not offer adequate treatment of connectives and quantifiers, or they eviscerate the logic. I discuss what a plausible hierarchical conception of propositions might amount to, and show that on that conception, Whittle’s dilemma is not compelling. Thus, there are good reasons why proponents of hierarchical accounts of propositions did not see the difficulty Whittle raises.
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48. Fitch's Paradox and Level-Bridging Principles.Weng Kin San - 2020 - Journal of Philosophy 117 (1):5-29.
    Fitch’s Paradox shows that if every truth is knowable, then every truth is known. Standard diagnoses identify the factivity/negative infallibility of the knowledge operator and Moorean contradictions as the root source of the result. This paper generalises Fitch’s result to show that such diagnoses are mistaken. In place of factivity/negative infallibility, the weaker assumption of any ‘level-bridging principle’ suffices. A consequence is that the result holds for some logics in which the “Moorean contradiction” commonly thought to underlie the result is (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49. Expressing Validity: Towards a Self-Sufficient Inferentialism.Ulf Hlobil - 2020 - In Martin Blicha & Igor Sedlár (eds.), The Logica Yearbook 2019. London: College Publications. pp. 67-82.
    For semantic inferentialists, the basic semantic concept is validity. An inferentialist theory of meaning should offer an account of the meaning of "valid." If one tries to add a validity predicate to one's object language, however, one runs into problems like the v-Curry paradox. In previous work, I presented a validity predicate for a non-transitive logic that can adequately capture its own meta-inferences. Unfortunately, in that system, one cannot show of any inference that it is invalid. Here I extend the (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50. Lewis Carroll Inferential Paradox / O Paradoxo Inferencial de Lewis Carroll.Rodrigo Cid - 2016 - Fundamento: Revista de Filosofia 12:127-138.
    My main aim at this paper is to present Lewis Carrol’s Paradox on the justification of logical principles inasmuch as some attempts of solving it. This is important because if there are basic logical principles, it also seems necessary to exist some justification for them. By considering some observations from Ryle, Devitt and Kripke about the theme, we intend to briefly display their theories and their core critics among themselves and, mainly, the critics against adoption theory.
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 2810