The nexus of predication is accounted for in different ways in different theories of universals. We briefly review the account given in nominalism, logical realism , and natural realism. Our main goal is to describe the account given in a modern form of conceptualism extended to include a theory of intensional objects as the contents of our predicable and referential concepts.

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)

This chapter, which provides a discussion on the phenomenological foundations of predicative structure, first introduces the different steps in Edmund Husserl's argument. It is noted that not all judgements can be equated with a nexus between a conceptual function and an argument. The predicative structure shows the orientation of consciousness towards one or more objects taken as a theme of interest and utterance. The genetic phenomenological perspective posits the question of the origin of predicative judgement within a much larger (...) context. Husserl's account amounts to granting a paradigmatic character to the theory of experience of ultimate individual substrates and to the theory of perceptual judgement. Levinasian phenomenology implies a radical rethinking of the primacy of the predicative apophansis. It is noted that language can never be taken as an independent and autonomous dimension. (shrink)

Nexuses such as exemplification are the fundamental ties that structure reality as a whole. They are “formal” in the sense of constituting the form, not the matter of reality and they are “transcendental” inasmuch as they transcend the categorial distinctions between the denizens of reality, including that between existents and non-existents. I shall advocate a moderately particularist view about (external) nexuses and argue that it provides not only the best solution to Bradley’s regress, but also an elegant account of symmetrical (...) relations (both formal and material), as well as of temporal and modal change. These advantages are illustrated by the reconstruction of an Aristotelian ontology of exemplification involving substances, kinds and material attributes. (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)

It is surprisingly hard to define presentism. Traditional definitions of the view, in terms of tensed existence statements, have turned out not to to be capable of convincingly distinguishing presentism from eternalism. Picking up on a recent proposal by Tallant, I suggest that we need to locate the break between eternalism and presentism on a much more fundamental level. The problem is that presentists have tried to express their view within a framework that is inherently eternalist. I call that framework (...) the Fregean nexus, as it is defined by Frege’s atemporal understanding of predication. In particular, I show that the tense-logical understanding of tense which is treated as common ground in the debate rests on this very same Fregean nexus, and is thus inadequate for a proper definition of presentism. I contrast the Fregean nexus with what I call the original temporal nexus, which is based on an alternative, inherently temporal form of predication. Finally, I propose to define presentism in terms of the original temporal nexus, yielding original presentism. According to original presentism, temporal propositions are distinguished from atemporal ones not by aspects of their content, as they are on views based on the Fregean nexus, but by their form—in particular, by their form of predication. (shrink)

In his article, Florian Vermeiren attributes to Leibniz – like other interpreters before him – the distinction of two different kinds of relations: 1) relations in the proper sense of the word as, for example, the fatherhood subsisting between Sophroniscus and Socrates, which Leibniz considers situated ‘outside the subjects’ involved; 2) relational properties, such as being a father, inherent in Sophroniscus. The distinction is clearly present in Leibniz’s writings. According to Vermeiren, Leibniz considers ‘purely mental’ only the relations ‘out of (...) the subjects’ and not the relational predicates, by means of which, on the other hand, the individuals of the Leibnizian world would be truly related. In this sense, therefore, Leibniz would admit the reality of relations, which would play an important role in his ontology. At least since 1686 (the year in which he wrote the Discourse), however, Leibniz states that the world is made only of individuals with their internal modifications: just as there are no properties with a leg in one subject and a leg in another, there are no individuals bound together by any kind of material nexus or ‘real’ ties. Thus, if we make a list of all fathers on the one hand and sons on the other, there remains the problem of how to properly connect the fathers exactly with their sons. Attributing to each of two related individuals a relational property is not enough to connect them. Being a father in David must necessarily refer in some way to Solomon as a son. Leibniz is aware of this, as his attempts to analyze relational propositions in his essays on rational grammar show. Given the sentence ‘Cajus is killed by Titius’ for example, Leibniz attempts to reduce it to an inference between a pair of categorical sentences, each of which attributes a relational predicate to the subject. Relations (and relational properties) result from the substances and their modes, “without producing any change” of themselves but only in virtue of a consequence, that is of a logical inference. The image of the world derived so from the Monadology and other Leibnizian writings is that of a world composed of a collection of isolated individuals, independent of each other and lacking mutual connections. Relational properties correspond to internal modifications of each individual: the second term, in the case of binary relations (the ‘external’ one: Helen, if Paris loves Helen) is resolved into an internal representation (of Paris, in this case). It is God who coordinates the various representations of individuals with each other, to result in a harmonious whole. Since relations are a consequence of the existence of the individual substances with their intrinsic properties, God himself can be said to be the creator of relations, in so far as he calls the individuals into existence. And this is exactly what Leibniz states, in his commentary on Temmik’s book. (shrink)

