All representationalists maintain that there is a necessary connection between an experience’s phenomenal character and intentional content; but there is a disagreement amongst representationalists regarding the nature of those intentional contents that are necessarily connected to phenomenal character. Russellian representationalists maintain that the relevant contents are composed of objects and/or properties, while Fregean representationalists maintain that the relevant contents are composed of modes of presentation of objects and properties. According to Fregean representationalists such as David Chalmers and Brad (...) Thompson, the Fregean variety of the view is preferable to the Russellian variety because the former can accommodate purported counterexamples involving spectrum inversion without illusion and colour constancy while the latter cannot. I maintain that colour constancy poses a special problem for the Fregean theory in that the features of the theory that enable it handle spectrum inversion without illusion cannot be extended to handle colour constancy. I consider the two most plausible proposals regarding how the Fregean view might be developed in order to handle colour constancy—one of which has recently been defended by Thompson —and argue that neither is adequate. I conclude that Fregean representationalism is no more able to accommodate colour constancy than is Russellian representationalism and, as such, ought to be rejected. (shrink)

One of the most prominent myths in analytic philosophy is the so- called “Fregean Axiom”, according to which the reference of a sentence is a truth value. In contrast to this referential semantics, a use-based formal semantics will be constructed in which the logical value of a sentence is not its putative referent but the information it conveys. Let us call by “Question Answer Semantics” (thereafter: QAS) the corresponding formal semantics: a non-Fregean many-valued logic, where the meaning of (...) any sentence is an ordered n-tupled of yes-no answers to corresponding questions. A sample of philosophical problems will be approached in order to justify the relevance of QAS. These include: (1) illocutionary forces, and the logical analysis of speech-acts; (2) the variety of logical negations, and their characterization in terms of restricted ranges of logical values; (3) change in meaning, and the use of dynamic oppositions for belief sets. (shrink)

George Boolos has described an interpretation of a fragment of ZFC in a consistent second-order theory whose only axiom is a modification of Frege's inconsistent Axiom V. We build on Boolos's interpretation and study the models of a variety of such theories obtained by amending Axiom V in the spirit of a limitation of size principle. After providing a complete structural description of all well-founded models, we turn to the non-well-founded ones. We show how to build models in which foundation (...) fails in prescribed ways. In particular, we obtain models in which every relation is isomorphic to the membership relation on some set as well as models of Aczel's anti-foundation axiom (AFA). We suggest that Fregean extensions provide a natural way to envisage non-well-founded membership. (shrink)

This book offers a plurality of perspectives on the historical origins of logicism and on contemporary developments of logicist insights in philosophy of mathematics. It uniquely provides up-to-date research and novel interpretations on a variety of intertwined themes and historical figures related to different versions of logicism. The essays, written by prominent scholars, are divided into three thematic sections. The first section focuses on major authors like Frege, Dedekind, and Russell, providing a historical and theoretical exploration of such figures in (...) the philosophical and mathematical milieu in which logicist views were first expounded. Section II sheds new light on the interconnections between these founding figures and a number of influential other traditions, represented by authors like Hilbert, Husserl, and Peano, as well as on the reconsideration of logicism by Carnap and the logical empiricists. Finally, the third section assesses the legacy of such authors and of logicist themes for contemporary philosophy of mathematics, offering new perspectives on highly debated topics--neo-logicism and its extension to accounts of ordinal numbers and set-theory, the comparison between neo-Fregean and neo-Dedekindian varieties of logicism, and the relation between logicist foundational issues and empirical research on numerical cognition--which define the prospects of logicism in the years to come. This book represents a comprehensive account of the development of logicism and its contemporary relevance for the logico-philosophical foundations of mathematics. It will be of interest to graduate students and researchers working in philosophy of mathematics, philosophy of logic, and the history of analytic philosophy. (shrink)

This dissertation is about the structure of thought. Following Gottlob Frege, I define a thought as the sort of content relevant to determining whether an assertion is true or false. The historical component of the dissertation involves interpreting Frege’s actual views on the structure of thought. I argue that Frege did not think that a thought has a unique decomposition into its component senses, but rather the same thought can be decomposed into senses in a variety of distinct ways. I (...) extend Frege’s position and use it to develop an account of the hierarchy of senses, the senses expressed by indexicals and demonstratives, and the distinction between logical and non-logical structure. I also discuss various connections with the nature of meta-representation, our capacity for reflective judgment, some aspects of the structure of conscious experience, the way we perceive regions of space and durations of time, and our conscious awareness of our own perceptions and events of thinking. (shrink)

