1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
1001
1002
1003
1004
1005
1006
1007
1008
1009
1010
1011
1012
1013
1014
1015
1016
1017
1018
1019
1020
1021
1022
1023
1024
1025
1026
1027
1028
1029
1030
1031
1032
1033
1034
1035
1036
1037
1038
1039
1040
1041
1042
1043
1044
1045
1046
1047
1048
1049
1050
1051
1052
1053
1054
1055
1056
1057
1058
1059
1060
1061
1062
1063
1064
1065
1066
1067
1068
1069
1070
1071
1072
1073
1074
1075
1076
1077
1078
1079
1080
1081
1082
1083
1084
1085
1086
1087
1088
1089
1090
1091
1092
1093
1094
1095
1096
1097
1098
1099
1100
1101
1102
1103
1104
1105
1106
1107
1108
1109
1110
1111
1112
1113
1114
1115
1116
1117
1118
1119
1120
1121
1122
1123
1124
1125
1126
1127
1128
1129
1130
1131
1132
1133
1134
1135
1136
1137
1138
1139
1140
1141
1142
1143
1144
1145
1146
1147
1148
1149
1150
1151
1152
1153
1154
1155
1156
1157
1158
1159
1160
1161
1162
1163
1164
1165
1166
1167
1168
1169
1170
1171
1172
1173
1174
1175
1176
1177
1178
1179
1180
1181
1182
1183
1184
1185
1186
1187
1188
1189
1190
1191
1192
1193
1194
1195
1196
1197
1198
1199
1200
1201
1202
1203
1204
1205
1206
1207
1208
1209
1210
1211
1212
1213
1214
1215
1216
1217
1218
1219
1220
1221
1222
1223
1224
1225
1226
1227
1228
1229
1230
1231
1232
1233
1234
1235
1236
1237
1238
1239
1240
1241
1242
1243
1244
1245
1246
1247
1248
1249
1250
1251
1252
1253
1254
1255
1256
1257
1258
1259
1260
1261
1262
1263
1264
1265
|
The Apprehension of Plurality
Henry Flynt
(An instruction manual
for 1987 concept art)
I. Original Stroke-Numerals
Stroke-numerals were introduced in foundations of mathematics
by the German mathematician David Hilbert early in the twentieth
century. Instead of a given Arabic numeral such as ‘6’, for example, one
has the expression consisting of six concatenated occurrences of the
stroke, e.g. ‘III’.
To explain the use of stroke-numerals, and to provide a back-
ground for my innovations, some historical remarks about the philo-
sophy of mathematics are necessary. Traditional mathematics had
treated positive whole-number arithmetic as if the positive whole
numbers (and geometrical figures also) were objective intangible
beings. Plato is usually named as the originator of this view. Actually,
there is a scholarly controversy over the degree to which Plato espoused
the doctrine of Forms—over whether Aristotle’s Metaphysics put
words in Plato’s mouth—but that is not important for my purposes.
For an intimation of the objective intangible reality of mathematical
objects in Plato’s own words, see the remarks about “divine” geometric
figures in Plato’s “Philebus.” Aristotle’s Metaphysics, 1.6, says that
mathematical entities
are intermediate, differing from things perceived in being eternal and
unchanging, and differing from the Forms in that they exist in copies,
whereas each Form is unique.
For early modern philosophers such as Hume and Mill, any such
“Platonic” view was not credible and could not be defended seriously.
Thus, attempts were made to explain number and arithmetic in ways
which did not require a realm of objective intangible beings. In fact,
Hume said that arithmetic consisted of tautologies; Mill that it con-
sisted of truths of experience.
Following upon subsequent developments—the philosophical
climate at the end of the nineteenth century, and specifically mathema-
tical developments suchas non-Euclidian geometry—Hilbert proposed
that mathematics should be understood as a game played with mean-
ingless marks. So, for example, arithmetic concerns nothing but formal
terms—numerals—in a network of rules. Actually, what made arith-
metic problematic for mathematicians was its infinitary character—as
expressed, for example, by the principle of complete induction. Thus,
the principal concern for Hilbert was that this formal game should not,
as a result of being infinitary, allow the deduction of botha proposition
and its negation, or of such a proposition as 0 = 1.
But at the same time (without delving into Hilbert’s distinction
between mathematics and metamathematics), the stroke-numerals
replace the traditional answer to the question of what a number is. The
stroke-numeral ‘IIIIII’ is a concrete semantics for the sign ‘6’, and at the
same time can serve as a sign in place of ‘6’. The problem of positive
whole numbers as abstract beings is supposedly avoided by inventing
e.g. a number-sign, a numeral, for six, which is identically a concrete
semantics for six. Let me elaborate a little further. A string of six copies
of a token having no internal structure is used as the numeral ‘6’, the
sign for six. Thus the numeral is itself a collection which supposedly
demands a count of six, thereby showing its meaning. Hans Freud-
enthal calls this device an “ostensive numeral.”
So traditionally, there is a question as to what domain of beings
the propositions of arithmetic refer to, a question as to what the
referents of number-words are. Correlative to this, mathematicians’
intentions require numerous presuppositions about content, and
require extensive competancies—which the rationalizations for math-
ematics today are unable to acknowledge, much less to defend.
For example, if mathematics rests on concrete signs, as Hilbert
proposed, then, since concrete signs are objects of perception, the
reliability of mathematics would depend on the reliability of percep-
tion. Given the script numeral 1
which is ambiguous between one and two, conventional mathematics
would have to guarantee the exclusion of any such ambiguity as this.
Yet foundations of mathematics excludes perception and the reliability
of concrete signs as topics—much as Plato divorced mathematics from
these topics. (Roughly, modern mathematicians would say that reliabil-
ity of concrete signs does not interact with any advanced mathematical
results. So this precondition can simply be transferred from the requi-
sites of cognition in general. But it would not be sincere for Hilbert to
give this answer. Moreover, my purpose is to investigate the possibility
of reconstructing our intuitions of quantity beyond the limits of the
present culture. In this connection, I need to activate the role of
perception of signs.)
But the most characteristic repressed presuppositions of mathe-
matics run in the opposite, supra-terrestrial direction. Mathematicians’
intentions require a realm of abstract beings. Again, it is academically
taboo today to expose such presuppositions.* But to recur to the
purpose of this investigation, concept art is about reconstructing our
intuitions of quantity beyond the limits of the present culture. This
project demands an account of these repressed presuppositions. To
compile such an account is a substantial task; I focus on it ina collateral
manuscript entitled “The Repressed Content-Requirements of Math-
ematics.” To uncover the repressed presuppositions, a combination of
approaches is required.** I will not dwell further on the matter here-
but a suitable sample of my results is the section “The Reality-
Character of Pure Whole Numbers and Euclidian Figures” in “The
Repressed Content-Requirements.”
Returning to the original stroke-numerals, they were meant
(among other things) to be part of an attempt to explain arithmetic
without requiring numbers as abstract beings. They were meant as
signs, for numbers, which are identically their own concrete semantics.
Whether I think Hilbert succeeded in dispensing with abstract entities is
not the point here. I am interested in how far the exercise of positing
*Godel and Quine admit the need to assume the non-spatial, abstract
existence of classes. But they cannot elaborate this admission; they cannot
provide a supporting metaphysics.
**One anthroplogist has written about “the locus of mathematical
reality” —but, being an academic, he merely reproduces a stock answer outside
his field (namely that the shape of mathematics is dictated by the physiology of
the brain).
stroke-numerals as primitives can be elaborated. My notions of the
original stroke-numerals are adapted from Hilbert, Weyl, Markov,
Kneebone, and Freudenthal. For example, how does one test two
stroke-numerals for equality? To give the answer that “you count the
strokes, first in one numeral and then in the other,” is not in the spirit of
the exercise. For if that is the answer, then that means that you have a
competency, “counting,” which must remain a complete mystery to
foundations of mathematics. What one wants to say, rather, is that you
test equality of stroke-numerals by “cross-tallying”: by e.g. deleting
strokes alternately from the two numerals and finding if there is a
remainder from one of the numerals. This is also the test of whether one
numeral precedes the other. So, now, given an adult mastery of quality
and abstraction, you can identify stroke-numerals without being able
to “count.”
In the same vein, you add two stroke-numerals by copying the
second to the right of the first. You subtract a shorter numeral from a
longer numeral by using the shorter numeral to tally deletion of strokes
from the longer numeral. You multiply two stroke-numerals by copy-
ing the second as many times as there are strokes in the first: that is, by
using the strokes of the first to tally the copying of the second numeral.
To say that all this is superfluous, because we already acquired
these “skills” as a child, misses the point. The child does not face the
question, posed in the Western tradition, of whether we can avoid
positing whole numbers as abstract beings. To weaken the require-
ments of arithmetic to the point that somebody with an adult mastery
of quality and abstraction can do feasible arithmetic “blindly”—i.e.
without being able to “count,” and without being able to see number-
names (‘five’, ‘seven’, etc.) in concrete pluralities—is a notable exercise,
one that correlates culturally with positivism and with the machine age.
To reiterate, the stroke-numeral is meant to replace numbers as
abstract beings by providing number-signs which are their own con-
crete semantics. Freudenthal said that we should communicate positive
whole numbers to alien species by broadcasting stroke-numerals to
them (in the form of time-series of beeps). Still, Freudenthal said that
the aliens would have to resemble us psychologically to get the point.
(Lincos, pp. 14-15.)
When Hilbert first announced stroke-numerals, certain difficulties
were pointed out immediately. It is not feasible to write the stroke-
numerals for very large integers. (And yet, if it is feasible to write the
stroke-numeral for the integer n, then there is no apparent reason why
it would not also be feasible to write the stroke-numeral for n+1. So
stroke-numerals are closed under succession, and yet are contained ina
finite segment of the classical natural number series.) Moreover, large
feasible stroke-numerals, such as that for 10,001, are not surveyable.
But this is not a study of metamathematical stroke-numerals. And
I do not wish to go into Hilbert’s question of the consistency of
arithmetic as an infinitary game here; “The Repressed Content-
Requirements” will have more to say on the consistency question. The
purpose of this manual, and of the artworks which it accompanies, is to
establish apprehensions of plurality beyond the limits of traditional
civilizations (beyond the limits of Freudenthal’s “us”). Moreover, these
apprehensions of plurality are meant to violate the repressed presuppo-
sitions of mathematics. I refer back to original stroke-numerals because
certain devices which I will use in assembling my novelties cannot be
supposed to be intuitively comprehensible—certainly not to the
traditionally-indoctrinated reader—and will more likely be understood
if 1 mention that they are adaptations of features of original stroke-
numerals. Let me mention one point right away. In our culture, we
usually see numerals as positional notations—e.g. 111 is decimal
1X 102+ 1X 10!+1 or binary | X 22+ 1 X 2!+ 1. But stroke-numerals
are not a positional notation (except trivially for base 1). Likewise, my
novelties will not be positional notations; I will even nullify the refer-
ence to base 1. (Only much later in my investigations, when broad
scope becomes important, will I use positional notation.) So the fore-
going introduction to stroke-numerals has only the purpose of moti-
vating my novelties. And references to the academic canon are given
only for completeness. They cannot be norms for what I am “per-
mitted” to posit.
IT. Simple Necker-Cube Numerals
In my stroke-numerals, the printed figure, instead of being a
stroke, is a Necker cube. (Refer to the attached reproduction, “Stroke-
Numeral.”) A Necker cube is a two-dimensional representation of a
cubical frame, formed without foreshortening so that its perspective is
perceptually equivocal or multistable. The Necker cube can be seen as
flat, as slanting down from a central facet like a gem, etc.; but for the
moment I am exclusively concerned with the two easiest variants in
which it is seen as an ordinary cube, either projecting up toward the
front or down toward the front.
Biel] Bie] bie/ bie) in] Bie bia)
STROKE-NUMERAL
STROKE
Q)
O VACANT
Since I will use perceptually multistable figures as notations, I
need a terminology for distinctions which do not arise relative to
conventional notation. I call the ink-shape on paper a figure. I call the
stable apparition which one sees in a moment—which has imputed
perspective—the image.* As you gaze at the figure, the image changes
from one orientation to the other, according to intricate subjective
circumstances. It changes spontaneously; also, you can change it
voluntarily.
Strictly—and very importantly—it is the image which in this
context becomes the notation. Thus, I will work with notations which
are not ink-shapes and are not on a page. They arise as active interac-
tions of awareness with an “external” or “material” print-shape or
object.
So far, then, we have images—partly subjective, pseudo-solid
shapes. I now stipulate an alphabetic role for the two orientations in
question. The up orientation is a stroke; the down orientation is called
“vacant,” and acts as the proofreaders’ symbol © , meaning “close up
space.” (So that “vacant” is not “even” an alphabetic space.) Now the
two images in question are signs. The transition from image to sign can
be analogized to the stipulation that circles of a certain size are (occu-
rances of) the letter “o."**I may say that one sees the image; one
apprehends the image as sign.
When a few additional explanations are made, then the signs
become plurality-names or “numerals.” First, figures, Necker cubes,
are concatenated. When this is done, a display results. So the stroke-
numeral in the artwork, as an assembly of marks on a surface, is a
display of nine Necker cubes. An image-row occurs when one looks at
the display and sees nine subjectively oriented cubes, for just so long as
*I may note, without wanting to be precious, that a bar does not count as
a Hilbert stroke unless it is vertical relative to its reader.
** And—the shape, bar, positioned vertically relative to its reader, is the
symbol, Hilbert stroke.
the apparition is stable (no cube reverses orientation). I chose nine
Necker cubes as an extreme limit of what one can apprehend ina fixed
field of vision. (So one must view the painting from several meters
away, at least.) The reader is encouraged to make shorter displays for
practice. Incidentally, if one printed a stroke-numeral so long that one
could only apprehend it serially, by shifting one’s visual field, it would
be doubtful that it was well-defined. (Or it would incorporate a feature
which I do not provide for.) The universe of pluralities which can be
represented by these stroke-numerals is “small.” My first goal is to
establish “subjectified” stroke-numerals at all. They don’t need to be
large.
The concatenated signs which you apprehend in a moment of
looking at the display are now apprehended or judged as a plurality-
name, a numeral. At the level where you apprehend signs (which,
remember, are alphabetized, partly subjective images, not figures), the
apparition is disambiguated. Thus I can explain this step of judging the
signs as plurality-names by using fixed notation. For nine Necker cubes
with the assigned syntactical role, you might apprehend such permuta-
tions of signs as
a) ISCHOOCSI
by ISTSoC SH
c) IIIS DOCS
d) HINO CCTI
RNA ARRANN
OC) vuevvuvvuves
My Necker-cube stroke-numerals are something new; but (a)-(e) are
not—they are just a redundant version of Hilbert stroke-numerals
(which nullifies the base | reference as I promised). The “close up
space” signs function as stated; and the numeral concluded from the
expression corresponds to the number of strokes; i.e. the net result is
the Hilbert stroke-numeral having the presented number of strokes. So
(a) and (b) and (c) all amount to III. (d) amounts to IIIII.
As for (e), it has the alphabetic role of a blank. My initial interpre-
tation of this blank is “no numeral present.” Later I may interpret the
blank as “zero,” so that every possibility will be a numeral. Let me
explain further. Even when I will interpret the blank as “zero.” it will
not come about from having nine zeros mapped to one zero (like a sum
of zeros). (e) has nine occurrences of “close up space,” making a blank.
There is always only one way of getting “blank.” (A two-place display
allows two ways of getting “one” and one way of getting “two”; etc.)
The notation is not positional. It is immaterial whether one “focuses”
starting at the left or at the right.
Relative to the heuristic numerals (a)-(e), you may judge the
intended numerals by counting strokes, using your naive competency
in counting. (It is also possible to use such numerals as (a)-(e) “blindly”
as explained earlier. This might mean that there would be no recogni-
tion of particular numbers as gestalts; identity of numbers would uv
handled entirely by cross-tallying.) The Necker-cube numerals, how-
ever, pertain to a realm which is in flux because it is coupled to
subjectivity. My numerals provide plurality-names and models of that
realm. Thus, the issue of what you do when you conclude a numeral
from a sign in perception is not simple. We have to consider different
hermeneutics for the numerals—and the ramifications of those herme-
neutics. Here we begin to get a perspective of the mutability which my
devices render manageable.
For one thing, given a (stable) image-row, and thus a sign-row, you
can indeed use your naive arithmetical competency to count strokes,
and so conclude the appropriate numeral. This is bicultural hermeneu-
tic, because you are using the old numbers to read a new notation for
which they were not intended. We use the same traditional counting, of
course, to speak of the number of figures in a display.
(This prescription of a hermeneutic is not entirely straightforward.
The competency called counting is required in traditional mathematics.
But such counting is already paradoxical “phenomenologically.” I
explain this in the section called “Phenomenology of Counting” in “The
Repressed Content-Requirements.” As for the Necker-cube numerals,
the elements counted are not intended in a way which supports the
being of numbers as eternally self-identical. So the Necker-cube
numerals might resonate with the phenomenological paradoxes of
ordinary counting. The meaning of ordinary numbering, invoked in
this context, might begin to dissolve. But I mention this only to hint at
later elaborations. At this stage, it is proper to recall one’s inculcated
school-counting; and to suppose that e.g. the number of figures in a
display is fixed in the ordinary way.)
Then, there is the ostensive hermeneutic. Recall that I explained
Hilbert stroke-numerals as signs which identically provide a concrete
semantics for themselves; and as an attempt to do arithmetic without
assuming that one already possesses arithmetic in the form of com-
petency in counting, or of seeing number-names in pluralities. My
intention was to prepare the reader for features to be explained now.
On the other hand, at present we drop the notion of handling identity of
numerals by cross-tallying.* For the ostensive hermeneutic, it is crucial
that the display is short enough to be apprehended in a fixed field of
vision.
With respect to short Hilbert numerals, I ask that when you see
e.g.
Il
marked ona wall, you grasp it asa sign for a definite plurality, without
mediation—without translating to the word “two.” A similar intention
is involved in recognizing
THLE
as a definite plurality, as a gestalt, without translating to “five.”
Now I ask you to apply this sort of hermeneutic to Necker-cube
stroke-numerals. I ask you to grasp the sign-row as a numeral, as a
gestalt. (Without using ordinary counting to call off the strokes.) Fora
two-place display, you are to take such images as
ae
as plurality-names without translating into English words. (Similarly
BR
in the case where I choose to read “blank” as “zero.”) Perhaps it is
necessary to spend considerable time with this new symbolism before
and
*Because this notion corresponds to a situation in which we are unable to
appraise image-rows as numerals, as gestalts.
recognition is achieved. Again, I encourage the reader to make short
displays for practice. I have set a display of nine figures as the upper
limit for which it might be possible to learn to grasp every sign-row as a
numeral, as a gestalt.
The circumstance that the apprehended numeral may be different
the next moment is not a mistake; the apprehended numeral is sup-
posed to be in flux. So when you see image-rows, you take them as
identical signs/semantics for the appearing pluralities.
But who wants such numerals—where are there any phenomena
for them to count? For one thing, they count the very image-rows which
constitute them. The realm of these image-rows is a realm of subjective
flux: its plurality is authentically represented by my numerals, and
cannot be authentically represented by traditional arithmetic.
A further remark which may be helpful is that here numerals arise
only visually. So far, my numerals have no phonic or audio equivalent.
(Whereas Freudenthal in effect posited an audio version of Hilbert
numerals, using beeps.)
To repeat, by the “ostensive hermeneutic” I mean grasping the
sign-row, without mediation, as a numeral. But there is, as well, the
point that the Necker-cube numerals are ostensive numerals. That is,
the (momentary) numeral for six would in fact be an image-row with
just six occurrences of the image “upward cube.” (Compare e.g.
I 2111) The numeral is a collection in which only the “copies” of
“upward cube” contribute positively, so to speak; and these copies
demand a count of six (bicuturally). This feature needs to be clear,
because later I will introduce numerals for which it does not hold.
Let me add another proviso concerning the ostensive hermeneutic
which will be important later. I will illustrate the feature in question
with an example which, however, is only an analogy. Referring to
Arabic decimal-positional numerals, you can appraise the number-
name of
1001
(comma omitted) immediately. But consider
786493015201483492147
Here you cannot appraise the number-name without mediation. That
is, if you are asked to read the number aloud, you don’t know whether
to begin with “seven” or “seventy-eight” or “seven hundred eighty-six.”
Lacking commas, you have to group this expression from the right, in
triples, to find what to call it. An act of analysis is required.
In the case of Necker-cube numerals and the ostensive hermeneu-
tic, don’t want you to see traditional number-names in the pluralities.
However, I ask you to grasp a sign-row as a numeral, as a gestalt. | now
add that the gestalt appraisal is definitive. I rule out appraising image-
rows analytically (by procedures analogous to mentally grouping an
Arabic number in triples). (I established a display of nine figures as the
upper limit to support this.)
The need for this proviso will be obscure now. It prepares for a
later device in which, even for short displays, gestalt appraisal and
appraisal by analysis give different answers, either of which could be
made binding.
The bicultural hermeneutic is applied, in effect, in my uninter-
preted calculus “Derivation,” which serves as a simplified analogue of
my early concept art piece “Illusions.” (Refer to the reproductions on
the next four pages.) Strictly, though, “Derivation” does not concern a
Necker-cube stroke-numeral. The individual figures are not Necker
cubes, but “Wedberg cubes,” formed with some foreshortening to make
one of the two orientations more likely to be seen than the other. What
is of interest is not apprehension of image-rows as numerals, but rather
appraisal of lengths of the image-rows via ordinary counting. As for the
lessons of this piece, a few simple observations are made in the piece’s
instructions. But to pursue the topic of concept art as uninterpreted
calculi, and derive substantial lessons from it, will require an entire
further study—taking off from earlier writings on post-formalism and
uncanny calculi, and from my current writings collateral to this essay.
1987 Concept Art — Henry Flynt
“DERIVATION” (August 1987 corrected version)
Purpose: To provide a simplified analogue of my 1961 concept art piece “‘IIlusions’’ which is
discrete and non-‘‘warping.’’* Thereby certain features of “‘Illusions’’ become more
clearly discernible.
Given a perceptually multistable figure, the ““Wedberg cube,” which can be seen in two
orientations: as a cube; as a prism (trapezohedron.)
Call what is seen at an instant an /mage.
Nine figures are concatenated to form the display.
An element is an image of the display for as long as that image remains constant (Thus,
elements include: the image from the first instant of a viewing until the image first
changes; an image for the duration between two changes; the image from the last
change you see in a viewing until the end of the viewing.)
The /ength of an element equals the number of prisms seen. Lengths from O through nine
are possible. Two different elements can have the same length. Length of element X
is written /(X).
Elements are seen in temporal order in the lived time of the spectator. | refer to this order by
words with prefix ‘T’. T-first; T-next; etc.
Element Y succeeds element X if and only if
i) (X) = KY), and Y is T-next after X of all elements with this length; or
ii) ¥ is the T-earliest element you ever see with length /(X) + 1.
Note that (ii) permits Y to be T-earlier than X: the relationship is rather artificial.
The initial element A is the T-first element. (/(A) may be greater than O; but it is likely to be O
because the figure is biased.)
The conclusion C is the T-earliest element of length 9 (exclusive of Ain the unlikely case in
which /(A) = 9).
A derivation is a series of elements in lived time which contains A and C and in which every
element but A succeeds some other element.
Discussion
To believe that you have seen a derivation, you need to keep track that you see each
possible length, and to force yourself to see lengths which do not occur spontane-
ously.
You may know that you have seen a derivation, without being able to identify in memory the
particular successions.
“Derivation” is not isomorphic to “Illusions” for a number of reasons. ‘‘Illusions” doesn’t
require you to see individually every possible ratio between the T-first ratio and unity.
“Illusions” allows an element to succeed itself. The version of ‘Derivation’ pres-
ented here is a compromise between mimicking “‘Illusions”’ and avoiding a trivial or
cluttered structure. Any change such as allowing elements to succeed themselves
would require several definitions to be modified accordingly.
*In “Illusions,” psychic coercion, which may be called “false seeing” or “warping,” is
recommended to make yourself see the ration as unity. In ‘‘Derivation,” this warping is not
necessary; all that may be needed is that you see certain lengths willfully.
ABABA AAS
Concept Art Version of Mathematics System 3/26/6l(6/19/61)
An "element"is the facing page (with the figure on it) so long
as the apparent, perceived, ratio of the length of the vertical
line to that of the horizontal line (the element’s "associated
ratio") does not change.
A "selection sequence" is asequence of elements of which the
first is the one having the greatest associated ratio, and
each of the others has the associated ratio next smallerthan
that of the preceding one. (To decrease the ratio, come to
see the vertical line as shorter, relative to the horizontal
line, one might try measuring the lines with a ruler to con-
vince oneself that the vertical one is not longer than the
other, and then trying to see the lines as equal in length;
constructing similar figures with a variety of real (measured)
ratios and practicing judging these ratios; and so forth.)
(Observe that the order of elements in a selection sequence
may not be the order in which one sees them.]
An elaboration of “Stroke-Numeral” should be mentioned here,
the piece called “an Impossible Constancy.” (Refer to the facing page.)
As written, this piece presupposes the bicultural hermeneutic, and that
is probably the way it should be formulated. The point of this piece,
paradoxically, is that one seeks to annul the flux designed into the
apprehended numeral. Viewing of the Necker-cube numeral is placed
in the context of a lived experience which is interconfirmationally
weak: namely, memory of past moments within a dream (a single
dream). Presumably, appraisals of the numeral at different times could
come out the same because evidence to the contrary does not survive.
So inconstancy passes as constancy. Either hermeneutic can be
employed; but when I explained the hermetic hermeneutic, I encour-
aged you to follow the flux. Here you wouldn’t do that—you wouldn't
stare at the display over a retentional interval.
As for the concept of equality with regard to Necker-cube numerals,
what can be said about it at this point? We have equality of numbers of
figures in displays, by ordinary counting. We have two hermeneutics
for identifying an apprehended numeral. In the course of expounding
them, I expounded equivalence of different permutations of “stroke”
and “vacant.” Nevertheless, given that, for example, a display of two
figures can momentarily count the numeral apprehended from a dis-
play of three figures,* we are in unexplored territory. Cross-tallying,
suitable for judging equality of Hilbert numerals, seems maladapted to
Necker-cube numerals; in fact, I dismissed it when introducing the
ostensive hermeneutic.
If the “impossible constancy” from the paragraph before last were
manageable, then one might consider restricting the ultimate definition
of equality to impossible constancies. That is, with respect to a single
display, if one wanted to investigate the intention of constancy (self-
equivalence of the apprehended numeral), one might start with the
impossible constancy. Appraisals of a given display become constant
(the numeral becomes self-equivalent) in the dream. Then two displays
which are copies might become constantly equivalent to each other, in
the dream.
Such is a possibility. To elaborate the basics and give an incisive
notion of equality is really an open problem, though. Other avenues
might require additional devices such as the use of figures with distinc-
tions of appearance.
*that it is not assured that copies of a numeral will be apprehended or
appraised correlatively
1987 Concept Art — Henry Flynt
Necker-Cube Stroke-Numeral: AN IMPOSSIBLE CONSTANCY
The purpose of this treatment is to say how a Necker-cube stroke numeral may be
judged (from the standpoint of private subjectivity) to have the same value at different
times; even though the conventional belief-system says that the value is likely to change
frequently.
This is accomplished by selecting a juncture in an available mode of illusion, namely
dreaming, which annuls any distinction between an objective circumstance, and the
circumstance which exists according to your subjective judgment. In the first instance, |
don’t ask you to change your epistemology. Instead, to repeat, | select an available juncture
in lived experience at which the conventional epistomology gets collapsed.
You have to occupy yourself with the stroke-numeral to the point that you induce
yourself to dream about it.
When, in apprehending a stroke-numeral, you “judge” the value of the numeral, the
number, this refers to the image you see and to the number-word which you may conclude
from the image.
Suppose that in a single dreamed episode, you judge the value of the numeral at two
different moments. Suppose that at the second moment, you do not register any discre-
pancy between the value at the second moment and what the value was at the first
moment. Then you are permitted to disregard fallibility of memory, and to conclude that the
values were the same at both moments: because if your memory has changed the past, it
has done so tracelessly. A tracelessly-altered past may be accepted as the genuine past.
Refinements. The foregoing dream-construct may be “‘lifted” to waking experience, as
per the lengthy explanations in ““An Epistemic Calculus.”’ Now you are asked to alter your
epistemology, selectively to suspend a norm of realism.
Now that we are concerned with waking experience, a supporting refinement is
possible. Suppose | make an expectation (which may be unverbalized) that the value of the
numeral at a future moment will be the same that it is now. This expectation cannot be
proved false, if: the undetermined time-reference ‘future moment” is applied only at those
later moments when the value is the same as at the moment the expectation was made.
(Any later moment when the value is not the same is set aside as not pertinent, or forgotten
at still later moments when the value is the same.)
As a postscript, there is another respect in which testing a fact requires trust in a
comparable fact. Suppose | make a verbalized expectation that the value of the numeral in
the future will be the same as at present. Then to test this expectation in the future depends
on my memory of my verbalization. My expectation cannot be belied unless | have a sound
“memory that the number | verbalized in my expectation is different from the number |
conclude from the image now.
HT. Inconsistently-Valued Numerals
As the “Wedberg cube” illustrates, a cubical frame can be formed
in different ways, altering the likelihood that one or another image is
seen. With respect to the initial uses of the Necker-cube stroke-numeral
a figure is wanted which lends itself to the image of a cube projecting
up, or of a cube projecting down, with an approximately equal likeli-
hood for the two images—and which makes other images unlikely.
Now let a Necker cube be drawn large, with heavy line-segments, with
all segments equally long, with rhomboid front and back faces; and
display it below eye level.
As you look for the up and down orientations, there should be
moments when paradoxically you see the figure taking on both of these
mutually-exclusive orientations at once—yielding an apparition which
is a logical/ geometric impossibility. The sense-content in this case is
dizzying.
That we have perceptions of the logically impossible when we
suffer illusions has been mentioned by academic authors. (Negative
afterimages of motion—the waterfall illusion.) Evidently, though, these
phenomenaare so distasteful to sciences which are still firmly Aristote-
lian that the relations of perception, habituation, language, and logic
manifested in these phenomena have never been assessed academically.
For me to treat the paradoxical image thoroughly here would be too
much of a digression from our subject, the apprehension of plurality.
However, a sketchy treatment of the features of the impossible image is
necessary here.
To begin with, the paradoxical image of the Necker cube is not the
same phenomenon as the “impossible figures” shown in visual percep-
tion textbooks. The latter figures employ “puns” in perspective coding
such that parts of a figure are unambiguous, but the entire figure
cannot be grasped as a gestalt coherently. Then, the paradoxical Necker-
cube image is not an inconsistently oriented object (as the reader may
have noted). It is an apparitional depiction of an inconsistently oriented
object. But this is itself remarkable. For since a dually-oriented cube (in
Euclidean 3-space) is self-contradictory by geometric standards, a
picture of it amounts to a non-vacuous semantics for an inconsistency.
Another way of saying the same thing is that the paradoxically-
oriented image is real as an apparition.
If one is serious about wanting a “logic of contradictions”—a logic
which admits inconsistencies, without a void semantics and without
entailing everything—then one will not attempt to get it by a contorted
weakening of received academic logic. One will start from a concrete
phenomenon which demands a logic of contradictions for its authentic
representation—and will let the contours of the phenomenon shape the
logic.
In this connection, the paradoxically-oriented Necker-cube image
provides a lesson which I must explain here. Consider states or proper-
ties which are mutually exclusive, such as “married” and “bachelor.”
Their conjunction—in English, the compound noun “married
bachelor”—is inconsistent.* On the other hand, the joint denial
“unmarried nonbachelor” is perfectly consistent and is satisfied by
nonpersons: a table is an unmarried nonbachelor. “Married” and
“bachelor” are mutually exclusive, but not exhaustive, properties. Only
when the domain of possibility, or intensional domain, is restricted to
persons, so “married” and “bachelor” become exhaustive properties. **
Then, by classical logic, “married bachelor” and “unmarried nonbache-
lor” both have the same semantics: they are both inconsistent, and thus
vacuous, and thus indistinguishable. For exhaustive opposites, joint
affirmation and joint denial are identically vacuous.
But the paradoxically-oriented Necker-cube image provides a
concrete phenomenon which combines mutually exclusive states—as
an apparition. We can ascertain whether a concrete case behaves as the
tenets of logic prescribe. As I have said, various images can be seen ina
Necker cube, including a flat image. Thus, the “up” and “down” cubes
*If I must show that it is academically permitted to posit notions such as
these, then let me mention that Jan Mycielski calls “triangular circle” incon-
sistent in The Journal of Symbolic logic, Vol. 46, p. 625.
**] invoke this device so that I may proceed to the main point quickly. If it
is felt to be too artificial, perhaps it can be eliminated later.
are analogous to “married” and “bachelor” in that they are not exhaus-
tive of a domain unless the domain is produced by restriction. Then
“neither up nor down” is made inconsistent. (It is very helpful if you
haven't learned to see any stable images other than “up” and “down.”)
The great lesson here is that given “both up and down” and “neither up
nor down” as inconsistent, their concrete reference is quite different. To
see a cube which manifests both orientations at the same time is one
paradoxical condition, which we know how to realize. To see a cube
which has no orientation (absence of “stroke” and absence of “vacant”
both) would be a different paradoxical condition, which we do not
know how to realize and which may not be realizable from the Necker-
cube figure. I don’t claim that this is fully worked out; but it intimates a
violation of classical logic so important that I had to mention it. When
concept art reaches the level of reconstructing our inferential intuitions
as well as our quantitative intuitions, such anomalies as these will surely
be important.
Referring back to the Necker cube of page 210, let us now intend it
as a stroke-numeral (display of one figure). Let me modify the previous
assignments and stipulate that “blank” means “zero,” rather than “no
numeral present.” (It is more convenient if every sign yields a numeral.)
When you see the paradoxical image, you are genuinely seeing “a”
numeral which is the simultaneous presence of two mutually exclusive
numerals “one” and “zero” —because it is the simultaneous presence of
images which are mutually exclusive geometrically.***
It’s not the same thing as
|
—because these are merely ambiguous scripts. In the Necker-cube case,
two determinate images which by logic preclude each other are present
at once; and as these images are different numerals, we have a genuine
—or as an alternative,
*For brevity, I may compress the three levels image, sign, numeral in
exposition.
inconsistently-valued numeral.
This situation changes features of the Necker-cube numerals in
important ways, however. Lessons from above become crucial. We
transfer the ostensive hermeneutic to the new situation, and find an
inconsistent-valued numeral. But this is no longer an ostensive
numeral. We have a name which is one and zero simultaneously, but
this is because of the impossible shape (orientation) of the notation-
token. What we do not have is a collection of images of a single kind
(the stroke) which paradoxically requires a count of one and a count of
zero. “Stroke” is positively present, while “vacant” is positively present
in the same place. We will find that a display with two figures can be
inconsistent as zero and two; but it is not an ostensive numeral, because
the number of strokes present is two uniquely.* Here the numerals are
not identically their semantics: for the anomaly is not an anomaly of
counting. The ambiguous script numeral is a proper analogy in this
respect. To give an anomaly of counting which serves as a concrete
semantics for the inconsistently-valued numerals, I will turn to an
entirely different modality.
From work with the paradoxical image, we learn that the Necker
cube allows some apprehensions which are not as commonas others—
but which can be fostered by the way the figure is made and by
indicating what is to be seen. These rare apprehensions then become
intersubjectively determinate. If one observes Necker-cube displays for
a long time, one may well observe subtle, transient effects. For exam-
ple, you might see the “up” and “down” orientations at the same time,
but see one as dominating the other. In fact, there are too many such
effects and their interpersonal replicability is dubious. If we accepted
such effects as determining numerals, the interpersonal replicability of
the symbols would be eroded. Also the concrete definiteness of my
anomalous, paradoxical effects would be eroded. So I must stipulate
that every subtle transient effect which I do not acknowledge explicitly
is not definitive, and is unwanted, when the display is intended as a
symbolism.
Let me continue the explanation, for the inconsistently-valued
*Referring to my “person-world analysis” and to the dichotomy of
Paradigm | and Paradigm 2 expounded in “Personhood III,” this token which
is two mutually exclusive numerals because its shape is inconsistent is outside
that dichotomy: because established signs acquire a complication which is
more or less self-explanatory, but the meanings do not follow suit.
numerals, for displays of more than one figure. When the display
consists of two Necker cubes, and the paradoxical images are admitted,
what are the variations? In the first place, one figure might be seen (ina
moment) as a paradoxical image and the other as a unary image.
Actually, if it is important to obtain this variant, we can compel it, by
drawing one of the cubes in a way which hampers the double image.
(Thin lines, square front and back faces, the four side segments much
shorter than the front and back segments.) Then we stipulate that the
differently-formed cubes continue to have the same assigned interpre-
tation.
Reading the two-figure display, then, the paradoxical and unary
images concatenate so that the resulting numeral is in one case one and
two at the same time; and in the other case zero and one at the same
time. Of course, it is only ina moment that either of these two cases will
be realized. At other moments, one may have only unary images, so
that the numeral is noncontradictorily zero, one, or two as the case may
be. (If it is important to know that we can obtain a numeral which is
both one and two at the same time without using dissimilar figures,
then, of course, we can use a single figure and redefine the signs as “one”
and “two.”)
Now let us consider a display of two copies of the cube which lends
itself to the paradoxical image. Suppose that two paradoxical images
are seen; what is the numeral? Here is where I need the proviso which I
introduced earlier. Every sign-row is capable of being grasped as a
numeral, as a gestalt; and the appraisal of image-rows as numerals,
analytically, is ruled out. Let me explain how this proviso applies when
two paradoxical images are seen.
Indeed, let me begin with the case of a pair of ambiguous
script-numerals: ] ]
When these numerals are formed as exact copies, and I appraise the
expression as a numeral, as a gestalt, then I see 11 or I see 22. (“Conca-
tenating in parallel”) I do not see 21 or 12—although these variants are
possible to an analytical appraisal of the expression. In the gestalt, it is
unlikely to intend the left and right figures differently. This case is
helpful heuristically, because it provides a situation in which the percep-
tual modification is only a matter of emphasis (as opposed to imputa-
tion of depth). To this degree, the juncture at issue is externalized; and it
is easier to argue a particular outcome. On the other hand, the mechan-
ics differ essentially in the script case and the Necker-cube case.
In the Necker-cube case, one sees both the left and the right image
determinately both ways at once. This case may be represented as
stroke stroke
vacant vacant
Analytically, then, four variants are available here,
stroke-stroke
stroke-vacant
vacant-stroke
vacant-vacant
However, to complete the present explanation, only two of these
variants appear as gestalts,
stroke-stroke
vacant-vacant
I chose to rule out the three-valued numeral which would be obtained
by analytically inventorying the permutations of the signs afforded in
the perception. The two-valued numeral arising when the sign-row is
grasped as a gestalt is definitive.
Let me summarize informally what I have established. Relative to
a two-figure display with paradoxical images admitted, we have a
numeral which is inconsistenly two and zero. We can also have a
numeral which is inconsistently one and zero, and a numeral which is
inconsistently two and one. (In fact, these variants occur in several
ways.) But we don’t have a numeral which is inconsistently zero, one,
and two—even though such a variant is available in an analytical
appraisal—because such a numeral does not appear, in perception, asa
gestalt.
Academic logic would never imagine that there is a situation
which demands just this configuration as its representation. Certain
definite positive inconsistencies are available in perception. Other defi-
nite positive inconsistencies, very near to them, are not available. Once
again, if one wants a vital “logic of contradictions,” one has to develop
it as a representation of concrete phenomena; not as an unmotivated
contortion of received academic logics.
But what is the use of inconsistently-valued numerals? I shall now
provide the promised concrete semantics for them. This semantics
utilizes another experience of a logical impossibility in perception. This
time the sensory modality is touch; and the experienced contradiction
is one of enumeration. Aristotle’s illusion is well known in whicha rod,
placed between the tips of crossed fingers, is felt as two rods. (Actually,
the greater oddity is that when the rod is held between uncrossed
fingers, it is felt as one even though it makes two contacts with the
hand.) I now replace the rod with a finger of the other hand: the same
finger is felt as one finger in one hand, as two fingers by the other hand.
So the same entity is apprehended as being of different pluralities, in
one sensory modality.
Let me introduce some notation to make it easier to elaborate.
Abbreviate “left-hand” as L and “right-hand” as R. Denote the first,
middle, ring, and little fingers, respectively, as 1, 2,3, and 4. Now cross
L2 and L3, and touch R3 between the tips of L2 and L3. One feels R3 as
one finger in the right hand, and as two fingers with the left hand. As
apparition, R3 gets a count of both one and two, apprehended in the
same sensory modality at the same time. Here is a phenomenon
authentically signified by a Necker-cube numeral which is both “1” and
“>
The crossed-finger device is obviously unwieldy. The possibilities
can, however, be enlarged somewhat, to make a further useful point.
For example, touch L1 and R3, while touching crossed L2 and L3 with
R4. Here we have a plurality, concatenated from one unary and one
paradoxical constituent, which numbers two and three at the same
time.
Then, we may cross L1 and L2 and touch R3, while crossing L3
and L4 and touching R4. Now we have a plurality which is two and
four at the same time. In terms of perceptual structure, it is analogous
to the numeral concatenated from two paradoxical images. As gestalt,
we concatenate in parallel. In the case of the fingers, we do not find a
plurality of three unless we appraise the perception analytically (block-
ing concatenation in parallel).
If one wants the inconsistently-valued numerals to be ostensive
numerals, then one can use finger-apparitions to constitute stroke-
numerals. Referring back to the first example, if we specify that the
stroke(s) is your R3-perception, or the apparition R3, then we obtaina
stroke which is single and double at the same time. Now the
inconsistently-valued numeral is identically its semantics: it authenti-
cally names the token-plurality which constitutes it.
I choose not to rely heavily on this device because it is so unwieldy.
The visual device is superior in that considerably longer constellations
are in the grasp of one person. Of course, if one chose to define fingers
as the tokens of ordinary counting, one might keep track of numbers
larger than ten by calling upon more than one person. The analogous
device could be posited with respect to the inconsistently-valued
numbers; but then postulates about intersubjectivity would have to be
stated formally. I do not wish to pursue this approach.
It is worth mentioning that if you hold a rod vertically in the near
center of your visual field, hold a mirror beyond it, and focus your gaze
on the rod, then you will see the rod reflected double in the mirror. This
is probably not an inconsistent perception, because the inconsistent
counts don’t apply to the same apparition. (But if we add Kant’s
postulate that a reflection exactly copies spacial relations among parts
of the object, then the illusion does bring us close to inconsistency.) The
illusion illustrates, though, that there is a rich domain of phenomena
which support mutable and inconsistent enumeration.
IV. Magnitude A rithmatic
I will end this stage of the work with an entirely different approach
to subjectively variable numerals and quantities. I use the horizontal-
vertical illusion, the same that appeared in “Ilusions,” to form numer-
als. The numeral called “one” is now the standard horizontal-vertical
illusion with a measured ratio of one between the segments. The
numeral called “two” becomes a horizontal-vertical figure such that the
vertical has a measured ratio of two to the horizontal segment. Etc. If
“zero” is wanted, it consists of the horizontal segment only.
The meaning of each numeral is defined as the apparent, perceived
length-ratio of the vertical to the horizontal segment. Thus, for exam-
ple, the meaning of the numeral called “one” admits subjective varia-
tion above the measured magnitude. For brevity, I call this approach
magnitude arithmetic—although the important thing is how the mag-
nitudes are realized.
In all of the work with stroke-numerals, numbers were determina-
tions of plurality. An ostensive numeral was a numeral formed from a
quantity of simple tokens, which quantity was named by the expres-
sion. The issue in perception was the ability to make gestalt judgments
of assemblies of copies of a simple token.
The magnitude numerals establish a different situation. Magni-
tude numerals pertain to quantity as magnitude. They relate to plural-
ity only in the sense that in fact, measured vertical segments are integer
multiples of a unit length; and e.g. the apprehended meaning of “two”
will be a magnitude always between the apprehended meanings of
“one” and “three”—etc.
Once again we can distinguish a bicultural and an ostensive
hermeneutic. The bicultural hermeneutic involves judging meanings of
the numerals with estimates in terms of the conventional assignment of
fractions to lengths (as on a ruler). I find, for example, that the
magnitude numeral “two” may have a meaning which is almost 3.
(Larger numerals become completely unwieldly, of course. The point of
the device is to establish a principle, and I’m not required to provide for
large numerals.)
Then there must be an ostensive hermeneutic, a “magnitude-
ostensive” hermeneutic. Here the subjective variations of magnitude do
not receive number-names. They are apprehended (and retentionally
remembered) ostensively.
As I pointed out, above, the concept of equality with regard to
Necker-cube numerals is at present an open problem. To write an
equality between two Necker-cube displays of the same length is not
obviously cogent; in fat, it is distinctly implausible. For magnitude
numerals, however, it is entirely plausible to set numbers equal to
themselves—e.g.
The point is that it is highly likely that copies of a magnitude numeral
will be apprehended or appraised correlatively. This was by no means
guaranteed for copies of a Necker-cube numeral displayed in proximity.
Upon being convinced that these simplest of equations are mean-
ingful, we may stipulate a simple addition, “one” plus “one” equals
“two.” (It was not possible to do anything this straightforward with
Necker-cube numerals.) Continuing, we may write a subtraction with
these numerals. There may now appear a complication in the rationale
of combination of these quantities. The “two” in the subtraction may
appear shorter than the “two” in the addition. A dependence of percep-
tions of these numbers on context may be involved.
We find, further, that “readings” of these equations according to
the bicutural hermeneutic yield propositions which are false when
referred back to school-arithmetic—e.g. the addition might be read as
I'/s + 1's = 24/s
So the effect of inventing a context in which a relationship called “one
plus one equals two” is appraised as 1!/5 + 1!/; = 24/5 (where there is a
palpable motivation for doing this) is to erode school-arithmetic.
Another approach to the same problem is to ask whether magni-
tude arithmetic authentically describes any palpable phenomenon. The
answer is that it does, but that the phenomenon in question is the
illusion, or rationale of the illusion. The significant phenomenon arises
from having both a measured ratio and a visually-apparent ratio, which
diverge. This is very different from claiming equations among non-
integral magnitudes without any motivation for doing so. Indeed, given
that the divergence is the phenomenon, the numerals are not really
ostensive in a straightforward way.
One way of illustrating the power of the phenomenon which
models magnitude arithmetic is to display ruler grids flush with the
segments of a horizontal-vertical figure.
What we find is that the illusion visually captures the ruler grids: it
withstands objective measurement and overcomes it. We have a non-
trivial, systematic divergence between two overlapping modalities for
appraising length-ratios—one modality being considered by this cul-
ture to be subjective, and the other not.
In “Derivation” I used multistable cube figures to give a simplified,
discrete analogue of the potentially continuous “vocabulary” in “Illu-
sions.” I could try something similar for magnitude numerals. Take as
the magnitude unit a black bar representing an objective unit of twenty
20ths, concatenated with a row of five Necker cubes. Each cube seen in
the “up” orientation adds another 20th to the judged magnitude of the
subjective unit, so that the unit’s subjective magnitude can range to 14.
When, however, we write the basic equality between units, it becomes
clear that this device does not function as it is meant to. In particular,
the claim of equality applied to the Necker-cube tails is not plausible,
because it is not guaranteed that these tails will be apprehended or
appraised correlatively. I have included this case as another illutration
of the sort of inventiveness which this work requires; and also to
illustrate how a device may be inadequate.
* * *
This completes the present stage of the work. Let me emphasize
that this manual does little more than define certain devices developed
in the summer of 1987. These devices can surely give rise to substantial
lessons and substantial applications.
There is my pending project in a priori neurocybernetics. Given
that mechanistic neurophysiology arrives at a mind-reading machine—
called, in neurophysiological theory, an autocerebroscope—devise a
text for the human subject such that reading it will place the machine in
an impossible state (or short-circuit it). Such a problem is treated
facetiously in Raymond Smullyan’s 5000 B.C.; and more seriously by
Gordon G. Globus’ “Mind, Structure, and Contradiction,” in Con-
sciousness and the Brain, ed. Gordon Globus et al. (New York, 1976), p.
283 in particular. But I imagine that my Necker-cube notations will be
the key to the first profound, extra-cultural solution.
In any case, this essay is only the beginning of an enterprise which
requires collateral studies and persistence far into the future to be
fulfilled. (I may say that I first envisioned the possibility of the present
results about twenty-five years ago.)
Background References
David Hilbert, three papers in From Frege to Godel, ed. Jean van Heijenoort
(1967)
David Hilbert, “Neubegrundung der Mathematik” (1922)
David Hilbert and P. Bernays, Grundlagen der Mathematik I (Berlin, 1968),
pp. 20-25
Plato, “Philebus”
Aristotle, Metaphysics, 1.6
Proclus, A Commentary on the First Book of Euclid’s Elements, tr. Glenn
Morrow (Princeton, 1970), 54-55
Hans Freudenthal, Lincos: Design of a Language for Cosmic Intercourse
(Amsterdam, 1960), pp. 14-5, 17, 21, 45-6
Kurt Godel in The Philosophy of Bertrand Russell, ed. Paul Schilpp (1944), p.
137
W.V.O. Quine, Mathematical Logic (revised), pp. 121-2
Paul Benacerraf, “What numbers could not be,” in Philosophy of Mathemat-
ics (2nd edition), ed. Paul Beneacerraf and Hilary Putnam (1983)
Leslie A. White, “The Locus of Mathematical Reality: An Anthropological
Footnote,” in The World of Mathematics, ed. J.R. Newman, Vol. 4, pp.
2348-2364
Herman Weyl, Philosophy of Mathematics and Natural Science (Princeton,
1949), pp. 34-7, 55-66
Andrei Markov, Theory of Algorithms (Jerusalem, 1961)
G.T. Kneebone, Mathematical Logic and the Foundations of Mathematics
(London, 1963), p. 204ff.
Michael Resnik, Frege and the Philosophy of Mathematics (Ithaca, 1980), pp.
82, 99
Ludwig Wittgenstein, Wittgenstein’s Lectures on the Foundations of Mathe-
matics (1976), p. 24; but p. 273
Ludwig Wittgenstein, Philosophical Grammer (Oxford, 1974), pp. 330-331
Steven M. Rosen in Physics and the Ultimate Significance of Time, ed. David
R. Griffin (1986), pp. 225-7
Edgar Rubin, “Visual Figures Apparently Incompatible with Geometry,”
Acta Psychologica, Vol. 7 (1950), pp. 365-87
E.T. Rasmussen, “On Perspectoid Distances,” Acta Pschologica, Vol. Il
(1955), pp. 297-302
N.C.A. da Costa, “On the Theory of Inconsistent Formal Systems,” Notre
Dame Journal of Formal Logic, Vol. 15, pp. 497-510
FG. Asenjo and J. Tamburino, “Logic of Antinomies,” Notre Dame Journal
of Formal Logic, Vol. 16, pp. 17-44
Richard Routley and R.K. Meyer, “Dialectical Logic, Classical Logic, and the
Consistency of the World,” Studies in Soviet Thought, Vol. 16, pp. 1-25
Nicolas Goodman, “The Logic of Contradiction,” Zeitschr. f. math. Logik und
Grundlagen d. Math., Vol. 27, pp. 119-126
Hristo Smolenov, “Paraconsistency, Paracompleteness and Intentional Con-
tradictions,” in Epistemology and Philosophy of Science (1982)
J.B. Rosser and A.R. Turquette, Many-valued Logics (1952), pp. 1-9
Gordon G. Globus, “Mind, Structure, and Contradiction,” in Conciousness
and the Brain, ed. Gordon Globus et al. (New York, 1976), p. 283
|