In the debate over the ontological structures of the entity that exists as being-in-the-world, the French philosopher Henri Maldiney focuses his theoretical developments on the unintentional and pre-predicative dimension of experience, where sensing (sentir) takes its origin, and based on which the Existentials of “encounter”, “surprise” and “rhythm”, that are key to understanding the aesthetic-artistic experience, are explained in the horizon of transpassibility and transpossibility. Given that that dimension is the privileged field of encounter with art, this paper will raise (...) the question of the nexus of the articulation between art and image. This question will be developed through the opposition of form and image, of the reality of image and the image of reality, and the aesthetic vision and imaginative vision. In this analysis, we will rely upon the Heideggerian conception of Existence, as well as some of Husserl’s and the neuro-psychiatrist Erwin Straus’s researches into the passive dimension of experience, with the purpose of showing how Maldiney, starting from them, contributed in a singular and significant way to the deepening of that unintentional dimension of existence which he calls “pathic”. (shrink)

The Ontological Square is a categorial scheme that combines two metaphysical distinctions: that between types (or universals ) and tokens (or particulars ) on the one hand, and that between characters (or features ) and their substrates (or bearers ) on the other hand. The resulting four-fold classification of things comprises particular substrates, called substances , universal substrates, called kinds , particular characters, called modes or moments , and universal characters, called attributes . Things are joined together in facts by (...) primitive ontological ties or nexus . This article describes a logic that is meant to capture the basic intuitions behind the Ontological Square. Given a minimal correspondence between atomic logical form and ontological structure, the commitment to nexus as a distinct ontological category entails a rehabilitation of copulae as ties of predication. Thus, the Logic of the Ontological Square is a copula calculus rather than a predicate calculus; its soundness and completeness can be established with respect to a model akin to a so-called first-order semantics for standard second-order logic. (shrink)

