The entire development of modern logic is characterized by various forms of confrontation of what has come to be called proof theory with what has earned the label of model theory. For a long time the widely accepted view was that while model theory captures directly what logical formalisms are about, proof theory is merely our technical means of getting some incomplete grip on this; but in recent decades the situation has altered. Not only did proof theory expand into new (...) realms, generalizing the concept of proof in various directions; many philosophers also realized that meaning may be seen as primarily consisting in certain rules rather than in language-world links. However, the possibility of construing meaning as an inferential role is often seen as essentially compromised by the limits of prooftheoretical means. The aim of this paper is to sort out the cluster of problems besetting logical inferentialism by disentangling and clarifying one of them, namely determining the power of various inferential frameworks as measured by that of explicitly semantic ones. (shrink)

Proof-theoretic semantics provides meanings to the connectives of intuitionistic logic without the need for a semantics in the standard sense of an attribution of semantic values to formulas. Meanings are given by the inference rules that, in this case, do not express preservation of truth but rather preservation of availability of a constructive proof. Elsewhere we presented two paraconsistent systems of natural deduction: the Basic Logic of Evidence and the Logic of Evidence and Truth. The rules of BLE (...) have been conceived to preserve a notion weaker than truth, namely, evidence, understood as reasons for believing in or accepting a given proposition. \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$LET_{J}$$\end{document}, on the other hand, is a logic of formal inconsistency and undeterminedness that extends \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$BLE$$\end{document} by adding resources to recover classical logic for formulas taken as true, or false. We extend the idea of proof-theoretic semantics to these logics and argue that the meanings of the connectives in BLE are given by the fact that its rules are concerned with preservation of the availability of evidence. An analogous idea also applies to \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$LET_{J}$$\end{document}. (shrink)

We seek a better understanding of why an inferential semantics devised by Tor Sandqvist yields full classical logic, by providing and analysing a direct proof via a suitable maximality construction.

Characteristic of neo-pragmatism is a commitment to deflationism about semantic properties, and inferentialism about conceptual content. It is usually thought that deflationism undermines the distinction between realistic discourses and others, and that the neo-pragmatists, unlike the classical pragmatists, cannot recognize that truth is a norm of belief and inquiry. I argue, however, that the distinction between realistic discourses and others can be maintained even in the face of a commitment to deflationism, and that deflationists can recognize that truth is a (...) norm of belief and inquiry. If deflationism is true, realistic discourses, it turns out, are those that are inferentially integrated with a large body of other commitments, whereas those that call for an anti-realist treatment are inferentially isolated. Now, Grimm has persuasively argued that inquiry aims at achieving understanding, and that to understand something is, roughly, to grasp a large body of inferential connections in which it features. So, if he is right, realistic discourses are those in which the aim of inquiry can be achieved. This fact, together with an inferential theory of conceptual content, will, I argue, allow neo-pragmatists to recognize truth as a norm of belief and inquiry, despite their commitment to deflationism. (shrink)

It is well known that classical inferentialist semantics runs into problems regarding abnormal valuations. It is equally well known that the issues can be resolved if we construct the inference relation in a multiple-conclusion sequent calculus. The latter has been prominently developed in recent work by Restall, with the guiding interpretation that the valid sequent says that the simultaneous assertion of all of Γ with the denial of all of Δ is incoherent. However, such structures face significant interpretive challenges, (...) and they do not provide an adequate grasp on the machinery of the duality of assertions and denials that could provide an abstract account of inferential semantics; show why the dual treatment is semantically superior. This paper explores a slightly different tack by considering a dual-calculus framework consisting of two, single-conclusion, inference relations dealing with the preservation of assertion and the preservation of denial, respectively. In this context, I develop an abstract inferentialist semantics, before going on to show that the framework is equivalent to Restall’s, whilst providing a better grasp on the underlying proof-structure. (shrink)

The paper discusses Saul Kripke's Normativity Argument against semantic dispositionalism: it criticizes the orthodox interpretation of the argument, defends an alternative reading and argues that, contrary to what Kripke himself seems to have been thinking, the real point of the Normativity Argument is not that meaning is normative. According to the orthodox interpretation, the argument can be summarized as follows: (1) it is constitutive of the concept of meaning that its instances imply an ought, but (2) it is not constitutive (...) of the concept of a disposition that dispositions imply an ought, hence (3) no dispositional analysis of meaning can work. According to my alternative reading, the point of the argument is another one, namely that while (1) dispositionalism is committed to the thesis that speakers have non-inferential knowledge of their unmanifested linguistic dispositions, (2) speakers, as a matter of fact, do not have such a knowledge. A point that is in principle independent from the issue of the normativity of meaning. (shrink)