We study the variety generated by the three-element equivalential algebra with conjunction on the dense elements. We prove the representation theorem which let us construct the free algebras in this variety.

This chapter analyzes aspects of the relationship between consciousness and intentionality. It focuses on the phenomenal character and the intentional content of perceptual states, canvassing various possible relations among them. It argues that there is a good case for a sort of representationalism, although this may not take the form that its advocates often suggest. By mapping out some of the landscape, the chapter tries to open up territory for different and promising forms of representationalism to be explored in the (...) future. In particular, it argues for a nonreductive, narrow, and Fregean variety of representationalism, which contrasts strongly with more widely explored varieties. It concludes with some words about the fundamental relationship between consciousness and intentionality. (shrink)

We construct free algebras in the variety generated by the equivalential algebra with conjunction on dense elements and compute the formula for the free spectrum of this variety. Moreover, we describe the decomposition of free algebras into directly indecomposable factors.

Thomas Reid famously claimed that our perceptual experiences reveal what primary qualities are in themselves, while providing us with only an obscure notion of secondary qualities. I maintain that this claim is largely correct and that, consequently, any adequate theory of perception must explain the fact that perceptual experiences provide significantly less insight into the nature of secondary qualities than into the nature of primary qualities. I maintain that neither naïve realism nor the standard Russellian variety of the content view (...) can provide a satisfying explanation; instead, in order to provide a satisfying explanation, we must posit that perceptual experiences represent properties via Fregean modes of presentation. Further, I maintain that we must depart from the standard Fregean variety of the content view in two important respects. First, the relevant modes of presentation must be characterized without appealing to causal relations between perceptual experiences and perceived properties; and second, we must posit that primary and secondary qualities are represented via modes of presentation of different kinds. The resulting view is that primary qualities are represented via perceptual modes of presentation analogous to highly detailed descriptions, while secondary qualities are represented via perceptual modes of presentation analogous to impoverished descriptions. (shrink)

This doctoral dissertation is on the semantics of propositional attitude ascriptions. To be more precise, it is mainly concerned with various kinds of analyses of singular propositional attitude ascriptions. These are sentences of the general form 'X Øs that a is F', where 'X' can be replaced by the name of the person who is in the particular mental state, 'Ø' can be replaced by a propositional attitude verb, like 'believe', 'doubt', 'hope', 'desire', etc., 'a' can be replaced by the (...) name of the individual/object about whom/which the particular attitude is held, and 'F' can be replaced by the name of the property that the individual/object is said to have. The dissertation takes belief to be a paradigmatic example of a propositional attitude, and, thus, focuses mainly on the semantics of ascriptions of beliefs. The thesis it defends is that while a correct analysis of belief ascriptions in general involves a relation between the believer and the proposition which is believed, a semantic distinction still needs to be made between de re and de dicto beliefs. This distinction can be made by distinguishing between two different kinds of propositions -- Russellian propositions corresponding to de re beliefs, and Fregean propositions corresponding to de dicto beliefs. This approach is motivated by arguing that the recent proposals of the 'hybrid' type concerning the semantics of belief reports, advocated by such philosophers as Schiffer, Crimmins, Richard, etc., fail. These proposals fail because of overgeneralisation, and, therefore, fail to capture the de re/de dicto distinction. Therefore, if the de re/de dicto distinction is genuine, and the propositions occurring within these two kinds of reports are essentially different, then a single account of belief ascriptions cannot be given. We need two different semantical accounts to capture the distinction. A de re report is best understood by a semantics of the broadly Russellian variety, while a de dicto belief report is best understood by a semantics of the Fregean variety. (shrink)

We show that the variety of equivalential algebras with regularization gives the algebraic semantics for the -fragment of intuitionistic propositional logic. We also prove that this fragment is hereditarily structurally complete.

This chapter analyzes aspects of the relationship between consciousness and intentionality. It focuses on the phenomenal character and the intentional content of perceptual states, canvassing various possible relations among them. It argues that there is a good case for a sort of representationalism, although this may not take the form that its advocates often suggest. By mapping out some of the landscape, the chapter tries to open up territory for different and promising forms of representationalism to be explored in the (...) future. In particular, it argues for a nonreductive, narrow, and Fregean variety of representationalism, which contrasts strongly with more widely explored varieties. It concludes with some words about the fundamental relationship between consciousness and intentionality. (shrink)

