Propositions, Misc

In this paper, I develop a theory on which each of a thing’s abundant properties is immanent in that thing. On the version of the theory I will propose, universals are abundant, each instantiated universal is immanent, and each uninstantiated universal is such that it could have been instantiated, in which case it would have been immanent. After setting out the theory, I will defend it from David Lewis’s argument that such a combination of immanence and abundance is absurd. I (...) will then advocate the theory on the grounds that it accomplishes all of Lewis’s “new work” while providing a gain in parsimony and a new account of fine-grained content. I will close with a discussion of how the theory also affords a new reply to two objections to uninstantiated universals: Armstrong’s charge that they are inconsistent with naturalism, and a Benacerraf-Field-style objection about epistemic access. (shrink)

In many different ontological debates, anti-arbitrariness considerations push one towards two opposing extremes. For example, in debates about mereology, one may be pushed towards a maximal ontology (mereological universalism) or a minimal ontology (mereological nihilism), because any intermediate view seems objectionably arbitrary. However, it is usually thought that anti-arbitrariness considerations on their own cannot decide between these maximal or minimal views. I will argue that this is a mistake. Anti-arbitrariness arguments may be used to motivate a certain popular thesis in (...) the philosophy of mathematics that rules out the maximalist view in many different ontological debates. (shrink)

This paper develops a theory of propositional identity which distinguishes necessarily equivalent propositions that differ in subject-matter. Rather than forming a Boolean lattice as in extensional and intensional semantic theories, the space of propositions forms a non-interlaced bilattice. After motivating a departure from tradition by way of a number of plausible principles for subject-matter, I will provide a Finean state semantics for a novel theory of propositions, presenting arguments against the convexity and nonvacuity constraints which Fine (2016, 2017a,b) introduces. I (...) will then move to compare the resulting logic of propositional identity (PI) with Correia’s (2016) logic of generalised identity (GI), as well as the first degree fragment of Angell’s (1989) logic of analytic containment (AC). The paper concludes by extending PI to include axioms and rules for a subject-matter operator, providing a much broader theory of subject-matter than the principles with which I will begin. (shrink)

The basic principle of all realist theories of truth developed in the 13th and 14th centuries was that a proposition is true if and only if it tells us how things are in reality. Walter Burley (1275-1344) interpreted this principle in a more radical way than 13th-century realists did. Burley, in fact, proposed a strong correspondence theory, in which there is a strict biunique correspondence between linguistic and extra-linguistic elements. Now, if the principle of correspondence can be applied to Burley (...) unconditionally to all affirmative statements (both for accidental and essential predications), it cannot be applied in the case of negative propositions, since in reality there can be no negative state of affairs. In order to solve this problem, Burley uses the strategy of introducing a complex mental object or objective entity as the significatum adequatum of negative sentences. It is an object which, although it exists only in the mind, is completely independent of our mental operations and which ultimately refers to the extra-mental world, composed exclusively of positive objects and states of affairs. In fact, the truth of a negative sentence does not depend on it corresponding to some negative fact, but rather on the opposite affirmative sentence failing to correspond to some positive extramental fact. Thus, extramental reality, which is only composed of positive objects, recovers its role as a yardstick for verifying the truth or falsity of all particular sentences, both affirmative and negative. (shrink)

In this article, I explore the consequences of two commonsensical premises in semantics and epistemology: (1) natural language is a complex system rooted in the communal life of human beings within a given environment; and (2) linguistic knowledge is essentially dependent on natural language. These premises lead me to emphasize the process-socio-environmental character of linguistic meaning and knowledge, from which I proceed to analyse a number of long-standing philosophical problems, attempting to throw new light upon them on these grounds. In (...) particular, I criticize the use of expressions such as ‘absolute truth’, ‘absolute existence’ and ‘the thing in itself’, arguing that they lead to what I call ‘the ultralinguistic paradox’ (a fatal antinomy). In the same way, I review a number of mainstream topics in philosophical semantics, epistemology and metaphysics, reformulating them in terms much more naturalistic – and less mysterious – than usual. (shrink)

