Livro-texto de introdução à lógica, com (mais do que) pitadas de filosofia da lógica, produzido como uma versão revista e ampliada do livro Forallx: Calgary. Trata-se da versão de 13 de outubro de 2022. Comentários, críticas, correções e sugestões são muito bem-vindos.

forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are available. (...) It is provided in PDF (for screen reading, printing, and a special version for dyslexics), HTML, and in LaTeX source code. (shrink)

How to say no less, no more about conditional than what is needed? From a logical analysis of necessary and sufficient conditions (Section 1), we argue that a stronger account of conditional can be obtained in two steps: firstly, by reminding its historical roots inside modal logic and set-theory (Section 2); secondly, by revising the meaning of logical values, thereby getting rid of the paradoxes of material implication whilst showing the bivalent roots of conditional as a speech-act based on affirmations (...) and rejections (Section 3). Finally, the two main inference rules for conditional, viz. Modus Ponens and Modus Tollens, are reassessed through a broader definition of logical consequence that encompasses both a normal relation of truth propagation and a weaker relation of falsity non-propagation from premises to conclusion (Section 3). (shrink)

Russell claims that ordinary proper names are eccentric, i.e. that the semantic referent of a name is determined by the descriptive condition that the individual utterer of the name associates with the name. This is deeply puzzling, for the evidence that names are subject to interpersonal coordination seems irrefutable. One way of making sense of Russell’s view would be to claim that he has been systematically misinterpreted and did not, in fact, offer a semantic theory at all. Such a view (...) is put forward in Sainsbury Departing from Frege, Routledge, London, 2002). Sainsbury claims that Russellian descriptivism is not the theory that the thought in the mind of the speaker determines the semantic reference of a name, but simply a theory about the thought in the mind of the speaker using a name. I argue that the truth is subtly different, and points the way towards an intuitive explanation of Russell’s eccentricity. (shrink)

This paper presents an experimental study on definite descriptions. According to the classical views, a definite description, i.e., a phrase of the form “the F”, has – roughly speaking - purely descriptive semantics, that is, it designates the object which uniquely (opt. uniquely in a context) satisfies the description. However, as several philosophers including Keith Donnellan have argued, there are uses of definite descriptions on which these expressions do not seem to designate objects which satisfy the descriptions. Namely, a description (...) may refer in some circumstances to an object which does not have the property from the description. This argument is called “the Argument from misdescription” and it is raised against the classical views on the semantics of definite descriptions. In our paper, we present an experimental study on misdescription and explored reactions of ordinary users of language to various statements involving misdescriptions. The results of our research indicate that the intuition of ordinary speakers is consistent with the prediction expressed in the Argument from misdescription. We argue that the most common pragmatic explanation of misdescription, appealing to Gricean distinction between saying and meaning, is unconvincing. We vote for an alternative semantic account of definite descriptions, on which a description “the F” designates an object being F, which is at the same time the most salient individual according to a contextually established ranking of salience. (shrink)

