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

304 found
Order:
1 — 50 / 304
Material to categorize
  1. Reasoning and Presuppositions.Carlotta Pavese - 2021 - Philosophical Topics 49 (2):203-224.
    It is a platitude that when we reason, we often take things for granted, sometimes even justifiably so. The chemist might reason from the fact that a substance turns litmus paper red to that substance being an acid. In so doing, they take for granted, reasonably enough, that this test for acidity is valid. We ordinarily reason from things looking a certain way to their being that way. We take for granted, reasonably enough, that things are as they look Although (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Strong Homomorphisms, Category Theory, and Semantic Paradox.Jonathan Wolfgram & Roy T. Cook - 2022 - Review of Symbolic Logic 15 (4):1070-1093.
    In this essay we introduce a new tool for studying the patterns of sentential reference within the framework introduced in [2] and known as the language of paradox $\mathcal {L}_{\mathsf {P}}$ : strong $\mathcal {L}_{\mathsf {P}}$ -homomorphisms. In particular, we show that (i) strong $\mathcal {L}_{\mathsf {P}}$ -homomorphisms between $\mathcal {L}_{\mathsf {P}}$ constructions preserve paradoxicality, (ii) many (but not all) earlier results regarding the paradoxicality of $\mathcal {L}_{\mathsf {P}}$ constructions can be recast as special cases of our central result regarding (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. Designing Paradoxes: A Revision-theoretic Approach.Ming Hsiung - 2022 - Journal of Philosophical Logic 51 (4):739-789.
    According to the revision theory of truth, the binary sequences generated by the paradoxical sentences in revision sequence are always unstable. In this paper, we work backwards, trying to reconstruct the paradoxical sentences from some of their binary sequences. We give a general procedure of constructing paradoxes with specific binary sequences through some typical examples. Particularly, we construct what Herzberger called “unstable statements with unpredictably complicated variations in truth value.” Besides, we also construct those paradoxes with infinitely many finite primary (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4. A Pragmatic Dissolution of Curry’s Paradox.Rafael Félix Mora Ramirez - 2022 - Logica Universalis 16 (1):149-175.
    Although formal analysis provides us with interesting tools for treating Curry’s paradox, it certainly does not exhaust every possible reading of it. Thus, we suggest that this paradox should be analysed with non-formal tools coming from pragmatics. In this way, using Grice’s logic of conversation, we will see that Curry’s sentence can be reinterpreted as a peculiar conditional sentence implying its own consequent.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Tossing Morgenbesser’s Coin.Zachary Goodsell - 2022 - Analysis 82 (2):214-221.
    Morgenbesser's Coin is a thought experiment that exemplifies a widespread disposition to infer counterfactual independence from causal independence. I argue that this disposition is mistaken by analysing a closely related thought experiment.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  6. (TC* ،زمان فازی ) تاثیر و تاثر منطق و پارادوکسها بر نظریه محاسبات عام. [REVIEW]Didehvar Farzad - manuscript
    در تکوین نظریه محاسبات از اوایل قرن بیستم پارادکسها و خود ارجاعی نقش ویژه ای را بازی کرده اند. هر چند نظریه محاسبات عام بر اساس تعریف ماشین تورینگ، فرض تورینگ_چرچ و کاربردهای آن بنا شده ،اما از همان ابتدا تا به امروز منطق و حوزه های مختلف این علم در ارتباط تنگاتنگ با این تیوری و در ابتدا نظریه محاسبات خاص بوده و این ارتباط روز به روز گسترده و گسترده تر گشته است. از تاثیر پارادوکس دروغگو و پارادکس (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  7. The Nothing from Infinity paradox versus Plenitudinous Indeterminism.Nicholas Shackel - 2022 - European Journal for Philosophy of Science 12 (online early):1-14.
    The Nothing from Infinity paradox arises when the combination of two infinitudes of point particles meet in a supertask and disappear. Corral-Villate claims that my arguments for disappearance fail and concedes that this failure also produces an extreme kind of indeterminism, which I have called plenitudinous. So my supertask at least poses a dilemma of extreme indeterminism within Newtonian point particle mechanics. Plenitudinous indeterminism might be trivial, although easy attempts to prove it so seem to fail in the face of (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8. Probabilistic stability, agm revision operators and maximum entropy.Krzysztof Mierzewski - 2020 - Review of Symbolic Logic:1-38.
    Several authors have investigated the question of whether canonical logic-based accounts of belief revision, and especially the theory of AGM revision operators, are compatible with the dynamics of Bayesian conditioning. Here we show that Leitgeb's stability rule for acceptance, which has been offered as a possible solution to the Lottery paradox, allows to bridge AGM revision and Bayesian update: using the stability rule, we prove that AGM revision operators emerge from Bayesian conditioning by an application of the principle of maximum (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9. Bertrand's paradox: a physical way out along the lines of Buffon's needle throwing experiment.P. Di Porto, B. Crosignani, A. Ciattoni & H. C. Liu - 2011 - European Journal of Physics 32 (3):819–825.
    Bertrand’s paradox ) can be considered as a cautionary memento, to practitioners and students of probability calculus alike, of the possible ambiguous meaning of the term ‘at random’ when the sample space of events is continuous. It deals with the existence of different possible answers to the following question: what is the probability that a chord, drawn at random in a circle of radius R, is longer than the side of an inscribed equilateral triangle? Physics can help to remove the (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  10. Deontic Logic, Weakening and Decisions Concerning Disjunctive Obligations.Michael J. Shaffer - 2022 - Logos and Episteme 13 (1):93-102.
    This paper introduces two new paradoxes for standard deontic logic (SDL). They are importantly related to, but distinct from Ross' paradox. These two new paradoxes for SDL are the simple weakening paradox and the complex weakening paradox. Both of these paradoxes arise in virtue of the underlaying logic of SDL and are consequences of the fact that SDL incorporates the principle known as weakening. These two paradoxes then show that SDL has counter-intuitive implications related to disjunctive obligations that arise in (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  11. Send in the Clowns.Daniel Nolan - forthcoming - In Karen Bennett & Dean Zimmerman (eds.), Oxford Studies in Metaphysics. Oxford: Oxford University Press.
    Thought experiments are common where infinitely many entities acting in concert give rise to strange results. Some of these cases, however, can be generalized to yield almost omnipotent systems from limited materials. This paper discusses one of these cases, bringing out one aspect of what seems so troubling about "New Zeno" cases. -/- This paper is in memory of Josh Parsons.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  12. Non-reflexivity and Revenge.Julien Murzi & Lorenzo Rossi - 2022 - Journal of Philosophical Logic 51 (1):201-218.
    We present a revenge argument for non-reflexive theories of semantic notions – theories which restrict the rule of assumption, or initial sequents of the form φ ⊩ φ. Our strategy follows the general template articulated in Murzi and Rossi [21]: we proceed via the definition of a notion of paradoxicality for non-reflexive theories which in turn breeds paradoxes that standard non-reflexive theories are unable to block.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  13. Towards a Non-classical Meta-theory for Substructural Approaches to Paradox.Lucas Rosenblatt - 2021 - Journal of Philosophical Logic 50 (5):1007-1055.
    In the literature on self-referential paradoxes one of the hardest and most challenging problems is that of revenge. This problem can take many shapes, but, typically, it besets non-classical accounts of some semantic notion, such as truth, that depend on a set of classically defined meta-theoretic concepts, like validity, consistency, and so on. A particularly troubling form of revenge that has received a lot of attention lately involves the concept of validity. The difficulty lies in that the non-classical logician cannot (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  14. Modes of Truth: The Unified Approach to Truth, Modality, and Paradox.Carlo Nicolai & Johannes Stern (eds.) - 2021 - New York, NY: Routledge.
    The aim of this volume is to open up new perspectives and to raise new research questions about a unified approach to truth, modalities, and propositional attitudes. The volume's essays are grouped thematically around different research questions. The first theme concerns the tension between the theoretical role of the truth predicate in semantics and its expressive function in language. The second theme of the volume concerns the interaction of truth with modal and doxastic notions. The third theme covers higher-order solutions (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15. An Implicative Expansion of Belnap’s Four-Valued Matrix: A Modal Four-Valued Logic Without Strong Modal Lukasiewicz-Type Paradoxes.José Miguel Blanco - 2020 - Bulletin of Symbolic Logic 26 (3-4):297-298.
  16. Unwinding Modal Paradoxes on Digraphs.Ming Hsiung - 2021 - Journal of Philosophical Logic 50 (2):319-362.
    The unwinding that Cook, 767–774 2004) proposed is a simple but powerful method of generating new paradoxes from known ones. This paper extends Cook’s unwinding to a larger class of paradoxes and studies further the basic properties of the unwinding. The unwinding we study is a procedure, by which when inputting a Boolean modal net together with a definable digraph, we get a set of sentences in which we have a ‘counterpart’ for each sentence of the Boolean modal net and (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17. God, Gluts and Gaps: Examining an Islamic Traditionalist Case for a Contradictory Theology.Safaruk Zaman Chowdhury - 2020 - History and Philosophy of Logic 42 (1):17-43.
    In this paper, I examine the deep theological faultline generated by divergent understandings of the divine attributes among two early antagonistic Muslim groups – the traditionalists (main...
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Background for the Uninitiated.Richmond Campbell - 1985 - In Richmond Campbell & Lanning Sowden (eds.), Paradoxes of Rationality and Cooperation: Prisoner's Dilemma and Newcomb's Problem. Vancouver: pp. 3-41.
  19. UN SEMPLICE MODO PER TRATTARE LE GRANDEZZE INFINITE ED INFINITESIME.Yaroslav Sergeyev - 2015 - la Matematica Nella Società E Nella Cultura: Rivista Dell’Unione Matematica Italiana, Serie I 8:111-147.
    A new computational methodology allowing one to work in a new way with infinities and infinitesimals is presented in this paper. The new approach, among other things, gives the possibility to calculate the number of elements of certain infinite sets, avoids indeterminate forms and various kinds of divergences. This methodology has been used by the author as a starting point in developing a new kind of computer – the Infinity Computer – able to execute computations and to store in its (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  20. Numerical infinities applied for studying Riemann series theorem and Ramanujan summation.Yaroslav Sergeyev - 2018 - In AIP Conference Proceedings 1978. AIP. pp. 020004.
    A computational methodology called Grossone Infinity Computing introduced with the intention to allow one to work with infinities and infinitesimals numerically has been applied recently to a number of problems in numerical mathematics (optimization, numerical differentiation, numerical algorithms for solving ODEs, etc.). The possibility to use a specially developed computational device called the Infinity Computer (patented in USA and EU) for working with infinite and infinitesimal numbers numerically gives an additional advantage to this approach in comparison with traditional methodologies studying (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21. On some analogies between the counterexamples to modus ponens (and modus tollens).Lina Maria Lissia - 2020 - The Reasoner 14 (6):35-37.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  22. Bertrand's Paradox and the Maximum Entropy Principle.Nicholas Shackel & Darrell P. Rowbottom - 2020 - Philosophy and Phenomenological Research 101 (3):505-523.
    An important suggestion of objective Bayesians is that the maximum entropy principle can replace a principle which is known to get into paradoxical difficulties: the principle of indifference. No one has previously determined whether the maximum entropy principle is better able to solve Bertrand’s chord paradox than the principle of indifference. In this paper I show that it is not. Additionally, the course of the analysis brings to light a new paradox, a revenge paradox of the chords, that is unique (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23. Bunder’s paradox.Michael Caie - 2020 - Review of Symbolic Logic 13 (4):829-844.
    Systems of illative logic are logical calculi formulated in the untyped λ-calculus supplemented with certain logical constants.1 In this short paper, I consider a paradox that arises in illative logic. I note two prima facie attractive ways of resolving the paradox. The first is well known to be consistent, and I briefly outline a now standard construction used by Scott and Aczel that establishes this. The second, however, has been thought to be inconsistent. I show that this isn’t so, by (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24. A Two-Dimensional Logic for Two Paradoxes of Deontic Modality.Fusco Melissa & Kocurek Alexander - forthcoming - Review of Symbolic Logic.
    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 the restrictions (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  25. A Quantificational Analysis of the Liar Paradox.Matheus Silva - manuscript
    It seems that the most common strategy to solve the liar paradox is to argue that liar sentences are meaningless and, consequently, truth-valueless. The other main option that has grown in recent years is the dialetheist view that treats liar sentences as meaningful, truth-apt and true. In this paper I will offer a new approach that does not belong in either camp. I hope to show that liar sentences can be interpreted as meaningful, truth-apt and false, but without engendering any (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  26. Incompleteness Via Paradox and Completeness.Walter Dean - 2020 - Review of Symbolic Logic 13 (3):541-592.
    This paper explores the relationship borne by the traditional paradoxes of set theory and semantics to formal incompleteness phenomena. A central tool is the application of the Arithmetized Completeness Theorem to systems of second-order arithmetic and set theory in which various “paradoxical notions” for first-order languages can be formalized. I will first discuss the setting in which this result was originally presented by Hilbert & Bernays (1939) and also how it was later adapted by Kreisel (1950) and Wang (1955) in (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  27. The Paradox of Inwardness in Kant and Kierkegaard: Ronald Green's Legacy in Philosophy of Religion.Stephen R. Palmquist - 2016 - Journal of Religious Ethics 44 (4):738-751.
    Aside from bioethics, the main theme of Ronald Green's lifework has been an exploration of the relation between religion and morality, with special emphasis on the philosophies of Immanuel Kant and Søren Kierkegaard. This essay summarizes and assesses his work on this theme by examining, in turn, four of his relevant books. Religious Reason (1978) introduced a new method of comparative religion based on Kant's model of a rational religion. Religion and Moral Reason (1988) expanded on this project, clarifying that (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28. What Is morality? And why can't we decide? (original title).Stephen R. Palmquist - 2013 - Morality: Diversity of Concepts and Meanings.
    I was invited to contribute this short piece to a book published in Russia, consisting of brief statements on the nature of morality written by approximately 90 scholars. Each essay is published in both English and Russian. My essay offers my considered answer to the question posed in the title, though in the end all contributions were published without titles.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  29. An Eternal Society Paradox.Wade A. Tisthammer - 2020 - Aporia 30 (1):49-58.
    An eternal society with the abilities of ordinary humans in each year of its existence would have had the ability to actualize a logical contradiction. This fact casts doubt on the metaphysical possibility of an infinite past. In addition to using this paradox in an argument against an infinite past, one can also use the paradox mutatis mutandis as a decisive argument against the sempiternality of God.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  30. ST, LP and Tolerant Metainferences.Bogdan Dicher & Francesco Paoli - 2019 - In Can Başkent & Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency. Springer Verlag. pp. 383-407.
    The strict-tolerant approach to paradox promises to erect theories of naïve truth and tolerant vagueness on the firm bedrock of classical logic. We assess the extent to which this claim is founded. Building on some results by Girard we show that the usual proof-theoretic formulation of propositional ST in terms of the classical sequent calculus without primitive Cut is incomplete with respect to ST-valid metainferences, and exhibit a complete calculus for the same class of metainferences. We also argue that the (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   38 citations  
  31. Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science.Henry Prakken & Paul McNamara (eds.) - 1999 - Amsterdam/Oxford/Tokyo/Washington DC: IOS Press.
    This anthology contains revised versions of selected papers presented at the fourth bi-annual international deontic logic conference, DEON’98. This volume includes our substantial introduction, and an article from me as a contributor. The volume includes papers from all four distinguished invited speakers, David Makinson, Donald Nute, Claudio Pizzi, and the founder of deontic logic, Georg Von Wright. Other notables among the authors are Dov Gabbay (co-editor of the Handbook on Philosophical Logic vols.1-4, and editor of a number of logic book (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark   1 citation  
  32. Chisholm's Modal Paradox(es) and Counterpart Theory 50 Years On.Murali Ramachandran - forthcoming - Logic and Logical Philosophy:1.
    Lewis’s [1968] counterpart theory (LCT for short), motivated by his modal realism, made its appearance within a year of Chisholm’s modal paradox [1967]. We are not modal realists, but we argue that a satisfactory resolution to the paradox calls for a counterpart-theoretic (CT-)semantics. We make our case by showing that the Chandler–Salmon strategy of denying the S4 axiom [◊◊ψ →◊ψ] is inadequate to resolve the paradox – we take on Salmon’s attempts to defend that strategy against objects from Lewis and (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33. Two new series of principles in the interpretability logic of all reasonable arithmetical theories.Evan Goris & Joost J. Joosten - 2020 - Journal of Symbolic Logic 85 (1):1-25.
    The provability logic of a theory T captures the structural behavior of formalized provability in T as provable in T itself. Like provability, one can formalize the notion of relative interpretability giving rise to interpretability logics. Where provability logics are the same for all moderately sound theories of some minimal strength, interpretability logics do show variations.The logic IL is defined as the collection of modal principles that are provable in any moderately sound theory of some minimal strength. In this article (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  34. Explicitní/implicitní přesvědčení a derivační systémy [Explicit/Implicit Belief and Derivation Systems].Jiri Raclavsky & Ivo Pezlar - 2019 - Filosoficky Casopis 67 (1): 89-120.
    The problem of hyperintensional contexts, and the problem of logical omniscience, shows the severe limitation of possible-worlds semantics which is employed also in standard epistemic logic. As a solution, we deploy here hyperintensional semantics according to which the meaning of an expression is an abstract structured algorithm, namely Tichý's construction. Constructions determine the denotata of expressions. Propositional attitudes are modelled as attitudes towards constructions of truth values. Such a model of belief is, of course, inferentially restrictive. We therefore also propose (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  35. John A. Carpenter, Omar K. Moore, Charles R. Snyder, and Edith S. Lisansky. Alcohol and higher-order problem solving. Quarterly journal of studies on alcohol , vol. 22 , pp. 183–222. [REVIEW]Alonzo Church - 1965 - Journal of Symbolic Logic 30 (2):243.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36. Marshall Swain. Editor's introduction. Induction, acceptance, and rational belief, edited by Marshall Swain, D. Reidel Publishing Company, Dordrecht-Holland, and Humanities Press, New York, 1970, pp. 1–5. - Frederic Schick. Three logics of belief. Induction, acceptance, and rational belief, edited by Marshall Swain, D. Reidel Publishing Company, Dordrecht-Holland, and Humanities Press, New York, 1970, pp. 6–26. - Marshall Swain. The consistency of rational belief. Induction, acceptance, and rational belief, edited by Marshall Swain, D. Reidel Publishing Company, Dordrecht-Holland, and Humanities Press, New York, 1970, pp. 27–54. - Henry E. KyburgJr., Conjunctivitis. Induction, acceptance, and rational belief, edited by Marshall Swain, D. Reidel Publishing Company, Dordrecht-Holland, and Humanities Press, New York, 1970, pp. 55–82. - Gilbert H. Harman. Induction. A discussion of the relevance of the theory of knowledge to the theory of induction . Induction, acceptance, and rational bel. [REVIEW]Ian Hacking - 1974 - Journal of Symbolic Logic 39 (1):166-168.
  37. Irving M. Copi. The theory of logical types. Routledge & Kegan Paul, London1971, x + 129 pp. [REVIEW]Francis Jeffry Pelletier - 1974 - Journal of Symbolic Logic 39 (1):174-177.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38. Burge Tyler. Frege and the hierarchy. Synthese, vol. 40 , pp. 265–281.Parsons Terence D.. Frege's hierarchies of indirect senses and the paradox of analysis. The foundations of analytic philosophy, edited by French Peter A., Uehling Theodore E. Jr., and Wettstein Howard K., Midwest studies in philosophy, vol. 6, University of Minnesota Press, Minneapolis 1981, pp. 37–57. [REVIEW]M. J. Cresswell - 1983 - Journal of Symbolic Logic 48 (2):495-496.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39. James Cargile. Paradoxes. A study in form and predication. Cambridge studies in philosophy. Cambridge University Press, Cambridge etc. 1979, xvii + 308 pp. [REVIEW]John Hawthorn - 1985 - Journal of Symbolic Logic 50 (1):250-252.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40. Nicholas M. Asher and Johan A. W. Kamp. The knower's paradox and representational theories of attitudes. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 131–147. [REVIEW]William J. Rapaport - 1988 - Journal of Symbolic Logic 53 (2):666.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  41. Second-Order Logic of Paradox.Allen P. Hazen & Francis Jeffry Pelletier - 2018 - Notre Dame Journal of Formal Logic 59 (4):547-558.
    The logic of paradox, LP, is a first-order, three-valued logic that has been advocated by Graham Priest as an appropriate way to represent the possibility of acceptable contradictory statements. Second-order LP is that logic augmented with quantification over predicates. As with classical second-order logic, there are different ways to give the semantic interpretation of sentences of the logic. The different ways give rise to different logical advantages and disadvantages, and we canvass several of these, concluding that it will be extremely (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  42. On the Paradox of the Adder.Ferenc András - 2011 - The Reasoner 5 (3).
    Sometimes it is worth using Tarski’s solution rather than merely mentioning it.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43. ‘What the Tortoise Said to Achilles’: Lewis Carroll's Paradox of Inference. [REVIEW]Corine Besson - 2018 - History and Philosophy of Logic 39 (1):96-98.
    This double issue of the Carrollian, the journal of the Lewis Carroll Society, is entirely devoted to Lewis Carroll's famous short paper published in the journal Mind in 1895 under the title ‘What...
    Remove from this list   Direct download (10 more)  
     
    Export citation  
     
    Bookmark  
  44. Curry's Paradox.Lionel Shapiro & Jc Beall - 2017 - Edward N. Zalta (Ed.), The Stanford Encyclopedia of Philosophy. CSLI Publications.
    “Curry’s paradox”, as the term is used by philosophers today, refers to a wide variety of paradoxes of self-reference or circularity that trace their modern ancestry to Curry (1942b) and Löb (1955). The common characteristic of these so-called Curry paradoxes is the way they exploit a notion of implication, entailment or consequence, either in the form of a connective or in the form of a predicate. Curry’s paradox arises in a number of different domains. Like Russell’s paradox, it can take (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  45. The truth functional hypothesis does not imply the liars paradox.M. Martins Silva - 2017 - Unisinos Journal of Philosophy 17 (3):1-2.
    The truth-functional hypothesis states that indicative conditional sentences and the material implication have the same truth conditions. Haze (2011) has rejected this hypothesis. He claims that a self-referential conditional, coupled with a plausible assumption about its truth-values and the assumption that the truth-functional hypothesis is true, lead to a liar’s paradox. Given that neither the self-referential conditional nor the assumption about its truth-values are problematic, the culprit of the paradox must be the truth-functional hypothesis. Therefore, we should reject it. In (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  46. 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 recommend a radical (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  47. Cantor’s Proof in the Full Definable Universe.Laureano Luna & William Taylor - 2010 - Australasian Journal of Logic 9:10-25.
    Cantor’s proof that the powerset of the set of all natural numbers is uncountable yields a version of Richard’s paradox when restricted to the full definable universe, that is, to the universe containing all objects that can be defined not just in one formal language but by means of the full expressive power of natural language: this universe seems to be countable on one account and uncountable on another. We argue that the claim that definitional contexts impose restrictions on the (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  48. Interpretando la Paradoja de Moore.Cristina Borgoni - 2008 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 23 (2):145-161.
    RESUMEN: Este trabajo ofrece una lectura de la Paradoja de Moore que pone énfasis en su relevancia para nuestra comprensión de la racionalidad y de la interpretación lingüística. Mantiene que las oraciones que dan origen a la paradoja no necesitan entenderse en términos de ausencia de una contradicción, sino más bien en términos de ausencia de racionalidad, entendida esta como un término más amplio que el de coherencia y consistencia lógica. Se defenderá tal posición por medio de tres tesis, dos (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49. The very idea of a substructural approach to paradox.Lionel Shapiro - 2016 - Synthese 199 (Suppl 3):767-786.
    This paper aims to call into question the customary division of logically revisionary responses to the truth-theoretic paradoxes into those that are “substructural” and those that are “ structural.” I proceed by examining, as a case study, Beall’s recent proposal based on the paraconsistent logic LP. Beall formulates his response to paradox in terms of a consequence relation that obeys all standard structural rules, though at the price of the language’s lacking a detaching conditional. I argue that the same response (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  50. A. S. Kahr, Edward F. Moore, and Hao Wang. Entscheidungsproblem reduced to the ∀∃∀ case. Proceedings of the National Academy of Sciences, Bd. 48 , S. 365–377. [REVIEW]W. Ackermann - 1962 - Journal of Symbolic Logic 27 (2):225-225.
1 — 50 / 304