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.

In this article, I defend an account of linguistic comprehension on which meaning is not cognized, or on which we do not tacitly know our language's semantics. On this view, sentence comprehension is explained instead by our capacity to translate sentences into the language of thought. I explain how this view can explain our capacity to correctly interpret novel utterances, and then I defend it against several standing objections.

Pretende-se é elucidar alguns aspectos da teoria pragmática da linguagem de Habermas tal como apresentada no primeiro capítulo de Facticidade e validade relacionando as teses apresentadas nessa parte do livro a teses apresentadas sobretudo na segunda parte de Pensamento pós-metafísico a fim de elucidar com como a teoria discursiva do direito e da democracia apresentada em 1992 tem seu ponto de apoio em uma concepção específica da linguagem. Essa estratégia permite examinar os pressupostos normalmente deixados à sombra nas discussões da (...) teoria do direito e da democracia de Habermas, assim como permite responder a algumas objeções dirigidas a essa teoria. (shrink)

In the old days of descriptivism, fictional reference and non-fictional reference with proper names were treated on a par. Descriptivism was not an intuitive theory, but it meritoriously provided a unitary semantic account of names, whether referentially full or empty. Then the revolution of the new theory of reference occurred. This new theory is definitely more intuitive than descriptivism, yet it comes with a drawback: the referentially full use and the referentially empty use, notably the fictional use, of names are (...) semantically no longer on the same footing. How the use of names from fiction is referentially empty has even been seen as a symptom of its not being a use at all. In this paper, I ask the following question: can one keep the merits of the new theory of reference and still provide a unitary account of both fictional and non-fictional reference with names? My answer is positive, provided that one conceives proper names as a special kind of indexicals. (shrink)

ABSTRACT Classical and intuitionistic logic both validate Ex Contradictione Quodlibet, according to which any proposition whatsoever follows from a contradiction. Many philosophers have found ECQ counter-intuitive, but criticisms of the principle have almost universally been directed from a position of support for relevance or other orthodox paraconsistent logics, according to which some, but not necessarily all, propositions follow from a contradiction. This paper draws attention to the historically significant view that nothing whatsoever follows from a contradiction – Ex Contradictione Nihil. (...) It addresses the key arguments – model-theoretic, proof-theoretic, meaning theoretic and holist – deployed by proponents of ECQ against their standard opponents, and shows that each can be defeated from a position of support for ECN. In the course of answering these arguments, some understanding is developed of possible motivations for ECN and a solid case is built that ECN deserves further investigation. (shrink)

P.F. Strawson contributed to many philosophical domains, including the philosophy of language, the history of philosophy, metaphysics, moral philosophy and philosophical methodology. Most of his contributions in these areas have influenced contemporary debates, either because his views are still defended or because they are still considered worthy of detailed responses. His views on the philosophy of logic have been only rarely discussed, however. My aim in this paper is threefold. First, I provide a systematic account of Strawson’s philosophy of logic. (...) I argue that Strawson is an important predecessor of logical expressivism, a contemporary position in the philosophy of logic most notably defended by Robert Brandom. My main focus is on Strawson’s largely-neglected 1982 paper ‘Logical Form and Logical Constants’, which contains his most mature ideas on the topic. Second, while Strawson’s position is of historical and independent philosophical interest, I argue that he leaves many points unclear. Finally, I propose several clarifications of Strawson’s position. (shrink)

