Sont ici étudiés (sur un corpus d’articles scientifiques) les éléments initiaux dans les énoncés comportant une inversion du sujet – inversion (simple ou complexe) du sujet pronominal, et inversion (complète ou absolue) du sujet nominal. Dans la perspective macro-syntaxique adoptée, il est montré que, selon le type d’inversion du sujet et la nature des éléments initiaux, ceux-ci sont tantôt des périphériques extra-prédicatifs préfixés au noyau, tantôt des constituants intra-prédicatifs du noyau.

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.

Kant said that existence is not a predicate and Russell agreed, arguing that a sentence such as ‘The king of France exists’, which seems to attribute existence to the king of France, really has a logical form that is not reflected in the surface structure of the sentence at all. While the surface form of the sentence consists of a subject and a predicate, the underlying logical form, according to Russell, is the formula given in. This formula obviously has no (...) subjectpredicate form and in fact has no single constituent that corresponds to the verb phrase ‘exists’ in the surface sentence. ∃x∀y The importance of Russell’s analysis becomes clear when we consider ‘The king of France does not exist’. If this sentence would attribute non-existence to the king it should entail that there is someone who does not exist, just as ‘Mary doesn’t like bananas’ entails that there is someone who doesn’t like bananas. Thus the idea that all sentences have subject-predicate form has led some philosophers to the view that there are objects that lack existence. This embarrassing position can be avoided once Russell’s analysis is accepted: if ‘The king of France does not exist’ is formalised as the negation of formula, no unwanted consequences follow. (shrink)

In this paper I investigate certain issues that have surfaced in the debate between truth-conditional semantics and truth-conditional pragmatics about meteorological sentences like "It is raining". First, I assess two criteria for unarticulatedness pertaining to the views (the Binding Criterion and the Optionality Criterion) and argue that both fail. Then I present one of the most powerful arguments against truth-conditional pragmatics: the so-called "Binding Argument". I show how the solution offered by Francois Recanati, consisting in appeal to "variadic functions", deflects (...) the argument and that it can be adopted by a relativist abut locations too. In the end of a the paper I suggest, with focus on predicates of personal taste, that relativists about other kinds of expressions can adopt Recanati's solution to block versions of the Binding Argument directed at their view. (shrink)

In this dissertation I consider the merits of certain nominalist accounts of phenomena related to the character of ordinary objects. What these accounts have in common is the fact that none of them is an error theory about standard cases of predication and none of them deploys God or uniquely theistic resources in its explanatory framework. -/- The aim of the dissertation is to answer the following questions: -/- • What is the best nominalist account on offer? • How might (...) it be improved? • Does it ultimately succeed? -/- I will argue that while so-called trope theory is the best account on offer, it can be significantly improved—or replaced—by a novel version of nominalism that is modeled after trope theory. Ultimately, however, I will argue that even the novel version fails. -/- The dissertation unfolds as follows. In Chapter 1, I introduce Austere Nominalism (AN), which is perhaps the most extreme version of nominalism that falls within the scope of the dissertation. AN is often described as the view that there exist only concrete particulars. According to AN, it is unnecessary to posit any entities other than ordinary objects—turkeys, tables, and the like—in order to account for explananda related to the character of those objects. (Such explananda include the phenomenon of attribute agreement, of attribute possession, of true subject-predicate sentences, etc.) In this chapter I argue that AN fails to provide an adequate account of these explananda. In addition, introducing and criticizing AN serves an important heuristic role for the rest of the dissertation. To understand this role, we must distinguish between the basic explanatory strategy deployed by the austere nominalist and the type of explananda for which she deploys that strategy. The austere nominalist deploys the strategy to account for the character of ordinary objects. As I argue in Chapter 1, this deployment is a failure. As I go on to show in Chapter 2, the widespread rejection AN has led to a variety of rival accounts of the character of ordinary objects. In rejecting AN, however, these accounts also tacitly reject its basic explanatory strategy. Thus goes the baby with the bathwater, since, arguably, there are some attractive features of AN’s basic explanatory strategy. Indeed, those who defend the most prominent version of nominalism—trope theory—seem to overlook the advantages of AN’s basic strategy, and by so doing, make an unnecessary concession to the realist. Or so I argue in Chapter 3. And, as I will argue in Chapter 4, the strongest version of nominalism is a novel account, modeled after trope theory, that deploys AN’s basic strategy at a more fundamental level than that of ordinary objects. This novel account—troper theory—is closer in spirit to AN than is traditional trope theory. (Thus, AN serves as a foil for the discussion of other nominalist views.) Finally, in the Afterword I indicate how troper theory is equally vulnerable to some of the traditional objections that plague trope theory. Thus, if you are not convinced that traditional objections to trope theory are conclusive and you want to be a nominalist, then you should abandon trope theory and adopt troper theory. If you take traditional objections against trope theory to have significant force, then you should reject both theories. (shrink)

