Log in

Relevant bibliographies by topics / Curry's paradox / Journal articles

To see the other types of publications on this topic, follow the link: Curry's paradox.

Journal articles on the topic 'Curry's paradox'

Author: Grafiati

Published: 4 June 2021

Last updated: 31 January 2023

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 17 journal articles for your research on the topic 'Curry's paradox.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Rogerson, Susan. "Natural Deduction and Curry's Paradox." Journal of Philosophical Logic 36, no. 2 (June 30, 2006): 155–79. http://dx.doi.org/10.1007/s10992-006-9032-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Ahmad, Rashed. "A Recipe for Paradox." Australasian Journal of Logic 19, no. 5 (December 20, 2022): 254–81. http://dx.doi.org/10.26686/ajl.v19i5.7887.

Full text

Abstract:

In this paper, we provide a recipe that not only captures the common structure of semantic paradoxes but also captures our intuitions regarding the relations between these paradoxes. Before we unveil our recipe, we first talk about a well-known schema introduced by Graham Priest, namely, the Inclosure Schema. Without rehashing previous arguments against the Inclosure Schema, we contribute different arguments for the same concern that the Inclosure Schema bundles together the wrong paradoxes. That is, we will provide further arguments on why the Inclosure Schema is both too narrow and too broad

APA, Harvard, Vancouver, ISO, and other styles

3

Bunder, M. W. "Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic." Journal of Symbolic Logic 52, no. 1 (March 1987): 89–110. http://dx.doi.org/10.2307/2273864.

Full text

Abstract:

It is well known that combinatory logic with unrestricted introduction and elimination rules for implication is inconsistent in the strong sense that an arbitrary term Y is provable. The simplest proof of this, now usually called Curry's paradox, involves for an arbitrary term Y, a term X defined by X = Y(CPy).The fact that X = PXY = X ⊃ Y is an essential part of the proof.The paradox can be avoided by placing restrictions on the implication introduction rule or on the axioms from which it can be proved.In this paper we determine the forms that must be taken by inconsistency proofs of systems

APA, Harvard, Vancouver, ISO, and other styles

4

Beall, Jc, and Julien Murzi. "Two Flavors of Curry’s Paradox." Journal of Philosophy 110, no. 3 (2013): 143–65. http://dx.doi.org/10.5840/jphil2013110336.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Bacon, Andrew. "Curry’s Paradox and ω -Inconsistency". Studia Logica 101, № 1 (7 липня 2012): 1–9. http://dx.doi.org/10.1007/s11225-012-9373-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Joaquin, Jeremiah Joven. "OMNIPOTENCE, GAPS, AND CURRY." European Journal for Philosophy of Religion 14, no. 4 (December 16, 2022): 141–48. http://dx.doi.org/10.24204/ejpr.2022.3796.

Full text

Abstract:

In “God of the Gaps: A Neglected Reply to God’s Stone Problem”, Jc Beall and A. J. Cotnoir offer a gappy solution to the paradox of (unrestricted) omnipotence that is typified by the classic stone problem. Andrew Tedder and Guillermo Badia, however, have recently argued that this solution could not be extended to a more serious Curry-like version of the paradox. In this paper, we show that such a gappy solution does extend to it

APA, Harvard, Vancouver, ISO, and other styles

7

Foukzon, Jaykov. "Relevant First-Order Logic LP# and Curry’s Paradox Resolution." Pure and Applied Mathematics Journal 4, no. 1 (2015): 6. http://dx.doi.org/10.11648/j.pamj.s.2015040101.12.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Robles, Gemma, and José M. Méndez. "Curry’s Paradox, Generalized Modus Ponens Axiom and Depth Relevance." Studia Logica 102, no. 1 (May 5, 2013): 185–217. http://dx.doi.org/10.1007/s11225-013-9471-x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Aitken, Wayne, and Jeffrey A. Barrett. "Computer Implication and the Curry Paradox." Journal of Philosophical Logic 33, no. 6 (December 2004): 631–37. http://dx.doi.org/10.1023/b:logi.0000046077.72722.61.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Irvine, A. D. "Gaps, Gluts, and Paradox." Canadian Journal of Philosophy Supplementary Volume 18 (1992): 273–99. http://dx.doi.org/10.1080/00455091.1992.10717306.

Full text

