Russell discovered the classes version of Russell's Paradox in spring 1901, and the predicates version near the same time. There is a problem, however, in dating the discovery of the propositional functions version. In 1906, Russell claimed he discovered it after May 1903, but this conflicts with the widespread belief that the functions version appears in _The Principles of Mathematics_, finished in late 1902. I argue that Russell's dating was accurate, and that the functions version does not appear in (...) the _Principles_. I distinguish the functions and predicates versions, give a novel reading of the _Principles_, section 85, as a paradox dealing with what Russell calls _assertions_, and show that Russell's logical notation in 1902 had no way of even formulating the functions version. The propositional functions version had its origins in the summer of 1903, soon after Russell's notation had changed in such a way as to make a formulation possible. (shrink)

Arguments are given against the thesis that properties and propositional functions are identical. The first shows that the familiar extensional treatment of propositional functions -- that, for all x, if f(x) = g(x), then f = g -- must be abandoned. Second, given the usual assumptions of propositional-function semantics, various propositional functions (e.g., constant functions) are shown not to be properties. Third, novel examples are given to show that, if properties were identified with propositional (...) functions, crucial fine-grained intensional distinctions would be lost. (shrink)

The purpose of this paper is to assess the general viability of Donald Davidson's paratactic theory of indirect discourse, as well as the specific plausibility of a reincarnated form of the Davidsonian paratactic theory, Gary Kemp's propositional paratactic theory. To this end I will provide an introduction to the Davidsonian paratactic theory and the theory's putative strengths, thereafter noting that an argument from ambiguity seems to effectively undermine Davidson's proposal. Subsequently, I will argue that Kemp's modification of Davidson's theory (...) – that is, Kemp's attempt to respond to the ambiguity objection – adequately handles the classic argument from ambiguity but fails in the face of a new problem of ambiguity that I will introduce. Finally, I will argue that there are more devastating and basic problems for the paratactic theory generally, and that even if Kemp's modifications had succeeded, they would not have given adequate plausibility to the paratactic proposal. (shrink)

Certain commentators on Russell's “no class” theory, in which apparent reference to classes or sets is eliminated using higher-order quantification, including W. V. Quine and (recently) Scott Soames, have doubted its success, noting the obscurity of Russell’s understanding of so-called “propositional functions”. These critics allege that realist readings of propositional functions fail to avoid commitment to classes or sets (or something equally problematic), and that nominalist readings fail to meet the demands placed on classes by mathematics. I show (...) that Russell did thoroughly explore these issues, and had good reasons for rejecting accounts of propositional functions as extra-linguistic entities. I argue in favor of a reading taking propositional functions to be nothing over and above open formulas which addresses many such worries, and in particular, does not interpret Russell as reducing classes to language. (shrink)

Recent work in philosophy of language has raised significant problems for the traditional theory of propositions, engendering serious skepticism about its general workability. These problems are, I believe, tied to fundamental misconceptions about how the theory should be developed. The goal of this paper is to show how to develop the traditional theory in a way which solves the problems and puts this skepticism to rest. The problems fall into two groups. The first has to do with reductionism, specifically attempts (...) to reduce propositions to extensional entities-either extensional functions or sets. The second group concerns problems of fine grained content-both traditional 'Cicero'/'Tully' puzzles and recent variations on them which confront scientific essentialism. After characterizing the problems, I outline a non-reductionist approach-the algebraic approach-which avoids the problems associated with reductionism. I then go on to show how the theory can incorporate non-Platonic (as well as Platonic) modes of presentation. When these are implemented nondescriptively, they yield the sort of fine-grained distinctions which have been eluding us. The paper closes by applying the theory to a cluster of remaining puzzles, including a pair of new puzzles facing scientific essentialism. (shrink)

Traditional inflationary approaches that specify the nature of truth are attractive in certain ways; yet, while many of these theories successfully explain why propositions in certain domains of discourse are true, they fail to adequately specify the nature of truth because they run up against counterexamples when attempting to generalize across all domains. One popular consequence is skepticism about the efficaciousness of inflationary approaches altogether. Yet, by recognizing that the failure to explain the truth of disparate propositions often stems from (...) inflationary approaches' allegiance to alethic monism, pluralist approaches are able to avoid this explanatory inadequacy and the resulting skepticism, though at the cost of inviting other conceptual difficulties. A novel approach, alethic functionalism, attempts to circumvent the problems faced by pluralist approaches while preserving their main insights. Unfortunately, it too generates additional problems---namely, with its suspect appropriation of the multiple realizability paradigm and its platitude-based strategy---that need to be dissolved before it can constitute an adequate inflationary approach to the nature of truth. (shrink)

Jeffrey King has recently argued: (i) that the semantic value of a sentence at a context is (or determines) a function from possible worlds to truth values, and (ii) that this undermines Jason Stanley's argument against the rigidity thesis, the claim that no rigid term has the same content as a non-rigid term. I show that King's main argument for (i) fails, and that Stanley's argument is consistent with the claim that the semantic value of a sentence at a (...) context is (or determines) a function from worlds to truth values. (shrink)