Inferential erotetic logic and inquisitive semantics give accounts of questions and model various aspects of questioning. In this paper we concentrate upon connections between inquisitiveness, being the core concept of INQ, and question raising, characterized in IEL by means of the concepts of question evocation and erotetic implication. We consider the basic system InqB of INQ, remain at the propositional level and show, inter alia, that: a disjunction of all the direct answers to an evoked question is always (...) inquisitive; a formula is inquisitive if, and only if it evokes a yes–no question whose affirmative answer expresses a possibility for the formula; inquisitive formulas evoke questions whose direct answers express all the possibilities for the formulas, and each question erotetically implies a question whose direct answers express the possibilities for the direct answers to the implying question. (shrink)

In this paper, I utilise the growing literature on scientific modelling to investigate the nature of formal semantics from the perspective of the philosophy of science. Specifically, I incorporate the inferential framework proposed by Bueno and Colyvan : 345–374, 2011) in the philosophy of applied mathematics to offer an account of how formal semantics explains and models its data. This view produces a picture of formal semantic models as involving an embedded process of inference and representation applying (...) indirectly to linguistic phenomena. The final aim of the paper is directed at proposing a novel account of the syntax–semantics interface while shedding light on empty categories, semantically null forms, underspecified content and compositionality as a whole. (shrink)

This is a critical discussion of Jerry Fodor and Ernie Lepore's "Holism". The paper questions the existence of a slippery slope from some inferential liaisons are constitutive of meaning' to all inferential liaisons are constitutive of meaning'. "Interalia", it defends the existence of an analytic/synthetic distinction.

In philosophical semantics, a distinction has been proposed between inferential and referential lexical semantic competence. The former accounts for the relationship of words to the world, the latter for the relationship of words among themselves. Recent neuroscience research suggests that the distinction might be actually neurally implemented. That is, that inferential and referential abilities might be underpinned by two functionally independent cognitive architectures, with partly different neural realizations. This hypothesis is consistent with brain patient data, supporting the (...) notion of a functional double dissociation between inferential and referential abilities, and with neuroscience data, suggesting that inferential and referential abilities are underpinned by at least partly different regions of the human brain. The principal aim of this article is to provide the first comprehensive and critical review of the empirical evidence in favour of such hypothesis. (shrink)

In previous published research (“Conditionals and Inferential Connections: A Hypothetical Inferential Theory,” Cognitive Psychology, 2018), we investigated experimentally what role the presence and strength of an inferential connection between a conditional’s antecedent and consequent plays in how people process that conditional. Our analysis showed the strength of that connection to be strongly predictive of whether participants evaluated the conditional as true, false, or neither true nor false. In this article, we re-analyse the data from our previous research, (...) now focussing on the semantics of conditionals rather than on how they are processed. Specifically, we use those data to compare the main extant semantics with each other and with inferentialism, a semantics according to which the truth of a conditional requires the presence of an inferential connection between the conditional’s component parts. (shrink)

According to inferential role semantics, for any given expression to possess a particular meaning one must be disposed to make or, alternatively, acknowledge as correct certain inferential transitions involving it. As Williamson points out, pejoratives such as ‘Boche’ seem to provide a counter-example to IRS. Many speakers are neither disposed to use such expressions nor consider it proper to do so. But it does not follow, as IRS appears to entail, that such speakers do not understand pejoratives (...) or that they lack meaning. In this paper, I examine recent responses to this problem by Boghossian and Brandom and argue that their proposed construal of the kind of inferential rules governing a pejorative such as ‘Boche’ is to be ruled out on the grounds that it is non-conservative. I defend the appeal to conservatism in this instance against criticism and, in doing so, propose an alternative approach to pejoratives on behalf of IRS that resolves the problem Williamson poses. (shrink)

Inferential Role Semantics is often criticized for being incompatible with the platitude that words of different speakers can mean the same thing. While many assume that this platitude can be accommodated by understanding sameness of meaning in terms of similarity of meaning, no worked out proposal has ever been produced for Inferential Role Semantics. I rectify this important omission by giving a detailed structural account of meaning similarity in terms of graph theory. I go on to (...) argue that this account has a number of attractive features, prominent among them that it makes sameness of meaning probabilistically determine co-reference. (shrink)

