In Defense of Extreme (Fallibilistic) Apriorism
Barry Smith
Introduction
I shall presuppose as undefended background to what
follows a position of scientific realism, a doctrine to the effect (i) that
the world exists and (ii) that through the working out of ever more sophisticated
theories our scientific picture of reality will approximate ever more closely
to the world as it really is. Against this background consider, now, the following
question:
It is one solid result of modern philosophy of science that no such conception of the way scientific knowledge is gained and scientific hypotheses formulated can be acceptable. The philosophy of science has shown that certain categories (conceptions, hypotheses, assumptions) are necessarily presupposed if, for example, an empirical observation is to be scientifically usable. Every observation is in this sense 'theory-' or at least 'category-laden'. One cannot measure anything, and one can bring no results of measurement into correlation with one another, if one does not have prior concepts or categories of what one wants to measure.(1)
To carry out experiments in meaningful and systematic fashion, to represent the results of these experiments theoretically, and to process these results one needs assumptions, concepts, categories and other theoretical instruments. Logic and the theory of definition, as well as many branches of pure mathematics belong to this pre-empirical foundation of the empirical sciences -- 'pre-empirical' in the sense that it cannot be gained through induction or observation but rather makes induction and observation possible.
All scientists bring with them non-empirical presuppositions
of different sorts, presuppositions which are usually tacit in nature, which
will often seem trivial when made explicit, and which will therefore no less
often lend sanction to the view that they are somehow empty or analytic,
that they are all without exception derived from logic. Most twentieth-century
philosophers of science have indeed assumed as a matter of course that scientific
theories ought properly to consist entirely of empirical propositions (propositions
amenable to empirical testing) built up on a foundation of strictly analytic
propositions of logic and mathematics. This leads to the further question:
Consider for example the law of the transitivity of the part-whole relation.(2)
This law reads as follows:
[TRANS] If A is a part of B, and B a part of C, then A is also a part of C.
It may be that some of us may recognize a point in our lives when we first apprehended this law. But still, it is difficult seriously to entertain the thesis that our knowledge of the law is a result of empirical research, of observation and induction. The proposition in question is however clearly of extraordinary importance for every science and for every scientific experiment. Like many other laws pertaining to the simplest and most general relational categories, it is at the same time also entirely trivial. Now it is a common peculiarity of human beings that they like to turn away from trivial or elementary propositions of this sort and that they have a tendency to refuse to accept their peculiarities and their consequences: 'trop de vérité nous étonne', as Pascal once formulated the matter. (3)
Who, after all, is interested in the fact that human action exists, that pleasure is different from greed, that triangles are different from squares, that warnings are different from congratulatings, that Julius Caesar is not a cardinal number. It is for this reason possible that both philosophers and scientists have often overlooked the fact that all normal human beings are in possession of a whole host of such items of knowledge or insight. And for this reason also the temptation very easily arises to want to devalue such propositions by classifying them as 'analytic' or 'tautological' or 'lacking in content'.
The law of the transitivity of the part-whole relation
is however - for all its triviality - not analytic according to the standard
reading of this notion. According to this standard reading we are to define
'analytic' as follows:
[TRANS], now, contains just one term which might come into question as 'defined', namely the relational term 'is a part of'. This expression is not a logical term; axioms governing the corresponding relation will be found in no standard logical textbook, and neither will [TRANS] itself. Unfortunately for the advocates of the logical positivist conception, however, it is also not definable. Rather it presents an example of one of those fundamental concepts with whose help the very process of defining scientific terms can sensibly begin.
According to the definition of 'analytic' that is standardly accepted by logical positivists and by analytic philosophers in general, then, the given law is synthetic. But might one not call into question the preferred definition of 'analytic'? Might one not, with Carnap and others, assert that the truth of a proposition such as [TRANS] is somehow a consequence of the rules of language?(4)
[TRANS] would then be lacking in content in the sense that it would have nothing to do with the actual world but rather only with our language. Yet the given law would clearly still obtain even if no language or rules of language should ever have evolved; indeed it would clearly still obtain even in a world lacking all cognitive subjects. Even then it would still for example be true that, of three arbitrary parts of a stone, or of a planet, if the first is part of the second, and the second part of the third, then the first is also part of the third. To conceive the law of transitivity as 'lacking in content' in the suggested fashion is therefore at least a mite more problematic than the defenders of the corresponding theories have normally supposed.
For this reason I shall assume in what follows that
at least some of those non-empirical assumptions or hypotheses which are
presupposed by the various branches of science are not analytic. The question
then arises:
For the same (logical) reasons we should have to deny the thesis that the synthetic pre-empirical propositions at the core of science might all be true. Even in the realm of the pre-empirical there is no infallible knowledge and no truth-guarantee. We are dealing here with 'assumptions' in a strict sense of the word, assumptions which may, even if only in isolated instances, turn out to be false. Interestingly, traces of this fallibilistic conception of the a priori are present in Husserl, and already Leibniz spoke of a 'methodus conjecturalis a priori', which proceeds with the aid of hypotheses: '[assumere] causas licet sine ulla probatione'.(5)
With this, however, there arises the following question:
This, however, implies that there must be some criteria of evaluation which the scientist applies, whether consciously or not, in working out his assumptions, or through which he allows himself to be guided in determining which assumptions are and are not acceptable.
How, then, does this evaluation of scientific assumptions proceed? The answer to this question that is favoured by the positivists is in its simplest version as follows: we evaluate assumptionsexclusively according to their consequences, i.e. according to the principle of expedience or predictive power. We establish in other words that certain assumptions yield assertions about the future which are empirically confirmed - or at least not easily falsified.
A position of this sort is defended for example by Milton Friedman, at least in his methodological writings (especially his 1953). Friedman maintains that assumptions can be completely arbitrary, that they can even be false, if they only enjoy a certain power to generate predictions. It might for example turn out that an economic theory was developed which correlated stock-market movements with sun-spot activity, and then, so long as this theory enjoyed predictive power, it would as theory be fully acceptable. For the positivists, science evolves by becoming ever more concentrated on assumptions with predictive power. Theories and hypotheses which prove unreliable will be slowly filtered out.
We have accepted already that there can in this sense be a control even of the pre-empirical assumptions adopted by the natural sciences. This can indeed be counted as a scientific commonplace. The corresponding process of filtering out however, whether it is understood according to the classical model of empirical confirmation or according to the Popperian model of falsification, because it is purely retrospective in nature, does not take us further with respect to the just-mentioned problem of arbitrariness. The question of criteria of ex ante evaluation thus remains extent open (a consequence which we could incidentally have predicted, if we had kept in mind the example of pure mathematics, in which pre- (or non-)empirical assumptions are equally necessary, but where talk of predictive power is clearly inappropriate).
For it is of course not the case that the scientist occupies himself with arbitrary assumptions in the hope - and to the extent that the relevant assumptions were truly arbitrary this would have to be a groundless hope - that they will manifest in unexpected fashion a high predictive power. No scientist would ever consciously rely on pure arbitrariness in this fashion. The search for assumptions on the part of the scientist is subject rather to a whole host of ex ante (or as we might also say: a priori) controls. For he seeks only those assumptions which will give him a justified expectation of predictive power. The sun-spot example fails to awaken such expectations precisely because we can find no intelligible reason why sun-spots should cause stock-exchange movements. Even if we were to accept such a correlation as a fact, we would still be unsatisfied with the corresponding hypothesis, because we would feel no certainty that this correlation might not at any moment cease to obtain. Certainty of this sort is acquired only where we have some explanation as to why these and those stock-exchange phenomena are associated in a non-arbitrary fashion with these and those sun-spot phenomena.
What, then, are the criteria of ex ante evaluation which serve to temper arbitrariness? Here there is much that is to be said - for instance that our assumptions must in the normal case stand to other accepted assumptions in relations of logical consistency. For our present purposes however it will suffice to point out that these assumptions must, in general at least, be characterized by a certain plausibility. Scientists attempt to find assumptions in relation to which they can have a justified expectation that they be true.(6)
This holds not least for the category of synthetic pre-
empirical assumptions. Indeed we want to claim that with the development of
science the relevant synthetic pre-empirical propositions must come to be
characterized by such plausibility to an ever increasing degree.Then, however,
the question arises:
There are, it follows, intrinsically plausible pre-empirical assumptions which play an indispensable (if often trivial) role in the advance of science and knowledge. In the philosophical literature on the topic of the a priori it is usually only certain selected examples of such propositions which are treated of, so that it can easily appear as if they could each be shown in turn to be 'analytic' or 'tautological' by some manipulation of definitions.(7)
The question however arises:
there are also other sciences - or 'pre-sciences' (
Vorwissenschaften) as Husserl's teacher Stumpf called them
(9)
- which consist exclusively in intrinsically
plausible pre-empirical principles. Stumpf himself offers as examples what
he called 'phenomenology' (which he defined as the theory of sensible phenomena),
'eidology' (the theory of non-sensory 'formations' given in experience, including
value- and Gestalt-formations), and the 'general theory of relations' (the
theory of relational concepts such as 'similarity, equality, intensity, logical
and real dependence, the relation of part and whole, and so on' (op. cit.,
p. 37. These pre-sciences are according to Stumpf:
Husserl himself held that there were three a priori ontologies, three 'material a priori sciences' of thing, soul, and society: the pure science of nature, pure psychology and pure sociology, respectively. The ontology of things includes as branches the pure theory of space (geometry), pure time theory (chronometry), pure kinematics, and the pure disciplines of the possible deformations of spatial formations. The pure a priori science of the soul, first called by Husserl 'descriptive psychology' and associated with the 'rational psychology' of Christian Wolff has as its subject-matter the psychical experiences, perceptions, memories, imagination, expectations, decisions, choices, and so on, in other words thought experiences of every sort, as well as feelings and acts of will. The regional ontology of society, finally, concerns itself with cultural formations like state, law, custom, church and so on. (Schuhmann 1990)
Husserl's early followers in Munich, the so-called 'realist phenomenologists, and above all Pfänder, Scheler and Reinach, embraced wholeheartedly the project of working out in systematic fashion the entire pantheon of such theories and sub-theories, both formal and material. There are, first of all, the formal a priori disciplines of ontology and mathematics, including arithmetic, set theory, topology, mereology, the 'theory of objects' in Meinong's sense, and many others. We then have a priori disciplines dealing with the three-dimensional world of space and time, and with the objects of nature, including the overlapping disciplines of rational mechanics (Scheler 1913, p. 449n.), naive or qualitative physics (Hayes 1985, Smith and Casati 1994), kinaesiology, stereology, geometry, chronometry, and so on. We then have the various sub-disciplines of aesthesiology (theories of secondary qualities: cf. Witschel 1961): colourology, the a priori science of tones, of feelings of warm and cold, textures and so on. There then follow logic and the various disciplines associated with logic, including the theory of evidence, apophantic logic, concept-theory, decision theory, the logic of truth, and so on. Next come various sciences of 'rational psychology', sciences of beliefs and desires, feelings, values and valuings, including Scheler's material ethics and formal axiology and deontic logic, the a priori theories of imperatives (Pfänder 1982), of norms, of will, a priori aesthetics, the ontology of art and art works developed by Roman Ingarden, and so on. We then have various a priori sciences pertaining to the domain of language and expression (Holenstein 1975), universal and categorial grammars, the a priori sciences of phonology, and the theory of speech acts or categorial pragmatics developed by Reinach (1913; see also Mulligan (ed.), 1987) and later by Austin and Searle. In the same work Reinach conceived the project of a general a priori ontology of the entire domain of social interaction. Sub-branches of the latter might include praxeology, the a priori science of action, the a priori ontology of work, a priori economics, the a priori theory of institutions, of law, a priori politics,(10) the phenomenology of intersubjectivity, the a priori science of dialogue, a priori sociology, a priori geography, the a priori theory of the life world, eidetic history, a priori anthropology, and so on.
Of the non-formal disciplines on this list it is above all two whose principles and applications have been worked out in detail: the a priori theory of law worked out by Reinach in his "The A Priori Foundations of the Civil Law" of 1913 and the a priori science of economics worked out by successive generations of so-called 'Austrian economists' from Menger to Rothbard and beyond. Few in the tradition of Austrian economics have however taken cognisance of the fact that, as Reinach puts it, the realm of the ontological a priori is 'unsurveyably wide; whatever sorts of object we know, they all have their "what", their "essence", and of all essentialities essential laws hold.' (Reinach 1969)
On the standard praxeological account of economic science
shared by Mises and Rothbard and succinctly stated in the latter's "In Defense
of 'Extreme Apriorism'" of 1957, there are held to be certain fundamental
axioms of economics which are both true and such that their truth is grasped
immediately. The theorems of economics are then established via logical deduction
from these axioms. There is in consequence no need for empirical testing
of these theorems, which is fortunate since, as Rothbard points out, empirical
testing is in any case impossible in the sciences of human action:
Rothbard draws a distinction between two approaches
to the a priori as follows:
How is synthetic a priori knowledge possible? For the members of the Munich group, as also for Aristotle, Aquinas and Rothbard, there exists an ontological a priori, an a priori in reality . The a priori status of judgments, propositions, beliefs or 'laws of thought' that is so central to the Kantian approach then proves to be derivative of this more deep-lying a priori dimension on the side of the things themselves.
According to the Kantian conception, in contrast, science
consists not so much in the attempt to construct a system of intrinsically
intelligible assumptions, but rather in a 'coercion of nature' ('Nötigung
der Natur') of such a sort that the latter comes to be formed in conformity
with prior principles. Consider the following passage from Kant's first
Critique:
Now however we must ask:
The thesis of the supposed subject-dependence of all laws of this kind - as originally formulated by Kant - is moreover not capable of being harmonized with the fact that pre-empirical assumptions are sometimes contradicted through retrospective empirical control. For the assertion that the given laws hold only because we have read them into the structure of the world, that the empirical world of what happens and is the case is itself a product of such reading in, surely excludes the possibility of conflict between such laws and empirical happenings.
The thesis that the world is 'transcendentally' formed leads further to the question why precisely these rather than those transcendental forms should be the ones through which the imposition of structure is effected. Once again, the problem of arbitrariness seems here to raise its ugly head. Many Kantians (and Popperians) are today content with an evolutionistic treatment of this problem. In their eyes those pre-scientific assumptions have come to dominate which enjoyed under the prevailing circumstances a greater capacity for survival or a greater adaptability than the available alternatives. But the proponents of this doctrine appeal in this connection to the results of a science - biology - which itself presupposes very many pre-scientific assumptions of its own. This means that they are precluded from extending their account to at least one important group of pre-scientific assumptions, since the assertion that a science which itself presupposes certain principles can itself serve to justify those principles contains an obvious vicious circle. The striving for a fully adequate picture of reality thus requires an answer to the question as to how pre-scientific assumptions arise and are justified that goes much deeper than the answer of the evolutionists. And as Husserl showed in the "Prolegomena" to his Logical Investigations, the same holds of every attempt to account for such assumptions through appeals to an empirical science.
Our realistic conception of the empirical sciences tells us, however, how we are to formulate an answer of the required sort. The striving on the part of scientists for intelligible assumptions can be justified by appeal to the fact that the world itself possesses certain intelligible structures - structures of the sort which are captured for example in the laws of mereology or colourology. The world itself is in many of its traits in itself intelligible.
The general idea is well conveyed by the Munich phenomenologists,
for example by Scheler in his great critique of formalism (and in particular
of Kantianism) in ethics (1913/16). Scheler is there concerned to establish
the basis of an ethical theory which is 'a priori' in the sense that, as he
puts it, 'its propositions are evident and can neither be tested by something
that has been found, prior to such testing, by observation and induction
nor be refuted by observation and induction' (translation, pp. 47f.) Our
knowledge of such a priori propositions is gained by means of what Scheler
calls an 'intuition of essences' of the sort that is involved, for example,
when we grasp the colour red and grasp that it is different from
green or blue, or when we grasp the essential interconnection between
red and visual extension. We do not have to observe and check
and carry out inductions in order to grasp that red is different from green,
or that jealousy is different from greed.
Such propositions can also be called 'a priori'. Note again, however, that the conception of the a priori that is then yielded turns out to be a non-Kantian conception. It claims that, where Kant wanted always to have the a priori viewed as something subjective, something pertaining purely to knowledge, there is in fact such a thing as an a priori in the world.
We affirm simply that there are synthetic intrinsically
plausible true propositions, and that science strives to accumulate ever more
of these; we do not however affirm that we know (or much less that we have
certain knowledge about) which of the available candidates for such propositions
are true among those which at any given time play a role in the really existing
sciences. The given intelligible structural traits of reality can be overlooked
or misinterpreted. The recognition that there are a priori structural traits
in the world yields, to repeat, no easy sort of indubitable evidence in relation
to the corresponding propositions. This fallibilistic doctrine of a priori
laws of reality does however yield a nice solution to one age-old problem
facing all defenders of the a priori. How, as Caldwell puts it (1984), does
one choose between rival systems all of which claim to rest on a priori foundations?
On the non-fallibilistic conception it is difficult to make sense even of
the possibility of rival systems of this sort. On the conception here defended,
in contrast, the existence of such rival systems can be seen to be a perfectly
natural and acceptable consequence of the just-mentioned difficulties we
will often fact in coming to know even the intelligible traits of reality.
One adjudicates between such systems in the same way, then, in which one
adjudicates between all rival scientific hypotheses, namely via a complex
mixture of empirical and a priori considerations.
Conclusion
We can summarize the main argument of this paper as
follows:
Do the empirical theories with the help of which we seek to approximate a good or true picture of reality rest on any non-empirical presuppositions?
Yes: Extreme empiricists
No: Are the propositions which express these pre-empirical assumptions in every case analytic (tautological, lacking in content)?
Yes: Logical positivists
No: Do we have an infallible knowledge of all the synthetic pre-empirical
propositions which are presupposed by the various sciences in the different
phases of their development?
Yes: Extreme Cartesians
No: Could these assumptions, which are presupposed by the empirical sciences,
be arbitrary?
Yes: Feyerabend
No: The propositions in question must therefore be characterized by a
certain plausibility. Is this plausibility always a contextual affair?
Yes: Hermeneutic relativists
No: There is therefore something like an intrinsic plausibility. Are the
intrinsically plausible pre-empirical synthetic propositions which play an
indispensable role in the sciences given only individually, so that we have
only a few isolated examples thereof between which no systematic relations
would obtain?
Yes: Ad hoc Kantianism
No: Is it really true, as the Kantians assert, that the intrinsically plausible
or intelligible pre-empirical synthetic propositions here at issue are read
into or imposed upon the world by us?
Yes: systematic Kantianism
No: Might the intrinsically plausible pre-empirical synthetic propositions
all be false?
Yes: Epistemology Nihilism
No: Certain pre-empirical synthetic intrinsically plausible propositions
thus require ontological correlates which are their truth-makers: there are
intelligible structures in the world, which we could also call 'a priori structures'
.
Brentano, Franz 1982 Deskriptive Psychologie, Hamburg: Meiner.
English translation by B. Müller forthcoming as Descriptive Psychology
, London: Routledge.
Caldwell, Bruce 1984 "Praxeology and Its Critics: An Appraisal",
History of Political Economy, 16, 363-379.
Carnap, Rudolf 1947 Meaning and Necessity. A Study in Semantics and
Modal Logic, Chicago und London: University of Chicago Press.
Friedman, Milton 1953 "The Methodology of Positive Economics", in
Essays on Positive Economics, Chicago: University of Chicago Press.
Grassl, Wolfgang and Smith, Barry (eds.) 1986 Austrian Economics:
Historical and Philosophical Background, New York: New York University
Press, London and Sydney: Croom Helm.
Hayes, Patrick 1985 "The Second Naive Physics Manifesto" in J. R. Hobbs,
and R. C. Moore, (eds.), Formal Theories of the Commonsense World,
Norwood, N. J.: Ablex Publishing Corporation.
Holenstein, Elmar 1975 Roman Jakobson's Approach to Language: Phenomenological
Structuralism, Bloomington and London: Indiana University Press.
Husserl, Edmund 1900-01 Logische Untersuchungen, critical edition,
Dordrecht: Nijhoff, 1975, 1984; English translation of 2nd ed. by J. N. Findlay
as Logical Investigations, London: Routledge and Kegan Paul, 1970.
Husserl, Edmund 1913 "Ideen zu einer reinen Phänomenologie und phänomenologischen
Philosophie", Jahrbuch für Philosophie und phänomenologische
Forschung, 1, 1-23 (and as Husserliana III/1, III/2).
Mises, Ludwig von 1966 Human Action, 3rd revised edition, Chicago:
Henry Regnery Company.
Mises, Ludwig von 1981 Epistemological Problems of Economics,
New York and London: New York University Press.
Mulligan, Kevin (ed.) 1987 Speech Act and Sachverhalt. Reinach and
the Foundations of Realist Phenomenology, Dordrecht/Boston/Lancaster:
Martinus Nijhoff.
Pascal, Blaise 1963 Oeuvres Complètes, L. Lafuma (ed.),
Paris: Editions du Seuil.
Pfänder, Alexander 1982 "Imperativenlehre" (MS of 1909), in H. Spiegelberg
and E. Avé-Lallemant (eds.), Pfänder-Studien, The Hague:
Nijhoff, 295-324.
Popper, Karl 1972 Conjectures and Refutations: The Growth of
Scientific Knowledge, 4th ed., London: Routledge.
Popper, Karl 1972a Objective Knowledge: An Evolutionary Approach,
Oxford: Clarendon Press.
Reinach, Adolf 1913 "Die apriorischen Grundlagen des bürgerlichen
Rechts", Jahrbuch fur Philosophie und phänomenologische Forschung
, 1, 685-847. Repr. in Reinach 1989. English. translation by J. Crosby as
"The A Priori Foundations of the Civil Law", in Aletheia, 3 (1983),
1- 142.
Reinach, Adolf 1969 "Concerning Phenomenology", The Personalist
, 50, 194-211. (English translation by Dallas Willard of a lecture given in
Marburg in 1914. See Reinach 1989, 531-50.
Reinach, Adolf 1989 Sämtliche Werke, K. Schuhmann
and B. Smith (eds.), 2 vols., Munich and Vienna: Philosophia.
Rothbard, Murray N. 1957 "In Defense of 'Extreme Apriorism'", Southern
Economic Journal, 23, 315-20.
Scheler, Max 1913/1916 "Der Formalismus in der Ethik und die materiale
Wertethik", Jahrbuch für Philosophie und phänomenologische Forschung
, 1, 405-565, 2, 21-478. English translation by M. S. Frings and R. L . Funk
as Formalism in Ethics and Non-Formal Ethics of Value, Evanston: Northwestern
University Press, 1973.
Schepers, H. 1971 "A priori/A posteriori", Historisches Wörterbuch
der Philosophie, vol. 1, Basel/Stuttgart.
Schuhmann, Karl 1988 Husserls Staatsphilosophie, Freiburg/Munich:
Karl Alber.
Schuhmann, Karl 1990 "Husserl's Concept of Philosophy", Journal of
the British Society for Phenomenology, 21, 274-283.
Simons, Peter M. 1987 Parts. A Study in Ontology, Oxford: Clarendon
Press.
Smith, Barry 1986 "Austrian Economics and Austrian Philosophy", in Grassl
and Smith (eds.), 1-36.
Smith, Barry 1990 "Aristotle, Menger, Mises: An Essay in the Metaphysics
of Economics", in B. Caldwell (ed.), Carl Menger and His Economic Legacy
(History of Political Economy, Annual Supplement to vol. 22), Durham
and London: Duke University, 263-288.
Smith, Barry and Roberto Casati 1994 "Naive Physics", Philosophical
Psychology, 7/2 (1994), 225-244.
Stumpf, Carl 1907 "Zur Einteilung der Wissenschaften", Abhandlungen
der Königlichen Preussischen Akademie der Wissenschaften, phil.-hist.
Kl., 4.
Witschel, Günter 1961 Edmund Husserls Lehre von den sekundären
Qualitäten, Dissertation, University of Bonn.
Zelaniec, Wojciech 1992 "Fathers, Kings, and Promises: Husserl and Reinach on the A Priori", Husserl Studies, 9, 147-177.
1. See for example Popper 1972, pp. 187ff. A more powerful formulation of this same thesis is to be found already in the writings of Edmund Husserl's teacher Franz Brentano, for example in his 1982, pp. 1-10.
3. Pensées, 199. See Lafuma (ed.), p. 527.
4. See for example Carnap 1947, pp. 222-229.
5. For Husserl's fallibilism see for example his 1913, §§ 137f. and compare Føllesdal 1988. On Leibniz see Schepers 1971, p. 466.
6. Their eventual falsification might then teach us something important and essential. Cf. Popper 1972a, pp. 196f.
7. Against this, see Zelaniec 1992.
8. See chapter 1 of Simons 1987.
11. KrV., B XIII; cf. Popper 1972, p. 189.
12. Compare Rothbard: 'I would consider the axiom [of action]
a law of reality rather than a law of thought, and hence "empirical" rather
than "a priori." But it should be obvious that this type of "empiricism"
is so out of step with modern empiricism that I may just as well continue
to call it a priori for present purposes.' (1957, p. 318)