Proposition and sentence are two separate entities indicating their specific purposes, definitions and problems. A proposition is a logical entity. A proposition asserts that something is or not the case, any proposition may be affirmed or denied, all proportions are either true (1’s) or false (0’s). All proportions are sentences but all sentences are not propositions. Propositions are factual contains three terms: subject, predicate and copula and are always in indicative or declarative mood. While sentence is a grammatical entity, a (...) unit of language that expresses a complete thought; a sentence may express a proposition, but is distinct from the proposition it may be used to express: categories, declarative sentences, exclamatory, imperative and interrogative sentences. Not all sentences are propositions, propositions express sentence. Sentence is a proposition only in condition when it bears truth values i.e. true or false. We use English sentences governed by imprecise rule to state the precise rules of proposition. In logic we use sentence as logical entity having propositional function but grammatical sentences are different from logical sentences while the former are having only two divisions namely subject and predicate and may express wishes, orders, surprise or facts and also have multiple subjects and predicates and the latter must be in a propositional form which states quantity of the subject and the quality of the proposition and multiple subjects and multiple predicate make the proposition multiple. (shrink)

A central dispute in understanding Frege’s philosophy concerns how the sense of a complex expression relates to the senses of its component expressions. According to one reading, the sense of a complex expression is a whole built from the senses of the component expressions. On this interpretation, Frege is an early proponent of structured propositions. A rival reading says that senses compose by functional application: the sense of a complex expression is the value of the function denoted by its (...) functional component for the arguments denoted by its remaining components. I argue that two non-negotiable Fregean theses entail that senses compose by functional application. One thesis is that referents compose by functional application. The other thesis is that an expression in an indirect context refers to its customary sense. (shrink)

Functionalism would be mistaken if there existed a system of deviant relations (an “anti-mind”) that had the same functional roles as the standard mental relations. In this paper such a system is constructed, using “Quinean transformations” of the sort associated with Quine’s thesis of the indeterminacy of translation. For example, a mapping m from particularistic propositions (e.g., that there exists a rabbit) to universalistic propositions (that rabbithood is manifested). Using m, a deviant relation thinking* is defined: x thinks* p iff (...) x thinks m(p). Such deviant relations satisfy the commonly discussed functionalist psychological principles. Finally, a more complicated system of deviant relations is constructed, one satisfying sophisticated principles dealing with the self-conscious rational mind. (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)

Using William Shakespeare’s Hamlet and the play-within-the play, The Murder of Gonzago, as a case study, this essay argues that theatrical utterances constitute a special case of language usage not previously elucidated: the utterance of a statement with propositional content in theatre functions as an event. In short, the propositional content of a particular p (e.g. p1, p2, p3 …), whether or not it is true, is only understood—and understood to be true—if p1 is uttered in a particular (...) time, place, and situation (i.e. during a theatrical event); otherwise, the propositional content in those theatrical utterances can either be false or contingently true. (shrink)

A concrete proposal is presented as to how semantics should be naturalized. Rather than attempting to naturalize propositions, they are treated as abstract entities that index concrete cognitive states. In turn the relevant concrete cognitive states are identified via perceptual classifications of worldly states, with the aid of an interactive theory of perception. The approach enables a broadly realist theory of propositions, truth and cognitive states to be preserved, with propositions functioning much as abstract mathematical constructs do in the nonsemantic (...) sciences, but with a much more specific propositional indexing scheme than previous naturalistic proposals were able to achieve. (shrink)

The Spohnian paradigm of ranking functions is in many respects like an order-of-magnitude reverse of subjective probability theory. Unlike probabilities, however, ranking functions are only indirectly—via a pointwise ranking function on the underlying set of possibilities W —defined on a field of propositions A over W. This research note shows under which conditions ranking functions on a field of propositions A over W and rankings on a language L are induced by pointwise ranking functions on W and the set (...) of models for L, ModL, respectively. (shrink)

Determiner phrases embedded under a propositional attitude verb have traditionally been taken to denote answers to implicit questions. For example, 'the capital of Vermont' as it occurs in 'John knows the capital of Vermont' has been thought to denote the proposition which answers the implicit question 'what is the capital of Vermont?' Thus, where 'know' is treated as a propositional attitude verb rather than an acquaintance verb, 'John knows the capital of Vermont' is true iff John knows that (...) Montpelier is the capital of Vermont. The traditional view lost its popularity long ago, because it was thought to rest on the controversial assumption that determiner phases embedded under a propositional attitude verb function semantically in the same way as the corresponding wh-clauses. Here we defend the traditional assumption against objections. We then argue that wh-clauses are not to be given a uniform treatment as indirect questions. When occurring under a propositional attitude verb, wh-clauses are better treated as having a predicate-type semantic value. We conclude by considering some possible objections to the predicate view. (shrink)

The positions of Frege, Russell and Wittgenstein on the priority of complexes over (propositional) functions are sketched, challenging those who take the "judgment centered" aspects of the Tractatus to be inherited from Frege not Russell. Frege's views on the priority of judgments are problematic, and unlike Wittgenstein's. Russell's views on these matters, and their development, are discussed in detail, and shown to be more sophisticated than usually supposed. Certain misreadings of Russell, including those regarding the relationship between propositional (...) functions and universals, are exposed. Wittgenstein's and Russell's views on logical grammar are shown to be very similar. Russell's type theory does not countenance types of genuine entities nor metaphysical truths that cannot be put into words, contrary to conventional wisdom. I relate this to the debate over "inexpressible truths" in the Tractatus. I lastly comment on the changes to Russell's views brought about by Wittgenstein's influence. (shrink)