Jerry Fodor and Ernie LePore argue against inferential role semantics on the grounds that either it relies on an analytic/synthetic distinction vulnerable to Quinean objections, or else it leads to a variety of meaning holism frought with absurd consequences. However, the slide from semantic atomism to meaning holism might be prevented by distinctions not affected by Quine's arguments against analyticity; and the absurd consequences Fodor and LePore attribute to meaning holism obtain only on an implausible construal of (...) class='Hi'>inferential roles. (shrink)

We develop a novel solution to the negation version of the Frege-Geach problem by taking up recent insights from the bilateral programme in logic. Bilateralists derive the meaning of negation from a primitive *B-type* inconsistency involving the attitudes of assent and dissent. Some may demand an explanation of this inconsistency in simpler terms, but we argue that bilateralism’s assumptions are no less explanatory than those of *A-type* semantics that only require a single primitive attitude, but must stipulate inconsistency elsewhere. (...) Based on these insights, we develop a version of B-type expressivism called *inferential expressivism*. This is a novel semantic framework that characterises meanings by inferential roles that define which *attitudes* one can *infer* from the use of terms. We apply this framework to normative vocabulary, thereby solving the Frege-Geach problem generally and comprehensively. Our account moreover includes a semantics for epistemic modals, thereby also explaining normative terms under epistemic modals. (shrink)

Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational logic, the categoricity (...) problem is generated by the finite nature of the standard calculi and one direction in which it can be solved is to strengthen the deductive systems by adding infinitary rules (such as the ω-rule), i.e., to construct a full formalization. Another main direction is to provide a natural semantics for the standard rules of inference, i.e., a semantics for which these rules are categorical. My aim in this paper is to analyze some recent approaches for solving the categoricity problem and to argue that a logical inferentialist should accept the infinitary rules of inference for the first order quantifiers, since our use of the expressions “all” and “there is” leads us beyond the concrete and finite reasoning, and human beings do sometimes employ infinitary rules of inference in their reasoning. (shrink)

Communication, when defined as an act intended to affect the psychological state of another individual, demands the use of inference. Either the signaler, the recipient, or both must make leaps of understanding which surpass the semantic information available and draw from pragmatic clues to fully imbue and interpret meaning. While research into human communication and the evolution of language has long been comfortable with mentalistic interpretations of communicative exchanges, including rich attributions of mental state, research into animal communication has balked (...) at theoretical models which describe mentalized cognitive mechanisms. We submit a new theoretical perspective on animal communication: the model of inferential communication. For use when existing proximate models of animal communication are not sufficient to fully explain the complex, flexible, and intentional communication documented in certain species, specifically non-human primates, we present our model as a bridge between shallower, less cognitive descriptions of communicative behavior and the perhaps otherwise inaccessible mentalistic interpretations of communication found in theoretical considerations of human language. Inferential communication is a framework that builds on existing evidence of referentiality, intentionality, and social inference in primates. It allows that they might be capable of applying social inferences to a communicative setting, which could explain some of the cognitive processes that enable the complexity and flexibility of primate communication systems. While historical models of animal communication focus on the means-ends process of behavior and apparent cognitive outcomes, inferential communication invites consideration of the mentalistic processes that must underlie those outcomes. We propose a mentalized approach to questions, investigations, and interpretations of non-human primate communication. We include an overview of both ultimate and proximate models of animal communication, which contextualize the role and utility of our inferential communication model, and provide a detailed breakdown of the possible levels of cognitive complexity which could be investigated using this framework. Finally, we present some possible applications of inferential communication in the field of non-human primate communication and highlight the role it could play in advancing progress toward an increasingly precise understanding of the cognitive capabilities of our closest living relatives. (shrink)

Although there is a prima facie strong case for a close connection between the meaning and inferential role of certain expressions, this connection seems seriously threatened by the semantic and logical paradoxes which rely on these inferential roles. Some philosophers have drawn radical conclusions from the paradoxes for the theory of meaning in general, and for which sentences in our language are true. I criticize these overreactions, and instead propose to distinguish two conceptions of inferential role. This (...) distinction is closely tied to two conceptions of deductive logic, and it is the key, I argue, for understanding first the connection between meaning and inferential role, and second what the paradoxes show more generally. (shrink)

