This article defends the view that having a language just is knowing how to engage in communication with it. It also argues that, despite claims to the contrary, this view is compatible and complementary with the Chomskyan conception of language on which humans have languages in virtue of being in brain states realizing tacit knowledge of grammars for those languages.

Christopher Peacocke’s Interlocking Account offers an example of the identity-based strategy for resolving the conceptual problem of other minds. According to the Identity Model, the sameness of meaning of a mental concept across inter-subjective domains is guaranteed by the sameness of the mental states to which the concept refers. Hence, for example, the meaning of the concept “pain” is fixed by the sameness of the sensation of pain to which the concept refers across inter-subjective fields. As an instance of this (...) model, the Interlocking Account draws its most fundamental strength from the claim that human beings are similar in so far as they are carriers of conscious mental states, and that similar mental concepts have similar mental contents across individuals. The implication of this is that when similar mental concepts are used to describe contents of experience by different persons, the meanings of the concepts used are fixed by the similarity of the contents of experience to which the concepts refer. This paper argues that this identity-based strategy fails for three main reasons: the identity relation it purports to establish between one’s own case and those of others is difficult to achieve; “the sense in which the relation of one's mind and those of others exhibits that identity is not clear;” and it is an argument by analogy in disguise. (shrink)

It has been argued that reduction procedures are closely connected to the question about identity of proofs and that accepting certain reductions would lead to a trivialization of identity of proofs in the sense that every derivation of the same conclusion would have to be identified. In this paper it will be shown that the question, which reductions we accept in our system, is not only important if we see them as generating a theory of proof identity but is also (...) decisive for the more general question whether a proof has meaningful content. There are certain reductions which would not only force us to identify proofs of different arbitrary formulas but which would render derivations in a system allowing them meaningless. To exclude such cases, a minimal criterion is proposed which reductions have to fulfill to be acceptable. (shrink)

The origins of proof-theoretic semantics lie in the question of what constitutes the meaning of the logical connectives and its response: the rules of inference that govern the use of the connective. However, what if we go a step further and ask about the meaning of a proof as a whole? In this paper we address this question and lay out a framework to distinguish sense and denotation of proofs. Two questions are central here. First of all, if we have (...) two different derivations, does this always lead to a difference, firstly, in sense, and secondly, in denotation? The other question is about the relation between different kinds of proof systems with respect to this distinction. Do the different forms of representing a proof necessarily correspond to a difference in how the inferential steps are given? In our framework it will be possible to identify denotation as well as sense of proofs not only within one proof system but also between different kinds of proof systems. Thus, we give an account to distinguish a mere syntactic divergence from a divergence in meaning and a divergence in meaning from a divergence of proof objects analogous to Frege’s distinction for singular terms and sentences. (shrink)

The problem of skepticism is often understood as a paradox: a valid argument with plausible premises whose conclusion is that we lack justification for perceptual beliefs. Typically, this conclusion is deemed unacceptable, so a theory is offered that posits conditions for justification on which some premise is false. The theory defended here is more general, and explains why the paradox arises in the first place. Like Strawson’s (Introduction to logical theory, Wiley, New York, 1952) “ordinary language” approach to induction, the (...) theory posits something built into the very notion of justification: it is loaded with a bias towards the proposition that we are not massively deceived. Beyond the paradox, remaining skeptical problems consist of metaphysical and practical questions: whether we are massively deceived, or why we should use our loaded notion rather than some other. Such challenges have pro- found epistemological significance, but they are not problems that an a priori theory of justification can solve. (shrink)

The problem of skepticism is often understood as a paradox: a valid argument with plausible premises whose conclusion is that we lack justification for perceptual beliefs. Typically, this conclusion is deemed unacceptable, so a theory is offered that posits conditions for justification on which some premise is false. The theory defended here is more general, and explains why the paradox arises in the first place. Like Strawson’s (Introduction to logical theory, Wiley, New York, 1952) “ordinary language” approach to induction, the (...) theory posits something built into the very notion of justification: it is loaded with a bias towards the proposition that we are not massively deceived. Beyond the paradox, remaining skeptical problems consist of metaphysical and practical questions: whether we are massively deceived, or why we should use our loaded notion rather than some other. Such challenges have profound epistemological significance, but they are not problems that an a priori theory of justification can solve. (shrink)

