Meaning as an inferential role.pdf

8/14/2019 Meaning as an inferential role.pdf

1/36

Meaning as an Inferential RoleAuthor(s): Jaroslav PeregrinSource: Erkenntnis (1975-), Vol. 64, No. 1 (Jan., 2006), pp. 1-35Published by: SpringerStable URL: http://www.jstor.org/stable/20013377.

Accessed: 04/10/2013 10:20

Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at.http://www.jstor.org/page/info/about/policies/terms.jsp

.JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of

content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms

of scholarship. For more information about JSTOR, please contact [email protected].

.

Springeris collaborating with JSTOR to digitize, preserve and extend access toErkenntnis (1975-).

http://www.jstor.org

This content downloaded from 128.250.144.144 on Fri, 4 Oct 2013 10:20:40 AMAll use subject to JSTOR Terms and Conditions
http://www.jstor.org/action/showPublisher?publisherCode=springerhttp://www.jstor.org/stable/20013377?origin=JSTOR-pdfhttp://www.jstor.org/page/info/about/policies/terms.jsphttp://www.jstor.org/page/info/about/policies/terms.jsphttp://www.jstor.org/page/info/about/policies/terms.jsphttp://www.jstor.org/page/info/about/policies/terms.jsphttp://www.jstor.org/page/info/about/policies/terms.jsphttp://www.jstor.org/stable/20013377?origin=JSTOR-pdfhttp://www.jstor.org/action/showPublisher?publisherCode=springer


2/36

Erkenntnis (2006) 64:1-35DOI 10.1007/sl0670-005-4698-l? Springer 2006

JAROSLAV PEREGRIN

MEANING AS AN INFERENTIAL ROLE

ABSTRACT. While according to the inferentialists, meaning is always a kind ofinferential role, proponents of other approaches to semantics often doubt that actualmeanings, as they see them, can be generally reduced to inferential roles. In thispaper we propose a formal framework for considering the hypothesis of the "generalinferentializability of meaning". We provide very general definitions of both"semantics" and "inference" and study the question which kinds of semantics can bereasonably seen as engendered by inferences. We restrict ourselves to logical con?stants; and especially to the question of the fesaibility of seeing themeanings of thoseof classical logic in an inferential way. The answer we reach ispositive (although withsome provisos).

1. THE INFERENTIALIST TRADITION

Contemporary theoreticians of meaning can be divided, with a degreeof oversimplification, into those seeing the meaning of an expression asprincipally a matter of what the expression denotes or stands for, andthose seeing it as a matter of how the expression is used. A prominent

place among the latter is assumed by those who seek the basis ofmeaning in the usage of an expression, in the "language games" we playwith it; and a prominent place among them is assumed by those whoclaim that meaning is a matter of the role of the expression w.r.t. therules of the language games, especially the inferential rules, which are,as Brandom (1994) points out, crucial for our all-important game of"giving and asking for reasons". From this viewpoint, the meaning ofan expression is, principally, its inferential role.Brandom (1985, p. 31) characterizes the inferentialist tradition(which, according to him, can be traced back to Leibniz) in the fol?lowing way:

The philosophical tradition can be portrayed as providing two different models for thesignificances which are proximal objects of explicit understanding, representationaland inferential. We may call "representationalism" the semantically reductive viewthat inference is to be explained away in favor of more primitive representationalrelations.

http://www.jstor.org/page/info/about/policies/terms.jsphttp://www.jstor.org/page/info/about/policies/terms.jsphttp://www.jstor.org/page/info/about/policies/terms.jsp


3/36

2 JAROSLAV PEREGRIN... By "inferentialism", on the other hand, one would mean the complementarysemantically reductive order of explanation which would define representational

features of subsentential expressions in terms of the inferential relations of sentencescontaining them.

Various degrees of commitment to inferentialism can be found alsowithin the writing of some of the founding fathers of analytic phi?losophy. Thus, Frege's first account for the concept of "conceptualcontent", which he presents in his Begriffsschrift (1879, pp. 2-3), is

distinctively inferentialist:The contents of two judgments can differ in two ways: first, itmay be the case that[all] the consequences which may be derived from the first judgment combined withcertain others can always be derived also from the second judgment combined withthe same others; secondly this may not be the case ... I call the part of the content

which is the same in both the conceptual content.

Similarly, Wittgenstein assumed a distinctively inferentialist stand?point in a particular stage of the development of his thought from theTractarian representationalism to the more inclusive use theory ofmeaning of the Investigations. In his Remarks on the Foundation ofMathematics (1956, pp. 24, 398) we can read:

The rules of logical inference cannot be either wrong or right. They determine themeaning of the signs ...We can conceive the rules of inference - I want to say - asgiving the signs their meaning, because they are rules for the use of these signs.

Recently, the philosophical foundations of inferentialism have beenelaborated especially by Brandom (1994, p. 144):It is only insofar as it is appealed to in explaining the circumstances under whichjudgments and inferences are properly made and the proper consequences of doing sothat something associated by the theorist with interpreted states or expressions qualifiesas a semantic interpr?tant, or deserves to be called a theoretical concept of a content.

Hence, according to Brandom (2000, p. 30), the inferentialistsemantic explanationsbeginning with proprieties of inference ... explain propositional content, and in termsof both go on to explain the conceptual content expressed by subsentential expres?sions such as singular terms and predicates.1

All of this indicates that the idea of identifying meanings withinferential roles is worth investigating. However, its viability has beenoften challenged (see, e.g. Prior 1960/1961, or Fodor and LePore1993). The most straightforward challenges amount to claiming thatthe meanings that some of our expressions clearly seem to carrycannot be envisaged as creatures of inference. This invites the generalquestion, which I would like to address in this paper:



4/36

MEANING AS AN INFERENTIAL ROLE 3

(*) Which kinds of meanings can be conferred on words by means of inferential rules?I will neither endorse a specific version of inferentialism, nor arguefor inferentialism as a philosophical position, nor discuss its philo?sophical foundations (I have done so elsewhere - see esp. Peregrin2001, Chapter VIII, 2004b). Instead, I will focus on establishing aframework which would allow to make the question (*) reasonablyprecise and I will make some rather technical points which I think arerelevant for the debate - though their exact philosophical significance

may not be obvious.I will simply presuppose that languages possess inferential struc?

tures, i.e. that in any language worth its name there are some sen?tences which can be (correctly) inferred from other sentences. (Canwe have a language without such a structure? We can have something,but I do not think it would be a language in a non-metaphoric senseof the word.) I will also presuppose that this structure is not derivedfrom the truth-valuations of the sentences or from truth-conditions.(How, then, does it come into being? Brandom sees it as a kind ofcommitment- or entitlement-preservation - to say that A is inferablefrom X is to say that whoever is committed [entitled] to X is com?mitted [entitled] toA. This may lead to a finer inferential apparatus ofthe kind ofthat presented by Lance 1995- but Iwill not go into thesedetails here.) In addition to inference, we will consider the relation ofincompatibility, which sometimes also plays a vital role within in?ferentialist explanations. (This is connected to another importantpoint related to the very nature of inference. It is often assumedthat X\- A amounts to a prescription: an obligation to assert A whenone has asserted X, to pass over from the thought that X to thethought that A, etc. But this is obviously not the case, for such pre?scriptions simply could never be obeyed, it being impossible to assertall consequences of one's assertion, or think all consequences of one'sthought. Hence X h A is much more reasonably construed as a con?straint: the exclusion of the possibility to deny A when one has as?serted X, i.e. the incompatibility of X with the negation of A.)As it does not seem reasonable to presuppose that for each wordthere must be a meaning-conferring inferential pattern independentof those of other words, we do not exclude the possibility that the

meaning of a word is specifiable only in a mutual dependence withmeanings of other words - i.e. that the pattern constitutive of themeaning of a word involves other words. From this viewpoint itmight be better to talk, more generally, about furnishing semanticsfor a language than about conferring meaning on a single word.



5/36

4 JAROSLAV PEREGRIN

(Establishing semantics for a language is conferring meanings on allits words; whereas conferring meaning on one of its words may beinextricable from conferring meanings on other words.)

Hence itmay be better if we reformulate the above question as(**) Which kinds of semantics are determined by inferential rules?

However, to be able to deal with this question a rigorous manner, wemust first clarify or explicate all the terms occurring in it; and this isthe theme for the upcoming sections. Let us start from the term"inferential".