The ontology of Stoic causes and effects was clearly anti-platonic, since the Stoics did not want to admit that any incorporeal entity could have an effect. However, by asserting that any cause was the cause of an incorporeal effect, they returned to Plato’s syntax of causes in the Sophist, whose doctrine of the asymmetry of nouns and verbs identified names with the agents and verbs with the actions. The ontological asymmetry of causes and effects blocked the multiplication of causes by (...) reducing it to an efficient cause. However, while ontology and syntax merged into the doctrine of the effect as an incorporeal predicate, this was further complicated by a relational description of a cause as the effect of a body on a body and by the distinction of causes. Since there are different kinds of causes, not every kind of cause has the same syntactical role in the nexus of causal relations. This refinement of the original syntactical model presumably allowed the Stoics to give a more coherent view of human action than is usually assumed. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reply to Stephen PhillipsArindam ChakrabartiMuch as I am honored by Stephen Phillips' detailed defense, in the face of my methodological "refutation," of the Nyāya thesis that a raw perception of the qualifier is a necessary causal factor for some (not all) determinate perception of an entity as qualified, I am not fully convinced that my deeper qualms about the very idea of immaculate perception unimpregnated by predicative structure have (...) all been adequately addressed. Instead of a detailed response, which I intend to undertake elsewhere, I wish to underscore the central worry behind my fifth (which Phillips calls "good") and seventh (which Phillips calls "weak") objections.When I claimed that perception is introduced, taxonomically, as a variety of veridical awareness, I had in mind the opening line of Gaṅgeśa's section on the definition of perception:sā ca pramā caturvidhā, pratyakṣānumityupamitiśābdā-bhedātAnd such veridical awareness is of four kinds: perception, inferential knowledge, knowledge from similarity, and knowledge from words.1This seems to be flatly incompatible with the admission of a subclass of perceptions that are not veridical awarenesses!Why does Phillips say that I am simply mistaken? True, taxonomic difficulties cannot overturn empirical evidence. But recall that there is no direct apperceptive evidence for "raw perception." The sole evidence is a generalization from a whole series of mediate (parokṣa) awarenesses that can happily afford to be instrumentally and crucially caused by other awarenesses. On the other hand, immediacy, which is the hallmark of a perception, consists of not having another awareness in its causal nexus. My seeing of a wall as white is direct, rather than inferential, analogical, or testimonial, to the extent that I did not have to go through any other awareness first in order to arrive at this visual perception. An inductive generalization from other mediate (cognition-generated) cognitions should not have such inexorable probative power over our account of immediate sensory cognition as to force us into admitting a neither-true-nor-false third kind of raw awareness!Phillips seems to have overlooked the metaphor of "spelling" that I used in this context while giving my second objection. If the step-by-step picture of building up the content of perception that Gaṅgeśa assumes is correct, then each element of the perceptual content of the predicative perception that this is a flower—the universal flowerhood, the actual physical object identified as "this," and qualification as a cementing relation, in this case inherence—would first have to be cognized in the unconnected "raw" manner! Now, even if we somehow swallow the idea of seeing a universal barely and not in relation to any one of its instances, it simply makes no [End Page 114] sense to talk about a bare, raw, unstructured perceptual acquaintance with qualification or inherence! Logically and structurally one could argue that unless you have "got" a, b, and R first, you cannot have the complex aRb. But this is admittedly a process of logical postmortem dissection of a whole piece of direct qualificative perception. And the point of my metaphorical warning—"You need to have 'L' and 'O' and 'D' and 'N' to spell 'London,' but you do not need to spell 'L' or 'O' or 'D' or 'N' first. Single letters simply cannot be spelled!"—was this: there are all sorts of different ways of "getting." You need to "get" the qualifying feature somehow in order to see or hear or taste something as qualified by that feature, but you do not therefore need to see or hear or taste that feature alone first in a bare, raw, unqualified manner! I do believe, like a good Naiyāyika, that high-pitchedness (or fifthness, in the octave) can be heard although it is a sound-universal. But I refuse to admit that before I can hear a sung note as high-pitched or (the fifth) I must somehow hear that universal directly without hearing it in any note!The central point, once again, is this: all awareness is intentional, according to Nyāya. There are only three kinds of intentional roles that our awarenesses assign to their objects: the role of... (shrink)

There are striking similarities in the ways philosophers use to speak about concepts and properties. For example, it is commonly said that concepts and properties are ‘predicated’ of things – which, in turn, are said to ‘exemplify’ those concepts or properties. Concepts as well as properties are assumed to have ‘instances’ and ‘extensions’ and to be the semantical values of adjectives like ‘red,’ ‘round,’ and so on. Even metaphysically, concepts and properties seem to have much in common. Thus, both have (...) been characterized as universals capable of having multiple instances. In this essay, I would like to explore the conspicuous interrelations between concepts and properties from the viewpoint of a pragmatist approach which aims to explain phenomena of mind and meaning in terms of the actions and practices of (social) beings. To this end, I shall discuss the probably most influential development of this program, namely Wittgenstein’s theory of meaning as use, and probe the extent to which this theory is capable of illuminating the ontological nexus between concepts and properties. (shrink)