The present work outlines a logical and philosophical conception of propositions in relation to a group of puzzles that arise by quantifying over them: the Russell-Myhill paradox, the Prior-Kaplan paradox, and Prior's Theorem. I begin by motivating an interpretation of Russell-Myhill as depending on aboutness, which constrains the notion of propositional identity. I discuss two formalizations of of the paradox, showing that it does not depend on the syntax of propositional variables. I then extend to propositions a modal predicative response (...) to the paradoxes articulated by an abstraction principle for propositions. On this conception, propositions are “shadows” of the sentences that express them. Modal operators are used to uncover the implicit relation of dependence that characterizes propositions that are about propositions. The benefits of this approach are shown by application to other intensional puzzles. The resulting view is an alternative to the plenitudinous metaphysics of impredicative comprehension principles. (shrink)

Subverting a once widely held Quinean paradigm, there is a growing consensus among philosophers of logic that higher-order quantifiers (which bind variables in the syntactic position of predicates and sentences) are a perfectly legitimate and useful instrument in the logico-philosophical toolbox, while neither being reducible to nor fully explicable in terms of first-order quantifiers (which bind variables in singular term position). This article discusses the impact of this quantificational paradigm shift on metaphysics, focussing on theories of properties, propositions, and identity, (...) as well as on the metaphysics of modality. (shrink)

Tractatus 4.024 inspired the dominant semantics of our time: truth-conditional semantics. Such semantics is focused on possible worlds: the content of p is the set of worlds where p is true. It has become increasingly clear that such an account is, at best, defective: we need an ‘independent factor in meaning, constrained but not determined by truth-conditions’ (Yablo 2014, p. 2), because sentences can be differently true at the same possible worlds. I suggest a missing comment which, had it been (...) included in the Tractatus, would have helped semantics get this right from the start. This is my 4.0241: ‘Knowing what is the case if a sentence is true is knowing its ways of being true’: knowing a sentence’s truth possibilities and what we now call its topic, or subject matter. I show that the famous ‘fundamental thought’ that ‘the “logical constants” do not represent’ (4.0312) can be understood in terms of ways-based views of meaning. Such views also help with puzzling claims like 5.122: ‘If p follows from q, the sense of “p” is contained in the that of “q”’, which are compatible with a conception of entailment combining truth-preservation with the preservation of topicality, or of ways of being true. (shrink)

In Natural propositions (2014), Stjernfelt contends that the interpretation of a proposition or dicisign requires the joint action of two kinds of signs. A proposition must contain a sign that conveys a general quality. This function can be served by a similarity-based icon or code-based symbol. In addition, a proposition must situate or apply this general quality, so that the predication can become liable of being true or false. This function is served by an index. Stjernfelt rightly considers the co-localization (...) of these two parts to be a primitive phenomenon. Although this primitive character would seem to bar any further analysis, I endeavor to clarify the degree of proximity sufficient to enable co-localization. Siding with Pietarinen (2014), who argues that the whole issue should not be construed in metric terms, I conclude that one cannot make sense of propositional co-localization without appealing to some form of first-person perspective. (shrink)

William Lane Craig’s God over All argues against the kind of “divine conceptualism” about abstract objects which I defend. In this conference presentation I note several points of agreement with and appreciation for Craig’s important work. I then turn to five points of critique and response pertaining to: the sovereignty-aseity intuition, the reality of false propositions, God’s having “inappropriate” thoughts, propositions being purely private and incommunicable, and a consistent view of God’s own ontological commitments. I conclude by summarizing our two (...) key differences, indicating that we may have much more in common than first appears. (shrink)