The folk Psychology frames propositional attitudes as fundamental theoretical entities for the construction of a model designed to predict the behavior of a subject. A trivial, such as grasping a pen and writing reveals - something complex - about the behavior. When I take a pen and start writing I do, trivially, because I believe that a certain object in front of me is a pen and who performs a specific function that is, in fact, that of writing. (...) When I believe that the object that stands before me is a pen, I am in relation to "believe" with the propositional content: that in front of me is a pen. Philosophers of the proposition, from Frege onwards, have dedicated their studies to the analysis of what kinds of entities are the propositional attitudes. Jerry Fodor says that now, the proper prediction of the psychology of common sense, can not be questioned and that the propositional attitudes represent the most effective way to describe our behavior. What Fodor says, however, is that propositional attitudes function, but not how they work. Most philosophers interested in the issue, we are dedicated to the search for a theory that can account consistently both a semantics for propositional attitudes, both of these entities that seem to cause the behavior of a rational subject. There are two main paradigms in the theory of the proposition that contributed to the discussion of the propositional attitudes. One is the one that begins with Gottlob Frege, the other with Bertrand Russell. Defenders of Frege argue that the paradigm scrub objects and properties can not be constituents of the propositional content which have a purely conceptual. In other words, the philosophers belonging to the paradigm of Frege, but not all, mean that you can test in a rigorous way the truth conditions of propositional attitudes. Who defends the russellian’s paradigm argues that the propositional content are made by the objects and properties on which propositional attitudes relate. The purpose of this article is not to rebuild - in detail - both paradigms, nor to reconstruct one but, in a sense, my work will be a completely partial objective is to demonstrate how the paradigm is more profitable russell not only to make a coherent semantic theory for propositional attitudes2 but also to predict the behavior of a rational subject thing, completely innovative, given the repeated objections in contemporary literature3. At the end of this paper will be drafted a proposal to build a consistent model to predict the behavior,of a rational agent, based on a referential theory of propositional attitudes. (shrink)

The conventional wisdom has it that between 1905 and 1919 Russell was critical to pragmatism. In particular, in two essays written in 1908–9, he sharply attacked the pragmatist theory of truth, emphasizing that truth is not relative to human practice. In fact, however, Russell was much more indebted to the pragmatists, in particular to William James, as usually believed. For example, he borrowed from James two key concepts of his new epistemology: sense-data, and the distinction between knowledge by acquaintance and (...) knowledge by description. Reasonable explanation of this is that, historically, Russell’s logical realism and James’s pragmatism have the same roots—the German philosopher Rudolph Hermann Lotze (1817–1881). In this paper we are going to explore the fact that in 1905, under Lotze’s influence, Russell married propositions with beliefs. A few years later this step also made Russell prone to embrace the theory of truth-making that has its roots in James. In contrast to the concept of sense-data and to the distinction between knowledge by acquaintance and knowledge by description, however, the understanding that we believe propositions—and not, for example, simply grasp them—was in tension with Russell’s Principle of Extensionality, according to which propositions can be logically connected with other propositions only as truth-functions. The point is that when we judge a mind-relation (for example, a relation of belief) to a proposition, the latter cannot be determined as true or false. The two most talented pupils of Russell, Wittgenstein and Ramsey, severely criticized the central place propositional attitudes play in Russell’s logic. Wittgenstein analyzed “A believes that p” to “ ‘p’ says p” (5.542). Ramsey criticized Russell’s beliefs in propositions the other way round: He stressed that belief is an ambiguous term that can be interpreted for the better in the sense of pragmatism. Prima facie surprisingly, he maintained that his “pragmatism is derived from Mr Russell.” (1927: 51). (shrink)

This chapter provides a critical overview of several influential proposals about the epistemic function of higher-order evidence. I start by criticizing accounts of higher-order evidence that appeal to evidential defeat (§1), epistemic conflicts (§2), and unreasonable knowledge (§3). Next, I propose an alternative account that appeals to a combination of improper basing (§4) and non-ideal rationality (§5). Finally, I conclude by summarizing my reasons for preferring this account of higher-order evidence to the alternatives (§6).

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)

Scott Soames has recently argued that traditional accounts of propositions as n-tuples or sets of objects and properties or functions from worlds to extensions cannot adequately explain how these abstract entities come to represent the world. Soames’ new cognitive theory solves this problem by taking propositions to be derived from agents representing the world to be a certain way. Agents represent the world to be a certain way, for example, when they engage in the cognitive act of predicating, or cognizing, (...) an act that takes place during cognitive events, such as perceiving, believing, judging and asserting. On the cognitive theory, propositions just are act types involving the act of predicating and certain other mental operations. This theory, Soames argues, solves not only the problem of how propositions come to represent but also a number of other difficulties for traditional theories, including the problem of de se propositions and the problems of accounting for how agents are capable of grasping propositions and how they come to stand in the relation of expression to sentences. I argue here that Soames’ particular version of the cognitive theory makes two problematic assumptions about cognitive operations and the contents of proper names. I then briefly examine what can count as evidence for the nature of the constituents of the cognitive operation types that produce propositions and argue that the common nature of cognitive operations and what they operate on ought to be determined empirically in cross-disciplinary work. I conclude by offering a semantics for cognitive act types that accommodates one type of empirical evidence. (shrink)

