7/23/2019 PALMQUIST.tree.13.13. Mapping Analytic Relations http://slidepdf.com/reader/full/palmquisttree1313-mapping-analytic-relations 1/30 staff web.hkbu.edu.hk D1 36 min read • original 13. Mapping Analytic Relations by Stephen Palmquist (stevepq@hkbu.edu.hk) Inthefirstlectureonlogicwelearnedthatlogic- analyticlogic,thatis-abstracts f rom the concrete truth of a proposition, and focuses attention first and foremost on its bare (essentially mathematical) form, its truth value. This week Iwant to explore some ways of converting this bare form into a richer, ictorial form. Philosophers since Aristotle, and even before that, have almost universally recognized that logic and mathematics are closely relateddisciplines. Until the middle of the nineteenth century, most philosophers would have said thisrelationship is confined primarily to arithmetic, where f unctions such a s a dd ition, su bt r action, m u ltiplication an dd ivi s ion have clea r analogie s to logical operators such as "and", "not", etc. But then a scholar named George Boole (1815-1864) wrote a book defending what he called the " Algebra of Logic". He demonstrated that algebraic relations are also closely related in many ways to logical relations. Although Boole's ideas are far too complex to examine in an intro?/ span>ductory course, I have mentioned hisdiscovery because I believe a similardiscovery awaits us in the area of geometry. For thi sreason I have already been using, throughout these lectures, several simple dia- grams in a way that conforms to what I call the "Geometry of Logic". This week Ishall explain in detail just how these and otherdiagrams actually f unction as precise "maps" of logical relations.The first two lectureswill examine ways of constructing maps that correspond to analytic and synthetic relations, respectively. Lecture 15 will then provi de numerous D1 — staffweb.hkbu.edu.hk https://www.readability.com/articles/wsot9 de 30 15/12/2015 20
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
examples of howwe can use such maps to encourage and deepen our
insight.
A thoroughgoing analogy can be constructed between the structure of many
simple geometrical figures and the most f undamental kinds of logical
distinctions, though this has rarely, if ever, been f ully acknowledged in thepast. The starting point of this analogy is the analytic law of identity (A=A);
it posits that a thing "is what it is". To choose a diagram that can accurately
represent this simplest of all logical laws, all we need
todoisthinkofthesimplestofall geometrical figures: a point. Techni-
cally, a point exists merely as a single position, with noreal extension in any direction, though of course, theblack spot representing a point in Figure V.1 must havesome extension in order for us to see its position.
Figure V.1: The Point as a Map of an Identical Relation
The f unction of the law of noncontradiction is to contrast the solitary "A" of
the law of identity with its opposite, "-A". The geometrical figure thatextends a point beyond itself in a single direction is called a line. There are,
of course, two kinds of line: straight and curved. So also, there are two good
ways of depicting the logical opposition between "A" and "-A" in the form of
a geometrical figure: by using the two ends of a line segment, or byusing the
inside and outside of a circle, as shown in Figure V.2:
(a) The Circle(b) The Line
Figure V.2: Two Ways of Mapping a 1LAR
Note that I have labeled these figures with a mere "+" and "-". These symbols
are derived directly f rom the law of noncontradiction, simply by dropping
the "A" f rom both sides of the "+A≠-A" equation. The "A" is a formal
representation for "some content", so dropping this symbol implies, quite
rightly, that in the Geometry of Logic we are concernedwithnothing b
u
t the
bare logical form of the sets of concepts we use.
Sincethissimpledistinctionarisesoutofthelawsof analytic logic, I refer to it
as a "first-level analytic relation" (or "1LAR"). As we shall see, representing
this lawwith the simpler equation, "+ ≠ -" (i.e., positivity is not negativity),
makes it much easier towork with more complex, higher levels of logical
it can represent the relationships between complementary opposites.
The cross enables us to visualize four distinct types of "first-level" logical
relationships (i.e., simple +/- oppositions) between such sets of four
opposing concepts. The first two can be called "primary" types. The first is
represented by the first term in each component; as we can see in FigureV.3a, it is the same on both ends of each axis of the cross. So the first term in
each component actually labels the axis itself: the vertical axis can
therefore be called the "+" axis, and the horizontal axis can be called the "-"
axis. The second type is represented by the second term in each component,
and denotes the opposition between the two ends of any given axis. So the
second term in each component mapped onto the 2LAR cross represents a
"polar" (i.e., complementary) opposition-an opposition between two
concepts that also share something in common. The common factor is
represented by the first term of both components on a given axis of thecross: + for the vertical and - for the horizontal.
The third and fourth types of first-level relationships visible on the cross
can be called "subordinate" types, because they are not as evident as the two
"primary" types.Hence,when we want to call attention to them, it is helpf ul
to draw a diagonal line through the center of the cross, either f rom the top
right to the bottom left, or f rom the top left to the bottom right. The former
diagonal line, as shown in Figures I.1, III.3, and IV.5, calls our attention to
the secondary complementary relationship existing between the
components with different first terms, but the same second term (i.e.,
between "--" and "+-", and between "-+" and "++"). The latter diagonal line
highlights the fourth type of first-level relationship, between pairs of
contradictory opposites (i.e., between the two pure components, "++" and
"--", and between the two mixed components, "+-" and "-+"). I have not
included this type of diagonal line in the maps used so far, but it would be
appropriate to add it to the cross any time we want to call special attention
to the tw
o pairs
of concepts
that ar
ed
iametr
ically oppos
ed
in a given2
LAR.
Understanding the complex web of logical relationships that exists within
any set of concepts composing a 2LAR helpsussee that the cross cannot
properly be used to map the relationship between any randomly chosen set
of four concepts. Or at least, ifwe use it in this way,we may not be using the
cross to represent the logical form of a 2LAR. In that case the cross will only
be, at best, a nice picture, and atworst, a misleading over-simplification.
For only sets of concepts that can be shown to exhibit the set of
interrelationships defined above, and representable by the four +/-
components of a 2LAR, ought to be mapped onto the cross.
Having given this warning, I can now add that there is actually quite a
simple method of testing any set of four concepts that we think might be
related according to the form of a 2LAR. All we need to do is find two
yes-or-no questions whose answers, when put together, give rise to simple
descriptions of the four concepts we have before us. Thus, for example, in
order to prove that the four concepts mentioned above, "daytime",
"nighttime", "dusk", and "dawn", compose a 2LAR, all we need to do is posit
the two questions: (1) Is it obviously either daytime or nighttime (as
opposed to being a transition period)? and (2) Is it lighter now than at theopposite time of day? This gives rise to four possible situations,
corresponding to the four components of a 2LAR as follows:
++Yes, it is obvious, and yes, it is lighter (= "daytime")
+- Yes, it is obvious, but no, it is not lighter (= "nighttime")
-+No, it is not obvious, but yes, it is lighter (= "da wn")
--No, it is not obvious, and no, it is not lighter (= "dusk")
This demonstrates that the four terms in question can be mapped properly
onto the 2LAR cross, as shown in Figure V.4a.
Perhaps I should also mention that we cannot produce a proper 2LAR by
combining any randomly chosen pair of two questions. Or at least, we must
be prepared for the possibility that in attempting to construct a 2LAR, one
or more of the possible combinations of answers might end up describing aself-contradictory concept, or an impossible situation. For this reason, I use
the term "perfect" to refer to a 2LAR(or any other logical relation) inwhich
all the logically possible components also represent real possibilities. For
as a pictorial expression of the fact that in reallife opposite concepts, experiences, forces, etc.,not only depend on each other for their ownexistence, but actually merge into each other
through the passage of time. This is why the twohalves are shaped in the form of teardrops,connoting movement. Moreover, at the verycenter of the large part of each "teardrop"we find
the opposite force. This, like the arrow on eachaxis of the 2LAR cross, represents
FigureV.6: The2LAR
Implicit in the Tai Chi
the way opposites converge upon each other.
We saw in Lecture 12 that this tendency of opposites to be "the same", as
Heraclitus put it, is actually the proper subject ofs
ynthetic, not analytic,logic. So I would now like to explore how to use the Geometry of Logic to
construct accurate pictures of logically synthetic relations. Like analytic
logic, synthetic logic also starts f rom a point, but the point is now regarded
as already containingwithin itself a pair of opposites.
a "star of David". The six components (2x3 = 6)of the resulting "sixfold compound relation" (or"6CR") can be placed on such a map in themanner shown in Figure V.8,with the first termin each component representing the analyticopposition between the two triangles. Thisfigure can be constructed by sliding together
the two triangles in Figure V.7, then rotating theentire figure counter-clockwise by 30? The 0and 1 vertices become the -x and +x,respectively.
Figure V.8: The Star
of David as a 6CR
This map can be used to explore the logical relationships between any two
sets of three concepts we believe might be related in this way. For example,
one of my students once came up with the idea of comparing the famous
philosophical triad, "truth, goodness, and beauty" with the famous religious
triad, "faith, hope, and love". The way to test whether or not these six
concepts make up a legitimate 6CR is to find a way of mapping them ontothe diagram in Figure V.8, such that the concepts placed in opposition to
each other really do have characteristics that make them complementary
opposites. We could begin this task by associating the "-" trianglewith the
hilosophical concepts and the "+" trianglewith the religious concepts, thus
defining the basic 1LAR. But once again, I prefer to let you experiment for
yourselfwith the other details, or with other examples of your own making.
Another way of integrating analytic and synthetic relations is to combine
the simple 1LSRwith a 2LAR. The twelve components (3x4 = 12) of the
main (2LAR) quadrants. However,we couldalso use a line, a triangle, a square, orcombinations of these, to highlight otherlogical relations implicit within this map.
What use is a complex map like this? Oneobvious point is thatFigureV.9coincidesexactlywiththe traditionalsigns of the zodiac,which are divided into fourgroups of three in exactly the sameway. Buteven apart f rom the light it might shed on therational origin of such ancient"wisdom",generallyscoffedatby
Figure V.9: The Circle
as a Map for a 12CR
philosophers nowadays, we can find 12CRs operating in many diverse areas
of human life and thought. Why, for instance,dowe divide the year into
tw
elve months
(four s
eas
ons
, eachw
ith thr
ee months
)? Or
thed
ay intotwelve hours? It's easy to pass off such facts as merely arbitrary
conventions. But perhaps they have their origin in the very structure of
rational thinking! This was Kant's conviction; for, as we saw in Lecture 8,
his list of twelve categories fits the same pattern of four sets of three (see
Figure III.9). Furthermore, as I have argued in Kant' s System of
Pers pectives, Kant also used the same twelvefold pattern in constructing
the arguments that compose his Critical systems-indeed, this pattern is the
basic form of his "architectonic plan".
Other academicdisciplines have no shortage of twelvefold distinctions with
exactly the same structure. A famous scientist named Maxwell, for example,
discovered in the nineteenth century that there are twelve distinct forms of
electromagnetic forces, and that they can be grouped into four sets of three
types. More recently, quantum physicists have discovered exactly twelve
different types of "quarks", the basic building block of matter. Numerous
examples like these could be cited. But a detailed explanation of how such
applications of the 12CR actually operate is beyond the scope of this
introductory course. Instead,we shall turn our attention in the next lecture
back to synthetic logic itself, in order to gain a better understanding of how
it operates and of how the Geometry of Logic facilitates the process of having new insights by providing visual representations of the new
perspectives synthetic logic provides.
15. Mapping Insights ontoNew Perspectives
The main f unction of synthetic logic is to shock us into seeing new
ers pectives. Once we realize this, it becomes easier to understand how it is
possible for a proposition to be meaningf ul even though it breaks the law of
noncontradiction. The explanation is that such propositions do not actuallybreak Aristotle's law in its strictest sense. Aristotle himself recognized that
"A" could be identical with "-A" if the "A" in question is being viewed f rom
two different perspectives. That is why in defining this law he added "at the
same time, in the same res pect" to the words "A thing cannot both be and not
be". Things change in time, and they can be described differently when
looked at in different ways, so in these cases the A≠-A law does not hold. But
most of us find it quite difficult to look at a familiar subject in a newway.
What synthetic logic does is to bring us face to facewith an exceptionalway
of thinking about or looking at a familiar subject; and in so doing, it fires our
imagination with insight.
This is where synthetic logic and the Geometry of Logic share a common
f unction. For both are instrumental in providing us with the means to
develop our capacity to see old issues in newways, and in so doing, to
deepen our insight intowhatever is perplexing us. Indeed, taken together,
these two logical tools probably constitute philosophy's most usef ul
practical application. For as we shall see, a clear understanding of these
tools can assist you in thinking andwriting more clearly and more
insightf ully in virtually any area, not just when dealingwith philosophical
issues. Let us therefore look first at synthetic logic on its own, and then
move f rom there into a discussion of how geometrical maps can be used in a
of your essay. In awell-organized essay these will not be mere "before and
after" summaries ofwhat is contained in the other parts. Rather, a good
introduction sketches out the basic limiting conditions on the topic, just as
"recognition of ignorance" did for this course. Likewise, a good conclusion
leaves the reader with clear and interesting practical applications and /or
ideas for f uture research. As we shall see in Part Four, the "wonder of
silence"will do just that for our study of philosophy. The impure
components (+- and -+), by contrast,will present two opposite perspectives
on the topic at hand. In our case, thinking (logic) and doing (wisdom) are
the two opposites that occupy our attention in Parts Two and Three.
Viewing these opposites as two pers pectives can lead to an especially
insightf ul essay in cases where the views examined in these two parts tend
to be regarded as competing theories or approaches. If you can effectively
demonstrate how the two are actually compatible and /or give a clear
account ofwhy certain incompatibilities are unavoidable, youwill be well
on your way towriting an impressive piece.
Having a predetermined plan for the format ofwhat you intend towrite may
seem at first like an illegitimate procedure: since the realworld is not so
neatly divided, how canwe know in advance whether the topicwill actually
it into such a neat, logical pattern? Kantwould reply that such a question
ignores the fact that reason itself has an essentially architectonic nature.
That is, our thinking is (or ought to be!) orderly and patterned, so in any
essay that involves rational thinking, that order ought not to be left to
chance. Of course, the content of any essay cannot be predetermined in thisway. But if the essay is one that can benefit by being written in a clear and
orderlyway, then selecting a pattern as common as the 2LAR will virtually
guarantee an increase in its level of clarity and persuasiveness. Some essays
may be so detailed that theywill require a more complex pattern, such as