For various reasons several authors have enriched classical first order syntax by adding a predicate abstraction operator. “Conservatives” have done so without disturbing the syntax of the formal quantifiers but “revisionists” have argued that predicate abstraction motivates the universal quantifier’s re-classification from an expression that combines with a variable to yield a sentence from a sentence, to an expression that combines with a one-place predicate to yield a sentence. My main aim is to advance the cause of predicate abstraction while (...) cautioning against revisionism. In so doing, however, I shall pursue a secondary aim by conveying mixed blessings to those who hold the view that in the logical sense of “existence” some existing object is such as to exist contingently. Advocates of this view must concede Williamson’s recent contention that the domain of unrestricted objectual quantification could not have been narrower than it is actually, but predicate abstraction affords them some hope of accommodating this concession. (shrink)

Frege's theorem says that second-order Peano arithmetic is interpretable in Hume's Principle and full impredicative comprehension. Hume's Principle is one example of an abstraction principle, while another paradigmatic example is Basic Law V from Frege's Grundgesetze. In this paper we study the strength of abstraction principles in the presence of predicative restrictions on the comprehension schema, and in particular we study a predicative Fregean theory which contains all the abstraction principles whose underlying equivalence relations can be proven to be equivalence (...) relations in a weak background second-order logic. We show that this predicative Fregean theory interprets second-order Peano arithmetic. (shrink)

Natural language semanticists have often found it useful to assume that all expressions denote sets of values. The approach is most prominent in the study of questions and prosodic focus, but also common in work on indefinites, disjunction, negative polarity, and scalar implicature. However, the most popular compositional implementation of this idea is known to face technical obstacles in the presence of object-language binding constructs, including, chiefly, lambda abstraction. The problem has been well-described on several occasions in the literature, and (...) in fact several solutions have been explored. This paper seeks to formalize the challenge of defining an indeterminate semantics for binding operators, and to formally establish the intuition that the challenge is in fact insurmountable. The primary benefit to this exercise is that it offers an abstract characterization of what it means to lift an operation from one semantic space to another, a notion which may be applied to domains having nothing to do with sets of alternatives. (shrink)

Theories of relations between language and conceptual development benefit from empirical evidence for concepts available in infancy, but such evidence is comparatively scarce. Here, we examine early representations of specific concepts, namely, sets of dynamic events corresponding either to predicates involving two variables with a reversible, asymmetric relation between them (such as the set of all events that correspond to a linguistic phrase like “a dog is pushing a car,”) or to comparatively simpler, one-variable predicates (such as the (...) set of events corresponding to a phrase like “a dog is jumping.”). We develop a non-linguistic, anticipatory eye-tracking task that can be administered to both infants and adults, and we use this task to gather evidence for the formation and use of such one-and two-place-predicate classes (which we refer to as event sortals) in 12–24-mo-old infants, and in adults with and without concurrent verbal prose shadowing. Using visually similar stimuli for both the simpler (one-place) and the more complex (reversible, asymmetric, two-place) concepts, we find that infants only show evidence for forming and generalizing one-place event sortals, and, while adults succeed with both kinds in the absence of verbal shadowing, shadowing hampers their ability to form and use the asymmetric two-place event sortals. In a subsequent experiment with adults, we find that if the shadowing material is grammatically impoverished, adults now succeed in forming and using both one- and two-place event sortals. We discuss implications of these results for theories of concept acquisition, and the role of language in this process. (shrink)

Persian possesses a number of stative complex predicates with _dâshtan_ ‘to have’ that express certain kinds of mental state. I propose that these _possessive experiencer complex predicates_ be given a formal semantic treatment involving possession of a portion of an abstract quality by an individual, as in the analysis of property concept lexemes due to Francez and Koontz-Garboden (Language 91(3):533–563, 2015 ; Natural Language and Linguistic Theory 34:93–106, 2016 ; Semantics and morphosyntactic variation: Qualities and the grammar of (...) property concepts, Oxford University Press, 2017 ). Augmented with an analysis of prepositional phrases introducing the target of the mental state and an approach to gradability in terms of measure functions (Wellwood in Measuring predicates, PhD dissertation, University of Maryland, College Park, 2014 ), the analysis explains various properties of possessive experiencer complex predicates, including the behavior of target phrases, the ability of the non-verbal element to be modified by a range of adjectives, the direct participation of the non-verbal element in comparative constructions, and the ability of degree expressions to modify both the non-verbal element and the VP containing the complex predicate. Theoretically, the analysis ties transitive mental state expressions to the grammar and semantics of property concept sentences, which are expressed via possessive morphosyntax cross-linguistically, and connects with syntactic proposals that independently argue for a universal underlyingly possessive morphosyntax for mental state predicates (Noonan in Case and syntactic geometry, PhD dissertation, McGill University, 1992 ; Hale and Keyser in Prolegomenon to a theory of argument structure, MIT Press, 2002 ). The work here also motivates modifications to Francez and Koontz-Garboden’s original proposal, and opens new questions in the original empirical domain of the analysis of possessive predicating strategies for the expression of property concept sentences. (shrink)

