Bazzocchi disposes the text of the Tractatus in a user-friendly manner, exactly as Wittgenstein's decimals advise. This discloses the logical form of the book by distinct reading units, linked into a fashioned hierarchical tree. The text becomes much clearer and every reader can enjoy, finally, its formal and literary qualities.

This paper is a survey of recent ‘hybrid’ approaches to metaethics, according to which moral sentences, in some sense or other, express both beliefs and desires. I try to show what kinds of theoretical issues come up at the different choice points we encounter in developing such a view, to raise some problems and explain where they come from, and to begin to get a sense for what the payoff of such views can be, and what they will need to (...) do in order to earn that payoff. (shrink)

In the course of the discussion, Professor Quine pinpoints the difficulties involved in translation, brings to light the anomalies and conflicts implicit in our ...

Willard Van Orman Quine begins this influential work by declaring, "Language is asocial art.

In his 1936 paper,On the Concept of Logical Consequence, Tarski introduced the celebrated definition oflogical consequence: “The sentenceσfollows logicallyfrom the sentences of the class Γ if and only if every model of the class Γ is also a model of the sentenceσ.” [55, p. 417] This definition, Tarski said, is based on two very basic intuitions, “essential for the proper concept of consequence” [55, p. 415] and reflecting common linguistic usage: “Consider any class Γ of sentences and a sentence which (...) follows from the sentences of this class. From an intuitive standpoint it can never happen that both the class Γ consists only of true sentences and the sentenceσis false. Moreover, … we are concerned here with the concept of logical, i.e.,formal, consequence.” [55, p. 414] Tarski believed his definition of logical consequence captured the intuitive notion: “It seems to me that everyone who understands the content of the above definition must admit that it agrees quite well with common usage. … In particular, it can be proved, on the basis of this definition, that every consequence of true sentences must be true.” [55, p. 417] The formality of Tarskian consequences can also be proven. Tarski's definition of logical consequence had a key role in the development of the model-theoretic semantics of modern logic and has stayed at its center ever since. (shrink)

A difficulty is exposed in Allan Gibbard's solution to the embedding/Frege-Geach problem, namely that the difference between refusing to accept a normative judgement and accepting its negation is ignored. This is shown to undermine the whole solution.

In this manuscript, published here for the first time, Tarski explores the concept of logical notion. He draws on Klein's Erlanger Programm to locate the logical notions of ordinary geometry as those invariant under all transformations of space. Generalizing, he explicates the concept of logical notion of an arbitrary discipline.

In his 1936 paper,On the Concept of Logical Consequence, Tarski introduced the celebrated definition oflogical consequence: “The sentenceσfollows logicallyfrom the sentences of the class Γ if and only if every model of the class Γ is also a model of the sentenceσ.” [55, p. 417] This definition, Tarski said, is based on two very basic intuitions, “essential for the proper concept of consequence” [55, p. 415] and reflecting common linguistic usage: “Consider any class Γ of sentences and a sentence which (...) follows from the sentences of this class. From an intuitive standpoint it can never happen that both the class Γ consists only of true sentences and the sentenceσis false. Moreover, … we are concerned here with the concept of logical, i.e.,formal, consequence.” [55, p. 414] Tarski believed his definition of logical consequence captured the intuitive notion: “It seems to me that everyone who understands the content of the above definition must admit that it agrees quite well with common usage. … In particular, it can be proved, on the basis of this definition, that every consequence of true sentences must be true.” [55, p. 417] The formality of Tarskian consequences can also be proven. Tarski's definition of logical consequence had a key role in the development of the model-theoretic semantics of modern logic and has stayed at its center ever since. (shrink)