What is the relation of logic to thinking? My dissertation offers a new argument for the claim that logic is constitutive of thinking in the following sense: representational activity counts as thinking only if it manifests sensitivity to logical rules. In short, thinking has to be minimally logical. An account of thinking has to allow for our freedom to question or revise our commitments – even seemingly obvious conceptual connections – without loss of understanding. This freedom, I argue, requires that (...) thinkers have general abilities to respond to support and tension among their thoughts. And these abilities are constituted by following logical rules. So thinkers have to follow logical rules. But there isn’t just one correct logic for thinking. I show that my view is consistent with logical pluralism: there are a range of correct logics, any one of which a thinker might follow. A logic for thinking does, however, have to contain certain minimal principles: Modus Ponens and Non-Contradiction, and perhaps others. We follow logical rules by exercising logical capacities, which display a distinctive first-person/third-person asymmetry: a subject can find the instances of a rule compelling without seeing them as instances of a rule. As a result, there are two limits on illogical thinking. First, thinkers have to tend to find instances of logical rules compelling. Second, thinkers can’t think in obviously illogical ways. So thinking has to be logical – but not perfectly so. When we try to think, but fail, we produce nonsense. But our failures to think are often subjectively indistinguishable from thinking. To explain how this occurs, I offer an account of nonsense. To be under the illusion that some nonsense makes sense is to enter a pretence that the nonsense is meaningful. Our use of nonsense within the pretence relies on the role of logical form in understanding. Finally, while the normativity of logic doesn’t fall directly out of logical constitutivism, it’s possible to build an attractive account of logical normativity which has logical constitutivism as an integral part. I argue that thinking is necessary for human flourishing, and that this is the source of logical normativity. (shrink)

In Making it Explicit Robert Brandom claims that perspectivally hybrid de re attitude ascriptions explain what an agent actually did, from the point of view of the ascriber, whether or not that was what the agent intended to do. There is a well-known problem, however, first brought to attention by Quine, but curiously ignored by Brandom, that threatens to undermine the role of de re ascriptions in the explanation of action, a problem that stems directly from the fact that, unlike (...) de dicto ascriptions, they permit the attribution of inconsistent attitudes to agents. I propose a solution to the problem which I believe is consistent with Brandom’s approach to the nature of intentionality and the explanation of action. (shrink)

This paper considers proof-theoretic semantics for necessity within Dummett's and Prawitz's framework. Inspired by a system of Pfenning's and Davies's, the language of intuitionist logic is extended by a higher order operator which captures a notion of validity. A notion of relative necessary is defined in terms of it, which expresses a necessary connection between the assumptions and the conclusion of a deduction.

When dealing with ‘meaning’ or related notions, one cannot ignore what for a long time was the dominant paradigm in semantics. According to such paradigm, truth-conditional formal semantics for natural language is a theory of semantic competence. In this article, I shall discuss a foundational problem for such semantic program. I shall first be following authors who claim that truth-conditional formal semantics is unable to provide a complete account of lexical competence, and, therefore, it suffers from incompleteness. Moreover, as a (...) few authors observed, a coherent completion of lexical meaning/competence cannot be easily provided in the philosophical framework of truth-conditional semantics. The problem is a consequence of Kripke’s and Putnam’s arguments against the view that semantic values of words are cognitively determined. I shall argue that these arguments undermine the notion that formal semantics can be, at the same time, a theory of truth-conditions and a theory of semantic competence. I shall outline and critically discuss two general attempts to solve this problem, which I shall refer to as the social/ideal route and the concepts route. The conclusions of the article are deliberately open. I shall argue that both these attempts are exposed to conceptual troubles and counterintuitive consequences, and so the lexical problem still remains a deep and unresolved issue for semantics. (shrink)

Verificationism has had a bad press for many years. The view that the meaning of our words is bound up with the discernible difference it would make if what we say, think or write were true or false, nowadays is scorned as “positivist” though it was shared by eminent empiricists and pragmatists. This paper seeks to sort through some of the complexities of what is often portrayed as an unduly simplistic conception. I begin with an overview of its main logical (...) empiricist varieties before considering which aspects of it fall victim to which of the three major types of objection that have been raised against it. I will conclude that what is left standing is a modest proposal that seems worth further investigation. (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)

A response to a recent critique by Cem Bozşahin of the theory of syntactic semantics as it applies to Helen Keller, and some applications of the theory to the philosophy of computer science.