ON A GENERAL READING of the Metaphysics and the treatises of the so-called Organon, the types of assertion which Aristotle would allow as genuine predications seem relatively straightforward. According to the Categories, for instance, a species is characteristically predicated of the individuals falling under it, while genera and differentiae are predicated both of the relevant species and their associated individuals. The predicates are, in these instances, universals in a familiar Aristotelian sense. Furthermore, these intra-categorial predications, such as "Socrates is (...) a man" and "white is a color," are not the only instances of categorial acts. Aristotle also admits certain cross-categorial predications as logically well-formed; for example, "Socrates is white" and "Socrates is in the marketplace". These latter predications are at first glance also intelligible enough, though there are in both cases questions yet to be faced about the logical structure and ontological commitments of such ways of speaking. For Aristotle, one metaphysical theme presented even on the face of these linguistic appearances is the possibility that being a substrate for predication counts as a criterion for ontological primacy or, more generally, that being an ultimate substrate for meaningful discourse is grounds for being primarily real. An obvious corollary to this line of thought is the thesis that whatever might be said of or predicated of such primary substrata is ontologically dependent upon them. Just such a criterion seems to be at work in disqualifying universals from their claim to be substance in a significant sense. Therefore, it would be somewhat surprising to find primary substance appearing anywhere as a predicate. (shrink)

The thesis examines two dimensions of constructivity that manifest themselves within foundational systems for Bishop constructive mathematics: intuitionistic logic and predicativity. The latter, in particular, is the main focus of the thesis. The use of intuitionistic logic affects the notion of proof : constructive proofs may be seen as very general algorithms. Predicativity relates instead to the notion of set: predicative sets are viewed as if they were constructed from within and step by step. The first part of the (...) thesis clarifes the algorithmic nature of intuitionistic proofs, and explores the consequences of developing mathematics according to a constructive notion of proof. It also emphasizes intra-mathematical and pragmatic reasons for doing mathematics constructively. The second part of the thesis discusses predicativity. Predicativity expresses a kind of constructivity that has been appealed to both in the classical and in the constructive tradition. The thesis therefore addresses both classical and constructive variants of predicativity. It examines the origins of predicativity, its motives and some of the fundamental logical advances that were induced by the philosophical re ection on predicativity. It also investigates the relation between a number of distinct proposals for predicativity that appeared in the literature: strict predicativity, predicativity given the natural numbers and constructive predicativity. It advances a predicative concept of set as unifying theme that runs across both the classical and the constructive tradition, and identifies it as a forefather of a computational notion of set that is to be found in constructive type theories. Finally, it turns to the question of which portions of scientifically applicable mathematics can be carried out predicatively, invoking recent technical work in mathematical logic. (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)

In this book about metaphysics the author defends a realistic view of universals, characterizing the notion of universal by considering language and logic, the idea of possibility, hierarchies of universals, and causation. He argues that neither language nor logic is a reliable guide to the nature of reality and that basic universals are the fundamental type of universal and are central to causation. All assertions and predications about the natural world are ultimately founded on these basic universals. A distinction is (...) drawn between unified particulars and arbitrary particulars ; unified particulars are the terms of causal relations and thus the real constituents of the world. The world is not made up of events but of unified particulars and basic universals. (shrink)

Relational, operator, and predicate systems are distinguished on the basis that they correspond to the three possible pair-wise bracketings into two constituents of the three parts of a proposition: relation, subject, and object. It is asserted that the verbal propositional modality (left hemisphere) uses a predicate grammar, while the spatial-image operational modality (right hemisphere) uses an operator grammar. Verbal propositional memory has the capacity for extensive propositional embedding while spatial operational memory does not.

L’homélie liturgique a mauvaise réputation, alors qu’elle continue de toucher chaque dimanche une foule de personnes et de constituer la principale nourriture de la foi de nombreux fideles. L’essai énonce quelques réflexions issues de la pratique et de l’enseignement de l’homilétique, afin de faire de la prédication un lieu de proposition de la foi, au service d’une ≪ pastorale d’engendrement ≫. Le prédicateur est comme mandate par sa communauté pour fréquenter le Seigneur en sa Parole puis partager celle-ci cordialement. S’il (...) parle de manière vraie, intelligente, vivante et positive, l’activité homilétique deviendra une sorte d’accompagnement spirituel communautaire auprès d’assemblées contemporaines les plus diverses. (shrink)

The paper discusses the structure of non-verbal predication, with particular reference to the role of the copula. Differently from the main tenets of contemporary logico-philosophical and linguistic theories, a model of predication is proposed where the verbal component (specifically, tense information) is regarded as central in establishing the syntactic and semantic relation between a predicate and its subject. It is thus possible to recover some of the insights of the pre-Fregean analysis of predication. The proposed solution has a number of (...) significant consequences for the structure to be assigned to non-verbal predication, in particular for the semantics of small clause constituents, where the predication is established without the copula. (shrink)