This dissertation is concerned with normativity both as an explanatory device in the philosophy of language, logic and epistemology and as a philosophical issue in its own right. Following later Wittgenstein and Sellars, it is argued that language is normative, in the first instance because of the fact that speech acts take place within a structure of social norms and institutions. This fact is then utilized to show that important features of semantic content can be explained in terms of such (...) norms. ;This Sellarsian conception of linguistic usage as the performance of acts within a linguistic game of giving and asking for reasons, leads us to focus on inferential proprieties as central to semantic content. It is, then, natural to look at logical vocabulary, paradigmatically 'entails', as expressing the very normative relations definitive of this content. An idea of Brandom's is developed in providing a formal theory of the inferential content of logical vocabulary. Such normative-inferentialist semantic analyses are developed for a wide range of logical systems. ;A certain conception of justification also falls naturally out of this general theory of language. If asserting is an act performed within a linguistic game, then justification can be thought of as a matter of winning such a game, a successfully defending one's assertion in the face of licensed challenges to it. This account is developed, drawing consequences for the theory of rationality and knowledge. ;The second major issue of the dissertation is the theory of the normative itself and much of the constructive work in the philosophy of language, philosophy of logic and epistemology forms a case study for a particular theory of the normative. On the basis of Wittgensteinian considerations, it is argued that normativity must be understood as resting ultimately on social practice. ;We solve problems of earlier accounts of norms by introducing a novel normative relation between assertions of normative propriety and social practices. Normative assertions do not describe existing social standards, but do nonetheless derive their semantic content from those standards. This argument carried through in detail for cases of logical and epistemic vocabulary in the dissertation. (shrink)

Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational logic, the categoricity (...) problem is generated by the finite nature of the standard calculi and one direction in which it can be solved is to strengthen the deductive systems by adding infinite rules (such as the ω-rule), i.e., to construct a full formalization. Another main direction is to provide a natural semantics for the standard rules of inference, i.e., a semantics for which these rules are categorical. My aim in this paper is to analyze some recent approaches for solving the categoricity problem and to argue that a logical inferentialist should accept the infinite rules of inference for the first order quantifiers, since our use of the expressions “all” and “there is” leads us beyond the concrete and finite reasoning, and human beings do sometimes employ infinite rules of inference in their reasoning. (shrink)

The paper is a study of properties of quasi-consequence operation which is a key notion of the so-called inferential approach in the theory of sentential calculi established in [5]. The principal motivation behind the quasi-consequence, q-consequence for short, stems from the mathematical practice which treats some auxiliary assumptions as mere hypotheses rather than axioms and their further occurrence in place of conclusions may be justified or not. The main semantic feature of the q-consequence reflecting the idea is that its (...) rules lead from the non-rejected assumptions to the accepted conclusions.First, we focus on the syntactic features of the framework and present the q-consequence as related to the notion of proof. Such a presentation uncovers the reasons for which the adjective inferential is used to characterize the approach and, possibly, the term inference operation replaces q-consequence. It also shows that the inferential approach is a generalisation of the Tarski setting and, therefore, it may potentially absorb several concepts from the theory of sentential calculi, cf. [10]. However, as some concrete applications show, see e.g.[4], the new approach opens perspectives for further exploration. (shrink)

In a recent paper, Manuel Pérez Otero attempted to turn the tables on Paul Boghossian's claim that content externalism is incompatible with the 'a priority of our logical abilities'. In reply, Boghossian argued that Pérez Otero's criticism misses the main point of his argument through concentrating on the semantics of singular terms. I elaborate on Boghossian's reply by showing that even taken on its own terms Pérez Otero's paper fails to engage with internalism through systematically misrepresenting what a truly (...) internalistic account of the semantics of singular terms should be. (shrink)

Speakers of a natural language regularly form justified beliefs about what others are saying when they utter sentences of the language. What accounts for these justified beliefs? At one level, we already have a plausible answer: there is a perfectly good ordinary sense in which users of a language know what its sentences mean, and it is very plausible that the hearer’s knowledge of the meaning of S helps explain her justification for her belief about what is said by an (...) utterance of S. But what exactly does our knowledge of sentence meanings consist in? In this essay I advance and defend the view that we know the meanings of sentences in virtue of having a certain distinctive kind of know-how that I call inferential practical knowledge. I argue that this view provides the best explanation for the justification of our beliefs about what is said. In particular, it provides a better explanation than the more conventional and widely accepted view that we know the meaning of S in virtue of possessing the theoretical knowledge that S has such-and-such meaning. (shrink)