Infectious logics are systems that have a truth-value that is assigned to a compound formula whenever it is assigned to one of its components. This paper studies four-valued infectious logics as the basis of transparent theories of truth. This take is motivated as a way to treat different pathological sentences differently, namely, by allowing some of them to be truth-value gluts and some others to be truth-value gaps and as a way to treat the semantic pathology suffered by at least (...) some of these sentences as infectious. This leads us to consider four distinct four-valued logics: one where truth-value gaps are infectious, but gluts are not; one where truth-value gluts are infectious, but gaps are not; and two logics where both gluts and gaps are infectious, in some sense. Additionally, we focus on the proof theory of these systems, by offering a discussion of two related topics. On the one hand, we prove some limitations regarding the possibility of providing standard Gentzen sequent calculi for these systems, by dualizing and extending some recent results for infectious logics. On the other hand, we provide sound and complete four-sided sequent calculi, arguing that the most important technical and philosophical features taken into account to usually prefer standard calculi are, indeed, enjoyed by the four-sided systems. (shrink)

Donald Davidson was one of the most influential philosophers of the last half of the 20th century, especially in the theory of meaning and in the philosophy of mind and action. In this paper, I concentrate on a field-shaping proposal of Davidson’s in the theory of meaning, arguably his most influential, namely, that insight into meaning may be best pursued by a bit of indirection, by showing how appropriate knowledge of a finitely axiomatized truth theory for a language can put (...) one in a position both to interpret the utterance of any sentence of the language and to see how its semantically primitive constituents together with their mode of combination determines its meaning (Davidson 1965, 1967, 1970, 1973a). This project has come to be known as truth-theoretic semantics. My aim in this paper is to render the best account I can of the goals and methods of truth-theoretic semantics, to defend it against some objections, and to identify its limitations. Although I believe that the project I describe conforms to the main idea that Davidson had, my aim is not primarily Davidson exegesis. I want to get on the table an approach to compositional semantics for natural languages, inspired by Davidson, but extended and developed, which I think does about as much along those lines as any theory could. I believe it is Davidson’s project, and I defend this in detail elsewhere (Ludwig 2015; Lepore and Ludwig 2005, 2007a, 2007b, 2011). But I want to develop and defend the project while also exploring its limitations, without getting entangled in exegetical questions. (shrink)

This paper examines the prospects for a conceptual or functional role theory of moral concepts. It is argued that such an account is well-placed to explain both the irreducibility and practicality of moral concepts. Several versions of conceptual role semantics for moral concepts are distinguished, depending on whether the concept-constitutive conceptual roles are wide or narrow normative or non-normative and purely doxastic or conative. It is argued that the most plausible version of conceptual role semantics for moral concepts involves only (...) ‘narrow’ conceptual roles, where these include connections to motivational, desire-like, states. In the penultimate section it is argued, contrary to what Wedgwood, Enoch and others have claimed, that such an account of moral concepts cannot plausibly be combined with the claim that moral concepts refer to robust properties. (Published with Open Access.). (shrink)

It seems uncontroversial that Dalton wrongly believed that atoms are indivisible. However, the correct analysis of Dalton’s belief and the way it relates to contemporary beliefs about atoms is, on closer inspection, far from straightforward. In this paper, I introduce four features that any candidate analysis is plausibly bound to respect. I argue that theories that individuate concepts at the level of understanding are doomed to fail in this endeavor. I formally sketch an alternative and suggest that cases such as (...) the one presented provide support for the claim that the genuine source for concept individuation is public sharable thought. (shrink)

Theory and Reality is about the connection between true theories and the world. A mathematical framefork for such connections is given, and it is shown how that framework can be used to infer facts about the structure of reality from facts about the structure of true theories, The book starts with an overview of various approaches to metaphysics. Beginning with Quine's programmatic "On what there is", the first chapter then discusses the perils involved in going from language to metaphysics. It (...) criticises contemporary intuition-driven metaphysics, comments on naturalistic approaches, and then presents the main proposition put forward in the thesis: we should base metaphysics on model theory. In chapters 2 to 5, mathematical treatments are given of concepts that we need: theories, metaphysics, necessitation and semantics. These are used in chapters 6 and 7 to prove that, seen from a certain informative view point, any true theory will give rise to an isomorphism between that theory and the world. This conclusion is similar to Wittgenstein's in the Tractatus, but differs in that it places the structural relationship on the level of whole theories, rather than single propositions. (shrink)