Conceptual realism begins with a conceptualist theory of the nexus of predication in our speech and mental acts, a theory that explains the unity of those acts in terms of their referential and predicable aspects. This theory also contains as an integral part an intensional realism based on predicate nominalization and a reflexive abstraction in which the intensional contents of our concepts are “object”-ified, and by which an analysis of predication with intensional verbs can be given. Through a second nominalization (...) of the common names that are part of conceptual realism’s theory of reference (via quantifier phrases), the theory also accounts for both plural reference and predication and mass noun reference and predication. Finally, a separate nexus of predication based on natural kinds and the natural properties and relations nomologically related to those natural kinds, is also an integral part of the framework of conceptual realism. (shrink)

Recent work on mood choice considers fine-grained semantic differences among desire predicates (notably, ‘want’ and ‘hope’) and their consequences for the distribution of indicative and subjunctive complement clauses. In that vein, this paper takes a close look at ‘intend’. I show that cross-linguistically, ‘intend’ accepts nonfinite and subjunctive complements and rejects indicative complements. This fact poses difficulties for recent approaches to mood choice. Toward a solution, a broad aim of this paper is to argue that—while ‘intend’ is loosely in (...) the family of desire predicates—it differs from ‘want’ and ‘hope’ in that it has a causative component, and this is relevant to its mood choice behavior, given that causative predicates also systematically reject indicative complements. More concretely, my analysis has three ingredients: (i) following related proposals in philosophy, intention reports have causally self-referential content; (ii) encoding causal self-reference requires abstraction over the complement clause’s eventuality argument; and (iii) nonfinite and subjunctive clauses enable such abstraction but indicative clauses do not. Aside from causative predicates, independent support for the proposal comes from the syntax of belief-/intention-hybrid attitude predicates like ‘decide’ and ‘convince’, anankastic conditional antecedents, aspectual predicates, and memory and perception reports. Synthesizing this result with that of previous literature, the emergent generalization is that subjunctive mood occurs in attitude reports that involve either comparison or eventuality abstraction. Toward a unified theory of mood choice, I suggest that both comparison and eventuality abstraction represent departures from the clausal semantics of unembedded assertions and consequently that subjunctive mood signals such a departure. (shrink)

Abstract.Given a class C of t-norm BL-algebras, one may wonder which is the complexity of the set Taut(C∀) of predicate formulas which are valid in any algebra in C. We first characterize the classes C for which Taut(C∀) is recursively axiomatizable, and we show that this is the case iff C only consists of the Gödel algebra on [0,1]. We then prove that in all cases except from a finite number Taut(C∀) is not even arithmetical. Finally we consider predicate (...) monadic logics TautM(C∀) of classes C of t-norm BL-algebras, and we prove that (possibly with finitely many exceptions) they are undecidable. (shrink)

