Relevant bibliographies by topics / Curry's paradox

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters

Academic literature 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 lists of relevant articles, books, theses, conference reports, and other scholarly sources 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.

Journal articles on the topic "Curry's paradox"

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
More sources

Dissertations / Theses on the topic "Curry's paradox"

1

Eldridge-Smith, Peter, and peter eldridge-smith@anu edu au. "The Liar Paradox and its Relatives." The Australian National University. Faculty of Arts, 2008. http://thesis.anu.edu.au./public/adt-ANU20081016.173200.

Full text
Abstract:
My thesis aims at contributing to classifying the Liar-like paradoxes (and related Truth-teller-like expressions) by clarifying distinctions and relationships between these expressions and arguments. Such a classification is worthwhile, firstly, because it makes some progress towards reducing a potential infinity of versions into a finite classification; secondly, because it identifies a number of new paradoxes, and thirdly and most significantly, because it corrects the historically misplaced distinction between semantic and set-theoretic paradoxes. I emphasize the third result because the di
APA, Harvard, Vancouver, ISO, and other styles
2

Mora, Ramirez Rafael Félix. "La paradoja de Curry: un examen crítico." Doctoral thesis, Universidad Nacional Mayor de San Marcos, 2020. https://hdl.handle.net/20.500.12672/11682.

Full text
Abstract:
Se busca relacionar a la paradoja de Curry con la de El Mentiroso y la de Bertrand Russell. Para ello, se presenta cada paradoja acompañada de una de sus múltiples soluciones. Después de esta presentación, se realizan las comparaciones entre las paradojas expuestas para constar que si bien todas estas paradojas hacen uso de la autorreferencia o del predicado de ser miembro de sí mismo (autopertenecencia) se distinguen en que la de Curry no usa negaciones ni deriva en contradicciones. Además, solo la de Curry hace uso del principio de contracción. Finalmente, previa distinción entre solución y
APA, Harvard, Vancouver, ISO, and other styles
3

Eldridge-Smith, Peter. "The Liar Paradox and its Relatives." Phd thesis, 2008. http://hdl.handle.net/1885/49284.

Full text
Abstract:
My thesis aims at contributing to classifying the Liar-like paradoxes (and related Truth-teller-like expressions) by clarifying distinctions and relationships between these expressions and arguments. Such a classification is worthwhile, firstly, because it makes some progress towards reducing a potential infinity of versions into a finite classification; secondly, because it identifies a number of new paradoxes, and thirdly and most significantly, because it corrects the historically misplaced distinction between semantic and set-theoretic paradoxes. I emphasize the third result because the di
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Curry's paradox"

1

Simmons, Keith. The Theory at Work. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198791546.003.0007.

Full text
Abstract:
Chapter 7 puts the singularity theory to work on a number of semantic paradoxes that have intrinsic interest of their own. These include a transfinite paradox of denotation, and variations on the Liar paradox, including the Truth-Teller, Curry’s paradox, and paradoxical Liar loops. The transfinite paradox of denotation shows the need to accommodate limit ordinals. The Truth-Teller, like the Liar, exhibits semantic pathology-but, unlike the Liar, it does not produce a contradiction. The distinctive challenge of the Curry paradox is that it seems to allow us to prove any claim we like (for examp
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Curry's paradox"

1

Burgis, Benjamin Alan. "Dialetheism, Rejection, and Curry’s Paradox." In Logic Without Gaps or Gluts, 65–101. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-94624-1_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

"Naïve Proof and Curry’s Paradox." In From Arithmetic to Metaphysics, 61–68. De Gruyter, 2018. http://dx.doi.org/10.1515/9783110529494-005.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Cook, Roy T. "The Curry Generalization." In The Yablo Paradox, 173–84. Oxford University Press, 2014. http://dx.doi.org/10.1093/acprof:oso/9780199669608.003.0005.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Field, Hartry. "Adding a Conditional? Curry and Lukasiewicz." In Saving Truth From Paradox, 83–99. Oxford University Press, 2008. http://dx.doi.org/10.1093/acprof:oso/9780199230747.003.0005.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Salto, Francisco, Gemma Robles, and José M. Méndez. "Curry’s Paradox, Generalized Contraction Rule and Depth Relevance." In Proceedings of the XXIII World Congress of Philosophy, 35–39. Philosophy Documentation Center, 2018. http://dx.doi.org/10.5840/wcp23201819491.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Curry's paradox' for particular source types:
Journal articles
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!

To the bibliography