Organised crime is chameleonic in nature. It is transnational, dynamic, overlapped criminal activities and pervasive in nature. In the same way, money laundering is the predicate offence and it is naturally linked to other organised crimes. After the cold war, this nexus culminated during the occurrence of 9/11 in particular which was a lethal combination of money laundering and terrorist financing. This combination is currently being experienced by Pakistan; where various terrorist groups are involved with direct and indirect support (...) of proceeds from drug trafficking, assassination, land grabbing, arms smuggling and various other organised crimes routing through the abusage of financial and non-financial channels and support to terrorism. This has left serious socio-politico and economic consequences in the south Asian region and global as well. The researcher found very limited evidence of money laundering characteristics in the existing research literature on Pakistan. Thus to carry out research work on the subject was need of the hour in Pakistan. This led the researcher to find out root causes and existing weaknesses at the regime’s end in countering financial crime and financing of terrorism. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:CAUSALITY AND GENERALITY IN THE TREATISE AND THE TRACTATUS In the Tractatus Wittgenstein cryptically rejects the existence of a causal connection (or relation or nexus) : 5.135There is no possible way of making an inference from the existence of one situation to the existence of another, entirely different situation. 5.136There is no causal nexus to justify such an inference. 5.1361 We cannot infer the events of the (...) future from those of the present. Belief stition. Belief in the causal nexus is super1 And he later proceeds to add: 6.37 There is no compulsion making one thing happen because another has happened. The only necessity that exists is logical necessity. What he is claiming can be understood in terms of the "Logical Atomism* of the Tractatus. Atomic sentences, composed of a monadic predicate or a relational predicate and a suitable number of subject terms, represent situations or possible facts. The existence of a represented situation is the ground of truth for (or condition for the truth of or explanation of the truth of) the representing atomic sentence. We can consider 2 such atomic situations or atomic facts to be composed of a monadic property or relational property and an appropriate number of particulars. (This is a matter of some debate among interpreters of the Tractatus, but that issue does not really affect the question at issue in this paper. So, I will simply treat the view in the Tractatus along the lines of Russell's more explicit version of logical atomism in his lectures of 1918.) The world, according to Wittgenstein, is made up of such facts. This is the point of: 1.11The world is the totality of facts, not of things. 1.12The facts in logical space are the world. 1.13The world divides into facts. Consider, then, the claim that a's being F is the cause of its being G. This suggests that we construe causality in terms of a relation between the situations represented by 'Fa' and 'Ga'. With 1C representing a relation or nexus of causality, we could express that situation by: (1)C(Fa, Ga). The existence of the situation represented by (1) would then ground or explain the truth of (1). But that would mean that we recognize a relation of causality and causal relations between facts or situations. I cannot here argue, but will simply assert, that Wittgenstein's logical atomism in the Tractatus is incompatible with the recognition of relations between facts. However, one point that will be relevant to the concerns of this paper is easy to see. Logical atomism involves the claim — 1.21 Each item can be the case or not the case while everything else remains the same. This is not compatible with the recognition of the relation C and a fact grounding the truth of (1), for then Fo and Ga would not be items that were "independent" in the sense of 1.21. Hence, one who holds Wittgenstein's views about the independence of atomic facts cannot recognize causal relations between such facts. Thus, no fact is represented by (1) and C cannot relate atomic facts. The same results would hold if one suggested, in place of (1), that there was a fact corresponding to (2)(X)(Fx * Gx), where we read the arrow as the "causal" arrow — anything's being F causes it to be G. For, if there were a fact corresponding to (2), it would guarantee the link between the purported atomic facts Fa and Ga, since (3)Fa + Ga would be a logical consequence of (2), and we are back to a case like (1), with the arrow replacing 'C. (2) would also be problematic in that it would be some sort of "general" fact, which Wittgenstein also rejects. Thus, as Wittgenstein sees it there is no basis in the world for the explanation of causal statements. If the sentence (4)' (x) (Fx O Gx) ' is a statement of causal law is true, it is so simply because the list of atomic facts will contain the atomic sentence 'Ga' if it contains 'Fa'. That is, (4) is true, not because of any special fact corresponding to (5)(X... (shrink)

This paper focuses on the semantics of statements of the form ‘x is P at t’ vis-à-vis its metaphysical underpinnings. I begin by considering four main readings, corresponding to the four basic parsings of the temporal modifier ‘at t’: (1) at-t x is P, (2) x-at-t is P, (3) x is-at-t P, and (4) x is P-at-t. Each of these readings—which correspond to different metaphysical conceptions of the nature of temporal change—is found inadequate or otherwise problematic. In the second part (...) of the paper I therefore consider a fifth account whose advantages over (1)–(4), I argue, exceed its revisionary costs. This fifth account is based on a conception of objects as entia successiva held together by a nexus of temporal counterparthood and reads ‘x is P at t’ as ‘the t-counterpart of x is P’. (shrink)