The Theistic Argument from Intentionality (TAI) is a venerable argument for the existence of God from the existence of eternal truths. The argument relies, inter alia, on the premises that (i) truth requires representation, and that (ii) non-derivative representation is a function of, and only of, minds. If propositions are the fundamental bearers of truth and falsity, then these premises entail that propositions (or at least their representational properties) depend on minds. Although it is widely thought that psychologism—the view that (...) the fundamental truth-bearers are mind-dependent—was refuted by Frege, a psychologistic view of propositions has been undergoing a revival. However, this new psychologism suffers from a problem of scarcity—finite minds cannot generate enough thoughts to play the role of fundamental truth-bearers. This objection paves the way for a revised version of the TAI: only an infinite mind can furnish enough thoughts to play the role of propositions. (shrink)

Reductionist realist accounts of certain entities, such as the natural numbers and propositions, have been taken to be fatally undermined by what we may call the problem of arbitrary identification. The problem is that there are multiple and equally adequate reductions of the natural numbers to sets (see Benacerraf, 1965), as well as of propositions to unstructured or structured entities (see, e.g., Bealer, 1998; King, Soames, & Speaks, 2014; Melia, 1992). This paper sets out to solve the problem by canvassing (...) what we may call the arbitrary reference strategy. The main claims of such strategy are 2. First, we do not know which objects are the referents of proposition and numerical terms since their reference is fixed arbitrarily. Second, our ignorance of which object is picked out as the referent does not entail that no object is referred to by the relevant expression. Different articulations of the strategy are assessed, and a new one is defended. (shrink)

Peter van Inwagen has given an answer to the question ‘Why is there something rather than nothing?’. His answer is: Because there being nothing is as improbable as anything can be: it has probability 0. Here I shall examine his argument for this answer and I shall argue that it does not work because no good reasons have been given for two of the argument’s premises and that the conclusion of the argument does not constitute an answer to the question (...) van Inwagen wanted to answer. (shrink)

Minimalists about truth contend that traditional inflationary theories systematically fail to explain certain facts about truth, and that this failure licenses a ‘reversal of explanatory direction’. Once reversed, they purport that their own minimal theory adequately explains all of the facts involving truth. But minimalists’ main objection to inflationism seems to misfire, and the subsequent reversal of explanatory direction, if it can be made sense of, leaves minimalism in no better explanatory position; and even if the objection were serviceable and (...) the reversal legitimate, minimalists’ adequacy thesis is still implausible. (shrink)

It is common practice in formal semantics to assume that the context specifies an assignment of values to variables and that the same variables that receive contextually salient values when they occur free may also be bound by quantifiers and λs. These assumptions are at work to provide a unified account of free and bound uses of third person pronouns, namely one by which the same lexical item is involved in both uses. One way to pursue this account is to (...) treat quantifiers and λs as monsters in Kaplan’s sense. We argue that this move should be avoided and explore an alternative route based on the idea that there is a variable assignment coordinate in the context and a variable assignment coordinate in the circumstance of evaluation, with the definition of truth in context identifying them. One fundamental challenge that arises in pursuing a unified account is to explain the difference in the way the gender presuppositions of bound and free pronouns project. The proposal that emerges from the attempt to meet this challenge is a non-indexical account of free third person pronouns and a new conception of the role and structure of assignment functions. (shrink)

Russell prétend qu’un examen des croyances est indispensable pour définir nos raisonnements quotidiens et comprendre ce que les philosophes entendent par la notion de vérité. Cela étant, l’auteur considère qu’une étude de ces croyances n’a aucun rapport avec la logique, laquelle concerne uniquement le vrai et le faux. En d’autres termes, Russell associe croyance et psychologie tout en réservant le domaine de la logique au thème de la proposition, vraie ou fausse par définition. Une certaine théorie de la vérité sous-tend (...) son rejet primordial d’une logique épistémique ; si la croyance a un intérêt philosophique, c’est parce que Russell se sert de son examen pour discerner la théorie de la vérité que défendent plusieurs philosophes : la théorie de la vérité-cohérence est une cible principale du Britannique, qui défend pour sa part une théorie de la vérité-correspondance en caractérisant la proposition par sa relation de correspondance ou de non-correspondance avec un fait. (shrink)