Both and agree that there are universals—that qualities are universals. To say that the quality white is a universal is to say, in part, that one and the same thing is connected in some way to both Plato and Socrates and accounts for the truth of the sentences "Plato is white" and "Socrates is white." To put it another way, the term "white" in both sentences refers to the same entity. What arguments are there for such a view? Russell elegantly (...) put forth the classic argument in "On the Relations of Universals to Particulars." To deny universals is to assert that the quality attributed to Socrates is not one and the same with the quality attributed to Plato. The quality "in" each is numerically distinct and, furthermore, no one thing accounts for these distinct qualities being of the same kind. [I mention this latter point since one might, on a version of, hold that there are particular qualities as well as universal qualities. The former account for the whiteness of particular patches; the latter for such particular whitenesses being just that.] One must then hold that such particular qualities are related in some way, since they are the entities in virtue of which we truly assert that both things are white. One must then specify such a relation. The obvious point is that such a relation will either be taken as a universal or a particular instance. If a particular then the original problem recurs when we introduce a third white patch or a pair of black patches. If admitted as a universal then the view finally accepts universals, albeit relational ones. No other alternative can answer the original question—to account for Socrates and Plato having the same color. That is, no alternative acknowledging only individuals—that denies the two patches are connected, in some way, to one and the same entity—can prevent the recurrence of exactly the same kind of question we started out with. Let us consider the case of particulars. One may argue that just as universals account for the sameness of quality, something must account for the difference of two patches which, conceivably, have all their nonrelational qualities in common. This something, the ground of numerical difference, is considered to be a substratum which stands in a unique relation or connection with universals to form or constitute facts and the things we started out with, Plato and Socrates. These ordinary things are thought of as composed of a substratum and universals connected together. Facts about such things may be composed of the substratum and one universal. The facts are about the things since the same substratum is a constituent of both sorts of entities. Such substrata account for the difference of the two patches; for there being two and not one thing. These substrata, in turn, are held to be simply different. At this point one may balk. If substrata are held to be simply different, why bother with them at all? Why not hold that Socrates and Plato are composites, not classes, of universals, and that they are different composites of the same universals? They just simply differ. If substrata can simply differ, why may not composites of universals simply differ? The proponent of substrata must retort that since Plato and Socrates are composite entities they cannot simply differ but must be held to differ in a constituent. Only simple entities can simply differ. Let me call this assertion the axiom of difference. The first point to note is that it is a necessary assumption in the argument to establish the need for substrata in an adequate ontology. We must then inquire why some accept, implicitly or explicitly, such an axiom. (shrink)

Truth conditional semantics is the project of ‘determining a way of assigning truth conditions to sentences based on A) the extension of their constituents and B) their syntactic mode of combination’. This research program has been subject to objections that take the form of underdetermination arguments, an influential instance of which is presented by Travis: … consider the words ‘The leaf is green,’ speaking of a given leaf, and its condition at a given time, used so as to mean what (...) they do mean in English. How many distinct things might be said in words with all that true of them? Many.… Suppose a Japanese maple leaf, turned brown, was painted green for a decoration. In sorting leaves by colour, one might truly call this one green. In describing leaves to help identify their species, it might, for all the paint, be false to call it that. (shrink)

In the opening chapter of Subject and Predicate in Logic and Grammar, [1] Professor Strawson develops an explanation of the subjectpredicate distinction on the basis of a supposedly more fundamental distinction or contrast between, on the one hand, spatio-temporal particulars and, on the other, general concepts applicable to such particulars. At a basic level, he argues, these contrasted items occupy a central position in our thought about the world. They form the constituents of a fundamental type of judgment about the (...) worldcomprising judgments to the effect that a certain spatio-temporal particular (pair, triple, etc., of such particulars) exemplifies a certain general concept. The basic class of subject-predicate sentences-the class for which the explanation is initially presented-comprises, Strawson claims, those sentences which are apt for the expression of judgments of this fundamental type. With respect to sentences of this basic class, a subject is, in effect, defined to be an expression which serves to specify the spatio-temporal particular (or one of the spatiotemporal particulars) in question in whatever judgment the sentence expresses, and a predicate is defined to be an expression which serves to specify the general concept in question. This explanation is subsequently generalized to cover subject-predicate sentences outside the basic class, such as sentences expressing judgments about abstract entities. I shall not be concerned with this part of Strawson's explanation. One advantage Strawson claims for this explanation is that it brings out that, and how, the subject-predicate distinction reflects certain fundamental features of our thought about the world. Another, not unconnected, advantage he claims for it is that it enables us to explain certain 'purely formal or syntactical' differences between subjects and predicates-such differences as that a predicate has always a fixed number of argument-places, whereas there is nothing analogous to this with singular terms (subject-expressions), and that predicates take the form of verb-phrases, subjects the form of noun phrases. Such purely formal or syntactical differences, he claims, themselves stand in need of explanation, and so cannot provide the materials for an adequate explanation of the subject-predicate distinction. Perhaps Strawson does not explicitly assert that no purely formal or syntactical characterization of the subject-predicate distinction could constitute an adequate explanation of it; but he leaves us in little doubt that this is his view of the matter. (shrink)

Inferentialism is a theory in the philosophy of language which claims that the meanings of expressions are constituted by inferential roles or relations. Instead of a traditional model-theoretic semantics, it naturally lends itself to a proof-theoretic semantics, where meaning is understood in terms of inference rules with a proof system. Most work in proof-theoretic semantics has focused on logical constants, with comparatively little work on the semantics of non-logical vocabulary. Drawing on Robert Brandom’s notion of material inference and Greg Restall’s (...) bilateralist interpretation of the multiple conclusion sequent calculus, I present a proof-theoretic semantics for atomic sentences and their constituent names and predicates. The resulting system has several interesting features: (1) the rules are harmonious and stable; (2) the rules create a structure analogous to familiar model-theoretic semantics; and (3) the semantics is compositional, in that the rules for atomic sentences are determined by those for their constituent names and predicates. (shrink)

Inferentialism is a theory in the philosophy of language which claims that the meanings of expressions are constituted by inferential roles or relations. Instead of a traditional model-theoretic semantics, it naturally lends itself to a proof-theoretic semantics, where meaning is understood in terms of inference rules with a proof system. Most work in proof-theoretic semantics has focused on logical constants, with comparatively little work on the semantics of non-logical vocabulary. Drawing on Robert Brandom’s notion of material inference and Greg Restall’s (...) bilateralist interpretation of the multiple conclusion sequent calculus, I present a proof-theoretic semantics for atomic sentences and their constituent names and predicates. The resulting system has several interesting features: (1) the rules are harmonious and stable; (2) the rules create a structure analogous to familiar model-theoretic semantics; and (3) the semantics is compositional, in that the rules for atomic sentences are determined by those for their constituent names and predicates. (shrink)