Mandarin Chinese, along with Japanese, Yorùbá, Mòoré, and Samoan, has been argued to lack ‘degree abstraction’, a configuration at LF involving lambda abstraction over a degree variable. These languages are claimed to have a negative setting for a hypothesized ‘Degree Abstraction Parameter’. Recent work, however, has argued for degree abstraction in Japanese and Yorùbá, and degree abstraction has been detected in a number of additional languages. Could it in fact be universal? Here, we focus on the case of Mandarin, and (...) argue that Mandarin has degree abstraction too. We offer three arguments in favor of degree abstraction in Mandarin, based on attributive comparatives, comparatives with embedded predicates, and scope interactions with modals. We also rebut prior arguments for the lack of degree abstraction in Mandarin, considering degree questions, measure phrases, and negative island effects. Taken together, these results show that degree abstraction is not a parameter along which Mandarin and English vary, and suggest rather that degree abstraction may be universally available. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Self-Predication and the "Third Man" Argument ROGER A. SHINER 1.1. IN COMMPm'mO on the 'Third Man' Argument (TMA), Proclus z produces the following line of thought. He argues that. if the relation of resemblance between Form and particular were symmetrical, the argument in question would be valid; the relation is not, however, symmetrical. Where a Form and particular are both alike, have the quality of likeness, the likeness (...) of that which is derived is not the same as the likeness of that from which it is derived, just because of the former's derivatory nature. Consequently, ~k tt~v ala01]x~ bttotoi3c0at ~re[vot~ (sc. xo~ ~Semv), abx~ 8~ xo6~ot~ oSr~xt, 'the sensible particulars resemble the Forms, but they are not in the same relation of resemblance to the particulars' (ibid., 913.29-30). That is to say, the bare relation of similarity may be symmetrical, but the relation of a similar copy to a similar original is not; the copy is 'a copy of' the original, but the original/s not 'a copy of' the copy. This way of defending the Theory of Forms against the TMA I shall for purposes of identification call the 'Ontological Defence'. It lays stress on the ontological difference between Form and particular in order to avoid the fatal implication that the relation between them is symmetrical. If we use the language of predication, the point is as follows: the TMA is valid, if the Forms have a given term predicated of them severally in exactly the same sense as it is predicated of their respective dependent particulars. This, however, is not the case, for the quality in virtue of which a given term is predicated of a given Form differs in ontological status from the quality in virtue of which that term is predicated of that Form's dependent particulars. Thus we see that underlying the Ontological x I am grateful for helpful comments on an earlier version of this paper to Professor Gilbert Ryle, Professor John F. Malcolm and two anonymous readers for this Journal. Since this paper went to press, the following relevant articles have appeared: G. Vlastos, "'Self Predication' in Plato's Later Period," Philosophical Review, LXXVIII (1969), 74-78, and "Plato's 'Third Man' Argument (Parm. 132al-b2): Text and Logic," Philosophical Quarterly, XIX (1969), 289-301; K. W. Rankin, "The Duplicity of Plato's Third Man," Mind, LXXVIII (1969), 178-197; T. O. Smith, "'The Theory of Forms, Relations and Infinite Regress," Dialogue, VIII (1969), 116-123. 2 Proelus, In Platonis Parmenidem, ed. V. Cousin, Paris, 1864; 912.27 ft. [3711 372 HISTORY OF PHILOSOPHY Defence is the following assumption--the fact that the Forms are self-predicating only causes problems for the Theory of Forms, if a given Form F and its corresponding particulars, a set of f things, have 'F' predicated of them univocally, are F in precisely the same sense. My thesis in this paper is that this latter assumption is false, it is, rather, quite sufficient for the Self-Predication Assumption (SPA) to be vicious, if 'F' is predicated of both Form and particular not equivocally. This is not the same as 'univocally', and furthermore it is not possible that Plato could have thought of the predication of a term of both Form and particular as equivocal, the only alternative left to him to escape the TMA. The SPA, therefore, is required for the Theory of Forms to make sense, and leads to an ineradicable defect in that Theory. 1.2. One minor terminological point must be noted before we proceed. There are two versions of the TMA in the Parmenides; the first runs from 131eS-132b2, and the second from 132c11-133a7. The second of these explicitly employs the language of copy-resemblance, 7mpdS~tytm ('paradigm'), 6lxoio)tta ('likeness'), ~tKao0~vat ('resemble') as an explication of ~t~0e~tq ('participation'): the first employs the lan~.,uage of cttx6 ~ xai3xa.., eIvat ('that by which things are...'), which, as Plato has already indicated (Phaedo 100d6-8), is deliberatety noncommittal as to the relation between Forms and particulars. I shall refer to the first argument as TMA(1) and the second... (shrink)

We argue that no attempt of reducing meaning to a systematic set of rules, according to which the role of linguistic expressions is to be normatively defined, can be abstracted from an irreducibly decisional compound. By comparing Lorenzen ’s project of building an Ortho-language and Brandom ’s inferentialist take on meaning, we distinguish two ways of acknowledging this fact, while claiming that Lorenzen ’s take is more genuinely constructive, insofar as choices be thought of as genuine features of constructions. It (...) brings into a new perspective the relation between dialogical constructivism and Brouwer ’s intuitionism. Finally we bring up a philosophical argument for the claim that interaction rules should be indexed on players and on their choices, when providing deontic bases to semantics. (shrink)

This essay introduces the concept of deictic abstraction , taking as a point of departure Husserl’s prototypical but insufficient description of the act of ideation in which a shade of color comes to givenness as an ideal object, i.e., a non-individual or abstract object, on the basis of a perceived individual object. This concept comprises not only color-ideation and ideations of universalities of the sensuous sphere , but all acts founded in perceptions in which ideal objects are directly referred (...) to by means of demonstrative expressions . This allows various types of deictic ideations or abstractions, corresponding to the degree of universality and the kind of ideal object concerned, to be brought to light through the analysis of particular cases of everyday acts of deictic abstraction, including deictic abstractions of predicative universals of the lowest level of universality ; deictic abstractions of non-predicative universals, especially of universal ways of doing something ; and deictic abstractions of individual styles of doing something . Deictic abstractions not only turn out to be constitutive for the formation of perceptual concepts of the lower and lowest levels, but also prove to be foundational for all kinds of learning in which schemata of actions are acquired from a model. (shrink)

In an attempt to accommodate natural language phenomena involving nominalization and self-application, various researchers in formal semantics have proposed abandoning the hierarchical type system which Montague inherited from Russell, in favour of more flexible type regimes. We briefly review the main extant proposals, and then develop a new approach, based semantically on Aczel's notion of Frege structure, which implements a version ofsubsumption polymorphism. Nominalization is achieved by virtue of the fact that the types of predicative and propositional complements are contained (...) in the type of individuals. Russell's paradox is avoided by placing a type-constraint on lambda-abstraction, rather than by restricting comprehension. (shrink)

ABSTRACT Perry contends that an utterance of ‘It is raining’ must be assigned a location before being truth assessed. The location is famously argued to be an unarticulated constituent of the proposition an utterance of expresses. My paper examines this view from a pluri-propositionalist perspective. The sentence contains an impersonal pronoun, ‘it’ and the impersonal verb ‘to rain. I suggest that the utterance of semantically determines ‘to rain’, which is an event, and that that event is instantiated at a (...) time indicated by the tense at a location It is assumed that all event are located in space and time. (shrink)

I want to motivate an account of what it is for an object to have a property, which may as well be called a deflationary view about properties. Such a view follows from a conception of predication I ground in the work of Donald Davidson, some of which remains unpublished. I claim that if we take seriously Davidson’s account of predication, by maintaining that sentences are the primary linguistic unit, we can define properties in terms of predicates. The aim (...) of this paper is twofold. First, I argue that this account is present in Davidson’s systematic treatment of the problem of predication. Second, I claim that this account is serviceable and economical, as it can accommodate a wide scope of properties and abstract objects without appealing to entities such as truthmakers or joints in nature. (shrink)

This paper presents a formalization of first-order arithmetic characterizing the natural numbers as abstracta of the equinumerosity relation. The formalization turns on the interaction of a nonstandard cardinality quantifier with an abstraction operator assigning objects to predicates. The project draws its philosophical motivation from a nonreductionist conception of logicism, a deflationary view of abstraction, and an approach to formal arithmetic that emphasizes the cardinal properties of the natural numbers over the structural ones.

Abstract: In this brief commentary, I focus on two issues, first on Moltmann’s proposed Davidsonian event semantics for transitive verb attitude predicates, and second on the import of what she calls ‘the underspecification of content’ for the proper semantic interpretation of that-clauses. With respect to the first of these issues, I question the empirical justification of her proposed semantics, suggesting that she needs a syntactic rationale for her semantics. With respect to the second issue, I question whether, as (...) she claims, the that-clauses in transitive verb attitude predicates specify (or even partially specify) the truth or satisfaction conditions for the attributed attitudes. (shrink)

Feminists, critical race scholars, and other social‐justice theorists sometimes object to “abstraction” in liberal normative theory. Arguing that oppression affects individual agents in powerful yet subtle ways, they contend that allegedly abstract theories often reinforce oppressive power structures. Here I critically examine and ultimately reject Onora O'Neill's “abstraction without idealization” as a solution to this problem. Because O'Neill defines abstraction as simply the “bracketing of certain predicates,” her methodology fails to guide decisions about what to bracket and what (...) to include in the theory. Moreover, it may not be possible to abstract without also relying on some particular ideals. While abstraction is unavoidable, I conclude that it must be employed with greater attention to sociopolitical hierarchies and by using ideals that do not collude with structures of oppression. I discuss the work of Susan Babbitt and Elizabeth Anderson as examples of how nonoppressive ideals might be incorporated into normative theory. (shrink)

The Quantified argument calculus (Quarc) has received a lot of attention recently as an interesting system of quantified logic which eschews the use of variables and unrestricted quantification, but nonetheless achieves results similar to the Predicate calculus (PC) by employing quantifiers applied directly to predicates instead. Despite this noted similarity, the issue of the relationship between Quarc and PC has so far not been definitively resolved. We address this question in the present paper, and then expand upon that result. (...) Utilizing recent developments in structural proof theory, we develop a G3-style sequent calculus for Quarc and briefly demonstrate its structural properties. We put these properties to use immediately to construct direct proofs of the meta-theoretical properties of the system. We then incorporate an abstract (and, as we shall see, logical) predicate into the system in a way that preserves all the structural properties. This allows us to identify a system of Quarc which is deductively equivalent to PC, and also yields a constructive method of demonstrating the Craig interpolation theorem (which speaks in favor of the aforementioned predicate being logical). We further generalize this extension to develop a bivalent system of Quarc with defining clauses that still maintains all the desirable properties of a good proof system. (shrink)

Abstract The paper is concerned with the status of vague predicates. It is argued that they are for the most part ?classifiers?, which are covertly comparatives and name not monadic properties but relations. The Sorites Paradox, it is claimed, is thus defused and a verdict theory of vague predicates is presented. Our practice in using vague words is described and it is contended that in our use of these predicates we always have a permanent possibility of (...) independent demarcation. Wittgenstein's picture of the wall and the swamp is deployed to avoid the Transition Problem and it is argued against Fregeans that we need vague language for the advancement of knowledge and understanding. (shrink)

Abstract The notion of necessary new terms (predicates) is proposed. It is shown that necessary new predicates in first?order logic must be directly, recursively defined. I present a first?order inductive learning algorithm that introduces new necessary predicates to model scientific revolution in which a new language is adopted. I demonstrate that my learning system can learn a genetic theory with theoretical terms which, after being induced by my system, can be interpreted as either types of genetic (...) properties (dominant or recessive) or genes, depending on the representation of the hypotheses of the same theoretical terms. (shrink)

Non-reductive physicalists have long held that the special sciences offer explanations of some phenomena that are objectively superior to physical explanations. This explanatory “autonomy” has largely been based on the multiple realizability argument. Recently, in the face of the local reduction and disjunctive property responses to multiple realizability, some defenders of non-reductive physicalism have suggested that autonomy can be grounded merely in human cognitive limitations. In this paper, I argue that this is mistaken. By distinguishing between two kinds of abstraction (...) I show that the greater explanatory relevance of some special science predicates (to certain explananda) is both non-anthropocentric and not solely based on considerations of multiple realizability. This shows that the explanatory autonomy of the special sciences is safe from the local reduction and disjunctive property strategies, even if they are successful responses to the multiple realizability argument. (shrink)

The purpose of this paper is to outline an alternative approach to introductory logic courses. Traditional logic courses usually focus on the method of natural deduction or introduce predicate calculus as a system. These approaches complicate the process of learning different techniques for dealing with categorical and hypothetical syllogisms such as alternate notations or alternate forms of analyzing syllogisms. The author's approach takes up observations made by Dijkstrata and assimilates them into a reasoning process based on modified notations. The author's (...) model adopts a notation that addresses the essentials of a problem while remaining easily manipulated to serve other analytic frameworks. The author also discusses the pedagogical benefits of incorporating the model into introductory logic classes for topics ranging from syllogisms to predicate calculus. Since this method emphasizes the development of a clear and manipulable notation, students can worry less about issues of translation, can spend more energy solving problems in the terms in which they are expressed, and are better able to think in abstract terms. (shrink)

Wilson argued that since for continuants such as people a predicate and a time determine a place, natural language *can* specify just, e,.g. "a is dyspeptic at t" leaving the location of a's dyspepsia unstated. From this he concludes that language *must* leave the location unstated. I query the transition from *may* to *must*.

Abstraction principles and grounding can be combined in a natural way Modality: metaphysics, logic, and epistemology, Oxford University Press, Oxford, pp 109–136, 2010; Schwartzkopff in Grazer philosophische studien 82:353–373, 2011). However, some ground-theoretic abstraction principles entail that there are circles of partial ground :775–801, 2017). I call this problem auto-abstraction. In this paper I sketch a solution. Sections 1 and 2 are introductory. In Sect. 3 I start comparing different solutions to the problem. In Sect. 4 I contend that the (...) thesis that the right-hand side of an abstraction principle is prior to its left-hand side motivates an independence constraint, and that this constraint leads to predicative restrictions on the acceptable instances of ground-theoretic abstraction principles. In Sect. 5 I argue that auto-abstraction is acceptable unless the left-hand side is essentially grounded by the right-hand side. In Sect. 6 I highlight several parallelisms between auto-abstraction and the puzzles of ground. I finally compare my solution with the strategies listed in Sect. 3. (shrink)