Expressivism - the sophisticated contemporary incarnation of the noncognitivist research program of Ayer, Stevenson, and Hare - is no longer the province of metaethicists alone. Its comprehensive view about the nature of both normative language and normative thought has also recently been applied to many topics elsewhere in philosophy - including logic, probability, mental and linguistic content, knowledge, epistemic modals, belief, the a priori, and even quantifiers. Yet the semantic commitments of expressivism are still poorly understood and have not been (...) very far developed. As argued within, expressivists have not yet even managed to solve the "negation problem" - to explain why atomic normative sentences are inconsistent with their negations. As a result, it is far from clear that expressivism even could be true, let alone whether it is. Being For seeks to evaluate the semantic commitments of expressivism, by showing how an expressivist semantics would work, what it can do, and what kind of assumptions would be required, in order for it to do it. Building on a highly general understanding of the basic ideas of expressivism, it argues that expressivists can solve the negation problem - but only in one kind of way. It shows how this insight paves the way for an explanatorily powerful, constructive expressivist semantics, which solves many of what have been taken to be the deepest problems for expressivism. But it also argues that no account with these advantages can be generalized to deal with constructions like tense, modals, or binary quantifiers. Expressivism, the book argues, is coherent and interesting, but false. (shrink)

Some accounts of mental content represent the objects of belief as structured, using entities that formally resemble the sentences used to express and report attitudes in natural language; others adopt a relatively unstructured approach, typically using sets or functions. Currently popular variants of the latter include classical and neo-classical propositionalism, which represent belief contents as sets of possible worlds and sets of centered possible worlds, respectively; and property self-ascriptionism, which employs sets of possible individuals. I argue against their contemporary proponents (...) that all three views are ineluctably plagued by generation gaps: they either overgenerate beliefs, undergenerate them, or both. (shrink)

Tarski and Mautner proposed to characterize the "logical" operations on a given domain as those invariant under arbitrary permutations. These operations are the ones that can be obtained as combinations of the operations on the following list: identity; substitution of variables; negation; finite or infinite disjunction; and existential quantification with respect to a finite or infinite block of variables. Inasmuch as every operation on this list is intuitively "logical", this lends support to the Tarski-Mautner proposal.

Mathematicians tend to think of themselves as scientists investigating the features of real mathematical things, and the wildly successful application of mathematics in the physical sciences reinforces this picture of mathematics as an objective study. For philosophers, however, this realism about mathematics raises serious questions: What are mathematical things? Where are they? How do we know about them? Offering a scrupulously fair treatment of both mathematical and philosophical concerns, Penelope Maddy here delineates and defends a novel version of mathematical realism. (...) She answers the traditional questions and poses a challenging new one, refocusing philosophical attention on the pressing foundational issues of contemporary mathematics. (shrink)

Logic is usually thought to concern itself only with features that sentences and arguments possess in virtue of their logical structures or forms. The logical form of a sentence or argument is determined by its syntactic or semantic structure and by the placement of certain expressions called “logical constants.”[1] Thus, for example, the sentences Every boy loves some girl. and Some boy loves every girl. are thought to differ in logical form, even though they share a common syntactic and semantic (...) structure, because they differ in the placement of the logical constants “every” and “some”. By contrast, the sentences Every girl loves some boy. and Every boy loves some girl. are thought to have the same logical form, because “girl” and “boy” are not logical constants. Thus, in order to settle questions about logical form, and ultimately about which arguments are logically valid and which sentences logically true, we must distinguish the “logical constants” of a language from its nonlogical expressions. (shrink)

In this paper, we develop an alternative strategy, Platonized Naturalism, for reconciling naturalism and Platonism and to account for our knowledge of mathematical objects and properties. A systematic (Principled) Platonism based on a comprehension principle that asserts the existence of a plenitude of abstract objects is not just consistent with, but required (on transcendental grounds) for naturalism. Such a comprehension principle is synthetic, and it is known a priori. Its synthetic a priori character is grounded in the fact that it (...) is an essential part of the logic in which any scientific theory will be formulated and so underlies (our understanding of) the meaningfulness of any such theory (this is why it is required for naturalism). Moreover, the comprehension principle satisfies naturalist standards of reference, knowledge, and ontological parsimony! As part of our argument, we identify mathematical objects as abstract individuals in the domain governed by the comprehension principle, and we show that our knowledge of mathematical truths is linked to our knowledge of that principle. (shrink)

It is argued, in light of the deflationist conception of truth, that expressivism (emotivism, non-cognitivism) about ethical pronouncements should be formulated merely as the thesis that such pronouncements are expressions of desire, and should not incorporate the further thesis (traditionally associated with expressivism) that they have no truth value.

