Results for 'Logic of Paradox'

968 found
Order:
  1. Logic of paradoxes in classical set theories.Boris Čulina - 2013 - Synthese 190 (3):525-547.
    According to Cantor (Mathematische Annalen 21:545–586, 1883 ; Cantor’s letter to Dedekind, 1899 ) a set is any multitude which can be thought of as one (“jedes Viele, welches sich als Eines denken läßt”) without contradiction—a consistent multitude. Other multitudes are inconsistent or paradoxical. Set theoretical paradoxes have common root—lack of understanding why some multitudes are not sets. Why some multitudes of objects of thought cannot themselves be objects of thought? Moreover, it is a logical truth that such multitudes do (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. The logic of legitimacy: Bootstrapping paradoxes of constitutional democracy.Christopher Zurn - 2010 - Legal Theory 16 (3):191-227.
    Many have claimed that legitimate constitutional democracy is either conceptually or practically impossible, given infinite regress paradoxes deriving from the requirement of simultaneously democratic and constitutional origins for legitimate government. This paper first critically investigates prominent conceptual and practical bootstrapping objections advanced by Barnett and Michelman. It then argues that the real conceptual root of such bootstrapping objections is not any specific substantive account of legitimacy makers, such as consent or democratic endorsement, but a particular conception of the logic (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  3. Epistemic Paradox and the Logic of Acceptance.Michael J. Shaffer - 2013 - Journal of Experimental and Theoretical Artificial Intelligence 25:337-353.
    Paradoxes have played an important role both in philosophy and in mathematics and paradox resolution is an important topic in both fields. Paradox resolution is deeply important because if such resolution cannot be achieved, we are threatened with the charge of debilitating irrationality. This is supposed to be the case for the following reason. Paradoxes consist of jointly contradictory sets of statements that are individually plausible or believable. These facts about paradoxes then give rise to a deeply troubling (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  4. Moore’s paradox and the logic of belief.Andrés Páez - 2020 - Manuscrito 43 (2):1-15.
    Moore’s Paradox is a test case for any formal theory of belief. In Knowledge and Belief, Hintikka developed a multimodal logic for statements that express sentences containing the epistemic notions of knowledge and belief. His account purports to offer an explanation of the paradox. In this paper I argue that Hintikka’s interpretation of one of the doxastic operators is philosophically problematic and leads to an unnecessarily strong logical system. I offer a weaker alternative that captures in a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. Skolem’s “paradox” as logic of ground: The mutual foundation of both proper and improper interpretations.Vasil Penchev - 2020 - Epistemology eJournal (Elsevier: SSRN) 13 (19):1-16.
    A principle, according to which any scientific theory can be mathematized, is investigated. That theory is presupposed to be a consistent text, which can be exhaustedly represented by a certain mathematical structure constructively. In thus used, the term “theory” includes all hypotheses as yet unconfirmed as already rejected. The investigation of the sketch of a possible proof of the principle demonstrates that it should be accepted rather a metamathematical axiom about the relation of mathematics and reality. Its investigation needs philosophical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Benardete’s paradox and the logic of counterfactuals.Michael Caie - 2018 - Analysis 78 (1):22-34.
    I consider a puzzling case presented by Jose Benardete, and by appeal to this case develop a paradox involving counterfactual conditionals. I then show that this paradox may be leveraged to argue for certain non-obvious claims concerning the logic of counterfactuals.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  7. A logical challenge to correlationism: the Church–Fitch paradox in Husserl’s account of fulfilment, truth, and meaning.Gregor E. Bös - 2024 - Synthese 203 (6):1-25.
    Husserl’s theory of fulfilment conceives of empty acts, such as symbolic thought, and fulfilling acts, such as sensory perceptions, in a strict parallel. This parallelism is the basis for Husserl’s semantics, epistemology, and conception of truth. It also entails that any true proposition can be known in principle, which Church and Fitch have shown to explode into the claim that every proposition is _actually_ known. I assess this logical challenge and discuss a recent response by James Kinkaid. While Kinkaid’s proposal (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. Intuitionism and the Modal Logic of Vagueness.Susanne Bobzien & Ian Rumfitt - 2020 - Journal of Philosophical Logic 49 (2):221-248.
    Intuitionistic logic provides an elegant solution to the Sorites Paradox. Its acceptance has been hampered by two factors. First, the lack of an accepted semantics for languages containing vague terms has led even philosophers sympathetic to intuitionism to complain that no explanation has been given of why intuitionistic logic is the correct logic for such languages. Second, switching from classical to intuitionistic logic, while it may help with the Sorites, does not appear to offer any (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  9. Logic. of Descriptions. A New Approach to the Foundations of Mathematics and Science.Joanna Golińska-Pilarek & Taneli Huuskonen - 2012 - Studies in Logic, Grammar and Rhetoric 27 (40):63-94.
    We study a new formal logic LD introduced by Prof. Grzegorczyk. The logic is based on so-called descriptive equivalence, corresponding to the idea of shared meaning rather than shared truth value. We construct a semantics for LD based on a new type of algebras and prove its soundness and completeness. We further show several examples of classical laws that hold for LD as well as laws that fail. Finally, we list a number of open problems. -/- .
    Download  
     
    Export citation  
     
    Bookmark  
  10. An Emergent Language of Paradox: Riffs on Steven M. Rosen’s Kleinian Signification of Being.Lisa Maroski - 2017 - Cosmos and History 13 (1):315-342.
    First, I briefly recapitulate the main points of Rosen’s article, namely, that the word “Being” does not adequately signify the paradoxical unification of subject and object and that the Klein bottle can serve as a more appropriate sign -vehicle than the word. I then propose to apply his insight more widely; however, in order to do that, it is first necessary to identify infra- and exostructures of language, including culture, category structure, logic, metaphor, semantics, syntax, concept, and sign vehicles, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. Simple Semantics for Logics of Indeterminate Epistemic Closure.Colin R. Caret - 2022 - In Igor Sedlár (ed.), The Logica Yearbook 2021. College Publications. pp. 37-56.
    According to Jago (2014a), logical omniscience is really part of a deeper paradox. Jago develops an epistemic logic with principles of indeterminate closure to solve this paradox, but his official semantics is difficult to navigate, it is motivated in part by substantive metaphysics, and the logic is not axiomatized. In this paper, I simplify this epistemic logic by adapting the hyperintensional semantic framework of Sedlár (2021). My first goal is metaphysical neutrality. The solution to the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  12. Review of: Garciadiego, A., "Emergence of...paradoxes...set theory", Historia Mathematica (1985), in Mathematical Reviews 87j:01035.John Corcoran - 1987 - MATHEMATICAL REVIEWS 87 (J):01035.
    DEFINING OUR TERMS A “paradox" is an argumentation that appears to deduce a conclusion believed to be false from premises believed to be true. An “inconsistency proof for a theory" is an argumentation that actually deduces a negation of a theorem of the theory from premises that are all theorems of the theory. An “indirect proof of the negation of a hypothesis" is an argumentation that actually deduces a conclusion known to be false from the hypothesis alone or, more (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. (1 other version)Review of Paradox and Platitude in Wittgenstein's Philosophy by David Pears (2006).Michael Starks - 2017
    Pears is an eminent philosopher, notable among W scholars for his “The False Prison: a study of the development of Wittgenstein’s philosophy” in 2 volumes published 20 years ago. Based on these facts I expected some deep insights into W in the current volume. There were certainly some good points but overall it was profoundly disappointing. All of behavioral science is about our innate human nature and since W was the first to elucidate the axioms of our universal psychology, I (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. The Nature and Logic of Vagueness.Marian Călborean - 2020 - Dissertation, University of Bucharest
    The PhD thesis advances a new approach to vagueness as dispersion, comparing it with the main philosophical theories of vagueness in the analytic tradition.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. Bilateralism, collapsing modalities, and the logic of assertion and denial.Nils Kürbis - 2024 - Theoria 90 (2):177-190.
    Rumfitt has given two arguments that in unilateralist verificationist theories of meaning, truth collapses into correct assertibility. In the present paper I give similar arguments that show that in unilateral falsificationist theories of meaning, falsehood collapses into correct deniability. According to bilateralism, meanings are determined by assertion and denial conditions, so the question arises whether it succumbs to similar arguments. I show that this is not the case. The final section considers the question whether a principle central to Rumfitt's first (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. Not much higher-order vagueness in Williamson’s ’logic of clarity’.Nasim Mahoozi & Thomas Mormann - manuscript
    This paper deals with higher-order vagueness in Williamson's 'logic of clarity'. Its aim is to prove that for 'fixed margin models' (W,d,α ,[ ]) the notion of higher-order vagueness collapses to second-order vagueness. First, it is shown that fixed margin models can be reformulated in terms of similarity structures (W,~). The relation ~ is assumed to be reflexive and symmetric, but not necessarily transitive. Then, it is shown that the structures (W,~) come along with naturally defined maps h and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. Truth and Paradox in Late XIVth Century Logic : Peter of Mantua’s Treatise on Insoluble Propositions.Riccardo Strobino - 2012 - Documenti E Studi Sulla Tradizione Filosofica Medievale 23:475-519.
    This paper offers an analysis of a hitherto neglected text on insoluble propositions dating from the late XiVth century and puts it into perspective within the context of the contemporary debate concerning semantic paradoxes. The author of the text is the italian logician Peter of Mantua (d. 1399/1400). The treatise is relevant both from a theoretical and from a historical standpoint. By appealing to a distinction between two senses in which propositions are said to be true, it offers an unusual (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  18. The Sorites, Content Fixing, and the Roots of Paradox.Mario Gomez-Torrente - forthcoming - In Otavio Bueno & Ali Abasnezhad (eds.), On the Sorites Paradox. Springer.
    The presentation of the “dual picture of vagueness” in my earlier work is supplemented here with a number of additional considerations. I emphasize how the picture lends itself naturally to treatments of the contribution of a typical degree adjective to propositional content and to truth conditions. A number of reasonable refinements of the picture are presented, especially concerning occasions of use of a degree adjective in which a class containing a sorites series is somehow involved in content fixing, but in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. The problem of logical omniscience, the preface paradox, and doxastic commitments.Niels Skovgaard-Olsen - 2017 - Synthese 194 (3):917-939.
    The main goal of this paper is to investigate what explanatory resources Robert Brandom’s distinction between acknowledged and consequential commitments affords in relation to the problem of logical omniscience. With this distinction the importance of the doxastic perspective under consideration for the relationship between logic and norms of reasoning is emphasized, and it becomes possible to handle a number of problematic cases discussed in the literature without thereby incurring a commitment to revisionism about logic. One such case in (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  20. A Note on Logical Paradoxes and Aristotelian Square of Opposition.Beppe Brivec - manuscript
    According to Aristotle if a universal proposition (for example: “All men are white”) is true, its contrary proposition (“All men are not white”) must be false; and, according to Aristotle, if a universal proposition (for example: “All men are white”) is true, its contradictory proposition (“Not all men are white”) must be false. I agree with what Aristotle wrote about universal propositions, but there are universal propositions which have no contrary proposition and have no contradictory proposition. The proposition X “All (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Formalization of dialectical logic, Separation theory of truth. Logic of cellular automata.Zhou Senhai - manuscript
    By separating the general concept of truth into syntactic truth and semantic truth, this article proposes a new theory of truth to explain several paradoxes like the Liar paradox, Card paradox, Curry’s paradox, etc. By revealing the relationship between syntactic /semantic truth and being-nothing-becoming which are the core concepts of dialectical logic, it is able to formalize dialectical logic. It also provides a logical basis for complexity theory by transferring all reasoning into a directed (cyclic/acyclic) (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. A 4-valued logic of strong conditional.Fabien Schang - 2018 - South American Journal of Logic 3 (1):59-86.
    How to say no less, no more about conditional than what is needed? From a logical analysis of necessary and sufficient conditions (Section 1), we argue that a stronger account of conditional can be obtained in two steps: firstly, by reminding its historical roots inside modal logic and set-theory (Section 2); secondly, by revising the meaning of logical values, thereby getting rid of the paradoxes of material implication whilst showing the bivalent roots of conditional as a speech-act based on (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. Paradoxes and Failures of Cut.David Ripley - 2013 - Australasian Journal of Philosophy 91 (1):139 - 164.
    This paper presents and motivates a new philosophical and logical approach to truth and semantic paradox. It begins from an inferentialist, and particularly bilateralist, theory of meaning---one which takes meaning to be constituted by assertibility and deniability conditions---and shows how the usual multiple-conclusion sequent calculus for classical logic can be given an inferentialist motivation, leaving classical model theory as of only derivative importance. The paper then uses this theory of meaning to present and motivate a logical system---ST---that conservatively (...)
    Download  
     
    Export citation  
     
    Bookmark   166 citations  
  24. Modern Paradoxes of Aristotle’s Logic.Jason Aleksander - 2004 - Epoché: A Journal for the History of Philosophy 9 (1):79-99.
    This paper intends to explain key differences between Aristotle’s understanding of the relationships between nous, epistêmê, and the art of syllogistic reasoning(both analytic and dialectical) and the corresponding modern conceptions of intuition, knowledge, and reason. By uncovering paradoxa that Aristotle’s understanding of syllogistic reasoning presents in relation to modern philosophical conceptions of logic and science, I highlight problems of a shift in modern philosophy—a shift that occurs most dramatically in the seventeenth century—toward a project of construction, a pervasive desire (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. Prof. Kingfisher’s beautiful logic of problem-solving.Nine-Dollar Kingfisher - 2022 - Mindsponge Portal.
    *Special Note: This piece presents a paradox artificially created by Prof. Kingfisher for pondering. It must not be regarded as a given truth.
    Download  
     
    Export citation  
     
    Bookmark  
  26. Higher-order free logic and the Prior-Kaplan paradox.Andrew Bacon, John Hawthorne & Gabriel Uzquiano - 2016 - Canadian Journal of Philosophy 46 (4-5):493-541.
    The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order (...). Our assessment of both approaches is largely pessimistic, and we remain reluctantly inclined to take Prior’s and Kaplan’s derivations at face value. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  27. Two Reformulations of the Verificationist Thesis in Epistemic Temporal Logic that Avoid Fitch’s Paradox.Alexandru Dragomir - 2014 - Romanian Journal of Analytic Philosophy 8 (1):44-62.
    1) We will begin by offering a short introduction to Epistemic Logic and presenting Fitch’s paradox in an epistemic‑modal logic. (2) Then, we will proceed to presenting three Epistemic Temporal logical frameworks creat‑ ed by Hoshi (2009) : TPAL (Temporal Public Announcement Logic), TAPAL (Temporal Arbitrary Public Announcement Logic) and TPAL+P ! (Temporal Public Announcement Logic with Labeled Past Operators). We will show how Hoshi stated the Verificationist Thesis in the language of TAPAL and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  28. Three epistemic paralogisms, one logic of utterances.Fabien Schang - 2010 - In P.-E. Bour & M. Rebuschi & L. Rollet (ed.), Construction. Festschrift for Gerhard Heinzmann. pp. 407-416.
    Assuming that a paralogism is an unintentionally invalid reasoning, we give an exampli.
    Download  
     
    Export citation  
     
    Bookmark  
  29. Gestalt Shifts in the Liar Or Why KT4M Is the Logic of Semantic Modalities.Susanne Bobzien - 2017 - In Bradley P. Armour-Garb (ed.), Reflections on the Liar. Oxford, England: Oxford University. pp. 71-113.
    ABSTRACT: This chapter offers a revenge-free solution to the liar paradox (at the centre of which is the notion of Gestalt shift) and presents a formal representation of truth in, or for, a natural language like English, which proposes to show both why -- and how -- truth is coherent and how it appears to be incoherent, while preserving classical logic and most principles that some philosophers have taken to be central to the concept of truth and our (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  30. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. A Paradox about Sets of Properties.Nathan Salmón - 2021 - Synthese 199 (5-6):12777-12793.
    A paradox about sets of properties is presented. The paradox, which invokes an impredicatively defined property, is formalized in a free third-order logic with lambda-abstraction, through a classically proof-theoretically valid deduction of a contradiction from a single premise to the effect that every property has a unit set. Something like a model is offered to establish that the premise is, although classically inconsistent, nevertheless consistent, so that the paradox discredits the logic employed. A resolution through (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  32. A Two-Dimensional Logic for Two Paradoxes of Deontic Modality.Fusco Melissa & Kocurek Alexander - 2022 - Review of Symbolic Logic 15 (4):991-1022.
    In this paper, we axiomatize the deontic logic in Fusco 2015, 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. Knowledge-of-own-factivity, the definition of surprise, and a solution to the Surprise Examination paradox.Alessandro Aldini, Samuel Allen Alexander & Pierluigi Graziani - 2022 - Cifma.
    Fitch's Paradox and the Paradox of the Knower both make use of the Factivity Principle. The latter also makes use of a second principle, namely the Knowledge-of-Factivity Principle. Both the principle of factivity and the knowledge thereof have been the subject of various discussions, often in conjunction with a third principle known as Closure. In this paper, we examine the well-known Surprise Examination paradox considering both the principles on which this paradox rests and some formal characterisations (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  34. Solutions to the Knower Paradox in the Light of Haack’s Criteria.Mirjam de Vos, Rineke Verbrugge & Barteld Kooi - 2023 - Journal of Philosophical Logic 52 (4):1101-1132.
    The knower paradox states that the statement ‘We know that this statement is false’ leads to inconsistency. This article presents a fresh look at this paradox and some well-known solutions from the literature. Paul Égré discusses three possible solutions that modal provability logic provides for the paradox by surveying and comparing three different provability interpretations of modality, originally described by Skyrms, Anderson, and Solovay. In this article, some background is explained to clarify Égré’s solutions, all three (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  35. Semantic Paradoxes and Transparent Intensional Logic.Jiri Raclavsky - 2012 - The Logica Yearbook 2011 (College Publications):239-252.
    The paper describes the solution to semantic paradoxes pioneered by Pavel Tichý and further developed by the present author. Its main feature is an examination (and then refutation) of the hidden premise of paradoxes that the paradox-producing expression really means what it seems to mean. Semantic concepts are explicated as relative to language, thus also language is explicated. The so-called ‘explicit approach’ easily treats paradoxes in which language is explicitly referred to. The residual paradoxes are solved by the ‘implicit (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  36. An infinity of super-Belnap logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319-335.
    We look at extensions (i.e., stronger logics in the same language) of the Belnap–Dunn four-valued logic. We prove the existence of a countable chain of logics that extend the Belnap–Dunn and do not coincide with any of the known extensions (Kleene’s logics, Priest’s logic of paradox). We characterise the reduced algebraic models of these new logics and prove a completeness result for the first and last element of the chain stating that both logics are determined by a (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  37. The Doctrinal Paradox, the Discursive Dilemma, and Logical Aggregation theory.Philippe Mongin - 2012 - Theory and Decision 73 (3):315-355.
    Judgment aggregation theory, or rather, as we conceive of it here, logical aggregation theory generalizes social choice theory by having the aggregation rule bear on judgments of all kinds instead of merely preference judgments. It derives from Kornhauser and Sager’s doctrinal paradox and List and Pettit’s discursive dilemma, two problems that we distinguish emphatically here. The current theory has developed from the discursive dilemma, rather than the doctrinal paradox, and the final objective of the paper is to give (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  38. Emptying a Paradox of Ground.Jack Woods - 2018 - Journal of Philosophical Logic 47 (4):631-648.
    Sometimes a fact can play a role in a grounding explanation, but the particular content of that fact make no difference to the explanation—any fact would do in its place. I call these facts vacuous grounds. I show that applying the distinction between-vacuous grounds allows us to give a principled solution to Kit Fine and Stephen Kramer’s paradox of ground. This paradox shows that on minimal assumptions about grounding and minimal assumptions about logic, we can show that (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  39. Disarming a Paradox of Validity.Hartry Field - 2017 - Notre Dame Journal of Formal Logic 58 (1):1-19.
    Any theory of truth must find a way around Curry’s paradox, and there are well-known ways to do so. This paper concerns an apparently analogous paradox, about validity rather than truth, which JC Beall and Julien Murzi call the v-Curry. They argue that there are reasons to want a common solution to it and the standard Curry paradox, and that this rules out the solutions to the latter offered by most “naive truth theorists.” To this end they (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  40. The Paradox of Duties to Oneself.Daniel Muñoz - 2020 - Australasian Journal of Philosophy 98 (4):691-702.
    Philosophers have long argued that duties to oneself are paradoxical, as they seem to entail an incoherent power to release oneself from obligations. I argue that self-release is possible, both as a matter of deontic logic and of metaethics.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  41. Police Deception and Dishonesty – The Logic of Lying.Luke William Hunt - 2024 - New York: Oxford University Press.
    Cooperative relations steeped in honesty and good faith are a necessity for any viable society. This is especially relevant to the police institution because the police are entrusted to promote justice and security. Despite the necessity of societal honesty and good faith, the police institution has embraced deception, dishonesty, and bad faith as tools of the trade for providing security. In fact, it seems that providing security is impossible without using deception and dishonesty during interrogations, undercover operations, pretextual detentions, and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. Solving the Paradox of Material Implication - 2024 (2nd edition).Jan Pociej - forthcoming - Https://Doi.Org/10.6084/M9.Figshare.22324282.V3.
    The paradox of material implication has remained unresolved since antiquity because it was believed that the nature of implication was entailment. The article shows that this nature is opposition and therefore the name "implication" should be replaced with the name "competition". A solution to the paradox is provided along with appropriate changes in nomenclature, the addition of connectives and the postulate that the biconditional take over the role of the previous implication. In addition, changes to the nomenclature of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. The 1900 Turn in Bertrand Russell’s Logic, the Emergence of his Paradox, and the Way Out.Nikolay Milkov - 2016 - Siegener Beiträge Zur Geschichte Und Philosophie der Mathematik 7:29-50.
    Russell’s initial project in philosophy (1898) was to make mathematics rigorous reducing it to logic. Before August 1900, however, Russell’s logic was nothing but mereology. First, his acquaintance with Peano’s ideas in August 1900 led him to discard the part-whole logic and accept a kind of intensional predicate logic instead. Among other things, the predicate logic helped Russell embrace a technique of treating the paradox of infinite numbers with the help of a singular concept, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  44. The impacts of Logic, Paradoxes in one side and Theory of Computation in the other side.Didehvar Farzad - manuscript
    This is a presentation about the impacts of Logic and Theory of Computation. It starts by some explanations about Theory of Computation and its relations with the other subjects in science. Then we have some explanations about paradoxes and some historical points. In continuation, we present some of the most important paradoxes. Forthcoming, Five subjects around the relations between Logic and Theory of computation is introduced. Finally, we present a new approach to solve P vs NP problem via (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Formalizing the logical (self-reference) error of the Liar Paradox.P. Olcott - manuscript
    This paper decomposes the Liar Paradox into its semantic atoms using Meaning Postulates (1952) provided by Rudolf Carnap. Formalizing truth values of propositions as Boolean properties of these propositions is a key new insight. This new insight divides the translation of a declarative sentence into its equivalent mathematical proposition into three separate steps. When each of these steps are separately examined the logical error of the Liar Paradox is unequivocally shown.
    Download  
     
    Export citation  
     
    Bookmark  
  46. A conscientious resolution of the action paradox on Buridan's bridge'.Joseph W. Ulatowski - 2003 - Southwest Philosophical Studies 25:85-93.
    The aim of this paper is to offer a critical assessment of Buridan's proposed solution to the bridge-keeper paradox. First, I will outline his proposed solution to the paradox, and, second, carefully analyse each issue mentioned in the proposed solution. Finally, I will attempt to conclude that Burden has implicitly accepted a three-valued logic that does not allow him to conclude that Plato ought not do anything.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  47. The paradoxes and Russell's theory of incomplete symbols.Kevin C. Klement - 2014 - Philosophical Studies 169 (2):183-207.
    Russell claims in his autobiography and elsewhere that he discovered his 1905 theory of descriptions while attempting to solve the logical and semantic paradoxes plaguing his work on the foundations of mathematics. In this paper, I hope to make the connection between his work on the paradoxes and the theory of descriptions and his theory of incomplete symbols generally clearer. In particular, I argue that the theory of descriptions arose from the realization that not only can a class not be (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  48. Meinong, Defective Objects, and (Psycho-)Logical Paradox.William J. Rapaport - 1982 - Grazer Philosophische Studien 18 (1):17-39.
    Alexius Meinong developed a notion of defective objects in order to account for various logical and psychological paradoxes. The notion is of historical interest, since it presages recent work on the logical paradoxes by Herzberger and Kripke. But it fails to do the job it was designed for. However, a technique implicit in Meinong's investigation is more successful and can be adapted to resolve a similar paradox discovered by Romane Clark in a revised version of Meinong's Theory of Objects (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  49. DLEAC and the Rejection Paradox.Massimiliano Carrara & Andrea Strollo - 2021 - Journal of Applied Logics 8 (2):377-396.
    In this paper we first develop a Dialetheic Logic with Exclusive Assumptions and Conclusions, DLEAC. We adopt the semantics of the logic of paradox (LP) extended with a notion of model suitable for DLEAC, and we modify its proof theory by refining the notions of assumption and conclusion, which are understood as speech acts. We introduce a new paradox – the rejectability paradox – first informally, then formally. We then provide its derivation in an extension (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. “Fuzzy time”, a Solution of Unexpected Hanging Paradox (a Fuzzy interpretation of Quantum Mechanics).Farzad Didehvar - manuscript
    Although Fuzzy logic and Fuzzy Mathematics is a widespread subject and there is a vast literature about it, yet the use of Fuzzy issues like Fuzzy sets and Fuzzy numbers was relatively rare in time concept. This could be seen in the Fuzzy time series. In addition, some attempts are done in fuzzing Turing Machines but seemingly there is no need to fuzzy time. Throughout this article, we try to change this picture and show why it is helpful to (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
1 — 50 / 968