There are many reasons we might want to take the opinions of various individuals and pool them to give the opinions of the group they constitute. If all the individuals in the group have probabilistic opinions about the same propositions, there is a host of pooling functions we might deploy, such as linear or geometric pooling. However, there are also cases where different members of the group assign probabilities to different sets of propositions, which might overlap a lot, a little, (...) or not at all. There are far fewer proposals for how to proceed in these cases, and those there are have undesirable features. I begin by considering four proposals and arguing that they don't work. Then I'll describe my own proposal, which is intended to cover the situation in which we want to pool the individual opinions in order to ascribe an opinion to the group considered as an agent in its own right. (shrink)

On a traditional or default view of the grasping or understanding of a singular proposition by an individual, it is assumed to be a unitary or holistic activity. However, naturalistic views of cognition plausibly could analyze propositional thinking in terms of more than one distinctive functional stage of cognitive processing, suggesting at least the potential legitimacy of a non-unitary analysis of propositional grasping. We outline a novel dual-component view of this kind, and show that it is well supported (...) by current cognitive science research. (shrink)

There has been a long tradition of characterizing man as the animal that is capable of propositional language. However, the remarkable ability of using pictures also only belongs to human beings. Both faculties however depend conceptually on the ability to refer to absent situations by means of sign acts called 'context building'. The paper investigates the combined roles of quasi-pictorial sign acts and proto-assertive sign acts in the situation of initial context building, which, in the context of “concept-genetic” considerations, (...) aims for a philosophical explanation of the anthropological functon of pictures and their relation to imagination. (shrink)

Human consciousness, the result of breathing process as dealt with in the Upanishads, is translated into modern scientific terms and modeled as a mechanical oscillator of infrasonic frequency. The bio-mechanic oscillator is also proposed as the source of psychic energy. This is further advanced to get an insight of human consciousness (the being of mind) and functions of mind (the becoming of mind) in terms of psychic energy and reversible transformation of its virtual reflection. An alternative analytical insight of human (...) consciousness and mental functions to other theoretical approaches is developed based on Upanishadic insight and presented.That reversible transformation of virtual psychic energy reflection termed as maya, creating various consequential / parallel / simultaneous conscious-states, phases, cognitive and communicative states, modes of language acquisition and communication, and kinds of function of human mind is visualized. The concept is extended to delineate form, structure and functional mechanism of human mind and to know how it facilitates human mental acquisitions, retention, communications, including language abilities. This proposal is extensively discussed and the hardware and software of mind as envisaged in Indian philosophical systems are put forward.All this presentation is translated to neuro-biology in terms of brain wave modulation / demodulation terms. Also a preliminary proposition of physic-chemical nature of human thoughts and ideas is given. (shrink)

Human consciousness, as dealt with in the Upanishads, modeled as a mechanical oscillator of infrasonic frequency (the Atman/Brahman), the result of breathing process, is further advanced to get an insight of functions of mind. An analytical approach is followed in parallel to and separette from quantum mechanical, quantum field and other theoretical propositions, approaches and presentations. Pure consciousness, unoccupied awareness and occupied awareness are identified, defined, classified and discussed together with fresh insight about time-space and time. A reversible transformation (vivartanam) (...) of virtual mental energy reflection (maya), creating various consequential / parallel / simultaneous conscious-states, phases, cognitive and communicative states, modes of language acquisition and communication, and kinds of function of human mind, which forms and facilitates human mental acquisitions, functions and communications, is proposed and discussed. Alternative analytical insight of human consciousness and mental functions to other theoretical approaches is given. All this is presented in brain wave modulation / demodulation terms. -/- . (shrink)

Epistemological contrastivism can model how infallible knowledge functions by employing the explanatory resource of structural differences between contrastive propositions, e.g., “P rather than Q”, and orthodox propositions, e.g., “P”. In doing so we notice that how this difference factors into our conception of infallible knowledge depends on two aspects: one, whether belief acts as a necessary condition for knowledge, and two, whether epistemic justification is construed as consciously internalist or non-consciously externalist. We further leverage the notion of phenomenal resolution, conceived (...) as an outcome of one’s discriminative capacities in accessing their evidence, to clarify in what sense it becomes reasonable to say that the truth of P mutually excludes the truth of Q when the latter is contrasted to the former. Importantly then, there is a way of infallibly knowing that P that is indistinguishable from infallibly knowing that P rather than Q, and a way that is not. (shrink)

This paper seeks to establish the reflexive fundamentals about the importance of language in initiave-functional college education, with the general objective of finding and developing categories that allow synthesizing schemes of different approaches to language, in order to contribute to the teaching practice with discourse analysis -/- techniques, which favor processes that promote the pupils’operative intellectual habits. To present this, we will show some propositions that underlie didactic strategies we have used, to motivate, stimulate, and provoke participation from the students (...) in the teaching-learning process of the topics raised in the different subjects that integrate the Sciences of Communication course at the National Autonomous University of Mexico (UNAM). -/- Therefore, the aim of this exposition of causes is to define: 1) our experiential context so to make explicit the limitations and challenges we experiment with and face in this academic exercise to provoke the pupils’ amazement or at least keep their interest; and 2) the theoretical assumptions that underlie our investigation about the relationship between observed language (system) and lived language (act). (shrink)

