Sobre la interpretación de la negación intuicionista

JAVIER LEGRIS

Santa Maria, RS, Brasil

Simposio; XI Coloquio Conesul de Filosofia das Ciencias Formais – “Negaçao”,; 2007

PROCAD - UFSM

Debido al rechazo del principio de tercero excluido, la interpretación de la negación fue desde el comienzo fundamental para el desarrollo de la lógica intuicionista. Brouwer recurrió a los conceptos de absurdo y contradicción para elucidar su idea de la negación. Esta elucidación está de algún  modo presente en toda la evolución posterior de la lógica intuicionista. En este trabajo me ocuparé en primer lugar la interpretación de la negación que hacen Arendt Heyting y Oskar Becker a partir de las ideas originales de Brouwer y mostraré los problemas ontológicos que surgen de esta interpretación. En segundo lugar, vincularé estos problemas con la crítica que G.F.C. Griss hace al concepto brouweriano de negación.