What is truth. Paul Horwich advocates the controversial theory of minimalism, that is that the nature of truth is entirely captured in the trivial fact that each proposition specifies its own condition for being true, and that truth is therefore an entirely mundane and unpuzzling concept. The first edition of Truth, published in 1980, established itself as the best account of minimalism and as an excellent introduction to the debate for students. For this new edition, Horwich has refined and developed (...) his treatment of the subject in the light of subsequent discussions, while preserving the distinctive format that made the earlier edition so successful. (shrink)

This book examines some of the deepest questions in philosophy: What is involved in judging a belief, action, or feeling to be rational?

An original and elegant work of metaethics, this book brings a new clarity and rigor to the discussion of these tangled issues, and will significantly alter the ...

Of course we all know now that mathematics has proved that logic doesn't really make sense, but Etchemendy (philosophy, Stanford Univ.) goes further and challenges the received view of the conceptual underpinnings of modern logic by arguing that Tarski's model-theoretic analysis of logical consequences is wrong. He may have found the soft underbelly of the dead horse. Annotation copyrighted by Book News, Inc., Portland, OR.

In chapter five of Wise Choices, Apt Feelings Allan Gibbard develops what he calls a ‘normative logic’ intended to solve some problems that face an expressivist theory of norms like his. The first is “the problem of embedding: The analysis applies to simple contexts, in which it is simply asserted or denied that such-and-such is rational. It says nothing about more complex normative assertions.”1 That is the problem with which I will be concerned. Though he doesn’t list it as one (...) of the problems to be solved, Gibbard’s devices also explain what it means to say that a certain normative argument is ‘valid’, that one normative statement follows from some others. Both of these questions arise because of the ways we ordinarily think and speak, ways which on a simplistic version of expressivism appear not to make any sense. An expressivist committed to making sense of the way we ordinarily think and speak in normative language owes some account of embeddings and of logic. Gibbard’s device seems to me the clearest and most systematic of any expressivist attempt to meet these challenges. (shrink)

This paper is about Truth Minimalism, Norm Expressivism, and the relation between them. In particular, it is about whether Truth Minimalism can help to solve a problem thought to plague Norm Expressivism. To start with, let me explain what I mean by 'Truth Minimalism' and 'Norm Expressivism.'.

What would something unlike us--a chimpanzee, say, or a computer--have to be able to do to qualify as a possible knower, like us? To answer this question at the very heart of our sense of ourselves, philosophers have long focused on intentionality and have looked to language as a key to this condition. Making It Explicit is an investigation into the nature of language--the social practices that distinguish us as rational, logical creatures--that revises the very terms of this inquiry. Where (...) accounts of the relation between language and mind have traditionally rested on the concept of representation, this book sets out an alternate approach based on inference, and on a conception of certain kinds of implicit assessment that become explicit in language. Making It Explicit is the first attempt to work out in detail a theory that renders linguistic meaning in terms of use--in short, to explain how semantic content can be conferred on expressions and attitudes that are suitably caught up in social practices. -/- At the center of this enterprise is a notion of discursive commitment. Being able to talk--and so in the fullest sense being able to think--is a matter of mastering the practices that govern such commitments, being able to keep track of one’s own commitments and those of others. Assessing the pragmatic significance of speech acts is a matter of explaining the explicit in terms of the implicit. As he traces the inferential structure of the social practices within which things can be made conceptually explicit, the author defines the distinctively expressive role of logical vocabulary. This expressive account of language, mind, and logic is, finally, an account of who we are. (shrink)

Provides a comprehensive introduction to the major philosophical theories attempting to explain the workings of language.