Information modeling (also known as conceptual modeling or semantic data modeling) may be characterized as the formulation of a model in which information aspects of objective and subjective reality are presented (the application), independent of datasets and processes by which they may be realized (the system).A methodology for information modeling should incorporate a number of concepts which have appeared in the literature, but should also be formulated in terms of constructs which are understandable to and expressible by the system user (...) as well as the system developer. This is particularly desirable in connection with certain intimate relationships, such as being the same as or being a part of. (shrink)

Perception of a property (e.g. a colour, a shape, a size) can enable thought about the property, while at the same time misleading the subject as to what the property is like. This long-overlooked claim parallels a more familiar observation concerning perception-based thought about objects, namely that perception can enable a subject to think about an object while at the same time misleading her as to what the object is like. I defend the overlooked claim, and then use it to (...) generate a challenge for a standard way of thinking about the relationship between visual experience and rational belief formation. Put informally, that view holds that just as we can mislead others by saying something false, illusory experience misleads by misrepresenting how things stand in the world. I argue that we ought to abandon this view in favour of some radical alternative account of the relationship between visual experience and rational belief formation. (shrink)

Pautz has argued that the most prominent naive realist account of hallucination—negative epistemic disjunctivism—cannot explain how hallucinations enable us to form beliefs about perceptually presented properties. He takes this as grounds to reject both negative epistemic disjunctivism and naive realism. Our aims are two: First, to show that this objection is dialectically ineffective against naive realism, and second, to draw morals from the failure of this objection for the dispute over the nature of perceptual experience at large.

Papineau has suggested that the Principle of Non-Contradiction is a logical law that ?verificationists? are not entitled to claim as a prioritrue. The Principle, like that of Excluded Middle, is not sufficiently grounded in the ?miserly? epistemology of verificationism to be proven in ?verificationist logic?. We examine who might be challenged by this claim: who are the ?verificationists?? We defend our candidates against Papineau's criticisms and other attacks, but this leaves the verificationist open to a different criticism.

The book offers a proposal on how to define truth in all its complexity, without reductionism, showing at the same time which questions a theory of truth has to answer and which questions, although related to truth, do not belong within the scope of such a theory. Just like any other theory, a theory of truth has its structure and limits. The semantic core of the position is that truth-ascriptions are pro-forms, i.e. natural language propositional variables. The book also offers (...) an explanation of the syntactic behaviour of truth-terms, and the pragmatic roles of truth-acts. The theory of truth we present is a technical proposal, relatively uncontaminated by radical philosophical discussion. It makes indeed philosophical points, but it is intended to be a conceptual analysis, as neutral as possible, of the aspects that may serve as a point of departure for more philosophically-laden destinations. Like the Fregean account of quantifiers, which is prior to and, to a large extent, independent of the metaphysical debate about existence and its forms, or the Kaplanian view on demonstratives, that is neutral regarding the debate about individuals and the possibilities we have to actually “reach” them in a referring act, we intend our proposal about truth to be a sophisticated and explicative setting that helps to situate other debates about truth accurately, far from the distorted and sometimes strongly ideological discussions that have turned the topic into a paradigm of philosophical impasse. (shrink)

This chapter reviews empirical research on the rules governing assertion and retraction, with a focus on the normative role of truth. It examines whether truth is required for an assertion to be considered permissible, and whether there is an expectation that speakers retract statements that turn out to be false. Contrary to factive norms (such as the influential “knowledge norm”), empirical data suggests that there is no expectation that speakers only make true assertions. Additionally, contrary to truth-relativist accounts, there is (...) no requirement for speakers to retract statements that are false at the context of assessment. We conclude by suggesting that truth still plays a crucial role in the evaluation of assertions: as a standard for evaluating their success, rather than permissibility. (shrink)

Desires matter. What are desires? Many believe that desire is a motivational state: desiring is being disposed to act. This conception aligns with the functionalist approach to desire and the standard account of desire's role in explaining action. According to a second influential approach, however, desire is first and foremost an evaluation: desiring is representing something as good. After all, we seem to desire things under the guise of the good. Which understanding of desire is more accurate? Is the guise (...) of the good even right to assume? Should we adopt an alternative picture that emphasizes desire's deontic nature? What do neuroscientific studies suggest? -/- Essays in the first section of the volume are devoted to these questions, and to the puzzle of desire's essence. In the second part of the volume, essays investigate some implications that the various conceptions of desire have on a number of fundamental issues. For example, why are inconsistent desires problematic? What is desire's role in practical deliberation? How do we know what we want? -/- This volume will contribute to the emergence of a fruitful debate on a neglected, albeit crucial, dimension of the mind. (shrink)