Scholars increasingly recognize that discourse is not a standing collection of representations for pre-existing thoughts and/or things in a pre-existing world. Still, many obstacles remain, and these seem to be inseparable from contemporary common-sense. When we ask about the nature of discourse, we are, ultimately, asking about the nature of world, the nature of the body, and also, there must be, if only tacitly, an account of space and time. Discourse, I would suggest, is a mode of evaluative praxis, a (...) way of articulately being-concerned-with-others. But discourse is not only a finely nuanced praxis, or a sophisticated mode of cooperative action. Its powers for spatializing and temporalizing include predication in their peculiar kind of care. In general, as implying a concernful -being-with-others-being-toward-world, discourse is an intentional nexus whose capacities for spatializing and temporalizing make-room for those situations in which we find ourselves thrown, projected, and concernfully stretching along. (shrink)

Plural predication is a pervasive part of ordinary language. We can say that some people are fifty in number, are surrounding a building, come from many countries, and are classmates. These predicates can be true of some people without being true of any one of them; they are non-distributive predications. However, the apparatus of modern logic does not allow a place for them. Thomas McKay here explores the enrichment of logic with non-distributive plural predication and quantification. His book (...) will be of great interest to philosophers of language, linguists, metaphysicians, and logicians. (shrink)

Chapter Introduction. Syntactic focus theory and the phenomenon of secondary predication The primary goal of this monograph is to examine the interaction of ...

P.F. Strawson's essay traces some formal characteristics of logic and grammar to their roots in general features of thought and experience.

This paper is devoted to the formulation and investigation of a dynamic semantic interpretation of the language of first-order predicate logic. The resulting system, which will be referred to as ‘dynamic predicate logic’, is intended as a first step towards a compositional, non-representational theory of discourse semantics. In the last decade, various theories of discourse semantics have emerged within the paradigm of model-theoretic semantics. A common feature of these theories is a tendency to do away with the principle of compositionality, (...) a principle which, implicitly or explicitly, has dominated semantics since the days of Frege. Therefore the question naturally arises whether non-compositionality is in any way a necessary feature of discourse semantics. Since we subscribe to the interpretation of compositionality as constituting primarily a methodological principle, we consider this to be a methodological rather than an empirical question. As a consequence, the emphasis in the present paper lies on developing an alternative compositional semantics of discourse, which is empirically equivalent to its non-compositional brethren, but which differs from them in a principled methodological way. Hence, no attempts are made to improve on existing theories empirically. Nevertheless, as we indicate in section 5, the development of a compositional alternative may in the end have empirical consequences, too. First of all, it can be argued that the dynamic view on interpretation developed in this paper suggests natural and relatively easy to formulate extensions which enable one to deal with a wider range of phenomena than can be dealt with in existing theories. Moreover, the various approaches to the model-theoretic semantics of discourse that have been developed during the last decade, have constituted a ‘fresh start’ in the sense that much of what had been accomplished before was ignored, at least for a start. Of course, this is a justified strategy if one feels one is trying to develop a radically different approach to recalcitrant problems. However, there comes a time when such new approaches have to be compared with the older one, and when an assessment of the pros and cons of each has to be made. One of the main problems in semantics today, we feel, is that a semantic theory such as Montague grammar, and an approach like Kamp’s discourse representation theory, are hard to compare, let alone that it is possible to unify their insights and results.. (shrink)

The Moral Nexus develops and defends a new interpretation of morality—namely, as a set of requirements that connect agents normatively to other persons in a nexus of moral relations. According to this relational interpretation, moral demands are directed to other individuals, who have claims that the agent comply with these demands. Interpersonal morality, so conceived, is the domain of what we owe to each other, insofar as we are each persons with equal moral standing. The book offers an (...) interpretative argument for the relational approach. Specifically, it highlights neglected advantages of this way of understanding the moral domain; explores important theoretical and practical presuppositions of relational moral duties; and considers the normative implications of understanding morality in relational terms. The book features a novel defense of the relational approach to morality, which emphasizes the special significance that moral requirements have, both for agents who are deliberating about what to do and for those who stand to be affected by their actions. The book argues that relational moral requirements can be understood to link us to all individuals whose interests render them vulnerable to our agency, regardless of whether they stand in any prior relationship to us. It also offers fresh accounts of some of the moral phenomena that have seemed to resist treatment in relational terms, showing that the relational interpretation is a viable framework for understanding our specific moral obligations to other people. (shrink)