In what follows, I will restrict my attention to logical vocabulary,which offers the most perspicuous stratum of language (especially inthe formal languages which we have come to employ to regiment the

natural ones). This should not be read as rejecting the possibility ofthe inferential treatment of other parts of our vocabulary. On thecontrary, I believe semantics of any kind of expression can be con?strued as a kind of "inferential role" (though in the case of empirical

words this presupposes extending the concept of inference beyond itsusual limits, to "inferences" from the world to language and viceversa2). However, here Iwant to restrict myself to the simplest case oflogical words.

2. INFERENCE AND INCOMPATIBILITY

A {strong) inferential structure is an ordered pair (S, hs), where S is aset whose elements are called statements and \-$ is a relation betweenfinite sequences of elements of S and elements of S. If the sequence(A\,..., An) of statements is in the relation hs to the statement A thenwe will write simply

A\,...,An \~sA

We will use the letters A, Au A2,..., B, C for statements, the letters X,Y, Z for finite sequences thereof, and U9 Kfor sets of statements. IfXis a sequence of statements, then X* will be the set consisting of all itsconstituent statements.

We defineCn(U) = {A\ there is a sequence Xsuch thatX* ? U

zndX\-sA}We will say that U is closed if Cn(U) = U.



6/36


We will say that(S, hs) is standard iff for every X, Y, Z, A, B, C:(REF)A hs A(EXT) ifX, Y hs A, thenX, B,Y\-SA(CON) ifX, ?, ?, Y hs 5, thenX, A,Y\-SB(PERM) ifX, A, B, Y hs C, then X, 5, ?, 7 hs C(CUT) ifX, ?, Y hs 5 and Z hs A, then X, Z, Y hs 5

The properties of hs spelled out by these sch?mas will be also calledreflexivity, extendability, contractibility, permutability and transitivity.(The sch?mas are also known as identity, thinning, contraction, per?mutation and cut.)An incompatibility structure is an ordered pair (S, J_s)> where S is aset of statements and _L_s s a set of finite sequences of elements of S. Ifthe sequence A\,...,An belongs to _Ls, we will write

?sA\,...,An

We will say that a set U of statements is consistent if there is nosequence X such that X* ? ?/ and _L_sX.

We will say that (S, _L_s) is standard iff for every X, F, Z, ^4,B, C(EXT) ifXs X, 7, then Xs X, A, Y(CON) if J_sX, A, A, Y, then _LS ^, ^(PERM) if?s X, ?, 5, Y, then J_sX, 5, A, Y

Let (S, hs) be an inferential structure. Let us define J_s as follows:_L_sX=Def. X hs A forevery A.

The resulting incompatibility structure (S, J_s)will t>ecalled induced^.Let conversely (S, i_s) be an incompatibility structure. LetX hs A =Def. -U Y, X, Z for every Y and Z such that _LSY, A, Z.

The resulting inferential structure (S, hs) will be called induced by.THEOREM 1. If an inferential structure is standard, then theincompatibility structure induced by it is standard. If an incompati?bility structure is standard, then the inferential structure induced by itis standard.



7/36

6 JAROSLAV PEREGRINPROOF. Most of it is trivial, so let us prove only that if an incom?patibility structure is standard, then the induced inference is transi?tive. Hence we have to prove that if

(i) ?SW,X,A,Y, W^forevery W andW suchthat ?SW,B, W,and(ii) _LS , Z, W for every W and W such that _LS , A, W,then