Those who believe that ordinary things have temporal as well as spatial parts must give an account of the truth conditions of temporally modified predications of the form ‘a is F at t ’ in terms of temporal parts. I will argue that the friend of temporal parts is committed to an account of temporal predication that is incompatible with the classical principle of predicate abstraction.

We suggest a new framework for the Weyl-Feferman predicativist program by constructing a formal predicative set theory P ZF which resembles ZF , and is suitable for mechanization. The basic idea is that the predicatively acceptable instances of the comprehension schema are those which determine the collections they define in an absolute way, independent of the extension of the “surrounding universe”. The language of P ZF is type-free, and it reflects real mathematical practice in making an extensive use of statically (...) defined abstract set terms. Another important feature of P ZF is that its underlying logic is ancestral logic (i.e. the extension of first-order logic with a transitive closure operation). (shrink)

Finitely algebraizable deductive systems were introduced by Blok and Pigozzi to capture the essential properties of those deductive systems that are very tightly connected to quasivarieties of universal algebras. They include the equivalential logics of Czelakowski. Based on Blok and Pigozzi’s work, Herrmann defined algebraizable deductive systems. These are the equivalential deductive systems that are also truth-equational, in the sense that the truth predicate of the class of their reduced matrix models is explicitly definable by some set of unary equations. (...) Raftery undertook the task of characterizing the property of truth-equationality for arbitrary deductive systems. In this paper, following Raftery, we extend the notion of truth-equationality for logics formalized as $\pi$-institutions and abstract several of the results that hold for deductive systems in this more general categorical context. (shrink)