The main purpose of this dissertation is to examine critically and discuss the role of imagination in science and religion, with particular emphasis on its possible epistemic, creative, and meaning-making functions. In order to answer my research questions, I apply theories and concepts from contemporary philosophy of mind on scientific and religious practices. This framework allows me to explore the mental state of imagination, not as an isolated phenomenon but, rather, as one of many mental states that co-exist and interplay (...) in our cogntive architecture. Based on the philosophical discourse of philosophy of mind, four types of imagination are indentified and conceptualized: sensory, propositional, experiential, and creative imagination. These categories are then employed on five phenomena that can be found in scientific and religious environments: metaphors, models, thought experiments, aspect perception, and - in the religious case - rituals. In relation to the concept of religious "seeing" I consider how imaginings may influence visionary experiences and visualization, and compare these phenomena with cases of scientific visualization and eureka experiences. In regard to scientific and religious models, a distinction is made between, on the one hand, two notions of truth and, on the other hand, truth-independent meaning-making. In light of these categories, I differentiate between, and critically discuss, the use of imagination in doxastic, non-doxastic and fictionalist accounts. In light of this investigation, I formulate and defend the position of interactivism, which acknowledges a constant interplay between different attitudes and mental states. In my examination of rituals and scientific and religious thought experiments, special attention is given to the mental capacity to recreate the experiences that are entailed in an imagined scenario. At the end of the investigation, I consider the possible impact that my study might have on how we view science and religion as well as the dialogue bewteen these two fields. (shrink)

This chapter explores the metaphysical views about higher-order logic held by two individuals responsible for introducing it to philosophy: Gottlob Frege (1848–1925) and Bertrand Russell (1872–1970). Frege understood a function at first as the remainder of the content of a proposition when one component was taken out or seen as replaceable by others, and later as a mapping between objects. His logic employed second-order quantifiers ranging over such functions, and he saw a deep division in nature between objects and (...) functions. Russell understood propositional functions as what is obtained when constituents of propositions are replaced by variables, but eventually denied that they were entities in their own right. Both encountered contradictions when supposing there to exist as many objects as functions, and both adopted views about the meaningfulness of higher-order discourse that were difficult to state from within their own strictures. (shrink)

We are able to participate in countless different sorts of social practice. This indefinite set of capacities must be explainable in terms of a finite stock of capacities. This paper compares and contrasts two different explanations. A standard decomposition of the capacity to participate in social practices goes something like this: the interpreter arrives on the scene with a stock of generic practice-types. He looks at the current scene to fill-in the current tokens of these types. He looks at the (...) current state of these practice tokens to see what actions are available to him. He uses his current desires to choose between these various possible actions. I argue that this standard explanation is defective, drawing on arguments by Searle and Wittgenstein and Garfinkel. I propose an alternative explanation, in which the participants must continually show each other the state of the scene in order to maintain the scene’s intelligibility. I provide a simple formal language in which to describe this alternative approach, in which we can state quite precisely what someone is doing when they participate in a practice. This language is related to both deontic and epistemic logics, but it is much simpler – it does not include the classic propositional connectives, and it is driven by a very different set of assumptions. The inspirations for this formal language are Searle’s analysis of directions of fit, Wittgenstein’s remarks on rule-following and Garfinkel’s ethnomethodology. (shrink)

Along with offering an historically-oriented interpretive reconstruction of the syntax of PM ( rst ed.), I argue for a certain understanding of its use of propositional function abstracts formed by placing a circum ex on a variable. I argue that this notation is used in PM only when de nitions are stated schematically in the metalanguage, and in argument-position when higher-type variables are involved. My aim throughout is to explain how the usage of function abstracts as “terms” (...) (loosely speaking) is not inconsistent with a philosophy of types that does not think of propositional functions as mind- and language-independent objects, and adopts a nominalist/substitutional semantics instead. I contrast PM’s approach here both to function abstraction found in the typed λ-calculus, and also to Frege’s notation for functions of various levels that forgoes abstracts altogether, between which it is a kind of intermediary. (shrink)

This paper considers two reasons that might support Russell’s choice of a ramified-type theory over a simple-type theory. The first reason is the existence of purported paradoxes that can be formulated in any simple-type language, including an argument that Russell considered in 1903. These arguments depend on certain converse-compositional principles. When we take account of Russell’s doctrine that a propositional function is not a constituent of its values, these principles turn out to be too implausible to make these (...) arguments troubling. The second reason is conditional on a substitutional interpretation of quantification over types other than that of individuals. This reason stands up to investigation: a simple-type language will not sustain such an interpretation, but a ramified-type language will. And there is evidence that Russell was tacitly inclined towards such an interpretation. A strong construal of that interpretation opens a way to make sense of Russell’s simultaneous repudiation of propositions and his willingness to quantify over them. But that way runs into trouble with Russell’s commitment to the finitude of human understanding. (shrink)

Minimalism about truth is one of the main contenders for our best theory of truth, but minimalists face the charge of being unable to properly state their theory. Donald Davidson incisively pointed out that minimalists must generalize over occurrences of the same expression placed in two different contexts, which is futile. In order to meet the challenge, Paul Horwich argues that one can nevertheless characterize the axioms of the minimalist theory. Sten Lindström and Tim Button have independently argued that Horwich’s (...) attempt to formulate minimalism remains unsuccessful. We show how to properly state Horwich’s axioms by appealing to propositional functions that are given by definite descriptions. Both Lindström and Button discuss proposals similar to ours and conclude that they are unsuccessful. Our new suggestion avoids these objections. (shrink)