(iii) 1^W,X,Z,Y,W for every W andW suchthat ?SW, B,W.It is clear that (ii) is equivalent to(ii') i_sW, X, Z, F,W for every W, X, Y and usuell that

?SW,X,A,Y,Wand hence to(ii") for everyXand Fit is the case that _LS , ^ Z, F, H^ for every fFand W such that UW,X,A, F, W.

And it is clear that (iii) is a consequence of (i) and (ii"). DA generalized inferential structure (gis) is an ordered triple

(S, hs, J-s). It is called standard iff the following conditions are ful?filled:(1) (S,hs) is standard;(2) (S, _Ls) is standard;(3) if -LsX thenX hs A for every A;(4) ifX hs A then _LS, X, Z for every Y and Z such that ?SY,A, Z.

A standard gis is called perfect, iff itmoreover fulfills the following:(5) ifX hs A for every A, then _Ls^ (i.e. J_s is induced by hs)(6) if _LS, JJT, for every F and Z such that ?sY,A, Z, thenX\-SA

(i.e. hs is induced byJ_s)

Thus, in a perfect structure, incompatibility is reducible to inference(X is incompatible iff everything is inferable from it) and vice versa(A is inferable form X iff everything which is incompatible with A isalso incompatible with X).Let us now prove one more general result concerning standard gis's.



8/36

MEANING AS AN INFERENTIAL ROLE 7THEOREM 2. Let (S,hs,?s) be a standard gis. Then Cn(X*) isinconsistent only if ?$X.PROOF. Let Cn(X*) be inconsistent. This means that there exists asequence Y=A\,...,An of statements such that 7* COz(X*) and _L_s^This further means that there exist Xl5...,X? so that X* ? X* andXi hs At. But due to the extendability and permutability of hs, itfollows that X hs Ai. Thus, whatever is incompatible with Ax must beincompatible with X; hence L$X,A2,...,An, and hence, as _L_s is

permutable, it is thecase that -L_s^2, ...,An,X. Then, as whatever isincompatible with A2 is incompatible with X, it is the case that

_L_s^b,... ? m X, X, and so on. Ultimately, _LsX,..., X, and, as _L_s scontractible, it is the case that J_sX. D

3. INFERENCE AND TRUTH-PRESERVATION

Suppose we have a set V of truth valuations of elements of S. i.e. asubset of {0,1}5. (Thus, valuations can be identified with subsets ofS.) The pair (S, V) will be called a semantic system. Then we candefine the relation Ns of entailment and the property's of incompat?ibility as follows:X l=sA iff v(A) = 1 for every ve V such that v(B)= 1 for every5gX* JJ-sX iff for no veV it is the case that v(B) = 1 for everyBexThen (S, |=s, -"-s) is a gis; and we will say that it is the gis of (S, V).It is easily checked that this gis is standard.Let us call a gis (S, hs, J_s) truth-preserving if there is a F such that(S, hs, J_s) is the structure of (S, V). We have seen that standardnessis a necessary condition of truth-preservingness; now we will showthat it is also a sufficient condition - hence that a gis is truth-pre?

serving iff it is standard.THEOREM 3. A gis is truth-preserving if it is standard.PROOF. Let V be the class of all closed and consistent subsets of S.We will first prove that thenXhs A iffX Ns A. The direct implica?tion is straightforward: ifX hs A and X* ? U for some Ue V, thenAeCn(U) and hence, as Uis closed, AeU. So we only have to provethe inverse implication.Hence let X hs A. This means that whenever UeV and X* C U,AeU; i.e. that AeU for every U such that



9/36

8 JAROSLAV PEREGRIN

(i) X* cu(ii) U is consistent (i.e.Y* C U for no Y such that _LS)(iii) U is closed (i.e. Cn(U) = U).AsJrs is reflexive, JT C O? (JT).As it is transitive, Cn(Cn(X*)) =Cn(X*). This means that Cn(X*), in the role of U, satisfies (i) and (iii),and hence if it is consistent, then AeCn(X*). As a consequence wehave: either AeCn (X*% rfC Cn(X*) for some Fsuch that J_sF. Inboth cases itmust be the case thatZ hs A for some sequence Z all of

whose members belong to jf. Due to the extendability and contractibility of hs, this means that F hs A for some sequence F with thesame elements as Xand hence, due to the permutability of hs, X hs A.Now we will prove that J-s^iff-^^; and as the direct implicationis again obvious, it is enough to prove that -&$X entails _Ls^- So let itbe the case that -U-sX. This means that X* ? U for no Ue V; and asX* C Cn(X*\ that Cn(X*) ? U for no UeV. But as Cn(X*) is closedand V is the set of all closed and consistent subsets of S, Cn(X*) isbound to be inconsistent. Hence, according to Theorem 2, J_s^.

Thereby the proof is finished. DThis means that a structure is truth-preserving if and only if it is

standard; and therefore we have a reason to be interested in standardstructures: for is not truth-preservation what logic is about? True, foran inferentialist, truth-preservation is not prior to inference, but evenshe would probably want to have inference explicable as truth-pres?ervation - at the end of the day, if not at the beginning. She mightwant to inverse the order of explanation and claim that 'truth is thatwhich is preserved by inference'. Hence should we pay specialattention to standard structures?

There may appear to be reasons not to do so. Thus, for example,Lance (1995) and Lance and Kremer (1994, 1996) have forcefullyargued that the notion of inference appropriate to the Brandomianinferentialist framework is one that does justice to relevant, ratherthan classical logic. This indicates that the true inferential structure ofnatural language might not be standard - we should not expect that itwill comply to (EXT). However, here I think we must be mindful ofan important distinction.

Given a collection R of rules, we can ask what can be inferred(proved, justified, substantiated ...) in their terms. And it seems clearthat in the intuitive sense of "inference", A can, for example, alwaysbe inferred from A, independently of the nature of R - A is alwaysjustified given A, and hence (REF) appears to be vindicated. Also ifA



10/36

MEANING AS AN INFERENTIAL ROLE 9can be inferred - in this sense - from X (A is justified given X), it canbe inferred from anything more than X (A is justified given anysuperset X of X - the justification is the same, simply ignoring anyextra elements of X). Hence from this viewpoint we should alsoaccept (EXT), and similarly all the other structural rules.

This indicates that given a "substandard" inferential relation, thequestion whether A is inferable from X in terms of the relation isambiguous. Besides the obvious answer that A is inferable from X iffit is in the given relation to it, there is the response that it is soinferable if it can be obtained from X in terms of the given relation

plus the obvious properties of inference (in the intuitive sense of theword). Hence we have inference in the narrow, and inference in thewider sense: whereas inferability in terms of R in the narrow sensesimply amounts to R, inferability in terms of R in the wide senseamounts to the standard closure of R. Hence special attention forstandard inferential structures might be vindicated by the fact thatinference in the wider sense does inevitably lead to them.

Moreover, it seems to be precisely this closure which interconnectsinference with truth-preservation (i.e. consequence). We claimed thatinference should be construable as truth-preserving not only on the

non-inferentialist construal, according to which it is merely anexpedient of our account for truth-preservation, but also on the inferentialist account, according to which it underlies truth-preserva?tion. This indicates why the basic inferential structure should be"sub-standard": it should be a part of, and extendable to, a standardstructure. Furthermore, whereas on the non-inferentialist construal itis simply the case that the closer it is to truth-preservation the better(and it is usually taken for granted that the results of Tarski andG?del block the possibility of covering the whole of it), on the inferentialist construal this need not be the case. However, there should

be a unique way from it to truth-preservation: for the truth-preser?vation must have arisen from inference.Hence even if we accept the arguments in favor of the relevantistaccount for inference, there is a sense in which we can still see

inference as standard and thus amounting to truth-preservation. Infact, on the relevantist construal,

inference = truth-preservation + relevance]but as we do not take truth as more basic than inference, we cannottake the 'underlying' at face value and we must transform this into

truth-preservation = inference ? relevance



11/36

10 JAROSLAV PEREGRIN

And the "subtraction" of relevance seems to amount to forming thestandard closure.Also it seems that what has been just said about inference and

inferential structures applies mutatis mutandis to incompatibility andincompatibility structures: If we delimit a collection of incompatiblesets, then besides a set being incompatible in the narrow sense ofbeing a member of this collection there is again the wider sense inwhich it is incompatible iff its incompatibility follows from the defi?nition of the collection plus the obvious properties of incompatibility.But we should note that generalized inferential structures, especiallythe rules (3) and (4) interconnecting inference and incompatibility,are more problematic from this viewpoint. In fact, they may mark adeeper than just terminological issue between the relevantists andnon-relevantists:3 it seems to be possible that the relevantist, eved ifshe admitted that there is a sense of "inference" in which inference isalways standard (thought this is not the sense she would prefer), andthere is a sense on "incompatibility" in which incompatibility is al?

ways standard, may still deny that inference and incompatibility inthese senses are tied together by the ex falso quodlibet rule (3).

There are also different arguments against the standardness ofinferential structures. If we take natural language at face value, then

we might wonder whether we can take truth-preservation itself asstandard. The point is that many sentences of natural language ac?quire truth-values only when embedded within a context: thus thoughthe statement He is bald does not have a truth value by itself, itacquires one when following The king of France is wise. Hence we

may say that The king of France is wise followed by He is bald entailsThe king of France is bald, but this statement is surely not entailed byHe is bald followed by The king of France is wise. This gives us areason to wonder whether we can see truth-preservation itself ascomplying to (PERM). The standard solution to this, of course, is torestrict logical investigations to those sentences which are not contextdependent; but there remains also the possibility of taking it at facevalue which may lead to an approach to semantics different from theone investigated here (see Peregrin in press-a, for a sketch).

All in all, we conclude that both from the non-inferentialist andfrom the inferentialist viewpoint we can see inference as "approxi?

mating" truth-preservation (though the "approximating" can be ta?ken literally only in the former case). How, generally, can we gettruth-preservation out of inference? Well, we saw that, for example,the relation of truth-preservation arising from alleviating the



12/36

MEANING AS AN INFERENTIAL ROLE 11relevance requirement from relevantist inference might amount to the

minimal standard relation containing the inferential relation. How?ever, we will take a more general approach to the topic, which willemerge from our explication the of the terms "semantics" and"determines". But beforehand, let us consider one more non-inferentialist aspect of the situation.

4. EXPRESSIVE RESOURCES OF SEMANTIC SYSTEMS

Though from the inferentialist viewpoint, we establish semantics bymeans of inferences, from a more common viewpoint, semantics issomething which is here prior to inferences and we use inferences onlyto "capture" it. From the latter viewpoint, the acceptable truth-val?uations of a semantic system delimit what is possible, i.e. represent"possible worlds", and a statement can be semantically characterizedby the class of worlds in which it is true. Hence classes of possibleworlds are potential semantic values of statements; and languages

may differ as to their "expressive power".Take the system ({A,5}, {{A, 5}, {A}, {?}, 0}), i.e. a system withtwo statements and all possible truth-valuations. If we number thevaluations in the order in which they are listed, we can see that thestatement A belongs to 1 and 2, whereas B belongs to 1 and 3; hence ifwe switch to the possible-world-perspective, then A expresses {1,2},whereas B expresses {1,3}. There is no statement expressing {1}, or{1,4}, or, say, {2,3,4}. This can be improved by extending the lan?

guage: we can, for example, add a statement C expressing {1}:({A,B,C},{{A,B,C},{A},{B},?})4

To make these considerations more rigorous, we need some moreterminology. Let F= (S,V) be a semantic system. For every state?ment A from S9 let \A\ denote the set of all and only elements of Vwhich contain A; hence let

MI=Def. {Ue v\AeU}A subset V of V is called expressible inF iff there is an A


13/36


Fully expressible systems constitute a proper subset of the set ofsemantic systems; however, in some respects we may want to restrictour attention to them. The point is that it seems that if our ultimatetarget is natural language, then we should not take a lack ofexpressive resources too seriously. A natural language may, for var?ious contingent reasons, lack some words and consequently somesentences, but this does not seem to be a matter of its 'nature' -natural languages are always flexible enough to take in their stride thecreation of new expressive resources whenever needed.5 Therefore it

may often seem reasonable to simply presupposefull

expressibility,or

at least something close to it (like Boolean expressibility).Fully expressible systems have some properties which not all

semantic systems have. An example is spelled out by the followingtheorem:

THEOREM 4. The gis of an expressible semantic system is perfect.PROOF. Let X Ns A for every A. Let # be an element of S such that

|#|= 0. Then X Ns # and hence X cannot be part of any element of Vwhich does not contain #. But as # belongs to no such element,neither can X, and hence -U-sX. Let it now be the case that -U-sY,X,Zfor every 7 and Z such that -tt-Y,A,Z. Now suppose there is a Ue Vsuch thatX* C U, but A %U. Let BeS be such that \B\= {U}. Thenobviously -U-sA,B9 but not -1LSX, B. D

We can see that the only properties of the semantic system used inthe proof are the expressibility of the empty set and of every single?ton. This indicates that we do not need full expressibility; and indeedit can be shown that Boolean expressibility, or even expressibility ofthe empty set plus the expressibility of the complement of everyexpressible set is enough.6

5. SEMANTIC SYSTEMS AND SEMANTICS

Clearly the question (**) makes sense only provided we have a noninferentialist explication of "semantics" - i.e. it makes little sense toan inferentialist who denies the possibility of such an explication.

However, the fact that we will provide such an independent expli?cation should not be construed as building the rejection of inferen?tialism into the foundation of our approach. On the contrary, thepoint of our effort is in checking whether the prima facie indepen



14/36

MEANING AS AN INFERENTIAL ROLE 13dence could perhaps be eliminated - and if so, then inferentialismwould appear to be vindicated (at least to the extent to which weadmit that our delimitation of semantics is quite general).

So how can we delimit a general concept of semantics independentof inferences? Elsewhere (see Peregrin 1995) I argued that the gen?eralization of the concept of semantics interpretation, as the concept isused in logic, comes down to "minimal" compositional mapping ver?ifying some sentences and falsifying others. I subsequently argued(Peregrin 1997) that different semantic interpretations of this kindcan still often be seen as amounting to the same semantics (in theintuitive sense of the word); and I concluded that what makesinterpretations substantially different are differences within therespective spaces of acceptable truth valuations which they institute.In other words, I came to the conclusion that the most generalexplication of "semantics" is a space of truth-valuations, i.e. that it isprovided by our above concept of semantic system. This conclusionaccords with the approach pioneered by van Fraassen (1971) andrecently elaborated by Dunn and Hardegree (2000). As it would bebeyond the scope of the present paper to argue for this at length, Igive here only a digest.

Semantic interpretation seems obviously to go hand in hand with atruth-valuation of sentences: sentences (or at least some of them), bybeing semantically interpreted, become true or false. However, thisdoes not necessarily mean that semantic interpretation fixes the truthvalues of all sentences - surely a sentence such as "The sun shines"does not become true or false by being made to mean what it does.What semantic interpretation generally does is to impose limits onpossible truth-valuations: e.g., it determines that if "The sun shines"is true, then "The sun does not shine" must be false; hence that thesentence "The sun shines and the sun does not shine" is bound to bealways false, etc. This means that semantic interpretation should putsome constraints on the possible truth-valuations of sentences.7

Moreover, many philosophers of language (most notablyDavidson, 1984) have argued that all there is to meaning must consistin truth conditions. Now let us think about the ways truth conditionscan be articulated: we must say something of the form

X is true iff F,where X is replaced by the name of a sentence and F by a descriptionof the conditions - i.e. a sentence. Hence we need a language in whichthe truth conditions are expressed - a metalanguage. However, then



15/36

14 JAROSLAV PEREGRINour theory will work only so long as we take the semantics of the

metalanguage at face value - in fact we will merely have reduced thetruth conditions of the considered sentence, X, to a sentence ofthe metalanguage, namely the one replacing 7 And to require thatthe semantics of the latter be explicated equally rigorously as that ofX would obviously set an infinite regress in motion.This indicates that itmight be desirable to refrain from havingrecourse to a metalanguage and instead to make do with the re?sources of the object language, the language under investigation.Hence suppose that we would like to use a sentence of this verylanguage in place of 7 Which sentence should it be? The truthconditions of X are clearly best captured by X itself; but using X in

place of 7 would clearly result in an uninteresting truism. But, at leastin some cases, there is the possibility of using a different sentence ofthe same language. So let us assume that we use a sentence Z in placeof 7 Saying "Xis true if..." or "Xis true only if..." with Z in placeof the "..." amounts to claiming that X is entailed by Z and that Xentails Z, respectively. (Claiming '"Fido is a mammal" is true if"Fido is a dog" is claiming that "Fido is a mammal" is entailed by"Fido is a dog'".) And claiming that X is entailed by Z in turnamounts to claiming that every truth-valuation which verifies Zverifies also X - or that any truth-valuation not doing so is notacceptable. Hence, the specification of the range of acceptable truthvaluations represents that part of the specification of truth-conditionswhich can be accounted for without mobilizing the resources of an?other language.8If we accept this, then the question (**) turns on the relationshipbetween semantic systems (spaces of truth-valuations of sentences)and inferential structures (relations between finite sequence of sen?tences and sentences), in particular on the way in which the latter arecapable of "determining" the former. So let us now turn our atten?tion to this determining.

6. THE INFERENTIALIZABILLITY OF SEMANTICS

An inference can be seen as a means of excluding certain truth-val?uations of the underlying language: stipulating X h A can be seen asexcluding all truth-valuations which contain X and do not contain A.In this sense, every inferential structure determines a certain semanticsystem (and if we agree that meanings are grounded in truth condi?tions, thereby it also confers meanings on the elements of the



16/36


underlying language). And hence the question which kinds ofmeanings are conferable inferentially is intimately connected with thequestion which semantic systems can be determined by inferentialstructures. This leads to the definition: the gis (S, h, _L) determines thesemantic system {S,V), where V is the set of all vwhich fulfill thefollowing conditions:(i) if v(B)= 1 for every constituent B of X and X\~ A, then v(A)= 1;(ii) if _LX, then v(A) * 1 for at least one AeX*.

Now the latter question might prima facie seem trivial: we haveseen that every semantic system has an inferential structure; does thisinferential structure not determine this very system? However, theanswer is notoriously negative: an inferential structure of a semanticsystem might determine a different semantic system (though, ofcourse, a system which has the same inferential structure).Let S= {A,B} and let F consist of the two "truth-value-swapping"valuations, i.e. the valuations {^4} and {B}. Let us consider all thepossible instances of inference for S, and for each of them the valu?ations we exclude by its adoption:

h A 0, {B}h B 0,{^}A\-AB\-A {B}A,B\- A -B\-BA\-B {A}A,B\-B -

This means that no combination of the inferences is capable ofexcluding the valuation {A, B}; and also no combination is capable ofexcluding 0 without excluding either {A} or {B}. In other words, noinferential structure determines the system ({A, B},{{A},{B}}).Now consider, in addition, the possible instances of incompati?bility, and the valuations excluded by them:

10 0,{A},{B},{A,B}LA {A},{A,B}LB {B},{A,B}LA,B {A,B}With their aid, it becomes possible to exclude {A,B}, by stipulatingLA, B. However, it is still not possible to exclude 0 without excludingeither {A} or {B}. Hence no gis determines ({A, B},{{A},{B}}). Now



17/36


this appears alarming: for the semantics we have just considered isprecisely what is needed to make B into the negation of A (and viceversa). This indicates that inferentialism might fall short of conferringsuch an ordinary meaning as that of the standard negation.In fact, this should not be surprising at all. What we need tocharacterize negation is the stipulation that (i) if a statement is true,its negation isfalse, and (ii) if a statement isfalse, its negation is true.

However, what we can stipulate in terms of inferences is that astatement is true if some other statements are true. In terms ofincompatibility we can also stipulate that some statements cannot betrue jointly, hence that if some statements are true, a statement isfalse, which covers (i) - but we still cannot cover (ii).

As can be easily observed, the situation is similar w.r.t. disjunctionand implication. In the former case, it is easy to exclude the valua?tions which make one of the disjuncts true and the disjunction false(by the inferences A h A v B and B h A v B), but we cannot excludeall those which make the disjunction true and both disjuncts false. Inthe latter, we can easily guarantee that the implication is true if theconsequent is true, and that it is true only if the antecedent is false orthe consequent is true (B h A ?? B and A, A ?> B h B), but we cannotguarantee that it is true if the antecedent is false.

Does this mean that the standard semantics for the classicalpropositional calculus isnot inferential? And if so, how does it squarewith the completeness of the very calculus - for does not the com?pleteness proof show that the axiomatic (i.e. inferential) delimitationof the calculus coincides with the semantic one? In fact, it is indeednot inferential, which does not contradict its completeness. The axiomatization of the calculus yields us its inferential structure, but thisstructure does not determine the semantics of the calculus. As a

matter of fact, it determines another semantics, which, however,shares the set of tautologies with the calculus (which is what vindi?cates the completeness proof).

7. THE GENTZENIAN GENERALIZATION

Let us now adopt a notation different from the one used so far and writeX\

instead of?X.



18/36


In this way, we can get inference and incompatibility under one roofstarting to treat h as a relation between finite sequences of statementsand finite sequences of statements of length not greater than one. Theordered pair (S,hs) with hs of this kind will be called a weak infer?ential structure. Such a structure will be called standard if the followingholds (where G is a sequence of statements of length at most one):

(REF)A hs A(EXT) ifX, F hs G, thenX, B, Y hs G(CON) ifX, A, A, Y hs G, then X, A, Y hs G(PERM) ifX, A, B, Y hs G, then X, B, A,YhsG(CUT) ifX, A,Y\-SG and Z hs A, thenX, Z, F hs G(EXT7) ifXhs,thenXhs,4

If (S, hs) is a weak inferential structure, then the strong inferentialstructure which arises out of restricting hs to instances with non?empty right-hand sides, will be called its strong restriction. It is obvi?ous that the strong restriction of a standard weak structure is itselfstandard. If, on the other hand, we restrict hs to instances with emptyright-hand sides, we get an incompatibility structure, which will becalled the incompatibility restriction of the original structure. It is easyto show that if a structure is standard, then both its strong restrictionand its incompatibility restriction are also standard. Moreover, they

make up a standard generalized inferential structure.The condition (EXT7) indicates that we can add statements onthe right-hand side of hs (of course if we thereby do not make it

longer than 1). However, what, then, about relaxing this restric?tion, i.e. allowing for arbitrary finite sequences on the right side ofhs, and letting the right hand side be freely expandable just as theleft hand side is? It is clear that what we reach in this way is infact Gentzen's sequent calculus. The ordered pair (5, hs) with hsof this kind will be called a quasiinferential structure. Such astructure will be called standard if the following holds:

(REF)A hs A(EXT) ifX, F hs ?/, F, then X, A, Y\-SU,V andX, Fhs U,A, F(CON) i?X,A,A, Fhs U, then,v4, Fhs U;ifXhs U,A,A, KthenXhs U,A,V(PERM) ifX,A,B, Fhs U, thenX, B,A, Fhs U\ifXhs U,A,B, FthenXhs U,B,A, V(CUT) ifX, A, Y hs U and Z hs K, A, W,then X,Z, Fhs V,U,W



19/36


If (S, hs) is a quasiinferential structure, then the weak inferentialstructure which arises out of restricting hs to instances with righthand side of length not greater than 1, will be called its weakrestriction. The strong restriction of this restriction, i.e. the stronginferential structure which arises out of restricting hs to instanceswith right-hand side of length precisely 1,will be called its strongrestriction. Again, it is obvious that if a qis is standard, then both itsweak restriction and its strong restriction are standard.The problemwith this version of an inferential structure is that there seems to bereason to prefer a single-conclusion inference to the multiple-con?clusion one. Thus, if we subscribe to the Brandomian variety ofinferentialism, we submit that inferences are originally a matter oftreating people as committed or entitled to something, in particularas treating their commitment/entitlement to something as bringingabout their commitment/entitlement to something else. And while itis easily imaginable what it takes to treat somebody as implicitlycommitted/entitled to one or more things (in terms of sanctions andrewards), it is much more complicated to imagine what it wouldtake to treat her as committed/entitled to at least one of manythings. Moreover, it seems that the form of our actual arguments isnormally based on the single-conclusion notion of inference: asTennant (1997, 320) puts it, "in normal practice, arguments takeone from premises to a single conclusion".9 Be it as it may, it isquasiinferential structures, in contrast to inferential ones, that arecapable of determining any system over a finite set of statements.Hence ifwe call a semantic system (S, V) finite iff S is finite, and ifwe call it semifinite iff V is finite, we can claimTHEOREM 5. For every semifinite semantic system (S, V) there is aqis (S, h) that determines it;moreover, if S is finite, then also h isfinite.PROOF. Let (5, V) be a semantic system and let V be finite. LetV= {vlv..vw}; and let V* be the set of all valuations of S that do notbelong to V. For every ve V* we construct what we will call the criticalquasiinference in the following way. As v0K, v / v7 for each j= 1,...,m. Hence for each j there is a sentence A{ GS such that v(A{) ^ Vj(A{);i.e. such that either (i) v(A{) = 1and Vj(A{)= 0, or (ii) v{A{) = 0 andVj{A{) ? 1. Assume, for the sake of simplicity, that the sentences incase (i) are A\,..., A* and the sentences in case (ii) are A*+x,..., A .Let



20/36

MEANING AS AN INFERENTIAL ROLE 19a\ Ak i_ jk+\ aw

be the v-critical quasiinference. It is obviously the case that thisquasiinference does not exclude any valuation from V; for given anyVjEV, either j < k, and then Vj(A{)= 0, or j>k, and then Vj(A{)= 1;and in neither case v7 is excluded. On the other hand, the v-criticalquasiinference excludes v; for v(A{) = 1when j< k and v(A{) ? 0when j>k. Now it is clear that (S, h), where h consists of thev-critical quasiinferences for every veK*, determines (S, V). It is alsoclear that if S is finite, then also V* is finite and hence h consists ofonly finite number of instances. D

The question which naturally follows now is: what about othersystems? Are semantic systems which are not semifinite also deter?

mined by qis's? It would seem that many are, but surely not of themare10 - but we will not go into these questions here. The reason is thatdeterminedness by a qis is not yet what would make a system infer?ential in the intuitive sense. Hence we will now try to explicate theintuitive concept of inferentiality more adequately.

8. FINITE BASES

Let us now return to the enterprise of explication of the question (**):we have dealt with "semantics", "determined" and "inferential", butwe have so far not tackled "rules". The point is that the idea behindinferentialism is that it is us, speakers, who furnish expressions, andconsequently languages, with their inferential power - we treat thestatements as inferable one from another (perhaps by taking one tobe committed to the former whenever she is committed to the latter)and as incompatible with each other. The idea is that we have a finitenumber of rules and that a statement is inferable from a set of otherstatements if it can be derived from them with the help of the rules.11This means that we should restrict our attention to inferentialstructures of a specific kind, namely those whose relation of inferenceis that of inferability by means of afinite collection of inferential rules.

What is an inferential rule? Let us call an ordered pair whose firstconstituent is a finite sequence of elements of S and the second anelement of S (finite sequence of elements of S) a (quasi)inference overS. (Hence if (S, hs) is a (quasi)inferential structure, then hs is a set of(quasi)inferences.) Now if P is a set ("of parameters"), then a (P-)(quasi)inferential rule over S will be an (quasi)inference over S in



21/36

20 JAROSLAV PEREGRINwhich some elements of S are replaced by elements of P.12 (We willusually write Xh 7 instead of the less perspicuous (X, 7)). An in?stance of a(quasi)inferential rule over S will be any (quasi)inferenceover S which can be gained from the rule by a systematic replacementof the elements of P by the elements of S.

(REF), for example, is an inferential rule:A\-A.

Its quasiinferential form, then, is an example of a quasiinferentialrule:

XhXHowever, more interesting rules emerge only when we assume thatthe set of statements is somehow structured. If, for example, for everytwo statements A and B there is a statement denoted as A a B, we canhave the pattern

AaB^AAaB\-BA,B\-AaB

establishing A a B as the conjunction of A and B.So let us assume we have fixed some inferential rules, and therelation of inference which interests us is the one which 'derives from'them. How? We obviously need some way of inferring inferencesfrom inferences, some metainferences or metainferential rules. Hence

we introduce the concept of meta(quasi)inference over S, which is anordered pair whose first constituent is a finite sequence of infer?ences over S and whose second is an inference over S. A(P-)meta(quasi)inferential rule over S will be a meta(quasi)inferenceover S with some elements of S in its constituents replaced by those of

P. We will separate the antecedent from the consequent of such a ruleby a slash and we will separate the elements of its antecedent bysemicolons. Thus, the metainferential rule constituted by (CUT) willbe written down as follows:

X,A, Y\- U;Zh V,A,W?X,Z,YV V,U,WNow what we want is that the inference relation derives from thebasic finitely specified inferential rules by means of some finitelyspecified metainferential rules: A {quasiinferential basis is an ordered



22/36


triple (S,R,M), where S is a set, R is a finite set of (quasi)inferentialrules over S and M is a finite set of meta(quasi)inferential rules overS. (Let us assume that all metarules inM have a non-empty ante?cedent - for metarules with the empty antecedent can be treatedsimply as rules and put into R.) The (quasiinferential structure gen?erated by (S,R,M) is the (quasi)inferential structure whose(quasi)inferential relation is the smallest class of (quasi)inferencesover S which contains all instances of elements of R and is closed toall instances of elements ofM. A (quasi)inferential structure is called

finitely generated iff it is generated by a (quasi)inferential basis. Asemantic system is calledfinitely (quasiinferential iff it is determinedby a finitely generated (quasi)inferential structure.

Now it is clear that as far as finite languages are concerned,(quasi)inferentiality and finite (quasi)inferentiality simply coincide.

THEOREM 6. Every finite (quasi)inferential semantic system is fi?nitely (quasi)inferential.PROOF. If the number of statements isfinite, then there obviously isonly a finite number of (quasi) inferences non-equivalent from theviewpoint of the determination of the system. D

The situation is, of course, different in respect to infinite languages.Take the semantic system constituted by the language of Peanoarithmetic (PA) and the single truth-valuation which maps a state?ment on truth iff it is true in the standard model. This system is(trivially) inferential: the needed inferential relation consists of allinferences which have the empty antecedent and a statement of PAtrue in the standard model in the consequent. However, as the class ofstatements true within the standard model is not recursively enu?

merable, the semantic system is surely not finitely inferential.But in fact it seems that inferentiality in the intuitive senseamounts to more than delimitation by any kind of a finitely infer?ential system. The inference relation of the systems we aim at shouldbe derived from the basic inferential rules not by just any metain?ferential rules, but in a quite specific way. If R is a set of inferentialrules, then we want to say that A is inferable, by means of R, from Xiff there is a sequence of statements ending with A and such that eachof its element is either an element of X or is the consequent of aninstance of a rule from R such that all elements of the antecedentoccur earlier in the sequence. (REF is, strictly speaking, an inferen?tial, rather than a metainferential rule. But we can regard it as a



23/36

22 JAROSLAV PEREGRINmetainferential rule with an empty antecedent.) This amounts to Mconsisting of the five Gentzenian structural rules. Indeed, A is infer?able from X by means of R if and only if the inference X h A isderivable from R by these rules. DTHEOREM 7. A is inferable from X by means of the rules from R(in the sense that there exists a 'proof) just in case Xis inferable fromR by means of REF, CON, EXT, PERM and CUT.

PROOF. As the proof of the inverse implication is straightforward,let us prove only the direct one. Hence let A be inferable from X. Thismeans that there is a sequence Ax,...,An of statements such thatAn = A and every A? is either an element of X or is inferable by a rulefrom R from statements which are among Ax,.. .,Ai_x. If n= 1, thenthere are two possibilities: either AeX* and thenXh A follows fromREF by EXT; or A is a consequent of a rule from R with a voidantecedent, and then h A and hence X h A due to EXT. If n > 1 and

An is inferable from some Ai{,.. .,Aim by a rule from R, thenAh,..., Aim h A, where X h AJ forj= 1,.. .,m. Then X,..., X h A dueto CUT, and hence X h A due to PERM and CON. D

This leads us to the following definition: We will call a(quasi)inferential basis standard iffR contains REF andM containsCON, EXT, PERM and CUT (hence if the (quasi)inferential basis isstandard, then the (quasi)inferential structure which it generates isstandard in the sense of the earlier definition). And we will call itstrictly standard iff, moreover, M contains no other rules. A(quasi)inferential structure will be called strictly standard if it isgenerated by a strictly standard (quasi)inferential basis. (Hence everystandard, and especially every strictly standard inferential structure is

finitely generated.)It seems that in stipulating inferences we implicitly stipulate also

all the inferences which are derivable from them by the structuralrules - hence we should be interested only in structures which arestrictly standard, or at least standard. It might seem that it is strictlystandard inferential systems which are the most natural candidate forthe role of the explicatum of an "inferential semantic system";however, the trouble is that no finitely inferential system (and hencesurely no standardly inferential one) is capable of accommodating thesimplest operators of classical logic.

Though it is possible to fix the usual truth-functional meaning ofthe classical conjunction by means of the obvious inferential pattern,



24/36

MEANING AS AN INFERENTIAL ROLE 23the same is not

possible, forreasons sketched earlier (?6), for theclassical negation and nor for the classical disjunction and implica?tion. What is possible is to fix the truth-functional meanings of all theclassical operators by means of ?/was/inferential patterns, e.g. in this

way:A,^A\

V A,^AA\-AvBBhAvBAvBh A,BB\-A^BA,A-^B\-B

\-A,A->B

Hence (as discovered already by Gentzen) all of classical logic isstrictly standardly quasiinferential. Nevertheless, it is not strictlystandardly inferential.For an inferentialist, this situation need not be too embarrassingeven if she wants to restrict herself to single-conclusion inferences. Ihave independent reasons, she might claim, to believe that the only(primordial) way to furnish an expression with ameaning is to let itbe governed by inferential rules; so if there are 'meanings' which arenot conferable in this way, they are not meanings worth the name.But things are not this simple. We have seen that many meanings of avery familiar and seemingly indispensable kind fall into the noninferential category. Classical negation or disjunction; not to mentionthe standard semantics for arithmetic. Is the inferentialist saying thatthese are non-meanings?To be sure, the inferentialist may defend the line that the only'natural' meanings are the straightforwardly inferential ones; andthat all the others are late-coming products of our artificial languageengineering. She might claim that the only 'natural' logical constantsare some which are delimitable inferentially (presumably the intui?tionist ones), and that the classical ones are their artificial adjust?ments available only after metalogical reflections and through explicittampering with the natural meanings.

However, if she does not want to let classical logic go by the boardin this way, she appears to have no choice but to settle for (strictlystandardly) quasiinferential systems. The latter, as we saw, are strongenough for the classical operators, but as pointed out above, there arereasons to see the multiple-conclusion sequents as less natural than



25/36

24 JAROSLAV PEREGRINthe single-conclusion ones. Fortunately there is a sense in which everystrictly standardly quasiinferential system can be regarded as a(standardly) inferential system, so we may after all enjoy someadvantages of the quasiinferential systems without officially admit?ting the multi-conclusion sequents.

9. THE EMULATION THEOREM

What exactly we will show now is that for every strictly standardlyquasiinferential system there exists a standardly inferential systemwith the same class of inferences (and hence especially tautologies).First, however, we need some more definitions: If X h A\,..., An is aquasiinferential rule over S, then its emulation will be the metainferential rule YAXZY- B-...; YAnZ h B/ YXZ h B (if n = 0, i.e. if therule is of the shape X h, then the antecedent of the emulation isempty). An emulation of a quasiinferential basis (*S, ,M) will be theinferential basis (5,Rf,M') such that R' is the set of all those elementsof R which are inferential (i.e. not quasiinferential) rules, and M' isthe union of the set of restrictions of all elements of M to inferencesproper and the emulations of all elements of R which are properquasiinferential rules.

Now we are going to prove that an emulation of a strictly standardquasiinferential basis (5, i?,M) generates an inferential structurewhich is identical to the structure which results from taking the qisgenerated by (5, i?,M) and dropping all genuine quasiinferences:THEOREM 8. The emulation of a strictly standard quasiinferentialstructure is its strong restriction.PROOF. Let (S, hs) be the quasiinferential structure generated by(S,R,M) and let (5, h?) be the inferential structure generated by(5, Rf, Mf). What we must show is that for every sequence X of ele?ments of S and every element A of S it is the case that X hs A iff

X hg A. Let us consider the inverse implication first. As R' is a subsetof R, it is enough to show that every metainferential rule from M'which is not an element of M preserves hs, i.e. that for every such ruleX\ h A\;... ; n h An/X h A it is the case that if X\ hs A\,...,Xn hs An, then also Xhs^4. However, each metainferential rulewhich is an element of M' but not of M must be, due to the definitionof the former, an emulation of a quasiinferential rule from R, i.e.must be of the form F^iZ h B;...; YAnZ h B / YXZ h B, where



26/36

MEANING AS AN INFERENTIAL ROLE 25X h A\,..., An belongs to R. Hence what we have to prove is that ifX h A\,..., An belongs to R (and hence X hs A\,..., An)

0, then in the following way:

X hs A\,..., An assumptionYA\Z\~s B assumptionYXZhs BA2,...,An (CUT)Y...YXZ...Z\-SB...B (CUT)YXZhs5 (PERM)and (CON)

Hence ifX h? A, then X hs A.The proof of the direct implication, i.e. of the fact that ifX hs A,then X\~l A, is trickier. We will prove that if Xhs A\,... ,An and7^iZ h* B,..., 7v4?Z h* B, then 7XZ h? B. From this it follows thatif X hs ^ and YAZ h? B, then 7XZ h? 5; and in particular that if

Xhs ,4 and A\-\A9 then X\-*SA; and as AY-\A due to (REF),Xhs A entails Xh^.First, we will need some notational conventions. If X=Ai,...,An

then we will usexhh; 7

as a shorthand forA\ hs 7;... ; ^4M rs 7.

Moreover,[u]x[V\hh; y

will be the shorthand forUAxV\~l Y;...;UAnV\~l Y

Hence now what we need to prove is that for every Xand Ax,...,Ansuch that X hs A\,..., An, it is the case that T^iZ h^ B,...,YAnZ h* B entail 7XZ h* B for every 7, Z and B. We will proceedby induction. First, assume that X h A\,..., An belongs to R. Then ifn ? 1, then M' contains its emulation, i.e. the metainferential ruleYAiZt-B,...,YAnZhB/YXZ\-B. This means that if YAXZh* B,..., YAnZ h? B, then indeed 7XZ h? B. If, on the other hand,



27/36


28/36

MEANING AS AN INFERENTIAL ROLE 2710. AN EXAMPLE: CLASSICAL PROPOSITIONAL LOGIC IN THE LIGHT OF

INFERENCES

We saw that not even the classical propositional logic (CPL) isinferential in the sense that there are inferences which can delimit the

very class of truth-valuations that is constituted by the usual explicitsemantic definition of CPL. However, the corollary we have justproved tells us that there is a standard inferential structure which,while not determining the semantics of CPL, does determine asemantic system possessing the same class of tautologies. Which

inferential structure is it?It is easy to see that if we base CPL on the primitive operators-i and a, the semantics of CPL is determined by the following

quasiinferential rules:(\)AaB\~A(2)AaB^ B(3)A,B\-AaB(4)A,-iA\(5) h A,-*A

What we must do is to replace the genuine quasiinferential rules (i.e.those not having exactly one single statement in the consequent, (4)and (5))with their emulations. This is to say thatwe must replace (4)and (5) by(4')A^A\-B(5f)X,Ah B;X,^Ah B/Xh B

Note that in view of the fact that (1), (2), (3), (4') and (5') constitute apossible axiomatization of CPL, the fact that they determine thetautologies of CPL amounts to the completeness result for the logic.But it is, in a sense, more general than the usual one and it throwssome new light on the fact that the axioms of classical logic, despitetheir completeness, do not pin down the denotations of the operatorsto the standard truth-functions. (The point is that the axioms arecompatible even with some non-standard interpretations - withnegations of some falsities being false and with disjunctions of somepairs of falsities being true.What is the case is that if the axioms holdand if the denotations of the operators are truth functions, then they arebound to be the standard truth functions. But the axioms are com?patible with the indicated non-truth-functional interpretation of theconstants.13) From our vantage point we can see that classical logic is



29/36


complete in the sense that its axioms determine a semantics with theclass of tautologies which is the same as that of the standardsemantics of CPL; that they, however, do not determine this verysemantics.

Let us give some illustrations of how proofs within (l)-(5) getemulated by those within (l)-(3), (4') and (5'). Consider the inferenceÂ h A,

which is valid inCPL. With (4) and (5) it can be proved rather easily:1. -,A,Â\- (4)2. h A,Â (5)3. -.-..4 h A from 1 and 2 by (CUT)This gets emulated as follows:1. A, -,AhA from(4') by(PERM)2. -.-.?, A h A from (REF) by (EXT)3. -.-..4 h A from 1, 2 by (5')

Or consider the proof of the theorem-.(?A-1.4)

1. AaÂ?-A (1)2. yiA-.i4h-.i4 (2)3. A,Â\- (4)4. A a -vi h from 1, 2 and 3 by (CUT) and(CON)5. \-Aa->A,-?(Aa-Â) (5)6. h ->{Aa ->A) from 4 and 5 by (CUT)The emulation now looks as follows:1. AaÂ\-A (1)2. AaÂ\-Â (2)3. A,Â[-^{AaÂ) (4')4. A a Â h -.(i? a -.i?) from 1, 2 and 3 by (CUT) and (CON)5. ->(Aa -iii) h ^{A a -,A) (REF)6. h -,(A a Â) from 4 and 5 by (5')

This means that classical logic may be seen as inferential, thoughin a rather weak sense: there is no inferential way of delimiting itsvery space of acceptable truth-valuations; however, there is a way ofdelimiting a space of truth valuations which is equivalent to it w.r.t.tautologies (and more generally single-conclusion inferences).



30/36


11. EXTREMALITY CONDITIONS

Hence what seems to be a good candidate for the explication of theintuitive concept of "inferential semantics" is the concept of stan?

dardly inferential semantic system, i.e. a system generated by a col?lection of inferential and metainferential rules containing the

Gentzenian structural rules. This is obviously of a piece with the ideasof the natural deduction program (Prawitz 1965;Tennant 1997; etc.)and so it would seem that the inferentialist agenda should display alarge overlap with the agenda of this program. We have also seen thatthere is a direct way from the natural quasiinferential characteriza?tion of structural operators to their superstandardly inferentialcharacterization.

Let us consider disjunction. A v B is partly characterized by theinferential rule

Ah AvBBh AvB

but the characterization has to be completed by the genuine quasiinferential ruleAvBh A,B

This rule gets emulated asAhQBhC/AvBhC

which yields us the metainferential characterization of disjunctionwell-known from the systems of natural deduction. Note that themetainferential rule can be looked at as a "maximality condition".Let us say that the statements A, B, C fulfill the condition (A, B, Q; i.e.A v B h C for every C such that 4> (A, B, Q

Why is this interesting? Because this kind of maximality conditioncould perhaps be seen as implicit to the statement of an inferentialpattern. When we state that Ah AvB and Bh AvB and when we,

moreover, put this forward as an (exhaustive) characterization ofA v B, we insinuate


31/36


However, it is clear that if AvB fulfills Q>(A, B, ...), then everythingweaker (i.e. entailed by AvB) does, so the "nothing else" can onlymean "nothing non-weaker" - hence it means that for every suchstatement C itmust be the case that Aw BY- C.

Imagine I am asked what children I have - i.e. to characterizethe class of my children - and I answer "I have a son and a

daughter". Strictly speaking I am not giving a unique character?ization of the class - I am only stating that this class contains aboy and a girl. But as it is normally expected that what I sayshould yield an exhaustive characterization, my statement would betaken to imply (by way of what Grice called a conversationalimplicature) that the class in question is the maximal one fulfillingthe condition I state. And a similar maximality implicature can beseen as insinuated by my stating that O is the pattern characteristicof disjunction.

More to the point, this train of thought appears also to motivateGentzen's insistence that it is only introductory rules which semantically characterize the operators. As Koslow (1992, Section 2.1)shows, it is natural to see it precisely

in terms of extremality con?ditions: the introduction rule yields the elimination rule via theassumption that the introduction rule gives all that there is to the'inferential behavior' of the connective. Hence it seems that we can,

after all, delimit the classical disjunction by an inferential pattern -if we assume the maximality implicature. This indicates that insteadof allowing for the non-structural metainferential rules (whichamounts to passing over from strictly standard to merely standardinferential structures) we could perhaps admit that stating aninferential pattern involves stating the maximality of the operator

fixed by the pattern.Can we see all the other classical logical operators analogously?Gentzen (1934) himself gives the example of implication: A ?? B is

the maximal statement which holds whenever B is derivable from A.So here ?(A, B, C) would be

ABC

Alternatively, we can characterize implication as the minimal opera?tor fulfillingA.A^BVB



32/36


i.e. as an operator fulfilling this and, moreoverA,C\-B/C\-A^B

But, does not the replacement of maximality by minimality spoil theintuitive picture outlined above, where maximality reflected exhaustiveness? Not really; for as A ?> B is now within the antecedent of the

basic pattern, exhaustiveness comes to yield not maximality, butminimality. The basic pattern now reads:A ?> B is such that together with A it entails B.

And assuming exhaustivity,A ?> B, and nothing else, is such that together with A it entails B.

Now it is clear that if something follows from A ?> B, then itfollows from anything stronger, so the "nothing else" makes senseonly as "nothing non-stronger". Hence the exhaustivity boils down toif C does the same, then it is stronger, i.e. C h A ?> B.

We can also characterize conjunction as the maximal operatorfulfilling

C\-ACh B.

Negation, ifwe want it to be classical, is unfortunately more fishy. Itseems that the only pattern available isA,C\-B-.Ch A.

which itself contains the negation sign to be determined; and thisappears to largely spoil the picture. Is there a remedy?We could, perhaps, trade the second part of the negation-pattern,i.e. the law of double negation, for something else - e.g. for the"external" assumption that all our operators are truth-functional. It isclear that the only truth-function which always maps a statement onitsmaximal incompatible is the standard negation (see Peregrin 2003for more details). But a more frank solution would be to simply strikeout the law of double negation without a substitute. What would bethe result? Of course the intuitionist negation and consequently the



33/36

32 JAROSLAV PEREGRINintuitionist logic. This indicates, as I have discussed in detail elsewhere(see Peregrin 2004a), that it is intuitionist logic that is the logic ofinference. In this sense, classical logic is not natural from the infer?entialist viewpoint (however, its unnaturalness from this viewpoint isoutweighed - and maybe overridingly so - by its simplicity).

12. CONCLUSION

Arguing for inferentialism, we must first specify what exactly we meanby the term: there are several options. In this paper I have tried toindicate that two of the options can be merged into a single one,which, in its turn, is the hottest candidate for becoming the inferen?tialism. The winner is the "superstandard inferentialism", capable of'emulating' and hence treatable as encompassing "standard quasiinferentialism". On the technical side, it comes down to the framework

of natural deduction. (Its immediate stricter neighbor, "standardinferentialism" is obviously much too weak; while the stronger"quasiinferentialism" appears

to be less natural.)If we accept this, then we should also see intuitionist logic as themost natural logic. However, as we have taken pains to indicate, this

does not preclude the way to classical logic, which is surely natural insome other respects and whose utter inaccessibility would be, I be?lieve, a failure of inferentialism. Inferentialism is a descriptive projectconcerned with the question what is meaning?; whereas the natural

deduction program ismore &prescriptive program concerned with thequestion How should we do logic?. Thus while the latter could perhapssimply

ban classicallogic

if it concluded that one can make dowithout it, the former is bound to take the extant meanings at facevalue and face the question If meaning is an inferential matter, thenhow could there be meanings that are prima facie "non-inferentian

Hence I think that inferentialism, though it may "favor" somemeanings over others, does not result in any unnatural "semanticasceticism". I am convinced that the thesis that all meanings are -

more or less direct - creatures of inferences is viable.

ACKNOWLEDGEMENTS

Work on this paper was supported by the Research Grant No. 401/04/0117 of the Grant Agency of the Czech Republic. This final ver



34/36

MEANING AS AN INFERENTIAL ROLE 33sion has been significantly improved thanks to the extraordinarilyinsightful and helpful comments of the referees of this journal. Thereare many other people to whom I am thankful for comments either onearlier versions of the paper or on the ideas contained in the paperduring lectures and discussions. Iwould like to name at least Michael

Kremer, Johan van Benthem, Ondrej Majer, Mark Lance and Jar?oslav Zouhar.

NOTES1See also Lance (1996, 2001) and Kalderon (2001).2 See Peregrin (in press-b) for more details.3As was pointed out tome by Michael Kremer.4 To be precise, we now have different truth-valuations, since now we are evaluating

three instead of two statements. So "expressing {1}" should be read as "expressing atruth-valuation which yields {1} when restricted to {A,B}".5 Consider the recurring discussions about substitutional vs. objectual quantifica?tion. The basic problem would seem to be that we simply cannot assume that allentities (including those not known to anybody) within our universe must havenames. But this is a red herring (independently of whichever side of the quarrel westand), for what the proponent of substitutional quantification needs to assume isnot that every entity is named, but that it is nameable - in the sense that language hasthe resources to form a name as soon as it becomes needed (cf. Lavine 2000).6Moreover, it can be shown that each standard gis such that there is a function/

mapping sentences on sentences so that for every X, A and B, LA, f(A) and ifX,A h B and X,f[A) h B, then X h B, is perfect. (This is important for/is the usualproof-theoretic notion of negation.) I owe this observation to Michael Kremer.7 Obviously in the case of such extensional languages as those of the predicatecalculus, the constraints exclude all valuations save a single one. However, this isclearly not be the case for any natural language.8Of course when dealing with empirical terms and empirical languages, then we needa way to "connect them with the world" - hence we need either a trusted meta?language capable of mediating the connection, or else a direct connection which,

however, can be established only practically.9 This is not supposed to be a knock-down argument against the multiple-conclu?sion inference (see, e.g., Restall in press, for a defense). However, naturalness clearlyis on the side of the single-conclusion one.10A simple example was suggested to me by the referee of this paper: Suppose Vconsists of all valuations which make only a finite number of sentences of the infiniteset S true. Then there is obviously no quasiinference which would exclude an

unacceptable valuation without excluding also an acceptable one.1*Note that this does not mean that we have to be aware of all the rules bindingus: the rules we adopt engender other rules and we do not have to foresee all theconsequences.12 Note that we do not require that any particular sentences are replaced byparameters - hence it is even possible for a rule to contain no parameters whatsoever.



35/36

34 JAROSLAV PEREGRINHence we do not require that rules be purely "formar'; and the fact that in whatfollows we will deal especially with rules of this kind should be seen as amatter of thefact that we will restrict our attention to the semantics of logical constants. The rulesof inference underlying the semantics of other expressions will surely be non-formal.13This is a fact noted already by Carnap (1943) but rarely reflected upon - seeKoslow (1992, Chapter 19), for a discussion.14This form is borrowed from Koslow (1992), whose book offers a thorough dis?cussion of the technical side of the issues hinted at in this section.

REFERENCESBrandom, R.: 1985, 'Varieties of Understanding', in N. Rescher (ed.), Reason and

Rationality inNatural Science, University Presses of America, Lanham, pp. 27-51.Brandom, R.: 1994, Making It Explicit, Harvard University Press, Cambridge, MA.Brandom, R.: 2000, Articulating Reasons, Harvard University Press, Cambridge,

MA.Carnap, R.: 1943, Formalization of Logic, Harvard University Press, Cambridge,

MA.Davidson, D.: 1984, Inquiries Into Truth and Interpretation, Clarendon Press, Ox?

ford.Dunn, J. M. and G. M. Hardegree: 2000, Algebraic Methods in Philosophical Logic,

Clarendon, Oxford..Fodor, J.A. and LePore, E.: 1993, 'Why Meaning (Probably) Isn't Conceptual Role',

in E. Villaneuva (ed.), Science and Knowledge, Ridgeview, Atascadero, pp. 15-35.Fraassen, B. C: 1971, Formal Semantics and Logic, Macmillan, New York.Frege, G.: 1879, Begriffsschrift, Nebert, Halle.Gentzen, G.: 1934, 'Untersuchungen ?ber das logische Schliessen I-IF, Mathemat?ische Zeitschrift 39, 176-210.Kalderon, M. E.: 2001, 'Reasoning and Representing', Philosophical Studies 105,

129-160.Koslow, A.: 1992, A Structuralist Theory of Logic, Cambridge University Press,

Cambridge.Lance, M.: 1995, 'Two Concepts of Entailment', The Journal of Philosophical Re?

search ^, 113-137.Lance, M.: 1996, 'Quantification, Substitution and Conceptual Content', Nous 30,

481-507.Lance, M.: 2001, 'The Logical Structure of Linguistic Commitment III: Brandomian

Scorekeeping and Incompatibility', Journal of Philosophical Logic 30, 439-464.Lance, M. and P. Kremer: 1994, 'The Logical Structure of Linguistic Commitment I:

Four Systems of Non-Relevant Commitment Entailment', Journal of PhilosophicalLogic 23, 369-400.

Lance, M. and P. Kremer: 1996, 'The Logical Structure of Linguistic CommitmentII: Systems of Relevant Commitment Entailment', Journal of Philosophical Logic25, 425-449.

Lavine, S.: 2000, 'Quantification and Ontology', Synthese 124, 1^3.Peregrin, J.: 1997, 'Language and its Models', Nordic Journal of Philosophical Logic

2, 1-23.



36/36


Peregrin, J.: 2001, Meaning and Structure, Ashgate, Aldershot.Peregrin, J.: 2003, 'Meaning and Inference', in T. Childers & O. Majer (eds.), The

L?gica Yearbook 2002, Filosof?a, Prague, pp. 193-205.Peregrin, J.: 2004a, Logic as 'Making it Explicit', in L. B?hounek (ed.), The L?gica

Yearbook 2003, Filosof?a, Prague, pp. 209-226.Peregrin, J.: 2004b, 'Pragmatismus und Semantik', in A. Fuhrmann and E.J. Olsson

(eds.), Pragmatisch Denken, Ontos, Frankfurt am M., pp. 89-108 (in German;English version available from http://jarda.peregrin.cz).

Peregrin, J.: in press-a, 'Semantics as Based on Inference', in J. van Benthem et al.(eds.), The Age of Alternative Logics, Kluwer Dordrecht, in press.

Peregrin, J.: in press-b, 'Developing Sellars' Semantic Legacy: Meaning as a Rule', inM. Lance and P. Wolf (eds.), The Self-Correcting Enterprise: Essays on WilfridSellars, Rodopi, Amsterdam.

Prawitz, D.: 1965, Natural Deduction, Almqvist & Wiksell, Stockholm.Prior, A. N.: 1960, 'Roundabout Inference Ticket', Analysis 21, 38-39.Restall, G.: in press, 'Multiple Conclusions', in Proceedings of the 12th. International

Congress of Logic, Methodology and Philosophy of Science.Tennant, N.: 1997, The Taming of the True, Clarendon Press, Oxford.

Wittgenstein, L.: 1956, Bemerkungen ?ber die Grundlagen der Mathematik, Blackwell,Oxford.

Jaroslav PeregrinDepartment of LogicInstitute of PhilosophyAcademy of Sciences, Jilsk? 1, 1Prague110 00, Czech RepublicE-mail: [email protected]

Manuscript submitted 28 January 2004Final version received 29 March 2005

Date post:	04-Jun-2018
Category:	Documents
Upload:	jamesmacmillan
View:	217 times
Download:	0 times

Meaning as an inferential role.pdf

Documents