This thesis evaluates and compares two versions of neutral monism, one developed by William James and the other by Bertrand Russell. Both argued against Cartesianism in favour of a "subjectless given" as the basic stuff which constitutes both mind and matter. My evaluation will demonstrate that James’s and Russell's supposedly neutral entities are not neutral as their exponents claim because they fail to satisfy important criteria set for a theory to be genuinely neutral. There are two fundamental elements within my (...) discussion of the neutral entities. Firstly, I shall demonstrate that although James's initial repudiation of dualistic epistemology of subject and object, knower and known, led him to avoid metaphysical dualism of mental and physical, in Cartesian sense, by committing him to the view that there is one kind of entity called "experience", his final analysis admitted an internal distinction within the supposedly simple neutral entities. I shall call this covert dualism. Accepting James’s radical empiricism as an archetype, Russell’s early commitment to neutral monism led him to assert three distinctive kinds of entities, sensation, image and unperceived, and was therefore not complete as that of James. In order to bring his theory in line with James, Russell, in his mature version, entirely repudiated the dualistic view of perception which, following Moore, he accepted, to reject idealism. Russell declared percept as the neutral entity, which is both mental and material at once. But by re-introducing epistemological dualism, as James did, Russell admitted that a percept is not simple but complete bundle of compresent qualities and relations. 1 shall argue that like James’ his theory also collapses into covert dualism. Secondly, I shall argue that to produce a genuinely explanatory theory of neutral entities James and Russell exploited science to justify their theories. In course of their analysis they produced various arguments which has been considered as circular. An attempt will be made to show that the apparent circularity of their analysis is really part of a sophisticated programme, now known as bootstrapping. The notion of a bootstrap strategy has recently been developed in philosophy of science, and suggests a way in which the same evidence can be used to generate both a general and specific hypothesis. The thesis is divided into eight chapters. Chapters one, two and four are largely exegetical and chronological, and discuss the development of neutral monism especially in James and Russell’s philosophy together with the general characteristics of the theory as distinguished from other theories explaining mind and matter. Chapters three, five and six critically analyse James’s and Russell’s versions respectively to show their theories collapse into covert dualism. In chapter seven we argue that the alleged circularities in their theory are non- viscious and their employment of a bootstrap strategy introduced a profound innovation in epistemology. (shrink)

Metaethical realists disagree about the nature of normative properties. Naturalists think that they are ordinary natural properties: causally efficacious, a posteriori knowable, and usable in the best explanations of natural and social sciences. Non-naturalist realists, in contrast, argue that they are sui generis: causally inert, a priori knowable and not a part of the subject matter of sciences. It has been assumed so far that naturalists can explain causally how the normative predicates manage to refer to normative properties, whereas non-naturalists (...) are unable to provide equally satisfactory metasemantic explanations. This article first describes how the previous non-naturalist accounts of reference fail to tell us how the normative predicates could have come to refer to the non-natural properties rather than to the natural ones. I will then use the so-called qua-problem to show how the causal theories of reference of naturalists also fail to fix the reference of normative predicates to unique natural properties. Finally, I will suggest that, just as naturalists need to rely on the non-causal mechanism of reference magnetism to solve the previous problem, non-naturalists, too, can rely on the very same idea to respond to the pressing metasemantic challenges that they face concerning reference. (shrink)

Mights plug gaps. If p lacks a truth-value, then ‘It might be that p’ should also lack truth-value. Yet epistemic hedges often turn an unassertible statement into an assertible one. The phenomenon is illustrated in detail for two kinds of statements that are frequently alleged to be counterexamples to the principle of bivalence: future contingents and statements that apply predicates to borderline cases. The paper concludes by exploring the prospects for generalizing this gap-plugging strategy.

In this paper, I will argue for a new account of presuppositions which is based on double indexing as well as minimal representational contexts providing antecedent material for anaphoric presuppositions, rather than notions of context defined in terms of the interlocutors’ pragmatic presuppositions or the information accumulated from the preceding discourse. This account applies in particular to new phenomena concerning the presupposition of quantifier domains. But it is also intended to be an account of presuppositions in general. The account differs (...) from the Satisfaction Theory and the Binding Theory of presuppositions in that it can be viewed as a conservative extension of traditional static semantics and in that it does not involve the notion of pragmatic presupposition. (shrink)

Criticisms have been aired before about the fear of certain Platonic abstract objects, propositions. That criticism extends to the widespread preference for an operator analysis of expressions like ‘It is true, known, obligatory that p’ as opposed to the predicative analysis in their equivalents ‘That p is true, known, obligatory’. The criticism in the present work also concerns Prior’s attitude to Platonic entities of a certain kind: not propositions, i.e., the referents of ‘that’-clauses, but individuals, i.e., the referents of Russell’s (...) ‘logically proper names’. Prior had a close knowledge of theories of individuals, including that of Russell. However, when Prior formulated his tense logic Q he presumed a non-Russellian, pre-suppositional account of individuals, such that they might exist at one time but not at another, and when they did not exist no statement could be made about them. This paper examines the correctness of such a pre-suppositional account of individuals, showing there are features of natural language it cannot account for. It is shown that the required features can be formalised in Hilbert’s epsilon calculus, and that using that calculus substantiates a Russellian understanding of ‘logically proper names’. (shrink)