MEANING POSTULATES REINSTATED If I am right in agreeing with Cresswell that the "logicarrlexicaT distinction is one of degree rather than one of kind, that in turn impugns the distinction between the official truth-rules that define logical ...

Intuitivamente, la realidad está formada por entidades y hechos existentes y concretos. Sin embargo, nuestro lenguaje y pensamiento versa también sobre hechos meramente posibles, sobre cosas inexistentes y entidades abstractas. ¿Cómo es esto posible? ¿Significa ello que cuando hablamos y pensamos de estas otras cosas no hablamos de nada real? ¿o mas bien la realidad está mas poblada de lo que pensábamos y hay diferentes maneras de formar parte de la realidad además de la de existir de manera positiva y (...) concreta? En este libro trataremos de arrojar luz a estas y otras preguntas similares, poniendo atención a las estrategias argumentativas generales que suelen esgrimirse en esta rama de la filosofía. (shrink)

O presente manual tem como intenção constituir um guia para uma disciplina introdutória de filosofia da linguagem. Foi elaborado a partir da leccionação da disciplina de Filosofia da Linguagem I na Faculdade de Letras da Universidade do Porto desde 2001. A disciplina de Filosofia da Linguagem I ocupa um semestre lectivo e proporciona aos estudantes o primeiro contacto sistemático com a área da filosofia da linguagem. Pretende-se que este manual ofereça aos estudantes os instrumentos necessários não apenas para acompanhar uma (...) iniciação ao campo da filosofia da linguagem mas também para o estudo e a investigação autónomos posteriores. Para isso é percorrido um trajecto que conduz das intuições pré-teóricas acerca de linguagem, de que todos dispomos, até um conhecimento disciplinar específico, histórico e temático, da filosofia da linguagem. Em termos práticos, são considerados como precedentes da disciplina de Filosofia da Linguagem I – mesmo se, pelo existem actualmente precedências em sentido estrito – as disciplinas de Lógica I e II e de Filosofia do Conhecimento I e II. Os programas dessas disciplinas nos últimos anos estiveram presentes por trás da elaboração do manual. (shrink)

Peter Ludlow presents the first book on the philosophy of generative linguistics, including both Chomsky's government and binding theory and his minimalist ...

Frank Jackson champions the cause of conceptual analysis as central to philosophical inquiry. In recent years conceptual analysis has been undervalued and widely misunderstood, suggests Jackson. He argues that such analysis is mistakenly clouded in mystery, preventing a whole range of important questions from being productively addressed. He anchors his argument in discussions of specific philosophical issues, starting with the metaphysical doctrine of physicalism and moving on, via free will, meaning, personal identity, motion, and change, to ethics and the philosophy (...) of color. In this way the book not only offers a methodological program for philosophy, but also casts new light on some much-debated problems and their interrelations. (shrink)

According to Zhiyi 智顗 (538–597), the founder of the Chinese Buddhist Tiantai school 天臺宗, “one object is all objects;” hence, all objects are profoundly interconnected. In this paper, I critically examine Zhiyi’s metaphysics of objects as presented in the historical Tiantai texts and subsequently develop a contemporary and accessible thesis of interconnectedness by integrating Zhiyi’s views with resources from contemporary analytic philosophy, particularly relative identity. By drawing on Zhiyi’s insights and incorporating contemporary philosophical ideas, I also illustrate how historical Chinese (...) Buddhism and contemporary analytic metaphysics can be mutually informing. (shrink)

According to a widespread picture due to Kaplan, there are two levels of semantic value: character and content. Character is determined by the grammar, and it determines content with respect to context. In this chapter Recanati criticizes that picture on several grounds. He shows that we need more than two levels, and rejects the determination thesis: that linguistic meaning as determined by grammar determines content. Grammatical meaning does not determine assertoric content, he argues, but merely constrains it — speaker’s meaning (...) necessarily comes into play. On the alternative picture he offers, there are four basic levels, only one of which is determined by the grammar. Pragmatics is what enables the transition from each level to the next. (shrink)