In sentences like Every teacher laughed we think of every teacher as a unary (=type (1)) quantifier - it expresses a property of one place predicate denotations. In variable binding terms, unary quantifiers bind one variable. Two applications of unary quantifiers, as in the interpretation of No student likes every teacher, determine a binary (= type (2)) quantifier; they express properties of two place predicate denotations. In variable binding terms they bind two variables. We call a binary quantifier Fregean (...) (or reducible) if it can in principle be expressed by the iterated application of unary quantifiers. In this paper we present two mathematical properties which distinguish non-Fregean quantifiers from Fregean ones. Our results extend those of van Benthem (1989) and Keenan (1987a). We use them to show that English presents a large variety of non-Fregean quantifi ers. Some are new here, others are familiar (though the proofs that they are non-Fregean are not). The main point of our empirical work is to inform us regarding the types of quantification natural language presents - in particular (van Benthem, 1989) that it goes beyond the usual (Fregean) analysis which treats it as mere iterated application of unary quantifiers. Secondarily, our results challenge linguistic approaches to "Logical Form" which constrain variable binding operators to "locally" bind just one occurrence of a variable, e.g., the Bijection Principle (BP) of Koopman and Sportiche (1983). The BP (correctly) blocks analyses like For which x, x's mother kissed x? for Who did his mother kiss? since For which x would locally bind two occurrences of x. But some of our irreducible binary quantifiers are naturally represented by operators which do locally bind two variables. This paper is organized as follows: Section 1 provides an explicit formulation of our questions of concern. Section 2 classifies the English constructions which we show to be non-Fregean. Section 3 presents the mathematical properties which test for non-Fregean quantification and applies these tests to the constructions in Section 2. Proofs of the mathema tical properties are given in the Appendix. (shrink)

Post-Fregean logicians tend to ignore the traditional logic of Aristotle and the Scholastics, while in recent years, following the lead of Fred Sommers, the viability of a renewed logic of terms has been shown. This new term logic surpasses today s standard logic in simplicity and naturalness. The book exhibits how such a logic can shed light on a variety of challenges that face any system of formal logic.".

The neo-Fregean project of basing mathematics on abstraction principles faces “the bad company problem,” namely that a great variety of unacceptable abstraction principles are mixed in among the acceptable ones. In this paper I propose a new solution to the problem, based on the idea that individuation must take the form of a well-founded process. A surprising aspect of this solution is that every form of abstraction on concepts is permissible and that paradox is instead avoided by restricting what (...) concepts there are. (shrink)

We deal with monotone structural deductive systems in an unspecified propositional language \ . These systems fall into several overlapping classes, forming a hierarchy. Along with well-known classes of deductive systems such as those of implicative, Fregean and equivalential systems, we consider new classes of unital and weakly implicative systems. The latter class is auxiliary, while the former is central in our discussion. Our analysis of unital systems leads to the concept of Lindenbaum–Tarski algebra which, under some natural conditions, (...) is a free algebra in a variety closely related to the deductive system in focus. (shrink)

The idea that an utterance of a basic (nondeviant) declarative sentence expresses a single true-or-false proposition has dominated philosophical discussions of meaning in this century. Refinements aside, this idea is less of a substantive theses than it is a background assumption against which particular theories of meaning are evaluated. But there are phenomena (noted by Frege, Strawson, and Grice) that threaten at least the completeness of classical theories of meaning, which associate with an utterance of a simple sentence a truth-condition, (...) a Russellian proposition, or a Fregean thought. And it may well be the case that a framework within which utterances express sequences of propositions provides much of what is needed to account for the relevant phenomena, a better overall picture of the way language works, and an enticingly uniform perspective on a variety of semantic problems. I do not myself take to theories that multiply propositions by appealing to propositions “presupposed” or to pairs of Fregean and Russellian propositions, or theories that show no respect for a distinction between semantics and pragmatics— where the former is the study of propositions whose general form and character is determined by word meaning and syntax—or for theories that blithely abandon general principles of composition and semantic innocence. I would like to sketch a package based on four interconnected ideas: (i) the meaning of an individual word is a sequence of instructions for generating a sequence of propositions (in conjunction with compositional instructions (syntax) and elements of context); (ii) utterances themselves are not bearers of truth or falsity; (iii) judgements of truth, falsity, commitment, and conflict are shaped, in part, by the weights attached to individual 1 propositions that occur in sequences expressed by utterances, weights that may be set (and reset) by contextual considerations; (iv) Fregean senses are superfluous; propositions might as well be Russellian (Mont Blanc and all its snow fields will do as well as any mode of presentation).. (shrink)