This volume collects some influential essays in which Simon Blackburn, one of our leading philosophers, explores one of the most profound and fertile of philosophical problems: the way in which our judgments relate to the world. This debate has centered on realism, or the view that what we say is validated by the way things stand in the world, and a variety of oppositions to it. Prominent among the latter are expressive and projective theories, but also a relaxed pluralism that (...) discourages the view that there are substantial issues at stake. The figure of the "quasi-realist" dramatizes the difficulty of conducting these debates. Typically philosophers thinking of themselves as realists will believe that they alone can give a proper or literal account of some of our attachments--to truth, to facts, to the independent world, to knowledge and certainty. The quasi-realist challenge, developed by Blackburn in this volume, is that we can have those attachments without any metaphysic that deserves to be called realism, so that the metaphysical picture that goes with our practices is quite idle. The cases treated here include the theories of value and knowledge, modality, probability, causation, intentionality and rule-following, and explanation. A substantial new introduction has been added, drawing together some of the central themes. The essays articulate a fresh alternative to a primitive realist/anti-realist opposition, and their cumulative effect is to yield a new appreciation of the delicacy of the debate in these central areas. (shrink)

Such a conception, says Dummett, will form "a base camp for an assault on the metaphysical peaks: I have no greater ambition in this book than to set up a base ...

The Bounds of Logic presents a new philosophical theory of the scope and nature of logic based on critical analysis of the principles underlying modern Tarskian logic and inspired by mathematical and linguistic development. Extracting central philosophical ideas from Tarski’s early work in semantics, Sher questions whether these are fully realized by the standard first-order system. The answer lays the foundation for a new, broader conception of logic. By generally characterizing logical terms, Sher establishes a fundamental result in semantics. Her (...) development of the notion of logicality for quantifiers and her work on branching are of great importance for linguistics. Sher outlines the boundaries of the new logic and points out some of the philosophical ramifications of the new view of logic for such issues as the logicist thesis, ontological commitment, the role of mathematics in logic, and the metaphysical underpinning of logic. She proposes a constructive definition of logical terms, reexamines and extends the notion of branching quantification, and discusses various linguistic issues and applications. (shrink)

Paul Horwich gives the definitive exposition of a prominent philosophical theory about truth, `minimalism'. His theory has attracted much attention since the first edition of Truth in 1990; he has now developed, refined, and updated his treatment of the subject, while preserving the distinctive format of the book. This revised edition appears simultaneously with a new companion volume, Meaning; the two books demystify central philosophical issues, and will be essential reading for all who work on the philosophy of language.

Metaethics, understood as a distinct branch of ethics, is often traced to G. E. Moore's 1903 classic, Principia Ethica. Whereas normative ethics is concerned to answer first order moral questions about what is good and bad, right and wrong, metaethics is concerned to answer second order non-moral questions about the semantics, metaphysics, and epistemology of moral thought and discourse. Moore has continued to exert a powerful influence, and the sixteen essays here represent the most up-to-date work in metaethics after, and (...) in some cases directly inspired by, the work of Moore. (shrink)

Now in a new edition, this volume updates Davidson's exceptional Inquiries into Truth and Interpretation (1984), which set out his enormously influential philosophy of language. The original volume remains a central point of reference, and a focus of controversy, with its impact extending into linguistic theory, philosophy of mind, and epistemology. Addressing a central question--what it is for words to mean what they do--and featuring a previously uncollected, additional essay, this work will appeal to a wide audience of philosophers, linguists, (...) and psychologists. (shrink)

Simon Blackburn puts forward a compelling original philosophy of human motivation and morality. He maintains that we cannot get clear about ethics until we get clear about human nature. So these are the sorts of questions he addresses: Why do we behave as we do? Can we improve? Is our ethics at war with our passions, or is it an upshot of those passions? Blackburn seeks the answers in an exploration of guilt, shame, disgust, and other moral emotions; he draws (...) also on game theory and cognitive science in his account of the structures of human motivation. Many philosophers have wanted a naturalistic ethics a theory that integrates our understanding of human morality with the rest of our understanding of the world we live in. What is special about Blackburn's naturalistic ethics is that it does not debunk the ethical by reducing it to the non-ethical. At the same time he banishes the spectres of scepticism and relativism that have haunted recent moral philosophy. Ruling Passions sets ethics in the context of human nature: it offers a solution to the puzzle of how ethics can maintain its authority even though it is rooted in the very emotions and motivations that it exists to control. (shrink)