The subject of this rich and wide-ranging book is old-fashioned metaphysics: its aim is to give an account of "the real constituents of the world". But its idiom and methodology are those of late twentieth-century analytic philosophy. Newman works out his own positions in constant dialogue with such philosophers as Frege and Wittgenstein, Geach and D. M. Armstrong, Keith Campbell and David Lewis; and he has an impressive mastery of modern formal logic and contemporary philosophy of language. He also makes (...) effective use of a quite detailed understanding of recent work in mathematics and physics. For all his reliance on the concepts and techniques of logic and philosophy of language, however, Newman does not believe that either language or logic "is a reliable guide to the nature of reality". On his view, metaphysics is an autonomous intellectual discipline, at least some of whose convictions and concepts are primitive. (shrink)

It is commonly held that the idea of natural rights originated with the ancient Greeks, and was given full form by more modern philosophers such as John Locke, who believed that natural rights were apprehensible primarily to reason. The problem with this broad position is three-fold: first, it is predicated on the presumption that the idea of rights is modern, biologically speaking ; second, it makes it appear that reason and rights are integrally, even causally, linked; finally, it legitimizes debate (...) about just what rights might be, even in their most fundamental essence. In consequence, the most cherished presumptions of the West remain castles in the air, historically and philosophically speaking. This perceived weakness of foundation makes societies grounded on conceptions of natural right vulnerable to criticism and attack in the most dangerous of manners. Most of the bloodiest battles and moral catastrophes of the twentieth century were a consequence of disagreement between groups of people who had different rationally-derived notions of what exactly constituted an inalienable right . If natural rights are anything at all, therefore, they better be something more than mere rational constructions. The adoption of a much broader evolutionary/historical perspective with regards to the development of human individuality and society allows for the generation of a deep solution to this problem—one dependent on a transformation of ontology, much as moral vision. Such a solution grounds the concept of sovereignty and natural right back into the increasingly implicit and profoundly religious soil from which it originally emerged, and provides a rock-solid foundation for explicit Western claims for the innate dignity of man. (shrink)

How is it possible that a thing singled out not exist? How is it possible that two things singled out be numerically identical? How is one to understand the relationship between, say, a quality of a thing and what this quality is? And how is one to understand the relation between this quality and the thing which happens to be thus qualified? Trying to answer these four questions involves investigation of the four senses of the verb "to be," or of (...) the concepts of existence, identity, essential and accidental predication. Butchvarov’s thesis is that these four questions admit of a common answer, that the cornerstone of this comprehensive theory is an answer to the second question, and that this crucial answer depends on making some such distinction as his between "objects" and "entities." The bare bones of his argument are these: We commonly make statements of the form "a is b" where "a" and "b" are used referringly. A "material identity" statement of this form may be true. If true, it is about one thing; yet what it is about appears to be distinct things. This distinctness is not a real distinction among existents, nor does it arise solely or primarily from features of language. Butchvarov’s account is based on a distinction "of reason" between objects and entities. An entity is an existent, a constituent of the world. An object is whatever can be singled out once, and only once, in perception or imagination or in "thought". Entities as such cannot be singled out, yet they may be recognized through applications of a conceptual apparatus to objects. A material identity statement, then, states that two objects are one entity. If true, it is both about two distinct objects and about the one entity which each is. When two objects are judged to be one entity, then indiscernibility is enforced. Seeming counterexamples to the indiscernibility of identicals are explained in terms of the distinction between objects and entities. Though some applications of the concept of identity are relative to sortal characteristics, others are not. The latter are prior to the former. These primary judgments constitute the backbone of "thought" and discourse. They are governed by impersonal, nonhuman "paradigms." There are entities, of course; and there are objects, though as objects none exists. Some objects are entities, some are not. The notion of existence, like the notion of identity in its material role, is then a principle of classification, a concept. Butchvarov examines nine objections to this claim, and elaborates his distinction between objects and entities. He concludes that identifiability, hence indefinite reidentifiability, is the logically sufficient condition of applicability of the concept of existence. A statement such as "Socrates is white" is a disguised conjunction, viz., "Socrates has this color, and this color is white." The second conjunct is an "essential" statement; it says of an object singled out that it is a certain entity; or, to allow for essences of nonexistent objects, it states what entity the object would be were it an entity. An essential statement is not a material identity statement, for only one of its terms is used referringly. The essence of an object is not a property of it, for it is what the object is or would be. Whereas logically prior consciousness of objects is intentional and non-conceptual, consciousness of entities is conceptual and nonintentional; it consists in recognizing that a thing can be identified by oneself or by others. What is accidentally white, say, cannot be a material substance or bare particular; therefore it is a "cluster" of qualities. The Resemblance Theory, according to which qualities are particulars, is not a coherent alternative to the Identity Theory; therefore the qualities an individual happens to have are themselves universals. The Bradleyan critique of ontological atomism is cogent; therefore an individual is a cluster of qualities each of which depends for its "formal identity" on its being together with the rest. An individual’s having qualities is then to be understood in terms of the necessary togetherness of the qualities constitutive of it. Since in addition each of these qualities is essentially a universal, and specific universals are contingently coinstantiated, the predication in question is properly regarded as accidental. The problem of identifying quality-clusters through space and time is discussed. (shrink)