An outstanding philosopher-logician, Gottlob Frege's work has received much attention in recent years. In the pursuit of Frege's main goal to solidify the foundations of mathematics and scientific work, Frege conceived a comprehensive philosophy of language and developed the main thesis of logicism, that mathematics is reducible to logic. This book contains essays covering a large range of issues related to Frege that will be of great interest to philosophers working on these issues. This volume represents an important addition to (...) the study of Frege. This book contains essays from some of the most important contemporary philosophers investigating Frege's ideas. Treating issues of contemporary interest, this book discusses topics either in a Fregean spirit or in dialogue with Frege's original views. The wide implications of Frege's views are evident in the variety of topics presented in this volume, from the Frege fundamentals to innovative interpretations that break new ground in the study of Frege. Key papers concern the ontological status of propositions and concepts, recent attempts to improve on the semantics of singular terms, the question of how to construe the content of concept-expressions, and other themes within the common grounds in which ontology and philosophical semantics intersect. (shrink)

A wide variety of concepts are nowadays considered to be hyperintensional, and some of them do not seem to involve our representational attitudes. This led some philosophers to identify and defend a notion of worldly hyperintensionality: the idea that some hyperintensional phenomena derive from features of objective reality, independently of how we represent it. Against this view, Darragh Byrne and Naomi Thompson argue that the correct understanding of such phenomena must be conceptualist in nature, and claim that hyperintensionality always derives (...) from features of representations. In the present work I defend the genuine distinction between worldly and representational hyperintensionality through a new framing of the issue: the comparison with worldly intensionality. I argue that locating the sources of hyperintensionality should not be affected by preferences towards any specific semantic framework, and reject Byrne and Thompson's argument against worldly hyperintensionality. (shrink)

ABSTRACTBy the Many Categories problem, I mean the prima facie violation of Ockham’s Razor by realists about universals: there is, it might seem, just too much variety. Thus, David Armstrong posits both properties and relations. He also theorises about determinates of determinables. Another influential realist, E. J. Lowe distinguishes non-substantial from substantial universals. Yet again, both Armstrong and Lowe include in their ontology abstract particulars in addition to universals. My aim in this paper is to offer a unification of these (...) categories using an operator-theory. First, I show how operators provide a theory of abstract particulars of relations and of impure relational properties. Then, using impure relational properties I derive the Fregeanion Principle. After some metaphysics of mathematics, I provide a theory of determinables. Finally, I consider kinds and substances. (shrink)

We offer a novel picture of mathematical language from the perspective of speech act theory. There are distinct speech acts within mathematics, and, as we intend to show, distinct illocutionary force indicators as well. Even mathematics in its most formalized version cannot do without some such indicators. This goes against a certain orthodoxy both in contemporary philosophy of mathematics and in speech act theory. As we will comment, the recognition of distinct illocutionary acts within logic and mathematics and the incorporation (...) of illocutionary force indicators in the formal language for both goes back to Frege’s conception of these topics. We are, therefore, going back to a Fregean perspective. This paper is part of a larger project of applying contemporary speech act theory to the scientific language of mathematics in order to uncover the varieties and regular combinations of illocutionary acts present in it. For reasons of space, we here concentrate only on assertive and declarative acts within mathematics, leaving the investigation of other kinds of acts for a future occasion. (shrink)

Along with Frege, Russell maintained an absolutist stance regarding the subject matter of mathematics, revealed rather than imposed, or proposed, by logical analysis. The Fregean definition of cardinal number, for example, is viewed as (essentially) correct, not merely adequate for mathematics. And Dedekind’s “structuralist” views come in for criticism in the Principles. But, on reflection, Russell also flirted with views very close to a (different) version of structuralism. Main varieties of modern structuralism and their challenges are reviewed, taking (...) account of Russell’s insights. Problems of absolutism plague some versions, and, interestingly, Russell’s critique of Dedekind can be extended to one of them, ante rem structuralism. This leaves modal-structuralism and a category theoretic approach as remaining non-absolutist options. It is suggested that these should be combined. (shrink)