This experimental study provides further support for a theory of meaning first put forward by Bar-Hillel and Carnap in 1953 and foreshadowed by Asimov in 1951. The theory is the Popperian notion that the meaningfulness of a proposition is its a priori falsity. We tested this theory in the first part of this paper by translating to logical form a long, tightly written, published text and computed the meaningfulness of each proposition using the a priori falsity measure. We then selected (...) the top propositions—by a priori falsity—and strung them together to form ad hoc abstracts and compared these abstracts with the published summary. The results were startling: translation to logical form, followed by application of the Asimovian idea and Bar-Hillel/Carnap mathematics as elaborated into an AI/NLP proposal in Fulda (1986, 1988), produced excellent abstracts, thereby providing a proof-of-concept that merely by knowing the logical form of long text passages, one can produce reasonable abstracts of them—without actually understanding the text. We here report on a second experiment analyzing, in the exact same manner, the correspondence that followed the published text of the first experiment. While the results of this confirming experiment are less startling, they nevertheless provide additional confidence in the promise of the technique. In other words, were the results of these two experiments to generalize, that would show that logical form captures much more semantics than has heretofore been considered likely. Far from (as is commonly supposed) being merely the syntactical rewrite of text into formal notation, translation to logical form, even when undertaken with almost no knowledge about the particular predicates, individual constants, or other objects referred to in that form, might capture the core of the meaning in some important sense. -/- Note: There is a key difference in the /style/ of the texts analyzed in I and II in this long paper, divided into two only for practical reasons—space; the first text analyzed is written in a tight mathematical style, while the second is written in the discursive style of philosophy. -/- Finally, the unusual (for me) length of this two-part paper is justified by its being data-driven. (shrink)