Abstract:

Consider the following sentence schema:This sentence entails that ϕ.Call a sentence which is obtained from this schema by the substitution of an arbitrary, contingent sentence, s, for ϕ, the sentence CS (for ‘Curry’s Sentence’). Thus,(CS) This sentence entails that s.Now ask the following question: Is CS true?One sentence classically entails a second if and only if it is impossible for both the first to be true and the second to be false. Thus ‘Xanthippe is a mother’ entails ‘Xanthippe is female’ if and only if it is impossible for both ‘Xanthippe is a mother’ to be true and ‘Xanthippe is fema

APA, Harvard, Vancouver, ISO, and other styles

11

Aziani, Alberto, Serena Favarin, and Gian Maria Campedelli. "A Security Paradox. The Influence Of Governance-Type Organized Crime Over the Surrounding Criminal Environment." British Journal of Criminology 60, no. 4 (March 21, 2020): 970–93. http://dx.doi.org/10.1093/bjc/azz087.

Full text

Abstract:

Abstract This study empirically demonstrates how governance-type organized crime groups (OCGs) operate as an enforcer against volume crimes in the communities they control and argues that their ability to mitigate volume crimes forms an integral component of controlling their territory in the long term. This is because the costs incurred from deterring other crimes are offset by the tangible and intangible revenues that it facilitates. Indeed, combating volume crimes fosters an environment in which OCGs can conduct their activities unfettered by other criminals and law enforcement agencies, sa

APA, Harvard, Vancouver, ISO, and other styles

12

Heath, Malcolm. "Greek Literature." Greece and Rome 64, no. 2 (October 2017): 182–87. http://dx.doi.org/10.1017/s0017383517000080.

Full text

Abstract:

I began my last set of reviews by expressing doubts about the speculative literary prehistory in Mary Bachvarova'sFrom Hittite to Homer(G&R64 [2017], 65). Near Eastern antecedents also feature in Bruno Currie'sHomer's Allusive Art. Currie displays more methodological awareness and more intellectual suppleness: he recognizes the possibility of parallels arising independently (213–15), but denies that his examples can be coincidental, while acknowledging that this confronts us with a ‘glaring paradox’ (217). To be fair, he has a point in this instance, and in many of his other case studies;

APA, Harvard, Vancouver, ISO, and other styles

13

Akama, Seiki. "Curry's paradox in contractionless constructive logic." Journal of Philosophical Logic 25, no. 2 (April 1996). http://dx.doi.org/10.1007/bf00247001.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Weber, Zach. "A Theorem and a Paradox." Inference: International Review of Science 6, no. 3 (November 17, 2021). http://dx.doi.org/10.37282/991819.21.65.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Priest, Graham. "Löb’s Theorem and Curry’s Paradox." Inference: International Review of Science 6, no. 3 (September 23, 2021). http://dx.doi.org/10.37282/991819.21.49.

Full text

Abstract:

If a sentence says of itself that it is not true, there is little choice but to take it for its word. But what if a sentence says of itself that it is true, or, in any case, provable? Logically, there is an inconsistency in proving this statement. Martin Löb and Haskell Curry were two mathematical logicians who sought to examine this question.

APA, Harvard, Vancouver, ISO, and other styles

16

Tapia-Navarro, Manuel Eduardo, and Luis Estrada-González. "When Curry met Abel." Logic Journal of the IGPL, July 16, 2020. http://dx.doi.org/10.1093/jigpal/jzaa006.

Full text

Abstract:

Abstract Based on his Inclosure Schema and the Principle of Uniform Solution (PUS), Priest has argued that Curry’s paradox belongs to a different family of paradoxes than the Liar. Pleitz (2015, The Logica Yearbook 2014, pp. 233–248) argued that Curry’s paradox shares the same structure as the other paradoxes and proposed a scheme of which the Inclosure Schema is a particular case and he criticizes Priest’s position by pointing out that applying the PUS implies the use of a paraconsistent logic that does not validate Contraction, but that this can hardly seen as uniform. In this paper, we will

APA, Harvard, Vancouver, ISO, and other styles

17

Mora Ramirez, Rafael Félix. "A Pragmatic Dissolution of Curry’s Paradox." Logica Universalis, February 7, 2022. http://dx.doi.org/10.1007/s11787-022-00294-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!