Introduction. PHilosophy of Language and Linguistics: The Formal Turn Piotr Stalmaszczyk Gottlob Frege, Philosophy of Language, and Predication Piotr Stalmaszczyk Philosophy, Linguistics and Semantic Interpretation Christian Bassac An Unresolved Issue: Nonsense in Natural Language and Non-Classical Logical and Semantic Systems Elzbieta Chrzanowska-Kluczewska Varieties of Context-Dependence Tadeusz Ciecierski The Logos of Semantic Structure Marie Du í, Bjørn Jespersen and Pavel Materna The Good Samaritan and the Hygienic Cook: A Cautionary Tale About Linguistic Data Chris Fox The Meaning of Multiple Quantified (...) Sentences: Where Formal Semantics Meets Psycholinguistics Justyna Grudzinska The Hybrid Theory of Reference for Proper Names Filip Kawczynski On the Nature of Statistical Language Laws Agnieszka Kulacka Vagueness and Contextualism Joanna Odrowaz-Sypniewska The Myth of Semantic Structure Jaroslav Peregrin Scalar Implicatures, Communication and Language Evolution Salvatore Pistoia Reda Semantics and Contextuality: The Case of Pia s Leaves Stefano Predelli Is Logico-Semantical Analysis of Natural Language Expressions a Translation? Jirí Raclavský Beyond the Fregean Myth: The Value of Logical Values Fabien Schang Modal Calculus of Illocutionary Logic Andrew Schumann Subjectivity in Philosophy and Linguistics Barbara Sonnenhauser Asymmetrical Semantics Mieszko Talasiewicz Truth: An Anti-realist Adequacy Condition Luca Tranchini Belief Reports: Defaults, Intentions and Scorekeeping Giacomo Turbanti On Truth in Time Bartosz Wieckowski Order William J. SUllivan Indexes. (shrink)

A discriminator logic is the 1 -assertional logic of a discriminator variety V having two constant terms 0 and 1 such that V ⊨ 0 1 iff every member of V is trivial. Examples of such logics abound in the literature. The main result of this research announcement asserts that a certain non-Fregean deductive system SBPC, which closely resembles the classical propositional calculus, is canonical for the class of discriminator logics in the sense that any discriminator logic S can (...) be presented as an axiomatic extension of SBPC by a set of extensional logical connectives taken from the language of S. The results outlined in this research announcement are extended to several generalisations of the class of discriminator logics in the main work. (shrink)

According to the so-called strong variant of Composition as Identity (CAI), the Principle of Indiscernibility of Identicals can be extended to composition, by resorting to broadly Fregean relativizations of cardinality ascriptions. In this paper we analyze various ways in which this relativization could be achieved. According to one broad variety of relativization, cardinality ascriptions are about objects, while concepts occupy an additional argument place. It should be possible to paraphrase the cardinality ascriptions in plural logic and, as a consequence, (...) relative counting requires the relativization either of quantifiers, or of identity, or of the is one of relation. However, some of these relativizations do not deliver the expected results, and others rely on problematic assumptions. In another broad variety of relativization, cardinality ascriptions are about concepts or sets. The most promising development of this approach is prima facie connected with a violation of the so-called Coreferentiality Constraint, according to which an identity statement is true only if its terms have the same referent. Moreover - even provided that the problem with coreferentiality can be fixed - the resulting analysis of cardinality ascriptions meets several difficulties. (shrink)

Scott Soames’ Reference and Description contains arguments against a number of different versions of two-dimensional semantics. After early chapters on descriptivism and on Kripke’s anti-descriptivist arguments, a chapter each is devoted to the roots of twodimensionalism in “slips, errors, or misleading suggestions” by Kripke and Kaplan, and to the two-dimensional approaches developed by Stalnaker (1978) and by Davies and Humberstone (1981). The bulk of the book (about 200 pages) is devoted to “ambitious twodimensionalism”, attributed to Frank Jackson, David Lewis, and (...) me. After a quick overview of two-dimensional approaches, I will focus on Soames’ discussion of ambitious twodimensionalism. I will then turn to a system advocated by Soames that is itself strikingly reminiscent of a two-dimensional approach. Two-dimensional semantic theories are varieties of possible-worlds semantics on which linguistic items can be evaluated relative to possibilities in two different ways, yielding two sorts of intensional semantic values, which can be seen as two “dimensions” of meaning. The second dimension is the familiar sort of Kripkean evaluation in metaphysically possible worlds, so that necessarily coextensive terms (such as ‘Hesperus’ and ‘Phosphorus’ or ‘water’ and ‘H2O’) always have the same semantic value. The first dimension behaves differently, so that there are typically at least some cases where necessarily coextensive terms have different semantic values on the first dimension. For this reason, the two-dimensional framework is sometimes seen as a way of granting many of the insights of a Kripkean approach to meaning (on the second dimension), while retaining elements of a Fregean approach to meaning (on the first dimension). (shrink)