Theabstract variable binding calculus (VB-calculus) provides a formal frame-work encompassing such diverse variable-binding phenomena as lambda abstraction, Riemann integration, existential and universal quantification (in both classical and nonclassical logic), and various notions of generalized quantification that have been studied in abstract model theory. All axioms of the VB-calculus are in the form of equations, but like the lambda calculus it is not a true equational theory since substitution of terms for variables is restricted. A similar problem with the standard (...) formalism of the first-order predicate logic led to the development of the theory of cylindric and polyadic Boolean algebras. We take the same course here and introduce the variety of polyadic VB-algebras as a pure equational form of the VB-calculus. In one of the main results of the paper we show that every locally finite polyadic VB-algebra of infinite dimension is isomorphic to a functional polyadic VB-algebra that is obtained from a model of the VB-calculus by a natural coordinatization process. This theorem is a generalization of the functional representation theorem for polyadic Boolean algebras given by P. Halmos. As an application of this theorem we present a strong completeness theorem for the VB-calculus. More precisely, we prove that, for every VB-theory T that is obtained by adjoining new equations to the axioms of the VB-calculus, there exists a model D such that T s=t iff D s=t. This result specializes to a completeness theorem for a number of familiar systems that can be formalized as VB-calculi. For example, the lambda calculus, the classical first-order predicate calculus, the theory of the generalized quantifierexists uncountably many and a fragment of Riemann integration. (shrink)