Two-dimensional (2D) semantics is a formal framework that is used to characterize the meaning of certain linguistic expressions and the entailment relations among sentences containing them. 2D semantics has also been applied to thought contents. In contrast with standard possible worlds semantics, 2D semantics assigns extensions and truth-values to expressions relative to two possible world parameters, rather than just one. So a 2D semantic framework provides finer-grained semantic values than those available within standard possible world semantics, while using the same (...) basic model-theoretic resources. The 2D framework itself is just a formal tool. To develop a semantic theory for someone’s language, a proponent of 2D semantics must do three things: (i) explain what exactly the two possible world parameters represent, (ii) explain the rules for assigning 2D semantic values to a person’s words and sentences, and (iii) explain how 2D semantic values help in understanding the meanings of the person’s words and sentences. (shrink)

In Overlooking Conventions Michael Devitt argues in defence of the traditional approach to semantics. Devitt’s main line of argument is an inference to the best explanation: nearly all cases that linguistic pragmatists discuss in order to challenge the traditional approach to semantics are better explained by adding conventions into language, in the form of expanding the range of polysemy or the range of indexicality (in the broad sense of linguistically governed context sensitivity). In this paper, we discuss three aspects of (...) a draft of Devitt’s Overlooking Conventions, which was discussed at a conference in Dubrovnik in September 2018. First, we try to show that his rejection of Bach’s distinction between convention and standardization overlooks important features of standardization. Second, we elaborate on Devitt’s argument against linguistic pragmatism based on the normative aspect of meaning and show that a similar argument can be mounted against semantic minimalism. While Devitt and minimalists have a common enemy, they are not allies either. Third, we address a methodological difficulty in Devitt’s view concerning a threat of over-generation and propose a solution to it. Although this paper is the result of collaboration the authors have written different parts. Carlo Penco has written part 1, Massimiliano Vignolo has written part 2 and part 3. (shrink)

The new theory of reference has won popularity. However, a number of noted philosophers have also attempted to reply to the critical arguments of Kripke and others, and aimed to vindicate the description theory of reference. Such responses are often based on ingenious novel kinds of descriptions, such as rigidified descriptions, causal descriptions, and metalinguistic descriptions. This prolonged debate raises the doubt whether different parties really have any shared understanding of what the central question of the philosophical theory of reference (...) is: what is the main question to which descriptivism and the causal-historical theory have presented competing answers. One aim of the paper is to clarify this issue. The most influential objections to the new theory of reference are critically reviewed. Special attention is also paid to certain important later advances in the new theory of reference, due to Devitt and others. (shrink)

John Cook Wilson (1849–1915) was Wykeham Professor of Logic at New College, Oxford and the founder of ‘Oxford Realism’, a philosophical movement that flourished at Oxford during the first decades of the 20th century. Although trained as a classicist and a mathematician, his most important contribution was to the theory of knowledge, where he argued that knowledge is factive and not definable in terms of belief, and he criticized ‘hybrid’ and ‘externalist’ accounts. He also argued for direct realism in perception, (...) criticizing both empiricism and idealism, and argued for a moderate nominalist view of universals as being in rebus and only ‘apprehended’ by their particulars. His influence helped swaying Oxford away from idealism and, through figures such as H. A. Prichard, Gilbert Ryle, or J. L. Austin, his ideas were also to some extent at the origin of ‘moral intuitionism’ and ‘ordinary language philosophy’ which defined much of Oxford philosophy until the second half of the twentieth-century. Nevertheless, his name and legacy were all but forgotten for generations after World War II. Still, his views on knowledge are with us today, being in part at work in the writings of philosophers as diverse as John McDowell, Charles Travis, and Timothy Williamson. (shrink)

Seeing-in is the experience of seeing something in a picture. This experience is single and unified. It is not like the disjoint experience of perceiving one thing while simultaneously visualizing another. This is so despite the fact that, like the latter experience, seeing-in is twofold. It involves being visually aware of two distinct objects at the same time – an array of ink-marks, on the one hand, and the depicted scene, on the other. Plausibly, it also involves being aware of (...) them in two distinct ways: while we perceive the ink-marks before us, the manner of our visual awareness of the depicted object is not perceptual. In this paper, I offer a novel way of reconciling these two features of seeing-in. I argue that the modes of visual awareness operative in seeing-in have to be understood on the model of converse relations, like lighter and heavier, in the sense that the same state arises from the obtaining of each. (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)