In this paper, we introduce and study a corresponding logic to equality-algebras and obtain some basic properties of this logic. We prove the soundness and completeness of this logic based on equality-algebras and local deduction theorem. We show that this logic is regularly algebraizable with respect to the variety of equality∆-algebras but it is not Fregean. Then we introduce the concept of equality∆-algebras and investigate some related properties. Also, we study ∆-deductive systems of equality∆-algebras. In particular, we prove that (...) every prelinear equality ∆-algebra is a subdirect product of linearly ordered equality∆-algebras. Finally, we construct prelinear equality ∆ logic and prove the soundness and strong completeness of this logic respect to prelinear equality∆-algebras. (shrink)

In this paper we reach back to an earlier generation of discussions about both linguistic meaning and moral language to answer the still-current question as to whether and in what way some special non-descriptive feature comprises part of the semantics of identifiably ethical terms. Taking off from the failure of familiar meta-ethical theories, restricted as they are to the Fregean categories of Sense and Force (whether singly or in combination), we propose that one particular variety belonging to Frege’s humble (...) semantic category of Farbung –– what Dummett calls Tone –– holds the key. Specifically, the kinds of expressions that Dummett dubs “expressives”, when properly understood as representing a speaker’s sentiment, solve the mystery not only of moral discourse, but of evaluative language, broadly construed. On this basis we account for moral language’s special relation to action motivation in ways that avoid Moore’s paradox and honor, in unasserted contexts, what Geach calls ‘the Frege point’. Commitments to the public and social character of natural language are also respected. (shrink)

Certain advocates of the so-called “neo-logicist” movement in the philosophy of mathematics identify themselves as “neo-Fregeans” (e.g., Hale and Wright), presenting an updated and revised version of Frege’s form of logicism. Russell’s form of logicism is scarcely discussed in this literature and, when it is, often dismissed as not really logicism at all (in light of its assumption of axioms of infinity, reducibility and so on). In this paper I have three aims: firstly, to identify more clearly the primary meta-ontological (...) and methodological differences between Russell’s logicism and the more recent forms; secondly, to argue that Russell’s form of logicism offers more elegant and satisfactory solutions to a variety of problems that continue to plague the neo-logicist movement (the bad company objection, the embarrassment of richness objection, worries about a bloated ontology, etc.); thirdly, to argue that neo-Russellian forms of logicism remain viable positions for current philosophers of mathematics. (shrink)

Logic is a celebrated representation language because of its formal generality. But there are two senses in which a logic may be considered general, one that concerns a technical ability to discriminate between different types of individuals, and another that concerns constitutive norms for reasoning as such. This essay embraces the former, permutation-invariance conception of logic and rejects the latter, Fregean conception of logic. The question of how to apply logic under this pure invariantist view is addressed, and a (...) methodology is given. The pure invariantist view is contrasted with logical pluralism, and a methodology for applied logic is demonstrated in remarks on a variety of issues concerning non-monotonic logic and non-monotonic inference, including Charles Morgan’s impossibility results for non-monotonic logic, David Makinson’s normative constraints for non-monotonic inference, and Igor Douven and Timothy Williamson’s proposed formal constraints on rational acceptance. (shrink)

We can think about ourselves in a variety of ways, but only some of the thoughts that we entertain about ourselves will be thoughts which we know concern ourselves. I call these first-person thoughts, and the component of such thoughts that picks out the object about which one is thinking—oneself—the self-concept. In this thesis I am concerned with providing an account of the content of the self-concept. The challenge is to provide an account that meets two conditions on first-person thought. (...) The account must show how we are aware of ourselves when we entertain first-person thoughts, so that we have an account that establishes the cognitive significance of first-person thoughts. But, in addition, this awareness must be as robust as the thinker’s ability to entertain first-person thoughts if our account is to respect the guaranteed referential success of the self-concept. I introduce both the subject matter of the thesis, and the constraints on a satisfactory account of that subject matter in the first chapter. In the second chapter I then set up a further problem: much of our self-knowledge is knowledge of our current mental states and it is often argued that we know about and can ascribe those mental states on the basis of introspection alone. The first constraint on an account of first-person thought described in the preceding paragraph requires that we be aware of ourselves in some way if our thoughts are to have the special cognitive significance of first-person thoughts. Yet, I argue, we neither do nor can introspectively observe a subject of thought and experience when we come to know about our mental states and experiences. The failure of introspection to supply us with perceptual information about a subject of thought presents us with the further potential problem. According to Fregean semantics sense determines reference: we count on the content of the elements of thought to determine the reference of terms that are used to express those elements. If we do not introspectively observe a subject of thought then we seem to be at a loss to account for the concept and we are at risk of having to accept that neither the self-concept nor the first-person pronoun are referential. In the remainder of my thesis I consider various responses that we can offer to this problem. First, I examine whether we can avoid the problem with an alternative account of first-person reference according to which reference is fixed by a reflexive rule, and whether we can also base an account of first-person thought on this account of first-person reference. Secondly, I look at the descriptivist view of first-person thought which could potentially provide both an account of first-person thought and first-person reference. These two suggestions must be rejected on the grounds that they fail to accommodate the special cognitive significance of first-person thought. A third approach to first-person thought argues that we employ an objective self-concept when we think about ourselves, a concept that is informed by bodily experience, rather than by introspective observation of a subject. Yet such an account cannot make sense of first-person thoughts in which we question our own embodiment. Lastly I consider whether it is possible to explain the cognitive significance of first-person thought in terms of non-conceptual first-person contents. (shrink)

