Академический Документы
Профессиональный Документы
Культура Документы
of Induction
someliow be retluced to thc trutll of singular ones, ant1 tliat these singular
n experience to be true; \vhich amounts to saying that
ones are k ~ ~ o \ \by
the universal statement is based o n inductive inference. Thlis to ask
\vhetl~erthere are natural 1m.s known to be true appears to be only another
\vay of asking \vlietlier inducti\pe inferences are logically justified.
Yet if \\re 1va11t to find a \ira). of ~ustih.inginductive inferences, \j8e
nus st first of all try to establish a priizciple of ilzductiorl. A principle of
induction \\.otlld be a statement \\fit11 tlie help of which \ve could put
inductive inferences into a logically acceptable form. In tlie eyes of the
upholders of inductive logic, a principle of induction is of supreme importance for scie~itihcmcthotl: '. . . this principle', says Reichenl~ach,"
'deter~iiinest l ~ etrutli of scientific theories. T o eliminate i t from science
\vould Inean nothing less than to tleprive s c i e ~ ~ cofe the po\vcr to decide
the truth or falsit). of its tl~eories.\VitIiout it, clearl!., science \\,oultl no
i s ltheories
~
from the fanciful ant1 arlonger I~avethe right to d i s t i ~ ~ ~ uits
1)itrar)- creations of the poet's mind."
N o \ \ tliis pri~lcipleof induction cannot be a purcl!, logical truth like
a tautology or an a~ialyticstatcn~cnt.Indced, if there \\,ere such a thing as
a purcl!. logical prillciple of induction, there would be no problem of
illduction; for in tliis case, all inducti\:e inferences \\;auld lia\je to be regarded as purely logical or tautological transfor~nations,just like inferences
in deductive logic. 'Thus tlie principle of induction must be a synthetic
statement; that is, a statement \\,hose ~ ~ e g a t i oisn not self-contradicton but
logically possible. S o the question arises \\+I!. s u c l ~a principle shoultl I)e
accepted at all, and Iio\v 11.e can justifi. its acceptance O I I rational groi~nds.
Sonie \vho believe in indi~ctivclogic are anxious to point out, \vith
Reichenbach, that 'tile principle of induction is unresen~etllyaccepted I)!.
the u~holeof science and tliat n o man c a n seriously doubt tliis principle
in everyla!. life eitl~er'.?Yet even supposillg this \\!ere the case-for after
all, 'thc \\,hole of scicuce' rnight err-1 should still contend that a principle
s , that it must lead to logical inconsistencies.
of i~itluctionis s ~ ~ p e r f l u o uand
That inconsistencies may easily arise in connection \\.it11 the principle
of indr~ctiorishor~ld11at.e been clear f r o ~ nthe \\zork of H ~ l r n e ;also, tliat
they can be avoitled, if at all, onl!. \\,it11 difficulty. For the principle of
induction nir~stbe a universal statement in its turn. T h u s ifwe t n to regard
its truth as known from experience, then the \*cry same problems \vl~ich
occasionetl its introtlr~ction\\.ill arise all over again. T o justifi. it, \\le should
I,
I'
1
Y.
E l i m i n a t i o n of P s y c h o l o g i s m
1 said abo\:e t l ~ a tthe work of the scientist consists in putting for\vard and
testing theories.
T h e initial stagc, the act of conceiving or inventing a theory, seems
to me llcither to call for logical anal!.sis nor to be susceptible of it. T h e
cluestion \lo\\ it happens that a He\\. idea occurs to a man-\\.hether it is
a musical themc, a dra~naticconflict, or a scientific theory-may be of
great intercst to empirical ps!.chology; but it is irrelevant to the logical
anal!sis of scien~itickno\vledge. This latter is concerned not with questiolls
of fact (Kant's quid fircti?), but only \\fitli questions of j~~stificution
or vulidity (Kant's quid juris?). Its questions are of tlie follo\ving kind. C a n a
statenlent be iustified? i\nd if so. I~o\v?Is it testable? Is it logically tlepentlent on certain other statements? O r does it perhaps contradict them?
In order that a statement may be logicall!. examined in this \\.a),, it mr~st
alread! have 11ec11presented to us. Somcone must 11a1.e formulatetl it, and
submitted it to logical examination.
Accordingl!, I shall distinguish sharl)ly behvcen the process of conceiving a nen. idca, and the methods and resr~ltsof examining it logicall!.
As to tlle task of the logic of krlo\\dedgc-in contradistinction to tlle ps!.chology of kno\\,letlge-I shall proceed o n the assumption that it consists
solely in in\.cstigating the metl~odsemployetl in those systematic tests to
\vhich c \ . e n ne\\. idea lnust be subiected if it is to be seriously entertained.
Some might object that it \\,otild be Inore to the purpose to regard it
as the br~sinessof epistemology to prodnce what has been called a 'rcitiollul
recoizstructiol~'of the steps tliat ha\.c led the scientist to a cliscoven-to
the finding of sonle Ile\v truth. Rut the cluestion is: \\rhat, precisely, d o \ve
want to reconstruct? If it is the processes involved in the stimulation and
release of a n inspiration \\~hichare to be reconstructed, then I shoultl
refuse to take it as the task of the logic of knowledge. Such processes are
the concern of cml)irical ps!.chology but hartlly of logic. It is another
matter if 1I.e wallt to reconstruct rationally tlie suhsequeizt tests \vhereb~.
the inspiration may be disco\,ered to I)e a discovery, or become knonn to
be knowledge. J n so far as the scientist critically judges, alters, or rejects
his own inspiration \\.e may, if we like, regard the n ~ e t l ~ o d o l o ~ ianalysis
cal
undertakcn hcre as a kind of 'rational reconstruction' of the corresponding
thought-l)rocesses. But this reconstruction would not describe these processes as tlicy a c t ~ ~ a l lhappen:
jit can gi\.e only a logical skeleton of the
procedure of testing. Still, this is perhaps all that is meant by those who
speak of a 'rational reconstruction' of the ways in which we gain knowledge.
. . . Mly vie\\, of the matter, for \\.hat it is ~vorth,is that there is no
such thing as a logical metllod of ha\.ing nenl ideas, or a logical reconstruction of this process. My v i e s nlay be expressed by saying tliat ever,
are easily testable or applicable. From among these statements, those are
selected \vhich are not derivable from the current theory, and more especially those which the current theory contradicts. Next we seek a decision as regards these (and other) derived statements by comparing them
with the results of practical applications a n d experiments. If this decision
is positive, tliat is, if tlie singular conclusions turn out to be acceptable,
or verified, then tlie theory has, for the time being, passed its test: we have
found no reason lo discard it. B I I if
~ the decision is negative, or in other
words, if the conclusions have been falsified, then their falsificatiorl also
falsifies the theory from which they \\,ere logically deduced.
It should be noticed that a positive decision can only temporarily
support the theory, for subseql~entnegative decisions may always overthro\v it. So long as a theory withstands detailed and severe tests and is
not superseded by another theory in the course of scientific progress, we
may say tliat it has 'proved its mettle' or that it is 'corroborated'.
Nothing resembling inductive logic appears in the procedure here
outlined. I never a s s ~ l m ethat we can argue from the truth of singular
statements to the t r ~ ~ tof
l i theories. 1 never assume that by force of 'verified'
conclusions, theories can be established as 'true', or even as merely 'probable'. . . .
discovery contains 'an irrational element', or 'a creative intuition', in Bergson's sense.* In a similar way Einstein speaks of the 'searcli for those highly
universal laws . . . from which a picture of the world can be obtained by
pure deduction. T h e r e is n o logical path', he says, 'leading to these . . .
laws. T h e y can only be reached by intuition, based upon something like
an intellectual love ('Eillfihlung') of the obiects of esperience'."
According to the view that will be put fonvard here, the method of critically testing theories, and selecting them according to the results of tests,
always proceeds o n the following lines. From a new idea, put u p tentatively, a n d not yet justified in any way-an anticipation, a hypothesis, a
theoretical system, or what you will-conclusions are drawn by means of
logical deduction. These conclusions are then compared with o n e another
and with other relevant statements, so as to find \\hat logical relations
(such as equivalence, derivability, conipatibility, or incompatibility) exist
between them.
W e may if we like distinguish four different lines along which the
testing of a theory could be carried out. First there is the logical comparison of the conclusions among themselves, by u.Iiich the internal consistency of the system is tested. Secondly, there is the investigation of the
logical form of the theory, with the object of determining whether it has
the character of an empirical or scientific theory, or whether it is, for
example, tautological. Thirdly, there is the comparison with other theories,
chiefly with the aim of determining whether the theory would constitute
a scientific advance should it survive our various tests. And finally, there
is the testing of the theory by way of empirical applications of the conclusions which can be derived from it.
T h e purpose of this last kind of test is to find o u t how far the new
consequences of the theory-whatever may be new in \\.hat it assertsstand u p to the demands of practice, whether raised by purely scientific
experiments, or by practical technological applications. Here too the procedure of testing turns o u t to be deductive. With the help of other statements, previously accepted, certain singular statements-which we may
call 'predictions1-are deduced from the theory; especially predictions that
* The French philosopher Henri Bergson (1859-1941) attacked materialism and
mechanism, rejected science as a complete account of reality, and advocated vitalism, a worldview based on creative forces and intuition. His writings on memory
and our subjective experience of time were quite influential, especially on authors
such as Marcel Proust, but his postulation of the e'laiz vital, a spiritual force that
drives biological evolution, discredited Bergson's vitalism in the eyes of most scientists and philosophers.
Notes
5. Liebig (in Induktion uizd Deduktion, 1865) was probably the first to reject the
inductive method from the str~ndpointof natural science; his attack is directed
against Bacon. Duhem (in La Thdorie physique, son objet et sa structure, 1906;
English translation by P. P. Wiener: The Aiin and Structure of Physical Theory,
Princeton, 1954) held pronounced deductivist views. (Rut there are also inductivist
views to be found in Duhem's book, for example in the third chapter, Part One,
where we are told that only experiment, induction, and generalization have produced Descartes's law of refraction; cf the E~iglishtranslation, p. 34.) See also
V. Kraft, Die Grundformen der Wisse~~schaftlichen
Methoden, 1925; and Carnap,
; Erkenntnis 2, 1932, p. 440.
'
6. Address on Max Planck's 60th b ~ r t h d ~ The
y . passage quoted beg~nswith the
words. 'The supreme task of the ph)sic~stis to search for those li~ghlyuniversal
t