I articulate and defend a necessary and sufficient condition for predication. The condition is that a term or term-occurrence stands in the relation of ascription to its designatum, ascription being a fundamental semantic relation that differs from reference. This view has dramatically different semantic consequences from its alternatives. After outlining the alternatives, I draw out these consequences and show how they favour the ascription view. I then develop the view and elicit a number of its virtues.

Whether a predicate is a referential expression depends upon what reference is conceived to be. Even if it is granted that reference is a relation between words and worldly items, the referents of expressions being the items to which they are so related, this still leaves considerable scope for disagreement about whether predicates refer. One of Frege's great contributions to the philosophy of language was to introduce an especially liberal conception of reference relative to which it is unproblematic to suppose (...) that predicates are referring expressions. According to this liberal conception, each significant expression in a language has its own distinctive semantic role or power, a power to effect the truth-value of the sentences in which it occurs. (shrink)

We discuss the challenge to truth-conditional semantics presented by apparent shifts in extension of predicates such as ‘red’. We propose an explicit indexical semantics for ‘red’ and argue that our account is preferable to the alternatives on conceptual and empirical grounds.

I argue that maps do not feature predication, as analyzed by Frege and Tarski. I take as my foil (Casati and Varzi, Parts and places, 1999), which attributes predication to maps. I argue that the details of Casati and Varzi’s own semantics militate against this attribution. Casati and Varzi emphasize what I call the Absence Intuition: if a marker representing some property (such as mountainous terrain) appears on a map, then absence of that marker from a map coordinate (...) signifies absence of the corresponding property from the corresponding location. Predication elicits nothing like the Absence Intuition. “F(a)” does not, in general, signify that objects other than a lack property F. On the basis of this asymmetry, I argue that attaching a marker to map coordinates is a different mode of semantic composition than attaching a predicate to a singular term. (shrink)

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 MacFarlane (...) to the “incompleteness worry”. None of them manages to convince. Particular attention is devoted to an argument by John MacFarlane, which states that if perspectives must be part of the content, so must worlds, which would make intuitively contingent propositions necessary. I demonstrate that this attempt to defend thin content views such as nonindexical contextualism and relativism conflates two distinct notions of necessity, and that radical indexicalist accounts of semantics, such as Schaffer’s necessitarianism, are in fact quite plausible. (shrink)

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, (...) but have also produced a deeper understanding of the notion of predicativity, therefore witnessing the " light logic throws on problems in the foundations of mathematics. " (Feferman 1998, p. vii) Predicativity has been at the center of a considerable part of Feferman's work: over the years he has explored alternative ways of explicating and analyzing this notion and has shown that predicative mathematics extends much further than expected within ordinary mathematics. The aim of this note is to outline the principal features of predicativity, from its original motivations at the start of the past century to its logical analysis in the 1950-60's. The hope is to convey why predicativity is a fascinating subject, which has attracted Feferman's attention over the years. (shrink)

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 (...) experiments with over 740 participants. It turns out that the linguistic behaviour of ordinary English speakers is consistent with contextualist predictions and inconsistent with the predictions of the most widely discussed form of truth relativism advocated by John MacFarlane. (shrink)

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 rise to the Frege-Geach problem. Others think that predication must be neutral, if we’re to avoid the Frege-Geach problem. However, it looks like nothing neutral can explain representation. In this paper I present a third view, one which respects the powerful reasons while avoiding the problems. On this view predication is forceful and can thus explain representation, but the idea is implemented in a novel way, avoiding the Frege-Geach problem. The key is to make sense of the notion of grasping a proposition as an objectual act where the object is a proposition. (shrink)

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 (...) predicativity of inductive definitions. (shrink)

What is predicativity? While the term suggests that there is a single idea involved, what the history will show is that there are a number of ideas of predicativity which may lead to different logical analyses, and I shall uncover these only gradually. A central question will then be what, if anything, unifies them. Though early discussions are often muddy on the concepts and their employment, in a number of important respects they set the stage for the further developments, and (...) so I shall give them special attention. NB. Ahistorically, modern logical and set-theoretical notation will be used throughout, as long as it does not conflict with original intentions. (shrink)