The aim of this dissertation is to offer and defend a correspondence theory of truth. I begin by critically examining the coherence, pragmatic, simple, redundancy, disquotational, minimal, and prosentential theories of truth. Special attention is paid to several versions of disquotationalism, whose plausibility has led to its fairly constant support since the pioneering work of Alfred Tarski, through that by W. V. Quine, and recently in the work of Paul Horwich. I argue that none of these theories meets the correspondence (...) intuition---that a true sentence or proposition in some way corresponds to reality---despite the explicit claims by each to capture this intuition. I distinguish six versions of the correspondence theory, and defend two against traditional objections, standardly taken as decisive against them, and show, plainly, that these two theories capture the correspondence intuition. Due to the importance of meeting this intuition, only these two theories stands a chance of being a satisfactory theory of truth. I argue that the version of the correspondence theory incorporating a simple semantic representation relation is preferable to its rival, for which the representation relation is complex. I present and argue for a novel version of this correspondence theory according to which truth is a correspondence property sensitive to semantic context. One consequence of this context-sensitivity is that an ungrounded sentence does not express a proposition. In addition to accounting for the similarity between the Liar and Truth-Teller sentences, this theory of truth is immune to the Liar Paradox, including empirical versions. It is argued that the Liar Paradox is devastating to all of the other theories above, and even formal theories of truth designed to solve it, such as the revision and vagueness theories. Customized versions of the Liar Paradox besetting this theory are handled by its context-sensitivity, and by enforcing the distinction between truth and truth value. This same pair of considerations also yields solutions to Lob's Paradox and Grelling's Paradox. Arguments similar to those given to defend this correspondence theory show that with one minor alteration, Kripke's fixed point theory may be used to model this correspondence notion of truth. (shrink)

semantic minimalism and moderte contextualism.

Two different conceptions of language dominate philosophical reflection on the nature of human language and of human linguistic powers. The first is the conception of language as a calculus of meaning, and of understanding as computational interpretation. This conception is rooted in the exigencies of function-theoretic logic. The notions pivotal to this conception are truth, truth-condition, sense and force, naming and describing (representation), and theory of meaning for natural languages. The alternative conception is an anthropological one, which conceives of language (...) above all as a form of human communicative behaviour, constituted by human practices and manifest in human action. The notions pivotal to this conception are practice, language-game, use and rule of use as given by explanations of meaning, understanding and criteria of understanding. The fundamental principles that inform each of these conceptions are explained. The radical flaws of calculus conceptions of language are laid bare. (shrink)

A combination of epistemic logic and dynamic logic of programs is presented. Although rich enough to formalize some simple game-theoretic scenarios, its axiomatization is problematic as it leads to the paradoxical conclusion that agents are omniscient. A cut-free labelled Gentzen-style proof system is then introduced where knowledge and action, as well as their combinations, are formulated as rules of inference, rather than axioms. This provides a logical framework for reasoning about games in a modular and systematic way, and to give (...) a step-by-step reconstruction of agents omniscience. In particular, its semantic assumptions are made explicit and a possible solution can be found in weakening the properties of the knowledge operator. (shrink)

This paper defends the thesis that counterfactuals are strict conditionals. Its purpose is to show that there is a coherent view according to which counterfactuals are strict conditionals whose antecedent is stated elliptically. Section 1 introduces the view. Section 2 outlines a response to the main argument against the thesis that counterfactuals are strict conditionals. Section 3 compares the view with a proposal due to Aqvist, which may be regarded as its direct predecessor. Sections 4 and 5 explain how the (...) view di ers from the theories of counterfactuals advocated by Stalnaker and Lewis, and from some contextualist strict conditional accounts of counterfactuals that have emerged recently. Finally, section 6 addresses the thorny issue of disjunctive antecedents. (shrink)

Logic is breaking out of the confines of the single-agent static paradigm that has been implicit in all formal systems until recent times. We sketch some recent developments that take logic as an account of information-driven interaction. These two features, the dynamic and the social, throw fresh light on many issues within logic and its connections with other areas, such as epistemology and game theory.