An important lesson that philosophy can learn from the Turing Test and computer science more generally concerns the careful use of the method of Levels of Abstraction (LoA). In this paper, the method is first briefly summarised. The constituents of the method are “observables”, collected together and moderated by predicates restraining their “behaviour”. The resulting collection of sets of observables is called a “gradient of abstractions” and it formalises the minimum consistency conditions that the chosen abstractions must satisfy. Two (...) useful kinds of gradient of abstraction – disjoint and nested – are identified. It is then argued that in any discrete (as distinct from analogue) domain of discourse, a complex phenomenon may be explicated in terms of simple approximations organised together in a gradient of abstractions. Thus, the method replaces, for discrete disciplines, the differential and integral calculus, which form the basis for understanding the complex analogue phenomena of science and engineering. The result formalises an approach that is rather common in computer science but has hitherto found little application in philosophy. So the philosophical value of the method is demonstrated by showing how making the LoA of discourse explicit can be fruitful for phenomenological and conceptual analysis. To this end, the method is applied to the Turing Test, the concept of agenthood, the definition of emergence, the notion of artificial life, quantum observation and decidable observation. It is hoped that this treatment will promote the use of the method in certain areas of the humanities and especially in philosophy. (shrink)

By the term nominalization I mean any process which transforms a predicate or predicate phrase into a noun or noun phrase, e.g. feminine is transformed into feminity. I call these derivative nouns abstract singular terms. Our aim is to provide a model-theoretic interpretation for a formal language which admits the occurrence of such abstract singular terms.

Platonism, in its most recent and seemingly most cogent form, has rested on (a) the supposed indispensability of descriptive predicate terms in so-called "improved," or "clarified," or "perspicuous" languages; (b) the distinction between subject and predicate terms based on the asymmetry of the predication relation; and (c) the claimed ontological significance of the different categories of terms implied by (a) and (b). Nominalism, in one of its most pervasive recent forms, has involved the denial of the criterion of ontological commitment (...) embedded in (c) by explicitly or implicitly adopting the criterion expressed in Quine's formula "to be is to be the value of a variable." To avoid the obvious charge that nominalists merely ignore abstract entities by the arbitrary ploy of changing the rules, i.e. denying that ontological commitments are made by the inclusion of primitive predicates in schemata of certain kinds by simply employing a different criterion of commitment, some nominalists have sought to argue for their criterion by pointing to the distinction between singular and general terms and the radically different roles such terms play. The distinction between singular and general terms becomes the premise for an argument that purportedly supports Quine's criterion of ontological commitment. This criterion, in turn, provides the basis for the nomin'alist's use of primitive predicates, as general terms, without ontological commitment to abstract entities. In this paper I shall argue that the nominalist's gambit is inadequate in that the distinction between singular and general terms, as employed by a philosopher like Quine, merely provides a way of stating the nominalist's position and does not provide a reason for holding such a position. To put it another way, if we consider the contemporary nominalist to argue from the distinction between singular and general terms to the cogency of nominalism, since the former provides a ground for Quine's criterion of ontological commitment which, in turn, provides the basis for the latter, then the line of thought is question begging. It is so in that the very way the nominalist draws the distinction presupposes a nominalistic view, since a careful statement of that distinction amounts to a restatement of the nominalistic position. (shrink)

Kripke’s notion of groundedness plays a central role in many responses to the semantic paradoxes. Can the notion of groundedness be brought to bear on the paradoxes that arise in connection with abstraction principles? We explore a version of grounded abstraction whereby term models are built up in a ‘grounded’ manner. The results are mixed. Our method solves a problem concerning circularity and yields a ‘grounded’ model for the predicative theory based on Frege’s Basic Law V. However, the method is (...) poorly behaved unless the background second-order logic is predicative. (shrink)

What does it mean for a general term to be rigid? It is argued by some that if we take general terms to designate their extensions, then almost no empirical general term will turn out to be rigid; and if we take them to designate some abstract entity, such as a kind, then it turns out that almost all general terms will be rigid. Various authors who pursue this line of reasoning have attempted to capture Kripke’s intent by defining (...) a rigid general term as one that applies to the objects in its extension essentially. I argue that this account is significantly mistaken for various reasons: it conflates a metaphysical notion (essentialism) with a semantic one (rigidity); it fails to countenance the fact that any term can be introduced into a language by stipulating that it be a rigid designator; it limits the extension of rigid terms so much that terms such as ‘meter’, ‘rectangle’, ‘truth’, etc. do not turn out to be rigid, when they obviously are; and it wrongly concentrates on the predicative use of a general term in applying a certain test offered by Kripke to determine whether a term is rigid. (shrink)

This chapter argues that special quantifiers such as 'something' when occurring in argument position are not ordinary or substitutional quantifiers; rather they have a reifying force introducing a domain of tropes or kinds of tropes to quantify over.

