Académique Documents
Professionnel Documents
Culture Documents
de morale
L'COLE DE VIENNE
AU CONGRS DE PRAGUE
et
en
p:
q:
p ? q
V V F F
V F V F
V V F V
).
est proposition
de S1
Sprache, p. 249.
Sprache, p. 257.
nom de l'Ecole de Varsovie. Dans sa communication, M. Lukasiewicz, aprs un bref historique du calcul des propositions,
noyau
de la logique gnrale , qu'il rattacha la dialectique stocienne
en contraste avec la logique des noms, fille d'Aristote, montra
l'importance de la distinction entre thse logique variable
positionnelle qui reste vraie pour toutes les valeurs des proments et rgle de conclusion qui permet d'affirmer unearguproposition partir d'une autre (rgle de substitution, Einsetzung,
rgle de sparation, Abtrennung) le vrai syllogisme d'Aristote
est une thse logique, le syllogisme traditionnel
un schma de
conclusion ne prsentant aucune implication. Grce cette distinction il est possible d'axiomatiser compltement le calcul des
propositions et surtout on est amen des gnralisations intressantes comme les logiques polyvalents dont M. Lukasiewicz fut
un des crateurs.
Une critique particulirement vigoureuse fut apporte
par
M. Roman Ingarden. Si l'on admet
que toute proposition est
tautologique ou physique, que son sens est l'ensemble des ou
procds utiliss pour la vrifier , les propositions mtalogiques
ne
pourront tre que des non-sens ou des contre-sens puisque leur
coordination avec des taches sur du papier ou des ondes
sonores
n'a rien voir avec ce qu'elles prtendent dire
II faut donc
distinguer entre vrificabilit d'une proposition et
son sens.
Comme le sens d'une proposition n'est rien de physique, il faut
reconnatre un domaine particulier la philosophie, si celle-ci
consiste dans l'analyse logique. On doit aussi accorder
que le donn
est connaissable et qu'il est possible de formuler sur lui des
propositions . En fait, on sait, d'aprs M. Carnap, que les propositions mtalogiquessont coordonnes des propositions arithmtiques ou physiques; resterait peut-tre prciser davantage la
signification de cette notion de coordination (qui n'est
pas
traduction puisque, avant elle, il n'y a pas de proposition une
syntaxique), notion qui intervient aussi pour la mise en rapport des
propositions physiques avec le concret vcu. L'abandon de la doctrine trop linaire de correspondance mathmatique telle
que la
prsentait Wittgenstein qui avait, d'ailleurs, comme corrlat
une mtaphysique de l'inexprimable que rejettent Carnap et Neu-
rath
rend peut-tre ncessaire une laboration plus approfondie dont le dbat rcent sur les protocoles (propositions
ren-
signe avant-
coureur
ber
1. Cf.
Pro-
trouvs confirms par la thorie des quanta et la relation d'indtermination d'Heisenberg. Toute la thorie de la science se
trouve donc domine par un certain principe d'induction, qui
permet galement l'axiomatisation complte du calcul des probabilits tel est le thme du prochain livre de M. Reichenbach. Il
est intressant de noter que la notion de Setzung exige une
extension de la logique ordinaire. En 1929, au premier Congrs
d'Erkenntnis, M. Carnap avait object qu'une proposition de cet
ordre, n'tant susceptibled'aucune espce de vrification, n'avait
pas sa place dans la langue. Depuis, M. Carnap en vint son
principe de tolrance et M. Reichenbach l'tablissement d'une
logique polyvalente. M. Zawirski a dvelopp ici mme', comme
il le reprit dans sa communication au Congrs, l'historique de
ces logiques, cres tout d'abord presque simultanment par
M. Lukasiewicz et M. Post. L'emploi des tableaux matriciels
avec les trois valeurs 0, 1/2, 1, permettait de dfinir rapidement
les principales oprations logiques
C1 =
1 = 1
J.
CAVAILLS.