Results for 'Incompatible Predicates'

998 found
Order:
  1. Conciliar Christology and the Problem of Incompatible Predications.Timothy Pawl - 2015 - Scientia et Fides 3 (2):85-106.
    In this article I canvas the options available to a proponent of the traditional doctrine of the incarnation against a charge of incoherence. In particular, I consider the charge of incoherence due to incompatible predications both being true of the same one person, the God-man Jesus Christ. For instance, one might think that any- thing divine has to have certain attributes – perhaps omnipotence, or impassibility. But, the charge continues, nothing human can be omnipotent or impassible. And so nothing (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  2. Worm-theoretic Persistence and Temporal Predication.Andrew Russo - 2022 - Southwest Philosophy Review 38 (1):227-236.
    Mark Johnston (2016, 2017) has raised concerns that a worm-theoretic account of persistence through time is incompatible with ethical singularity: that within the life of any actual person, there is only one morally considerable being, namely that person. To deny ethical singularity is to deny a core feature of our ordinary ethical and prudential thinking. The worm theory, Johnston concludes, proves to be “disastrous … for our ordinary moral outlook”. This paper defends the worm theory from Johnston’s argument. Though (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. A Solution to the Fundamental Philosophical Problem of Christology.Timothy Pawl - 2014 - Journal of Analytic Theology 2:61-85.
    I consider the fundamental philosophical problem for Christology: how can one and the same person, the Second Person of the Trinity, be both God and man. For being God implies having certain attributes, perhaps immutability, or impassibility, whereas being human implies having apparently inconsistent attributes. This problem is especially vexing for the proponent of Conciliar Christology – the Christology taught in the Ecumenical Councils – since those councils affirm that Christ is both mutable and immutable, both passible and impassible, etc. (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  4. A Syncretistic Theory of Proper Names.Alberto Voltolini - 2016 - In A. Bianchi, V. Morato & G. Spolaore (eds.), The importance of being Ernesto: Reference, truth and logical form. Padova: Padova University Press. pp. 141-164.
    In this paper, I want to show that, far from being incompatible, a Predicate Theory of proper names and the Direct Reference thesis can be combined in a syncretistic account. There are at least three plausible such accounts – one which compares proper names in their referential use to referentially used proper definite descriptions, another one that compares them in this use to demonstratives, and a third one which, although it is as indexicalist as the second one, conceives proper (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Can Transnational Feminist Solidarity Accommodate Nationalism? Reflections from the Case Study of Korean “Comfort Women”.Ranjoo Seodu Herr - 2016 - Hypatia 31 (1):41-57.
    This article aims to refute the “incompatibility thesis” that nationalism is incompatible with transnational feminist solidarity, as it fosters exclusionary practices, xenophobia, and racism among feminists with conflicting nationalist aspirations. I examine the plausibility of the incompatibility thesis by focusing on the controversy regarding just reparation for Second World War “comfort women,” which is still unresolved. The Korean Council at the center of this controversy, which advocates for the rights of Korean former comfort women, has been criticized for its (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Aristóteles e a noção de sujeito de predicação (Segundos analíticos I 22, 83a 1-14).Lucas Angioni - 2007 - Philósophos - Revista de Filosofia 12 (2):107-129.
    This paper explores some aspects of Aristotle’s notion of subject for predications. I examine the argument Aristotle develops in Posterior Analytics I.22, 83a1-14. I argue that the notion advanced by Aristotle in that argument is different from the one found in his Categories, although they are far from being incompatible with each other. I also add some philological considerations to justify the Portuguese translation of “hypokeimenon” as “algo subjacente” (“underlying thing”) instead of “sujeito” (“subject”).
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  7. Minimal Type Theory (MTT).P. Olcott - manuscript
    Minimal Type Theory (MTT) is based on type theory in that it is agnostic about Predicate Logic level and expressly disallows the evaluation of incompatible types. It is called Minimal because it has the fewest possible number of fundamental types, and has all of its syntax expressed entirely as the connections in a directed acyclic graph.
    Download  
     
    Export citation  
     
    Bookmark  
  8. Events in Contemporary Semantics.Friederike Moltmann - forthcoming - In James Bahoh (ed.), 21st-Century Philosophy of Events: Beyond the Analytic / Continental Divide. Edinburgh University Press.
    This paper will first give an overview of the role of events in semantics against the background of Davidsonian semantics and its Neo-Davidsonian variant. Second, it will discuss some serious issues for standard views of events in contemporary semantics and present novel proposals of how to address them. These are [1] the semantic role of abstract (or Kimean) states, [2] wide scope adverbials, and [3] the status of verbs as event predicates with respect to the mass-count distinction. The paper (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9.  74
    A Quasi-Deflationary Solution to the Problems of Mixed Inferences and Mixed Compounds.Zhiyuan Zhang - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
    Truth pluralism is the view that there is more than one truth property. The strong version of it (i.e. strong pluralism) further contends that no truth property is shared by all true propositions. In this paper, I help strong pluralism solve two pressing problems concerning mixed discourse: the problem of mixed inferences (PI) and the problem of mixed compounds (PC). According to PI, strong pluralism is incompatible with the truth- preservation notion of validity; according to PC, strong pluralists cannot (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Knowledge, Hope, and Fallibilism.Matthew A. Benton - 2021 - Synthese 198:1673-1689.
    Hope, in its propositional construction "I hope that p," is compatible with a stated chance for the speaker that not-p. On fallibilist construals of knowledge, knowledge is compatible with a chance of being wrong, such that one can know that p even though there is an epistemic chance for one that not-p. But self-ascriptions of propositional hope that p seem to be incompatible, in some sense, with self-ascriptions of knowing whether p. Data from conjoining hope self-ascription with outright assertions, (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  11. Inferential Deflationism.Luca Incurvati & Julian J. Schlöder - forthcoming - The Philosophical Review.
    Deflationists about truth hold that the function of the truth predicate is to enable us to make certain assertions we could not otherwise make. Pragmatists claim that the utility of negation lies in its role in registering incompatibility. The pragmatist insight about negation has been successfully incorporated into bilateral theories of content, which take the meaning of negation to be inferentially explained in terms of the speech act of rejection. We implement the deflationist insight in a bilateral theory by taking (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  12. Nominalist dispositional essentialism.Lisa Vogt - 2022 - Synthese 200 (2).
    Dispositional Essentialism, as commonly conceived, consists in the claims that at least some of the fundamental properties essentially confer certain causal-nomological roles on their bearers, and that these properties give rise to the natural modalities. As such, the view is generally taken to be committed to a realist conception of properties as either universals or tropes, and to be thus incompatible with nominalism as understood in the strict sense. Pace this common assumption of the ontological import of Dispositional Essentialism, (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  13. XIV—Moral Non‐Cognitivism and the Grammar of Morality.Michael Blome‐Tillmann - 2009 - Proceedings of the Aristotelian Society 109 (1pt3):279-309.
    This paper investigates the linguistic basis for moral non-cognitivism, the view that sentences containing moral predicates do not have truth conditions. It offers a new argument against this view by pointing out that the view is incompatible with our best empirical theories about the grammatical encoding of illocutionary force potentials. Given that my arguments are based on very general assumptions about the relations between the grammar of natural languages and a sentence's illocutionary function, my arguments are broader in (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  14. A world of truthmakers.Philipp Keller - 2007 - In Jean-Maurice Monnoyer (ed.), Metaphysics and Truthmakers. Ontos Verlag. pp. 18--105.
    I will present and criticise the two theories of truthmaking David Armstrong offers us in Truth and Truthmakers (Armstrong 2004), show to what extent they are incompatible and identify troublemakers for both of them, a notorious – Factualism, the view that the world is a world of states of affairs – and a more recent one – the view that every predication is necessary. Factualism, combined with truthmaker necessitarianism – ‘truthmaking is necessitation’ – leads Armstrong to an all-embracing totality (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  15. The Decomposition of Thought.Nathan Bice - manuscript
    This paper defends an interpretation of Gottlob Frege’s views on the structure of thought. I argue that Frege did not think that a thought has a unique decomposition into its component senses, but rather the same thought can be decomposed into senses in multiple, distinct ways. These multiple decompositions will often have distinct logical forms. I also argue against Michael Dummett and others that Frege was committed to the sense of a predicate being a function from the sense of a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16.  81
    What is Perspectivism? Что такое перспективизм?Michael Lewin - 2023 - Research Result. Social Studies and Humanities 9 (3):5-14.
    Since Nietzsche, the term “perspectivism” has been used as the name for an ill-defined epistemological position. Some have tried to find an adequate meaning for the word “perspectivism,” tacitly investing it with a set of different predicates, such as “the dependence of cognition on position,” “pluralism,” “anti-universalism,” “epistemic humility,” etc. This approach is related to two contestable attitudes: the monolateral linguistic paradigm and the metaepistemological position of multiplicity of incompatible epistemological programs. The monolateral linguistic paradigm proceeds from the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. Anomalous Monism: Oscillating between Dogmas.M. De Pinedo - 2006 - Synthese 148 (1):79 - 97.
    Davidson's anomalous monism, his argument for the identity between mental and physical event tokens, has been frequently attacked, usually demanding a higher degree of physicalist commitment. My objection runs in the opposite direction: the identities inferred by Davidson from mental causation, the nomological character of causality and the anomaly of the mental are philosophically problematic and, more dramatically, incompatible with his famous argument against the third dogma of empiricism, the separation of content from conceptual scheme. Given the anomaly of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  18. Quine’s conflicts with truth deflationism.Teemu Tauriainen - 2022 - Asian Journal of Philosophy 1 (46):1-25.
    Compared to the extensive amount of literature on various themes of W.V.O. Quine’s philosophy, his immanent concept of truth remains a relatively unexplored topic. This relative lack of research contributes to a persistent confusion on the deflationary and inflationary details of Quine’s truth. According to a popular reading, Quine’s disquotational definition of the truth predicate exhausts the content of truth, thus amounting to a deflationary view. Others promote opposing interpretations. I argue that by relying on Tarski’s semantic conception of truth, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Dashtaki on unified composition.Reza Dargahifar & Davood Hosseini - 2021 - Sophia Perennis 17 (38):121-147.
    Sayyid Sadr al-din Mohammad Dashtaki Shirazi is the inventor of the division of composition into unified composition and composition by join. With this division, Dashtaki has expressed a new theory about the composition of the material object from first matter and form, as well as the composition of man from soul and body, and considers these compositions as an alliance and unification, not simply the parts joining to each other. In this paper, we will present Dashtaki’s arguments on the theory (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. Modality and Validity in the Logic of John Buridan.Boaz Faraday Schuman - 2021 - Dissertation, University of Toronto
    What makes a valid argument valid? Generally speaking, in a valid argument, if the premisses are true, then the conclusion must necessarily also be true. But on its own, this doesn’t tell us all that much. What is truth? And what is necessity? In what follows, I consider answers to these questions proposed by the fourteenth century logician John Buridan († ca. 1358). My central claim is that Buridan’s logic is downstream from his metaphysics. Accordingly, I treat his metaphysical discussions (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Filosofia Analitica e Filosofia Continentale.Sergio Cremaschi (ed.) - 1997 - 50018 Scandicci, Metropolitan City of Florence, Italy: La Nuova Italia.
    ● Sergio Cremaschi, The non-existing Island. I discuss the way in which the cleavage between the Continental and the Anglo-American philosophies originated, the (self-)images of both philosophical worlds, the converging rediscoveries from the Seventies, as well as recent ecumenic or anti-ecumenic strategies. I argue that pragmatism provides an important counter-instance to both the familiar self-images and to the fashionable ecumenic or anti-ecumenic strategies. My conclusions are: (i) the only place where Continental philosophy exists (as Euro-Communism one decade ago) is America; (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  22. Em direção a uma tradicão inferencialmente expressivista da silogística.Aislan Pereira - 2019 - Dissertation, Ufpb, Brazil
    The work of this dissertation, in a broad sense, seeks to rescue what may be in the original project or nucleus of philosophy, from its Socratic arising: the idea of elucidative rationality. This rationality is aimed at expressing our practices in a way that can be confronted with objections and alternatives. The notion of expression is central to this rationality. This centrality is elucidated by the contemporary philosopher Brandom (1994, 2000, 2008a, 2013), from his view of the semantic inferentialism. With (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. Predicativity and Feferman.Laura Crosilla - 2017 - In Gerhard Jäger & Wilfried Sieg (eds.), Feferman on Foundations: Logic, Mathematics, Philosophy. Cham: Springer. pp. 423-447.
    Predicativity is a notable example of fruitful interaction between philosophy and mathematical logic. It originated at the beginning of the 20th century from methodological and philosophical reflections on a changing concept of set. A clarification of this notion has prompted the development of fundamental new technical instruments, from Russell's type theory to an important chapter in proof theory, which saw the decisive involvement of Kreisel, Feferman and Schütte. The technical outcomes of predica-tivity have since taken a life of their own, (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  24. Predication and Two Concepts of Judgment.Indrek Reiland - 2019 - In Brian Andrew Ball & Christoph Schuringa (eds.), The Act and Object of Judgment: Historical and Philosophical Perspectives. New York: Routledge. pp. 217-234.
    Recently, there’s been a lot of interest in a research program that tries to understand propositional representation in terms of the subject’s performance of sub-propositional mental acts like reference and predication (e. g. Burge 2010, Hanks 2015, Soames 2010, 2015). For example, on one version of the view, for a subject to predicate the property of being a composer of Arvo just is what it is to perform the to the basic propositional act of judging that Arvo is a composer (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  25. Modes, Predication, and Charity: A Reply to Melamed.Martin Lin - manuscript
    In this paper, I respond to criticisms of my book Being and Reason recently made by Yitzhak Melamed.
    Download  
     
    Export citation  
     
    Bookmark  
  26. 'Truth Predicates' in Natural Language.Friederike Moltmann - 2015 - In José Martinez, Achourioti Dora & Galinon Henri (eds.), Unifying the Philosophy of Truth. Springer. pp. 57-83.
    This takes a closer look at the actual semantic behavior of apparent truth predicates in English and re-evaluates the way they could motivate particular philosophical views regarding the formal status of 'truth predicates' and their semantics. The paper distinguishes two types of 'truth predicates' and proposes semantic analyses that better reflect the linguistic facts. These analyses match particular independently motivated philosophical views.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  27. Incompatibility Semantics from Agreement.Daniele Porello - 2012 - Philosophia 40 (1):99-119.
    In this paper, I discuss the analysis of logic in the pragmatic approach recently proposed by Brandom. I consider different consequence relations, formalized by classical, intuitionistic and linear logic, and I will argue that the formal theory developed by Brandom, even if provides powerful foundational insights on the relationship between logic and discursive practices, cannot account for important reasoning patterns represented by non-monotonic or resource-sensitive inferences. Then, I will present an incompatibility semantics in the framework of linear logic which allow (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  28. Relativism about predicates of personal taste and perspectival plurality.Markus Https://Orcidorg Kneer, Agustin Vicente & Dan Zeman - 2017 - Linguistics and Philosophy 40 (1):37-60.
    In this paper we discuss a phenomenon we call perspectival plurality, which has gone largely unnoticed in the current debate between relativism and contextualism about predicates of personal taste. According to perspectival plurality, the truth value of a sentence containing more than one PPT may depend on more than one perspective. Prima facie, the phenomenon engenders a problem for relativism and can be shaped into an argument in favor of contextualism. We explore the consequences of perspectival plurality in depth (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  29. Predication and the Problem of Universals.Catherine Legg - 2001 - Philosophical Papers 30 (2):117-143.
    This paper contrasts the scholastic realisms of David Armstrong and Charles Peirce. It is argued that the so-called 'problem of universals' is not a problem in pure ontology (concerning whether universals exist) as Armstrong construes it. Rather, it pertains to which predicates should be applied where, issues which Armstrong sets aside under the label of 'semantics', and which from a Peircean perspective encompass even fundamentals of scientific methodology. It is argued that Peirce's scholastic realism not only presents a more (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  30. Predication and the Frege–Geach problem.Indrek Reiland - 2019 - Philosophical Studies 176 (1):141-159.
    Several philosophers have recently appealed to predication in developing their theories of cognitive representation and propositions. One central point of difference between them is whether they take predication to be forceful or neutral and whether they take the most basic cognitive representational act to be judging or entertaining. Both views are supported by powerful reasons and both face problems. Many think that predication must be forceful if it is to explain representation. However, the standard ways of implementing the idea give (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  31.  31
    Предикаты состояния и семантические типы предикатов [States, Events and Predicate Types].Anton Zimmerling - 2022 - In Svetla Koeva, Elena Ivanova, Yovka Tisheva & Anton Zimmerling (eds.), С.Коева, Е. Ю. Иванова, Й. Тишева, А. Циммерлинг (ред.). Онтология на ситуациите за състояние – лингвистично моделиране. Съпоставително изследване за български и руски. Cофия: "Марин Дринов", 2022. [Svetla Koeva, Elena Yu. Ivanova, Yovka Tisheva, Anton Zi. Sofia: Профессор "Марин Дринов" [Professor "Marin Drinov"]. pp. 31-52.
    I discuss the foundations of predicate ontologies based on two model notions – elementary states of affairs and eventualities, i.e. ordered pairs of initial and end states of affairs. Vendlerian classifications are oriented towards elementary states and tense logic, while Davidsonian classifications deal with eventualities and event logic. There are two kinds of atemporal predicates - fact and properties. Facts are propositional arguments of second-order predicates which add a special meaning that the embedded proposition was verified. Properties are (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32. Evaluative predicates as classificatory devices?Tristram McPherson - 2019 - Philosophical Studies 176 (6):1439-1451.
    In “Value Ascriptions: Rethinking Cognitivism,” Sigrún Svavarsdóttir offers a novel account of the semantic function of evaluative predication, according to which such predicates function as “linguistically encoded classificatory devices.” This short paper raises three questions about Svavarsdóttir’s account: how it relates to familiar sorts of projects in and about semantics, how to understand the nature of “linguistic encoding,” and how to understand the significance of the account’s central use of sets.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  33. Predicates of personal taste, semantic incompleteness, and necessitarianism.Markus Https://Orcidorg Kneer - 2020 - Linguistics and Philosophy 44 (5):981-1011.
    According to indexical contextualism, the perspectival element of taste predicates and epistemic modals is part of the content expressed. According to nonindexicalism, the perspectival element must be conceived as a parameter in the circumstance of evaluation, which engenders “thin” or perspective-neutral semantic contents. Echoing Evans, thin contents have frequently been criticized. It is doubtful whether such coarse-grained quasi-propositions can do any meaningful work as objects of propositional attitudes. In this paper, I assess recent responses by Recanati, Kölbel, Lasersohn and (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  34. Why Must Incompatibility Be Symmetric?Ryan Simonelli - 2024 - Philosophical Quarterly 74 (2):658-682.
    Why must incompatibility be symmetric? An odd question, but recent work in the semantics of non-classical logic, which appeals to the notion of incompatibility as a primitive and defines negation in terms of it, has brought this question to the fore. Francesco Berto proposes such a semantics for negation argues that, since incompatibility must be symmetric, double negation introduction must be a law of negation. However, he offers no argument for the claim that incompatibility really must be symmetric. Here, I (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. Incompatible And Incomparable Perfections: A New Argument Against Perfect Being Theism.Jashiel Resto Quiñones - forthcoming - International Journal for Philosophy of Religion:1-19.
    Perfect being theism is the view that the perfect being exists and the property being-perfect is the property being-God. According to the strong analysis of perfection, a being is perfect just in case it exemplifies all perfections. On the other hand, the weak analysis of perfection claims that a being is perfect just in case it exemplifies the best possible combination of compatible perfections. Strong perfect being theism accepts the former analysis while weak perfect being theism accepts the latter. In (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. Predicates of personal taste: Empirical data.Markus Https://Orcidorg Kneer - 2021 - Synthese 199 (3-4):6455-6471..
    According to contextualism, the extension of claims of personal taste is dependent on the context of utterance. According to truth relativism, their extension depends on the context of assessment. On this view, when the tastes of a speaker change, so does the truth value of a previously uttered taste claim, and if it is false, the speaker is required to retract it. Both views make strong empirical assumptions, which are here put to the test for the first time in three (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  37. Reference, Predication, Judgment and their Relations.Indrek Reiland - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
    Over the course of the past ten-plus years, Peter Hanks and Scott Soames have developed detailed versions of Act-Based views of propositions which operate with the notions of reference to objects, indicating properties, predication, and judgment (or entertaining). In this paper I discuss certain foundational aspects of the Act-Based approach having to do with the relations between these notions. In particular, I argue for the following three points. First, that the approach needs both an atomistically understood thin notion of reference, (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  38. Existence Predicates.Friederike Moltmann - 2020 - Synthese 197 (1):311-335.
    Natural languages generally distinguishes among different existence predicates for different types of entities, such as English 'exist', 'occur', and 'obtain'. The paper gives an in-depth discussion and analysis of a range of existence predicates in natural language within the general project of descriptive metaphysics, or more specifically ‘natural language ontology’.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  39. The Incompatibility Problem and Religious Pluralism Beyond Hick.Samuel Ruhmkorff - 2013 - Philosophy Compass 8 (5):510-522.
    Religious pluralism is the view that more than one religion is correct, and that no religion enjoys a special status in relation to the ultimate. Yet the world religions appear to be incompatible. How, then, can more than one be correct? Discussions and critiques of religious pluralism usually focus on the work of John Hick, yet there are a number of other pluralists whose responses to this incompatibility problem are importantly different from Hick’s. This article surveys the solutions of (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  40. Predication.Paolo Leonardi - 2011 - Philosophical Papers Dedicated to Kevin Mulligan.
    In the sentence “Tom sits,” the name distinguishes Tom from anyone else, whereas the predicate assimilates Tom, Theaetetus, and anyone else to whom the predicate applies. The name marks out its bearer and the predicate groups together what it applies to. On that ground, his name is used to trace back Tom, and the predi- cate is used to describe and classify what it applies to. In both cases, the semantic link is a direct link between expressions and particulars. Here, (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  41. Predicativity and constructive mathematics.Laura Crosilla - 2022 - In Gianluigi Oliveri, Claudio Ternullo & Stefano Boscolo (eds.), Objects, Structures and Logics. Springer Cham.
    In this article I present a disagreement between classical and constructive approaches to predicativity regarding the predicative status of so-called generalised inductive definitions. I begin by offering some motivation for an enquiry in the predicative foundations of constructive mathematics, by looking at contemporary work at the intersection between mathematics and computer science. I then review the background notions and spell out the above-mentioned disagreement between classical and constructive approaches to predicativity. Finally, I look at possible ways of defending the constructive (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  42. Truth Predicates, Truth Bearers, and their Variants.Friederike Moltmann - 2018 - Synthese (Suppl 2):1-28.
    This paper argues that truth predicates in natural language and their variants, predicates of correctness, satisfaction and validity, do not apply to propositions (not even with 'that'-clauses), but rather to a range of attitudinal and modal objects. As such natural language reflects a notion of truth that is primarily a normative notion of correctness constitutive of representational objects. The paper moreover argues that 'true' is part of a larger class of satisfaction predicates whose semantic differences are best (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  43. Names Are Predicates.Delia Graff Fara - 2015 - Philosophical Review 124 (1):59-117.
    One reason to think that names have a predicate-type semantic value is that they naturally occur in count-noun positions: ‘The Michaels in my building both lost their keys’; ‘I know one incredibly sharp Cecil and one that's incredibly dull’. Predicativism is the view that names uniformly occur as predicates. Predicativism flies in the face of the widely accepted view that names in argument position are referential, whether that be Millian Referentialism, direct-reference theories, or even Fregean Descriptivism. But names are (...)
    Download  
     
    Export citation  
     
    Bookmark   102 citations  
  44. Taste Predicates and the Acquaintance Inference.Dilip Ninan - 2014 - Semantics and Linguistic Theory 24:290-309.
    Simple sentences containing predicates like "tasty" and "beautiful" typically suggest that the speaker has first-hand knowledge of the item being evaluated. I consider two explanations of this acquaintance inference: a presuppositional approach and a pragmatic-epistemic approach. The presuppositional approach has a number of virtues, but runs into trouble because the acquaintance inference has a very different projection pattern from that of standard presuppositions. The pragmatic-epistemic approach accounts for the main data discussed in the paper, but faces challenges of its (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  45. Exploring Predicativity.Laura Crosilla - 1995 - In Klaus Mainzer, Peter Schuster & Helmut Schwichtenberg (eds.), Proof and Computation. World Scientific. pp. 83-108.
    Prominent constructive theories of sets as Martin-Löf type theory and Aczel and Myhill constructive set theory, feature a distinctive form of constructivity: predicativity. This may be phrased as a constructibility requirement for sets, which ought to be finitely specifiable in terms of some uncontroversial initial “objects” and simple operations over them. Predicativity emerged at the beginning of the 20th century as a fundamental component of an influential analysis of the paradoxes by Poincaré and Russell. According to this analysis the paradoxes (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. Existence predicate.Reinhard Muskens - 1993 - In R. E. Asher & J. M. Y. Simpson (eds.), The Encyclopedia of Language and Linguistics. Oxford: Pergamon. pp. 1191.
    Kant said that existence is not a predicate and Russell agreed, arguing that a sentence such as ‘The king of France exists’, which seems to attribute existence to the king of France, really has a logical form that is not reflected in the surface structure of the sentence at all. While the surface form of the sentence consists of a subject and a predicate, the underlying logical form, according to Russell, is the formula given in. This formula obviously has no (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. Modal Predicates.Andrea Iacona - 2004 - Australasian Journal of Logic 2:44-69.
    Despite the wide acceptance of standard modal logic, there has always been a temptation to think that ordinary modal discourse may be correctly analyzed and adequately represented in terms of predicates rather than in terms of operators. The aim of the formal model outlined in this paper is to capture what I take to be the only plausible sense in which ‘possible’ and ‘necessary’ can be treated as predicates. The model is built by enriching the language of standard (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  48. Understanding Predication in Conceptual Spaces.Daniele Porello & Claudio Masolo - 2016 - In Roberta Ferrario & Werner Kuhn (eds.), Formal Ontology in Information Systems. Proceedings of the Ninth International Conference (FOIS 2016). pp. 139--152.
    We argue that a cognitive semantics has to take into account the possibly partial information that a cognitive agent has of the world. After discussing Gärdenfors's view of objects in conceptual spaces, we offer a number of viable treatments of partiality of information and we formalize them by means of alternative predicative logics. Our analysis shows that understanding the nature of simple predicative sentences is crucial for a cognitive semantics.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  49. Predicates of personal taste: empirical data.Markus Https://Orcidorg Kneer - 2021 - Synthese 199 (3-4):6455-6471.
    According to contextualism, the extension of claims of personal taste is dependent on the context of utterance. According to truth relativism, their extension depends on the context of assessment. On this view, when the taste preferences of a speaker change, so does the truth value of a previously uttered taste claim, and the speaker might be required to retract it. Both views make strong empirical assumptions, which are here put to the test in three experiments with over 740 participants. It (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  50. Descriptions: Predicates or quantifiers?Berit Brogaard - 2007 - Australasian Journal of Philosophy 85 (1):117 – 136.
    In this paper I revisit the main arguments for a predicate analysis of descriptions in order to determine whether they do in fact undermine Russell's theory. I argue that while the arguments without doubt provide powerful evidence against Russell's original theory, it is far from clear that they tell against a quantificational account of descriptions.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
1 — 50 / 998