Ante todo pido disculpas por este periodo de pausa en mi weblog,
pero motivos personales hicieron que debiera alejarme por un tiempo…
Retomando la temática que estábamos tratando, si bien la lógica intuicionista se obtiene de la lógica clásica dejando de lado el principio del tercero excluido, también se han propuesto otras lógicas, aunque ninguna ha tenido un impacto comparable sobre los fundamentos de la matemática. Se pueden mencionar a las lógicas multivaluadas o multivaloradas, que admiten un número finito de valores de verdad; a la lógica borrosa, con una relación de pertenencia imprecisa (aunque, paradójicamente, una relación de igualdad precisa); y a la lógica cuántica, donde la conjunción puede ser sólo parcialmente definida y la implicación puede no ser definida en absoluto. Quizá más importantes han sido las denominadas lógicas subestructurales en las que las propiedades habituales del símbolo de deducción se debilitan: la lógica de la relevancia es estudiada por los filósofos, la lógica lineal por los informáticos y una versión no conmutativa de ésta por los lingüistas.
He aquí algunos videos para explorarlas…
Blog de Matemática y TIC's 