Sei sulla pagina 1di 9

..

Come SI deduce
e Sugreuo. T,'ol'l'U evidenelJ, t'''01'1'''' ave
voleeeu q .. cstu, colla qllale mcm i{estate
eOllelllsio,,; asease . GA r o
J, ! .E
1. Quello che F, GONSETH chin.ma. le mystere logico'math-
tique" ti) ha cessato pcr me d' essere \In mistero, da, 0\1,1'0 du
dici anni Ir).
Mil. quella. sua frase m' incita n. tentn.r di dissipado in altl'i ,
ricorrendo n.d un esempio, che apero riesca convincente.
2. Ciascuna. delle lettere A, B, C, D, E, IJ' (che chiamoro
va,riabile) rappresenti un individuo qualtmque <li nna classe
p"estabilita (che mi riserbo di precisn.l'c alln. fine): col solo oh
bligo che una stessa variabile, adopemtn. l'ipet lltalllente in 1t1/0
stesso discorso, vi rappresenti ciascunn. volta uno slesso indi-
viduo; e percib senza. escludere cho una, slessa, lJ(wia.bile possa
l'appresentare individtti dit'ersi in discorsi dive1'si (o in Ulla
nuova lettura d' uno stesso dillco!'li;o) o nemmeno cho in WIO
stesso discorso (nel quale llon sia dotto il contml'io) variahili
diverse possano rn.ppresenta,re '''''u! slesso individuo,
3. OItl'e ailo va1'iabili, adoproro 1111 simbolo (ciou 7/.na SC1i/
tut'a inscindibile, a significalo cosla,llf.e) esl,ranco aHa. l,ogiea.
(') Lanlalitet la vl'it mathlJl.utiqlle. (e Scielll,i". , I XHJO:l,t., po.:.B2!l,
1. 3 dal bosso) .
,
(') Como si deduce P, (colllunicoziollO nlt\ Mal.he. i. " c:.o ll oyn, 1!J2:! .'
conferonza olla S. 1. P. S., .l:'orugia. 11127). I
'. , 11 metodo rlerl .. ttivo, (e Atti del R. 1Atit .. Lombnl'uo " lOall, ua pago litiO
n .pag. 672).
Ey .. agliallze lo{iehe, (. Riv. di Filosof" nooscola.tic" . ; 103J, <la pago 277
a pllg. 28<l). I
DI<O 1JOst,.T".ti I/come/d ei, (CO II\II11i cnzioll o IIlIa R. J. P. B., Bnri , 10H4 ).
Oomc si dcr/I/('e
2'2!1
per evitnre che I)uanto I't;(I por dil'll o selllbl'i fa cilita.tu
dalla conosccnza inlu.iUvn ri el snQ sirll/i,(ic((lo, mi risel'ho di Jll' e
cisarlo a 1101. fine: iI cho lIli' cORt,l'ill[!O a 1'l'lwvi.
8ol'i:lmonte cou nn segno scolwsciulo al l cUon' . Per comodit.iI.
t,ipografi ca. , ri col'ru 11.1 soguo '? , ell e il I(' ttol'l ' f;llpp0l'l.'i'I tli
vedero por la pl'ima voHn .
4. P OI' fI.de88o, m' nceontento di ptemlnl.tlllln: eh" il si[Jni
liea.lo del seguo '1 " t.ale per cui:
(11 AB'?.IIR
(11) 80 AB ? CD o CD '1 EJi', nlJol'n ;Ji'? BA.
Anzitutto, dnl modo ill cui le scritture
AR?(IT) ( ID ? TiJTi' TiJ Ti' '1 11 J
!'ono inserit.e lIelln. (lIl, ri s ult.a che di 1'81';0 l'a.pllIesont,n
IIna condizionc :I.lI c qua.Uro 'v(I,1'ictlJili ehe vi oompai ono
e qlljndi cho ji "ogno '1 o ji t;imbolo .Ii 1IIIa rclazi ol/ c, della
tJl1:11 0 le (J) (11) t'nunei:1l1o du.c vrOlwielil.
. Orn., si tmtt,a. di trovnl'e aUrc pt'opl'irlir di (, od osta rcln
zionc, cin.scuna !loll o qun.li sa conscg1!cl/ zn illOlllHt[Jnabile di
q\wll o dnc.
E eio senza. l'i con or e rt i Ii ti m OIli di el i 1' 0 (da. 0 11 i, !l0l' 0 11 i,
per cio, qnindi, sicellt), e ohi:tI'o ti nt:l1Iirost.tI o (lnl(,>1o ud Oy\'o
oil evidonte che, ecc.), i qurtli velano U m.isl cro (nppal' eutemeut.e
g nosoologico o ps ieologico, llonche IIlllltifol'lIIp) cite intendo
svclatc.
(l. Per ql1n.nto ho dcUo del le v(winbili (; 21. le woprietr'r. dei
simboU ROllO i ntliJ)(''I/(lenli cla.1I1\. .w;rUn 1/I{nl}('lim "dio 'I'I/I'iabili
adopo.l'a.Lo pOl' olllllwiarl o; ciou: I'ltillllt]II U I'III cl/.1l1ldrrnw (1
8CG,mbia.nte, pl1l'(,he, clm' IIIH\I1C (ill 1/.1W slcssrr. 1Il'OJlriellt)
I',!/ua.li o divel'se.
Oosl f:wemlo, :lllzi ch u UlUl nI/ova. JJI'o/lI'ielir , uUit\lI l' /tu
nnovo c' l/. llcin /.o dolla sl esso, lwo/lI ie/.ir ..
A.I <'''' ., 11' (11 i r l/.1/.llcial' ll oll1'i-lI/c/lli. eo"l:
(1) UD? OlJ
(2) HA '? (' li:F cm, a 11 01': \ (! f) '? A U.

.1. ,
St.;;j ",
' .
Come si dcdu.cc
::fttr r; V.< . , ",
Inltre, quallto ho ueUo dalle vOl"iabili 2) cansen/e che,
Ir" r '\1''<(
:"':' neUt (1I), E e O rappresentillo ww sfesso individtw o smil
.. F e D, cioe cousente ' che nd E ea 17' fli sostitniswuo .
\..J ;
',\' O e D, ottenendo:
' , , '
. ,
> (3) se AB '? OD OD'IOD, allora OD '1 BA,
, ,
;
Senonche, mentro dalla. (2) si pllO l'itol'llCfl'e a,lJa. (U), iave/'
tendo ogui cambio o scambio di varin,bili, invece dalla (3) non
,'"si pUQ rit0l'1ta1'e :-t,lla (1I), essemlo impossibile distin[lnere nclln (3)
lluovl.dai 1'ecchi OD,
di codesta non inverlibilit, al17:iche tlll altl'o
della (U), la (3) enulIcia tm' (fUm. pl'Opriet, <leila re

di cni mi sto ,occupando,
' Ma l,a ' seconda premessa della (3), chc Ilella (U) cra 1\1/a
imposta aIle 1'ariahili O, D, R, 17' ( 4), fl di veul,ata
': 'Ja nota jroprielit. (1) e percio sttpel'flna. .
. -' :'}! (illsieme col smbolo lo[/ico di con[/iul1ziollll:
:: e ;), ' l\sulta:
." (UI) j;;'t r se AB'I OD, allorn OD'I BA
lo scambio di A con O e di Bcon D,
, ,
_ o1'1'e1'o, con
.:'". : '. :!
; (4) , ,
so OD'I AB, aHora AB'I DO
;'.,' ..
. ...
" Per rammelltare il modo in cui abbiamo ottenuto la, (UJ),
l' clil'em che l' abbiamo dedolta dalla (1I), mediante l' dcntifiw
''' :done di' OD con EF e la cancellazione della (1).
, .: '. -!
8. Similmente, a OD ,sostitnellc1o AB Ilella (IU), cssa. di
':. venta.: "
, " ". -, .
AB'lAB, allorn AB1BA . .
P:ipptesi della (5), cho nella (IU) era Wta condizone '
,J. impos,taalle variabili A, 'B, O, D, e diventata, la nota. propl'ief.a (l)
",l,. ,',o )' '.... 't?1.
: t : percio
Oancellandola (insieme col smbolo logico rl'illlplicaziiJne, co
.: ,stitnito dalle pal'ole se .. " allora, ), risnhn: /
I
,' (IV) AB '1 BA,
-' ,
. '
!
\
C01ll" si deduce !lHt
La (IV) L' sLala dp'oftn clnlla (JH). Illl'diallll' l' dcl/ltica
ziol1e di OD COII A/J C l(l c(/'//ccllazio1/c tll'lla (l).
H. Jjn (1) (IV) n.Ul'ihlliseollo al simbolu ({ ? du.e PI'OlJ1'iet
rlivcJ'se. l\I:1. clL avessc soltanto lo scopo di ginngcrc alla, (IV),
potl'ebbc dcdu,1'lcr dirc!tn!/Jwnlc da.lla. (TI), Ill cd ia.ul,c ln sillmltanen,
identificazione (li on e di EF con AE (1 la, caJ/.c.ellazione de \la (1)
e perciil di tnttn. l' illOfesi. JIfa la (1I1), nella forllla (4), con8('n
t,il';\, Hna cancelln,zione nella, derlnzione Ilolln IV t) .
10. l'ratt.allto, dalla, (2). JII Clliante l' idenlificoziolle di con
AH () la cancella:!one della (G), e/educo che
(VI A 11 ./ eD, a 1101'11 OD'l JI. /1
0\'\'1'1'0, !HI1I lo di O 1'011 .n,
(7) An'? DO, a.lJOI'a. DO'? AB.
11. Ed ecco svclato il '/nistcl'O:
({ c iascllna dednzione cons isto in nn' intcJ']!J'cta.ziol1e delte
variabil (a.lcIIIIP o 1,l1tl.ol ndopcml:o in 1.1.11((, Il1"oJwietit, 110tO: (da
me chiall1ata la, /l/o.f1'ir;e llolla dcdllzionc) o \I olla successiva
canceUazione ll'ogni cOl/.dizione delta moldee, e ho aia diycnlata
nJl.a. pl'opl'ietit, 1/01((.,
Vollltamcllte (por llv il.a,l'o orn i yaniloluio I'ilosllr ico), non ho
dl'tl:o lll'oprieta vera., ma. pl'opliotil. nota., cio!'! precedente nclla
teorin 8tcssa (come l1cgli csell1pi dati sin IJl1i) O"YCl'O appa1'
t. encnte (Id aUra, teora, ln cu conosccnzn sio, p/'csupposta (COII' C
negli oSClIlpi scgnentij,
Ad os., in lllm f('.o/''n in elli nompaia 1J11n11\hl\ smbolo spol;.
tanto nlla JllecuaJliua., dunl 1101a. ngni lI/'ol'l'ie/{', (cn
accarla di l'COl'L'I)I'O) cloi 8lll71Oli flpottanti nlla Loginfl., all' Arit
mctica ed :lila Gllo lll ol;ria. .
In pn.l'ticolal'c, poidll'l stialllo cORtnwlIllo la teol'a !l ol Rm
bolo '1 ", ch' O esl/'aneo cr.lla Logica il), 11("'0 cOllsidemrsi
nota ogn{ lJ1'OlJl'icl" flu si'lnboli loglc.
Inoltl'c, c uiamo inlc/'Jl1'clcrzione d' 111m yal'inhilo dolla. lila
trie e I;a nl:o la SWI i'cntificazio1/.c (JOIl a.ltm vn1"in./ile dell:t
mntl'ice stcssa. (eollll' IIl'gli OROlllpi da.ti f'\in IJlli), qllnlll:o la
Rostitnzione nd ORKa fU nJl.rt qncr.lnnque scrilt lll'(I. . 110t(l. {eiO!1:

'; , 12. Pub sembrare inverosimile chc 1'ogionanwnti ocnti e
.; riposti, i qnali llaullo richiesto l' intuizionc p/'econ'U1'ice e In
;' genictle metodicit di intellctli sovmni, siano riclucibili ad nu
,. a,ntomq.tismo cosl semplice da potcr essere sPgu,ito da ogni pCI'
sona ateenta.
Eppure, non v' e dimost1'azione, per 'luant,o o COII1'
plicata, che, pnzi entomento analizzata, nou si lasci ridllrro ad
,;" 'If,1la su.cce8sioue finita di dednzioni, ciascuna clolle quali del
,f,' tipo da me preoisato,
... -..,iJ C!lSl dicendo, non contesto che (por riusciro recondo.) ln duo
plice ' sceUa, delle matrici e delle inte11J1'eiazioni deUe variabili,
esiga fantasia Ma., quel ch' e essenzin.l e, l' esccu .
{! zione, anziche consenso, clliede s'oltanto dili[jenza .
. ,' Se, cosl oplJ1'ando, un auto1'e commeUe 'lualche errare ml
". un leltore lo riJev<l., l' autore <lnziche contrappOlTl' 1t1la divc/'
genza di opinioni, e costretto a ricolloscere la propl'ia distra
'
';: S<iltant cosi, viene raggiunta l' inoppll[jnnbilit dei 1'agio
:': . namenti ltuspicata da, LEIBNIZ .
. ' ;,', ]3. Ed ora (per completare l' esemplifi cazione di qultlll;o ho
\;;. de.tto), .supposto che u, v, 1V rappresontillo condizioni, nSSlllllO
qiul.le matrice la seguento pl'op/'ieta logica (abitua.lmellto chia
sillogismo) :
.'
o
;t.> (9) ' se n implica vese v impli ca 1V, alIora n impli ca w,
...
\ o
'tl'l", .' Ad u, v, 1V sostituendo rispettivainente le condizioni .
. . .
i
AB'lOn on '1 AB AB'lnO
,- ,
..;. 00
, .' e cancellCt1ido l' ipotesi, le 8no preme8se SOliO di vontato
(V) e
80 AlJ 'IOn, allora AlJ '? D,
E': (VI) " .
"Ecl ; llor -dalla (9), ad u, v, 1V sostitnellllo invcce ,/
f.' . <
l' ipotesi, perche l e suc premesso SOllO diyeutato
:. la. : (VI) o la (7), si deduce che:
,
(Vm
so AB '1 OD alIora, DO '/ AB
',. o
.l J'
Oome si dr: dnce 233
ovve1'o, con a ]t.1'e v:\.riabili ,
( 10)
se lE]!'? lA, allora A131 E'F.
lnfillo, (1nl1n. (D), ad 1/.. V, 1V sosl,il,ul'udo
"AR?On o eTiITW' JiJP"lBA. A1J?lW
o ca.ncetlanrTo l' ilJOle.si, percho le fHIO ]1renwsse ROllO divel1taLe
la. (n) o la (10), deduce ehe:
(VIU) He AD'I OD f! OD '1 lEP, allora 11]] '1 lEF.
14. Le (1) ... (VIlI) eostituiscouo Ullfl breY(,lcorin deduUiva ,
della quale mi ROllO giovflto por {ol"llirc 1tn'applicazione del
melodo esposto.
ERsn. priva di rlc/il/.izioni.
La clct.sse c ui appartellgollo A., D, 0, n, liJ, .Ji' 2) ed il segno
'1 ( 3) ne sou o i silJlboli p1"mitivi.
Le (r) (n) ue sono i poslnlati e le (111) ... ,"VIII) ne SOllO i
teoremi.
Rssa dice 80ltfl nl,o che: i leoremi .sano COI/8Pg/./el1za, de po-
slnlali.
Il 80ggiuugeJ' e " 1wcess((1'ia, , dopo COIlSl'gnAuzn , 81lrebbe
plcOIwslico.
Accettnto il preciso significalo lla me a.l.tribllito alla. parola .
dednrre (e rllindi .ti RIlOi l1el'ivati grnmuJat.icali), lIon \) piil
lecHo (lire invecc (come usa) che" i t;eoremi si deducollo (\ai
postlllati .
In [atti, nulla. e stat,o dedotlo dalla (1). lHa. l' en1f,ncia1"lq. 1m
servito a poterln. poi considernre r1If1.le " ]ll"opl'ieth nota , lPr .
le Oppol"tllue calleellfl.ziol1i nelle Sil el'('RRiV(' dedllzioui
dalla (11) o dalla. (ITI), elw JlallllO genel"nt,n lo
(IlI) (IV).
No sIJI/I.)I/"e .110 dcdotlo da.lla. (11). AlI os. lo (VI) (Vll1 (Vllt)
enrono tlltl;(J (lalla. (!J). B la. (U) ha Ron' itu '1ulllo Pl"o,
prieta not,a per la SI1a. callcollaziolle 111'1Ia. dPl111ziol1c
che ha. goneral,o la (VIU).
15. Ed ancora: i filosofi nsallO diro ello si rlcdll(: e al-
lorehe si procedo dar [/cncrale al lJa1"licola1"c .
Cine alcllni, por cltinrimento) allorellB " lll1a
\
Come si deduce
jJropl'ieta 'di cictsctm illClividllo ll' una cl((ssc "i oll!' :ll.tl'ilJllita. :1(1
,: uno di essi ov"ero a ciascun individuo tl'ulla cl(tsse in flu ella.
.', contenuta. "
', '\.i Sennche, la prima affermazioll o si paJ esa {alsa., flllalol'a
,
1", si ' aeeetti codcsto pret cso chiarimen.l. o . lllfn I,ti , :u1 l' R" El! ,
'CLIDE (con ?Ietodo derlultivo inoPllU.gnabile, ehc si lasciu ana
lii,zare. nel modo da. me, prec;ato) procede dalle 1n'ol/riel(( dBi
'ria.ngoli q,Ue proprie(a dei poligoni: i\ che, ser olldo i I oi t:tI,o
chiarimonto , snrobbo invece w/. lll'ocedcrc dal
,.:,.al; genemk. '
:-';<:': Per eontro, il mio chiarimellt.o ( 11) fornis ce un' illspe
'\',: ratit giustifica.zione della eitata afformazione c1ei filosofi :
iXJe'rche' ogni , intel'peta.zione d' una va.l'aUle (si a puro sol btJI to
. I
," la', sua , identificMione ad aItra variabiJ e) la palticold./izZct .
.
16. InoItre, da quauto ho c1etto segne immedirtt,amente ehe:
:,: nulla si deduce da ttn disco/'so privo di variabili.
',' Cio ' eontrastfl :11\' uso consueto dell a parola derllll'l' e .
. :;" Ad os., comuncmcnte si dice ehe da
,"
;"' (11)
7 e un numoro primo
si deduce che :
;. (12) vi e almeno un numero primo.
U" :"i
>
. : ." Invece; io dico: dalla propl'ieta dei simboli log'ei
.?:-. . .
',' ,l3) se x e un (individuo appartenente ad) a" aHora vi o al
'! ;'
,'::< meno un (individuo appartellente ad) (("
,!ir .. _ "
" ,sqstitundo trispettivamento 7 e numero primo ad x ed a.
, , e,' poi ca.ncellando l'ipotesi, porcho divenLa la. (11), si deduce
la l(12).
-;;: Chiarito eio, SOggllllgO sorridenclo che non SOllO cosl prc
od ingonuo !la pretendere o spel'al' p. cho il Icttol' o /110'
", ,difichi a modo mio il lillguaggio che gli u consneto: mi basl;;t
" gli appaia giustifi cato il mio mocl o di eS)1l'imern i.
! ..
;.c:;' Mediante la teoria s volta del si m bolo '1 , l l(J itore TI((,
', .sperimentato in se la veriti1 dell' affermazione di B. H USSJiJI ,J,
, <
.' .(ironicamente accol ta da chi non l' ha capitn.) che ! )ler se[luil' c
..... 1'.
.
.. " ';
(}ame si rlCrllwC 2H5
lo srol[li/I/eIIlo d' 1I/11r ('ora r/r'r/nlfitm. 11011- ot'eO/Te sal/ere di
ehe si parla (po I'cJ i' igllul'a !]lInlo Hia la, Cl(ISSe cu ltppar
t. c ngollu A, B, e, J), R, F) nc qnrl che se l1 e dice (por che ogli
igllora, qua,lo sia 1((, ,-r1(/ziol1" dal simuolo ? .).
Ma , sOggillllgO: all,l'o i, NCfJuirr' ecl aHl'o IJ cNcoflita,rc.
Arrillchil la. leorirr 11011 Ilusoria, l' :1.\1 tOl'O dove JIre
slo/ilir('. almeno un sist"InCt di si!Jnificrrli dei 8iH/boli primitivi,
clw veri/icld il sistema, dr' postnlali, cliJllostl'andullo cosl ln 'mutua,
cO/Jlpa I i[itilir.
E di cil) l' alltor" cll'l'o cOllvincc/'1l il lottol'l', Il\ediallte cans
dll/'azioni cslnr:/1,ee a ita, tcoria stcssa, come lU i ap prcsl:o a faro.
1 S. A I'CVO lwes(abililo cho la, classe olli ap)lartongollo A, B,
e, D, E, F ( 2) '1uella doi pnnti (cioo lo s}/azio ) ocho,
A essl' lHlo rlisliulo do n, In scril:Lllrn 41
( 14) Al1? eD
significhi (e qllilHli si logga):
la coppia A, n o fms[el'i1Jile \1 cl];, f'oppia e, TJ .
Quincli, ad SI' J/ Il n SOliO (/rc vc-(,iei d'nn cnlJO o so,
nwtlianto uno sj1ostamcnto di cubo, A p 13 vengollo a.
coincidere ris[let,t,inl1lll'l1to COll e o D, tal fallo ri s lIlIa rll111/.cialo
dalla. (141.
Ora, pnb darRi che uno s]lostam,euto del en ho J'icolI(lllca, A
e n a, coincidei-e eon so stessi, risultando vera la. (1) .
.E ' mo darsi inv<>ec che WIO sposlmnento dPl enbo Ria ta.le
dn, lras[el'ire sllcc<>ssivamente A o 13 in e e D (' poi in E eel F
e finrlmll nte ill 13 0(1 A, l'iRu1tando ve/'n la 1111.
19. In tal moilu, l' esemllio del Come si deduce? o divcll.
t,nl;r, 1/,1/0 teoria. reometrica , non privr, d' illlpor]:;l1Iza melodolo
giea (all"ol'eho 11011 ditlalfica): 111)1'1'110 pifl (,1'01/OII/icrr (1,,]](' eOll
suele, ri " pel,to ni simboli z,.,.imitiui NI. ai }IOSI1rt((fi.
Anzitlltto, da scritt.i nOll l'ocent i di O. Ili M. l'umr
l' lIliei (chp VOITP :l,vel'C il k,m]lo di l'ill\"(' J'Ilil'l'), l'i,,"lta. che
o{Jni aUro sill/./lOlo [eom,e/rico 1: del/ibilc medial1fr i d11C qni
assunH qua,u p1'illlilivi: mnlll;J'n nhil,u:dlllonh!, oUrc od c8si,
236
.1 , .
e Qme si dedlwe
vengqllo almeno altTi due simholi primitivi: le p/trol "
' .
r('-tta e piano (1) .
.' . ' o . .
. Inoltre, dopo aver postulcda la (11, come usa, e risulta:tO,:
sufficiente postnlare la (III per far cliventare te01'em'i le (IV), .:.
(V), VIII), che abitualmente vengono tntte postulate (con rife- o
. rimento a segmenti, anziche semplicemente a coppie di p1.mti).
ALESSANDRO P ADOA t
(1) Le quali definisco co.si:
Se A e B so.no. punti distinti, aHo.ra
la retta AB
e l' insieme dei punti tali che. designando.ne uno. qualunque co.n X, no.n
esiste alcun punto. Y distinto. da X, tale che
AXL4.Y ., e BX1BY.,
Se ino.ltre e e un punto non appart ellellt e alla r etta AB. aliara
il piano ABC
e l' insieme dei punti tali che, designandone uno qualunque con X, non
esiste alcun punto Y distinto da X, tale che
. AX?AY., , BX ? BY .,
(A. PADOA: Un nouveatt systeme ele dfinitioHs p01W la. Gomt.,.ie 11c1-i
dielllle, Congres international eles Mathmaticiells . Paris, 1900).
I

Potrebbero piacerti anche