The main aim of the thesis is to give a semantic account of implicit content – the kind of content that plays a crucial role in implicit communication. Implicit communication is a species of communication in which a speaker communicates certain contents that go over and above the contents retrievable from the linguistic meaning of the words used. The focus of the thesis is a certain kind of implicit communication involving locations (when sentences such as “It is raining” are used (...) to communicate that it is raining at a certain location) and judges (when sentences such as “Avocado is tasty” are used to communicate that avocado is tasty for a certain person, called “the judge”). The way the topic of implicit content is approached is via the notion, widespread in contemporary philosophy of language, of “unarticulated constituents”. The thesis contains an investigation of this notion, with the specific aim of disentangling the many senses it has been used and of providing a general definition of the notion. A direct product of this investigation is a partitioning of the logical space; three positions are then selected, which correspond to the main contenders in the current debate involving unarticulated constituents: truth-conditional semantics, truth-conditional pragmatics and relativism. The biggest part of the thesis is dedicated to investigating certain arguments that have surfaced in the debate between these positions, with the ultimate goal of proposing a relativist account of implicit content. The particular version of relativism offered consists in the combination of the claim that locations and judges are part of the circumstances of evaluation, rather than the content of utterances, with “the variadic functions approach” to certain natural language expressions. Also, several arguments against a truth-conditional semantic approach to predicates of personal taste are provided. (shrink)

0. Abstract In this paper, I argue that although the behavior of adjectives in context poses a serious challenge to the principle of compositionality of content, in the end such considerations do not defeat the principle. The first two sections are devoted to the precise statement of the challenge; the rest of the paper presents a semantic analysis of a large class of adjectives that provides a satisfactory answer to it. In section 1, I formulate the context thesis, according to (...) which the content of a complex expression depends on the context of its utterance only insofar as the contents of its constituents do. If the context thesis is false, the content of some complex expression is not compositionally determined. In section 2, using an example due to Charles Travis, I construct an objection to the context thesis based on the behavior of the adjective ‘green’. In section 3 and 4, I look at some of the difficulties surrounding the semantics of ‘good’, which provide the motivation for the thesis that most adjectives are contextually incomplete one-place predicates. In section 5, I discuss how ‘green’ and other color adjectives can be treated within such a semantic theory. Since this theory is compatible with the context thesis, the objection against the compositionality of content looses its force. (shrink)

I analyse Rueger’s application of Kim’s model of functional reduction to the relation between the thermal conductivities of metal bars at macroscopic and atomic scales. 1) I show that it is a misunderstanding to accuse the functional reduction model of not accounting for the fact that there are causal powers at the micro-level which have no equivalent at the macro-level. The model not only allows but requires that the causal powers by virtue of which a functional predicate is defined, are (...) only a subset of the causal powers of the properties filling the functional specification. 2) The fact that the micro-equation does not converge to the macro-equation in general but only under the constraint of a “solvability condition” does not show that reduction is impossible, as Rueger claims, but only that reduction requires inter-level constraints. 3) Rueger tries to analyse inter-level reduction with the conceptual means of intra-level reduction. This threatens the coherence of his analysis, given that it makes no sense to ascribe macroproperties such as thermal conductivity to entities at the atomic level. Ignoring the distinction between theses two senses of “reduction” is especially confusing because they have opposite directions: in intra-level reduction, the more detailed account reduces to the less detailed one, whereas in inter-level reduction, the less detailed theory is reduced to the more detailed one. 4) Finally I criticize Rueger’s way of using Wimsatt’s criteria for emergence in terms of non-aggregativity, to construct a concept of synchronic emergence. It is wrong to require, over and above non-aggregativity, irreducibility as a criterion for emergence. (shrink)

Do Russellian propositions have their constituents as parts? One reason for thinking not is that if they did, they would generate apparent counterexamples to plausible mereological principles. As Frege noted, they would be in tension with the transitivity of parthood. A certain small rock is a part of Etna but not of the proposition that Etna is higher than Vesuvius. So, if Etna were a part of the given proposition, parthood would fail to be transitive. As William Bynoe has noted (...) (speaking of facts rather than propositions), they would seem to violate certain supplementation principles. Consider the singular proposition, concerning identity, that it is identical with itself. Given the relevant form of Russellianism, this proposition would have identity as a proper part, but it would not have any parts disjoint from identity, and indeed it would not have even a single pair of disjoint parts, in violation of various supplementation principles. This chapter offers a unified solution to the problems about transitivity and supplementation. One key ingredient in the solution is the view that parthood is a four-place relation expressed by ‘x at y is a part of z at w’. Another key ingredient is the view that the semantic contents of predicates and sentential connectives have ‘slots’ or ‘argument positions’ in them. (Both ingredients are independently motivated elsewhere.) Four-place analogues of the transitivity and supplementation principles are set out, and it is argued that these are not threatened by the examples from Frege and Bynoe. (shrink)

