The Java Virtual Machine Specification Java SE 8 Edition Tim Lindholm & Frank Yellin & Gilad Bracha PDF Download
The Java Virtual Machine Specification Java SE 8 Edition Tim Lindholm & Frank Yellin & Gilad Bracha PDF Download
https://ebookname.com/product/the-java-virtual-machine-
specification-java-se-8-edition-tim-lindholm-frank-yellin-gilad-
bracha/
https://ebookname.com/product/programming-scala-tackle-multi-
core-complexity-on-the-java-virtual-machine-1st-edition-venkat-
subramaniam/
https://ebookname.com/product/ocp-oracle-certified-professional-
java-se-8-programmer-ii-study-guide-exam-1z0-809-1st-edition-
jeanne-boyarsky/
https://ebookname.com/product/pro-java-8-programming-3rd-edition-
terrill-brett-spell/
https://ebookname.com/product/franciscans-and-creation-what-is-
our-responsibility-1st-edition-elise-saggau/
The Analysis of Linear Economic Systems Father Maurice
Potron s Pioneering Works 1st Edition Christian Bidard
(Editor)
https://ebookname.com/product/the-analysis-of-linear-economic-
systems-father-maurice-potron-s-pioneering-works-1st-edition-
christian-bidard-editor/
https://ebookname.com/product/feeling-medicine-how-the-pelvic-
exam-shapes-medical-training-1st-edition-kelly-underman/
https://ebookname.com/product/a-breviary-of-seismic-
tomography-1st-edition-guust-nolet/
https://ebookname.com/product/ghost-in-the-wires-my-adventures-
as-the-world-s-most-wanted-hacker-1st-edition-kevin-d-mitnick/
https://ebookname.com/product/charles-ives-in-the-mirror-
american-histories-of-an-iconic-composer-1st-edition-edition-
david-c-paul/
Electromagnetic Phenomena in Matter Statistical and
Quantum Approaches 1st Edition Igor N. Toptygin
https://ebookname.com/product/electromagnetic-phenomena-in-
matter-statistical-and-quantum-approaches-1st-edition-igor-n-
toptygin/
The Java® Virtual
Machine Specification
Java SE 8 Edition
This page intentionally left blank
The Java® Virtual
Machine Specification
Java SE 8 Edition
Tim Lindholm
Frank Yellin
Gilad Bracha
Alex Buckley
Many of the designations used by manufacturers and sellers to distinguish their products are
claimed as trademarks. Where those designations appear in this book, and the publisher was
aware of a trademark claim, the designations have been printed with initial capital letters
or in all capitals.
Oracle and Java are registered trademarks of Oracle and/or its affiliates. Other names may
be trademarks of their respective owners.
The authors and publisher have taken care in the preparation of this book, but make no
expressed or implied warranty of any kind and assume no responsibility for errors or
omissions. No liability is assumed for incidental or consequential damages in connection
with or arising out of the use of the information or programs contained herein.
This document is provided for information purposes only and the contents hereof are subject
to change without notice. This document is not warranted to be error-free, nor subject to
any other warranties or conditions, whether expressed orally or implied in law, including
implied warranties and conditions of merchantability or fitness for a particular purpose.
We specifically disclaim any liability with respect to this document and no contractual
obligations are formed either directly or indirectly by this document, except as specified in
the Limited License Grant herein at Appendix A. This document is subject to the Limited
License Grant included herein as Appendix A, and may otherwise not be reproduced or
transmitted in any form or by any means, electronic or mechanical, for any purpose, without
our prior written permission.
The publisher offers excellent discounts on this book when ordered in quantity for bulk
purchases or special sales, which may include electronic versions and/or custom covers
and content particular to your business, training goals, marketing focus, and branding
interests. For more information, please contact U.S. Corporate and Government Sales, (800)
382-3419, [email protected]. For sales outside the United States,
please contact International Sales, [email protected].
Visit us on the Web: informit.com/aw
Printed in the United States of America. This publication is protected by copyright, and
permission must be obtained from the publisher prior to any prohibited reproduction,
storage in a retrieval system, or transmission in any form or by any means, electronic,
mechanical, photocopying, recording, or likewise. To obtain permission to use material
from this work, please submit a written request to Pearson Education, Inc., Permissions
Department, One Lake Street, Upper Saddle River, New Jersey 07458, or you may fax your
request to (201) 236-3290.
The Specification provided herein is provided to you only under the Limited License Grant
included herein as Appendix A. Please see Appendix A.
Text printed in the United States on recycled paper at Edwards Brothers Malloy in Ann
Arbor, Michigan. First printing, May 2014.
To Sophia and Susan, in deepest appreciation.
This page intentionally left blank
Table of Contents
1 Introduction 1
1.1 A Bit of History 1
1.2 The Java Virtual Machine 2
1.3 Organization of the Specification 3
1.4 Notation 4
1.5 Feedback 4
vii
The Java® Virtual Machine Specification
viii
The Java® Virtual Machine Specification
ix
The Java® Virtual Machine Specification
x
The Java® Virtual Machine Specification
aastore 364
aconst_null 366
aload 367
aload_<n> 368
anewarray 369
areturn 370
arraylength 371
astore 372
astore_<n> 373
athrow 374
baload 376
bastore 377
bipush 378
caload 379
castore 380
checkcast 381
d2f 383
d2i 384
d2l 385
dadd 386
daload 388
dastore 389
dcmp<op> 390
dconst_<d> 392
ddiv 393
dload 395
dload_<n> 396
dmul 397
dneg 399
drem 400
dreturn 402
dstore 403
dstore_<n> 404
dsub 405
dup 406
dup_x1 407
dup_x2 408
dup2 409
dup2_x1 410
dup2_x2 411
f2d 413
f2i 414
f2l 415
fadd 416
faload 418
fastore 419
fcmp<op> 420
fconst_<f> 422
xi
The Java® Virtual Machine Specification
fdiv 423
fload 425
fload_<n> 426
fmul 427
fneg 429
frem 430
freturn 432
fstore 433
fstore_<n> 434
fsub 435
getfield 436
getstatic 438
goto 440
goto_w 441
i2b 442
i2c 443
i2d 444
i2f 445
i2l 446
i2s 447
iadd 448
iaload 449
iand 450
iastore 451
iconst_<i> 452
idiv 453
if_acmp<cond> 454
if_icmp<cond> 455
if<cond> 457
ifnonnull 459
ifnull 460
iinc 461
iload 462
iload_<n> 463
imul 464
ineg 465
instanceof 466
invokedynamic 468
invokeinterface 473
invokespecial 477
invokestatic 481
invokevirtual 484
ior 489
irem 490
ireturn 491
ishl 492
ishr 493
istore 494
xii
The Java® Virtual Machine Specification
istore_<n> 495
isub 496
iushr 497
ixor 498
jsr 499
jsr_w 500
l2d 501
l2f 502
l2i 503
ladd 504
laload 505
land 506
lastore 507
lcmp 508
lconst_<l> 509
ldc 510
ldc_w 512
ldc2_w 514
ldiv 515
lload 516
lload_<n> 517
lmul 518
lneg 519
lookupswitch 520
lor 522
lrem 523
lreturn 524
lshl 525
lshr 526
lstore 527
lstore_<n> 528
lsub 529
lushr 530
lxor 531
monitorenter 532
monitorexit 534
multianewarray 536
new 538
newarray 540
nop 542
pop 543
pop2 544
putfield 545
putstatic 547
ret 549
return 550
saload 551
sastore 552
xiii
The Java® Virtual Machine Specification
sipush 553
swap 554
tableswitch 555
wide 557
xiv
Preface to the Java SE 8 Edition
all the changes that have been made to the Java Virtual Machine since the Java SE
7 Edition in 2011. In addition, numerous corrections and clarifications have been
made to align with popular implementations of the Java Virtual Machine.
This Edition continues the tradition of specifying the abstract Java Virtual
Machine, serving as documentation for a concrete implementation only as a
blueprint documents a house. An implementation of the Java Virtual Machine must
embody this specification, but is constrained by it only where absolutely necessary.
Notable changes to the Java programming language in Java SE 8 have brought
corresponding changes to the Java Virtual Machine. To maximize binary
compatibility, it has been desirable to specify default methods directly in the
Java Virtual Machine, rather than relying on compiler magic that might not be
portable across vendors or product releases, and is certainly not applicable to
pre-existing class files. In the context of JSR 335, Lambda Expressions for the
Java Programming Language, Dan Smith at Oracle consulted with implementers
to determine how best to integrate default methods into the constant pool and
method structures, the method and interface method resolution algorithms, and the
bytecode instruction set. JSR 335 also introduced private and static methods
in interfaces at the class file level; they too have been carefully integrated with
interface method resolution.
A theme of Java SE 8 is co-evolution of the Java SE platform libraries with the
Java Virtual Machine. A small but useful example is support for method parameter
names at run time: storing such names in the class file structure goes hand in hand
with offering a standard API to retrieve them (java.lang.reflect.Parameter).
This illustrates an interesting development in the class file structure over the years:
the First Edition of this specification defined six attributes, of which three were
deemed critical to the Java Virtual Machine, while this Java SE 8 Edition defines
23 attributes, of which five are deemed critical to the Java Virtual Machine; that is
to say, attributes now exist primarily to support libraries and tools rather than the
Java Virtual Machine itself. To help readers understand the class file structure, this
specification more clearly documents the role of each attribute and the constraints
placed upon it.
xv
PREFACE TO THE JAVA SE 8 EDITION
Many colleagues in the Java Platform Group at Oracle have provided valuable
support to this specification: Mandy Chung, Joe Darcy, Joel Franck, Staffan
Friberg, Yuri Gaevsky, Jon Gibbons, Jeannette Hung, Eric McCorkle, Matherey
Nunez, Mark Reinhold, John Rose, Georges Saab, Steve Sides, Bernard Traversat,
Michel Trudeau, and Mikael Vidstedt. Particular thanks to Dan Heidinga (IBM),
Karen Kinnear, Keith McGuigan, and Harold Seigel for their ironclad commitment
to compatibility and security in popular Java Virtual Machine implementations.
Alex Buckley
Santa Clara, California
March, 2014
xvi
C H A P T E R 1
Introduction
1
1 INTRODUCTION
The Java Virtual Machine is the cornerstone of the Java platform. It is the
component of the technology responsible for its hardware- and operating system-
independence, the small size of its compiled code, and its ability to protect users
from malicious programs.
The Java Virtual Machine is an abstract computing machine. Like a real computing
machine, it has an instruction set and manipulates various memory areas at run time.
It is reasonably common to implement a programming language using a virtual
machine; the best-known virtual machine may be the P-Code machine of UCSD
Pascal.
The first prototype implementation of the Java Virtual Machine, done at Sun
Microsystems, Inc., emulated the Java Virtual Machine instruction set in software
hosted by a handheld device that resembled a contemporary Personal Digital
Assistant (PDA). Oracle's current implementations emulate the Java Virtual
Machine on mobile, desktop and server devices, but the Java Virtual Machine
does not assume any particular implementation technology, host hardware, or
host operating system. It is not inherently interpreted, but can just as well be
implemented by compiling its instruction set to that of a silicon CPU. It may also
be implemented in microcode or directly in silicon.
The Java Virtual Machine knows nothing of the Java programming language, only
of a particular binary format, the class file format. A class file contains Java
Virtual Machine instructions (or bytecodes) and a symbol table, as well as other
ancillary information.
For the sake of security, the Java Virtual Machine imposes strong syntactic and
structural constraints on the code in a class file. However, any language with
functionality that can be expressed in terms of a valid class file can be hosted by
the Java Virtual Machine. Attracted by a generally available, machine-independent
platform, implementors of other languages can turn to the Java Virtual Machine as
a delivery vehicle for their languages.
2
Organization of the Specification 1.3
The Java Virtual Machine specified here is compatible with the Java SE 8 platform,
and supports the Java programming language specified in The Java Language
Specification, Java SE 8 Edition.
3
1 INTRODUCTION
1.4 Notation
Throughout this specification we refer to classes and interfaces drawn from the
Java SE platform API. Whenever we refer to a class or interface (other than those
declared in an example) using a single identifier N, the intended reference is to the
class or interface named N in the package java.lang. We use the fully qualified
name for classes or interfaces from packages other than java.lang.
Whenever we refer to a class or interface that is declared in the package java or
any of its subpackages, the intended reference is to that class or interface as loaded
by the bootstrap class loader (§5.3.1).
Whenever we refer to a subpackage of a package named java, the intended
reference is to that subpackage as determined by the bootstrap class loader.
The use of fonts in this specification is as follows:
• A fixed width font is used for Java Virtual Machine data types, exceptions,
errors, class file structures, Prolog code, and Java code fragments.
• Italic is used for Java Virtual Machine "assembly language", its opcodes and
operands, as well as items in the Java Virtual Machine's run-time data areas. It is
also used to introduce new terms and simply for emphasis.
Non-normative information, designed to clarify the specification, is given in
smaller, indented text.
1.5 Feedback
Readers may send feedback about errors, omissions, and ambiguities in this
specification to [email protected].
Questions concerning the generation and manipulation of class files by javac (the
reference compiler for the Java programming language) may be sent to compiler-
[email protected].
4
C H A P T E R 2
The Structure of the Java
Virtual Machine
THIS document specifies an abstract machine. It does not describe any particular
implementation of the Java Virtual Machine.
To implement the Java Virtual Machine correctly, you need only be able to read
the class file format and correctly perform the operations specified therein.
Implementation details that are not part of the Java Virtual Machine's specification
would unnecessarily constrain the creativity of implementors. For example, the
memory layout of run-time data areas, the garbage-collection algorithm used, and
any internal optimization of the Java Virtual Machine instructions (for example,
translating them into machine code) are left to the discretion of the implementor.
All references to Unicode in this specification are given with respect to The
Unicode Standard, Version 6.0.0, available at http://www.unicode.org/.
5
2 THE STRUCTURE OF THE JAVA VIRTUAL MACHINE
Like the Java programming language, the Java Virtual Machine operates on two
kinds of types: primitive types and reference types. There are, correspondingly, two
kinds of values that can be stored in variables, passed as arguments, returned by
methods, and operated upon: primitive values and reference values.
The Java Virtual Machine expects that nearly all type checking is done prior to
run time, typically by a compiler, and does not have to be done by the Java
Virtual Machine itself. Values of primitive types need not be tagged or otherwise
be inspectable to determine their types at run time, or to be distinguished from
values of reference types. Instead, the instruction set of the Java Virtual Machine
distinguishes its operand types using instructions intended to operate on values of
specific types. For instance, iadd, ladd, fadd, and dadd are all Java Virtual Machine
instructions that add two numeric values and produce numeric results, but each is
specialized for its operand type: int, long, float, and double, respectively. For a
summary of type support in the Java Virtual Machine instruction set, see §2.11.1.
The Java Virtual Machine contains explicit support for objects. An object is
either a dynamically allocated class instance or an array. A reference to an object
is considered to have Java Virtual Machine type reference. Values of type
reference can be thought of as pointers to objects. More than one reference to an
object may exist. Objects are always operated on, passed, and tested via values of
type reference.
The primitive data types supported by the Java Virtual Machine are the numeric
types, the boolean type (§2.3.4), and the returnAddress type (§2.3.3).
The numeric types consist of the integral types (§2.3.1) and the floating-point types
(§2.3.2).
The integral types are:
• byte, whose values are 8-bit signed two's-complement integers, and whose
default value is zero
• short, whose values are 16-bit signed two's-complement integers, and whose
default value is zero
6
Primitive Types and Values 2.3
• int, whose values are 32-bit signed two's-complement integers, and whose
default value is zero
• long, whose values are 64-bit signed two's-complement integers, and whose
default value is zero
• char, whose values are 16-bit unsigned integers representing Unicode code
points in the Basic Multilingual Plane, encoded with UTF-16, and whose default
value is the null code point ('\u0000')
The floating-point types are:
• float, whose values are elements of the float value set or, where supported, the
float-extended-exponent value set, and whose default value is positive zero
• double, whose values are elements of the double value set or, where supported,
the double-extended-exponent value set, and whose default value is positive zero
The values of the boolean type encode the truth values true and false, and the
default value is false.
The First Edition of The Java® Virtual Machine Specification did not consider boolean
to be a Java Virtual Machine type. However, boolean values do have limited support in
the Java Virtual Machine. The Second Edition of The Java® Virtual Machine Specification
clarified the issue by treating boolean as a type.
The values of the returnAddress type are pointers to the opcodes of Java Virtual
Machine instructions. Of the primitive types, only the returnAddress type is not
directly associated with a Java programming language type.
7
2 THE STRUCTURE OF THE JAVA VIRTUAL MACHINE
8
Exploring the Variety of Random
Documents with Different Content
form of nouns, adjectives, and verbs. It is through this preliminary
formative activity of thought that reflective or logical thought has
presented to it a world of meanings ranged in an order of relative
independence and dependence, and arranged as elements in a
complex of meanings whose various constituent parts mutually
influence one another's meanings.[37]
As usual, Lotze mediates the contradiction between material
constituted by thought and the same material just presented to
thought, by a further position so disparate to each that, taken in
connection with each by turns, it seems to bridge the gulf. After
describing the prior constitutive work of thought as above, he goes
on to discuss a second phase of thought which is intermediary
between this and the third phase, viz., reflective thought proper. This
second activity is that of arranging experienced quales in series and
groups, thus ascribing a sort of universal or common somewhat to
various instances (as already described; see p. 144). On one hand, it
is clearly stated that this second phase of thought's activity is in
reality the same as the first phase: since all objectification involves
positing, since positing involves distinction of one matter from
others, and since this involves placing it in a series or group in which
each is measurably marked off, as to the degree and nature of its
diversity, from every other. We are told that we are only considering
"a really inseparable operation" of thought from two different sides:
first, as to the effect which objectifying thought has upon the matter
as set over against the feeling subject; secondly, the effect which
this objectification has upon the matter in relation to other matters.
[38] Afterward, however, these two operations are declared to be
radically different in type and nature. The first is determinant and
formative; it gives ideas "the shape without which the logical spirit
could not accept them." In a way it dictates "its own laws to its
object-matter."[39] The second activity of thought is rather passive
and receptive. It simply recognizes what is already there. "Thought
can make no difference where it finds none already in the matter of
impressions."[40] "The first universal, as we saw, can only be
experienced in immediate sensation. It is no product of thought, but
something that thought finds already in existence."[41]
The obviousness of this further contradiction is paralleled only by its
inevitableness. Thought is in the air, is arbitrary and wild in dealing
with meanings, unless it gets its start and cue from actual
experience. Hence the necessity of insisting upon thought's activity
as just recognizing the contents already given. But, on the other
hand, prior to the work of thought there is to Lotze no content or
meaning. It requires a work of thought to detach anything from the
flux of sense irritations and invest it with a meaning of its own. This
dilemma is inevitable to any writer who declines to consider as
correlative the nature of thought-activity and thought-content from
the standpoint of their generating conditions in the movement of
experience. Viewed from such a standpoint the principle of solution
is clear enough. As we have already seen (p. 121), the internal
dissension of an experience leads to detaching certain factors
previously integrated in the concrete experience as aspects of its
own qualitative coloring, and to relegating them, for the time being
(pending integration into further immediate qualities of a
reconstituted experience), into a world of bare meanings, a sphere
qualified as ideal throughout. These meanings then become the
tools of thought in interpreting the data, just as the sense qualities
which define the presented situation are the immediate matter for
thought. The two as mutually referred are content. That is, the
datum and the meaning as reciprocally qualified by each other
constitute the objective of thought.
To reach this unification is thought's objective or goal. Every
successive cross-section of reflective inquiry presents what may be
taken for granted as the outcome of previous thinking, and as the
determinant of further reflective procedure. Taken as defining the
point reached in the thought-function and serving as constituent unit
in further thought, it is content or logical object. Lotze's instinct is
sure in identifying and setting over against each other the material
given to thought and the content which is thought's own "building-
stone." His contradictions arise simply from the fact that his
absolute, non-historic method does not permit him to interpret this
joint identity and distinction in a working, and hence relative, sense.
II. The question of how the existence of meanings, or thought-
contents, is to be understood merges imperceptibly into the question
of the real objectivity or validity of such contents. The difficulty for
Lotze is the now familiar one: So far as his logic compels him to
insist that these meanings are the possession and product of
thought (since thought is an independent activity), the ideas are
merely ideas; there is no test of objectivity beyond the thoroughly
unsatisfactory and formal one of their own mutual consistency. In
reaction from this Lotze is thrown back upon the idea of these
contents as the original matter given in the impressions themselves.
Here there seems to be an objective or external test by which the
reality of thought's operations may be tried; a given idea is verified
or found false according to its measure of correspondence with the
matter of experience as such. But now we are no better off. The
original independence and heterogeneity of impressions and of
thought is so great that there is no way to compare the results of
the latter with the former. We cannot compare or contrast
distinctions of worth with bare differences of factual existence (I, 2).
The standard or test of objectivity is so thoroughly external that by
original definition it is wholly outside the realm of thought. How can
thought compare meanings with existences?
Or again, the given material of experience apart from thought is
precisely the relatively chaotic and unorganized; it even reduces
itself to a mere sequence of psychical events. What sense is there in
directing us to compare the highest results of scientific inquiry with
the bare sequence of our own states of feeling; or even with the
original data whose fragmentary and uncertain character was the
exact motive for entering upon scientific inquiry? How can the
former in any sense give a check or test of the value of the latter?
This is professedly to test the validity of a system of meanings by
comparison with that whose defects call forth the construction of the
system of meanings.
Our subsequent inquiry simply consists in tracing some of the phases
of the characteristic seesaw from one to the other of the two horns
of the now familiar dilemma: either thought is separate from the
matter of experience, and then its validity is wholly its own private
business, or else the objective results of thought are already in the
antecedent material, and then thought is either unnecessary or else
has no way of checking its own performances.
1. Lotze assumes, as we have seen, a certain independent validity in
each meaning or qualified content, taken in and of itself. "Blue" has
a certain meaning, in and of itself; it is an object for consciousness
as such, not merely its state or mood. After the original sense
irritation through which it was mediated has entirely disappeared, it
persists as a valid meaning. Moreover, it is an object or content of
thought for others as well. Thus it has a double mark of validity: in
the comparison of one part of my own experience with another, and
in the comparison of my experience as a whole with that of others.
Here we have a sort of validity which does not raise at all the
question of metaphysical reality (I, 14, 15). Lotze thus seems to
have escaped from the necessity of employing as check or test for
the validity of ideas any reference to a real outside the sphere of
thought itself. Such terms as "conjunction," "franchise,"
"constitution," "algebraic zero," etc., claim to possess objective
validity. Yet none of these professes to refer to a reality beyond
thought. Generalizing this point of view, validity or objectivity of
meaning means simply that which is "identical for all consciousness"
(I, 3); "it is quite indifferent whether certain parts of the world of
thought indicate something which has beside an independent reality
outside of thinking minds, or whether all that it contains exists only
in the thoughts of those who think it, but with equal validity for
them all" (I, 16).
So far it seems clear sailing. Difficulties, however, show themselves
the moment we inquire what is meant by a self-identical content for
all thought. Is this to be taken in a static or in a dynamic way? That
is to say: Does it express the fact that a given content or meaning is
de facto presented to the consciousness of all alike? Does this
coequal presence guarantee an objectivity? Or does validity attach to
a given meaning or content in the sense that it directs and controls
the further exercise of thinking, and thus the formation of further
new objects of knowledge?
The former interpretation is alone consistent with Lotze's notion that
the independent idea as such is invested with a certain validity or
objectivity. It alone is consistent with his assertion that concepts
precede judgments. It alone, that is to say, is consistent with the
notion that reflective thinking has a sphere of ideas or meanings
supplied to it at the outset. But it is impossible to entertain this
belief. The stimulus which, according to Lotze, goads thought on
from ideas or concepts to judgments and inferences is in truth
simply the lack of validity, of objectivity in its original independent
meanings or contents. A meaning as independent is precisely that
which is not invested with validity, but which is a mere idea, a
"notion," a fancy, at best a surmise which may turn out to be valid
(and of course this indicates possible reference); a standpoint to
have its value determined by its further active use. "Blue" as a mere
detached floating meaning, an idea at large, would not gain in
validity simply by being entertained continuously in a given
consciousness, or by being made at one and the same time the
persistent object of attentive regard by all human consciousnesses.
If this were all that were required, the chimera, the centaur, or any
other subjective construction could easily gain validity. "Christian
Science" has made just this notion the basis of its philosophy.
The simple fact is that in such illustrations as "blue," "franchise,"
"conjunction," Lotze instinctively takes cases which are not mere
independent and detached meanings, but which involve reference to
a region of experience, to a region of mutually determining social
activities. The conception that reference to a social activity does not
involve the same sort of reference of a meaning beyond itself that is
found in physical matters, and hence may be taken quite innocent
and free of the problem of reference to existence beyond meaning,
is one of the strangest that has ever found lodgment in human
thinking. Either both physical and social reference or neither is
logical; if neither, then it is because the meaning functions, as it
originates, in a specific situation which carries with it its own tests
(see p. 96). Lotze's conception is made possible only by
unconsciously substituting the idea of an object as a content of
thought for a large number of persons (or a de facto somewhat for
every consciousness), for the genuine definition of object as a
determinant in a scheme of activity. The former is consistent with
Lotze's conception of thought, but wholly indeterminate as to validity
or intent. The latter is the test used experimentally in all concrete
thinking, but involves a radical transformation of all Lotze's
assumptions. A given idea of the conjunction of the franchise, or of
blue, is valid, not because everybody happens to entertain it, but
because it expresses the factor of control or direction in a given
movement of experience. The test of validity of idea[42] is its
functional or instrumental use in effecting the transition from a
relatively conflicting experience to a relatively integrated one. If
Lotze's view were correct, "blue" valid once would be valid always—
even when red or green were actually called for to fulfil specific
conditions. This is to say validity really refers to rightfulness or
adequacy of performance in an asserting of connection—not to a
meaning as contemplated in detachment.
If we refer again to the fact that the genuine antecedent of thought
is a situation which is disorganized in its structural elements, we can
easily understand how certain contents may be detached and held
apart as meanings or references, actual or possible. We can
understand how such detached contents may be of use in effecting a
review of the entire experience, and as affording standpoints and
methods of a reconstruction which will maintain the integrity of
behavior. We can understand how validity of meaning is measured
by reference to something which is not mere meaning; by reference
to something which lies beyond it as such—viz., the reconstitution of
an experience into which it enters as method of control. That
paradox of ordinary experience and of scientific inquiry by which
objectivity is given alike to matter of perception and to conceived
relations—to facts and to laws—affords no peculiar difficulty because
the test of objectivity is everywhere the same: anything is objective
in so far as, through the medium of conflict, it controls the
movement of experience in its reconstructive transition. There is not
first an object, whether of sense perception or of conception, which
afterward somehow exercises this controlling influence; but the
objective is any existence exercising the function of control. It may
only control the act of inquiry; it may only set on foot doubt, but this
is direction of subsequent experience, and, in so far, is a token of
objectivity. It has to be reckoned with.
So much for the thought-content or meaning as having a validity of
its own. It does not have it as isolated or given or static; it has it in
its dynamic reference, its use in determining further movement of
experience. In other words, the "meaning," having been selected
and made up with reference to performing a certain office in the
evolution of a unified experience, can be tested in no other way than
by discovering whether it does what it was intended to do and what
it purports to do.[43]
2. Lotze has to wrestle with this question of validity in a further
respect: What constitutes the objectivity of thinking as a total
attitude, activity, or function? According to his own statement, the
meanings or valid ideas are after all only building-stones for logical
thought. Validity is thus not a property of them in their independent
existences, but of their mutual reference to each other. Thinking is
the process of instituting these mutual references; of building up the
various scattered and independent building-stones into the coherent
system of thought. What is the validity of the various forms of
thinking which find expression in the various types of judgment and
in the various forms of inference? Categorical, hypothetical,
disjunctive judgment; inference by induction, by analogy, by
mathematical equation; classification, theory of explanation—all
these are processes of reflection by which connection in an
organized whole is given to the fragmentary meanings with which
thought sets out. What shall we say of the validity of such
processes?
On one point Lotze is quite clear. These various logical acts do not
really enter into the constitution of the valid world. The logical forms
as such are maintained only in the process of thinking. The world of
valid truth does not undergo a series of contortions and evolutions,
paralleling in any way the successive steps and missteps, the
succession of tentative trials, withdrawals, and retracings, which
mark the course of our own thinking.[44]
Lotze is explicit upon the point that only the thought-content in
which the process of thinking issues has objective validity; the act of
thinking is "purely and simply an inner movement of our own minds,
made necessary to us by reason of the constitution of our nature
and of our place in the world" (II, 279).
Here the problem of validity presents itself as the problem of the
relation of the act of thinking to its own product. In his solution
Lotze uses two metaphors: one derived from building operations, the
other from traveling. The construction of a building requires of
necessity certain tools and extraneous constructions, stagings,
scaffoldings, etc., which are necessary to effect the final
construction, but which do not enter into the building as such. The
activity has an instrumental, though not a constitutive, value as
regards its product. Similarly, in order to get a view from the top of a
mountain—this view being the objective—the traveler has to go
through preliminary movements along devious courses. These again
are antecedent prerequisites, but do not constitute a portion of the
attained view.
The problem of thought as activity, as distinct from thought as
content, opens up altogether too large a question to receive
complete consideration at this point. Fortunately, however, the
previous discussion enables us to narrow the point which is in issue
just here. The question is whether the activity of thought is to be
regarded as an independent function supervening entirely from
without upon antecedents, and directed from without upon data, or
whether it marks the phase of the transformation which the course
of experience (whether practical, or artistic, or socially affectional or
whatever) undergoes for the sake of its deliberate control. If it be
the latter, a thoroughly intelligent sense can be given to the
proposition that the activity of thinking is instrumental, and that its
worth is found, not in its own successive states as such, but in the
result in which it comes to conclusion. But the conception of thinking
as an independent activity somehow occurring after an independent
antecedent, playing upon an independent subject-matter, and finally
effecting an independent result, presents us with just one miracle
the more.
I do not question the strictly instrumental character of thinking. The
problem lies not here, but in the interpretation of the nature of the
instrument. The difficulty with Lotze's position is that it forces us into
the assumption of a means and an end which are simply and only
external to each other, and yet necessarily dependent upon each
other—a position which, whenever found, is thoroughly self-
contradictory. Lotze vibrates between the notion of thought as a tool
in the external sense, a mere scaffolding to a finished building in
which it has no part nor lot, and the notion of thought as an
immanent tool, as a scaffolding which is an integral part of the very
operation of building, and which is set up for the sake of the
building-activity which is carried on effectively only with and through
a scaffolding. Only in the former case can the scaffolding be
considered as a mere tool. In the latter case the external scaffolding
is not the instrumentality; the actual tool is the action of erecting the
building, and this action involves the scaffolding as a constituent part
of itself. The work of building is not set over against the completed
building as mere means to an end; it is the end taken in process or
historically, longitudinally, temporally viewed. The scaffolding,
moreover, is not an external means to the process of erecting, but
an organic member of it. It is no mere accident of language that
"building" has a double sense—meaning at once the process and the
finished product. The outcome of thought is the thinking activity
carried on to its own completion; the activity, on the other hand, is
the outcome taken anywhere short of its own realization, and
thereby still going on.
The only consideration which prevents easy and immediate
acceptance of this view is the notion of thinking as something purely
formal. It is strange that the empiricist does not see that his
insistence upon a matter accidentally given to thought only
strengthens the hands of the rationalist with his claim of thinking as
an independent activity, separate from the actual make-up of the
affairs of experience. Thinking as a merely formal activity exercised
upon certain sensations or images or objects sets forth an absolutely
meaningless proposition. The psychological identification of thinking
with the process of association is much nearer the truth. It is,
indeed, on the way to the truth. We need only to recognize that
association is of matters or meanings, not of ideas as existences or
events; and that the type of association we call thinking differs from
casual fancy and revery by control in reference to an end, to
apprehend how completely thinking is a reconstructive movement of
actual contents of experience in relation to each other.
There is no miracle in the fact that tool and material are adapted to
each other in the process of reaching a valid conclusion. Were they
external in origin to each other and to the result, the whole affair
would, indeed, present an insoluble problem—so insoluble that, if
this were the true condition of affairs, we never should even know
that there was a problem. But, in truth, both material and tool have
been secured and determined with reference to economy and
efficiency in effecting the end desired—the maintenance of a
harmonious experience. The builder has discovered that his building
means building tools, and also building material. Each has been
slowly evolved with reference to its fit employ in the entire function;
and this evolution has been checked at every point by reference to
its own correspondent. The carpenter has not thought at large on
his building and then constructed tools at large, but has thought of
his building in terms of the material which enters into it, and through
that medium has come to the consideration of the tools which are
helpful.
This is not a formal question, but one of the place and relations of
the matters actually entering into experience. And they in turn
determine the taking up of just those mental attitudes, and the
employing of just those intellectual operations which most effectively
handle and organize the material. Thinking is adaptation to an end
through the adjustment of particular objective contents.
The thinker, like the carpenter, is at once stimulated and checked in
every stage of his procedure by the particular situation which
confronts him. A person is at the stage of wanting a new house:
well, then, his materials are available resources, the price of labor,
the cost of building, the state and needs of his family, profession,
etc.; his tools are paper and pencil and compass, or possibly the
bank as a credit instrumentality, etc. Again, the work is beginning.
The foundations are laid. This in turn determines its own specific
materials and tools. Again, the building is almost ready for
occupancy. The concrete process is that of taking away the
scaffolding, clearing up the grounds, furnishing and decorating
rooms, etc. This specific operation again determines its own fit or
relevant materials and tools. It defines the time and mode and
manner of beginning and ceasing to use them. Logical theory will
get along as well as does the practice of knowing when it sticks
close by and observes the directions and checks inherent in each
successive phase of the evolution of the cycle of experience. The
problem in general of validity of the thinking process as distinct from
the validity of this or that process arises only when thinking is
isolated from its historic position and its material context (see ante,
p. 95).
3. But Lotze is not yet done with the problem of validity, even from
his own standpoint. The ground shifts again under his feet. It is no
longer a question of the validity of the idea or meaning with which
thought is supposed to set out; it is no longer a question of the
validity of the process of thinking in reference to its own product; it
is the question of the validity of the product. Supposing, after all,
that the final meaning, or logical idea, is thoroughly coherent and
organized; supposing it is an object for all consciousness as such.
Once more arises the question: What is the validity of even the most
coherent and complete idea?—a question which arises and will not
down. We may reconstruct the notion of the chimera until it ceases
to be an independent idea and becomes a part of the system of
Greek mythology. Has it gained in validity in ceasing to be an
independent myth, in becoming an element in systematized myth?
Myth it was and myth it remains. Mythology does not get validity by
growing bigger. How do we know the same is not the case with the
ideas which are the product of our most deliberate and extended
scientific inquiry? The reference again to the content as the self-
identical object of all consciousness proves nothing; the subject-
matter of a hallucination does not gain validity in proportion to its
social contagiousness.
According to Lotze, the final product is, after all, still thought. Now,
Lotze is committed once for all to the notion that thought, in any
form, is directed by and at an outside reality. The ghost haunts him
to the last. How, after all, does even the ideally perfect valid thought
apply or refer to reality? Its genuine subject is still beyond itself. At
the last Lotze can dispose of this question only by regarding it as a
metaphysical, not a logical, problem (II, 281, 282). In other words,
logically speaking, we are at the end just exactly where we were at
the beginning—in the sphere of ideas, and of ideas only, plus a
consciousness of the necessity of referring these ideas to a reality
which is beyond them, which is utterly inaccessible to them, which is
out of reach of any influence which they may exercise, and which
transcends any possible comparison with their results. "It is vain,"
says Lotze, "to shrink from acknowledging the circle here involved ...
all we know of the external world depends upon the ideas of it which
are within us" (II, 185). "It is then this varied world of ideas within
us which forms the sole material directly given to us" (II, 186). As it
is the only material given to us, so it is the only material with which
thought can end. To talk about knowing the external world through
ideas which are merely within us is to talk of an inherent self-
contradiction. There is no common ground in which the external
world and our ideas can meet. In other words, the original
separation between an independent thought-material and an
independent thought-function and purpose lands us inevitably in the
metaphysics of subjective idealism, plus a belief in an unknown
reality beyond, which although unknowable is yet taken as the
ultimate test of the value of our ideas. At the end, after all our
maneuvering we are where we began: with two separate disparates,
one of meaning, but no existence, the other of existence, but no
meaning.
The other aspect of Lotze's contradiction which completes the circle
is clear when we refer to his original propositions, and recall that at
the outset he was compelled to regard the origination and
conjunctions of the impressions, the elements of ideas, as
themselves the effects exercised by a world of things already in
existence (see p. 31). He sets up an independent world of thought,
and yet has to confess that both at its origin and at its termination it
points with absolute necessity to a world beyond itself. Only the
stubborn refusal to take this initial and terminal reference of thought
beyond itself as having a historic or temporal meaning, indicating a
particular place of generation and a particular point of fulfilment,
compels Lotze to give such objective references a transcendental
turn.
When Lotze goes on to say (II, 191) that the measure of truth of
particular parts of experience is found in asking whether, when
judged by thought, they are in harmony with other parts of
experience; when he goes on to say that there is no sense in trying
to compare the entire world of ideas with a reality which is non-
existent (excepting as it itself should become an idea), he lands
where he might better have frankly commenced.[45] He saves
himself from utter skepticism only by claiming that the explicit
assumption of skepticism—the need of agreement of a ready-made
idea as such with an extraneous ready-made material as such—is
meaningless. He defines correctly the work of thought as consisting
in harmonizing the various portions of experience with each other. In
this case the test of thought is the harmony or unity of experience
actually effected. The test of validity of thought is beyond thought,
just as at the other limit thought originates out of a situation which
is not dependent upon thought. Interpret this before and beyond in
a historic sense, as an affair of the place occupied and rôle played by
thinking as a function in experience in relation to other non-
intellectual experiences of things, and then the intermediate and
instrumental character of thought, its dependence upon unreflective
antecedents for its existence, and upon a consequent experience for
its final test, becomes significant and necessary. Taken at large,
apart from temporal development and control, it plunges us in the
depths of a hopelessly complicated and self-revolving metaphysic.
VI
Our website is not just a platform for buying books, but a bridge
connecting readers to the timeless values of culture and wisdom. With
an elegant, user-friendly interface and an intelligent search system,
we are committed to providing a quick and convenient shopping
experience. Additionally, our special promotions and home delivery
services ensure that you save time and fully enjoy the joy of reading.
ebookname.com