This paper examines causal theories of reference with respect to how plausible an account they give of non-physical natural kind terms such as ‘gene’ as well as of the truth of the associated theoretical claims. I first show that reference fixism for ‘gene’ fails. By this, I mean the claim that the reference of ‘gene’ was stable over longer historical periods, for example, since the classical period of transmission genetics. Second, I show that the theory of partial reference does not (...) do justice to some widely held realist intuitions about classical genetics. This result is at loggerheads with the explicit goals usually associated with partial theories of reference, which is to defend a realist semantics for scientific terms. Thirdly, I show that, contrary to received wisdom and perhaps contrary to physics and chemistry, neither reference fixism nor partial reference are necessary in order to hold on to scientific realism about biology. I pinpoint the reasons for this in the nature of biological kinds, which do not even remotely resemble natural kinds (i.e., Lockean real essences) as traditionally conceived. (shrink)

According to the most popular non-skeptical views about intuition, intuitions justify beliefs because they are based on understanding. More precisely: if intuiting that p justifies you in believing that p it does so because your intuition is based on your understanding of the proposition that p. The aim of this paper is to raise some challenges for accounts of intuitive justification along these lines. I pursue this project from a non-skeptical perspective. I argue that there are cases in which intuiting (...) that p justifies you in believing that p, but such that there is no compelling reason to think this is because your intuition is based on your understanding of the proposition that p. (shrink)

In the first section of this paper I define meaning holism (MH) and compare it to related theses. In the second section I review several theories of meaning that incorporate MH as a feature, and in the third section I discuss the question whether and how MH is consistent with the assignment of semantic values to linguistic expressions. Finally, in the fourth section I present the main objections raised against MH in the literature and the answers given to them.

This paper presents and motivates a new philosophical and logical approach to truth and semantic paradox. It begins from an inferentialist, and particularly bilateralist, theory of meaning---one which takes meaning to be constituted by assertibility and deniability conditions---and shows how the usual multiple-conclusion sequent calculus for classical logic can be given an inferentialist motivation, leaving classical model theory as of only derivative importance. The paper then uses this theory of meaning to present and motivate a logical system---ST---that conservatively extends classical (...) logic with a fully transparent truth predicate. This system is shown to allow for classical reasoning over the full (truth-involving) vocabulary, but to be non-transitive. Some special cases where transitivity does hold are outlined. ST is also shown to give rise to a familiar sort of model for non-classical logics: Kripke fixed points on the Strong Kleene valuation scheme. Finally, to give a theory of paradoxical sentences, a distinction is drawn between two varieties of assertion and two varieties of denial. On one variety, paradoxical sentences cannot be either asserted or denied; on the other, they must be both asserted and denied. The target theory is compared favourably to more familiar related systems, and some objections are considered. (shrink)

Modality and Anti-Metaphysics critically examines the most prominent approaches to modality among analytic philosophers in the twentieth century, including essentialism. Defending both the project of metaphysics and the essentialist position that metaphysical modality is conceptually and ontologically primitive, Stephen McLeod argues that the logical positivists did not succeed in banishing metaphysical modality from their own theoretical apparatus and he offers an original defence of metaphysics against their advocacy of its elimination. -/- Seeking to assuage the sceptical worries which underlie modal (...) anti-realism, McLeod provides an original contribution to essentialist epistemology, engaging with current debates about modality and suggesting that standard essentialist approaches to some issues in the philosophies of logic and language require revision. -/- This book offers valuable insights to professional philosophers, postgraduates and advanced undergraduates interested in metaphysics, philosophy of logic or the history of twentieth-century analytic philosophy. (shrink)

The present paper is intended to analyse from a theoretical point of view the relationships between natural language and idiolects in the context of communication by means of the Davidson–Dummett controversy on the nature of language. I will explore from a pragmatic point of view the reliability of an alternative position inspired by the recent literalism/contextualism debate in philosophy of language in order to overcome some limitations of Dummett’s and Davidson’s perspectives on language, idiolects and communication.