En este complejo futuro que se nos predice, no solo se nos podrá superar en nuestras capacidades intelectuales o físicas, incorporando a nuestro entorno y a nuestro propio cuerpo un ingente aparataje tecnológico, sino que se nos podrá mejorar, y ello, incluso, antes de nacer, interviniendo directamente sobre el embrión. La naturaleza de lo humano se pone en cuestión, sobre todo, cuando la alteramos en su propia esencia, no solo en su entorno, y, además, desde su propio inicio. Se trata, (...) pues, de una disrupción y alteración sustancial ad intra del ser humano, no ad extra, como ocurre con la tecnología, aún cuando esta también tiene, obviamente, muchos efectos en el interior de aquél. Los cambios que se derivan de la Biotecnología y, concretamente, de la edición genómica, por un lado, ofrecen un enorme potencial para desarrollar nuevos conceptos, métodos y novedosas aplicaciones para los urgentes retos y necesidades de la sociedad. Por el otro lado, tales biotecnologías son percibidas como si tuvieran el potencial de desafiar y, a veces, desdibujar las actitudes, valores y modelos culturales de la propia sociedad. A tal reto no puede estar, obviamente, ajeno el Derecho en atención a los valores, intereses y derechos en conflicto. Si la pregunta que debemos nuevamente formularnos es qué es el hombre o qué es la naturaleza humana, el Derecho debe también ofrecer respuestas que permitan dar un sentido jurídico contemporáneo a tal esencia, preguntas que conectan directamente con el propio concepto jurídico de dignidad, no solo en cuanto valor ontológico del ser humano, sino también, recogiendo los términos explícitos del artículo 10.1 de nuestra Constitución, en cuanto fundamento del orden político y de la paz social. (shrink)

Many predicates are dispositional. Some show this by a suffix like "-ible", -uble", or "-able": sugar is soluble in water, gasoline is flammable. Others have no such suffix and don't wear their dispositionality on their sleeves. Yet part of what it is to be solid is to be disposed to resist deformation, and part of what it is to be red is to appear red to normal human observers in normal lighting conditions. However, there is no agreement as to whether (...) dispositional predicates may be given a realist interpretation. For many authors, propositions containing them are made true by states of affairs (or facts) containing categorical, rather than dispositional properties. Many also claim that the states of affairs that make true attributions of dispositions to macroscopic objects are microscopic states of affairs concerning their parts. For example, what makes a vase fragile is the microscopic structure of its molecular constituents, which is what makes the vase break when it falls. Against these claims, I will argue that what makes a dispositional predicate apply to an object, whether macroscopic or microscopic, whether in common sense or science, is the object's having what I will call a powerful property. If the object is macroscopic, it is another matter whether the property is microreducible. My reasons for supposing that these powerful properties exist are those for postulating theoretical properties generally: they unify existing explanations and suggest new ones. (shrink)

I happen to believe that though human experiences are to be characterized as pluralistic they are all rooted in the one reality. I would assume the thesis of pluralism but how could I maintain my belief in the realism? There are various discussions in favor of realism but they appear to stay within a particular paradigm so to be called “internal realism”. In this paper I would try to justify my belief in the reality by discussing a special use of (...) indexicals. I will argue for my indexical realism by advancing the thesis that indexicals can be used as an inter-agentic referential term. Three arguments for the thesis will be presented. The first argument derives from a revision of Kaplan-Kvart’s notion of exportation. Their notions of exportation of singular terms can be analyzed as intra-agentic exportation in the context of a single speaker and theirs may be revised so as to be an inter-agentic exportation in the context of two speakers who use the same indexicals. The second is an argument from the notion of causation which is specifically characterized in the context of inter-theoretic reference. I will argue that any two theories may each say “this” in order to refer what is beyond its own theory. Two theories address themselves to ‘this’ same thing though what ‘this’ represents in each theory turn out to be different objects all together. The third argument is an argument which is based on a possibility of natural reference. Reference is used to be taken mostly as a 3-place predicate: Abe refers an object oi with an expression ej. The traditional notion of reference is constructive and anthropocentric. But I would argue that natural reference is a reference that we humans come to recognize among denumerably many objects in natural states: at a moment mi in a natural state there is a referential relation among objects o1, o2, o3, . . , oj, o j+1, . . which interact to each other as agents of information processors. Natural reference is an original reference which is naturally given and to which humans are passive as we derivatively refer it by using ‘this’. (shrink)

Le premier livre des Topiques constitue une sorte d’introduction théorique à la compilation de stratégies dialectiques présentée dans les livres centraux de cette œuvre. Nombre des notions principales employées dans les règles d’inférence contenues dans les τόποι sont systématiquement exposées et ordonnées dans ce premier livre. Parmi elles, l’exemple le plus clair est celui des « prédicables ». Il y a, néanmoins, d’autres notions, dont l’exposition doctrinale doit être recherchée dans les Catégories. Par exemple, les diverses sortes d’opposition entre termes, (...) qui sont abondamment utilisées dans les Topiques, mais ne s’y trouvent pas définies. Dans cet article, je présente une analyse formelle des deux définitions des relatifs que l’on trouve dans Cat. 7, pour montrer ensuite comment elles sont employées dans les τόποι qui impliquent la prédication essentielle des relatifs, démontrant ainsi la cohérence de cette théorie et la dépendance étroite entre les deux œuvres. (shrink)