It is well known that the circumflex notation used by Russell and Whitehead to form complex function names in Principia Mathematica played a role in inspiring Alonzo Church's “lambda calculus” for functional logic developed in the 1920s and 1930s. Interestingly, earlier unpublished manuscripts written by Russell between 1903–1905—surely unknown to Church—contain a more extensive anticipation of the essential details of the lambda calculus. Russell also anticipated Schönfinkel's combinatory logic approach of treating multiargument functions as functions having other functions as (...) value. Russell’s work in this regard seems to have been largely inspired by Frege’s theory of functions and “value-ranges”. This system was discarded by Russell due to his abandonment of propositional functions as genuine entities as part of a new tack for solving Russell’s paradox. In this article, I explore the genesis and demise of Russell’s early anticipation of the lambda calculus. (shrink)

Propositionalism is the view that all intensional constructions (including nominal and clausal attitude reports) can be interpreted as relations to truth-evaluable propositional content. While propositionalism has long been silently assumed in semantics and the philosophy of language, it has only recently entered center stage in linguistic research. This article surveys the properties of intensional constructions, which require the introduction of fine-grained semantic values (intensions). It contrasts two ways of obtaining such values: through the introduction of either Russellian propositions or (...) Frege-Church-style senses. The article identifies propositionalism with a specific variant of the Russellian strategy, reviews key arguments for propositionalism, and compares familiar varieties of propositionalism on the basis of instructive examples. It closes by discussing various challenges for propositionalism and suggesting a generalization of propositionalism that meets some of these challenges. Because of the association of propositions with semantic information, the article also addresses the more general question of whether all information content (including mental and pictorial content) is propositional. (shrink)

The analysis of logical predication has long philosophical tradition in which one of the central subjects of study is the analysis of the logical form of the proposition. We contemporaneously can say that the way more well-finished of logic predication is propositional function. Historically, the propositional function arises as a logical analysis of the proposition scheme resulting from the convergence of mathematics and logic between the XIX and XX centuries. Two of the main responsible for this (...) convergence were Gottlob Frege (1848 - 1925) and Bertrand Russell (1872-1970). Influenced by Frege's ideas and direct heir of Russell, having been a disciple of this in Cambridge, Ludwig Wittgenstein (1889 - 1951) has become, in view of the originality of his thought, one of the most discussed and commented thinkers of the twentieth century, especially with the publication of his work entitled "Tractatus Logico-Philosophicus" (1921). It's in this work that Wittgenstein more considers himself debtor from Frege and Russell, having left explicit mention to them. Then the question that guides the development of this thesis is: what is the meaning of the propositional function of Frege and Russell in the Wittgenstein's Tractatus (1921)? Our goal is, in this sense, to investigate the meaning of the concept of propositional function in the Tractatus (1921). Our starting point is to understand the meaning of the propositional function in Frege and Russell to understand its meaning in the Tractatus (1921). We will focus our analysis on what Wittgenstein calls "propositional variable" (Satzvariable), term that best approximates, in our view, of the propositional function of Frege and Russell. In this sense, our interpretative question was formulated as: what is the meaning of the concept of propositional variable in the Tractatus (1921)? We defend the thesis that the role of the propositional function in Frege and Russell corresponds to the role of the propositional variable in Wittgenstein. (shrink)

It is customarily assumed that propositional attitudes present two independent components: a propositional component and a psychological component, in the form of an attitude. These two components are caught by means of two different methods: propositions by some model theoretic theory, psychological attitudes by making appeal to their functional or psychological role. Some authors have seek a convergence by individuating propositions by Functional role semantics. In this paper I show that when it comes to emotional attitudes with (...) class='Hi'>propositional content, either the independence of proposition and attitude collapses or functional role semantics brings to unstable individuation conditions for propositions. Some consequences of these two outcomes are considered. (shrink)

According to one line of thought only propositions can be part of one’s evidence, since only propositions can serve the central functions of our ordinary concept of evidence. Ram Neta has challenged this argument. In this paper I respond to Neta’s challenge.

This paper provides a new approach to a family of outstanding logical and semantical puzzles, the most famous being Frege's puzzle. The three main reductionist theories of propositions (the possible-worlds theory, the propositional-function theory, the propositional-complex theory) are shown to be vulnerable to Benacerraf-style problems, difficulties involving modality, and other problems. The nonreductionist algebraic theory avoids these problems and allows us to identify the elusive nondescriptive, non-metalinguistic, necessary propositions responsible for the indicated family of puzzles. The algebraic (...) approach is also used to defend antiexistentialism against existentialist prejudices. The paper closes with a suggestion about how this theory of content might enable us to give purely semantic (as opposed to pragmatic) solutions to the puzzles based on a novel formulation of the principle of compositionality. (shrink)

What is it to know someone? Epistemologists rarely take up this question, though recent developments make such inquiry possible and desirable. This paper advances an account of how such interpersonal knowledge goes beyond mere propositional and qualitative knowledge about someone, giving a central place to second-personal treatment. It examines what such knowledge requires, and what makes it distinctive within epistemology as well as socially. It assesses its theoretic value for several issues in moral psychology, epistemic injustice, and philosophy of (...) mind. And it offers an account of the complex content in play if interpersonal knowledge is to be understood in terms of its mental states and their functions. (shrink)