The implicit content indicating location associated with “raining” and other weather predicates is a definite description meaning “the location occupied by x,” where the individual variable “x” can be referential or bound. This position has deleterious consequences for certain varieties of radical contextualism.

Frege Arithmetic (FA) is the second-order theory whose sole non-logical axiom is Hume’s Principle, which says that the number of F s is identical to the number of Gs if and only if the F s and the Gs can be one-to-one correlated. According to Frege’s Theorem, FA and some natural definitions imply all of second-order Peano Arithmetic. This paper distinguishes two dimensions of impredicativity involved in FA—one having to do with Hume’s Principle, the other, with the underlying second-order logic—and (...) investigates how much of Frege’s Theorem goes through in various partially predicative fragments of FA. Theorem 1 shows that almost everything goes through, the most important exception being the axiom that every natural number has a successor. Theorem 2 shows that the Successor Axiom cannot be proved in the theories that are predicative in either dimension. (shrink)

The Millian view that the meaning of a proper name is simply its referent has long been popular among philosophers of language. It might even be deemed the orthodox view, despite its well-known difficulties. Fregean and Russellian alternatives, though widely discussed, are much less popular. The Predicate View has not even been taken seriously, at least until fairly recently, but finally, it is receiving the attention it deserves. It says that a name expresses the property of bearing that name. Despite (...) its apparent shortcomings, it has a distinct virtue: It straightforwardly reckons with the fact that proper names generally have multiple bearers and are sometimes used to ascribe the property of bearing a name rather than to refer to a particular bearer of the name. It holds that proper names are much the same as common nouns, both semantically and syntactically, with only superficial differences. They both can be quantified and modified. The main difference, at least in English, is that when used to refer a proper name, unlike a common noun, is not preceded by the definite article. The Predicate View accounts for manifestly predicative uses, but to be vindicated, it needs to do justice to the fact that the main use of proper names is to refer. (shrink)

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 predicates (...) in all of their occurrences; they are predicates that are true of their bearers. When a name appears as a bare singular in argument position, it really occupies the predicate position of what in this essay is called a denuded definite description: a definite description with an unpronounced definite article. Sloat provided good evidence for this. The definite article is sometimes pronounced with names in the singular: ‘The Ivan we all love doesn't feel well’. Sloat proposed a disjunctive generalization of when the definite article must be pronounced with a singular name. This essay shows that by slightly revising Sloat's generalization, we arrive at a simple, nondisjunctive, syntactic rule that governs the overt appearance of the definite article with singular names. But Ivan does not necessarily bear the name ‘Ivan’, so one might worry that the sentence “Ivan might not have had ‘Ivan’ as a name” would incorrectly be predicted false. This essay shows that Predicativism does not have this consequence by showing that incomplete definite descriptions in general and incomplete denuded descriptions, such as ‘Øthe Ivan’, in particular are rigid designators. (shrink)

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, (...) I will explore the workings of predicative names along the direction just hinted at. The analysis of predication has been less central to philosophical investigation than that of referen- tial expressions. Some problems have concerned the unity of the sentence—what makes us understand “The baby cries” as a sentence rather than a list of words? Other problems have been what a predicate was taken to stand for, properties and relations, and the understanding of either at the ontological level. If a predicate refers to a property or a relation, yet predication, which is central to our understand- ing of predicates, applies it to one or more particulars. On the background hinted at, these problems might be differently viewed. (shrink)

What in Aristotle corresponds, in whole or (more likely) in part, to our contemporary notion of predication? This paper sketches counterparts in Aristotle's text to our theories of expression and of truth, and on this basis inquires into his treatment of sentences assigning an individual to its kinds. In some recent accounts, the Metaphysics offers a fresh look at such sentences in terms of matter and form, in contrast to the simpler theory on offer in the Categories . I (...) argue that the Metaphysics initiates no change in this regard over the Categories . The point that form is (metaphysically) predicated of matter is a contribution, not to the account of statement predication, but to the analysis of compound material substances. Otherwise put, in our terms Aristotelian form is not - in particular, is not also - a propositional function, but a function from matter to compound material substances. (shrink)