We examine a crucial question for the World Wide Web: What does a Uniform Resource Identifier (URI) mean? Crucial for the next-generation Semantic Web, can it refer to things outside web-pages? The Web is a universal information space for naming and accessing information via URIs. However, the classical philosophical problems of meaning and reference that have been the source of debate within the philosophy of language return when the Web is given as the foundation for a knowledge representation with the (...) Semantic Web. Debates on the Semantic Web about the meaning and referential status of a URI are explored as analogues to debates about the meaning and reference of names in the philosophy of language. Three main positions are inspected: the logical position, as exemplified by the descriptivist theory of reference, the direct reference position, as exemplified by Putnam and Kripke’s causal theory of reference, and a Wittgensteinian position that views URIs as a public language, as exemplified by Web search engines. These positions show that debates within the philosophy of language are alive and well on the Web, and so in the philosophy of computer science. (shrink)

It is often thought that endowing a demonstrative with a Fregean sense leaves no room for maintaining that it is also a rigid designator. In addition, some philosophers claim that indexicals - surely the paradigms of singular reference - pose a serious threat to the Fregean sense/ reference approach as they do not comply with the view that singular terms have Fregean senses. In this paper I argue that neither of these is true.

In this paper I argue that there can be genuine (as opposed to merely verbal) disputes about whether a sentence form is logically true or an argument form is valid. I call such disputes ?cases of deviance?, of which I distinguish a weak and a strong form. Weak deviance holds if one disputant is right and the other wrong, but the available evidence is insufficient to determine which is which. Strong deviance holds if there is no fact of the matter. (...) In section 2 I argue that weak deviance need not be trivial and may even be interesting. Section 3 considers what it could mean to say that logic is determined by a theory, especially a theory of meaning, an idea that arises in section 2. In section 4 I discuss the dispute between classical and relevance logicians over entailment and argue that it is a case of strong deviance. Finally, in section 5 I show that the result of the previous section is not absolute but relative to the background logic used in reaching it. (shrink)

Wright's _Truth and Objectivity_ seeks to systematise a variety of anti-realist positions. I argue that many objections to the system are avoided by transposing its talk of truth into talk of warrant. However, a problem remains about debates involving 'direction-of-fit'. -/- Dummett introduced 'anti-realism' as a philosophical view informed by mathematical intuitionism. Subsequently, the term has been associated with many debates, ancient and modern. _Truth and Objectivity_ proposes that truth admits of different characteristics; these various debates then concern which characteristics (...) truth has, in a given area. This pluralism of truth is at odds with deflationism. I find fault with Wright's argument against deflationism. However, transmission of warrant across the Disquotational Schema suffices to ground Wright's proposal, which survives as a pluralism of classes of warrant. -/- The two main debates concern whether truths are always knowable (Epistemic Constraint) and whether disagreements in an area must be down to some fault of one of those involved (Cognitive Command). I introduce Assertoric Constraint, relating to Epistemic Constraint, where truths cannot outstrip the availability of warrant for their assertion. I solve a structural problem by a comparison with a constitutive analysis of Moore's Paradox. The relativism of blameless disagreement is problematic. Wright's response invokes a sort of ignorance which he calls `Quandary'. I criticise this before proposing an alternative. -/- I agree with Wright that Dummett's original anti-realism does not belong among the positions which Wright seeks to systematise. However, two candidates show that the proposal suffers a weakness. Wright thinks Expressivism misguided, and implicitly rules out his earlier non-cognitivism about necessity. I argue that Expressivism has promise, and I endorse Wright's Cautious Man argument for non-cognitivism about necessity; both involve play with `direction-of-fit'. I conclude that this sort of anti-realist debate needs to be accommodated by the proposal. (shrink)

The central problem of the dissertation concerns the possibility of a distinction between truth-evaluable and non-truth-evaluable utterances of a natural language. The class of truth-evaluable utterances includes assertions, con. ectures and other kinds of speech act susceptible of truth evaluation. The class of non-truth-evaluable utterances includes commands, exhortations, wishes i.e. utterances not evaluated as being true or false. The problem is placed in the context of radical interpretation theory and it shown that it is a substantial problem of Davidson‘s early (...) theory of radical interpret at ion. I consider the possibility of distinguishing between locutionary and illocutionary act in uttering a sentence and its significance in the present project. I discuss the suggestion that the mood of the verb of the sentence signifies the required distinction between truth-evaluable utterances and non-truth-evaluable ones. I argue that no criterion for the distinction based on the mood of the verb is adequate. The solution that I propose to the problem of classifylng truth-evaluable utterances appeals to mental states. The view that grounds this line of inquiry is that the truth-evaluability of an utterance is a characteristic of it exclusively relevant to the doxastic dimension of the speaker’s mind. I discuss the constraints that the nature of radical interpretation puts upon the way we construe the notion of belief. I propose that a possible classification of mental states into doxastic and non-doxastic that would result in a classification of utterances into truth-evaluable and non-truthevaluable ones can be given by an elaborated version of a decision theoretic scheme. I suggest that a decision theoretic scheme based on a decision theory that, like Savage’s theory, grants independence axioms is a better candidate to offer a solution to the central problem of the dissertation than a scheme based on a non- standard decision theory such as Richard Jeffrey’s. I conclude by showing that the proposal I make satisfies the constraints I have considered and that it can be accommodated by a radical interpretation theory. (shrink)

While most theoreticians of meaning in the first half of the twentieth century subscribed to a representational theory (viewing meanings as entities stood for by the expressions), the second half of the century was marked by the rise of various versions of use-theories of meaning. The roots of this ‘pragmatist turn’ are detectable in the writings of the later Wittgenstein, the Oxford speech act theorists (Austin, Grice) and the American neopragmatists (Quine, Sellars). Though it is now rather popular (and sometimes (...) even fashionable) to invoke the use-theory of meaning, it is by far not so popular to inquire what such a theory really is. In this paper we try to give at least a part of the answer, whereby we find out that the usual conception of such a theory is unsatisfactory. We propose that for an improvement we must, together with Wittgenstein and Sellars, conceive language as a (tool of a) rule-based activity, which enables us to replace the concept of disposition, usually constituting the backbone of the use-theory, by the concept of propriety. The resulting normative version of the use-theory then becomes the investigation of the rules which expressions acquire vis-`a-vis the rules of the relevant language games – especially of the rules of inference. (shrink)