Revised and reprinted in Handbook of Philosophical Logic, volume 10, Dov Gabbay and Frans Guenthner (eds.), Dordrecht: Kluwer, (2003). -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented in the (...) course of discussing generality, quantifying-in, learnability, referential semantics, nominalism, conceptualism, realism, type-freedom, the first-order/higher-order controversy, names, indexicals, descriptions, Mates’ puzzle, and the paradox of analysis. Two first-order intensional logics are then formulated. Finally, fixed-point type-free theories of predication are discussed, especially their relation to the question whether properties may be identified with propositional functions. (shrink)

Revised and reprinted; originally in Dov Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic, Volume IV. Kluwer 133-251. -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented in the (...) course of discussing generality, quantifying-in, learnability, referential semantics, nominalism, conceptualism, realism, type-freedom, the first-order/higher-order controversy, names, indexicals, descriptions, Mates’ puzzle, and the paradox of analysis. Two first-order intensional logics are then formulated. Finally, fixed-point type-free theories of predication are discussed, especially their relation to the question whether properties may be identified with propositional functions. (shrink)

W. V. Quine famously defended two theses that have fallen rather dramatically out of fashion. The first is that intensions are “creatures of darkness” that ultimately have no place in respectable philosophical circles, owing primarily to their lack of rigorous identity conditions. However, although he was thoroughly familiar with Carnap’s foundational studies in what would become known as possible world semantics, it likely wouldn’t yet have been apparent to Quine that he was fighting a losing battle against intensions, due in (...) large measure to developments stemming from Carnap’s studies and culminating in the work of Kripke, Hintikka, and Bayart. These developments undermined Quine’s crusade against intensions on two fronts. First, in the context of possible world semantics, intensions could after all be given rigorous identity conditions by defining them (in the simplest case) as functions from worlds to appropriate extensions, a fact exploited to powerful and influential effect in logic and linguistics by the likes of Kaplan, Montague, Lewis, and Cresswell. Second, the rise of possible world semantics fueled a strong resurgence of metaphysics in contemporary analytic philosophy that saw properties and propositions widely, fruitfully, and unabashedly adopted as ontological primitives in their own right. This resurgence — happily, in my view — continues into the present day. -/- For a time, at any rate, Quine experienced somewhat better success with his second thesis: that higher-order logic is, at worst, confused and, at best, a quirky notational alternative to standard first-order logic. However, Quine notwithstanding, a great deal of recent work in formal metaphysics transpires in a higher-order logical framework in which properties and propositions fall into an infinite hierarchy of types of (at least) every finite order. Initially, the most philosophically compelling reason for embracing such a framework since Russell first proposed his simple theory of types was simply that it provides a relatively natural explanation of the paradoxes. However, since the seminal work of Prior there has been a growing trend to consider higher-order logic to be the most philosophically natural framework for metaphysical inquiry, many of the contributors to this volume being among the most important and influential advocates of this view. Indeed, this is now quite arguably the dominant view among formal metaphysicians. -/- In this paper, and against the current tide, I will argue in §1 that there are still good reasons to think that Quine’s second battle is not yet lost and that the correct framework for logic is first-order and type-free — properties and propositions, logically speaking, are just individuals among others in a single domain of quantification — and that it arises naturally out of our most basic logical and semantical intuitions. The data I will draw upon are not new and are well-known to contemporary higher-order metaphysicians. However, I will try to defend my thesis in what I believe is a novel way by suggesting that these basic intuitions ground a reasonable distinction between “pure” logic and non-logical theory, and that Russell-style semantic paradoxes of truth and exemplification arise only when we move beyond the purely logical and, hence, do not of themselves provide any strong objection to a type-free conception of properties and propositions. -/- Most of my arguments in §1 are largely independent of any specific account of the nature of properties and propositions beyond their type-freedom. However, I will in addition argue that there are good reasons to take propositions, at least, to be very fine-grained. My arguments are thus bolstered significantly if it can be shown that there are in fact well-defined examples of logics that are not only type-free but which comport with such a conception of propositions. It is the purpose of §2 to lay out a logic of this sort in some detail, drawing especially upon work by George Bealer and related work of my own. With the logic in place, it will be possible to generalize the line of argument noted above regarding Russell-style paradoxes and, in §3, apply it to two propositional paradoxes — the Prior-Kaplan paradox and the Russell-Myhill paradox — that are often taken to threaten the sort of account developed here. (shrink)

Bertrand Russell, in the second of his 1914 Lowell lectures, Our Knowledge of the External World, asserted famously that ‘every philosophical problem, when it is subjected to the necessary analysis and purification, is found either to be not really philosophical at all, or else to be, in the sense in which we are using the word, logical’ (Russell 1993, p. 42). He went on to characterize that portion of logic that concerned the study of forms of propositions, or, as he (...) called them, ‘logical forms’. This portion of logic he called ‘philosophical logic’. Russell asserted that ... some kind of knowledge of logical forms, though with most people it is not explicit, is involved in all understanding of discourse. It is the business of philosophical logic to extract this knowledge from its concrete integuments, and to render it explicit and pure. (p. 53) Perhaps no one still endorses quite this grand a view of the role of logic and the investigation of logical form in philosophy. But talk of logical form retains a central role in analytic philosophy. Given its widespread use in philosophy and linguistics, it is rather surprising that the concept of logical form has not received more attention by philosophers than it has. The concern of this paper is to say something about what talk of logical form comes to, in a tradition that stretches back to (and arguably beyond) Russell’s use of that expression. This will not be exactly Russell’s conception. For we do not endorse Russell’s view that propositions are the bearers of logical form, or that appeal to propositions adds anything to our understanding of what talk of logical form comes to. But we will be concerned to provide an account responsive to the interests expressed by Russell in the above quotations, though one clarified of extraneous elements, and expressed precisely. For this purpose, it is important to note that the concern expressed by Russell in the above passages, as the surrounding text makes clear, is a concern not just with logic conceived narrowly as the study of logical terms, but with propositional form more generally, which includes, e.g., such features as those that correspond to the number of argument places in a propositional function, and the categories of objects which propositional.... (shrink)