Jerry Fodor and Ernie LePore argue against inferential role semantics on the grounds that either it relies on an analytic/synthetic distinction vulnerable to Quinean objections, or else it leads to a variety of meaning holism frought with absurd consequences. However, the slide from semantic atomism to meaning holism might be prevented by distinctions not affected by Quine's arguments against analyticity; and the absurd consequences Fodor and LePore attribute to meaning holism obtain only on an implausible construal of (...) class='Hi'>inferential roles. (shrink)

Jerry Fodor and Ernie LePore argue against inferential role semantics on the grounds that either it relies on an analytic/synthetic distinction vulnerable to Quinean objections, or else it leads to a variety of meaning holism frought with absurd consequences. However, the slide from semantic atomism to meaning holism might be prevented by distinctions not affected by Quine's arguments against analyticity; and the absurd consequences Fodor and LePore attribute to meaning holism obtain only on an implausible construal of (...) class='Hi'>inferential roles. (shrink)

In this paper we develop an inferential account on the meaning and reference of theoretical concepts in physics, mainly based on the pragmatic notion of ‘inferential validity’. Firstly, we distinguish between empirical meaningfulness and theoretical significance as two different modes of meaning, wherein the former depends on consistently encoding experimental values, as proposed by Chang, and the latter on being semantically coherent with other concepts. Secondly, we argue that each of these contributions to the validity of inferences imports (...) a causal and representational mechanism of reference-fixing, respectively. Finally, we will rely on entropy concepts as our case study. (shrink)

While according to the inferentialists, meaning is always a kind of inferential role, proponents of other approaches to semantics often doubt that actual meanings, as they see them, can be generally reduced to inferential roles. In this paper we propose a formal framework for considering the hypothesis of the.

There is no consensus as to whether a Liar sentence is meaningful or not. Still, a widespread conviction with respect to Liar sentences (and other ungrounded sentences) is that, whether or not they are meaningful, they are useless . The philosophical contribution of this paper is to put this conviction into question. Using the framework of assertoric semantics , which is a semantic valuation method for languages of self-referential truth that has been developed by the author, we show that (...) certain computational problems, called query structures , can be solved more efficiently by an agent who has self-referential resources (amongst which are Liar sentences) than by an agent who has only classical resources; we establish the computational power of self-referential truth . The paper concludes with some thoughts on the implications of the established result for deflationary accounts of truth. (shrink)

A speaker utters the grammatically correct phrase ‘x y’, and the hearer understands its meaning. The Naiyāyika claims that the only epistemic instrument that generates the semantic connection between the meaning of x and the meaning of y is testimony. This connection is essentially the phrase-meaning. The Vaiśeṣika wants inference to generate this connection. After presenting the Vaiśeṣika view on this topic, this paper will argue that, the hearer considers the generic categories of |x| and |y|, and infers their ontic (...) relation which finally will figure in the testimonial cognition. For example, when John tells Smith that ‘Jones smokes’, Smith first cognizes the meanings of the words, i.e., the individual called Jones and the activity of smoking. Then Smith infers that ‘John intends to say that the activity of smoking inheres in Jones, since an activity inheres in an individual.’ Thus, inherence which appears as the sematic connection is inferred in this case. If John is a reliable speaker, Smith will have a piece of testimonial knowledge. This is how the Vaiśeṣika’s inference could possibly support linguistic creativity. (shrink)

This paper erects a framework for analyzing some idealized models as (what I call) inferentially veridical representations. It adopts a version of the semantic view of theories that focuses on properties, and mobilizes conceptual resources associated with properties and the way that properties are related in various ways. The outcome is an elaboration of some aspects of the analysis of Jones (2005).

The purpose of this paper is to analyze the structure and the defeasibility conditions of argument from analogy, addressing the issues of determining the nature of the comparison underlying the analogy and the types of inferences justifying the conclusion. In the dialectical tradition, different forms of similarity were distinguished and related to the possible inferences that can be drawn from them. The kinds of similarity can be divided into four categories, depending on whether they represent fundamental semantic features of the (...) terms of the comparison or non-semantic ones, indicating possible characteristics of the referents. Such distinct types of similarity characterize different kinds of analogical arguments, all based on a similar general structure, in which a common genus is abstracted. Depending on the nature of the abstracted common feature, different rules of inference will apply, guaranteeing the attribution of the analogical predicate to the genus and to the primary subject. This analysis of similarity and the relationship thereof with the rules of inference allows a deeper investigation of the defeasibility conditions. (shrink)