A common starting point for ‘going hybrid’ is the thought that moral discourse somehow combines belief and desire-like aspects, or is both descriptive and expressive. Hybrid meta-ethical theories aim to give an account of moral discourse that is sufficiently sensitive to both its cognitive and its affective, or descriptive and expressive, dimensions. They hold at least one of the following: moral thought: moral judgements have belief and desire-like aspects or elements; moral language: moral utterances both ascribe properties and express desire-like (...) attitudes. This entry concerns hybrid theories of moral language. The main division within such theories is between those treating the expression of desire-like attitudes as semantic and those treating it as pragmatic. This entry exclusively focuses on pragmatic forms of and examines the prospects for treating moral attitude expression as working via certain standard pragmatic mechanisms. I explain these mechanisms, outline the properties that standardly define them, and test to see whether moral attitude expression matches them. At the end, I briefly explain a more minimal pragmatic alternative. The main conclusions are that we should disregard presupposition and conventional implicature views and that the most plausible options for a pragmatic hybrid view are a generalised conversational implicature view and a more minimal pragmatic view. (shrink)

I outline a discourse-based account of presuppositions that relies on insights from the writings of Peter Strawson, as well as on insights from more recent work by Robert Stalnaker and Barbara Abbott. One of the key elements of my account is the idea that presuppositions are “assertorically inert”, in the sense that they are background propositions, rather than being part of the “at issue” or asserted content. Strawson is often assumed to have defended the view that the falsity of a (...) presupposition leads to catastrophe, in the sense that a false presupposition “wrecks the assertive enterprise”. I argue that the discourse-based account in terms of assertoric inertia can explain how cases of presupposition failure can sometimes be non-catastrophic; there are cases in which the assertive enterprise operates smoothly, despite presupposition failure. The chief problem facing this line of argument is to account for cases in which presupposition failure is catastrophic. If presuppositions are assertorically inert, then how can their falsity ever wreck the assertive enterprise? I offer a principled account that delineates the circumstances in which false presuppositions are, and those in which they are not, catastrophic. (shrink)

attributive/referential. Pragmatic intrusion.

This paper investigates the truth conditions of sentences containing indefinite noun phrases, focusing on occurrences in attitude reports, and, in particular, a puzzle case due to Walter Edelberg. It is argued that indefinites semantically contribute the (thought-)object they denote, in a manner analogous to attributive definite descriptions. While there is an existential reading of attitude reports containing indefinites, it is argued that the existential quantifier is contributed by the de re interpretation of the indefinite (as the de re reading adds (...) existential quantification to the interpretation of definites on Kaplan’s analysis). (shrink)

In this paper, we do two things. First, we provide some support for adopting a version of the meaningless strategy with respect to the liar paradox, and, second, we extend that strategy, by providing, albeit tentatively, a solution to that paradox—one that is semantic, rather than logical.

In “The Myth of Factive Verbs” (Hazlett 2010), I had four closely related goals. The first (pp. 497-99, p. 522) was to criticize appeals to ordinary language in epistemology. The second (p. 499) was to criticize the argument that truth is a necessary condition on knowledge because “knows” is factive. The third (pp. 507-19) – which was the intended means of achieving the first two – was to defend a semantics for “knows” on which <S knows p> can be true (...) even if p isn’t true. The fourth (Ibid.) – which seemed necessary for the success of the third – was to defend a pragmatic account of the fact that utterances of <S knows p> typically imply p, on which the implication in those cases is down to conversational implicature. In this paper I’ll go after these goals again, with an emphasis on the second. Our topic will be whether the factivity of “knows” (whatever this amounts to) supports the truth condition on knowledge. A new goal will be to defend my argument against some criticisms from John Turri (2011) and Savas Tsohatzidis (forthcoming). We’ll first look at the truth condition (§1) and factive presupposition (§§2 – 3), before turning to replies to Turri and Tsohatzidis (§§4 – 7). (shrink)