By language we understand a lower predicate calculus with identity and (perhaps) relation and function symbols. It is convenient to allow for more than one sort of variable. Now each individual constant (if there are any) is of a specified sort, the formal expressions R(t1, … tn), f(t1,…, tn) are well formed only if the terms t1, …, tn are of specified sorts determined by the relation symbol R and the function symbol f, and the term f(t1, …, tn) (if (...) well formed) is of a sort determined by f. We admit s = t as well formed, no matter what the sorts of s and t. (shrink)

The paper begins by considering Russell's criticism of Meinong's theory of objects and Sosein that center on the notions of negation and existence. The discussion raises issues about functions, properties, predication, the "concept" of existence and relations. These lead to a consideration of recent revivals of moderate nominalism in the form of trope theories. An argument against such theories suggests a fundamental principle of ontology and a reformulation of the nominalism-realism dispute.

The paper begins by considering Russell's criticism of Meinong's theory of objects and Sosein that center on the notions of negation and existence. The discussion raises issues about functions, properties, predication, the "concept" of existence and relations. These lead to a consideration of recent revivals of moderate nominalism in the form of trope theories. An argument against such theories suggests a fundamental principle of ontology and a reformulation of the nominalism-realism dispute.

ABSTRACT Leśniewskian Ontology (LO) is a system in which the basic subject-predicate formula takes the form of a b and express one-argument predication, e.g. John is a student. In LO’s language, there is no many-argument form of predication given that would allow for the structural expression of, for example, the sentence John is Anne’s son. In this article, a simple and natural extension of LO is suggested to encompass many-argument predication. The system thus obtained corresponds to polyadic second-order logic.

DP hypothesis of Abney (1987), the syntactic unit that had formerly been known as noun phrase should in fact be analyzed as a phrase headed by a determiner, hence the label DP. Quite independently of this syntactic development, Partee (1987) proposed a type shifting paradigm for the semantic analysis of nominals (now called DPs). In Partee's proposal DPs are ambiguous between a referential reading of type e, a predicative reading of type et and a quantificational reading of type (et)t. DP (...) meanings can flexibly move between their different readings due to covert application of semantic operators. The present paper proposes some strong relationships between these syntactic and semantic paradigms. It is argued that the structure of the DP affects its semantics in that the NP level within the DP is purely predicative and the DP level itself is purely quantificational. However, the intermediate D' level is flexible between the predicate/quantifier semantic categories, due to the covert application of semantic operators at this level. Partee's assumption, adopted from Discourse Representation Theory and more traditional approaches in philosophical logic, that some DPs need to have a (discourse) referential reading, is withdrawn. Instead of Partee's type shifting operators between the three semantic categories she assumes, two operators are used between predicates and quantifiers. The choice function operation of Reinhart (1997) and Winter (1997) is used as a general operator from predicates to quantifiers. The minimum operator of Winter (1996) is used as a general operator from quantifiers to predicates. These two operations, referred to as category shifting operators , account for most of the Partee data and substantially extend the theory of flexibility to treat some intricate phenomena in the domains of coordination, plurality and scope. (shrink)

Since their introduction by Partee and Rooth (1983) into linguistic theory, type shifting principles have been extensively employed in various linguistic domains, including nominal predicates (Partee 1987), kind denoting NPs (Chierchia 1998), interrogatives (Groenendijk and Stokhof 1989), scrambled definites (De Hoop and Van der Does 1998) and plurals (Winter 2001,2002). Most of the accounts that use type shifting principles employ them as ``last resort'' mechanisms, which apply only when other compositional mechanisms fail. This failure is often sloppily referred to (...) as type mismatch . The motivation for introducing type mismatch into the compositional mechanism is twofold: on the one hand it allows lexical items to be assigned the minimal types that are needed for describing their denotation; on the other hand, it has been argued that the ``last resort'' strategy of type shifting prevents derivation of undesired meanings. The first goal of this paper is to define a simple notion of type mismatch, which will rather closely follow Partee and Rooth's original proposal but will be expressed within more familiar terms of categorial semantics. After introducing this implementation of traditional type mismatch, it will be argued that in fact, it covers only one possible kind of trigger for type shifting principles. Partee and Rooth's notion of mismatch is ``external'' in that the type of an expression is changed only when it combines with another type to which it cannot compose using the ``normal'' compositional mechanism. It will be argued that, within an appropriate type system, another notion of mismatch is also useful. This is the kind of mismatch in which the semantic type of an expression does not match its syntactic category. Two such cases will be explored: mismatch between morpho-syntactic number (singular or plural) and semantic number (a denotation ranging over atoms or sets), and mismatch between syntactic category (noun, DP, adjective etc.) and semantic role (predicate, quantifier, predicate modifier etc.).. (shrink)