Results for 'Oliver Curry'

78 found
Order:
  1.  45
    Morality is Fundamentally an Evolved Solution to Problems of Social Cooperation.Oliver Curry & Mark Alfano - forthcoming - Critique of Anthropology.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3.  31
    Interpretivism Without Judgement-Dependence.Devin Sanchez Curry - forthcoming - Philosophia.
    In a recent article in this journal, Krzysztof Poslajko reconstructs—and endorses as probative—a dilemma for interpretivism first posed by Alex Byrne. On the first horn of the dilemma, the interpretivist takes attitudes to emerge in relation to an ideal interpreter (and thus loses any connection with actual folk psychological practices). On the second horn, the interpretivist takes attitudes to emerge in relation to individuals’ judgements (and thus denies the possibility of error). I show that this is a false dilemma. By (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  5. 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 (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6. Cartesian Critters Can't Remember.Devin Sanchez Curry - 2018 - Studies in History and Philosophy of Science Part A 69:72-85.
    Descartes held the following view of declarative memory: to remember is to reconstruct an idea that you intellectually recognize as a reconstruction. Descartes countenanced two overarching varieties of declarative memory. To have an intellectual memory is to intellectually reconstruct a universal idea that you recognize as a reconstruction, and to have a sensory memory is to neurophysiologically reconstruct a particular idea that you recognize as a reconstruction. Sensory remembering is thus a capacity of neither ghosts nor machines, but only of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. Rape as Spectator Sport and Creepshot Entertainment: Social Media and the Valorization of Lack of Consent.Kelly Oliver - 2015 - American Studies Journal (10):1-16.
    Lack of consent is valorized within popular culture to the point that sexual assault has become a spectator sport and creepshot entertainment on social media. Indeed, the valorization of nonconsensual sex has reached the extreme where sex with unconscious girls, especially accompanied by photographs as trophies, has become a goal of some boys and men.
    Download  
     
    Export citation  
     
    Bookmark  
  8. Uselesness: A Panegyric.David C. K. Curry - 2013 - The Good Society 22 (2).
    A defense of the value of studying what Aristotle, in the Politics, refers to as useless things, and thereby a defense of the 'uselessness' of the study of the liberal arts.
    Download  
     
    Export citation  
     
    Bookmark  
  9. Cabbage À la Descartes.Devin Sanchez Curry - 2016 - Ergo: An Open Access Journal of Philosophy 3:609-637.
    This article offers an interpretation of Descartes’s method of doubt. It wields an examination of Descartes’s pedagogy—as exemplified by The Search for Truth as well as the Meditations—to make the case for the sincerity (as opposed to artificiality) of the doubts engendered by the First Meditation. Descartes was vigilant about balancing the need to use his method of doubt to achieve absolute certainty with the need to compensate for the various foibles of his scholastic and unschooled readers. Nevertheless, Descartes endeavored (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  10. James Beilby. Naturalism Defeated? Essays on Plantinga’s Evolutionary Argument Against Naturalism. Cornell University Press, 2002.Wiertz Oliver - 2010 - European Journal for Philosophy of Religion 2 (1):222--226.
    Download  
     
    Export citation  
     
    Bookmark  
  11. Blinded By The Light.David C. K. Curry - 2007 - In Robert L. Badger (ed.), Ideas That Work In College Teaching. SUNY Press.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12. 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, (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  13.  84
    The Supplement at the… Sau(R)Ce: On Jamie Oliver’s Global Brand Identity.George Rossolatos - 2019 - Journal of Place Branding and Public Diplomacy 1:1-17.
    Amidst the constantly augmenting gastronomic capital of celebrity chefs, this study scrutinizes from a critical discourse analytic angle how Jamie Oliver has managed to carve a global brand identity through a process that is termed (dis)placed branding. A roadmap is furnished as to how Italy as place brand and Italianness are discursively articulated, (dis)placed and appropriated in Jamie Oliver’s travelogues which are reflected in his global brand identity. By enriching the CDA methodological toolbox with a deconstructive reading strategy, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  15. The Cut‐Free Approach and the Admissibility‐Curry.Ulf Hlobil - 2018 - Thought: A Journal of Philosophy 7 (1):40-48.
    The perhaps most important criticism of the nontransitive approach to semantic paradoxes is that it cannot truthfully express exactly which metarules preserve validity. I argue that this criticism overlooks that the admissibility of metarules cannot be expressed in any logic that allows us to formulate validity-Curry sentences and that is formulated in a classical metalanguage. Hence, the criticism applies to all approaches that do their metatheory in classical logic. If we do the metatheory of nontransitive logics in a nontransitive (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  16. BOOK REVIEW: Technologies of Life and Death: From Cloning to Capital Punishment by Kelly Oliver[REVIEW]Alison Reiheld - 2014 - Environmental Values 23 (2).
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17. Relevant First-Order Logic LP# and Curry’s Paradox Resolution.Jaykov Foukzon - 2015 - Pure and Applied Mathematics Journal Volume 4, Issue 1-1, January 2015 DOI: 10.11648/J.Pamj.S.2015040101.12.
    In 1942 Haskell B. Curry presented what is now called Curry's paradox which can be found in a logic independently of its stand on negation. In recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes. In this article the non-classical resolution of Curry’s Paradox and Shaw-Kwei' sparadox without rejection any contraction postulate is proposed. In additional relevant paraconsistent logic C ̌_n^#,1≤n<ω, in fact,provide an effective way of circumventing triviality of da Costa’s (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18. On H. M. Oliver’s “Established Expectations and American Economic Policies”.Govind Persad - 2015 - Ethics 125 (3):829-832,.
    In this retrospective for Ethics, I discuss H.M. Oliver’s “Established Expectations and American Economic Policies.” This article, by a then-modestly-famous economist, has been ignored (no citations) since its 1940 publication. Yet it bears directly on a normative problem at the intersection of ethics and economics that challenges today’s policymakers but has received comparatively little philosophical attention: how should we balance potentially desirable institutional change against the disruption of established expectations? -/- Oliver details how the principle of fulfilling established (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Naïve Proof and Curry’s Paradox.Massimilano Carrara - 2018 - In Alessandro Giordani & Ciro de Florio (eds.), From Arithmetic to Metaphysics: A Path Through Philosophical Logic. Berlin: De Gruyter. pp. 61-68.
    Download  
     
    Export citation  
     
    Bookmark  
  20. Hunting Girls: Sexual Violence From The Hunger Games to Campus Rape, by Kelly Oliver[REVIEW]Debra Jackson - 2017 - Hypatia Reviews Online:nd.
    Download  
     
    Export citation  
     
    Bookmark  
  21.  25
    Kant’s Lectures on Ethics: A Critical Guide Lara Denis and Oliver Sensen Cambridge University Press, 2015; 289 Pp.; $113.95. [REVIEW]Nicholas Dunn - 2018 - Dialogue 57 (4):940-942.
    Download  
     
    Export citation  
     
    Bookmark  
  22. 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   7 citations  
  23.  71
    Expressing Validity: Towards a Self-Sufficient Inferentialism.Ulf Hlobil - forthcoming - In Martin Blicha & Igor Sedlár (eds.), The Logica Yearbook 2019. London: College Publications.
    For semantic inferentialists, the basic semantic concept is validity. An inferentialist theory of meaning should offer an account of the meaning of "valid." If one tries to add a validity predicate to one's object language, however, one runs into problems like the v-Curry paradox. In previous work, I presented a validity predicate for a non-transitive logic that can adequately capture its own meta-inferences. Unfortunately, in that system, one cannot show of any inference that it is invalid. Here I extend (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. Faithfulness for Naive Validity.Ulf Hlobil - 2019 - Synthese 196 (11):4759-4774.
    Nontransitive responses to the validity Curry paradox face a dilemma that was recently formulated by Barrio, Rosenblatt and Tajer. It seems that, in the nontransitive logic ST enriched with a validity predicate, either you cannot prove that all derivable metarules preserve validity, or you can prove that instances of Cut that are not admissible in the logic preserve validity. I respond on behalf of the nontransitive approach. The paper argues, first, that we should reject the detachment principle for naive (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Autodetermination in Microeconomics.Olaf L. Müller - 2004 - Analyse & Kritik 26 (2):319-345.
    My philosophical case study concerns textbook presentations of the theory of demand. Does this theory contain anything more than just a collection of tautologies? In order to determine its empirical content, it must be viewed holistically. But then, the theory implies false factual claims. We can avoid this result by embracing the theory's normative character. The resulting consequences will be illuminated with the new autodetermination thesis recently proposed in the philosophy of physics by Oliver Timmer. Applying his ideas to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26.  79
    The Order and Integration of Knowledge.Moorad Alexanian - manuscript
    William Oliver Martin published "The Order and Integration of Knowledge" in 1957 to address the problem of the nature and the order of various kinds of knowledge; in particular, the theoretical problem of how one kind of knowledge is related to another kind. Martin characterizes kinds of knowledge as being either autonomous or synthetic. The latter are reducible to two or more of the autonomous (or irreducible) kinds of knowledge, viz., history (H), metaphysics (Meta), theology (T), formal logic (FL), (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. Examining Nontherapeutic Circumcision.Stephen Munzer - 2018 - Health Matrix 28:1-77.
    This study in moral, political, and legal philosophy contends that it is morally impermissible to circumcise male minors without a medical indication (nontherapeutic circumcision). Male minors have a moral anticipatory autonomy right-in-trust not to be circumcised. This right depends on norms of autonomy and bodily integrity. These norms generate three direct non-consequentialist arguments against nontherapeutic circumcision: (1) the loss of nonrenewable functional tissue, (2) genital salience, and (3) limits on a parental right to permanently modify their sons' bodies. An indirect (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. The Inexpressibility of Validity.Julien Murzi - 2014 - Analysis 74 (1):65-81.
    Tarski's Undefinability of Truth Theorem comes in two versions: that no consistent theory which interprets Robinson's Arithmetic (Q) can prove all instances of the T-Scheme and hence define truth; and that no such theory, if sound, can even express truth. In this note, I prove corresponding limitative results for validity. While Peano Arithmetic already has the resources to define a predicate expressing logical validity, as Jeff Ketland has recently pointed out (2012, Validity as a primitive. Analysis 72: 421-30), no theory (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  29.  45
    How to Witness the Christian Faith in an Age of Immense Scientific Advancements.Moorad Alexanian - 2020 - God and Nature.
    We discuss the intellectual preparation necessary for a Christian student to reconcile his/her Christian faith with science. -/- .
    Download  
     
    Export citation  
     
    Bookmark  
  30. An Eye for an Eye: Proportionality and Surveillance.Kevin Macnish - 2015 - Ethical Theory and Moral Practice 18 (3):529-548.
    It is often claimed that surveillance should be proportionate, but it is rarely made clear exactly what proportionate surveillance would look like beyond an intuitive sense of an act being excessive. I argue that surveillance should indeed be proportionate and draw on Thomas Hurka’s work on proportionality in war to inform the debate on surveillance. After distinguishing between the proportionality of surveillance per se, and surveillance as a particular act, I deal with objections to using proportionality as a legitimate ethical (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  31. Paths to Triviality.Tore Øgaard - 2016 - Journal of Philosophical Logic 45 (3):237-276.
    This paper presents a range of new triviality proofs pertaining to naïve truth theory formulated in paraconsistent relevant logics. It is shown that excluded middle together with various permutation principles such as A → (B → C)⊩B → (A → C) trivialize naïve truth theory. The paper also provides some new triviality proofs which utilize the axioms ((A → B)∧ (B → C)) → (A → C) and (A → ¬A) → ¬A, the fusion connective and the Ackermann constant. An (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  32. Naïve Validity.Julien Murzi & Lorenzo Rossi - forthcoming - Synthese:1-23.
    Beall and Murzi :143–165, 2013) introduce an object-linguistic predicate for naïve validity, governed by intuitive principles that are inconsistent with the classical structural rules. As a consequence, they suggest that revisionary approaches to semantic paradox must be substructural. In response to Beall and Murzi, Field :1–19, 2017) has argued that naïve validity principles do not admit of a coherent reading and that, for this reason, a non-classical solution to the semantic paradoxes need not be substructural. The aim of this paper (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  32
    The Nihilist.Raff Donelson - 2019 - In Seth Vannatta (ed.), The Pragmatism and Prejudice of Oliver Wendell Holmes Jr. pp. 31-47.
    Scattered skeptical remarks and a general austerity that infused his writings have given Justice Oliver Wendell Holmes a reputation as some type of nihilist. Noted commentators such as Richard Posner and Albert Alschuler have claimed as much. This article seeks to correct this misunderstanding. Holmes was not a nihilist in the sense of being melancholy due to a belief that the world has no absolute moral values or gods. Instead, Holmes was a pragmatist in the spirit of William James (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. Edwards' Occasionalism.Stephen H. Daniel - 2010 - In Don Schweitzer (ed.), Jonathan Edwards as Contemporary. Peter Lang. pp. 1-14.
    Instead of focusing on the Malebranche-Edwards connection regarding occasionalism as if minds are distinct from the ideas they have, I focus on how finite minds are particular expressions of God's will that there be the distinctions by which ideas are identified and differentiated. This avoids problems, created in the accounts of Fiering, Lee, and especially Crisp, about the inherently idealist character of Edwards' occasionalism.
    Download  
     
    Export citation  
     
    Bookmark  
  35. Proofs Are Programs: 19th Century Logic and 21st Century Computing.Philip Wadler - manuscript
    As the 19th century drew to a close, logicians formalized an ideal notion of proof. They were driven by nothing other than an abiding interest in truth, and their proofs were as ethereal as the mind of God. Yet within decades these mathematical abstractions were realized by the hand of man, in the digital stored-program computer. How it came to be recognized that proofs and programs are the same thing is a story that spans a century, a chase with as (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  36. Filsafat Islam - Tradisi dan Kontroversi.Syamsuddin Arif - 2014 - TSAQAFAH - Journal of Islamic Thought and Civilization 10 (1):221-247.
    Is there such a thing called “Islamic philosophy”? If there is one, what is it? What does it mean for philosophy to be Islamic? How does Islamic philosophy differ from non-Islamic one? Why do some Muslim scholars reject philosophy, ban its instruction, and even scorn its proponents? The present article will address all these questions and seeks to offer a balanced perspective on controversial issues pertaining to philosophy in Islamic intellectual context, drawing upon authoritative, primary sources. The first section deals (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  37.  18
    CIDO, a Community-Based Ontology for Coronavirus Disease Knowledge and Data Integration, Sharing, and Analysis.Oliver He, John Beverley, Gilbert S. Omenn, Barry Smith, Brian Athey, Luonan Chen, Xiaolin Yang, Junguk Hur, Hsin-hui Huang, Anthony Huffman, Yingtong Liu, Yang Wang, Edison Ong & Hong Yu - 2020 - Scientific Data 181 (7):5.
    Ontologies, as the term is used in informatics, are structured vocabularies comprised of human- and computer-interpretable terms and relations that represent entities and relationships. Within informatics fields, ontologies play an important role in knowledge and data standardization, representation, integra- tion, sharing and analysis. They have also become a foundation of artificial intelligence (AI) research. In what follows, we outline the Coronavirus Infectious Disease Ontology (CIDO), which covers multiple areas in the domain of coronavirus diseases, including etiology, transmission, epidemiology, pathogenesis, diagnosis, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38.  79
    Two Approaches to Ontology Aggregation Based on Axiom Weakening.Daniele Porello, Nicolaas Troquard, Oliver Kutz, Rafael Penaloza, Roberto Confalonieri & Pietro Galliani - 2018 - In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm, Sweden. pp. 1942--1948.
    Axiom weakening is a novel technique that allows for fine-grained repair of inconsistent ontologies. In a multi-agent setting, integrating ontologies corresponding to multiple agents may lead to inconsistencies. Such inconsistencies can be resolved after the integrated ontology has been built, or their generation can be prevented during ontology generation. We implement and compare these two approaches. First, we study how to repair an inconsistent ontology resulting from a voting-based aggregation of views of heterogeneous agents. Second, we prevent the generation of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39.  87
    Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions.Ivo Pezlar - 2019 - In Igor Sedlár & Martin Blicha (eds.), The Logica Yearbook 2018. London: College Publications. pp. 197-210.
    We approach the topic of solution equivalence of propositional problems from the perspective of non-constructive procedural theory of problems based on Transparent Intensional Logic (TIL). The answer we put forward is that two solutions are equivalent if and only if they have equivalent solution concepts. Solution concepts can be understood as a generalization of the notion of proof objects from the Curry-Howard isomorphism.
    Download  
     
    Export citation  
     
    Bookmark  
  40. Promoting Coherent Minimum Reporting Guidelines for Biological and Biomedical Investigations: The MIBBI Project.Chris F. Taylor, Dawn Field, Susanna-Assunta Sansone, Jan Aerts, Rolf Apweiler, Michael Ashburner, Catherine A. Ball, Pierre-Alain Binz, Molly Bogue, Tim Booth, Alvis Brazma, Ryan R. Brinkman, Adam Michael Clark, Eric W. Deutsch, Oliver Fiehn, Jennifer Fostel, Peter Ghazal, Frank Gibson, Tanya Gray, Graeme Grimes, John M. Hancock, Nigel W. Hardy, Henning Hermjakob, Randall K. Julian, Matthew Kane, Carsten Kettner, Christopher Kinsinger, Eugene Kolker, Martin Kuiper, Nicolas Le Novere, Jim Leebens-Mack, Suzanna E. Lewis, Phillip Lord, Ann-Marie Mallon, Nishanth Marthandan, Hiroshi Masuya, Ruth McNally, Alexander Mehrle, Norman Morrison, Sandra Orchard, John Quackenbush, James M. Reecy, Donald G. Robertson, Philippe Rocca-Serra, Henry Rodriguez, Heiko Rosenfelder, Javier Santoyo-Lopez, Richard H. Scheuermann, Daniel Schober, Barry Smith & Jason Snape - 2008 - Nature Biotechnology 26 (8):889-896.
    Throughout the biological and biomedical sciences there is a growing need for, prescriptive ‘minimum information’ (MI) checklists specifying the key information to include when reporting experimental results are beginning to find favor with experimentalists, analysts, publishers and funders alike. Such checklists aim to ensure that methods, data, analyses and results are described to a level sufficient to support the unambiguous interpretation, sophisticated search, reanalysis and experimental corroboration and reuse of data sets, facilitating the extraction of maximum value from data sets (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  41.  85
    Against Mereological Panentheism.Oliver D. Crisp - 2019 - European Journal for Philosophy of Religion 11 (2):23-41.
    In this paper I offer an argument against one important version of panentheism, that is, mereological panentheism. Although panentheism has proven difficult to define, I provide a working definition of the view, and proceed to argue that given this way of thinking about the doctrine, mereological accounts of panentheism have serious theological drawbacks. I then explore some of these theological drawbacks. In a concluding section I give some reasons for thinking that the classical theistic alternative to panentheism is preferable, all (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. Ibn Miskawayh, Ahmad Ibn Muhammad (C.940-1030).Oliver Leaman - unknown - Routledge Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark  
  43. Complex Individuals and Multigrade Relations.Adam Morton - 1975 - Noûs 9 (3):309-318.
    I relate plural quantification, and predicate logic where predicates do not need a fixed number of argument places, to the part-whole relation. For more on these themes see later work by Boolos, Lewis, and Oliver & Smiley.
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  44.  65
    On False Antecedent in Dialetheic Entailment.Massimiliano Carrara - 2019 - In Luca Bellotti, Luca Gili, Enrico Moriconi & Giacomo Turbanti (eds.), Third Pisa Colloquium in Logic, Language and Epistemology. Pisa PI, Italia: Edizioni ETS. pp. 59-68.
    Aim of the paper is to analyze Priest’s dialetheic solution to Curry’s paradox. It has been shown that a solution refuting ABS, accepting MPP and consequently refuting CP meets some difficulties. Here I just concentrate on one difficulty: one obtains the validity of MPP just using FA in the metalanguage, an invalid rule for a dialetheist.
    Download  
     
    Export citation  
     
    Bookmark  
  45.  31
    A Toothful of Concepts: Towards a Theory of Weighted Concept Combination.Daniele Porello, Oliver Kutz, Guendalina Righetti, Nicolas Troquard, Pietro Galliani & Claudio Masolo - 2019 - In Mantas Simkus & Grant E. Weddell (eds.), Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019.
    We introduce a family of operators to combine Description Logic concepts. They aim to characterise complex concepts that apply to instances that satisfy \enough" of the concept descriptions given. For instance, an individual might not have any tusks, but still be considered an elephant. To formalise the meaning of "enough", the operators take a list of weighted concepts as arguments, and a certain threshold to be met. We commence a study of the formal properties of these operators, and study some (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. Binding On the Fly: Cross-Sentential Anaphora in Variable— Free Semantics.Anna Szabolcsi - 2003 - In R. Oehrle & J. Kruijff (eds.), Resource Sensitivity, Binding, and Anaphora. Kluwer Academic Publishers. pp. 215--227.
    Combinatory logic (Curry and Feys 1958) is a “variable-free” alternative to the lambda calculus. The two have the same expressive power but build their expressions differently. “Variable-free” semantics is, more precisely, “free of variable binding”: it has no operation like abstraction that turns a free variable into a bound one; it uses combinators—operations on functions—instead. For the general linguistic motivation of this approach, see the works of Steedman, Szabolcsi, and Jacobson, among others. The standard view in linguistics is that (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  47. Genuine, Non-Calculative Trust with Calculative Antecedents: Reconsidering Williamson on Trust.Marc A. Cohen - 2014 - Journal of Trust Research 4 (1):44-56.
    This short paper defends Oliver Williamson’s (1993) claim that talk of trust is ‘redundant at best and can be misleading’ when trust is defined as a form of calculated risk (p. 463). And this paper accepts Williamson’s claim that ‘Calculative trust is a contradiction in terms’ (p. 463). But the present paper defends a conception of genuine, non-calculative trust that is compatible with calculative considerations and calculative antecedents. This conception of trust creates space for genuine (non-calculative) trust relationships in (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  55
    Toward an Analytic Theology of Liberation.Sameer Yadav - forthcoming - In Michelle Panchuk & Michael C. Rea (eds.), Marginalized Identities, Peripheral Theologies: Expanding Conversations in Analytic Theology. New York, NY, USA:
    The open secret of analytic philosophy of religion since its 20th century revival has been that it is for the most part a revival of philosophical theology, and particularly Christian philosophical theology. More recently, Christian analytic philosophers and theologians sympathetic to them have transformed this open secret into a research program by explicitly thematizing the use of analytic philosophical tools for the particular work of Christian theology. Dubbing this work as “analytic theology” (AT) Oliver Crisp and Michael Rea have (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. Alethic Undecidability Doesn’T Solve the Liar.Mark Jago - 2016 - Analysis 76 (3):278-283.
    Stephen Barker presents a novel approach to solving semantic paradoxes, including the Liar and its variants and Curry’s paradox. His approach is based around the concept of alethic undecidability. His approach, if successful, renders futile all attempts to assign semantic properties to the paradoxical sentences, whilst leaving classical logic fully intact. And, according to Barker, even the T-scheme remains valid, for validity is not undermined by undecidable instances. Barker’s approach is innovative and worthy of further consideration, particularly by those (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50.  32
    Repairing Ontologies Via Axiom Weakening.Daniele Porello & Oliver Kutz Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Rafael Peñaloza, Daniele Porello - 2018 - In Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in Artificial Intelligence (EAAI-18). pp. 1981--1988.
    Ontology engineering is a hard and error-prone task, in which small changes may lead to errors, or even produce an inconsistent ontology. As ontologies grow in size, the need for automated methods for repairing inconsistencies while preserving as much of the original knowledge as possible increases. Most previous approaches to this task are based on removing a few axioms from the ontology to regain consistency. We propose a new method based on weakening these axioms to make them less restrictive, employing (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 78