Late medieval theories of language and contemporary philosophy of language have been compared on numerous occasions. Here, we would like to compare two debates: that between the nature of Virtus sermonis , on the medieval side—focusing on a statute published in 1340 by the Faculty of Arts of the University of Paris and its opponents—and, on the contemporary side, the on-going discussion on the semantics-pragmatics distinction and how the truth-value of an utterance should be established. Both the statute and Gricean (...) pragmatics insist on the importance of taking into account the speaker's intention and the context in establishing the signification of an utterance. Yet, upon closer examination, a more convincing parallel might be drawn between the statute's position and current theories in truth-conditional pragmatics. Focusing on a few aspects of the statute that seem to find a counterpart within contemporary pragmatics, we try to show how the issues they give rise to converge, but also diverge. (shrink)

In this paper, I investigate the prospects for using the distinction between rejection and denial to resolve Saul Kripke’s puzzle about belief. One puzzle Kripke presents in A Puzzle About Belief poses what would have seemed a fairly straightforward question about the beliefs of the bilingual Pierre, who is disposed to sincerely and reflectively assent to the French sentence Londres est jolie, but not to the English sentence London is pretty, both of which he understands perfectly well. The question to (...) be answered is whether Pierre believes that London is pretty, and Kripke argues, of each answer, that it is unacceptable. On my proposal, either answer to the question is to be rejected, but neither answer is to be denied, using the resource of partially-defined predicates. After demonstrating how this serves as a solution to the puzzle, I illustrate some philosophical motivations—independent of Kripke’s puzzle —for adopting a view on which belief is a partially defined predicate. I conclude that there are decent prospects for the proposed response to Kripke’s puzzle. (shrink)

There is a fairly general consensus that names are Millian (or Russellian) genuine terms, that is, are singular terms whose sole semantic function is to introduce a referent into the propositions expressed by sentences containing the term. This answers the question as to what sort of proposition is expressed by use of sentences containing names. But there is a second serious semantic problem about proper names, that of how the referents of proper names are determined. This is the question that (...) I will discuss in this paper. Various views consistent with Millianism have been proposed as to how the semantic referents of proper names are determined. These views can be classified into (1) description theories and (2) causal theories, but they can also be classified into (3) social practice theories, on which a name’s referent is determined by a social practice involving the referent, and (4) individualistic theories, on which the referent of the use of a name is determined by the speaker’s state of mind. Here I argue against social practice theories of the sorts proposed by Kripke and Evans and in favor of an individualistic approach to name reference. I argue that social practice is irrelevant to determining name reference and that, as a consequence, names have no meanings in natural languages. In the second part of the paper I motivate and propose a new form of individualistic theory which incorporates features of both description theories and Evans’s social practice theory. (shrink)

a comprehensive, somewhat Gricean theory of speech acts, including an account of communicative intentions and inferences, a taxonomy of speech acts, and coverage of many topics in pragmatics -/- .

From the Editor’s Introduction: "The Internal Limitations of Human Understanding." We carry, unavoidably, the limits of our understanding with us. We are perpetually confined within the horizons of our conceptual structure. When this structure grows or expands, the breadth of our comprehensions enlarges, but we are forever barred from the wished-for glimpse beyond its boundaries, no matter how hard we try, no matter how much credence we invest in the substance of our learning and mist of speculation. -/- The limitations (...) in view here are not due to the mere finitude of our understanding of ourselves and of the world in which we live. They are limitations that come automatically and necessarily with any form of understanding. They are, as we shall see, part and parcel of any organization or ordering of data that we call information. -/- The consequences of these limitations are varied: As a result of them, hermeneutics cannot help but be hermetic; scientific theories of necessity are circumscribed by the boundaries of the ideas that define them; formal systems must choose between consistency and comprehensiveness; philosophical study, because it includes itself within its own proper subject matter, is forced to be reflexive in its self-enclosure. The fundamental dynamic shared by all forms of understanding testifies to an internal limitative keystone. (shrink)

