Results for 'plural predicate logic'

974 found
Order:
  1. Rigid and flexible quantification in plural predicate logic.Lucas Champollion, Justin Bledin & Haoze Li - forthcoming - Semantics and Linguistic Theory 27.
    Noun phrases with overt determiners, such as <i>some apples</i> or <i>a quantity of milk</i>, differ from bare noun phrases like <i>apples</i> or <i>milk</i> in their contribution to aspectual composition. While this has been attributed to syntactic or algebraic properties of these noun phrases, such accounts have explanatory shortcomings. We suggest instead that the relevant property that distinguishes between the two classes of noun phrases derives from two modes of existential quantification, one of which holds the values of a variable fixed (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  2. A Note on Plural Logic.Gustavo Fernández Díez - 2010 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 17 (2):150-162.
    A distinction is introduced between itemized and non-itemized plural predication. It is argued that a full-fledged system of plural logic is not necessary in order to account for the validity of inferences concerning itemized collective predication. Instead, it is shown how this type of inferences can be adequately dealt with in a first-order logic system, after small modifications on the standard treatment. The proposed system, unlike plural logic, has the advantage of preserving completeness. And (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  83
    Plurals, mass nouns and reference: philosophical issues.David Nicolas - forthcoming - In Hilary Nesi & Petar Milin (eds.), International Encyclopedia of Language and Linguistics. Elsevier.
    How do plurals and mass nouns refer? What kind of logic should be used in order to account for the truth-conditions of the sentences they appear in? For linguists, first-order predicate logic is adequate, provided it is supplemented by a notion of mereological sum for plurals and for mass nouns. On the contrary, according to some philosophers, new logics must be used, plural logic for plurals and mass logic for mass nouns. We survey these (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Existence and Free Logic.Dolf Rami - manuscript
    In this paper I aim to defend a first‐order non‐discriminating property view concerning existence. The version of this view that I prefer is based on negative (or a specific neutral) free logic that treats the existence predicate as first‐order logical predicate. I will provide reasons why such a view is more plausible than a second‐order discriminating property view concerning existence and I will also discuss four challenges for the proposed view and provide solutions to them.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  5. equality and identity.John Corcoran & Anthony Ramnauth - 2013 - Bulletin of Symbolic Logic 19 (3):255-256.
    Equality and identity. Bulletin of Symbolic Logic. 19 (2013) 255-6. (Coauthor: Anthony Ramnauth) Also see https://www.academia.edu/s/a6bf02aaab This article uses ‘equals’ [‘is equal to’] and ‘is’ [‘is identical to’, ‘is one and the same as’] as they are used in ordinary exact English. In a logically perfect language the oxymoron ‘the numbers 3 and 2+1 are the same number’ could not be said. Likewise, ‘the number 3 and the number 2+1 are one number’ is just as bad from a logical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. 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   42 citations  
  7. Oliver and Smiley on the Collective–Distributive Opposition.Gustavo Picazo - 2022 - Logos and Episteme 13 (2):201-205.
    Two objections are raised against Oliver and Smiley’s analysis of the collective–distributive opposition in their 2016 book: They take it as a basic premise that the collective reading of ‘baked a cake’ corresponds to a predicate different from its distributive reading, and the same applies to all predicate expressions that admit both a collective and a distributive interpretation. At the same time, however, they argue that inflectional forms of the same lexeme reveal a univocity that should be preserved (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. Solving the Proportion Problem: A Plea for Selectivity.Hsiang-Yun Chen - 2016 - Proceedings of the Thirteenth International Workshop of Logic and Engineering of Natural Language Semantics 13:16-26.
    I argues that quantificational adverbs are unselective binders over individuals. The Lewisian analysis, however, fails to recognize the ambiguity in some quantificationally modified conditionals. That the Lewisian approach cannot predict some attested reading is known as the “proportion problem.” I propose a solution based on the following ideas: (a) quantificational adverbs bind selectively; (b) a singular indefinite and its anaphoric pronoun may introduce a plural discourse referent, and (c) plural predication is elusive.
    Download  
     
    Export citation  
     
    Bookmark  
  9. Unity and Plurality. Philosophy, Logic, and Semantics.Massimiliano Carrara, Alessandra Arapinis & Friederike Moltmann - 2016 - Oxford, England: Oxford University Press.
    This volume brings together new work on the logic and ontology of plurality and a range of recent articles exploring novel applications to natural language semantics. The contributions in this volume in particular investigate and extend new perspectives presented by plural logic and non-standard mereology and explore their applications to a range of natural language phenomena. Contributions by P. Aquaviva, A. Arapinis, M. Carrara, P. McKay, F. Moltmann, O. Linnebo, A. Oliver and T. Smiley, T. Scaltsas, P. (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  10. Two-Sided Trees for Sentential Logic, Predicate Logic, and Sentential Modal Logic.Jesse Fitts & David Beisecker - 2019 - Teaching Philosophy 42 (1):41-56.
    This paper will present two contributions to teaching introductory logic. The first contribution is an alternative tree proof method that differs from the traditional one-sided tree method. The second contribution combines this tree system with an index system to produce a user-friendly tree method for sentential modal logic.
    Download  
     
    Export citation  
     
    Bookmark  
  11. 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 and (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  12. Can Deep CNNs Avoid Infinite Regress/Circularity in Content Constitution?Jesse Lopes - 2023 - Minds and Machines 33 (3):507-524.
    The representations of deep convolutional neural networks (CNNs) are formed from generalizing similarities and abstracting from differences in the manner of the empiricist theory of abstraction (Buckner, Synthese 195:5339–5372, 2018). The empiricist theory of abstraction is well understood to entail infinite regress and circularity in content constitution (Husserl, Logical Investigations. Routledge, 2001). This paper argues these entailments hold a fortiori for deep CNNs. Two theses result: deep CNNs require supplementation by Quine’s “apparatus of identity and quantification” in order to (1) (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. Formalizing Self-Reference Paradox using Predicate Logic.P. Olcott - manuscript
    We begin with the hypothetical assumption that Tarski’s 1933 formula ∀ True(x) φ(x) has been defined such that ∀x Tarski:True(x) ↔ Boolean-True. On the basis of this logical premise we formalize the Truth Teller Paradox: "This sentence is true." showing syntactically how self-reference paradox is semantically ungrounded.
    Download  
     
    Export citation  
     
    Bookmark  
  14. Plural Action Sentences and Logical Form: Reply to Himmelreich.Kirk Ludwig - 2017 - Australasian Journal of Philosophy 95 (4):800-806.
    This paper replies to Himmelreich's ‘The Paraphrase Argument Against Collective Actions’ [2017], which presents three putative counterexamples to the multiple agents analysis of plural action sentences. The paper shows that the argument from the first example, the discursive dilemma, fails because it relies crucially on a simplification of the target analysis, and that the others don't bear on the question because they turn out on examination to be about individual rather than group action sentences.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  15. Pluralisms: Logic, Truth and Domain-Specificity.Rosanna Keefe - 2018 - In Jeremy Wyatt, Nikolaj Jang Lee Linding Pedersen & Nathan Kellen (eds.), Pluralisms in Truth and Logic. Cham, Switzerland and Basingstoke, Hampshire, UK: Palgrave Macmillan. pp. 429-452.
    In this paper, I ask whether we should see different logical systems as appropriate for different domains (or perhaps in different contexts) and whether this would amount to a form of logical pluralism. One, though not the only, route to this type of position, is via pluralism about truth. Given that truth is central to validity, the commitment the typical truth pluralist has to different notions of truth for different domains may suggest differences regarding validity in those different domains. Indeed, (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  16. In Defence of Discrete Plural Logic (or How to Avoid Logical Overmedication When Dealing with Internally Singularized Pluralities).Gustavo Picazo - 2022 - Disputatio 14 (64):51-63.
    In recent decades, plural logic has established itself as a well-respected member of the extensions of first-order classical logic. In the present paper, I draw attention to the fact that among the examples that are commonly given in order to motivate the need for this new logical system, there are some in which the elements of the plurality in question are internally singularized (e.g. ‘Whitehead and Russell wrote Principia Mathematica’), while in others they are not (e.g. ‘Some (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. Logical Inquiries into a New Formal System with Plural Reference.Ran Lanzet & Hanoch Ben-Yami - 2004 - In Vincent F. Hendricks (ed.), First-order logic revisited. Berlin: Logos. pp. 173-223.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  18. Logic and Ontology in Hegel's Theory of Predication.Kevin J. Harrelson - 2015 - European Journal of Philosophy 23 (4):1259-1280.
    In this paper I sketch some arguments that underlie Hegel's chapter on judgment, and I attempt to place them within a broad tradition in the history of logic. Focusing on his analysis of simple predicative assertions or ‘positive judgments’, I first argue that Hegel supplies an instructive alternative to the classical technique of existential quantification. The main advantage of his theory lies in his treatment of the ontological implications of judgments, implications that are inadequately captured by quantification. The second (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  19. Frege's Theorem in Plural Logic.Simon Hewitt - manuscript
    We note that a plural version of logicism about arithmetic is suggested by the standard reading of Hume's Principle in terms of `the number of Fs/Gs'. We lay out the resources needed to prove a version of Frege's principle in plural, rather than second-order, logic. We sketch a proof of the theorem and comment philosophically on the result, which sits well with a metaphysics of natural numbers as plural properties.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  20. Aristotle on Predication.Phil Corkum - 2015 - European Journal of Philosophy 23 (3):793-813.
    A predicate logic typically has a heterogeneous semantic theory. Subjects and predicates have distinct semantic roles: subjects refer; predicates characterize. A sentence expresses a truth if the object to which the subject refers is correctly characterized by the predicate. Traditional term logic, by contrast, has a homogeneous theory: both subjects and predicates refer; and a sentence is true if the subject and predicate name one and the same thing. In this paper, I will examine evidence (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  21. The Many and the One: A Philosophical Study of Plural Logic.Salvatore Florio & Øystein Linnebo - 2021 - Oxford, England: Oxford University Press.
    Plural expressions found in natural languages allow us to talk about many objects simultaneously. Plural logic — a logical system that takes plurals at face value — has seen a surge of interest in recent years. This book explores its broader significance for philosophy, logic, and linguistics. What can plural logic do for us? Are the bold claims made on its behalf correct? After introducing plural logic and its main applications, the book (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  22. A Notion of Logical Concept Based on Plural Reference.Carrara Massimiliano & Martino Enrico - 2018 - Acta Analytica 33 (1):19-33.
    In To be is to be the object of a possible act of choice the authors defended Boolos’ thesis that plural quantification is part of logic. To this purpose, plural quantification was explained in terms of plural reference, and a semantics of plural acts of choice, performed by an ideal team of agents, was introduced. In this paper, following that approach, we develop a theory of concepts that—in a sense to be explained—can be labeled as (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. We belong together? A plea for modesty in modal plural logic.Simon Hewitt - manuscript
    It is often assumed that pluralities are rigid, in the sense of having all and only their actual members necessarily. This assumption is operative in standard approaches to modal plural logic. I argue that a sceptical approach towards the assumption is warranted.
    Download  
     
    Export citation  
     
    Bookmark  
  24. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  25. Plural Reference and Reference to a Plurality. Linguistic Facts and Semantic Analyses.Friederike Moltmann - 2016 - In Massimiliano Carrara, Alessandra Arapinis & Friederike Moltmann (eds.), Unity and Plurality. Philosophy, Logic, and Semantics. Oxford, England: Oxford University Press. pp. 93-120.
    This paper defends 'plural reference', the view that definite plurals refer to several individuals at once, and it explores how the view can account for a range of phenomena that have been discussed in the linguistic literature.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  26. 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). Amsterdam: IOS Pres. 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   4 citations  
  27. Some Characteristics of the Referential and Inferential Predication in Classical Logic.Nijaz Ibrulj - 2021 - The Logical Foresight 1 (1):1-27.
    In the article we consider the relationship of traditional provisions of basic logical concepts and confront them with new and modern approaches to the same concepts. Logic is characterized in different ways when it is associated with syllogistics (referential – semantical model of logic) or with symbolic logic (inferential – syntactical model of logic). This is not only a difference in the logical calculation of (1) concepts, (2) statements, and (3) predicates, but this difference also appears (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Plurals and Mereology.Salvatore Florio & David Nicolas - 2020 - Journal of Philosophical Logic 50 (3):415-445.
    In linguistics, the dominant approach to the semantics of plurals appeals to mereology. However, this approach has received strong criticisms from philosophical logicians who subscribe to an alternative framework based on plural logic. In the first part of the article, we offer a precise characterization of the mereological approach and the semantic background in which the debate can be meaningfully reconstructed. In the second part, we deal with the criticisms and assess their logical, linguistic, and philosophical significance. We (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  29. Actions and Events in Plural Discourse.Kirk Ludwig - 2016 - In Kirk Ludwig & Marija Jankovic (eds.), The Routledge Handbook of Collective Intentionality. New York: Routledge. pp. 476-488.
    This chapter is concerned with plural discourse in the grammatical sense. The goal of the chapter is to urge the value of the event analysis of the matrix of action sentences in thinking about logical form in plural discourse about action. Among the claims advanced are that: -/- 1. The ambiguity between distributive and collective readings of plural action sentences is not lexical ambiguity, either in the noun phrase (NP) or in the verb phrase (VP), but an (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  30. Is there a plural object?Byeong-Uk Yi - 2014 - In Aaron J. Cotnoir & Donald L. M. Baxter (eds.), Composition as Identity. Oxford: Oxford University Press USA.
    A plurality or plural object is a single object that is also many, and pluralitism is the thesis that there is such an object. This paper argues that pluralitism and closely related theses (e.g., the many-one identity thesis and the composition as identity thesis) violate logic. To do so, it formulates an approach to the logic and semantics of plural constructions that results in plural logic and relates treatments of plural constructions to accounts (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  31. Aristotle's Theory of Predication.Mohammad Ghomi - manuscript
    Predication is a lingual relation. We have this relation when a term is said (λέγεται) of another term. This simple definition, however, is not Aristotle’s own definition. In fact, he does not define predication but attaches his almost in a new field used word κατηγορεῖσθαι to λέγεται. In a predication, something is said of another thing, or, more simply, we have ‘something of something’ (ἓν καθ᾿ ἑνὸς). (PsA. , A, 22, 83b17-18) Therefore, a relation in which two terms are posited (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32. Neutrosophic Modal Logic.Florentin Smarandache - 2017 - Neutrosophic Sets and Systems 15:90-96.
    We introduce now for the first time the neutrosophic modal logic. The Neutrosophic Modal Logic includes the neutrosophic operators that express the modalities. It is an extension of neutrosophic predicate logic and of neutrosophic propositional logic.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  33. Semantics and the Plural Conception of Reality.Salvatore Florio - 2014 - Philosophers' Imprint 14:1-20.
    According to the singular conception of reality, there are objects and there are singular properties, i.e. properties that are instantiated by objects separately. It has been argued that semantic considerations about plurals give us reasons to embrace a plural conception of reality. This is the view that, in addition to singular properties, there are plural properties, i.e. properties that are instantiated jointly by many objects. In this article, I propose and defend a novel semantic account of plurals which (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  34. Completeness and Doxastic Plurality for Topological Operators of Knowledge and Belief.Thomas Mormann - 2023 - Erkenntnis: 1 - 34, ONLINE.
    The first aim of this paper is to prove a topological completeness theorem for a weak version of Stalnaker’s logic KB of knowledge and belief. The weak version of KB is characterized by the assumption that the axioms and rules of KB have to be satisfied with the exception of the axiom (NI) of negative introspection. The proof of a topological completeness theorem for weak KB is based on the fact that nuclei (as defined in the framework of point-free (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  35. 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 modal (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  36. Metainferences from a Proof-Theoretic Perspective, and a Hierarchy of Validity Predicates.Rea Golan - 2022 - Journal of Philosophical Logic 51 (6):1295–1325.
    I explore, from a proof-theoretic perspective, the hierarchy of classical and paraconsistent logics introduced by Barrio, Pailos and Szmuc in (Journal o f Philosophical Logic,49, 93-120, 2021). First, I provide sequent rules and axioms for all the logics in the hierarchy, for all inferential levels, and establish soundness and completeness results. Second, I show how to extend those systems with a corresponding hierarchy of validity predicates, each one of which is meant to capture “validity” at a different inferential level. (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  37. Perspectival Plurality, Relativism, and Multiple Indexing.Dan Zeman - 2018 - In Rob Truswell, Chris Cummins, Caroline Heycock, Brian Rabern & Hannah Rohde (eds.), Proceedings of Sinn und Bedeutung 21. Semantics Archives. pp. 1353-1370.
    In this paper I focus on a recently discussed phenomenon illustrated by sentences containing predicates of taste: the phenomenon of " perspectival plurality " , whereby sentences containing two or more predicates of taste have readings according to which each predicate pertains to a different perspective. This phenomenon has been shown to be problematic for (at least certain versions of) relativism. My main aim is to further the discussion by showing that the phenomenon extends to other perspectival expressions than (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  38. Early Russell on Types and Plurals.Kevin C. Klement - 2014 - Journal for the History of Analytical Philosophy 2 (6):1-21.
    In 1903, in _The Principles of Mathematics_ (_PoM_), Russell endorsed an account of classes whereupon a class fundamentally is to be considered many things, and not one, and used this thesis to explicate his first version of a theory of types, adding that it formed the logical justification for the grammatical distinction between singular and plural. The view, however, was short-lived; rejected before _PoM_ even appeared in print. However, aside from mentions of a few misgivings, there is little evidence (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  39. Existence predicate.Reinhard Muskens - 1993 - In R. E. Asher & J. M. Y. Simpson (eds.), The Encyclopedia of Language and Linguistics. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. Introduction to Mathematical Logic, Edition 2021.Vilnis Detlovs & Karlis Podnieks - manuscript
    Textbook for students in mathematical logic. Part 1. Total formalization is possible! Formal theories. First order languages. Axioms of constructive and classical logic. Proving formulas in propositional and predicate logic. Glivenko's theorem and constructive embedding. Axiom independence. Interpretations, models and completeness theorems. Normal forms. Tableaux method. Resolution method. Herbrand's theorem.
    Download  
     
    Export citation  
     
    Bookmark  
  41. “In as Many Ways as Something is Predicated ... in that Many Ways is Something Signified to Be”: The Logic Behind Thomas Aquinas’s Predication Thesis, Esse Substantiale, and Esse in Rerum Natura.Elliot Polsky - 2019 - Proceedings of the American Catholic Philosophical Association 93:263-292.
    Thomistic commentators agree that Thomas Aquinas at least nominally allows for 'to be' (esse) to signify not only an act contrasted with essence in creatures, but also the essence itself of those creatures. Nevertheless, it is almost unheard of for any author to interpret Thomas's use of the word 'esse' as referring to essence. Against this tendency, this paper argues that Thomas's In V Metaphysics argument that every predication signifies esse provides an important instance of Thomas using esse to signify (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  42. Predicativity and constructive mathematics.Laura Crosilla - 2022 - In Gianluigi Oliveri, Claudio Ternullo & Stefano Boscolo (eds.), Objects, Structures, and Logics. Cham (Switzerland): Springer.
    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   4 citations  
  43. The semantics of mass-predicates.Kathrin Koslicki - 1999 - Noûs 33 (1):46-91.
    Along with many other languages, English has a relatively straightforward grammatical distinction between mass-occurrences of nouns and their countoccurrences. As the mass-count distinction, in my view, is best drawn between occurrences of expressions, rather than expressions themselves, it becomes important that there be some rule-governed way of classifying a given noun-occurrence into mass or count. The project of classifying noun-occurrences is the topic of Section II of this paper. Section III, the remainder of the paper, concerns the semantic differences between (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  44. Stoic logic and multiple generality.Susanne Bobzien & Simon Shogry - 2020 - Philosophers' Imprint 20 (31):1-36.
    We argue that the extant evidence for Stoic logic provides all the elements required for a variable-free theory of multiple generality, including a number of remarkably modern features that straddle logic and semantics, such as the understanding of one- and two-place predicates as functions, the canonical formulation of universals as quantified conditionals, a straightforward relation between elements of propositional and first-order logic, and the roles of anaphora and rigid order in the regimented sentences that express multiply general (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  45. Composition, identity and plural ontology.Roberto Loss - 2020 - Synthese 198 (10):9193-9210.
    According to ‘Strong Composition as Identity’, if an entity is composed of a plurality of entities, it is identical to them. As it has been argued in the literature, SCAI appears to give rise to some serious problems which seem to suggest that SCAI-theorists should take their plural quantifier to be governed by some ‘weak’ plural comprehension principle and, thus, ‘exclude’ some kinds of pluralities from their plural ontology. The aim of this paper is to argue that, (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  46.  59
    Predicates without Extensions.Paul Teller - manuscript
    Sainsbury argued that exact extensions for predicates entails the unacceptable infinite tower of higher order vagueness so that exact extensions must be rejected. I offer a second argument: The exact extensions arise when semantic values are assumed to be (exact) properties. But no assignment of unique properties to predicates could arise from any real-world finite basis. How, then, is talk of properties as semantic values to be understood? We distinguish the precise compositional rules of semantics from the operation of messy, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. Buying Logical Principles with Ontological Coin: The Metaphysical Lessons of Adding epsilon to Intuitionistic Logic.David DeVidi & Corey Mulvihill - 2017 - IfCoLog Journal of Logics and Their Applications 4 (2):287-312.
    We discuss the philosophical implications of formal results showing the con- sequences of adding the epsilon operator to intuitionistic predicate logic. These results are related to Diaconescu’s theorem, a result originating in topos theory that, translated to constructive set theory, says that the axiom of choice (an “existence principle”) implies the law of excluded middle (which purports to be a logical principle). As a logical choice principle, epsilon allows us to translate that result to a logical setting, where (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. Предикаты состояния и семантические типы предикатов [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. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. Deontic Logics based on Boolean Algebra.Pablo F. Castro & Piotr Kulicki - 2013 - In Robert Trypuz (ed.), Krister Segerberg on Logic of Actions. Dordrecht, Netherland: Springer Verlag.
    Deontic logic is devoted to the study of logical properties of normative predicates such as permission, obligation and prohibition. Since it is usual to apply these predicates to actions, many deontic logicians have proposed formalisms where actions and action combinators are present. Some standard action combinators are action conjunction, choice between actions and not doing a given action. These combinators resemble boolean operators, and therefore the theory of boolean algebra offers a well-known athematical framework to study the properties of (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  50. The Metaphysical Commitments of Logic.Thomas Brouwer - 2013 - Dissertation, University of Leeds
    This thesis is about the metaphysics of logic. I argue against a view I refer to as ‘logical realism’. This is the view that the logical constants represent a particular kind of metaphysical structure, which I dub ‘logico-metaphysical structure’. I argue instead for a more metaphysically lightweight view of logic which I dub ‘logical expressivism’. -/- In the first part of this thesis (Chapters I and II) I argue against a number of arguments that Theodore Sider has given (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 974