My aim is to defend a peculiar epistemic version of the particularity thesis, which results from a sui generis combination of what I call the ‘singular relational view’ and what I call the ‘relativistic content view.’ Particulars are not represented as part of putative singular content. Instead, we are perceptually acquainted with them in the relevant sense that experience puts us in direct perceptual contact with them. And the content of experience is best modeled as a propositional function, (...) that is, the content of a complex predicate that is true or false only relative to some circumstances of evaluation. (shrink)

The philosophical problem of pictorial conversational implicatures can be summarized as follows: We have three propositions that are independently plausible and jointly inconsistent. -/- (Non-P) Anti-propositionalism: pictures do not have context-independent, conventionally encoded propositional content (propositional function). -/- (C) Only those representations can be used to convey conversational implicatures which have associated with them a context-independent, conventionally encoded propositional content (function). -/- (I) Pictures can be used to convey conversational implicatures. -/- There are three ways (...) of responding to the problem: affirm (Non-P) and (C) while denying (I); affirm (C) and (I) while denying (Non-P); or affirm (Non-P) and (I) while denying (C). (shrink)

This paper has two aims. First, it aims to provide an adverbial account of the idea of intransitive self-consciousness and second, it aims to argue in favor of this account. These aims both require a new framework that emerges from a critical review of Perry’s famous notion of the “unarticulated constituents” of propositional content (1986). First, I aim to show that the idea of intransitive self-consciousness can be phenomenologically described in an analogy with the adverbial theory of perception. In (...) an adverbial theory of perception, we do not see a blue sense-data, but we see something blue-ly, whereas in intransitive self-consciousness, we are not conscious of ourselves when we undergo a conscious experience—instead, we experience something self-consciously. But what does this mean precisely? First, I take intransitive self-consciousness to be the first-person operator that prefixes the content of any experience that the subject undergoes, regardless of whether or not the subject is self-referred. Further, I argue that this first-person adverbial way of entertaining the content of any experience in Perry’s revised framework fixes the subject as part of the circumstance of the evaluation of the content of her own experience. We can only evaluate whether the content is veridical or falsidical relative to the subject undergoing the experience. This is referred to here as “self-concernment without self-reference.” When I am absorbed in reading a book, I do not self-represent my own experience of reading a book, let alone see myself as a constituent of the content of this experience. Even so, I experience that reading self-consciously in the precise sense that I do belong to the circumstance of the evaluation of the selfless content of my experience of reading the book. The content of the experience of reading a book is simply a propositional function, true or false of myself. (shrink)

This paper has two aims. First, it aims to provide an adverbial account of the idea of intransitive self-consciousness and second, it aims to argue in favor of this account. These aims both require a new framework that emerges from a critical review of Perry’s famous notion of the “unarticulated constituents” of propositional content (1986). First, I aim to show that the idea of intransitive self-consciousness can be phenomenologically described in an analogy with the adverbial theory of perception. In (...) an adverbial theory of perception, we do not see a blue sense-data, but we see something blue-ly, whereas in intransitive self-consciousness, we are not conscious of ourselves when we undergo a conscious experience—instead, we experience something self-consciously. But what does this mean precisely? First, I take intransitive self-consciousness to be the first-person operator that prefixes the content of any experience that the subject undergoes, regardless of whether or not the subject is self-referred. Further, I argue that this first-person adverbial way of entertaining the content of any experience in Perry’s revised framework fixes the subject as part of the circumstance of the evaluation of the content of her own experience. We can only evaluate whether the content is veridical or falsidical relative to the subject undergoing the experience. This is referred to here as “self-concernment without self-reference.” When I am absorbed in reading a book, I do not self-represent my own experience of reading a book, let alone see myself as a constituent of the content of this experience. Even so, I experience that reading self-consciously in the precise sense that I do belong to the circumstance of the evaluation of the selfless content of my experience of reading the book. The content of the experience of reading a book is simply a propositional function, true or false of myself. (shrink)

Russell claims in his autobiography and elsewhere that he discovered his 1905 theory of descriptions while attempting to solve the logical and semantic paradoxes plaguing his work on the foundations of mathematics. In this paper, I hope to make the connection between his work on the paradoxes and the theory of descriptions and his theory of incomplete symbols generally clearer. In particular, I argue that the theory of descriptions arose from the realization that not only can a class not be (...) thought of as a single thing, neither can the meaning/intension of any expression capable of singling out one collection (class) of things as opposed to another. If this is right, it shows that Russell’s method of solving the logical paradoxes is wholly incompatible with anything like a Fregean dualism between sense and reference or meaning and denotation. I also discuss how this realization lead to modifications in his understanding of propositions and propositional functions, and suggest that Russell’s confrontation with these issues may be instructive for ongoing research. (shrink)