Adviser: Professor Stefan Baumrin In the first chapter I introduce the distinction between metaethics and normative ethics and argue that metaethics, properly conceived, is a part of cognitive science. For example, the debate between rationalism and sentimentalism can be informed by recent empirical work in psychology and the neurosciences. In the second chapter I argue that the traditional view that one’s theory of semantics determines what one’s theory of justification must be is mistaken. Though it has been the case that (...) there are ‘typical’ combinations of semantic and justificational theories this is by no means forced on one. In the third chapter I examine two current kinds of expressivism; that of Blackburn and Copp. Each gives us an example of different combinations of semantic and justificatory theory. In Blackburn’s case he combines a use theory of meaning with a classic emotivist theory of justification, In Copp’s case it is a neo-Gricean philosophy of language with a realist’s theory of justification. I find both of these wanting as they ultimately collapse into relativistic subjectivism. In the fourth and fifth chapter I turn to developing Emotive Realism. The basic idea behind this view is that when someone says ‘x is wrong/right’ that person has (a) expressed a moral emotion about x and at the same time (b) expressed the belief that the emotion in (a) is the correct one to have. The belief expressed in (b) will be true or false depending on one’s theory of justification. In the fourth chapter I argue that we need separate semantic theories for thoughts and sentences. In the fifth chapter I fill in the details of Emotive Realism as I see it. (shrink)

Speech acts are a staple of everyday communicative life, but only became a topic of sustained investigation, at least in the English-speaking world, in the middle of the Twentieth Century.[1] Since that time “speech act theory” has been influential not only within philosophy, but also in linguistics, psychology, legal theory, artificial intelligence, literary theory and many other scholarly disciplines.[2] Recognition of the importance of speech acts has illuminated the ability of language to do other things than describe reality. In the (...) process the boundaries among the philosophy of language, the philosophy of action, the philosophy of mind and even ethics have become less sharp. In addition, an appreciation of speech acts has helped lay bare an implicit normative structure within linguistic practice, including even that part of this practice concerned with describing reality. Much recent research aims at an accurate characterization of this normative structure underlying linguistic practice. (shrink)

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

Reference is a relation that obtains between a variety of representational tokens and objects or properties. For instance, when I assert that “Barack Obama is a Democrat,” I use a particular sort of representational token—i.e. the name ‘Barack Obama’—which refers to a particular individual—i.e. Barack Obama. While names and other referential terms are hardly the only type of representational token capable of referring (consider, for instance, concepts, mental maps, and pictures), linguistic tokens like these have long stood at the center (...) of philosophical inquiries into the nature of reference. Accordingly, and to keep things to a reasonable length, this entry will focus primarily on linguistic reference. Assuming that at least some token linguistic expressions really do refer, a number of interesting questions arise. How, for example, does linguistic reference relate to the act of referring—something that we as speakers do with referential terms? How exactly do referential terms come to refer? That is, in virtue of what do they refer to what they do? Is there a single answer to this question, a single mechanism of reference, or different answers depending on the sort of term in question—or even the circumstances in which a single term is used? And what exactly is the relationship between reference and meaning? Answers to these various questions will turn out to be closely related, and the task of this entry will be to trace out some of the main clusters of answers. (shrink)

Habilitation thesis in psychology. The book consists of a collection of reasoning studies. The experimental investigations will take us from people’s reasoning about probabilities, entailments, pragmatic factors, argumentation, and causality to morality. An overarching theme of the book is norm pluralism and individual differences in rationality research.