Epistemic modal predicate logic raises conceptual problems not faced in the case of alethic modal predicate logic : Frege’s “Hesperus-Phosphorus” problem—how to make sense of ascribing to agents ignorance of necessarily true identity statements—and the related “Hintikka-Kripke” problem—how to set up a logical system combining epistemic and alethic modalities, as well as others problems, such as Quine’s “Double Vision” problem and problems of self-knowledge. In this paper, we lay out a philosophical approach to epistemic predicate logic, implemented formally in Melvin (...) Fitting’s First-Order Intensional Logic, that we argue solves these and other conceptual problems. Topics covered include: Quine on the “collapse” of modal distinctions; the rigidity of names; belief reports and unarticulated constituents; epistemic roles; counterfactual attitudes; representational vs. interpretational semantics; ignorance of co-reference vs. ignorance of identity; two-dimensional epistemic models; quantification into epistemic contexts; and an approach to multi-agent epistemic logic based on centered worlds and hybrid logic. (shrink)

Que la prédication n’est pas toujours attributive, et que le prédicat est seul nécessaire au jugement et à la phrase. — La logique classique, en mettant le prédicat dans le rapport, excluait le rapport du jugement ; le rapport véritablement posé est inhérent au prédicat et constitue le contenu rée] de la pensée. — Son expression dans la pensée mathématique et dans la pensée spontanée. — De l’appréciation exacte des rôles respectifs du sujet et du prédicat, et de leur signification (...) dans la théorie de la connaissance. (shrink)

This article provides the first comprehensive reconstruction and analysis of Hintikka’s attempt to obtain a measure of the information yield of deductive inferences. The reconstruction is detailed by necessity due to the originality of Hintikka’s contribution. The analysis will turn out to be destructive. It dismisses Hintikka’s distinction between surface information and depth information as being of any utility towards obtaining a measure of the information yield of deductive inferences. Hintikka is right to identify the failure of canonical information theory (...) to give an account of the information yield of deductions as a scandal, however this article demonstrates that his attempt to provide such an account fails. It fails primarily because it applies to only a restricted set of deductions in the polyadic predicate calculus, and fails to apply at all to the deductions in the monadic predicate calculus and the propositional calculus. Some corollaries of these facts are a number of undesirable and counterintuitive results concerning the proposed relation of linguistic meaning (and hence synonymy) with surface information. Some of these results will be seen to contradict Hintikka’s stated aims, whilst others are seen to be false. The consequence is that the problem of obtaining a measure of the information yield of deductive inferences remains an open one. The failure of Hintikka’s proposal will suggest that a purely syntactic approach to the problem be abandoned in favour of an intrinsically semantic one. (shrink)

Mental representations remain the central posits of psychology after many decades of scrutiny. However, there is no consensus about the representational format(s) of biological cognition. This paper provides a survey of evidence from computational cognitive psychology, perceptual psychology, developmental psychology, comparative psychology, and social psychology, and concludes that one type of format that routinely crops up is the language-of-thought (LoT). We outline six core properties of LoTs: (i) discrete constituents; (ii) role-filler independence; (iii) predicate–argument structure; (iv) logical operators; (v) inferential (...) promiscuity; and (vi) abstract content. These properties cluster together throughout cognitive science. Bayesian computational modeling, compositional features of object perception, complex infant and animal reasoning, and automatic, intuitive cognition in adults all implicate LoT-like structures. Instead of regarding LoT as a relic of the previous century, researchers in cognitive science and philosophy-of-mind must take seriously the explanatory breadth of LoT-based architectures. We grant that the mind may harbor many formats and architectures, including iconic and associative structures as well as deep-neural-network-like architectures. However, as computational/representational approaches to the mind continue to advance, classical compositional symbolic structures – that is, LoTs – only prove more flexible and well-supported over time. (shrink)

In explaining the notion of a fundamental property or relation, metaphysicians will often draw an analogy with languages. The fundamental properties and relations stand to reality as the primitive predicates and relations stand to a language: the smallest set of vocabulary God would need in order to write the “book of the world.” This paper attempts to make good on this metaphor. To that end, a modality is introduced that, put informally, stands to propositions as logical truth stands to sentences. (...) The resulting theory, formulated in higher-order logic, also vindicates the Humean idea that fundamental properties and relations are freely recombinable and a variant of the structural idea that propositions can be decomposed into their fundamental constituents via logical operations. Indeed, it is seen that, although these ideas are seemingly distinct, they are not independent, and fall out of a natural and general theory about the granularity of reality. (shrink)

Downward causation exercised by emergent properties of wholes upon their lower-level constituents’ properties has been accused of conceptual and metaphysical incoherence. Only upward causation is usually peacefully accepted. The aim of this paper is to criticize and refuse the traditional hierarchical-vertical way of conceiving both types of causation, although preserving their deepest ontological significance, as well as the widespread acceptance of the traditional atomistic-combinatorial view of the entities and the relations that constitute the so-called ‘emergence base’. Assuming those two perspectives (...) with no reserves, we are condemned to confine our debate to the question of whether reified wholes can have the power to downwardly change or influence their lower-level parts, a question which seems profoundly misleading to me. I therefore propose an alternative relational ontological view, assuming a straightforward horizontal and intra-level way of representing those putative cases of cross-level causation. I finally confront two recent replies to Kim’s well-known objections to DC—Craver and Bechtel and Kistler :595–609, 2009)—, emphasizing their global positive approaches, as well as the reasons why their accounts still seem insufficient to me. I conclude arguing that both Kim’s principle of the causal closure of the physical domain and its allegation of an overdetermination in cases of DC can be surpassed by the new relational ontological perspective presented here. (shrink)