The proof of correctness and completeness of a logical calculus w.r.t. a given semantics can be read as telling us that the tautologies (or, more gen erally, the relation of consequence) specified in a model theoretic way can be equally well specified in a proof theoretic way, by means of the calculus (as the theorems, resp. the relation of inferability of the calculus). Thus we know that both for the classical propositional calculus and for the clas sical predicate calculus (...) theorems and tautologies represent two sides of the same coin. We also know that the relation of inference as instituted by any of the common axiom systems of the classical propositional calculus coin cides with the relation of consequence defined in terms of the truth tables; whereas the situation is a little bit more complicated w.r.t. the classical predicate calculus (the coincidence occurs if we restrict ourselves to closed ∀xFx is inferable from Fx without being its conse formulas; otherwise.. (shrink)

The ostensive-inferential model is a model of communication, an alternative to the code model of communication, based on pragmatic competence: it explains human communication in terms of expression and recognition of informative and communicative intentions, founding comprehension on the distinction between literal meaning and the speaker’s meaning. Through informative intentions we try to make evident the content of a message to a receiver, or to make evident what we want to communicate to him/her: communicative intentions are used to make (...) evident the very fact that we intend to communicate. One hypothesis is that ostensive-inferential communication is what makes human language possible. Since an extensive literature has highlighted the role of the Theory of Mind in ostensive-inferential communication, this hypothesis fits with the idea that a mechanism for mentalizing underlies human communication. The aim of the present paper is to stress the role of lower-level mechanisms, specifically of motor simulation, in the recognition of informative and communicative intentions, in order to outline an embodied account of ostensive communication. Specifically, the hypothesis is that this process is involved in language acquisition during development, and that it plays a role in the associative learning process involved in language acquisition during childhood. To this aim, in future research it may be useful to test the involvement of motor simulation (specifically, phono-articulatory and semantic) in the recognition of informative and communicative intentions in toddlers. Since some models of language evolution focus on the role of motor simulation, a supplementary goal is to deepen its role in the biological evolution of language, focusing on the specific link between motor simulation and intentions in the framework of ostensive-inferential model. (shrink)

According to Conceptual Role Semantics ("CRS"), the meaning of a representation is the role of that representation in the cognitive life of the agent, e.g. in perception, thought and decision-making. It is an extension of the well known "use" theory of meaning, according to which the meaning of a word is its use in communication and more generally, in social interaction. CRS supplements external use by including the role of a symbol inside a computer or a brain. The uses (...) appealed to are not just actual, but also counterfactual: not only what effects a thought does have, but what effects it would have had if stimuli or other states had differed. The view has arisen separately in philosophy (where it is sometimes called "inferential," or "functional" role semantics) and in cognitive science (where it is sometimes called "procedural semantics"). The source of the view is Wittgenstein (1953) and Sellars, but the source in contemporary philosophy is a series of papers by Harman (see his 1987) and Field (1977). Other proponents in philosophy have included Block, Horwich, Loar, McGinn and Peacocke (1992). In cognitive science, they include Woods (1981) and Miller and Johnson-Laird (1976). (See references in Block, 1987.). (shrink)

On the basis of passages from John Buridan's Summula Suppositionibus and Sophismata, E. Karger has reconstructed what could be called the 'Buridanian theory of inferential relations between doubly quantified propositions', presented in her 1993 article 'A theory of immediate inference contained in Buridan's logic'. In the reconstruction, she focused on the syntactical elements of Buridan's theory of modes of personal supposition to extract patterns of formally valid inferences between members of a certain class of basic categorical propositions. The present (...) study aims at offering semantic corroboration 'a proof of soundness' to the inferential relations syntactically identified by E. Karger, by means of the analysis of Buridan's semantic definitions of the modes of personal supposition. The semantic analysis is done with the help of some modern logical concepts, in particular that of the model. In effect, the relations of inference syntactically established are shown to hold also from a semantic point of view, which means thus that this fragment of Buridan's logic can be said to be sound. (shrink)

We argue that a formal semantics for music can be developed, although it will be based on very different principles from linguistic semantics and will yield less precise inferences. Our framework has the following tenets: Music cognition is continuous with normal auditory cognition. In both cases, the semantic content derived from an auditory percept can be identified with the set of inferences it licenses on its causal sources, analyzed in appropriately abstract ways. What is special about music (...) class='Hi'>semantics is that it aggregates inferences based on normal auditory cognition with further inferences drawn on the basis of the behavior of voices in tonal pitch space. This makes it possible to define an inferential semantics but also a truth-conditional semantics for music. In particular, a voice undergoing a musical movement m is true of an object undergoing a series of events e just in case there is a certain structure-preserving map between m and e. Aspects of musical syntax might be derivable on semantic grounds from an event mereology, which also explains some cases in which tree structures are inadequate for music. Intentions and emotions may be attributed at several levels, and we speculate on possible explanations of the special relation between music and emotions. (shrink)

This edited book brings together research work in the field of constructive semantics with scholarship on the phenomenological foundations of logic and mathematics. It addresses one of the central issues in the epistemology and philosophy of mathematics, namely the relationship between phenomenological meaning constitution and constructive semantics. Contributing authors explore deep structural connections and fundamental differences between phenomenology and constructivism. Papers are drawn from contributions to a prestigious workshop held at the University of Friedrichshafen. Readers will discover insight (...) into structural connections between the phenomenological concept of meaning constitution and constructivist concepts of meaning. Discussion ranges from more specific conceptualizations in the philosophy of logic and mathematics to more general considerations in epistemology, inferential semantics and phenomenology. Questions such as a possible phenomenological understanding of the relationship between structural rules and particle rules in dialogical logic are explored. Significant aspects of both phenomenology and dialectics, and dialectics and constructivism emerge. Graduates and researchers of philosophy, especially logic, as well as scholars of mathematics will all find something of interest in the expert insights presented in this volume. (shrink)

Semantic Holism is the claim that any semantic path from inferential semantics (the indeterminate semantics forced by the classical inference rules of PC) reaches all the way to classical semantics if it is even one step long. In our joint paper Semantic Holism, Belnap and I showed that some such semantic paths are two steps long, but we left open a number of questions about the lengths of semantic paths. Here I answer the most important of (...) these questions by showing that there are infinitely long semantic paths that begin at inferential semantics but that do not even reach classical semantics. I do this by showing how to construct such an infinite semantic path from the members of the family of (n–1)-out-of-n-disjunction connectives. (shrink)

Proponents of meaning holism often invoke notions of meaning similarity and semantic spatiality in order to counter accusations that holism renders language unstable and chaotic. However, talk of such notions often falls short of being explicit and formal. In this paper I present an algebraically couched theory of inferential similarity and spatiality, motivated by measurement theory, and I apply it to the discussion of meaning holism. I argue that the proposed theory offers new and improved conceptual resources for facing (...) the challenges raised against the thesis. (shrink)

Carnap took the content of a particularsentence or set of sentences to consist in the set ofthe consequences of the sentence or set. This claimequates meaning with inferential role, but itrestricts the inferences to deductive or explicativeones. Here I reject a recent proposal by RobertBrandom, where inductive or ampliative inferences arealso meant to confer contents on expressions. I arguethat if Brandom's inferentialist picture is upheld, andboth explicative and ampliative inferences confermeaning, one consequence of this is that the contentof a (...) sentence is to be read off from our ways ofrationally altering our beliefs. Meaning and contentthen are largely concepts of pragmatics, with no cleartheoretical interest. My critique affects certainaspects of Dummett's meaning-theoretic picture too,and the discussion also links up with the developmentof `dynamic semantics'. (shrink)

In this article I offer a naturalistic defence of semantic externalism. I argue against the following: (1) arguments for externalism rest mainly on conceptual analysis; (2) the community conceptual norms relevant to individuation of propositional attitudes are quasi-analytic; (3) externalism raises serious questions about knowledge of propositional attitudes; and (4) externalism might be OK for “folk psychology” but not for cognitive science. The naturalist alternatives are as follows. (1) Community norms are not anything like a priori; sometimes they are incoherent. (...) (2) Often propositional attitudes lack determinate content: we do not know the content of thoughts or sentences because there is no fully definite content to be known. (3) Often achieving determinate content is a major socially mediated cognitive achievement that depends on just the factors of social and environmental embedding posited as individuative by externalists, so (4) externalism explains how people can, sometimes, come to have, and to know, determinate attitude contents. (5) Reference and content, for both thought and language, are determined by complex and messy dialectical relations involving many such environmental and social factors; consequently, determinate reference, truth-conditions, etc., are somewhat uncommon outcomes. (6) The basic semantic relation is (typically imperfect) socially mediated accommodation between perceptual, cognitive, linguistic, classificatory and inferential dispositions and relevant causal structures in the environment. (7) This accommodation explains how concepts, language, taxonomies, etc., contribute to individuals' rational inductive, explanatory and practical achievements. (8) So externally individuated propositional attitudes are required for cognitive science explanations of individual human rationality and its inductive and explanatory achievements. “Individual rationality ain't (entirely) in the individual head.”. (shrink)

The starting point for this paper is a critical discussion of claims of psychological reality articulated within Borg’s (forth.) minimal semantics and Carpintero’s (2007) character*-semantics. It has been proposed, for independent reasons, that their respective accounts can accommodate, or at least avoid the challenge from psychological evidence. I outline their respective motivations, suggesting various shortcomings in their efforts of preserving the virtues of an uncontaminated semantics in the face of psychological objection (I-II), and try to make the (...) case that, at least for a theory of utterance comprehension, a truth-conditional pragmatic stance is far preferable. An alternative from a relevance-theoretic perspective is offered in terms of mutual adjustment between truth-conditional content and implicature(s), arguing that many “free” pragmatic processes are needed to uncover the truth-conditional content, which can then warrant the expected implicature(s) (III). I finally illustrate the difficulties their accounts have in predicting the correct order of interpretation in cases of ironic metaphor, i.e. metaphor is computed first, as part of truth-conditional content, while irony is inferentially grounded in metaphorical content (IV). (shrink)

Any inferential system in which the addition of new premises can lead to the retraction of previous conclusions is a non-monotonic logic. Classical conditional probability provides the oldest and most widely respected example of non-monotonic inference. This paper presents a semantic theory for a unified approach to qualitative and quantitative non-monotonic logic. The qualitative logic is unlike most other non- monotonic logics developed for AI systems. It is closely related to classical (i.e., Bayesian) probability theory. The semantic theory for (...) qualitative non-monotonic entailments extends in a straightforward way to a semantic theory for quantitative partial entailment relations, and these relations turn out to be the classical probability functions. (shrink)

A total theory of linguistic understanding is often taken to require three subtheories: a syntactic theory, a semantic theory, and a pragmatic theory. The semantic theory occupies an intermediary role – it takes as input structures generated by the syntax, assigns to those structures meanings, and then passes those meanings on to the pragmatics, which characterizes the conversational 1 impact of those meanings. Semantic theories thus seek to explain phenomena such as truth conditions of and inferential relations among sentences/utterances, (...) anaphoric relations among terms, and ambiguity and incoherence of expressions. (shrink)

What are the pillars on which the success of modern science rest? Although philosophers have much discussed what is behind science’s success, this paper argues that much of the discussion is misdirected. The extant literature rightly regards the semantic and inferential tools of formal logic and probability theory as pillars of scientific rationality, in the sense that they reveal the justificatory structure of important aspects of scientific practice. As key elements of our rational reconstruction toolbox, they make a fundamental (...) contribution to our understanding of the success of science.At the same time, any science, however exact, is dominated by approximation, error, and uncertainty, a fact that makes one wonder how science can be so successful. This paper articulates and illustrates general themes—e.g., that truth-preserving arguments often fail to preserve approximate truth—that highlight the need for additional semantic resources. Thus, our proposal is that persistent failures to unravel the reasons behind the success of science in the face of pervasive error and uncertainty should be attributed to an insufficiently rich way of rationally reconstructing scientific and mathematical knowledge. What is missing? This paper claims that there is a third formal method of reasoning that constitutes a distinct pillar on which rests the success of science, namely, perturbation theory. The paper outlines how the representational and inferential tools of perturbation theory differ from those of logic and probability theory, and how they enable us to understand the apparently elusive aspects of the success of science.However, compared to its peers, perturbative reasoning has not received the attention it deserves. As the paper explains, this partly results from the circumstances in which perturbation theory is taught, and partly from the fact that perturbation theory first appears to be a vaguely related collection of methods offering no systematic semantic insight. In an attempt to show that this first impression is wrong, this paper presents its contribution to the semantic dimension of scientific representation and inference in terms of what I call “semantic layering.”. (shrink)