Many philosophers suppose that sometimes we think we are saying or thinking something meaningful when in fact we’re not saying or thinking anything at all: we are producing nonsense. But what is nonsense? An account of nonsense must, I argue, meet two constraints. The first constraint requires that nonsense can be rationally engaged with, not just mentioned. In particular, we can reason with nonsense and use it within that-clauses. An account which fails to meet this constraint cannot explain why nonsense (...) appears meaningful. The second constraint requires that nonsense does not express thoughts. An account which fails to meet this constraint undercuts the critical force of the concept of nonsense. I offer an account which meets both constraints. The central idea is that to be under the illusion that some nonsense makes sense is to enter a pretence that the nonsense is meaningful. (shrink)

The historical consensus is that logical evidence is special. Whereas empirical evidence is used to support theories within both the natural and social sciences, logic answers solely to a priori evidence. Further, unlike other areas of research that rely upon a priori evidence, such as mathematics, logical evidence is basic. While we can assume the validity of certain inferences in order to establish truths within mathematics and test scientifi c theories, logicians cannot use results from mathematics or the empirical sciences (...) without seemingly begging the question. Appeals to rational intuition and analyticity in order to account for logical knowledge are symptomatic of these commitments to the apriority and basicness of logical evidence. This chapter argues that these historically prevalent accounts of logical evidence are mistaken, and that if we take logical practice seriously we fi nd that logical evidence is rather unexceptional, sharing many similarities to the types of evidence appealed to within other research areas. (shrink)

In this paper, I analyze the semantics of the first person pronoun “I” from the perspective of the user/producer distinction. In the first part of the paper, I describe the Simple View and propose three interpretations of its thesis. In the second part, I analyze the notions of use and production of a linguistic token. In the next part, I show that all of the interpretations of SV are sensitive to counterexamples. In the end, I discuss possible answers of the (...) proponents of SV and argue against them. The first aim of this paper is to show that SV is wrong, and the second is to convince the reader that the user/producer distinction is of high importance in the philosophy of language. (shrink)

Will it rain tomorrow? Will there be a sea battle tomorrow? Will my death be painful? Wondering about the future plays a central role in our cognitive lives. It is integral to our inquiries, our planning, our hopes, and our fears. The aim of this paper is to consider various accounts of future contingents and the implications that they have for wondering about the future. I argue that reflecting on the nature of wondering about the future supports an Ockhamist account (...) of future contingents according to which many of them are true. Alternative accounts which maintain that no future contingents are true, either by claiming that they are all false or by claiming that they are neither true nor false, face difficulties concerning why it is appropriate to wonder about them. Reflecting on wondering in general, and wondering about the future in particular, suggests that in wondering how the future will go, we implicitly assume that there is a determinate fact of the matter. After presenting an attractive account of interrogative attitudes that has been recently proposed by Jane Friedman and outlining some norms governing wondering, I argue that all accounts of future contingents except Ockhamism face difficulties concerning why it is appropriate to wonder about them. (shrink)

In this paper, I will present a puzzle for logical analyses, such as Russell’s analysis of definite descriptions and Recanati’s analysis of ‘that’-clauses. I will argue that together with Kripke’s disquotational principles connecting sincere assent and belief such non-trivial logical analyses lead to contradictions. Following this, I will compare the puzzle about logical analysis with Frege’s puzzle about belief ascriptions. We will see that although the two puzzles do have similarities, the solutions to Frege’s puzzle cannot be applied mutatis mutandis (...) to the puzzle about logical analysis. Hence, to say it with Kripke, the main thesis of this paper is that the puzzle is a puzzle. A complete solution to the puzzle promises a better understanding of both logical analyses and belief ascriptions. (shrink)

