Results for 'Curry, Oliver'

1000+ found
Order:
  1.  19
    Altruism in Social Networks: Evidence for a 'Kinship Premium'.Oliver Curry, Sam G. B. Roberts & Robin I. M. Dunbar - unknown
    Why and under what conditions are individuals altruistic to family and friends in their social networks? Evolutionary psychology suggests that such behaviour is primarily the product of adaptations for kin- and reciprocal altruism, dependent on the degree of genetic relatedness and exchange of benefits, respectively. For this reason, individuals are expected to be more altruistic to family members than to friends: whereas family members can be the recipients of kin and reciprocal altruism, friends can be the recipients of reciprocal altruism (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  2.  23
    Do Birds of a Feather Flock Together?Oliver Curry & Robin I. M. Dunbar - 2013 - Human Nature 24 (3):336-347.
    Cooperation requires that individuals are able to identify, and preferentially associate with, others who have compatible preferences and the shared background knowledge needed to solve interpersonal coordination problems. The present study investigates the nature of such similarity within social networks, asking: What do friends have in common? And what is the relationship between similarity and altruism? The results show that similarity declines with frequency of contact; similarity in general is a significant predictor of altruism and emotional closeness; and, specifically, sharing (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  36
    Constituents of Political Cognition: Race, Party Politics, and the Alliance Detection System.David Pietraszewski, Oliver Scott Curry, Michael Bang Petersen, Leda Cosmides & John Tooby - 2015 - Cognition 140:24-39.
    Research suggests that the mind contains a set of adaptations for detecting alliances: an alliance detection system, which monitors for, encodes, and stores alliance information and then modifies the activation of stored alliance categories according to how likely they will predict behavior within a particular social interaction. Previous studies have established the activation of this system when exposed to explicit competition or cooperation between individuals. In the current studies we examine if shared political opinions produce these same effects. In particular, (...)
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  29
    Patience is a Virtue: Cooperative People Have Lower Discount Rates.Oliver S. Curry, Michael E. Price & Jade G. Price - unknown
    Reciprocal altruism involves foregoing an immediate benefit for the sake of a greater long-term reward. It follows that individuals who exhibit a stronger preference for future over immediate rewards should be more disposed to engage in reciprocal altruism – in other words, ‘patient’ people should be more cooperative. The present study tested this prediction by investigating whether participants’ contributions in a public-good game correlated with their ‘discount rate’. The hypothesis was supported: patient people are indeed more cooperative. The paper discusses (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  5.  14
    The Complexity of Jokes Is Limited by Cognitive Constraints on Mentalizing.R. I. M. Dunbar, Jacques Launay & Oliver Curry - 2016 - Human Nature 27 (2):130-140.
  6. Morality is Fundamentally an Evolved Solution to Problems of Social Cooperation.Oliver Curry & Mark Alfano - forthcoming - Critique of Anthropology.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  78
    The Integrative Framework for the Behavioural Sciences has Already Been Discovered, and It is the Adaptationist Approach.Michael E. Price, William M. Brown & Oliver S. Curry - 2007 - Behavioral and Brain Sciences 30 (1):39-40.
    The adaptationist framework is necessary and sufficient for unifying the social and natural sciences. Gintis's “beliefs, preferences, and constraints” (BPC) model compares unfavorably to this framework because it lacks criteria for determining special design, incorrectly assumes that standard evolutionary theory predicts individual rationality maximisation, does not adequately recognize the impact of psychological mechanisms on culture, and is mute on the behavioural implications of intragenomic conflict. (Published Online April 27 2007).
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  8.  34
    Moral Psychology: The Evolution of Morality: Adaptations and Innateness.Walter Sinnott-Armstrong (ed.) - 2007 - Bradford.
    For much of the twentieth century, philosophy and science went their separate ways. In moral philosophy, fear of the so-called naturalistic fallacy kept moral philosophers from incorporating developments in biology and psychology. Since the 1990s, however, many philosophers have drawn on recent advances in cognitive psychology, brain science, and evolutionary psychology to inform their work. This collaborative trend is especially strong in moral philosophy, and these volumes bring together some of the most innovative work by both philosophers and psychologists in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  9.  25
    Possible and Questionable: Opening Nietzsche's Genealogy to Feminine Body.Kristen Brown - 1999 - Hypatia 14 (3):39-58.
    : According to Kelly Oliver and Elizabeth Grosz, while Friedrich Nietzsche begins to open Western philosophy to the other, the body, he cuts off feminine body. Here I create a framework through which the possibility and questionability of a symbolically feminine body begins to emerge. I do this by using the metaphor of Indian curry. The metaphor works on two levels: 1) as a symbolically feminine body; 2) as Nietzsche's conception of subject-formation as a dynamic monism.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  10.  19
    Possible and Questionable: Opening Nietzsche's Genealogy to Feminine Body.Kristen Brown - 1999 - Hypatia 14 (3):39-58.
    According to Kelly Oliver and Elizabeth Grosz, while Friedrich Nietzsche begins to open Western philosophy to the other, the body, he cuts off feminine body. Here I create a framework through which the possibility and questionability of a symbolically feminine body begins to emerge. I do this by using the metaphor of Indian curry. The metaphor works on two levels: 1) as a symbolically feminine body; 2) as Nietzsche's conception of subject-formation as a dynamic monism.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  2
    To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism.Haskell B. Curry, J. Roger Hindley & J. P. Seldin (eds.) - 1980 - Academic Press.
  12. Narratives and Narrators: A Philosophy of Stories.Gregory Currie - 2010 - Oxford University Press.
    This text offers a reflection on the nature and significance of narrative in human communication.
    Direct download  
     
    Export citation  
     
    Bookmark   40 citations  
  13.  51
    External Curries.Heinrich Wansing & Graham Priest - 2015 - Journal of Philosophical Logic 44 (4):453-471.
    Curry’s paradox is well known. The original version employed a conditional connective, and is not forthcoming if the conditional does not satisfy contraction. A newer version uses a validity predicate, instead of a conditional, and is not forthcoming if validity does not satisfy structural contraction. But there is a variation of the paradox which uses “external validity”. And since external validity contracts, one might expect the appropriate version of the Curry paradox to be inescapable. In this paper we show that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  14.  26
    The Man-Not: Race, Class, Genre, and the Dilemmas of Black Manhood.Tommy J. Curry - 2017 - Philadelphia, PA, USA: Temple University Press.
    Tommy J. Curry’s provocative book The Man-Not is a justification for Black Male Studies and won the 2018 American Book Award. He posits that we should conceptualize the Black male as a victim, oppressed by his sex. The Man-Not, therefore, is a corrective of sorts, offering a concept of Black males that could challenge the existing accounts of Black men and boys desiring the power of white men who oppress them that has been proliferated throughout academic research across disciplines. -/- (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  15. Curry’s Paradox and Ω -Inconsistency.Andrew Bacon - 2013 - Studia Logica 101 (1):1-9.
    In recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes. In this paper I show that a number of logics are susceptible to a strengthened version of Curry's paradox. This can be adapted to provide a proof theoretic analysis of the omega-inconsistency in Lukasiewicz's continuum valued logic, allowing us to better evaluate which logics are suitable for a naïve truth theory. On this basis I identify two natural subsystems of Lukasiewicz logic which individually, but (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  16.  87
    Killing Boogeymen: Phallicism and the Misandric Mischaracterizations of Black Males in Theory.Tommy J. Curry - 2018 - Res Philosophica 95 (2):235-272.
    Black males have been characterized as violent, misogynist, predatory rapists by gender theorists dating back to mid-nineteenth–century ethnologists to contemporary intersectional feminists. These caricatures of Black men and boys are not rooted in any actual studies or empirical findings, but the stereotypes found throughout various racist social scientific literatures that held Black males to be effeminate while nonetheless hyper-masculine and delinquent. This paper argues that contemporary gender theories not only deny the peculiar sexual oppression of racialized outgroup males under patriarchy, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  17.  96
    How Beliefs Are Like Colors.Devin Sanchez Curry - forthcoming - Synthese:1-30.
    Double dissociations between perceivable colors and physical properties of colored objects have led many philosophers to endorse relationalist accounts of color. I argue that there are analogous double dissociations between *attitudes* of belief—the beliefs that people attribute to each other in everyday life—and intrinsic *cognitive states* of belief—the beliefs that some cognitive scientists posit as cogs in cognitive systems—pitched at every level of psychological explanation. These dissociations provide good reason to refrain from conflating attitudes of belief with intrinsic cognitive states (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Recreative Minds: Imagination in Philosophy and Psychology.Gregory Currie & Ian Ravenscroft - 2002 - Oxford University Press.
    Recreative Minds develops a philosophical theory of imagination that draws upon the latest work in psychology. This theory illuminates the use of imagination in coming to terms with art, its role in enabling us to live as social beings, and the psychological consequences of disordered imagination. The authors offer a lucid exploration of a fascinating subject.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   186 citations  
  19. Interpretivism and Norms.Devin Sanchez Curry - 2020 - Philosophical Studies 177 (4):905-930.
    This article reconsiders the relationship between interpretivism about belief and normative standards. Interpretivists have traditionally taken beliefs to be fixed in relation to norms of interpretation. However, recent work by philosophers and psychologists reveals that human belief attribution practices are governed by a rich diversity of normative standards. Interpretivists thus face a dilemma: either give up on the idea that belief is constitutively normative or countenance a context-sensitive disjunction of norms that constitute belief. Either way, interpretivists should embrace the intersubjective (...)
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  20. The Nature of Fiction.Gregory Currie - 1990 - Cambridge University Press.
    This important book provides a theory about the nature of fiction, and about the relation between the author, the reader and the fictional text. The approach is philosophical: that is to say, the author offers an account of key concepts such as fictional truth, fictional characters, and fiction itself. The book argues that the concept of fiction can be explained partly in terms of communicative intentions, partly in terms of a condition which excludes relations of counterfactual dependence between the world (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   176 citations  
  21.  63
    Plural Logic.Alex Oliver & Timothy Smiley - 2013 - Oxford University Press UK.
    Alex Oliver and Timothy Smiley provide a new account of plural logic. They argue that there is such a thing as genuinely plural denotation in logic, and expound a framework of ideas that includes the distinction between distributive and collective predicates, the theory of plural descriptions, multivalued functions, and lists.
    Direct download  
     
    Export citation  
     
    Bookmark   61 citations  
  22.  69
    Validity Curry Strengthened.Lionel Shapiro - 2013 - Thought: A Journal of Philosophy 2 (1):100-107.
    Several authors have argued that a version of Curry's paradox involving validity motivates rejecting the structural rule of contraction. This paper criticizes two recently suggested alternative responses to “validity Curry.” There are three salient stages in a validity Curry derivation. Rejecting contraction blocks the first, while the alternative responses focus on the second and third. I show that a distinguishing feature of validity Curry, as contrasted with more familiar forms of Curry's paradox, is that paradox arises already at the first (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  23. Two Flavors of Curry’s Paradox.Jc Beall & Julien Murzi - 2013 - Journal of Philosophy 110 (3):143-165.
    In this paper, we distinguish two versions of Curry's paradox: c-Curry, the standard conditional-Curry paradox, and v-Curry, a validity-involving version of Curry's paradox that isn’t automatically solved by solving c-curry. A unified treatment of curry paradox thus calls for a unified treatment of both c-Curry and v-Curry. If, as is often thought, c-Curry paradox is to be solved via non-classical logic, then v-Curry may require a lesson about the structure—indeed, the substructure—of the validity relation itself.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   71 citations  
  24.  30
    The Synthetization of Human Voices.Oliver Bendel - 2019 - AI and Society 34 (1):83-89.
    The synthetization of voices, or speech synthesis, has been an object of interest for centuries. It is mostly realized with a text-to-speech system, an automaton that interprets and reads aloud. This system refers to text available for instance on a website or in a book, or entered via popup menu on the website. Today, just a few minutes of samples are enough to be able to imitate a speaker convincingly in all kinds of statements. This article abstracts from actual products (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  25.  41
    Subjectivity Without Subjects: From Abject Fathers to Desiring Mothers.Kelly Oliver - 1998 - Rowman & Littlefield Publishers.
    In Subjectivity without Subjects, well-known philosopher and feminist theorist Kelly Oliver looks at aspects of popular culture, film, science, and law to examine contemporary notions of paternity and maternity. Oliver studies the roles of paternal responsibility, virility, and race in such events as the Million Man March and the Promise Keeper's movement and suggests alternative ways to conceive of self-other relations and the subjective identity at stake in them. In addition she offers a detailed analysis of particular works (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  26.  77
    She Touched Me: Five Snapshots of Adult Sexual Violations of Black Boys.Tommy J. Curry & Ebony A. Utley - 2018 - Kennedy Institute of Ethics Journal 28 (2):205-241.
    Imagine: A 15-year-old girl has sex with a 20-year-old man. It is her first sexual experience. Her first time having intercourse. She remembers that “he basically took it from me,” but feels an affection for the person and the event. She was not at the age of consent, but describes the experience as “just pleasure.” Was this rape or simply a man ushering a young girl into womanhood? Now imagine her as a 15-year-old boy and him to be a 20-year-old (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  41
    From Things to Thinking: Cognitive Archaeology.Adrian Currie & Anton Killin - 2019 - Mind and Language 34 (2):263-279.
    Cognitive archaeologists infer from material remains to the cognitive features of past societies. We characterize cognitive archaeology in terms of trace-based reasoning, which in the case of cognitive archaeology involves inferences drawing upon background theory linking objects from the archaeological record to cognitive features. We analyse such practices, examining work on cognitive evolution, language, and musicality. We argue that the central epistemic challenge for cognitive archaeology is often not a paucity of material remains, but insufficient constraint from cognitive theories. However, (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  28.  96
    Foundations of Mathematical Logic.Haskell B. Curry - 1963 - Dover Publications.
    Comprehensive account of constructive theory of first-order predicate calculus. Covers formal methods including algorithms and epi-theory, brief treatment of Markov’s approach to algorithms, elementary facts about lattices and similar algebraic systems, more. Philosophical and reflective as well as mathematical. Graduate-level course. 1963 ed. Exercises.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   82 citations  
  29. Decolonizing the Intersection: Black Male Studies as a Critique of Intersectionality’s Indebtedness to Subculture of Violence Theory.Tommy J. Curry - 2021 - In Robert Beshara (ed.), Critical Psychology Praxis: Psychosocial Non-Alignment to Modernity/Coloniality. New York: pp. 132-154.
    Intersectionality has utilized various feminist theories that continue subculture of violence thinking about Black men and boys. While intersectional feminists often claim that intersectionality leads to a clearer social analysis of power and hierarchies throughout society and within groups, the categories and claims of intersectionality fail to distinguish themselves from previously racist theories that sought to explain race, class, and gender, based on subcultural values. This article is the first to interrogate the theories used to construct the gendered categories and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  12
    The Athenian Expounders of the Sacred and Ancestral Law. By J. H. Oliver. Pp. Xiv + 179. Baltimore: Johns Hopkins Press , 1950. 40s. [REVIEW]M. N. Tod & J. H. Oliver - 1951 - Journal of Hellenic Studies 71:270-271.
  31. Street Smarts.Devin Sanchez Curry - forthcoming - Synthese:1-20.
    A pluralistic approach to folk psychology must countenance the evaluative, regulatory, predictive, and explanatory roles played by attributions of intelligence in social practices across cultures. Building off of the work of the psychologist Robert Sternberg and the philosophers Gilbert Ryle and Daniel Dennett, I argue that a relativistic interpretivism best accounts for the many varieties of intelligence that emerge from folk discourse. To be intelligent (in the sense invoked in folk psychological practices) is to be comparatively good at solving intellectual (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  27
    On the Interpretation of Feynman Diagrams, or, Did the LHC Experiments Observe H → Γγ?Oliver Passon - 2019 - European Journal for Philosophy of Science 9 (2):20.
    According to the received view Feynman diagrams are a bookkeeping device in complex perturbative calculations. Thus, they do not provide a representation or model of the underlying physical process. This view is in apparent tension with scientific practice in high energy physics, which analyses its data in terms of “channels”. For example the Higgs discovery was based on the observation of the decay H → γγ – a process which can be easily represented by the corresponding Feynman diagrams. I take (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33. The Portable Kristeva.Kelly Oliver (ed.) - 2002 - Columbia University Press.
    As a linguist, Julia Kristeva has pioneered a revolutionary theory of the sign in its relation to social and political emancipation; as a practicing psychoanalyst, she has produced work on the nature of the human subject and sexuality, and on the "new maladies" of today's neurotic. _The Portable Kristeva_ is the only fully comprehensive compilation of Kristeva's key writings. The second edition includes added material from Kristeva's most important works of the past five years, including _The Sense and Non-Sense of (...)
     
    Export citation  
     
    Bookmark   8 citations  
  34.  53
    Combinatory Logic.Haskell B. Curry - 1958 - Amsterdam: North-Holland Pub. Co..
    CHAPTER Addenda to Pure Combinatory Logic This chapter will treat various additions to, and modifications of, the subject matter of Chapters-7. ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   67 citations  
  35.  60
    An Ontology of Art.Gregory Currie - 1989 - St. Martin's Press.
  36.  85
    Visual Imagery as the Simulation of Vision.Gregory Currie - 1995 - Mind and Language 10 (1-2):25-44.
  37. How to Think About the Modularity of Mind Reading.Gregory Currie & Kim Sterelny - 2000 - Philosophical Quarterly 50 (199):145-160.
  38. Conditionals and Curry.Daniel Nolan - 2016 - Philosophical Studies 173 (10):2629-2647.
    Curry's paradox for "if.. then.." concerns the paradoxical features of sentences of the form "If this very sentence is true, then 2+2=5". Standard inference principles lead us to the conclusion that such conditionals have true consequents: so, for example, 2+2=5 after all. There has been a lot of technical work done on formal options for blocking Curry paradoxes while only compromising a little on the various central principles of logic and meaning that are under threat. -/- Once we have a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  39.  59
    Principles of Gestalt Psychology.Oliver L. Reiser - 1936 - Philosophical Review 45 (4):412-415.
    Routledge is now re-issuing this prestigious series of 204 volumes originally published between 1910 and 1965. The titles include works by key figures such asC.G. Jung, Sigmund Freud, Jean Piaget, Otto Rank, James Hillman, Erich Fromm, Karen Horney and Susan Isaacs. Each volume is available on its own, as part of a themed mini-set, or as part of a specially-priced 204-volume set. A brochure listing each title in the "International Library of Psychology" series is available upon request.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   268 citations  
  40. Substantivalist and Relationalist Approaches to Spacetime.Oliver Pooley - 2013 - In Robert Batterman (ed.), The Oxford Handbook of Philosophy of Physics. Oxford University Press.
    Substantivalists believe that spacetime and its parts are fundamental constituents of reality. Relationalists deny this, claiming that spacetime enjoys only a derivative existence. I begin by describing how the Galilean symmetries of Newtonian physics tell against both Newton's brand of substantivalism and the most obvious relationalist alternative. I then review the obvious substantivalist response to the problem, which is to ditch substantival space for substantival spacetime. The resulting position has many affinities with what are arguably the most natural interpretations of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   71 citations  
  41. Beliefs as Inner Causes: The (Lack of) Evidence.Devin Sanchez Curry - 2018 - Philosophical Psychology 31 (6):850-877.
    Many psychologists studying lay belief attribution and behavior explanation cite Donald Davidson in support of their assumption that people construe beliefs as inner causes. But Davidson’s influential argument is unsound; there are no objective grounds for the intuition that the folk construe beliefs as inner causes that produce behavior. Indeed, recent experimental work by Ian Apperly, Bertram Malle, Henry Wellman, and Tania Lombrozo provides an empirical framework that accords well with Gilbert Ryle’s alternative thesis that the folk construe beliefs as (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  42.  32
    Currying Omnipotence: A Reply to Beall and Cotnoir.Andrew Tedder & Guillermo Badia - 2018 - Thought: A Journal of Philosophy 7 (2):119-121.
    Beall and Cotnoir (2017) argue that theists may accept the claim that God's omnipotence is fully unrestricted if they also adopt a suitable nonclassical logic. Their primary focus is on the infamous Stone problem (i.e., whether God can create a stone too heavy for God to lift). We show how unrestricted omnipotence generates Curry‐like paradoxes. The upshot is that Beall and Cotnoir only provide a solution to one version of the Stone problem, but that unrestricted omnipotence generates other problems which (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43. Image and Mind: Film, Philosophy and Cognitive Science.Gregory Currie - 1995 - Cambridge University Press.
    This is a book about the nature of film: about the nature of moving images, about the viewer's relation to film, and about the kinds of narrative that film is capable of presenting. It represents a very decisive break with the semiotic and psychoanalytic theories of film which have dominated discussion. The central thesis is that film is essentially a pictorial medium and that the movement of film images is real rather than illusory. A general theory of pictorial representation is (...)
    Direct download  
     
    Export citation  
     
    Bookmark   40 citations  
  44. Curry's Paradox.Jc Beall - manuscript
    Curry's paradox, so named for its discoverer, namely Haskell B. Curry, is a paradox within the family of so-called paradoxes of self-reference (or paradoxes of circularity). Like the liar paradox (e.g., ‘this sentence is false’) and Russell's paradox , Curry's paradox challenges familiar naive theories, including naive truth theory (unrestricted T-schema) and naive set theory (unrestricted axiom of abstraction), respectively. If one accepts naive truth theory (or naive set theory), then Curry's paradox becomes a direct challenge to one's theory of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  45.  4
    Frege's Conception of Numbers as Objects. [REVIEW]Gregory Currie - 1985 - British Journal for the Philosophy of Science 36 (4):475-479.
  46. Mathematics, Science, and Epistemology. Edited by John Worrall and Gregory Currie. --.Imre Lakatos, Gregory Currie & John Worrall - 1978 - Cambridge University Press.
     
    Export citation  
     
    Bookmark   4 citations  
  47.  45
    Lectures on the Curry-Howard Isomorphism.Morten Heine Sørensen - 2006 - Elsevier.
    The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance, minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to explicit substitution, etc. The isomorphism has many aspects, even at the syntactic level: formulas correspond to types, proofs correspond to terms, provability corresponds to inhabitation, proof normalization corresponds to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   18 citations  
  48. Curry's Paradox.Robert K. Meyer, Richard Routley & J. Michael Dunn - 1979 - Analysis 39 (3):124 - 128.
  49.  91
    Arts and Minds.Gregory Currie - 2004 - Oxford University Press.
    Philosophical questions about the arts go naturally with other kinds of questions about them. Art is sometimes said to be an historical concept. But where in our cultural and biological history did art begin? If art is related to play and imagination, do we find any signs of these things in our nonhuman relatives? Sometimes the other questions look like ones the philosopher of art has to answer. Anyone who thinks that interpretation in the arts is an activity that leaves (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  50.  74
    Curry's Paradox in Contractionless Constructive Logic.Akama Seiki - 1996 - Journal of Philosophical Logic 25 (2):135 - 150.
    We propose contractionless constructive logic which is obtained from Nelson's constructive logic by deleting contractions. We discuss the consistency of a naive set theory based on the proposed logic in relation to Curry's paradox. The philosophical significance of contractionless constructive logic is also argued in comparison with Fitch's and Prawitz's systems.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 1000