Il piccolo Hans - anno VI - n. 22 - aprile-giugno 1979

sono false - salvo la proposizione - A, che lo dice» 17 • Il principio n1sse1iano del ciroolo vizioso v,a nello stesso senso: una proposizione che pada idi « tutte le propo­ sizioni », o non vuol dire nulla, o non .fa parte della - to­ talità delle proposizioni di cui parla. A questa tesi, i logici del XIV seoolo rispondono in gen e rale èol seguente argomento 18 : niente impedisce che qualcuno, ,se lo desidera, parli di tutte .Je proposizioni, passate, presenti e a v ,enire, compresa quel1a che enun­ cia al momento 19 ; una tale proposizione è ad un · tempo pensabi1e, enunciabile e compl'ensibi1e 20 • Dire che le proposizioni , riflessiv,e ,sono impossibili, è trarsi d'im­ paccio inv e ntando una regola arbitraria 21 , non è risol­ vere, e ,evital'e :il problema 22 ; in J1ealtà, non è raro che simHi proposizioni siano enunciate e comprese: così gli scettiid affermano che tutte 1e proposizioni s o no false, e questa affermazione ha un senso, dal momento che molti si applicano a confutarla, mostrando, sulle orme di Platone e di Aristotele, che, essendo riflessiva, cade essa stessa ,sotto i colpi che porta 23 • Quest'ultimo ar­ gomento, Io stesso di cui si serve Tommaso Bradwar­ dine contro i restrittori, è utiilizzato sei secoli ,più tardi da Alexandre · Koyré c o nitro quella nuova forma 1 di re­ strictio _ che è 1a <teoria dei tipi di Bertraind Rus , seH 24 • In b!'eve, la questione di sapeJ1e ,se una proposizione 1riflessiva ha o non ha un senso è unia questione di fatto, e non deve essere troncata da una decisione arbitraria. · Questo · punto riveste un'importa1I1za partk:olare nella nuova analisi, dove è ,abitudine contrapporre ,la descri­ zione del linguaggio ordinario, che è un compito empi­ dco, e la costruzione d'un linguaggio foJ1male, che im­ plica l'atto ,di decidere. Così si trova presso un pio:0:iiere della nuova anali,si la seguente presa ,di posizione in merito -al paradosso del Mentitore e alla sua solu­ zione arbitraria ad opera del rifiuto d'attribuire un senso alle proposizioni riflessive: « il camttere sensato 117