Uno de los principales aportes de Michael Dummett a la filosofía contemporánea fue la idea de que ciertas disputas tradicionales de la metafísica podían ser replanteadas a través de una caracterización semántica del realismo y el antirrealismo. Apoyándose en esta caracterización, Dummett propuso una aproximación ascendente a esas disputas. Dicha aproximación buscaba resolver los desacuerdos metafísicos entre realistas y antirrealistas mediante la formulación de teorías semánticas para ciertos conjuntos de enunciados. En este artículo argumentamos que la caracterización de Dummett no (...) captura las disputas metafísicas tradicionales y que, como consecuencia de ello, dicha caracterización no constituye un buen sustento para la aproximación ascendente. (shrink)

This paper provides a defense of the description theory of proper names by constructing a ‘two-component’ theory of names. Using Kripke’s puzzle about belief as the stepping stone, this paper first points out problems with Kripke’s direct reference theory of names. It then presents the two-component theory of names and defends it against Kripke’s general criticisms of the description theory. It also compares the two-component theory of names against other leading description theories and shows how the two-component theory provides a (...) better analysis of names. The paper offers a comprehensive summary of the debate between the description theory and the direct reference theory of names. At the end, it shows how the two-component theory of names can deal with Kripke’s puzzle and more. (shrink)

This paper concerns Yablo’s theory of asserted content as it is developed in his new book Aboutness. Yablo’s central idea is that in order to specify the asserted content of a sentence, we have to subtract those parts of its full semantic content that concern irrelevant subject matters. The paper argues that it is doubtful whether Yablo’s account successfully deals with its most basic envisaged application: to account for a difference of apparent truth value in cases of ordinary presupposition failure. (...) In addition, some doubts are raised concerning the success of the extension of Yablo’s account to fictional talk, the informativeness of identity statements, and ontological commitments of number talk. (shrink)

It is often claimed that scientists can obtain new knowledge about nature by running computer simulations. How is this possible? I answer this question by arguing that computer simulations are arguments. This view parallels Norton’s argument view about thought experiments. I show that computer simulations can be reconstructed as arguments that fully capture the epistemic power of the simulations. Assuming the extended mind hypothesis, I furthermore argue that running the computer simulation is to execute the reconstructing argument. I discuss some (...) objections and reject the view that computer simulations produce knowledge because they are experiments. I conclude by comparing thought experiments and computer simulations, assuming that both are arguments. (shrink)

A number of authors have suggested that a conditional analysis of dispositions must take roughly the following form: Thing X is disposed to produce response R to stimulus S just in case, if X were exposed to S and surrounding circumstances were auspicious, then X would produce R. The great challenge is cashing out the relevant notion of ‘auspicious circumstances’. I give a general argument which entails that all existing conditional analyses fail, and that there is no satisfactory way to (...) define ‘auspicious circumstances’ just in terms of S, R, and X. Instead, I argue that the auspicious circumstances C for the manifestation of a disposition constitute a third irreducible element of that disposition, and that to pick out (or to ‘individuate’) that disposition one must specify C along with S and R. This enables a new conditional analysis of dispositions that gives intuitively satisfying answers in cases that pose problems for other approaches. (shrink)

One of Strawson's objections to Russell's theory of descriptions is that what are intuitively natural and correct utterances of sentences involving incomplete descriptions come out false by RTD. Russellians have responded, not by challenging Strawson's view that these uses are natural and correct, but by embellishing RTD to accommodate these uses. I pursue an alternative line of attack: I argue that there are circumstances in which "we" would find utterances of such sentences unnatural and improper but "RTD" would sanction. So, (...) RTD clashes with ordinary language, as Strawson suggests. (shrink)

In the Twentieth Century, Logic and Philosophy of Language are two of the few areas of philosophy in which philosophers made indisputable progress. For example, even now many of the foremost living ethicists present their theories as somewhat more explicit versions of the ideas of Kant, Mill, or Aristotle. In contrast, it would be patently absurd for a contemporary philosopher of language or logician to think of herself as working in the shadow of any figure who died before the Twentieth (...) Century began. Advances in these disciplines make even the most unaccomplished of its practitioners vastly more sophisticated than Kant. There were previous periods in which the problems of language and logic were studied extensively (e.g. the medieval period). But from the perspective of the progress made in the last 120 years, previous work is at most a source of interesting data or occasional insight. All systematic theorizing about content that meets contemporary standards of rigor has been done subsequently. (shrink)