This paper develops the situational model of primate beliefs from the Prior-Lurz line of thought. There is a strong skepticism concerning primate beliefs in the analytic tradition which holds that beliefs have to be propositional and non-human animals do not have them. The response offered in this paper is twofold. First, two arguments against the propositional model as applied to other animals are put forward: an a priori argument from referential opacity and an empirical argument from varieties of working memory. (...) Second, the Prior-Lurz situational model based on state of affairs as opposed to propositions is introduced and defended with two significant modifications. With this model of primate beliefs we can make progress in understanding how other primates can have certain mindreading capacity. (shrink)

Speaks defends the view that propositions are properties: for example, the proposition that grass is green is the property being such that grass is green. We argue that there is no reason to prefer Speaks's theory to analogous but competing theories that identify propositions with, say, 2-adic relations. This style of argument has recently been deployed by many, including Moore and King, against the view that propositions are n-tuples, and by Caplan and Tillman against King's view that propositions are facts (...) of a special sort. We offer our argument as an objection to the view that propositions are unsaturated relations. (shrink)

Inspired by Castañeda (1966, 1968), Perry (1979) and Lewis (1979) showed that a specific variety of singular thoughts, thoughts about oneself “as oneself” – de se thoughts, as Lewis called them – raise special issues, and they advanced rival accounts. Their suggestive examples raise the problem of de se thought – to wit, how to characterize it so as to give an accurate account of the data, tracing its relations to singular thoughts in general. After rehearsing the main tenets of (...) two contrasting accounts – a Lewisian one and a Perrian one – in the first section of this paper, in the second I will present a proposal of my own, which is a specific elaboration of the Perrian account. In the first section I will indicate some weaknesses of Perry’s presentation of his view; the proposal I will articulate in the second overcomes them. I will conclude with a brief discussion of reasons for preferring one or another account, in particular regarding the issue of the communication of de se thoughts. (shrink)

This paper offers a positive account of an important but under-explored class of mental states, non-propositional attitudes such as loving one’s department, liking lattice structures, fearing Freddy Krueger, and hating Sherlock Holmes. In broadest terms, the view reached is a representationalist account guided by two puzzles. The proposal allows one to say in an elegant way what differentiates a propositional attitude from an attitude merely about a proposition. The proposal also allows one to offer a unified account of the non-propositional (...) attitudes that captures both empty and non-empty cases by properly locating the posited representations in the metaphysical structure of the attitudes. (shrink)

In the pair of articles of which this is the first, I shall present a set of problems and philosophical proposals that have in recent years been associated with the term “relativism”. All these problems and proposals concern the question of how we should represent thought and speech about certain topics. The main issue here is whether we should model such mental states or linguistic acts as involving representational contents that are absolutely correct or incorrect, or whether, alternatively, their correctness (...) should be thought of as varying with some (more or less surprising) factor. In this, first, article, I shall discuss the general issue of relativism about representational content. I shall claim that there are legitimate ways of attributing contents that are absolute truth-bearers, and there are also equally legitimate ways of attributing relativistic representational contents. In the companion piece “Relativism 2: Semantic Content”, I look in more detail at the more specific question whether semantic contents (i.e. the contents assigned to linguistic utterances in the semantics of natural language) should be construed in an absolutist or a relativist way. (shrink)

In this paper, I address some puzzles about Frege’s conception of how we “grasp” thoughts. I focus on an enigmatic passage that appears near the end of Frege’s great essay “The Thought.” In this passage Frege refers to a “non-sensible something” without which “everyone would remain shut up in his inner world.” I consider and criticize Wolfgang Malzkorn’s interpretation of the passage. According to Malzkorn, Frege’s view is that ideas [Vorstellungen] are the means by which we grasp thoughts. My counter-proposal (...) is that language enables us to grasp thoughts (ideas are merely their baggage or “trappings,” as Frege puts it). One significant consequence of my interpretation is that it helps challenge the standard reading of Frege according to which he is a metaphysical platonist about thoughts. My interpretation thus provides support for the deflationary, anti-ontological reading spelled out by readers like Thomas Ricketts and Wolfgang Carl. As Ricketts puts it, Frege’s distinction between the objective and the subjective, rather than being an ontological doctrine, “lodges in the contrast between asserting something and giving vent to a feeling.”. (shrink)