Peter Geach famously holds that there is no such thing as absolute identity. There are rather, as Geach sees it, a variety of relative identity relations, each essentially connected with a particular monadic predicate. Though we can strictly and meaningfully say that an individual a is the same man as the individual b, or that a is the same statue as b, we cannot, on this view, strictly and meaningfully say that the individual a simply is b. It is difficult (...) to find anything like a persuasive argument for this doctrine in Geach's work. But one claim made by Geach is that his account of identity is the account most naturally aligned with Frege's widely admired treatment of cardinality. And though this claim of an affinity between Frege's and Geach's doctrines has been challenged, the challenge has been resisted. William Alston and Jonathan Bennett, indeed, go further than Geach to argue that Frege's doctrine implies Geach's. If Alston and Bennett are right, then those who favor a broadly Fregean treatment of cardinality have no choice but to adopt Geach's doctrine of relative identity. And because contemporary set-theoretic accounts of cardinality are essentially Fregean in all respects relevant to this issue (see §11 below), it follows from Alston and Bennett's claim that virtually every standard modern treatment of cardinality requires a 'relativized' treatment of identity. The purpose of this paper is to argue against the implication claimed by Alston and Bennett. Despite some superficial similarities between Frege's treatment of cardinality and Geach's treatment of identity, the two doctrines are fundamentally opposed. Frege's account of cardinality, and its set-theoretic descendants, are all inconsistent with the claim that identity is 'relative' in Geach's sense. (shrink)

The purpose is to clarify and explain plato's theory of the forms. discussion on the theory: varieties of paradigmata, image and reality and predicates. the forms of paradigmata fill a wide range of philosophical roles. forms should be spoken of as forms rather then as structures or patterns, sets or universals, fregean concepts or eternal possibilities. (staff).

Contributing to the debate between referentialist and predicativist accounts of the semantics of proper names, this paper partly endorses a recent trend to reject unitary accounts of their semantics. It does so by restoring a Fregean version of the variety of use account. It criticizes alternative variety of use accounts for not clearly distinguishing pragmatic, syntactic, and semantic issues and argues that, once these are distinguished, the necessity of accepting that names have a variety of uses, and are sometimes (...) logical singular terms and at others logical predicates shows that Frege’s claim, that we should recognize that names have both reference and sense, is vindicated. (shrink)

Most contemporary analytic philosophers of language and mind accept the view that there is a wide class of terms, “natural kind terms”, which includes names of substances (the most common example is “water”), of species of animals, and of many other kinds of things in nature, whose meaning and reference is determined in the way explained by the theory developed in the 1970s by Saul Kripke and Hilary Putnam. The theory is often referred to as “the Kripke-Putnam theory” and is (...) supposed to have such achievements as the overthrow of the earlier dominant Fregean theory of word-meanings (dubbed “descriptivism” by Kripke) as determined by the concepts in our minds, providing support for the “externalist” approach to linguistic meanings (in line with Putnam’s claim that “"Meanings" just ain’t in the head”), and the discovery that there is a wide class of truths (such as that water is H20) that are both a posteriori and necessary. Although the priority in the development of this theory belongs to Kripke, it could hardly gain such a wide acceptance without contributions by Putnam, which turned out to be very influential. However, the habitual idea of “the Kripke-Putnam theory”, as one theory, tends to play down the differences between Putnam’s and Kripke’s approaches and to hush up the fact that in his late works, of 1983 and 1990, Putnam revised and abandoned pretty much of his “Kripkean” views of 1970-ies; in particular, repudiated the pride of Kripke’s theory, the idea of necessary a posteriori truths. This article makes critical analysis and evaluation of Putnam’s ideas and arguments usually credited as important contributions to “the Kripke-Putnam theory”, and highlights the main points of the revision in late Putnam’s works. The case is made that Putnam's famous argument for externalism about meanings, the Twin-Earth thought experiment, is question-begging, fails to do justice to likely changes in the meanings of words with the development of knowledge, and conflicts with the linguistic practice in the relevantly similar case of “jade”. Putnam's argument for externalism from the division of linguistic labour is not cogent too, because “semantic deference” is itself a matter of what is there in “heads” - of some (non-expert) heads deferring to other (recognised as expert) heads. Eventually, on close inspection and in the light of Putnam's later reexplanation and revision, his account of meaning and reference turns out to be a sophisticated variety of conceptualism/internalism. (shrink)