Gottlob Frege (1848-1925) was a German logician, mathematician and philosopher who played a crucial role in the emergence of modern logic and analytic philosophy. Frege's logical works were revolutionary, and are often taken to represent the fundamental break between contemporary approaches and the older, Aristotelian tradition. He invented modern quantificational logic, and created the first fully axiomatic system for logic, which was complete in its treatment of propositional and first-order logic, and also represented the first treatment of higher-order logic. In (...) the philosophy of mathematics, he was one of the most ardent proponents of logicism, the thesis that mathematical truths are logical truths, and presented influential criticisms of rival views such as psychologism and formalism. His theory of meaning, especially his distinction between the sense and reference of linguistic expressions, was groundbreaking in semantics and the philosophy of language. He had a profound and direct influence on such thinkers as Russell, Carnap and Wittgenstein. Frege is often called the founder of modern logic, and he is sometimes even heralded as the founder of analytic philosophy. (shrink)

In this paper, I argue that the ‘social meanings’ associated with sociolinguistic variation put pressure on the standard philosophical conception of language, according to which the foremost thing we do with words is exchange information. Drawing on parallels with the explanatory challenge posed by slurs and pejoratives, I argue that the best way to understand social meanings is to think of them in speech act theoretic terms. I develop a distinctive form of pluralism about the performances realized by means of (...) sociolinguistic variants, and I claim that engagement with such performances is an utterly pervasive feature of our linguistic activity. (shrink)

Cogency is the central normative concept of informal logic. But it is a loose evaluative concept and I argue that a generic notion covering all of the qualities of a well-reasoned argument is the most plausible conception. It is best captured by the standard RSA criterion: in a good argument acceptable (A) and relevant (R) premises provide sufficient (S) grounds for the conclusion. Logical qualities in a broad sense are affected by the epistemic qualities of the premises and “consequence” in (...) a broad sense exhibits an interplay of form and content. There are four proposals for the premise—conclusion relation: (i) no strictly logical connection (“non-logical” consequence); (ii) one type of connection only (deductivism); (iii) a few types of connection (deduction, induction, perhaps conduction and analogical reasoning); (iv) many types of connection (argumentation schemes). Deductivism is a serious option but in its strong version, as the discussion about petitio shows, it fails to establish that arguments which are not cogent are thereby invalid. And weak deductivism, very attractive from the pedagogical point of view, has some deficiencies (implausible hidden premises; preservation of truth, not probability). I argue that the idea of a counterexample, when we regard certain components of the argument as fixed and others as variable, is the best approach to the analysis of the illative core of every-day arguments (the approach of David Hitchcock on material consequence). (shrink)

To systematically answer two questions “how does language work?” and “where does linguistic meaning come from?” this paper argues for SocialConstructivism of Language and Meaning which consists of six theses: the primary function of language is communication rather than representation, so language is essentially a social phenomenon. Linguistic meaning originates in the causal interaction of humans with the world, and in the social interaction of people with people. Linguistic meaning consists in the correlation of language to the world established by (...) collective intentions of a language community. Linguistic meaning is based on the conventions produced by a language community in their long process of communication. Semantic knowledge is empirical and encyclopedic knowledge distilled and condensed, and the uses of language accepted by a linguistic community. Language and meaning change rapidly or slowly as the communicative practice of a linguistic community does. The crucial point of SCLM is to focus on the triadic relation among language, humans and the world, rather than the dyadic relation between language and the world. (shrink)

Bertrand Russell in his essay On Denoting [1905] presented a theory of description developed in response to the one proposed by Gottlob Frege in his paper Über Sinn und Bedeutung [1892]. The aim of our work will be to show that Russell underestimated Frege three times over in presenting the latter’s work: in relation to the Gray’s Elegy argument, to the Ferdinand argument, and to puzzles discussed by Russell. First, we will discuss two claims of Russell’s which do not do (...) justice to Frege: that we speak of a sense by means of quotation marks, and that all Frege does to cope with phrases that might denote nothing is define an arbitrary object as their reference. Second, we will show that Russell omitted the fact that Frege’s theory provided some answers for the puzzles presented by Russell in his essay. (shrink)

