Grammatical Theory and Metascience PDF
Grammatical Theory and Metascience PDF
Grammatical Theory and Metascience PDF
Volume 5
Esa Itkonen
A CRITICAL INVESTIGATION
ESA ITKONEN
University of Helsinki
1978
©Copyright 1978 - John Benjamins B.V.
ISBN 90 272 0901 4 / 90 272 0906 5
No part of this book may be reproduced in any form, by print, photoprint,
microfilm or any other means, without written permission from the publisher.
PREFACE
By 'metascience' I understand the methodology and/or the philo
sophy of a given science, or of science in general. 'Science' will
be used in the sense of Wissenschaft, i.e., as covering the area of
natural sciences (e.g., physics), human sciences (e.g., sociology),
and formal sciences (e.g., logic). 'Grammatical theory', or more
simply 'grammar', will stand for Saussurean autonomous linguistics,
as distinguished from socio- and psycholinguist!'cs on the one hand,
and from mathematical linguistics on the other.
The present investigation will concern itself with the meta
scientific status of grammatical theory. This does not, however,
mean that I think other forms of linguistics are less important. In
my forthcoming article "Qualitative vs. Quantitative Analysis in
Linguistics" and, in more detail, in my forthcoming monograph Causali
ty in Linguistics , I shall analyse the metascientific status of socio-
and psycholinguistics.
I shall argue here against positivism, or the metascientific
doctrine according to which the model set up by the natural sciences
is directly applicable to all human sciences, including (autonomous)
linguistics. I shall refer to 'hermeneutics' as an alternative, non-
positivistic philosophy of science. However, what I shall say is
fully compatible also with (modern interpretations of) such non-po-
si ti vi s ti c doctrines as phenomenology and marxism. I shall also
argue that grammatical theory is nonempirical. More particularly,
grammatical theory should be regarded, in my opinion, as qualitatively
VI
different not just from the natural sciences, but also from the empi
rical human sciences.
My discussion will to a large extent centre around the status of
transformational grammar (henceforth to be abbreviated as 'TG'). In
the present context I shall not so much criticise TG as a scientific
theory, but rather I shall criticise its metascientific concept of it
self. I have presented my criticism of TG primarily in my article
"The Use and Misuse of the Principle of Axiomatics in Linguistics".
The central issue here concerns the role of normativity in lin
guistic data. I do not think that the importance of this concept
has yet been grasped in current theoretical linguistics. As long as
this continues to be the case, no adequate understanding of the meta
scientific status of linguistics can, in my opinion, be reached.
This book is the second, revised edition of my 1974 dissertation
Linguistics and Metascience. My interest in the topic dates from 1968,
when I could no longer ignore the discrepancies between empirical ex
planation and what was referred to as 'grammatical explanation'.
It was during discussions with Matti Juntunen and Lauri Mehtonen,
in the early seventies, that for the first time I became aware of the
inadequacies of positivism, and realised the need for an alternative
philosophy of science. I owe a great debt of grati tute to Professor
E. F. K. Koerner, who selflessly gave so much of his time to edit
the manuscript.
PREFACE V
'Empirical ' 2
1.2. Explanation, Prediction, and Testing 4
2.5. Philosophy 42
2.6. Logic 48
2.7. Concluding Remarks 54
VIII GRAMMATICAL THEORY AND METASCIENCE
3.0. 20TH-CENTURY LINGUISTIC THEORIES: A BRIEF SURVEY 55
3.1. Saussure 55
3.2. Hjelmslev 59
3.3. Sapir 61
3.4. Bloomfield 68
3.5. Harris 71
3.6. Transformational Grammar '. 75
3.7. Some Recent Developments in Linguistic Theory 87
3.8. Conclusion 89
Hypotheses 156
6.2. Examples of Rules and Rule-Sentences 166
CONCLUSION 311
NOTES 313
REFERENCES 331
Fa
Ga
By applying the r u l e of ' u n i v e r s a l i n s t a n t i a t i o n ' to
we get , and from t h i s , together w i t h ' F a ' , we can derive 'Ga'
by Modus Ponens.
'Fa' and 'Ga' r e f e r to observable events, which means t h a t the i n -
dividual-expression ' a ' r e f e r s to a space-time p o i n t or r e g i o n , and the
predicates ' F ' and 'G' r e f e r to measurable p r o p e r t i e s . Moreover, the
events r e f e r r e d to by 'Fa' and 'Ga' ( o r , e q u i v a l e n t l y , the properties
r e f e r r e d to by ' F ' and 'G') must be conceptually independent, t h a t i s ,
'Ga' must not be deducible from 'Fa' alone.
In explanation, we s t a r t from 'Ga' which we know, on the basis of
o b s e r v a t i o n , to be t r u e , and we t r y to f i n d a s u i t a b l e explanans from
6 GRAMMATICAL THEORY AND METASCIENCE
which it can be derived. If there is such an explanans, i.e., one which
consists of the true observation-sentence 'Fa' and of the universal hy
pothesis or theory which can, for independent reasons, be
assumed to be true, then we may tentatively consider the event referred
to by 'Ga' as being explained.
In prediction, on the other hand, we start from the explanans, which
we hold to be true, and deduce from it the sentence 'Ga', or predict
that 'Ga' will be true. The truth or falsity of predictions is deter
mined on the basis of observation. Making a prediction, bringing about
the antecedent conditions, and deciding the truth-value of the prediction,
constitute an experiment.
It is customary to discuss only the predictive or experimental as
pect of the testing of theories. However, if testing is equated with
the method of selecting, on objective grounds, one theory from among
others, then the explanatory aspect is just as important.
The predictive componenet of testing is concerned with the question
whether the theory generates only true sentences about observable events
(of the relevant domain). If the prediction 'Ga', which has been made
on the basis of the 'theory' and of the truth of 'Fa',
turns out to be true, then it is said that the observation-report
'Fa&Ga' (predictively) confirms the 'theory'. Of course, no amount of
such reports, e.g. 'Fb&Gb', 'Fc&Gc', etc., can conclusively establish
the truth of That is to say, since 'Fa&Ga' is true,
is true, and if we from this sentence (and from any number of
similar sentences) infer , we are making use of the logi
cally invalid argument form (where 'p' and 'q' stand
for and respectively). From the above it follows
that no theory or universal hypothesis can be conclusively confirmed, or
verified, on the basis of observational evidence.
The weakness of this characterisation of confirmation lies in the
fact that is true not only if 'Fa&Ga' is true, but also if
either '-Fa&Ga' or '-Fa&-Ga' is true, which means that the events re
ferred to by these latter two sentences are also 'confirmatory evidence'
for the truth of . In fact, since is logically
THE IDEA OF 'POSITIVISM' 7
equivalent to '-FavGa', either '- Fa ! or 'Ga' would alone suffice to
make it true and, hence, to 'confirm' '(x) something which
hardly makes sense. To put it in different terms, since '(x) ,
confirmable by 'Fa&Ga', is logically equivalent to '(x)
confirmable by '-Ga&-Fa', it must also be confirmable by the last-men
tioned sentence« This is the basis for the so-called 'paradoxes of
confirmation' (Hempel 1965:3-46), Even though extensively discussed in
the literature on philosophy of science,they are entirely artificial and
result from the gratuitous belief that truth-functional logic, more pre
cisely, universally quantified material implication, provides an adequate
way of expressing empirical hypotheses, or that the truth of an empirical
generalisation is determined exactly in the same way as that of a mate
rial implication.
The predictive component does not yield conclusive confirmations
which means that it cannot conclusively establish that the theory gene
rates only true sentences. But it can conclusively establish that the
theory does not generate only true sentences: all that is needed is one
false prediction. In terms of our example, let us assume that the pre
diction 'Ga' turns out to be false. Since 'Ga' was validly inferred
from &Fa' and now '-Ga' is the case, it follows, by Modus
Tollens, that ' &Fa' must be false too. If 'Fa' is false, the
matter ends there. But let us assume that the antecedent conditions are
as they were supposed to be, namely that 'Fa' is true. We then have the
observation-report 'Fa&-Ga', which is identical to saying that
is false. Now was validly inferred from , and
therefore if the former sentence is false, then the latter sentence is,
again by Modus Tollens, also false. In other words, has
been conclusively dis confirmed, or f a l s i f i e d . 6
Thus it cannot be established that a theory generates only true
sentences. But even if it could, this would not be enough, because the
theory in question might still be ever so narrow or one-sided, and there
fore worthless. Obviously, the predictive component of testing is not
sufficient in itself., but must be supplemented by the explanatory compo
nent, or the requirement that the theory generate all true sentences.
8 GRAMMATICAL THEORY AND METASCIENCE
It is immediately evident that a theory may be tested not only on pre
dictive but also on explanatory grounds: there is an event belonging to
the domain supposedly covered by the theory, and we ask whether the
theory explains the event, or generates the sentence (truthfully) refer
ring to it. If it does, it is (explanatorily) confirmed; if it does
not, it is (explanatorily) disconfirmed. More precisely, a theory A is
disconfirmed if there is a set of facts which it is unable to explain,
and there exists an alternative theory Β which is able to explain these
facts, together with all the facts explained by the theory A.
The testing may or may not expand the stock of evidence which the
theory is supposed to account for. Instead of predicting new, unobser
ved facts or of observing new, unpredicted facts, we may ask whether the
theory under scrutiny explains well-confirmed regularities or subtheories,
i.e., whether this theory surpasses others in the generality of its ex
planations :
Theoretical synthesis, with no addition of new evidence, is
classically taken to lend further support (by the very fact of its
being successful at all) to the joint theory than to either theory
taken separately (Harre 1970:170).
1.5. Ontology
2.2. Sociology
And:
All the human sciences that I have discussed so far share a concern
with particular entities whose location in space and time can, or could,
be specified with a high degree of precision. Even in psychoanalysis,
the traumatic experience that causes neurotic behaviour was itself
caused by an event or a series of events that could be, at least in
principle, spatiotemporally specified; and events of this kind are part
of the subject matter of psychoanalysis. On the other hand, sociology
of knowledge, also called 'phenomenological sociology', is characterised
by the fact that it excludes the consideration of particular space-time
entities. This feature sets sociology of knowledge (as well as in this
respect similar sciences) definitively off from natural science. Metho
dological characteristics that are common to sociology of knowledge as
well as natural science are common to all sciences without exception.
To begin with, I want to explain under which conditions it is rea-
34 GRAMMATICAL THEORY AND METASCIENCE
sonable and even necessary to make scientific descriptions without any
regard to particular spatiotemporal entities. Let us consider, for in
stance, the description of such entities as beliefs. It is clear that
a person must possess some internal ,psychologycal mechanisms which en
able him to acquire beliefs or, alternatively, which determine what
kinds of belief he may acquire. It is also clear that certain external,
social factors or mechanisms determine, to a high degree, what kinds of
beliefs he does acquire in fact. Furthermore, it is not only the case
that beliefs are determined by internal and external mechanisms; beliefs
are themselves part of a determining mechanism insofar as they influence
the behaviour of the one who maintains them, or, alternatively, are ma
nifested in and through his behaviour. And yet, after we have described
what determines a belief, and what it determines, there still remains
the task of describing the belief itself. Since psychological and so
cial factors determine only in a rather abstract and unpredictable way
which beliefs one actually comes to uphold, it is necessary to describe
beliefs in their own right, in addition to the fact that it is always
possible and legitimate to do so. This is not to deny that, depending
on the purpose at hand, the description of a belief may occur as only
a part of a larger, e.g., historical description, which must then con
tain also the causes and effects of the belief in. question. (What I have
said here about beliefs, is generally true of attitudes, opinions, ideas,
goals, ideals, etc.)
To give a still clearer example, let us consider, next, such enti
ties as games. All games must be, at least potentially, learned and
played, and since processes of learning and playing necessarily take
place in space and time, it follows that games necessarily have a spa
tiotemporal reference. And yet, although games and (at least poten
tial) processes of learning and playing always occur together, they
are clearly different aspects of one and the same phenomenon. Indeed,
it would be a serious mistake not to distinguish between descriptions
of games and descriptions of how they are learned and/or played. The
former are, directly, descriptions of rules (or norms) and hence, in
directly, of possible correct behaviour. The latter are descriptions
THE IDEA OF 'HERMENEUTICS' 35
Die Natur ist uns fremd. Denn sie ist uns nur ein Aussen, kein
Inneres. Die Gesellschaft ist unsere Welt. Das Spiel der Wechsel
wirkungen in ihr erleben wir mit in aller Kraft unseres ganzen We
sens, da wir in uns selber von innen, in lebendigster Unruhe, die
Zustände und Kräfte gewahren,aus denen ihr System sich aufbaut
(Dilthey 1914:36).
Nur was der Geist geschaffen hat, versteht er. Die Natur, der
Gegenstand der Naturwissenschaft, umfasst die unabhängig vom Wir
ken des Geistes hervorgebrachte Wirklichkeit. Alles, dem der
Mensch wirkend sein Gepräge aufgedrückt hat, bildet den Gegenstand
der Geisteswissenschaften (Dilthey 1927:148).
Das Subjekt des Wissens ist hier eins mit seinem Gegenstand, und
dieser ist auf allen Stufen seiner Objektivation derselbe (op. c i t . ,
p. 191).
THE IDEA OF 'HERMENEUTICS' 41
science not only to clarify, but also to justify the scientific method.
The Erlangen school has made an intriguing attempt at providing a jus
tification (Begründung) for natural science, in particular physics.
This is done by reconstructing, in a stylised form, of course, the ge
nesis of science, that is, by showing how science, as it is today, can
be constructed, step by step, from everyday life. Both science and
everyday life are considered throughout from a realistic point of view,
that is, as combinations of social activity and socially determined
knowledge. The programme of reconstruction can be divided into two,
obviously interconnected parts: first, the reconstruction of scientific
language; second, the reconstruction of scientific measurement. (Notice
that these two a -priori conditions for natural science do not yet exhaust
its methodology.)
As the elementary 'praxis of distinction and orientation', ordinary
language is the inevitable starting point for the reconstruction of
scientific, formal language (cf. 2.6. below). The reconstruction of
scientific language is carried out, in outline, in Kamlah & Lorenzen
(1967), and has been often repeated elsewhere.
The reconstruction of scientific measurement is called 'protophy-
sics'. It is subdivided into the theories of measuring space, time and
mass, or geometry, chronometry, and 'hylometry' (= classical mechanics
without gravitation), which are sciences of increasing complexity. The
objective or empirical-, character of (Galilean) physics is due to the
intersubjective agreement upon those ideal norms, formal isable or explic
able as the axioms of protophysics, which govern actual measurement.
Protophysics has grown out of a practical concern with things and events
(= Herstellung spraxis). It is an a priori science which, instead of
investigating actual physical events, investigates possible physical
events, i.e., the concept 'physical event', as defined by the ideal norms
of measurement (Lorenzen 1969a and Böhme 1976). These norms obviously
constitute an institution of measurement.
Protophysics as conceived by Lorenzen is a descriptive science,
since it describes the ideal norms as they are. However, it has a pre
scriptive function as well for those who have not clearly grasped the
46 GRAMMATICAL THEORY AND METASCIENCE
norms in question. The same is true of the philosophy of science in
general. For instance, Hempel's D-N model intends to explicate the no
tion of deterministic explanation as it is; but it may also be seen as
containing an implicit recommendation for how this notion ought to be
applied in practice.
In my opinion, the work of the Erlangen school ought to be seen as
a systematic elaboration of Husserl's thesis that the meaning of modern
science cannot be understood unless the internal connections between
science and everyday life, or Lebenswelt, are brought back to conscious
ness. As for its constructivist method, the Erlangen school is, to be
sure, not indebted to Husserl but, rather, to Dingler (cf. Mittelstrass
1974c). In any case, Lorenz (1970:149-50), for instance, makes use of
the notion Lebenswelt in explicit reference to Husserl. The following
excerpts, which formulate the recurrent theme of Husserl (1954), show
the connection between Husserl and the Erlangenschool:
Die geometrische Methodik der operativen Bes timmung einiger und
schliesslich aller idealen Gestalten aus Grundgestalten, als den
elementaren Bestimmungsmitteln, weist zurück aud die schon in der
vorwissenschaftlich-anschaulichen Umwelt, zuerst ganz primitiv, und
dann kunstmässig geübte Methodik des ausmessenden und überhaupt mes-
senden Bestimmens (Husserl 1954:24).
Since then, this general position has gained ground because of the
popularity of Wittgenstein's later philosophy (cf. below, and 4.0.). How
ever, the idea of Lebensapriori was expressed already by Dilthey (1924:
136) in the following terms:
2.6. Logic
The game starts from the entire sentence and proceeds gradually to
the elementary sentences of the type 'Fa'. In order to win, one seeks
an object which could falsify a universally quantified sentence, or ve
rify an existentially quantified sentence. If one has been able to find
or, perhaps, to produce such an object, one has won the game. If this
aspect of dialogue-games is emphasised, they could be called 'games of
seeking and finding'. The dialogical introduction of the predicates,
junctors, and quantifiers serves at the same time the programme of
re constructing the scientific language (cf. 2.5.).
A complex sentence is empirically true if the proponent always
wins, that is, if he is able to defend it against any opponent, by de
fending those constituent, elementary sentences which he has asserted
in the performance of any game connected with the complex sentence. If
any opponent is able to win, the sentence is empirically false.
A complex sentence is logically true , if the proponent has to de
fend an elementary sentence which has been previously defended by the
opponent. In such a case, the opponent has been forced to defend and
to attack one and the same sentence, which means that denying the
complex sentence has led to a contradiction. The contradiction
means that one and the same sentence has been attacked and de
fended, whatever this sentence is, and therefore it is permissible to
consider merely sentence-formulae, instead of sentences. Finally, logi
cal implication is defined in such a way that a formula 'B' is said to
be implied by the formulae 'A1'...'An ', if 'A1 '... 'An' are asserted
by the opponent, and the proponent is able to defend 'B' so as to force
the opponent into a contradiction. - The dialogical approach has also
been extended to modal logic (Lorenzen 1969a, chap.6).
In sum, the truth, whether empirical or logical, is here defined
as the defensi bili ty of a sentence or a formula against any opposition,
which is equivalent to the existence of a winning strategy connected
with the sentence or the formula.
Since the mid-sixties, Hintikka has also been developing a game-
theoretical conception of logic (cf. Hintikka 1973). He admits the for
mal similarities between Lorenzen's and Lorenz' conception and his own.
52 GRAMMATICAL THEORY AND METASCIENCE
However, in his opinion, the 'absolutely cruciar difference between the
two consists in the fact that Lorenzen's and Lorenz' games are purely
formal, 'indoor' games, whereas his own 'outdoor' games are played in
constant reference to the external reality (Hintikka 1973:80-81; also
pp. 108-09). This is a curious misunderstanding. As we have seen, in
the di alogical conception empirical truth is ascertained, ultimately,
by finding out whether or not certain objects possess certain properties
and relations. For instance, the opponent wins the game connected with
the sentence "For all x, if χ is an atheist, χ is stupid or wicked",
because he is able to find an object, i.e., Bertrand Russell, who, al
though an atheist, is not wicked (nor stupid)(Lorenzen 1969a: 26-27).
Similarly, the proponent wins the game connected with the sentence "In
all Bavarian lakes there are fishes", only if he can find an object
with the property 'fish' in Tegernsee, which is a Bavarian lake suggest
ed by the opponent (op. cit., p.31). More generally, Kamlah & Lorenzen
(1967) devote an entire chapter to the question of how the truth-value
of an elementary sentence can be determined:
They are not 'indoor games'; they are 'played' in the wide world
among whatever objects our statements speak about. An essential
part of ail these games consists in trying to find individuals
which satisfy certain requirements.
3.1. Saussure
3.2. Hjelmslev
3.3. Sapir
Unlike other representatives of American structural (including trans-
62 GRAMMATICAL THEORY AND METASCIENCE
formational) linguistics, Sapir is a methodologist who has integrated
linguistics into the wider framework of the social and human sciences,
as distinct from the natural sciences. Sapir's conception of society,
and of the role played in it by language, bears a striking similarity
to that of Mead, Schutz, and Winch, and I would not hesitate to call
him a de facto hermeneutician (as this word is understood here). Of ne
cessity, the foregoing calls into question TG's reinterpretation of his
tory, according to which Sapir (in much the same way as Humboldt and
23
Descartes) was f i r s t and foremost a forerunner of TG. TG a r r i v e s at
t h i s i n t e r p r e t a t i o n of Sapir by concentration upon a s i n g l e aspect of
his work, i . e . , phonology. I t is true t h a t both S a p i r ' s phonology and
the TG phonology are d i f f e r e n t f r o m , because more a b s t r a c t than, the
post-Bloomfieldian 'taxonomie' phonology. This merely negative charac-
t e r i s t i c , which also applies to Trubetzkoy ( c f . his concept of 'archi-
pnonerne') and to Hjelmslev ( c f . his concept of 'phoneme form') for in-
stance, does not by any means j u s t i f y the claim of a strong s i m i l a r i t y
between S a p i r ' s and TG's p o s i t i o n s . And as regards the general nature
of language, S a p i r ' s p o s i t i o n is not j u s t d i f f e r e n t from, but d i r e c t l y
opposite to t h a t of TG, as w i l l be seen below.
From the outset S a p i r , l i k e Saussure, draws a c l e a r l i n e between
l i n g u i s t i c and natural phenomena: "Language is p r i m a r i l y a c u l t u r a l
and social product and must be understood as such" (Sapir 1949f:166).
More p r e c i s e l y , language is comparable to a s o c i a l i n s t i t u t i o n ; insti-
t u t i o n a l behaviour is of course subject to psychological description
and e x p l a n a t i o n , but the primary task is to describe i t qua i n s t i t u t i o -
n a l , t h a t i s , to describe the i n s t i t u t i o n w i t h i n which i t is performed:
We can profitably discuss the intention, the form, and the histo
ry of speech, precisely as we discuss the nature of any other phase
of human culture - say art or religion - as an institutional or
cultural entity, leaving the organic and psychological mechanisms
back of it as something to be taken for granted (Sapir no date: 11) .
better than any other social science, linguistics shows by its data
and methods, necessarily more easily defined than the data and me
thods of any other type of discipline dealing with socialized be
haviour, the possibility of a truly scientific study of society
which does not ape the methods nor attempt to adopt unrevised the
concepts of the natural sciences.
cular events in space and time? Since such concepts must be defined
afresh for every culture, the conceptual differences between different
cultures should themselves be defined by means of culture-independent
rules of correspondence, if this positivistic programme of interpreting
Sapir's description in terms of space and time is to be carried out. I
claim that there is no way to operational ise a concept like 'spiritual
serenity in the Ojibwa culture', still less a concept like 'Ojibwa
culture' itself. So long as no correspondence rules are proposed, even
tentatively, to prove the opposite, I am entitled to disregard all ob
jections to my claim, or more generally to the claim that cultural con
cepts are qualitatively different from concepts such as 'atom' and can
not be treated according to the canons of natural science. Consequently,
in "The Meaning of Religion" Sapir is not making an empirical1 descrip
tion. Nor - as far as I can see - is he making an empi rical2 descrip
tion: because he is not speaking about, or even clearly implying, any
specific types of action, the occurrence, or lack of occurrence, of par
ticular actions cannot falsify his description in any straightforward
way. I think most positivists would agree with me that the description
in question is nonempirical. From this they would infer that it is non-
scientific as well. I would disagree with such a conclusion. Sapir's
description is clearly testable: it would be false precisely in case re
ligion is not what he claims it to be. There are objective methods for
deciding this question, but these methods are not as simple as the con
firmation and the falsification employed by empirical science. Nor is
there any reason why they should be as simple, apart from the aprioris-
tic requirement of the 'unity of science' (which, of course, is no ge
nuine reason). Consequently, I shall say that descriptions of cultural
or institutional phenomena are testable 3 . If they can be taken to pro
vide explanations, then they are to be characterised as explanatory3.
Sapir's analysis of various Amerindian religions is remarkably si
milar to Winch's (1964) interpretation of Zande magic. Both authors
reject the Western, excessively technological standards as a vantage
point from which to make intelligible and to evaluate (i.e., criticise)
the religious institutions of primitive societies. Rather, these in-
66 GRAMMATICAL THEORY AND METASCIENCE
s t i t u t i o n s have to be understood w i t h i n t h e i r own conceptual universes,
even to the extent t h a t the p o s s i b i l i t y of a communication between d i f -
f e r e n t universes comes to be recognised as a genuine, i f not unsolvable
problem. Winch also acknowledges the importance of language i n forming
the Weltanschauung of a given s o c i e t y , and in f a c t , he u n w i t t i n g l y gives
a s u c c i n t formulation to the 'Sapir-Whorf hypothesis' by quoting W i t t -
g e n s t e i n ' s remark from the Tractatus ( 5 . 6 2 ) : "The l i m i t s of my language
mean the l i m i t s of my w o r l d . "
Furthermore, i t is not too much to say t h a t Sapir a n t i c i p a t e s some
of the most important i n s i g h t s of Lévi-Straussian s t r u c t u r a l i s m . In
discussing the p a t t e r n i n g of social u n i t s , Sapir (Ί949g:340-41) notes
t h a t i n p r i m i t i v e s o c i e t i e s f u n c t i o n a l groups are generally subsidiary
to k i n s h i p , t e r r i t o r i a l , and status groups. I t has turned out t h a t i n
e n t i r e l y unrelated s o c i e t i e s the organisations of such non-functional
groups e x h i b i t formal or s t r u c t u r a l s i m i l a r i t i e s to a s t r i k i n g degree;
t h i s n e a r - i d e n t i t y of form obviously poses a problem. Sapir prepares
the way f o r an answer by r e l a t i n g the above-mentioned formal s i m i l a r i
t i e s , and analogous s i m i l a r i t i e s i n other f i e l d s as w e l l , to "a c e r t a i n
innate s t r i v i n g f o r formal e l a b o r a t i o n and expression and to an uncon
scious p a t t e r n i n g of sets of r e l a t e d elements of experience" (Sapir
1949e:156). When Sapir advocates "a social psychology of form which has
hardly been more than adumbrated", he seems to be g i v i n g an accurate
c h a r a c t e r i s a t i o n of the basic o b j e c t i v e s of Lévi-Straussian s t r u c t u r a -
lism:
3.4. Bloomfield
Today when reading books on linguistics, one easily gets the impres
sion that (aside from Humboldt) TG has discovered the creativity of
language. To Bloomfield, however, this fact was Obvious' (cf. the
quotation above) and in no need of elaboration. TG's emphasis on crea
tivity rests on its use of recursive rules (which were not available in
Bloomfield's time). However, the emphasis on recursivity rests on mis-
20-TH CENTURY LINGUISTIC THEORIES 71
3.5. Harris
The criterion which decides for -ing, and against un-, as the rele
vant environment in determining substitution classes [for verbs]
is therefore a criterion of usefulness throughout the grammar, a
configurational consideration (Harris:143, n.6)
would become evident that the category, and ultimately the grammar,
which he discovers is the one which he can best justify on the basis of
considerations referring to the over-all simplicity of the description.
But this standard procedure of a transformationalist grammarian is pre
cisely the same as the one which Harris explicitly considers as his own
(cf. above). Hence, discovery is always implicit in justification, and
any absolute distinction between the two is just an artifact.
It may be added that the replacement of discovery procedures by less
demanding evaluation procedures has in practice been largely symbolic:
it may be true that it is impossible to devise exact and rigorous disco
very procedures for grammars; but no exact and rigorous evaluation pro
cedures for grammars have been devised, either. Nor should this be sur
prising, considering that procedures for purely formally determining
the superiority of one theory over another have so far not been devised
in any science, whether empirical or not.
To sum up: Harrisian grammars are explanatory and testable theories
with the same right as those advocated by TG. In keeping with the re
quirement of 'strong reductionism', however, Harris tries to make his
approach as observational as possible and to minimise the role of theo
ry. Like Bloomfield, Harris thus represents the strict positivistic
standpoint that characterised much of the philosophy of science in the
1930s. It would be unfair to criticise them for subscribing to the pre
dominant methodological trend of their own time. To be sure, alternative
methodologies were available already then.
3.6. Transformational Grammar
and cannot be, met by any type of grammar. This result presupposes of
course an explanation of the precise nature of the subject matter of
grammar.
TG's position on the last-mentioned issue seems clear enough: A
grammar is comparable to a theory of natural science precisely because
it deals only with spatiotemporal, observable phenomena. However, the
situation is in fact more confused. Chomsky's Syntactic Structures,
wherein linguistics is explicitly compared to physics, also contains
the following passage:
The nature of the TG-type mental ism becomes evident from a conside
ration of the 'mentalistic' (or 'rationalist') explanations that grammars
are thought to provide. The following passage provides a good starting
point:
tics means simply acceptance of the actual canons of natural science, in
stead of some simplified versions thereof:
A theory is empirical if it is about the empirical world, and as
such, comfirmable or disconfirmable on the basis of observation and
experimentation. Thus, Chomsky's rationalism is every bit as em
pirical as Bloomfield's empiricism (Katz &Bever 1974:75, n.25).
The interesting thing is that, due to his general posi ti vi sti c out
look, Chomsky simply does not possess the methodological concepts to
capture the creative, non-mechanical character of human behaviour, for
instance, language use. The first step in this direction would be the
realisation that human sciences differ systematically from natural seien-
86 GRAMMATICAL THEORY AND METASCIEΝCE
The purpose of this book has been to provide the basis for an ex
planation of an almost miraculous and easily overlooked fact: Any
speaker of a human language, like English, French, or Chinese, can
produce and understand utterances which are completely novel to
him. ... As an illustration of this novelty, you will observe that
the sentences on this page are completely new to you; that is, you
have never seen exactly these sentences before. Perhaps the easiest
way to convince yourself that normal use of language involves com
pletely novel expressions is to try to find in a book or a news
paper some sentences which you can reasonably claim to have expe
rienced before in their entirety. A search of this sort will re
veal an interesting fact: Even in a long book it is unlikely that
you can find a repetition of the same sentence.
to satisfy them, but he does not make any concrete proposals about how
this could be achieved.
TG is subjected to a similar criticism in Derwing (1973) and in
Sampson (1975). They note that TG, as it is today, is not a genuine
empirical science, and propose changes and/or reinterpretations which
should transform it into such a science (for discussion, see 7.0. below).
It is not always clear whether Botha, Derwing, and Sampson mean their
results to be applicable only to TG, or to grammatical description in
general.
It is possible to agree with the criticism offered by the above-
mentioned authors, while arriving at a fundamentally different conclusion
In a series of publications I have defended the thesis that theories of
autonomous linguistics are not, and cannot be, empirical theories (I tko-
nen 1969, 1970, 1972a, 1972b, 1974, 1975a, 1976b). As a result, the
methodology and the philosophy of (autonomous) linguistics need to be
rethought in their entirety. In the present discussion I hope to give as
full a justification as possible of this view and explore as many of its
implications as I can.
Apel (1973c) has subjected TG to a careful philosophical scrutiny,
and comes up with the conclusion that, because of the impossibility of
the "Subjekt-Objekt-Trennung" (cf. 2.1. - 2. above) TG is, to a cer
tain degree, not an empirical, explanatory science, but rather a re
construction of a given rule-system, or of a competence pertaining to
such a system (cf. also Habermas 1971b:171-75). 'To a certain degree'
is, of course, problematic. Apel (1973c:283) thinks that formal univer
sals, which he erroneously identifies with transformations tout court,
are genuine laws of nature, but he is apparently unaware that such formal
universals as are known today (supposing that there are any) are arrived
at purely on the basis of grammatical analysis and hence cannot possibly
be given a deterministic or nomic status. Furthermore what little ex
perimental research has been done, shows that transformations do not have
psychological reality, i.e., deterministic power (cf. 8.4. below). On the
other hand, it would be pointlessfor Apel to speak about non-discovered
(and probably non-existent) formal universals. Perhaps worse, Apel takes
20-TH CENTURY LINGUISTIC THEORIES 89
over from TG the confusion between rules of language and rules of grammar,
While this confusion permits TG to see rules of language as non-normative
(cf. 7.5. below), it permits Apel (1973c:281 and 284) to see rules of
grammar - other than 'formal universals' - as normative. From this it
follows, implausibly, that grammars can be considered as somehow social
and normative entities.
In keeping with Apel's general philosophical line, Andresen (1974)
offers a detailed analysis of the concept 'explanation' in TG, and arrives
at the conclusion that TG explanations do not meet the criteria of D-N
explanation. Weydt (1975) achieves the same result. In Dretske (1974)
and Hutchinson (1974) a clear distinction is drawn, with differing value
judgements, between grammatical explanations and psychological or menta
listic explanations, the former being denied an empirical status. (In
fact, puzzlement about their status is expressed already in Botha l968:
109.) Ringen (1975:36) argues that "if grammars are to be compared with
scientific theories at all, they should be compared with axiomatic theo
ries in nonempirical sciences like logic and mathematics and not with
theories of physics and chemistry". Lass (1976) comes up with the con
clusion that phonological theories, instead of being empirical in Popper's
sense, are forms of 'rational metaphysics'. Similarly, according to Kac
(forthcoming), the normativity of linguistic data necessitates the non-
empirical character of grammatical descriptions; he proposes a type of
description which, unlike TG descriptions, would directly account for
linguistic normativity.
The issue of the psychological reality of grammatical descriptions
has been seriously taken up by scholars like Andersen, Antti la, Campbell,
Hsieh, Linell, Skousen,Steinberg and Krohn, who all represent, in dif
fering ways, what has come to be called 'concrete phonology'.
3.8. Conclusion
reason why the human sciences have not yet been able to rise from the
merely descriptive level to the explanatory one. At most, understand
ing can be used as a heuristic device in setting up positivistic causal
explanations of observable events belonging to the domain of human be
haviour.
When the traditionist thesis is briefly expressed in the above
manner, it probably seems nothing more to the average scientist than
harmless philosophical speculation which has no connection with his
work. However, upon closer inspection it has already become apparent
that this thesis has methodological implications that have been extre
mely effective and decidedly harmful in the history of scientific re
search influenced by positivismo First of all, human sciences have
been assimilated to natural sciences; secondly, both within human and
within natural sciences the status of the scientist, i.e., the one who
observes the behaviour of things and (other) human beings, has remained
unaccounted for. The former deficiency has been especially criticised
by hermeneutics, while the latter has been criticised by all those
schools of philosophy and metascience (including hermeneutics, of course)
which emphasise the nature of science as a historically given, social
enterprise. Recently, Apel (1973b) has shown in detail that traditio-
nism in the form of 'methodical solipsism' provides still today the
epistemological foundations of the positivistic philosophy of science.
The scientist is not in the world, in which are his objects of re
search, including all other human beings; rather, he is on the limit
of the world. Or, as the early Wittgenstein put it:
Dass die Welt meine Welt ist, das zeigt sich darin, dass die Grenz
en der Sprache (der Sprache, die allein ich verstehe) die Grenzen
meiner Welt bedeuten ... Ich bin meine Welt ... Das Subjekt gehört
nicht zur Welt, sondern es ist eine Grenze der Welt ... Hier sieht
man, dass der Solipsismus, streng durchgeführt, mit dem reinen Rea
lismus zusammenfällt. Das Ich des Solipsismus schrumpft zum aus
dehnungslosen Punkt zusammen, und es bleibt die ihmkoordinierte Rea
lität (Wittgenstein 1969a: 5.62, 5.621, 5.63, 5.632, 5.64)
The premises which should make the conclusion probable are supposed
to represent that primary state of knowledge in which I know nothing
but myself and my private experiences: this is the whole point of tra-
39
ditionism. It is the conclusion that introduces the concept of some
one else's experience, and hence of someone else. However, it is quite
easy to see that there can be no concept of 'I' without the correlative
concept of 'he' (and 'you' and 'we'), just as, for example, there can
be no concept of 'wrong' without the correlative concept of 'right'.
Consequently, in contradistinction to the basic assumption of traditio-
nism, the concept of person (i.e., I and others) must be assumed from
the outset, a priori , and all purely egocentric accounts of knowledge
are inherently inconsistent. Furthermore, since the world which I
perceive is necessarily intersubjective, the things in it are public
things, not constructions out of my private sense-impressions. There
fore knowledge is social at its origin; and the social origin of know
ledge guarantees the social control of knowledge (cf. 5.3. below).
96 GRAMMATICAL THEORY AND METASCIENCE
Could someone have a feeling of ardent love or hope for the space
of one second - no matter what preceded or followed this second?
- What is happening now has significance - in these surroundings.
The surroundings give it its importance and the word 'hope' refers
to a phenomenon of human life. (A smiling mouth smites only in a
human face.)(§583).
Now suppose I sit in my room and hope that N.N. will come and
bring me some money, and suppose one minute of this state could
be isolated, cut out of its context: would what happened in it
then not be hope? - Think, for example, of the words which you
perhaps utter in this space of time. They are no longer part of
this language. And in different surroundings the institution of
money doesn't exist either (§584).
And if things were quite different from what they actually are -
if there were for instance no characteristic expression of pain,
of fear, of joy; if rule became exception and exception rule; or
if both became phenomena of roughly equal frequency - this would
make our normal language-games lose their point (§142) .
does not of course mean reducing them to behaviour; nor does it mean
claiming that experiences independent from public criteria do not
exist, but only that nothing can be said about them. Wittgenstein
justly notes that purely subjective, and ex definitione incommunic
able, experiences have no place in the public, intersubjectively
understandable language in which we talk about our thoughts and feel
ings for instance; and such an language, or an artificial but still
intersubjectively understandable language based on such a language,
is the only logically possible language (cf. 4.2.5. below). Con
sequently, the question about the existence of something about which
nothing can be said in any language, turns out to be a spurious one.
On the other hand, with regard to the status of communicable experi
ences, Wittgenstein goes out of his way to repudiate the charges of
simple-minded behaviourism: "And now it looks as if we had denied men
tal processes. And naturally we don't want to deny them" (Wittgenstein
1958: I, §308).
Nonetheless, Wittgenstein admittedly remains vague in regard to
the positive definition of the nature of mental phenomena and of the
method of gaining knowledge about them, i.e., understanding them.
The following remark seems to indicate the direction in which one
should look for the answer:
Wenn Begriff und Wort, wenn Denken und Sprache ein und dasselbe
ist, wenn ferner die Sprache sich historisch und im Gebrauche des
Individuums nicht anders als sozial bilden konnte, so muss auch
das Erkennen der Wirklichkeit eine gemeinsame Tätigkeit der Mensch
en sein {op.cit. , p.30). 56
4.3.1 . Psycholinguistics
The belief that other people feel pains is not gratuitous even on
the view that there are no criteria of pains. On the contrary, it
FOUNDATIONS OF THE CONCEPT OF LANGUAGE 115
Here we have the lone observer who believes that other people feel
and think - in fact, that there ave other people - because on this be
lief he can best explain to himself the movements and sounds made or
emitted by familiar-looking bodies around him. It can be said that
the TG-inspired psychologists and philosophers represent the methodic
al solipsism in its purest form.
Certain recent developments within TG might seem to call the pre
ceding account into question. Partly in connection with the attempt
to integrate the theory of speech acts into TG, Fodor, Bever and
Garret (1974:1-21) now explicitly recognise the difference between
action and event in a way which amounts to a de facto acceptance of
the thesis of intentionality. However, this apparent departure from
the positivistic standpoint does not change TG's general methodological
position, as I will try to demonstrate in what follows.
Fodor et al. start from the correct observation that human actions,
and in particular acts of speaking, differ significantly from events
investigated by physics in that their occurrence or non-occurrence can
not be predicted in terms of their environment (cf. 4.2.2. above).
However, as they see it, this difference is not as great as one might
think. They view a human being as a mechanism with simple external
states and complex internal states; that is, the internal states of
the mechanism determine its output behaviour to a much higher degree
than its external states do. Therefore, the output behaviour cannot
be predicted merely on the basis of information about the external
states or the environment. However, insofar as the internal states
become known, the behaviour becomes predictable, and in the unlikely,
but theoretically conceivable case where the internal states are known
entirely, the behaviour is entirely predictable. Consequently, the
difference between action and event is, according to Fodor et al.
after all but a matter of degree.
The same conclusion may be reached in the following way. Fodor
116 GRAMMATICAL THEORY AND METASCIENCE
of common knowledge, but whether they are or not, has no influence upon
their factual existence. To put it more simply, there can be no norma
tive entities where there are no people, whereas there certainly can
be, and are, physical entities where there are no people.
Since I regard a language as a system of rules, I have given here
my account of what it means to say that a language exists. Objections
to the effect that there are no (genuine) rules of language, will be
discussed in 5.3. and 6.1-2.
However, I must add that at the level of common knowledge langu
age does not exist as a system, but rather as a set of rules. It is
the grammarian's task to work out the system in question. In other
words, atheoretical knowledge of language as a set of rules shades off
into theoretical knowledge of language as a system of rules. This is
why, after a system has been proposed, we sometimes have the feeling
that we knew it all along (cf. 11.1. below). This is also the sense
in which it might be said that the grammarian reveals the language as
it 'really' is.
In language, the inseparability of doing and knowing that one
does, is actualised as the inseparability of speaking and knowing that
one speaks; one's knowledge of speaking, or of object language, becomes
expressed as metalanguage. In other words, natural language is charac
terised by the fact that it functions both as object language and meta
language. This linguistic reflexivity is not a logical flaw, but just
the expression of the inherent reflexivity of consciousness in general.
The strict separation of object language and metalanguage, as it has
been carried out in formal logic, is analogous to the research situa
tion in natural science, where knowledge pertains to something which
has no knowledge or is treated as having none (cf. 2.1. above). In
aphasia the loss of metalinguistic capacities means that one's langu
age withdraws from under social control insofar as one is no longer
able to perceive differences between one's own language and the langu
age of others (cf. Schlieben-Lange 1975b). At first glance, this
might appear to be the beginning of a development toward a private
language. Yet what we have here, is in reality no longer a genuine
THE CONCEPT OF LANGUAGE 127
And:
'I don't know if this is a hand.' But do you know what the word
'hand' means? And don't say 'I know what it means for me now'.
And isn't it an empirical fact - that this word is used like this?
And here the strange thing is that when I am quite certain of how
the words are used, have no doubt about it, I can still give no
grounds for my way of going on. If I tried I could give a thou
sand, but none as certain as the very thing they were supposed to
be ground for (§§306-07; cf. also, in particular, §§369-70).
... 'At this distance from the sun there is a planet' and 'Here
is a hand' (namely my own hand). The second can't be called a
hypothesis. But there isn't a sharp boundary line between them.
For it is not true that a mistake merely gets more and more im
probable as we pass from the planet to my own hand. No: at some
point it has ceased to be conceivable.
146 GRAMMATICAL THEORY AND METASCIENCE
If I say 'we assume that the earth has existed for many years
past' (or something similar), then of course it sounds strange
that we should assume such a thing. But in the entire system
of our language-games it belongs to the foundations. The as
sumption, one might say, forms the basis of action, and there
fore, naturally, of thought (§411).
Similarly, the fact that English may (in fact, will) change in
the future, does not in the least call into question my knowledge of
English such as it is today.
Because mistakes and delusions are always empirically possible,
we reach a conclusion similar to the one we reached in connection with
the identification of mental phenomena (in 4.2.2. above): it is con
ceptually necessary that people, when dealing with the stock of every
day knowledge, are usually right in what they say, think or do, and
there are objective criteria for deciding this question; but in each
particular case it is possible that an individual person is making a
mistake:
And finally:
In Wahrheit aber sind sich die Sprecher des Systems und der soge
nannten 'Gesetze der Sprache' voll bewusst. Sie wissen nicht nur,
was sie sagen, sondern auch, wie es gesagt wird (und wie es nicht
gesagt wird); auf eine andere Weise könnten sie zumindest nicht
THE CONCEPT OF LANGUAGE 151
Zunächst kann die 'Norm': die Spielregel also, als solche zum
Gegenstand rein gedanklicher Erörterung gemacht werden (Weber
1968:337; emphasis added).
pirical hypotheses.
Consider our previous rule-sentence " I n English the d e f i n i t e ar-
t i c l e precedes the noun". This sentence is not f a l s i f i e d even i f we
should come across an utterance l i k e " G i r l the came i n " : such an u t t e r -
ance is incorrect whereas our rule-sentence is about c o r r e c t utterances
(and sentences) o n l y , On the other hand, our rule-sentence cannot of
course be f a l s i f i e d by an utterance l i k e "The g i r l came i n " : such an
utterance is c o r r e c t , or such as the rule-sentence says i t ought to be.
Consequently, the rule-sentence can be f a l s i f i e d n e i t h e r by i n c o r r e c t
utterances nor by c o r r e c t u t t e r a n c e s , which means i n e f f e c t t h a t it
cannot be spatiotemporally f a l s i f i e d at a l l . 'Empirical' equals 'spa-
tiotemporally falsifiable'.86 Since our rule-sentence is spatiotem-
p o r a l l y u n f a l s i f i a b l e , i t must be nonempirical. Moreover, according to
one common d e f i n i t i o n , 'necessarily t r u e ' equals ' u n i v e r s a l and u n f a l s i -
fiable'.87 Since our rule-sentence is both universal (cf. n.86) and
unfalsifiable (cf. immediately above), it follows, then, that it is
also necessarily true in the present, technical sense. - Before we
accept this conclusion, I shall dispose of one rather obvious objection
that may be brought up.
One might admit that in the present state of English our rule-sen
tence about the definite article, and all similar rule-sentences (cf.
6.2.), are in fact unfalsifiable. But - one might argue - it is clearly
possible to imagine a state of English in which phrases like "girl the"
would be correct. In this imaginary English, then, our rule-sentence
would apparently be false, which would mean that it is not unfalsifi
able, or necessarily true, after all.
There are several reasons why this argument cannot be upheld.
First; the rule-sentence is here supposed to be falsifiable by the
existence of a rule differing from the one which exists in fact. It
will be recalled that an empirical hypothesis is falsifiable only by
spatiotemporal events or facts. But it is not a spatiotemporal fact
that a language contains this or that rule. This can be seen most di
rectly from the definition of rule, which says that rules exist only
at the level of common knowledge (cf. 5.1. above). Moreover, I shall
THE NONEMPIRICAL NATURE OF GRAMMAR 159
finite article precedes the word woman", etc. It is clear that such
sentences refer to genuine rules, and not to particular spatiotemporal
events, because they refer to word-types (or word-concepts), and not
to any particular one from among those potentially infinitely many
spatiotemporal word-tokens which may exemplify any given word type. 90
My rules and rule-sentences are primarily meant to exist at this
level of concreteness . I take it for granted that ordinary people,
not to speak of professional linguists, are able to know with certain
ty also rules of a more abstract type. But I have no need for such
rules, because I am interested only in proving that in language there
are genuine rules; and the most concrete kinds of rules are best suit
ed for my purpose. From this requirement of concreteness it follows,
among other things, that at the linguistic level examined here there
are absolutely no exceptions because the (traditional) 'exceptions'
ave themselves rules. Consider the rule according to which the end
ing of the English plural is -s (and not -t, -rk, -buruburu, etc.).
I break down this rule into a set of rules which state the correct
plural forms of each particular English noun. According to one of
these rules, the correct plural for boy is boys', according to another,
the correct plural for man is men. To repeat, I am sure that in addi
tion to knowing the rules which determine the correct plural form for
each noun taken separately, ordinary speakers are also able to know
the generalised rule according to which -s is the correct ending for
almost all nouns. I am also sure that ordinary speakers can be guided
into knowing even more general types of rule.
I am, however, not concerned here with establishing the boundary
line between atheoretical and theoretical, or what can, and what cannot
be known. This is obviously an empirical question, which can be an
swered only on the basis of psychological experimentation (cf. n.90);
and the answer must certainly be formulated in statistical terms. Here
as elsewhere, I am solely concerned with conceptual questions. (This
should be kept in mind throughout my argument. The methodology of an
empirical science - not to speak of the methodology of grammar - is
not itself an empirical science.) Accordingly I am concerned here with
162 GRAMMATICAL THEORY AND METASCIENCE
I see that this piece of metal expands when heated but I doubt it; and
no amount of evidence can convince me that my doubt is baseless. This
example makes it clear that doubts of this kind are essentially irra
tional. If they were taken seriously, empirical (or grammatical) re
search could not even begin. It would be just as irrational for me to
doubt, when playing poker, whether a full house r e a l l y beats a flush,
in spite of the fact that I have always been playing, and seen every
body else play, according to this rule and that, if I ask others, they
tell me that this is indeed the correct way of playing.
It is important to notice that in my opinion the paradigmatic case
of language description is the one where the linguist is describing his
native language. It is easy to see that this is the ideal to which ling
uists describing foreign languages have always attempted to approximate
in their efforts to better understand the languages under study. Whether
this has been acknowledged or not, the primary object of linguistic de
scriptions has always been language as it is known by those who fluent
ly speak it, and the use of informants for instance is nothing but a
short-cut to that intuition which, due either to the lack of time or
to self-imposed methodological restrictions (as in the time of American
'taxonomic' linguistics), one was not in a position to acquire. However,
native speakers have no uniquely priviledged status. New languages can
be learnt, and when one speaks a foreign language reasonably well, one
is entitled to consider describing it with roughly the same competence
as native speakers are.
We may conclude that in matters of confirmation and falsification
empirical hypotheses and (linguistic) rule-sentences behave in funda
mentally different ways, due to the fundamental difference between re
gularities and rules. This difference could be summed up in the follow
ing way: Rules are known to exist, and they determine which occurrences
(i.e., normative actions) are, and are known to be, correct, whereas oc
currences (i.e., events and non-normative actions) determine which re
gularities are assumed to exist. Or, from the perspective of linguistic
expression, rules determine which rule-sentences are known to be true,
whereas occurrences determine which empirical universal hypotheses are
assumed to be true.
THE NONEMPIRICAL NATURE OF GRAMMAR 165
I think the facts which I have been discussing here are quite un
ambiguous; I also think that the conclusions which I have drawn from
these facts are beyond dispute. It might seem surprising then that TG
and most other schools of linguistics either have never discussed these
relatively simple questions at all or have at most made summary claims
which are tantamount to a denial of the conclusions drawn here. However,
there is a logical explanation for this seemingly peculiar attitude.
The difference between rules (of language) and regularities, which was
demonstrated above, is based on the normative nature of rules. Now,
probably because of the general intellectual climate of our century,
it is generally thought that linguistics is an empirical science in
the positivistic sense, i.e., comparable to any standard natural scien
ce (cf. 3.0. above). But there is, and could be, nothing normative
about natural events, e.g., the movements of planets or gas molecules.
And this non-normativity of events exemplifying regularities in nature
is conceptually linked to the fact that regularities can never be known
with certainty, which means that hypotheses referring to them can never
be known with certainty to be true. Consequently TG, as well as most
other schools of linguistics, must claim that in language there are no
rules, but only regularities, and that sentences referring to these
'regularities' are genuine universal hypotheses, i.e., can never be
known for sure to be true. We have just seen that this attitude is
contrary to the facts.
As a representative of positivistic linguistics, Harris (1961:254)
was logical enough to claim, i n t e r alia, that "given the present Eng
lish system in which / η/ does not occur initially, the possibility
that someone will pronounce an English utterance containing initial / η / ,
e.g., in / n e n / is very remote", with the clear implication that if such
an utterance should occur, it would have to be accounted for in the pho
nological description of English. Here Harris is straightforwardly
adopting the position that in language, just as in nature, all actual
occurrences are equally relevant. But we have seen that the fact that
someone utters a form like "girl the", for example, has no relevance to
the description of English, because such a form is incorrect, and there-
166 GRAMMATICAL THEORY AND METASCIEΝCE
have its own set of basic statements, i.e., statements dealing with the
simplest aspect of that region of reality with which the science in
question is concerned. The basic statements of natural science are
about particular spatiotemporal occurrences (cf. above). What do the
basic statements of grammar look like? Bach (1974:61-63) and Leech
(1974:84-90) give examples of, respectively, morpho-syntactic and se
mantic basic statements. For instance:
"The past tense of play is played. The past tense of sing is not
singed hut sang."
me a song.'
"Sing is a verb of the class that can occur in the progressive as
pect {He is singing a song) , as opposed to verbs like know (' He is
knowing the answer). "
"Sing can occur in the passive: This song was first sung by Rudy
Vallee. ( This man is resembled by his mother.)"
"Sing can stand with two NP's in its predicate: She sang me a song
(compare She saw me a sailboat)."
To this list we can add the following phonological rules for in
stance: "The words pill and pan (kill and can, etc.) begin similarly"
and "The words pill and kill (pan and can, etc.) begin differently".
Notice that those 'basic statements of grammar', i.e., rule-senten
ces, which contain theoretical terms like 'progressive aspect' or 'syno-
168 GRAMMATICAL THEORY AND METASCIENCE
which show how one is to get from given premises to the conclusion,
cannot be called true or false, but only valid or invalid. However,
they can be easily transformed into formulae admitting of truth-va
lue, e.g., "[(pvq)&-p] q". This is why validity is generally used
as a superordinate term applying both to rules of inference and to
formili ae.
In this chapter I have limited the notion of rule-sentence in
such a way that (atheoretical) rule-sentences and (theoretical) gram
mars not purporting to refer to existing rules are decreed to lack
truth-value (cf. the discussion of the impossibility of diachronic
falsification of rule-sentences in 6.1. above). I now have to reveal
the presupposition on account of which it makes sense to treat lin
guistic descriptions in this way. It is a self-evident truth that a
natural language fulfils a multiplicity of different functions. It
appears to be generally felt that language fulfils these functions
well enough, one reason for this being that mostly they do not exist
prior to and independently of language, but are rather made possible
by language and develop (spontaneously) together with it. Be it as
it may, the fact is that it is only seldom that there arises a need to
change, i.e., to improve, language in such a way that it better suits
those functions which it is supposed or required to fulfil. And when
such a need does arise, it mostly manifests itself in the creation of
technical sublanguages or formal languages which stand clearly apart
from natural languages and, hence, are not part of the (traditional)
subject matter of linguistics. It is important to realise that it is
only in the context of an activity with no built-in interest in con
scious change and improvement that, strictly speaking, it makes sense
to establish the synchronic - diachronic dichotomy. Our everyday
speech is generally thought to be such an activity, that is, the state
of language preceding a linguistic change has no conscious or inten
tional (i.e., conceptual) relation to the state of language that will
THE NONEMPIRICAL NATURE OF GRAMMAR 171
tements made within TG. But it has also been claimed that, due to
the degenerate quality of actual speech and to the novelty of utter
ances, there are in speech in the sense of Saussure's 'parole' no
regularities to be described (Chomsky 1966:32, n.8), - a claim which
is neatly contradicted for instance by the observation that there are
already regularities in the speech of eighteen-month-old children
(Slobin 1971:53).
As far as I can see, Chomsky's position here could be reconstruct
ed as follows. On the one hand, as a positivist, he cannot accept
(known or knowable) rules as the subject matter of grammar. On the
other, he is well aware that he is dealing with intuitive knowledge
and that, from this point of view, eventual regularities exhibited by
actually occurring utterances are simply irrelevant; so much is indeed
evident from his repudiation of statistical considerations in grammar
(cf. 9.1. below). Thus, he comes to the conclusion that TG has to do
neither with rules nor with regularities, but only with particular
(correct) sample sentences. However, a natural science not investi
gating regularities in nature is clearly a contradiction. It is asto
nishing that Chomsky has managed to avoid facing this very simple truth.
To be sure, using a vocabulary so vague as to make useful discussion
impossible, Chomsky has always maintained that TG aims at discovering
some 'deep' or 'basic' regularities of language (e.g., Chomsky 1965:5).
What he has in mind is simply that TG attempts to make generalisations
concerning the correct sentences of particular languages. (Notice
that all sciences, empirical and nonempirical alike, make 'generalisa
tions'; cf. 10.0. and 11.0. below.) Within TG, generalisations are
expressed through rules of grammar. From this, it can be seen that
the only type of rules which TG allows for are grammatical rules, i.e.,
components of theoretical descriptions, about which native speakers
mostly have absolutely no antecedent, intuitive knowledge. This has
several unnatural consequences. For example, although rule and correct
ness are correlative concepts, TG is forced to maintain that native
speakers are aware of the correctness of sentences without being (able
to become) aware of the rules determining their correctness. Hence,
190 GRAMMATICAL THEORY AND METASCIENCE
bound by its allegiance to positivism, TG ignores the existence of
linguistic rules as socially given, as normative phenomena, and inter
prets languages simply as infinite sets of sentences (i.e., correct
sentences). Sentences are straightforwardly taken to be 'objects' of
some kind, and they are supposedly investigated by means of methods
identical with those used by natural scientists in the investigation
of their data.
It is generally acknowledged by nonpositivists that one of the
most harmful consequences of the positivistic world-view is the objec
tification, or the 'reification', of entities belonging to the human
sphere. Equating men with things, positivism treats intentions, goals,
and values on a par with theoretical concepts of physics by simply em
bedding them in presumed cause-effect relationships. This attitude is
entirely inadequate, because it draws an absolute distinction between
people as research objects and people as researchers, and ignores the
role of the latter. As for TG, this reificatory tendency becomes appa
rent in the above-mentioned fact that the social and institutional
aspects of language are discarded and language is defined as a set of
objects (i.e., sentences). Within this static and reificatory frame
work there is no way to represent the obvious connection between sen
tences and the intentional, rule-governed actions of uttering them.
Moreover, within this same positivistic framework it remains incom
prehensible why this particular set of objects (i.e., sentences), as
distinguished from sets of objects investigated by standard natural
sciences, requires its own type of knowledge (i.e., linguistic intui
tion). But within a nonpositivisti c or hermeneutic framework lin-
guisticintuition is seen to be a special case of the 'agent's knowledge',
i.e., man's knowledge about his own (possible) actions and the (social)
rules governing them.
I suspect that TG's inability to perceive the existence and the
nature of rules of language is due, not only to its allegiance to po
sitivism, but also to its emphasis on artificial languages whose sen
tences are just strings of a's and b 's. In contradistinction to nat
ural languages (and to languages of logic and mathematics), such lang
uages cannot of course be used in any meaningful sense of the word.
THE INELIMINABILITY OF NORMATIVITY 191
Consequently there can be no rules (of use) connected w i t h these langu-
ages, and they can only be defined as ( i n f i n i t e ) sets of sentences, gen-
erated or not by grammars each of which i n turn c o n s i s t i n g of a ( f i n i t e )
set of grammatical rules. On the other hand, i t would be perverse to
define natural languages in the same way, given t h a t they are spoken
and w r i t t e n , i.e., used, according to s o c i a l l y v a l i d and c o n t r o l l e d
rules. I f we have to give a d e f i n i t i o n of natural language, then i t is
most n a t u r a l , and in keeping w i t h a long t r a d i t i o n in l i n g u i s t i c s , to
i d e n t i f y i t w i t h a set of social r u l e s . Nevertheless, under the i n f l u -
ence of the a r t i f i c i a l s i m p l i c i t y of the ab-languages, TG p e r s i s t s in
d e f i n i n g natural languages too as sets of sentences.
8.0. LANGUAGE AND GRAMMAR
Metascience deals with the dialectics between scientific descrip
tion and its object. Once we know the object, we know what type of de
scription it admits of. What still remains to be done in the matter is
to analyse those descriptions which are used in fact to describe the ob
ject, and, if possible, to suggest ways of improving upon them.
As I have pointed out earlier in this study (p.16), I do not think
that whatever is investigated by a theory, exists for us only qua the
subject matter of the same theory. In this sense, then, language is in
dependent of linguistics, as is confirmed by the self-evident fact that
there were languages long before there were grammars to describe them.
Yet even if we grant that language pre-exists all particular grammatic
al theories, it is clear that we cannot scientifically speak about it in
its pregrammatical state without using a more or less theoretical appa
ratus of some kind. It is certainly the case that we possess atheore-
tical knowledge of language, but the concept 'atheoretical' is not it
self atheoretical, given that it is interdefinable with the concept
'theoretical', which is itself theoretical. Even more obviously, con
cepts like 'rule-sentence' and 'unfalsifiabi1ity!, which are needed to
analyse language, are of a theoretical nature. Consequently we are
forced to make the following distinctions: First, there is the dis
tinction between language and its theoretical analysis (this latter
being, to repeat, different from grammar). Second, there is the theo
retical (i.e., metascientific) analysis of the relation between langu
age, as theoretically analysed, and grammar.
In 4.0.-5.0. I was almost exclusively concerned with the theory of
language, i.e., with the analysis of what will in the grammatical con
text turn out to be the object of grammatical descriptions. I reached
LANGUAGE AND GRAMMAR 193
It has become amply clear that the difference between actions and
LANGUAGE AND GRAMMAR 199
rules on the one hand, and events and regularities on the other, is
that between intentionality (or consciousness) and the lack of it.
The category of actions is considered here as representative of the
larger category of social behaviour, which means that social behavi
our qua social is at least potentially conscious of itself. Further
more, science is a social activity which follows its own procedural
rules, and is at the same time anxious to improve them. From this,
it follows that a science investigating any type of social behaviour
must, of necessity, involve tuo types of consciousness and of know
ledge, viz. that of the research objects on the one hand, and that
of the researchers on the other. For obvious reasons, I call these
two types of knowledge 'atheoretical' and 'theoretical', respective
ly. Together, they make up the 'two-level' character of any social
or human science.
Normative human sciences like grammar, logic, or philosophy con
centrate upon a given body of atheoretical knowledge, i.e., upon an
atheoretical conceptual system or institution. Empirical human scien
ces like psychology or sociology concentrate upon what is done as a
matter of fact, as atheoretically understood by means of concepts pro
vided by such systems or institutions. (It goes without saying that
behaviour so understood is explained by means of theoretical concepts
which are not available to the research objects, i.e., ordinary peop
le.) In conformity with my interest in the metascience of grammar,
I am concerned here primarily with the 'atheoretical - theoretical'
distinction insofar as it applies to normative human sciences.
The natural sciences are identifiable as one-level theories:
their research objects either have no consciousness or are treated
as if they had none. In other words, the natural sciences involve
only the consciousness of the researchers. This implies that the
difference between the layman's atheoretical knowledge about regula
rities in nature and the natural scientist's corresponding theoretic
al knowledge is one not in kind, but in degree. In fact, the know
ledge possessed by each of them is equally hypothetical, and hence
falsifiable by new events. A confirmation of this one-level charac
ter can be seen in the fact that, although there are well-known dif-
200 GRAMMATICAL THEORY AND METASCIENCE
ferences between types of universal hypotheses, e.g., between simple or
inductive generalisations and theoretical hypotheses, these differences
are to a large extent treated as philosophically secondary. For example,
Hempel (1965) illustrates his theories of confirmation and explanation
with hypotheses as simple as "All swans are white" and "All pieces of
metal expand when heated".
In other words, the relation of theoretical thinking to atheoretic-
al thinking differs according as it holds within natural science or with
in human science; this difference could be expressed succintly as follows:
In natural science theoretical thinking replaces atheoretical thinking;
they both pertain to the same reality, but in different ways. In human
science, by contrast, theoretical thinking vervains to atheoretical
thinking, either exclusively, as in grammar for example, or partially,
as in empirical sociology. From the point of view of theoretical phy
sics, atheoretical thinking about physical events and regularities pos
sesses no scientific interest whatever; and the reason is of course that
such thinking is very often incorrect. By contrast, a man capable only
of atheoretical thinking is the ultimate authority on several questions
which are an inseparable part of what human sciences are investigating,
for instance: Does he think that the food prices are too high? or: How
did he understand such and such an action?
The distinction between atheoretical and theoretical is clearest
in a descriptive normative science like grammar, where atheoretical
knowledge is (to a large extent) certain and theoretical knowledge is
(as always) uncertain or, to put it in verbal terms, where atheoretic
al rule-sentences are unfalsifiable, and theoretical grammars are fal-
sifiable. However, in addition to descriptive human sciences, there
are also prescriptive and critical human sciences, whether normative or
not. Such sciences do not just accept atheoretical thinking as it is,
but try to improve it or in part even to reject it.
By way of a summary, we may quote Schutz' (1962:5-6) characterisa
tion of the essential difference between natural and human (or social)
sciences:
The facts, data, and events with which the natural scientist has
to deal are just facts, data, and events within his observational
LANGUAGE AND GRAMMAR 201
field but this field does not "mean" anything to the molecules,
atoms, and electrons therein. But the facts, events, and data
before the social scientist are of an entirely different struc
ture. His observational field, the social world, is not essen
tially structureless. It has a particular meaning and relevance
structure for the human beings living, thinking, and acting the
rein. They have preselected and preinterpreted this world by a
series of common-sense constructs of the reality of daily life,
and it is these thought objects which determine their behaviour,
define the goal of their action, the means available for attain
ing them - in brief, which help them to find their bearings
within their natural and sociocultural environment and to come
to terms with it. The thought objects constructed by the social
scientists refer to and are founded upon the thought objects con
structed by the common-sense thought of man living his everyday
life among his fellow-men. Thus, the constructs used by the
social scientist are, so to speak, constructs of the second de
gree, namely constructs of the constructs made by the actors on
the social scene, whose behaviour the scientist observes and
tries to explain in accordance with the procedural rules of his
science.108
there remains the question both about those reasons and about those
causes, i.e., unconscious and/or external factors, which lead to the
choice of one alternative over another.
In the light of the preceding discussion, it is clear that a pu
tative human science which would disregard people's own criteria of
conceptualising and classifying phenomena would eo ipso disqualify it
self as a human science and be, instead, a natural science only accident
ally investigating human beings, i.e., objects that would in some other
context be identifiable as human beings. Biology, for instance, meets
this characterisation. However, the interesting thing is that, con
trary to the explicit intentions of positivistically-minded psycholo
gists and sociologists, it is simply impossible for them to treat human
beings strictly on a par with inanimate objects. As Taylor (1964) in
particular has pointed out, even within behaviourism, which does every
thing in its power to imitate the methodology of natural science, and
with apparent success, the phenomena under study are in the last ressort
classified, or interpreted, according to criteria borrowed from the gen
eral atheoretical knowledge which the behaviourists share with their re
search objects (cf. 2.1. above). This is the only possible reason why
certain objectively measurable features of external behaviour are taken
as defining the notions 'motivation' and 'learning' for example, and
not just some arbitrary notions 'X' and 'Y'. More strikingly, even with
in animal psychology the psychologists cannot help projecting the gener
al atheoretical notions of 'deprivation', 'gratification', etc. into the
supposedly purely observable behaviour of animals (Taylor 1964:63-71 and
87-97).
There must be a constant mediation between atheoretical and theore
tical because, on the one hand, theory has grown out of atheoretical
thinking and, on the other, the scientist can describe new social phe
nomena only if he has acquired the atheoretical knowledge which, for
the people involved, constitutes these phenomena as what they are. This
mediating link between atheoretical and theoretical is provided by under
standing. Hence, understanding proceeds both horizontally and vertic
ally, so to say. In the vertical direction it connects two different
204 GRAMMATICAL THEORY AND METASCIENCE
types of agent's knowledge. The emancipatory p o t e n t i a l of sciences
l i k e psychoanalysis or c r i t i c a l sociology resides p r e c i s e l y i n the
f a c t t h a t people are able to understand the r e s u l t s of a science
which has been i n v e s t i g a t i n g them, and to change t h e i r behaviour and
t h i n k i n g in the l i g h t of such r e s u l t s . The necessity of a mediation
between a t h e o r e t i c a l and t h e o r e t i c a l proves t h a t the d i s t i n c t i o n be-
tween the two must be a r e l a t i v e one ( c f . 4 . 2 . 4 . above). Considered
from this p o i n t of view, the human sciences are one-level sciences,
because researchers stand i n an i n t e r n a l r e l a t i o n , or are p a r t l y iden-
t i c a l , w i t h t h e i r research o b j e c t s . By contrasts the natural sciences
are in this respect two-level sciences because they involve an abso-
1 ute s u b j e c t - o b j e c t - d i v i s i o n .
One can acquire the a t h e o r e t i c a l knowledge of a community only
by, in a sense, i d e n t i f y i n g oneself w i t h the members of t h i s communi-
t y , t h a t i s , by understanding the ( a t h e o r e t i c a l ) rules which they
f o l l o w in acting and, more g e n e r a l l y , in i n t e r p r e t i n g t h e i r life;
t h i s kind of understanding is out of question w i t h i n the natural
sciences ( c f . 8 . 1 . above). Nothing more special i s meant by the me-
thod of Verstehen:
The fact that in common-sense thinking we take for granted our ac
tual and potential knowledge of the meaning of human actions and
their products, is, I suggest, precisely what social scientists
want to express if they speak of understanding or Verstehen as a
technique of dealing with human affairs (Schutz 1962:56).
In conformity with the fact that a human science cannot start un
til the relevant atheoretical knowledge has been acquired, a linguist
ic description cannot be made until the linguist has learned the langu
age to be described. As I have mentioned before, the use of informants
is nothing but a way of speeding up this language-learning process.
For the sake of illustration, consider the case of a linguist facing
a language unknown to him. As transformationalists have emphasised in
particular, a large part of the linguistic data available to the langu
age learner is incorrect in one way or another. Therefore, to be able
to write a grammar of the language in question, the linguist must be
capable of discarding incorrect or accidental forms and uses of langu
age; in other words, he must come to understand the rules of this langu
age. If we assume that he would be collecting his data in the manner
of a natural scientist, the result of his description could not possi
bly represent the language concerned in any relevant sense. First of all,
it is totally unclear by which criteria he would be identifying the ba
sic units in the data to be described. And even if we by-pass this in
itself insurmountable difficulty, it is still the case that, since in
actual speech there occurs a certain number of incorrect forms, and
since within natural science all occurrences are equally relevant, a
linguist collecting his data in the manner of a natural scientist could
not distinguish between correct and incorrect, or between rules and vio-
LANGUAGE AND GRAMMAR 209
So far as there are rules of usage for a word they must ... be de
rivable from the use of the word alone. Wittgenstein thereby makes
exclusive use of a method which we wish to call "immanent reflection
on linguistic use", the possibility of which rests on the fol
lowing fact: as children we are brought up to use the words of the
language exactly as they are normally used in the linguistic com
munity. The consequence is that all members of the community re
ally do follow the same rules. Without this homogeneity of lin
guistic use our language would lose its character as a general me
thod of communication. Now, if, as an adult, one is asked about
the rules of linguistic usage one only needs to reflect on how
words are used in everyday linguistic practice. One already uses
words, of course, in accordance with the rules that have been in
culcated into one, and can, therefore, recognise them by reflect
ing on one's own linguistic usage. This reflection is "immanent"
to the extent that one does not need to go beyond what one alrea
dy knows of linguistic use.
For example, most linguists would agree that two rules of the
form
X → Y
Ζ → Y
if not separated in the ordering by any other rules, should be
LANGUAGE AND GRAMMAR 217
Note that I have left out the most stringent test for the existen
ce of rules, namely: Can the individual state the explicit rule?
As I pointed out before, using this as evidence, of course, we
would all fail the test. Since no complete and adequate grammar
of English (or any language) has yet been written, in fact none of
us knows the rules of English according to this criterion. We can
follow them and use them implicitly, but we can state them only
rarely, imperfectly, and with uncertainty.
imaginary 'complete and adequate' grammar of English, which even the best
linguists are unable to formulate. And from the fact that the latter
are unknown, the conclusion is retrospectively drawn that the former
must be unknown, too., When Slobin admits that speakers are able to re
cognise deviations from the norm, but denies that the norm itself can
be known, he is asserting that contradiction which, as I have mentioned,
is generally characteristic of TG: although (in)correctness and rule
are correlative concepts, it is maintained that the one can be known
while the other cannot. To put it differently, the 'normative sense
of rules' does not really make sense, if rules are identified with
'rules' of grammar which are not known by anyone, not even by the lin
guists. Briefly, the practitioners of TG do not seem aware of the fact
that they are using the term 'rule' in widely different senses.
TG's one-level conception of linguistics has moved Postal (1968b:
274-75) to draw a comparison between 'implicit' knowledge of language
and the layman's knowledge about the regularities governing food diges
tion: in his opinion, writing a grammar is in every way similar to
discovering the biochemical processes involved in digestion. The ex
tent of the positivistic indoctrination within TG can be seen from the
fact that analogies so patently false have gone unchallenged. And yet,
a special effort is needed in order not to see that digestion is some
thing that happens to us, whereas speaking is something that we oursel
ves do. Similarly, it takes a lot of training until one is able to dis
miss the obvious fact that, since there are right and wrong ways of
speaking, speaking is a normative activity whereas digestion is an obser
vable, natural phenomenon; and it goes without saying that knowledge a-
bout norms cannot be compared to knowledge about observable events.
man
woman
236 GRAMMATICAL THEORY AND METASCIENCE
It was just a technical innovation that words were later introduced as
parts of a 'lexicon'. Changes in the ways of describing language do
not of course affect the nature of language itself. Moreover, the de
velopment of generative semantics has at least called into question the
use of a self-contained lexicon. - My position here is further support
ed by the close analogy between generative grammars and axiomatic sys
tems of logic (cf. 10.0 below), given that the latter contain no state
ments about particulars.
Secondly, if the correctness of sentences is what grammars are re
quired to explain, it is clear that, irrespective of their specific for
malisations, the substance of grammatical 'D-N explanations' must be
this:
Now, it is clear that a's having the property complex F. is not the
cause of, or more generally does not empirically determine the fact that
a is correct sentence of L; rather, the former fact entails the latter.
That is, to have the property complex F. is to be a correct sentence of
L. Consequently the second premise entails the conclusion all alone,
which means that the condition of conceptual independence is not met:
it is not possible that the 'statement of antecedent conditions' is true
and the 'explanandum' is false.
To give a simple example, to notice that in the form the man the ar
ticle precedes the noun is to notice that this form is correct. A form
in which the article follows the noun is incorrect by conceptual neces
sity (cf. pp.158-60). The same argument applies to all more complex
cases: We cannot notice that an utterance 'Y' has all the properties of
a correct utterance, without noticing that the utterance 'Y' is correct.
Similarly we can neither observe nor think of a closed figure with three
lines without observing, or thinking of, this figure as a (correct) tri-
THE METHODOLOGY OF GRAMMAR 237
G1: S → SS (p 1 )
S → a (p 2 )
S → b (p 3 )
S (given)
S S (Ρ 1 )
a S (P 2 )
a S S (P1)
a b S (P 3 )
a b a
(p 2 )
I think that, as far as it goes, Kanngiesser's interpretation of
the notion 'explanation in TG' is quite correct. But notice that in
precisely the same way we could 'explain' for instance any string con
sisting of one or more zeros: for instance, the string 000 is 'explained'
as follows:
G2: X → XO (q 1 ) X (given)
X → 0 (q 2 ) X 0
X 0 0 (q 1 )
0 0 0 (q 2)
It should be clear that such 'explanations' have very little to do
with the way in which observable events are explained on the basis of
their antecedent conditions and some hypothetical regularities. There
fore it is quite clear, again, that TG does not use such methodological
ly central terms as 'explanation' and 'prediction' intheir customary em-
THE METHODOLOGY OF GRAMMAR 241
pirical sense, as defined in 1.2. (above).117 Yet it is not too dif
ficult to find a common denominator for D-N explanations1-2 and TG-
type explanations3. To put it somewhat metaphorically, in both in
stances we have to do with bringing order into (apparent) disorder.
The main difference lies in the fact that in the one case the disor
der obtains among space-time events and facts, while in the other case
it obtains among conceptual entities exemplified by strings of sym
bols. At a higher level of abstraction, again, it is easy to see that
in both cases the levels of disorder and order might be called, re
spectively, 'atheoretical' and 'theoretical'. That is, order is achiev
ed by postulating a set of theoretical-descriptive devices which are
able to show that things which previously seemed disconnected actual
ly belong together. As was pointed out earlier (p.211), theory is
creative insofar as it brings into existence something which did not
exist before, viz. something which reveals the coherence of, and thus
simplifies, the atheoretical disorder which did exist before. There
fore an empirical theory explains1-2 an event only when it also ex
piains1-2 an indefinite number of other events. Similarly, it makes
sense to say that the grammar G2 'explains3' the string of zeros 000
only because it also explains3 all similar strings and thus shows their
connection with one another.
A theory creates order precisely because it does not record each
event or each string of symbols separately, but rather says something
about all events or strings of symbols, or at least about as many events
or strings of symbols as possible. That is, a theory creates order by
being general. A theory is the better, the more general it is; its
greater generality is manifested as its capacity to make a greater num
ber of generalisations. In TG, in turn, "we have a generalisation when
a set of grammatical rules about distinct items can be replaced by a
single rule (or, more generally, partially identical rules) about the
whole set, ..." (Chomsky 1965:42). For instance, the grammar G1 is
more general than any grammar generating all combinations of a's and
b's by means of more than three rules.
It is the basic purpose of a TG description, then, to present in
a maximally simple and general way the relations of similarity and dif-
242 GRAMMATICAL THEORY AND METASCIENCE
ference between the correct sentences of a given language. As we have
seen in 3.6. (above), it is the merit of TG, as against earlier Ameri
can linguistics, to accept more abstract sentential relations, e.g.,
the similarity between the active and the passive, and the difference
between seemingly identical 'easy'- and 'eager'-constructions, as well
as to provide more explicit methods of formalisation. Consequently a
TG description resembles, not only a logical derivation, but also a
proof of geometry: In an analogous manner, it is the basic purpose of
geometry to present the similarities and the differences between dif
ferent (correct) figures in a maximally simple and general way. In
empirical science, the nearest analogue to TG descriptions is not ex
planation of events, but classification of (empirical) types. Even
if the data to be classified has been obtained experimentally, the
classification itself is no longer an experimental undertaking; ra
ther, it consists in presenting a given body of (empirical) knowledge
in a maximally simple and general way. It follows that a (taxonomie)
classification 'explains' its data in precisely the same sense as a
TG description, e.g., the grammar G1 above, does. - From the above,
it also follows that the axiornatisation of an empirical science is ra
ther similar to grammar-writing.
In light of the preceding discussion, it is self-evident in which
sense grammars can be said to 'explain' the correctness of sentences.
It is the same sense in which systems of logic can be said to 'explain'
the validity of their theorems (cf. 10.0. below). Therefore it only
needs to be shown here that Lakoff's example of grammatical explanation
agrees with my interpretation of the TG-type explanation. Remember
that the distribution of the subjunctive and of the morphemes non and
me was meant to be explained by the postulation of an abstract predi
cate 'ego impero'. Now, the explanatory import of such predicates
resides precisely in the fact that they permit us to express generali
sations about sets of sentence-types which would otherwise remain un
noticed and unexpressed. (To be sure, it is debatable whether postu
lating additional, abstract structures is the only or even the most
adequate way of expressing generalisations in grammar; cf. n.125.) In
THE METHODOLOGY OF GRAMMAR 243
1) S → ABC→abc
2) S → BC → bc
9.3. Testing
A decisive criterion by which the empirical or nonempirical nature
of a description is to be judged is the presence or absence of concep
tual independence among the data which the description deals with. In
practice this question falls together with the question of the spatio-
temporality of the data. On closer inspection, however, four possibi
lities can be distinguished here. If the data are constituted by se
parate spatiotemporal events, like Fa and Ga or Ga and Gb in 1.2. (a-
bove), then their mutual conceptual independence, and the empirical
character of proposed explanations and confirmations (or falsifica
tions) is guaranteed. If it can be shown, however, that "Fa" and
"Ga" or "Ga" and "Gb" refer to one and the same event (or fact), then
there is no conceptual independence, and the proposed explanations are
not empirical in spite of the fact that they deal with space and time.
If the data are not spatiotemporal at all, and hence are conceptual,
246 GRAMMATICAL THEORY AND METASCIENCE
then the nonempirical character of correlated explaining and testing
is guaranteed. But there are still two possibilities: Either there is,
or their is not, conceptual independence between the data. For instan
ce, 'father' is dependent upon 'male', and 'father' and 'male parent' are
dependent upon each other. By contrast, concepts like 'cat' and 'stone',
not to speak of concepts like 'two' and 'pleasant', are certainly inde
pendent of each other: there might conceivably be stones without there
being cats, and vice versa.
Since I have In previous chapters demonstrated the conceptual cha
racter of grammatical data and thus the nonempirical character of gram
matical descriptions, I am in this chapter mainly concerned with the
question of conceptual independence vs. dependence. In the previous
section I have shown that in grammatical descriptions the relations be
tween antecedent conditions and facts to be explained, or, in terms of
our D-N model,between Fa and Ga, is not conceptually independent. In
this section I shall analyse the relation between old evidence and new
one, or between Ga and Gb.
According to TG's standard position, a grammar is constructed on
the basis of a given corpus of a language L, and it is tested by find
ing out whether it generates all and only correct sentences of L, in
addition to those contained in the corpus, and assigns correct struc
tural description to them. The 'all' and 'only' aspects correspond,
respectively, to my 'explanatory' and 'predictive' types of testing
(cf. 1.2. above): On the one hand, we think of a correct sentence and
ask whether the grammar generates it; on the other, we make the grammar
generate a sentence and ask whether it is correct.
Before we go any further, TG's conception of testing must be qua
lified in two respects. First, the notion of correct structural de
scription is not as unproblematic as it might seem. We possess intui
tive (and atheoretical) knowledge about an enormous number of differ
ent structural features of correct sentences; but since structural de
scriptions of these same sentences are results of theoretical analysis,
and since we are not supposed to possess intuitive knowledge about
theoretical matters, it follows that we could not properly speak of
THE METHODOLOGY OF GRAMMAR 247
G4: NP → the + Ν
others that our description is not false, i.e., that it generates all
120
and only those entities which it was meant to generate.
This does not yet mean that the description is the best possible
one, or that it will not be refuted, because we have not proved that
there cannot be a more general, i.e., scientifically more interesting,
description of the same subject matter. It is far from clear whether,
and when, this latter objective can be achieved. Yet there seem to be
some indisputable cases where this has been done. For instance, it took
a long time to invent a grammar like G3 for a language like L 3 , but once
it has been invented, it seems impossible to conceive even of the possi
bility of a more general description for the same subject matter. If
this result can be accepted, I do not see why it could not be generali
sed, at least in principle, to more complex cases. An analogous exam
ple is given, in a different domain, by the axiomatisation of propositi-
onal logic, which certainly was the result of a long succession of tri
als and errors, but has a long time already been accepted not only as
unfalsifiableo, or untestableo, but also as the most general (axioma
tic) description of its subject matter. It is however self-evident
that in view of the extreme complexity of its subject matter, no gram
mar which both describes a given natural language as a whole and is in
tent upon maximal generality can ever be (shown to be) unfalsifiable3.
The opposite situation would be a practical, even if not logical, im
possibility. Consequently scientific natural-language grammars will
remain testable3.
In the previous paragraphs it became evident that there are two
principal reasons why one grammatical description is inferior to an
other. First, it may be true, but less general. Second, it may be
more general, but (partly) false. These two types of defects are un
derlain by two distinct psychological factors, viz. the grammarian's
lack of insight or his lack of attention. Lack of insight is involved
when the grammarian presents his data truthfully, but simply does not
come up with any interesting generalisations. An instance of this
kind was discussed above in connection with school-grammars. On the
other hand, we have to do with lack of attention when the grammarian
254 GRAMMATICAL THEORY AND METASCIENCE
overlooks or is mistaken about aspects of his own linguistic knowledge,
or when he fails to notice inconsistencies obtaining in his own descrip
tion. The defects due to lack of attention are rrristakes: one overlooks
something that one knows in fact, More particularly, it is practically
impossible that one should be mistaken about the content of single rules
of language, but it is quite usual that one overlooks such rules when
they conflict with a tentative generalisation that one is in the process
of formulating (for examples, cf. 9.5. below). Mistakes are corrected
by means of r e c o l l e c t i o n : one reminds oneself of something which one
knows in fact, but just was not aware of at the moment of making the
generalisation (cf. 8.3. above).
The role of recollection in grammatical analysis points to the li
mited nature of grammatical data. However many rules one language may
contain, their number must be finite; to know a language is to know all
of its rules; once a language has been learned, it is known in its enti
rety. This fact raises the question of conceptual independence in a new
form. As we have seen above, there can be no new, conceptually indepen
dent evidence for grammars like G3 and G4 which describe respectively
one single rule, because new sentences exemplifying the rule are con
ceptually interdependent with old ones; and insofar as ordinary gram
mars are broken down into their irreducible components, viz. claims
about single rules, the same is true of them too. However, since or
dinary grammars make generalising claims about classes of rules, we
may ask, in addition, whether these rules are conceptually independent
of one another. That is to say, a typical grammatical claim singles
out a class of rules and states that some property is true of it, viz.
of the entities exemplifying any of the rules belonging to the class.
Let 'A', ' A ' , and ' A 1 ' stand for, respectively, class of rules,
rule, and exemplification of rule, e.g., sentence. Then their inter
relations can be presented as follows:
THE METHODOLOGY OF GRAMMAR 255
If the grammatical claim is "A is B", it may be tested both at the le
vel of rules and at that of exemplifications of rules. In connection
with G3 and G4 it became evident that if is old evidence, can
not be conceptually independent new evidence, because they both exemp
lify the same rule A 1 . However, whether, for instance is or is not
conceptually independent new evidence with respect to , depends on
(as well as philosophers and logicians) can. When the former make ge
nuine predictions which then turn out to be false, it would be inaccu
rate to say that they were mistaken. It is a matter of conceptual ne
cessity that the outcome of an experiment cannot be known in advance
(intuitively or otherwise), which is precisely why genuine predictions
as well as universal hypotheses tested on their basis are empirical.
But, of course, one cannot make a rrristake about something that one does
not know. On the other nand, it is the basic assumption of all (syn
chronic-grammatical work that the grammarian does know the language
which he is going to describe. (What he does not know are true theo
retical generalisations about the language.) At any given moment he
can make any number of mistakes about his data but, as opposed
to the empirical scientist, he always could have known his data. This
is precisely why he is making mistakes, instead of just being wrong.
And when he corrects a mistake, he reminds himself of some rule of
121
language which he has known all the time. (Here I have been mere
ly showing the relevance of the discussion in 8.3. to the question of
empirical testability.)
At this stage, there remains only one possible argument for the
claim that grammatical data are conceptually independent in the re
quired sense, after all. It is the argument which says that gramma
rians investigate, not language, but linguistic intuition. On this
view, more precisely, the object of grammatical description is not a
set of entities, be it sentences or rules of L, such that they exist
objectively in the sense of being independent of any particular speak
ers of L. Rather, this object is a set of entities (namely intui
tions) of such a kind that they exist objectively in the sense of being
mental responses of particular speakers of L. If this view is correct,
then it is quite clear that grammatical testing satisfies the condition
of conceptual independence, and even of empiricalness. Intuitions of
one person are temporally distinct happenings, and those of different
persons are spatially distinct as well. Therefore if the grammarian
describes one set of intuitions and tests his description against an
other set, the testing has at least the appearance of being empirical.
258 GRAMMATICAL THEORY AND METASCIENCE
In 5.2. (above) I presented the general reasons why I reject the
view that what grammarians investigate is not a given language, but a
set of intuitions (cf., in particular, n.73). This view implies intev
alia that descriptions of rules are (or should be) of statistical cha
racter, and that grammar is in reality a branch of experimental psy
chology. The erroneousness of such implications was demonstrated in
7.3.-4. (above). Here I shall show that the implications of the view
at issue for the notion of testing are equally unacceptable.
If this view were correct, then a grammar like G4 would be an em
pirical theory. It is based on my intuitions according to which 'the
man' and 'the woman' are correct, and it predicts that according to a
future intuition of mine 'the girl' will be correct too. This is an
empirical prediction. It is thoroughly possible that for whatever,
perhaps pathological, reason I will find 'the girl' incorrect, and
'girl the' correct. But this means, then, that my grammar G4 has been
falsified, or has been shown to hold true only with a certain degree
of probability. This consequence is certainly unacceptable, and there
fore the view which it is a consequence of is unacceptable too. How
ever, its unacceptable i ty can be made still clearer.
On this view, even descriptions of maximally simple rules of
language would be empirical. Consider the description which says that
the expression 'the man' is correct. This can be taken as a claim
about either the expression-type 'the man' or about corresponding ex
pression-tokens. In both instances, I may have several temporally
distinct intuitions about 'the man', and it is an empirical possibi
lity that according to some of them 'the man' is incorrect. Similar
ly it is an empirical possibility that I shall sometimes find a sen
tence like "John is easy to please" incorrect. Here, at the latest,
it has become evident that the view which I am discussing fails to
make an absolutely crucial distinction. It is at least conceivable
that one and the same piece of metal sometimes expands and sometimes
does not, when heated; this is why the non-statistical character of
the relevant laws is an empirical matter. But it is simply inconceiv
able that expressions and sentences like 'the man' and "John is easy
THE METHODOLOGY OF GRAMMAR 259
That is, we know ahead of time in some sense what we want to come
out with as a result of our analysis. This is one sense in which
it can be said that linguistic analysis tries to account for the
linguistic intuition of the native speaker (Bach 1964:151; cf. also
the Chomsky-quotation p.81).
ii) Gerunds can be objects of A-predi cates, but not freely of B-pre-
dicates:
NP
Although both grammar and logic are based on intuition, their re
spective attitudes towards it are different. Formal logic tries to
overcome the inherent limitations of intuition, and to this end it
devises more and more effective methods of calculating. On the other
hand, it would not make sense to say that this is what grammar too is
aiming at (for details, cf. Itkonen 1976a). This is precisely the
difference between descriptive normative sciences like grammar and
prescriptive normative sciences like logic.
10.2. Testing
A1 -(0p&0-p)
A2 0(p&q) = (0p&0q)
Bl' -[0(p/p)&0(p/-p)&0(-p/p)&0(-p/-p)]
male, and another for an old man, free or slave as you like, and
a great many more kinds of virtue, so that no one need be at a
loss to say what it is. For every act and every time of life,
with reference to each separate junction, there is a virtue for
each one of us, and similarly, I should say, a vice (Plato 1963c:
71e-72a).
SOCRATES: Well then, didn't you say that a man's virtue lay in
directing the city well, and a woman's in directing her house
hold well?
MENO: Yes.
SOCRATES: And is it possible to direct anything well - city or
household or anything else - if not temperately and justly?
MENO: Certainly not.
SOCRATES: And that means with temperance and justice?
MENO: Of course.
SOCRATES: Then both man and woman need the same qualities, justice
and temperance, if they are going to be good.
MENO: It looks like it.
296 GRAMMATICAL THEORY AND METASCIENCE
SOCRATES: And what about your child and old man? Could they be
good if they were incontinent and unjust?
MENO: Of course not.
SOCRATES: They must be temperate and just?
MENO: Yes.
SOCRATES: So everyone is good in the same way, since they become
good by possessing the same qualities.
MENO: So it seems.
SOCRATES: And if they did not share the same virtue, they would
not be good in the same way.
MENO: No (Plato 1963c :73a-c).
At this point Meno offers his second definition, which is, this
time, meant to be a geneval definition of virtue: according to it,
virtue is "simply the capacity to govern men". This analysis is,
again, falsified, namely by pointing out, first, that it does not
apply to slaves and children and, second, that 'capacity to govern'
cannot suffice in itself, but must be reformulated as 'capacity to
govern justly but not otherwise'.
This latter point reveals a further difficulty. Justice is not
the only virtue, but there are also virtues like courage and tempe
rance. Therefore 'justice' cannot be used to define 'virtue' as a
whole. At the same time, a definition based on 'justice' alone is
not general enough since it leaves many types of virtue out of account.
The question remains the same as before: what is the 'deep' or 'basic'
virtue which underlies all these different types of virtue?
At this point Socrates offers an analogy from geometry: there
are many different shapes, but they all undeniably exemplify one and
the same concept 'shape'. Therefore there must be one general defini
tion of 'shape', i.e., a definition which captures the veal meaning,
or the essence , of 'shape'. Socrates proposes, first, to define 'shape'
as "the only thing which always accompanies colour". After Meno has
objected that 'colour' is no more primitive that 'shape' and hence may
not be used to define it, Socrates gives another definition: "Shape is
that in which a solid terminates, or more briefly, it is the limit of
a solid" (op. cit. 76a). - This analogy shows clearly that for Plato
analysis of concepts of whatever type is methodologically one and the
same undertaking. It may be added that Aristotle remained equally con-
GRAMMAR AND PHILOSOPHY 297
vinced that, far from being just 'conventions' of some type, definitions,
disregarding all that is variable or accidental, express the general and
130
unchanging essence of things.
Next, Meno tries to analyse the concept of virtue along the lines
of the geometrical example. His third definition is as follows: virtue
means "desiring good things and being able to acquire them".
To begin with, Socrates falsifies this analysis by showing that its
first part, i.e., 'desiring good things', is empty, because no one de-
sires things which he thinks are evil.131 So Meno modifies his defini
tion: now virtue means simply "the power of acquiring good things".
This definition is again refuted by pointing out that the manner of ac
quiring good things like health, wealth, and high offices in the state
is all-important here. If good things are not acquired justly and
righteously, then the power of acquiring them is not virtue, but vice.
The definition is modified accordingly, but this modification is reject
ed, again, by pointing out that 'justice' is here used to define 'vir
tue', although it was agreed previously that the former is only one type
of the latter and therefore cannot be meaningfully used to define it.
At this point Meno gives up. His attempt to give a maximally gen
eral definition has each time led to falsification. It may be added
that the whole dialogue ends inconclusively. Instead of offering a
full-fledged definition of virtue, Socrates contents himself with
stating some of its general characteristics. On the one hand, it is
a form of knowledge: "good men cannot be good by nature". On the other
hand, and in at least apparent contradiction to the foregoing result,
the initial question whether virtue can be taught must be answered in
the negative, for instance on the common-sense evidence that the most
virtuous men of Greece often had rather unvirtuoussons.
As I noted on p. 144, Wittgenstein is opposed to the search of
basic or real meanings; he wishes to replace the latter by 'family
resemblances' between meanings. Wittgenstein's position constitutes a
meaning theory of its own, and its applicability must be determined
in different contexts separately. For instance, it may well be that
there is no single definition which could capture 'virtue' in its en-
298 GRAMMATICAL THEORY AND METASCIENCE
tirety. By contrast, it would be simply false to say that there can be
no such definitions of geometrical concepts either.
I already have discussed Plato's conception of knowledge as recol
lection and have connected it with his conception of genuine knowledge
as agent's knowledge (cf. 8.1.). Here I wish to examine Plato's former
conception in relation to the task of conceptual analysis and, in par
ticular, to what is nowadays known as the 'paradox of analysis'. I also
briefly suggest my own solution to this 'paradox'.
Meno discovers an apparent paradox in that Socrates professes not
to know what virtue is, but is nevertheless willing to search for an
analysis of it. Socrates identifies Meno's argument as the one which
claims that "a man cannot try to discover either what he knows or what
he does not know. He would not seek what he knows, for since he knows
it there is no need of the inquiry, nor what he does not know, for in
that case he does not even know what he is to look for" (Plato 1963c:
80e).
The paradox of analysis, in turn, is as follows: On the one hand,
if the concept to be analysed, i.e., analysandum, and its proposed ana
lysis, i.e., analysans, are (semantically) different, the analysis has
failed. On the other hand, if the two are identical, the analysis is
trivial. Let A and Β stand for analysandum and analysans, respective
ly. If Α ‡ Β, the analysis has failed. If A=B, then (A=B)≡(A=A),
which means that the analysis is trivial.
The two paradoxes are clearly akin to each other in that they
both deal with the relation between analysandum and analysans, even if
the former paradox emphasises the question of the knowledge about the
two whereas the latter emphasises the question of the identity between
the two. A coherent account of the nature of conceptual analysis must
provide an answer to both of these questions simultaneously.
Plato illustrates his conception of knowledge as recollection by
letting Socrates elicit from one of Meno's slaves the true claim that
the side of an eight-foot square is the diagonal of a four-foot square.
Since Socrates does not teach him this truth, at least not by directly
telling it to him, it must be the case that in some sense he knew it
already before, even if he did not know that he knew it, and that he
has now merely become aware of his previous knowledge:
GRAMMAR AND PHILOSOPHY 299
SOCRATES: What do you think, Meno? Has he answered with any opi
nions that were not his own?
MENO: No, they were all his.
SOCRATES: Yet he did not know, as we agreed a few minutes ago.
MENO: True.
SOCRATES But these opinions were somewhere in him, were they not?
MENO: Yes.
SOCRATES: So a man who does not know has in himself true opinions
on a subject without having knowledge.
MENO: It would appear so.
SOCRATES: At present these opinions, being newly aroused, have a
dreamlike quality. But if the same questions are put to him on
many occasions and in different ways, you can see that in the
end he will have knowledge on the subject as accurate as anybody's.
MENO: Probably.
SOCRATES: This knowledge will not come from teaching but from
questioning. He will recover it for himself.
MENO: Yes.
SOCRATES: And the spontaneous recovery of knowledge that is in him
is recollection isn't it?
MENO: Yes (Plato 1963c :86b-d).
Explication:
119
Notice that I am not saying here that theoretical-grammatical de
scriptions are reducible to rule-sentences (which would be something
like a nonempirical counterpart of 'strong reductionism'). What I am
saying is that a theoretical statement about (a fragment of) a lan
guage must be analysable into a set of (theoretical) statements about
rules.
119 a
This means, incidentally, that 'testability ' does not necessarily
entail conceptual independence: there may be conceptual connections
too complex for us to grasp.
120
As an example, one could mention the componential analysis of the
kinship terms of English by means of the three components 'male',
'female', and 'parent'; cf. p.308.
121
In Itkonen (1970a) I devised a quasi-experimental method for elic
iting new components of word meanings in new verbal contexts, How
ever, this method is experimental only in appearance. It merely
serves to direct our attention to semantic facts which we know in
principle, but which we might otherwise have overlooked.
122
Cf. Wittgenstein (1967 : III, §52) : "We do not acoept e.g. a multi
plication's not yielding the same result every time." - The relation
of normative science to experimentation will further occupy us in
10.0.(below).
Cf. Aristotle (1941c :980b-981a) : "Now from memory experience is prod
uced in men; for the several memories of the same thing produce fi
nally the capacity for a single experience. And experience seems
pretty much like science and art, but really science and art come to
men through experience".
124
It is also interesting to note that, in Feyerabend's (1975:81-82)
opinion, Galileo retained the notion of recollection, i.e., anamnesis,
for propagandistic purposes.
125
Such cases are obviously due to the operation of analogy. T. Itkonen
(1976) adduces several examples from Finnish morphology and syntax
that cannot be handled by TG-type discrete and vertical derivations,
but only by nondiscrete and multidirectional 'derivations', identi
fiable as sets of mutual analogical influences of varying force.
Taken as a whole, such an 'influence unity' constitutes a Gestalt
roughly in Köhler's sense. Strikingly similar views have been for
warded in Lakoff (1977), albeit without experimental evidence. For
criticism of Bever's (1974) notion of analogy, cf. Itkonen (1976a:
sect.13); for a general discussion of analogy, cf. Anttila (1974).
The following formulations and examples are taken from Ross (1968:
10-13).
127
Besides criticising the methodological self-understanding of Katzian
semantics, Itkonen (1970a) contains an attempt to make semantics an
empirical science. Yet such an attempt could not succeed; cf. n.121.
330 GRAMMATICAL THEORY AND METASCIENCE
Chap. 10. GRAMMAR AND LOGIC
Notes 128-129
128
To illustrate, let us apply the above-mentioned transformations to the
the formula '0(p&q/pvq)'. We obtain: i) 0[(pvq)&(-pvq)&(pv-q/(p&q)
v(-p&q)v(p&q)] ii) 0[(pvq)/(p&q)v(-p&q)v(p&-q)]&0[(-pvq)/(p&q)ν(-p&q)
v(p&-q)]&0[(pv-q)/(p&q)v(-p&q)v(p&-q)] iii)[0 (pvq)/(p&q)]&0[(pvq)/
(-p&q)]&0[(pvq)/(p&-q)]&0[(-pvq)/(p&q)]&0[(-pvq)/(-p&q)]&0[(-pvq)/
(p&-q) ]&0[ (pv-q) / (p&q) ]&0[ (pvq) / (-p&q) ]&0[ (pv-q) / (p&-q) ]
7 9Q . . .
Hintikka's formulation is apt to suggest the misleading impression
that, when doing logic, he claims to be doing empirical psychology.
In reality, he is making conceptual distinctions, i.e., distinguish
ing between different types of (possible) use. Which types are actu-
alised on which occasions, is an entirely different question. In
other words, "what actually happens on the different occasions of
ordinary use" is not a concern of the logician, but of the psycho
logist .
Bannister D., and Fay Fransella. 1971. Inquiring Man. The Theory of Per-
sonal Constructs. Harmondsworth, Middlesex: Penguin Books.
Becker, Ernest. 1971. The Birth and Death of Meaning. New York: The Free
Press.
Black, Max. 1962. Models and Metaphors. Ithaca N.Y.: Cornell Univ. Press.
Chihara, Charles S., and Jerry A. Fodor. 1966. "Operationalism and Ordi
nary Language: A Critique of Wittgenstein". In Pitcher 1966:384-419.
(Originally published in American Philosophical Quarterly 2, 1965.
References are to the Pitcher edition.)
. 1968. Language and Mind. New York: Harcourt, Brace & World.
Collins.
Chomsky, Noam, and Morris Halle. 1968. The Sound Vattevn of English. New
York: Harper & Row.
Chomsky, Noam, and Jerrold J. Katz. 1974. "What the Linguist Is Talking
about". Journal of Philosophy 71.347-67.
Cohen, David, ed. 1974. Explaining Linguistic Phenomena. New York: John
Wiley & Sons.
Cohen, David, and Jessica Wirth, eds. 1975. Testing Linguistic Hypoth-
eses. Ibid.
Copi, Irving M. 1967. Symbolic Logic. 3rd ed. New York: Macmillan.
Douglas, Mary, ed. 1973. Rules and Meanings. The Anthropology of Every
day Knowledge. Harmondsworth, Middlesex: Penguin Books.
Fodor, Jerry Α., Thomas G. Bever, and M. F. Garret. 1974. The Psycholo
gy of Language. New York: McGraw-Hill.
Fodor, Jerry Α., and Jerrold J. Katz, eds. 1964. The Structure of Lan
guage. Englewood Cliffs, N. J.: Prentice-Hall.
Halle, Morris. 1959. The Sound lattern of Russian. The Hague: Mouton.
Hayes, John R., ed. 1970. Cognition and the Development of Language.
New York: John Wiley & Sons.
337
REFERENCES
Hegel, G. F. W. 1975[1807]. Phänomenologie des Geistes. Frankfurt/Main:
Suhrkamp.
Henle, M. 1962. "On the Relation between Logic and Thinking". Psycho-
logical Review 69.366-78.
Univ. Press.
Jakobovits, Leon Α., and Murray S. Miron, eds. 1967. Readings in the
Psychology of Language. Englewood Cliffs: Prentice-Hall.
Katz, Jerrold J. 1966. The Philosophy of Language. New York: Harper &
Row.
Katz, Jerrold J., and Bever, Thomas G. 1974. The Fall and Rise of
Empiricism. Bloomington: Indiana Univ. Linguistics Club, mimeo.
Laing, Ronald D., and A. Esterson. 1964. Sanity, Madness, and Family.
London: Tavistock.
Lauer, Quentin. 1965. Phenomenology: Its Genesis and Prospect. 2nd ed.
New York: Harper & Row.
Manninen, Juha, and Raimo Tuomela, eds. 1976. Essays on Explanation and
Understanding. Dordrecht-Holland: Reidel.
McCawley, James D. 1972. "A Program for Logic". In Davidson & Harman
1972:498-544.
REFERENCES 343
Mead, Georg H. 1934. Mind, Self, and Society. Chicago: Univ. of Chicago
Press.
Miller, George Α., and Stephen Isard. 1967. "Some Perceptual Con-
cequences of Linguistic Rules". In Jakobovits & Miron 1967:219-31.
(Originally published in Journal of Verbal Learning and Verbal Be
havior 2, 1963. References are to the Jakobovits & Miron edition).
Pap, Arthur. 1958. Semantics and Necessary Truth. New Haven, Conn.:
Yale Univ. Press.
Rossi, Sirpa. 1972. "Ueber das Problem der Verdinglichung bei Lukacs
und Heidegger". Ajatus 34.155-61.
Ryan, Alan. 1970. The Philosophy of the Social Sciences. London: Mac
millan.
Sapir, Edward, no date [l92l]. Language. New York: Harcourt, Brace &
World, Harvest Book.
1949a:46-60.
1949a:160-66.
Quine, Willard Van Orman. 1960. Word and Object. Cambridge: MIT Press.
Rescher, Nicolas, ed. 1967. The Logic of Decision and Action. Pitts
burgh: Univ. of Pittsburgh Press.
Scheff1er, Isaac. 1963. The Anatomy of Inquiry. New York: Alfred Knopf.
Schneider, Hans J. 1975. Pragmatik als Basis von Semantik und Syntax.
Frankfurt/Main: Suhrkamp.
Steinberg, Danny D., and Robert K. Krohn. 1975. "The Psychological Va
lidity of Chomsky and Halle's Vowel Shift Rule". In Koerner 1975:
233-59.
Winch, Peter. 1958. The Idea of a Social Science. London: Routledge &
Kegan Paul.
. 1965. The Blue and Brown Books. 2nd ed. New York: Harper &
Row.
V.
Vendier, Z.: 212
Vico, G.: 195
INDEX OF TERMS
a c t i o n 17, 4 1 , 60, 98-102, empirical, definition of 2-4, 16-18,
105-08, 115-20, 1 2 2 - 2 5 , 1 8 2 - 8 3 , 29, 36, 80, 146, 155-57
193-94, 319n.44
event 2-4, 25, 99, 115-16, 122-24,
anamnesis 198, 213-14, 298-99, 182-83, 193-94, 319n.44
301, 3 2 9 n . l 2 4
explanation
atomism, thesis of 16-18, 97-102, empirical 4-11, 24-26, 81, 84,
106-07, 160, 319n.46 89, 228-30, 292, 313n.2, 313n.3
nonempirical 65, 71-72, 78,
basic statement 233-45, 264, 266-69, 287-93, 295
in grammar 167-68, 250, 254
in natural science 2, 16, 167 explication 17-18, 35-36, 39, 42-48,
81, 188, 215, 220, 261, 272-75,
behaviorism 68-70, 105-07, 294-310, 315n.l5
114-15, 117, 203
falsification
causality 5, 15, 17, 21, 24-25, see testing
31-36, 83, 115-17, 195, 202-03,
221, 292, 314n.8, 315n.11, generalisation 73, 79, 189, 217,
319n.44 220, 239-43, 264-65, 268-69,
287-88, 291-93, 295-96
certainty
vs. uncertainty 40, 141-54, grammatical rule/hypothesis 72, 89,
194-97, 301, 324n.79, 326n.91 162, 181, 215-18, 224-28, 251-56,
vs. feelings of certainty 96, 329n.ll9
148
introspection 104, 324n.77
common knowledge 41-42, 96, 111,
122-31, 139-41, 182-86, 208, intuition
259, 322n.67, 323n.70, 324n.79 as recollection 104, 212-14, 222,
254, 257
conceptual analysis see also anamnesis
see explication linguistic 56, 69, 77, 131-41,
257-59, 280, 291-92, 324n.77,
confirmation 324n.82
see testing logical 133-36, 279-87, 291-92
philosophical 133-36, 286, 289,
disconfirmation 301-07
see testing
354 GRAMMATICAL THEORY AND METASCIENCE
knowledge intuitive vs. formal 17, 280-87,
acquisition vs. mastery of 37, 302-10
40, 43, 64, 182, 186, 209-10,
299-300, 328n.ll0 norm
agent's vs. observer's 40, 43, see rule
190, 193-98, 214-15, 279, 298
atheoretical vs. theoretical normativity
103-04, 126, 144, 148, vs. factuality 89, 157, 185
151-54, 161-62, 166-68, irreducibility of 35, 125, 128,
179-80, 198-219, 241, 246-47, 149, 175-90, 207-08
269, 300-01, 326n.91,
328n.l08 observation
conscious vs. unconscious 36, vs. intuition 2-4, 57, 69, 77,
82, 96, 116-17, 217-27, 84-85, 197, 206
298-300, 325n.90 vs. theory 1-3, 12-16, 178-79
conventional vs. psychological vs. understanding 20, 22-23, 26-27,
134, 139-40, 323n.75a 63-64, 69, 92-93, 96-97, 105-08,
critique of 33, 47-48 114, 132, 193, 320n.49
experimental vs. pre-experimental
22-24, 42-43, 145-46, 188, operationalisation 2-3, 23-26, 29,
324n.82, 329n.l21 43, 64-65, 176-81
incorrigible, nonexistence of
137, 147, 324n.79 prediction
objective v s . subjective 57, see explanation, testing
91-96, 113-14, 127-28,
137-41, 259, 322n.67, 323n.73 psychological reality
of grammar 88-89, 116-17, 219-23,
language 328n.ll4
artificial vs. natural 24, 126, of formal logic 315n.l8
153, 169-70, 190-91
private vs. public 94, 109-13, recursivity 70-71, 86, 136, 183-84,
118-19, 126-27, 270, 320n.55, 247, 318n.36
321n.56, 322n.61
see also rule of language reflexion 20, 23-24, 33, 44, 47-48,
126-28, 132, 195, 212-16, 220,
logic 314n.l0
axiomatic 53, 154, 236, 253,
276-88 regularity
dialogical/game-theoretic/ see rule
pragmatic 48-54, 276, 316n.l9
model-theoretic/semantic 128, rule
276, 280 as known or knowable 37, 150, 161,
social origin of 48-49, 53-54, 186, 218, 263, 315n.l4
147, 159 in general 34-54, 111-12, 322n.65,
322n,67, 323n.69, 328n.ll0
mentalism 82-84, 114-15, 187, of language 57-58, 89, 112,
221-23, 317n.34a 122-68, 182-86, 189-91, 266,
324n.81
necessity vs. regularity 58, 156-66, 173-74,
conceptual vs. natural 17-18, 182-86, 189, 206-07, 263
97-104, 119, 124, 134, 140,
160, 183-84, 236-39, 245-50, rule-sentence 122, 148, 156-74,215-16,
254-57, 259, 273, 319n.44 249-52, 308-10, 322n.65, 325n.86
355
INDEX OF TERMS
science statistics, use of 134, 151, 161,
axiomatic 14, 79, 242, 261-62, 185, 209, 230-31, 270, 322n.64
277-78
critical/emancipatory 32-33, testing
38, 67, 172-74, 204 empirical 4-12, 29, 36, 69,
descriptive vs. prescriptive 84-85, 156-57, 313n.5
45-46, 53-54, 174, 200, 280, nonempirical 36, 39-40, 65,
305 71-72, 78-79, 156-66,
empirical vs. nonempirical 1-4, 245-262, 269-75, 280-87,
19, 44, 80, 153-74, 231, 294-297, 304-05, 310,
260-64, 273-75, 326n.92 314n.6, 328n.ll8
growth of 10-12, 74-75, 171-74,
326n.96 theoretical concepts
human vs. natural 21, 28-29, in natural science 13-15, 64-65,
32-33, 43, 55, 60-61, 64-65, 103, 177-78
85-86, 92-93, 187-88, 195, in grammar 73, 76-78, 178-81,
198-203 225-27, 328n.ll4
preconditions of 20, 45-48
value-free 67, 173-74, 225-26 understanding
see observation
sentence vs. utterance 82, 120,
132, 175-81, 190, 229, 233, variability
244, 248-49, 323n.75, 328n.ll5 of knowledge in general 16, 28-30,
147, 286, 306, 315n.l2
social control of language 151-54, 158-59, 270,
as precondition of knowledge 286, 324n.81, 324n.83, 324n.84
95, 111-13, 125-27, 151-54
vs. testability 324n.82