A critical review of Michael Ridge's book Impassioned Belief.

Trenton Merricks argues for and defends a novel version of primitivism about truth : being true is a primitive monadic but non-intrinsic property. This examination consists of the following triad: a critical discussion of Merricks’ argument for his view, a rejection of his objection against Paul Horwich’s minimalist theory of truth, and a direct objection against his view on the grounds that it entails being true is a mysterious and suspicious property. The conclusion is that Merricks’ primitivism should be rejected.

Intentionality, or the power of minds to be about, to represent, or to stand for things, remains central in the philosophy of mind. But the study of intentionality in the analytic tradition has been dominated by discussions of propositional attitudes such as belief, desire, and visual perception. There are, however, intentional states that aren't obviously propositional attitudes. For example, Indiana Jones fears snakes, Antony loves Cleopatra, and Jane hates the monster under her bed. The present paper explores such mental states (...) in an introductory but opinionated way. (shrink)

Propositions have played a central role in philosophy of language since Frege. I will argue that the notion of a proposition, because of a range of philosophical problems as well as problems of linguistic adequacy, should be replaced by a different notion, for almost all the roles for it has been invoked, namely by the notion of an attitudinal object. Attitudinal objects are entities like ‘John’s belief that S’, ‘John’s claim that S’, and ‘John’s desire to do X’. Attitudinal objects (...) are closely related to, yet ontologically distinct from mental events and speech acts. (shrink)

In her ‘Spracherwerb’(2012) Ruth Millikan gives a compelling account of language acquisition based on our ability to track objects. I argue that, and how, it is undermined by her insistence on equating understanding language utterances and sense perception, point to idealist hazards, and plead against propositionality and for imagism in order to safeguard the account’s important potential for giving a comprehensive explication of meaning.

In this paper, I discuss two concerns for pluralist truth theories: a concern about a key detail of these theories and a concern about their viability. The detail-related concern is that pluralists have relied heavily upon the notion of a domain, but it is not transparent what they take domains to be. Since the notion of a domain has been present in philosophy for some time, it is important for many theorists, not only truth pluralists, to be clear on what (...) domains are and what work they can do. The viability-related concern is that it’s not clear how a pluralist truth theory could explain the truth-conditions of mixed atomic propositions. To address this concern, truth pluralists should recognize something to which they have not been sufficiently attentive: that some atomic propositions belong to more than one domain. But, recognizing this requires rethinking the relationships between the nature of propositions, their membership in domains, and their truth. I address these issues and propose an understanding of them that is preferable to the best existing account of them, that offered by Michael Lynch. (shrink)

Philosophers often talk about the things we say, or believe, or think, or mean. The things are often called ‘propositions’. A proposition is what one believes, or thinks, or means when one believes, thinks, or means something. Talk about propositions is ubiquitous when philosophers turn their gaze to language, meaning and thought. But what are propositions? Is there a single class of things that serve as the objects of belief, the bearers of truth, and the meanings of utterances? How do (...) our utterances express propositions? Under what conditions do two speakers say the same thing, and what (if anything) does this tell us about the nature of propositions? There is no consensus on these questions—or even on whether propositions should be treated as things at all. During the second Propositions and Same-Saying workshop, which took place on July 19–21 2010 at the University of Sydney, philosophers debated these (and related) questions. The workshop covered topics in the philosophy of language, perception, and metaphysics. The present volume contains revised and expanded versions of the papers presented at the workshop. (shrink)

I argue that conventional implicatures embed in logical compounds, and are non-truth-conditional contributors to sentence meaning. This, I argue has significant implications for how we understand truth, truth-conditional content, and truth-bearers.

The paper argues that philosophers commonly misidentify the substitutivity principle involved in Russell’s puzzle about substitutivity in “On Denoting”. This matters because when that principle is properly identified the puzzle becomes considerably sharper and more interesting than it is often taken to be. This article describes both the puzzle itself and Russell's solution to it, which involves resources beyond the theory of descriptions. It then explores the epistemological and metaphysical consequences of that solution. One such consequence, it argues, is that (...) Russell must abandon his commitment to propositions. (shrink)