What is it that we are doing when we make ethical claims and judgments, such as the claim that we morally ought to assist refugees? This dissertation introduces and defends a novel theory of ethical thought and discourse. I begin by identifying the surface features of ethical thought and discourse to be explained, including the realist and cognitivist (i.e. belief-like) appearance of ethical judgments, and the apparent close connection between making a sincere ethical judgment and being motivated to act on (...) it. I examine prominent attempts to explain these features, with a focus on recent ‘hybrid’ theories combining elements of expressivism and cognitivism. Despite their initial promise, I argue that extant hybrid theories are nevertheless committed to problematic semantic, metasemantic, or pragmatic assumptions. I then discuss what I take to be the strongest existing option, ethical neo-expressivism (Bar-On and Chrisman, 2009; Bar-On, Chrisman, and Sias, 2014), and develop it into an explicitly hybrid theory proposing that ethical judgments incorporate both motivationally-charged affective states and moral beliefs. I then supplement this account with a theory of the proper function (following Millikan, 1984) of ethical claims and judgments, arguing that they function simultaneously to track the morally salient features of social situations, and to coordinate our behavior around these features. Finally, I defend one of the cognitivist commitments of the theory – namely, that objective moral knowledge is possible – by applying recent work on the epistemology of fundamental or ‘core’ intellectual commitments (Lynch, 2012; Pritchard, 2016) to the moral realm. (shrink)

This paper defends an interpretation of Gottlob Frege’s 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 multiple, distinct ways. These multiple decompositions will often have distinct logical forms. I also argue against Michael Dummett and others that Frege was committed to the sense of a predicate being a function from the sense of a (...) name (or names) to a complete thought. I defend my Frege interpretation against a puzzle often discussed in the Frege literature; namely, that the Multiple Decompositions Thesis is incompatible with Frege’s stated view that a thought is built up out of its component senses as parts. I provide textual evidence and argument that Frege thought of the part/whole relation in such a way that a whole can be analyzed into (or built up out of) parts in multiple, distinct ways, thus dissolving the puzzle. I conclude with discussion of every sort of example of multiple decompositions that can be found in Frege's work. (shrink)

The idea that thoughts are structured is essential to Frege's understanding of thoughts. A basic tenet of his thinking was that the structure of a sentence can serve as a model for the structure of a thought. Recent commentators have, however, identified tensions between that principle and certain other doctrines Frege held about thoughts. This paper suggests that the tensions identified by Dummett and Bell are not really tensions at all. In establishing the case against Dummett and Bell the paper (...) argues (a) that Frege was committed, in virtue of his doctrine of decomposition, to the thesis that a single sentence can express a range of thoughts, and (b) that Frege was committed, in virtue of his views about truth, to the thesis that a single thought can be expressed by structurally different sentences. But neither of these theses comes into conflict with the basic principle. (shrink)

This entry introduces the reader to the main ideas in Frege's philosophy of logic, mathematics, and language.

We think of a boundary whenever we think of an entity demarcated from its surroundings. There is a boundary (a line) separating Maryland and Pennsylvania. There is a boundary (a circle) isolating the interior of a disc from its exterior. There is a boundary (a surface) enclosing the bulk of this apple. Sometimes the exact location of a boundary is unclear or otherwise controversial (as when you try to trace out the margins of Mount Everest, or even the boundary of (...) your own body). Sometimes the boundary lies skew to any physical discontinuity or qualitative differentiation (as with the border of Wyoming, or the boundary between the upper and lower halves of a homogeneous sphere). But whether sharp or blurry, natural or artificial, for every object there appears to be a boundary that marks it off from the rest of the world. Events, too, have boundaries — at least temporal boundaries. Our lives are bounded by our births and by our deaths; the soccer game began at 3pm sharp and ended with the referee's final whistle at 4:45pm. It is sometimes suggested that even abstract entities, such as concepts or sets, have boundaries of their own, and Wittgenstein could emphatically proclaim that the boundaries of our language are the boundaries of our world. Whether all this boundary talk is coherent, however, and whether it reflects the structure of the world or simply the organizing activity of our mind, are matters of deep philosophical controversy. (shrink)