u~iyfrsjdad compjjute1~se be madrid 11 - Biblioteca Complutense

285verdad y de falsedad. El intenLo de dar una sol ución viable aesta clase de proposiciones obliga a los autores medievales arevisar las mismas nociones de verdad y de falsedad.La definición de verdad establecida por Aristóteles ensu Metafísica, 350 se contra en lo que posteriormente se haformulado como: adaeqaatie intelloctas et rol. Así, y en— eejemplo tipo propuesto por Tarski , la proposicion la nievees blanca ‘, es verdadera sí y solamente si, la nieve esblanca. Lo que en símbolos podemos expresar (siendop la pro—posición, ‘¡2 su nombre y l~ verdadero):Vp’ pEn correspondeusc ia la falsedad queda simbolizada:Estas definiciones aplicadasen ce ntacto con las proposicionesLes.Pongamos la proposición: Necno Hill) re de esa proposíc~on:sin mas, generan antinomiasreflexivas autofalsifican—est falsa = p, y sea ½‘ elp V’p’En ambos casos se llega a unacontradicción. Ante estecamino cerrado los lógicos medievales optan por revisar laymisma nooien aristotélica de verdadtratan de hallar unadefinición que pueda abarcar tantoa las reflexivas como alas no reflexivas. 3”2 Así, pe., Juan Buridano no admite en laCfr. Metafísica, IV, 7, lOllb 26.351 Esta organización simbólica os la que hace MIL. Reuno. Le traité...,p. 249, de las expresiones de A. Tarski, Tle somantic conception oftrath. .. , pp. 341—375. Esta misma cuestión la ha tratado la autoraen Logi que eL Métalogi que..., p. 246.352 Recordemos la solución aguda propuesta por ch Ockham, Samr»a Logione,III, que comenta Ph. Boehner del siguiente modo: résoad le problémedes insolubles par sa theonio de la suppositien ot sa distinction