The article first rehearses three deflationary theories of reference, (1) disquotationalism, (2) propositionalism (Horwich), and (3) the anaphoric theory (Brandom), and raises a number of objections against them. It turns out that each corresponds to a closely related theory of truth, and that these are subject to analogous criticisms to a surprisingly high extent. I then present a theory of my own, according to which the schema “That S(t) is about t” and the biconditional “S refers to x iff S (...) says something about x” are exhaustive of the notions of aboutness and reference. An account of the usefulness of “about” is then given, which, I argue, is superior to that of Horwich. I close with a few considerations about how the advertised theory relates to well-known issues of reference, the conclusions of which is (1) that the issues concern reference and aboutness only insofar as the words “about” and “refer” serve to generalise over the claims that are really at issue, (2) that the theory of reference will not settle the issues, and (3) that it follows from (2) that the issues do not concern the nature of aboutness or reference. (shrink)

Harold Brown has written an ambitious work, which traces the formation of concepts in individuals and cultures, examines case studies of concepts in calculus, mathematics, biology and related fields, summarises important philosophical works on the theory of concepts, and seeks to reconcile scientific realism with conceptual change. Brown considers himself a scientific realist but concedes that this very label is one that depends on a long history of concepts that came before, and may indeed be superseded as conceptual change continues. (...) Yet, concepts are not strictly relative to their contexts. ‘‘The usual claim is that truth is relative – period; and this claim assumes a non-relativized truth-concept’’ (p. 309). Crucial to his goal of developing a theory of concepts is how Brown reconciles conceptual change with objectivity. (shrink)

At the heart of semantics in the 20th century is Frege’s distinction between sense and force. This is the idea that the content of a self-standing utterance of a sentence S can be divided into two components. One part, the sense, is the proposition that S’s linguistic meaning and context associates with it as its semantic interpretation. The second component is S’s illocutionary force. Illocutionary forces correspond to the three basic kinds of sentential speech acts: assertions, orders, and questions. Forces (...) are then kinds of acts in which propositions are deployed with certain purposes. I sketch a speech-act theoretic semantics in which that distinction does not hold. Instead of propositions and forces, the theory proposes proto-illocutionary acts and illocutionary acts. The orthodox notion of a proposition plays no role in the framework, which is a good thing, since that notion is deeply problematic. The framework also shows how expressionists, who embrace a sophisticated speech-act framework, face no Frege-Geach embedding problem, since the latter assumes the Sense/Force distinction. (shrink)

Philosophers of the modern period are often presented as having made an elementary error: that of confounding the attitude one adopts toward a proposition with its content. By examining the works of Locke and the Port-Royalians, I show that this accusation is ill-founded and that Locke, in particular, has the resources to construct a theory of propositional attitudes.

The aim of the paper is to sketch a principle of individuation that is intended to serve the Fregean notion of a proposition, a notion I take for granted. A salient feature of Fregean propositions, i.e. complexes of modes of presentation of objects, is that they are fine-grained items, so fine-grained that even synonymous sentences might express different Fregean propositions. My starting point is the principle labelled by Gareth Evans the Intuitive Criterion of Difference for Thoughts, which states that it (...) is impossible coherently to take different mental attitudes to the same proposition. As a logical truth, this is a synchronic principle, the application of which is restricted to attitudes held at a single time. I argue that such a restriction might be reasonably lifted and, on the basis of an adequate notion of attitude-retention, I propose an admissible diachronic extension of the principle. (shrink)

The purpose of this paper is to lay out the algebraic approach to propositions and then to show how it can be implemented in new solutions to Frege's puzzle and a variety of related puzzles about content.