In this paper the informativeness account of assertion (Pagin in Assertion. Oxford University Press, Oxford, 2011) is extended to account for inference. I characterize the conclusion of an inference as asserted conditionally on the assertion of the premises. This gives a notion of conditional assertion (distinct from the standard notion related to the affirmation of conditionals). Validity and logical validity of an inference is characterized in terms of the application of method that preserves informativeness, and contrasted with consequence and logical (...) consequence, that is defined in terms of truth preservation. The proposed account is compared with that of Prawitz (Logica yearbook 2008, pp. 175-192. College Publications, London, 2009). (shrink)

This volume includes a target paper, taking up the challenge to revive, within a modern (formal) framework, a medieval solution to the Liar Paradox which did ...

Is it possible to give a justification of our own practice of deductive inference? The purpose of this paper is to explain what such a justification might consist in and what its purpose could be. On the conception that we are going to pursue, to give a justification for a deductive practice means to explain in terms of an intuitively satisfactory notion of validity why the inferences that conform to the practice coincide with the valid ones. That is, a justification (...) should provide an analysis of the notion of validity and show that the inferences that conform to the practice are just the ones that are valid. Moreover, a complete justification should also explain the purpose, or point, of our inferential practice. We are first going to discuss the objection that any justification of our deductive practice must use deduction and therefore be circular. Then we will consider a particular model of justificatory explanation, building on Georg Kreisel’s concept of informal rigour. Finally, in the main part of the paper, we will discuss three ideas for defining the notion of validity: (i) the classical conception according to which the notion of (bivalent) truth is taken as basic and validity is defined in terms of the preservation of truth; (ii) the constructivist idea of starting instead with the notion of (a canonical) proof (or verification) and define validity in terms of this notion; (iii) the idea of taking the notions of rational acceptance and rejection as given and define an argument to be valid just in case it is irrational to simultaneously accept its premises and reject its conclusion (or conclusions, if we allow for multiple conclusions). Building on work by Dana Scott, we show that the last conception may be viewed as being, in a certain sense, equivalent to the first one. Finally, we discuss the so-called paradox of inference and the informativeness of deductive arguments. (shrink)