Consider an object or property a and the predicate F. Then a is vague if there are questions of the form: Is a F? that have no yes-or-no answers. In brief, vague properties and kinds have borderline instances and composite objects have borderline constituents. I'll use the expression "borderline cases" as a covering term for both. ;Having borderline cases is compatible with precision so long as every case is either borderline F, determinately F or determinately not F. Thus, in addition (...) to borderline cases, vagueness requires "fuzzy borders". A has fuzzy borders if there is no sharp line between a's borderline cases, a's determinate cases and a's determinate non-cases. To illustrate, loudness is vague because in a continuum of gradually increasing volume, there is no fact about where the last definite loud noise is and where the first borderline noise is. ;Actual borderline cases are not required for vagueness. Suppose actual noises are either ear-shatteringly loud or silent. Even so, loudness is vague since it could have borderline instances. Just so for objects. Suppose a table is cleanly bounded such that there is a sharp break between the table and its surroundings. Still, that table is vague since there are worlds at which it is indeterminate whether some wood molecule a is, or is not, part of that table. ;There are three views about which things can be vague. On the linguistic view, vagueness is solely a feature of expressions. On the nihilistic view, nothing is vague because vagueness is incoherent. Pitted against these views is the ontological conception of vagueness according to which borderline instances and constituents arise due to genuine indeterminacy in nature. ;My dissertation defends the ontological conception. I argue against the adequacy of the theory's rivals, disarm a damaging objection and demonstrate the causal superiority of vague events. Anyone familiar with the literature on vagueness will notice that only a subset of issues are discussed. What I offer is preliminary--I hope only to make the theory of ontological vagueness attractive enough to merit future work. (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)

This work concerns itself with characterising the different types of contents that arise from uses of interrogative sentences, describing what meanings get associated with particular interrogative sentences, and explaining how these get put together compositionally on the basis of the meaning of their constituents, with particular attention to the meaning of interrogative phrases. ;Within most recent work in linguistic semantics, questions, the contents of query uses of interrogatives, have been analysed reductively as higher order propositional objects. The current work argues (...) against such an analysis. In its stead a view of questions is offered wherein these constitute the subclass of singular propositional entities, unresolved states-of-affairs , those that contain one or more argument roles of the propositional entity with whom no entity is associated. This view provides for an inherently richer notion of answerhood that is at the same time based on entities that are more plausibly available to cognitive agents engaged in querying. The need for a richer notion of answerhood is prompted by our demonstration that the class of answers to any given question--contents that can be conveyed by acceptable responses--has been considerably under-recognized in past work. An important gain made by the proposed approach is that it reveals and provides a simple account of systematic and cross-linguistically stable contrasts in the ability of a predicate to take an interrogative meaning as an argument. ;Our proposal for characterising the meaning of interrogative expressions argues that there exist three independent classes of uses which interrogative phrases can undergo, which we dub independent, dependent, and reprise uses. We argue extensively against an assumption common to most past work that interrogatives should be viewed as quantifiers on either syntactic or semantic grounds. We propose that dependent and reprise uses of interrogative expressions are each particular instances of use-types applicable to non-interrogative expressions. Dependent uses include bound variable anaphora as an instance. Reprise uses comprehend quotative uses of declarative sentences. We show how combining the general characteristics of each use type with the characterisation of independent interrogative uses we provide enables the defining conditions pertaining to these additional interrogative uses to be derived. This allows for a simple and comprehensive account of the available interrogative meanings. (shrink)

This paper explores the implications of some experimental data for views that identify colors with objective physical properties such as reflectance profiles. Those who reject objectivist views often argue from the existence of intersubjective differences in color categorization ; but objectivists have managed to stand their ground by identifying colors with sets or ranges of reflectances individuated by the ways in which they stimulate the visual system. In the interest of moving the debate forward, I provide a new kind of (...) evidence against objectivism. Results of a psycholinguistic experiment reveal hysteresis and enhanced contrast in ordinary speakers’ applications of vague terms. These dynamical patterns are purely psychological and give rise to intra-subjective variation in subjects’ applications of vague predicates; in particular, in the case of color predicates, nothing in the stimulus configuration or the illuminant undergoes any change, the only variable being the order in which stimuli are judged. I hypothesize that these order effects are necessary if vague words are to be applicable to values on dimensions, like color, that admit of continuous change. To the extent that this hypothesis is correct, it suggests that if colors are the properties named by ordinary color predicates, and ordinary color predicates are vague, and the application of vague predicates exhibits the order effects found in the experiment, colours cannot be physical or otherwise objective in nature. (shrink)

In July 2021, a series of gruesome videos exposed a case of brutal torture perpetrated by a guru or leader of the trans feminine hijra community in eastern India. This guru was allegedly of a Bangladeshi Muslim background, and various community members used the case as an alibi to target hijras of such national and religious origin, sometimes even demanding their expulsion from India. This phenomenon paralleled increasing affiliations between certain sections of trans/hijra communities and the Hindu Right. This article (...) situates this case within the broader rise of queer and trans Hindutva or Hindu nationalism and locates it as indicative of Hindutva’s expansion to its erstwhile ‘elsewheres’: areas outside its traditional strongholds such as eastern India and communities such as hijras who are known for their mixed religious practices and have been historically stigmatised by Hindu society. However, the article also analyses the case to show how hijras and related communities evidence contingently wavering political alliances and complex dynamics of intra-community power and resistance that remain irreducible to typical equations of Hindu right-wing politics. Queer/trans Hindutva might become disrupted by its potential constituents themselves, showing how Hindutva’s ‘elsewheres’ trouble its assimilationist capacities. (shrink)