Presented here is an argument for the existence of universals. Like Church's translation- test argument, the argument turns on considerations from intensional logic. But whereas Church's argument turns on the fine-grained informational content of intensional sentences, this argument turns on the distinctive logical features of 'that'-clauses embedded within modal contexts. And unlike Church's argument, this argument applies against truth-conditions nominalism and also against conceptualism and in re realism. So if the argument is successful, it serves as a defense of full (...) ante rem realism. The argument emphasizes the need for a unified treatment of intensional statements -- modal statements as well as statements of assertion and belief. The larger philosophical moral will be that ante rem universals are uniquely suited to carry a certain kind of modal information. Linguistic entities, mind-dependent universals, and instance-dependent universals are incapable of serving that function. (shrink)

Is the way we use propositions to individuate beliefs and other intentional states analogous to the way we use numbers to measure weights and other physical magnitudes? In an earlier paper [2], I argued that there is an important disanalogy. One and the same weight can be 'related to' different numbers under different units of measurement. Moreover, the choice of a unit of measurement is arbitrary,in the sense that which way we choose doesn't affect the weight attributed to the object. (...) But it makes little sense to say that one and the same belief can be related to different propositions: different proposition means different belief. So there is no analogous arbitrary choice. (shrink)

A Commonplace of recent philosophy of mind is that intentional states are relations between thinkers and propositions. This thesis-call it the 'Relational Thesis'-does not depend on any specific theory of propositions. One can hold it whether one believes that propositions are Fregean Thoughts, ordered n-tuples of objects and properties or sets of possible worlds. An assumption that all these theories of propositions share is that propositions are abstract objects, without location in space or time...

Commonplace syntactic constructions in natural language seem to generate ontological commitments to a dazzling array of metaphysical categories - aggregations, sets, ordered n-tuples, possible worlds, intensional entities, ideal objects, species, intensive and extensive quantities, stuffs, situations, states, courses of events, nonexistent objects, intentional and discourse objects, general objects, plural objects, variable objects, arbitrary objects, vague kinds and concepts, fuzzy sets, and so forth. But just because a syntactic construction in some natural language appears to invoke a new category of entity, (...) are we theoreticians epistemically justified in holding that there are such entities? This would hardly seem sufficient. To be epistemically justified, the ontology to which we theoreticians are committed must pass strict standards: the entities must be of the sort required by our best comprehensive theory of the world. The thesis of this paper is that fine-grained type-free intensional entities are like this. If the thesis is right, these entities have a special objective status perhaps not possessed by some of the other ontological categories associated with special syntactic constructions in natural language. In fact, it is plausible to hold that fine-grained type-free intensional entities provide the proper minimal framework for constructing logical and linguistic theories. In this paper my strategy will be to survey the competing conceptions of fine-grained type-free intensionality and to present arguments in support of one of them. Following this narrowing down process, I will go on to the indicated epistemological considerations. (shrink)

Higher-order theories of properties, relations, and propositions are known to be essentially incomplete relative to their standard notions of validity. It turns out that the first-order theory of PRPs that results when first-order logic is supplemented with a generalized intensional abstraction operation is complete. The construction involves the development of an intensional algebraic semantic method that does not appeal to possible worlds, but rather takes PRPs as primitive entities. This allows for a satisfactory treatment of both the modalities and the (...) propositional attitudes, and it suggests a general strategy for developing a comprehensive treatment of intensional logic. (shrink)

This study provides a unified theory of properties, relations, and propositions (PRPs). Two conceptions of PRPs have emerged in the history of philosophy. The author explores both of these traditional conceptions and shows how they can be captured by a single theory.

This is the only complete logic for properties, relations, and propositions (PRPS) that has been formulated to date. First, an intensional abstraction operation is adjoined to first-order quantifier logic, Then, a new algebraic semantic method is developed. The heuristic used is not that of possible worlds but rather that of PRPS taken at face value. Unlike the possible worlds approach to intensional logic, this approach yields a logic for intentional (psychological) matters, as well as modal matters. At the close of (...) the paper, the origin of incompleteness in logic is investigated. The culprit is found to be the predication relation, a relation on properties and relations that is expressed in natural language by the copula. (shrink)