The raison d’être of this article is that many a spry-eyed analyst of the works in intelligent computing and robotics fail to see the essential concerning applications development, that of expressing their ultimate goal. Alternatively, they fail to state it suitably for the lesser-informed public eye. The author does not claim to be able to remedy this. Instead, the visionary investigation offered couples learning and computing with other related fields as part of a larger spectre to fully simulate people in (...) their embodied image. For the first time, the social roles attributed to the technical objects produced are questioned, and so with a humorous illustration. (shrink)

In this paper it is shown how a partial semantics for presuppositions can be given which is empirically more satisfactory than its predecessors, and how this semantics can be integrated with a technically sound, compositional grammar in the Montagovian fashion. Additionally, it is argued that the classical objection to partial accounts of presupposition projection, namely that they lack “flexibility,” is based on a misconception. Partial logics can give rise to flexible predictions without postulating any ad hoc ambiguities. Finally, it is (...) shown how the partial foundation can be combined with a dynamic system of common-ground maintenance to account for accommodation. (shrink)

This thesis investigates the nature of the relation between mental representations in successful verbal communication, thought attribution, agreement, and disagreement — a relation which I call “samethinking”. The nature of samethinking raises several foundational questions about the nature of (non-natural) meaning, and the cognitive underpinnings of the emergence of culture. It bears on long-lasting puzzles in the philosophy of mind and language (such as Frege’s puzzle and Kripke’s puzzle about belief). Samethinking does not amount to sharing a reference (with “sharing" (...) I refer to two or more thinkers having something in common): it is more demanding. How can we explain and characterize this relation, more stringent than coreference, that is instantiated by a pair of thoughts when samethinking takes place? It is often assumed that this relation involves sharing a thought content more fine-grained than reference. In this thesis, I argue that the issue is more complex than what has been commonly assumed, and I suggest an alternative model in which sharing thought content is not necessary. (shrink)

The aim of this paper is to pose a problem for theories that claim that belief reports are context dependent. Firstly, I argue that the claim is committed to verbalism, a theory that derives the context sensitivity of belief reports from the context sensitivity of the psychological verbs used in such reports. Secondly, I argue that verbalism is not an attractive theoretical option because it is in conflict with the non-proto-rigidity of verbs like ‘believe’. Finally, I describe various consequences that (...) the argument has for invariantism and moderate contextualism. (shrink)

I first discuss Chihara's claim that the presence of Liar-paradoxical sentences presents no problem for our understanding of natural languages, and argue that this cannot be held as easily as he suggests. I then consider the theories advanced by Martin, van Fraassen, Kripke and Burge which attempt to meet some of the problems involved. I argue that the claim in the first two theories that Liar sentences are ill-formed cannot be maintained, and that Burge's theory is methodologically unsound and seriously (...) incomplete. Kripke's theory, though it gives implausible truth-values to some sentences, is more satisfactory. Finally, I discuss Gupta's revision theory, and provide my own alternative which has the following advantages. First, it facilitates our understanding of Kripke's and Gupta's theories, and of their relationship. Second, it provides a third theory in which we can understand how the presence of the Liar does not radically infect a language. (shrink)

Within the relevant semantics and pragmatics literature the terms “presupposition” and “conventional implicature” are used in a variety of different, but frequently overlapping, ways. The overlaps are perhaps not surprising, given that the two categories of conveyed meaning share the property of remaining constant in the scope of other operators—the property usefully characterize as projectivity. One of my purposes in this paper will be to try to clarify these different usages. In addition to that we will explore two additional properties (...) which are shared by some of these projective contents—strong contextual felicity, and neutralizability. The idea is to try to explain all three properties by taking into account information packaging. (shrink)