The article aims at exposition, commenting and interpreting Frege’s theory of meaning, based on the requirement to distinguish, in the meaning of a sign, the level of sense (Sinn) and the correlative level of reference (Bedeutung). The author directs attention to some logico-linguistic reasons which seem to have urged Frege to advocate the differential conception of meaning. In accordance with Frege’s decision to use the theoretical notions of sense and reference, the relevant semantic features of a proper name as well (...) as of a declarative sentence are explored. Since only something which constitutes what someone who understands the word or expression implicitly grasps can be counted as a possible ingredient in meaning, the claim is made that entities on the level of reference (objects, truth-values) are not undeniable ingredients of meaning. Sense therefore is left in the role of a genuine semantic concept. Keywords: Frege, language, meaning, sense, reference. (shrink)

This chapter focuses on alternative logics. It discusses a hierarchy of logical reform. It presents case studies that illustrate particular aspects of the logical revisionism discussed in the chapter. The first case study is of intuitionistic logic. The second case study turns to quantum logic, a system proposed on empirical grounds as a resolution of the antinomies of quantum mechanics. The third case study is concerned with systems of relevance logic, which have been the subject of an especially detailed reform (...) program. Finally, the fourth case study is paraconsistent logic, perhaps the most controversial of serious proposals. (shrink)

Kiinnostukseni kohteena seuraavassa on tietty suosittu ”intellektualistinen” käsitys kielen ja käsitteiden oppimisesta ja ymmärtämisestä. Käsitys on sinällään hyvin periteinen, ja voidaan väittää, että se on ollut ainakin piilevästi sisäänrakennettuna useiden uuden ajan filosofien teorioissa. Jätän tämän väitteen tarkemman erittelyn kuitenkin filosofian historioitsijoiden selvitettäväksi, ja keskityn seuraavassa käsityksen enemmän tai vähemmän julkilausuttuihin ilmentymiin nykyajan filosofiassa. Se on vaikuttanut monissa vaikutusvaltaisissa lähestymistavoissa kieleen, merkitykseen ja mieleen.

Suppose we have an idea of what counts as communication, more precisely as a communicative event. Then we have the further task of dividing communicative events into successful and unsuccessful. Part of this task is to find a basis for this evaluation, i.e. appropriate properties of speaker and hearer. It is argued that success should be evaluated in terms of a relation between thought contents of speaker and hearer. This view is labelled ‘classical’, since it is justifiably attributable to both (...) Locke and Frege (section 2). Most of the paper is devoted to discussing competing contemporary views, such as behaviorist/pragmatist views (section 4), requirements of knowledge (section 5), of reliability (section 6) and that success should be defined in terms of public language semantics rather than in terms of thought content (section 7). (shrink)

Truth is one of the central subjects in philosophy. It is also one of the largest. Truth has been a topic of discussion in its own right for thousands of years. Moreover, a huge variety of issues in philosophy relate to truth, either by relying on theses about truth, or implying theses about truth.

Can an epistemic conception of truth and an endorsement of the excluded middle (together with other principles of classical logic abandoned by the intuitionists) cohabit in a plausible philosophical view? In PART I I describe the general problem concerning the relation between the epistemic conception of truth and the principle of excluded middle. In PART II I give a historical overview of different attitudes regarding the problem. In PART III I sketch a possible holistic solution.

(T5) ϕ → ◊Kϕ |-- ϕ → Kϕ where ◊ is possibility, and ‘Kϕ’ is to be read as ϕ is known by someone at some time. Let us call the premise the knowability principle and the conclusion near-omniscience.2 Here is a way of formulating Fitch’s proof of (T5). Suppose the knowability principle is true. Then the following instance of it is true: (p & ~Kp) → ◊K(p & ~Kp). But the consequent is false, it is not possible to know (...) p & ~Kp. That is because the supposition that it is known is provably inconsistent.3 The inconsistency requires us to deny the possibility of the supposition, yielding ~◊K(p & ~Kp). This, together with the above instance of the knowability principle, entails ~(p & ~Kp), which is (classically) equivalent to p → Kp. Since p occurs in none of our undischarged assumptions, we may generalize to get near-omniscience, ϕ → Kϕ. QED. (shrink)