Three clusters of philosophically significant issues arise from Frege’s discussions of definitions. First, Frege criticizes the definitions of mathematicians of his day, especially those of Weierstrass and Hilbert. Second, central to Frege’s philosophical discussion and technical execution of logicism is the so‐called Hume’s Principle, considered in The Foundations of Arithmetic . Some varieties of neo‐Fregean logicism are based on taking this principle as a contextual definition of the operator ‘the number of …’, and criticisms of such neo‐Fregean (...) programs sometimes appeal to Frege’s objections to contextual definitions in later writings. Finally, a critical question about the definitions on which Frege’s proofs of the laws of arithmetic depend is whether the logical structures of the definientia reflect our pre‐Fregean understanding of arithmetical terms. It seems that unless they do, it is unclear how Frege’s proofs demonstrate the analyticity of the arithmetic in use before logicism. Yet, especially in late writings, Frege characterizes the definitions as arbitrary stipulations of the senses or references of expressions unrelated to pre‐definitional understanding. One or more of these topics may be studied in a survey course in the philosophy of mathematics or a course on Frege’s philosophy. The latter two topics are obviously central in a seminar in the philosophy of mathematics in general or more specialized seminars on logicism, or on mathematical definitions and concept formation. (shrink)

Fixing Frege is one of the most important investigations to date of Fregean approaches to the foundations of mathematics. In addition to providing an unrivalled survey of the technical program to which Frege's writings have given rise, the book makes a large number of improvements and clarifications. Anyone with an interest in the philosophy of mathematics will enjoy and benefit from the careful and well-informed overview provided by the first of its three chapters. Specialists will find the book an (...) indispensable reference and an invaluable source of insights and new results. Although Frege is widely regarded as the father of analytic philosophy, his work on the foundations of mathematics was for a long time rather peripheral to ongoing research. The main reason for this is no doubt Russell's discovery in 1901 that the paradox now bearing his name can be derived in Frege's logical system. But recent decades have seen a huge surge of interest in Fregean approaches to the foundations of mathematics. A variety of consistent theories have been discovered that can be salvaged from Frege's inconsistent system, and foundational and philosophical claims have been made on behalf of many of these theories. Burgess claims quite plausibly that the significance of any such modified Fregean theory will in large part depend on how much of ordinary mathematics it enables us to develop. His book is accordingly 'a survey of various modified Fregean systems, attempting to determine the scope and limits of each'. The book's agenda is thus predominantly technical, and its spirit open-minded and experimental. (shrink)

El primer capítulo del libro The Varieties of Reference de Gareth Evans, denominado ‘Frege’, abre las puertas a nuevas perspectivas de análisis de la teoría fregeana. Este artículo tiene como objetivo revisar la interpretación que Evans presenta de la teoría semántica fregeana, analizar algunas de las consecuencias que se derivan de tal interpretación y proponer una versión de la teoría semántica fregeana que pueda dar cuenta de los casos problemáticos para el análisis de un lenguaje natural. El presente artículo (...) está dividido en dos partes generales: en los primeros ocho apartados se reconstruye y analiza el argumento de Evans; y en las conclusiones, se presenta un análisis de las conclusiones a las que llega Evans a partir de su argumento y una propuesta para hacer compatible el principio de composicionalidad y el principio de contexto en el marco fregeano con el fin de resolver algunos de los casos conflictivos para una teoría semántica fregeana para el lenguaje natural. (shrink)

How the various things that are said to have meaning—purpose, natural signs, linguistic signs, perceptions, and thoughts—are related to one another.

cognitive, neuropsychological, and neurophysiological studies of both memory and consciousness. Before proceeding further, some discussion of terminology is necessary. It comes as no surprise to state that "consciousness" is one of the ...