""""PROBLEMAS DE UMA SEMANTICA PARA A LOGICA INTUICIONISTA DE PRIMEIRA ORDEM"""".

NESTA TESE INTENTAMOS EXAMINAR AS DIFICULDADES QUE SURGEM NO INTENTO DE EDIFICAR UMA TEORIA SEMANTICA PARA A LOGICA INTUICIONISTA DE PRIMEIRA ORDEM, QUE SEJA ELA MESMA INTUICIONISTICAMENTE ACEITAVEL. INTENTAMOS CARACTERIZAR UMA TEORIA SEMANTICA IDEAL PARA A LOGICA INTUICIONISTA, E COMPARAR COM ESTE IDEAL AS TEORIAS USUALMENTE PROPOSTAS. NOSSA INVESTIGACAO TERA ASSIM UM CARATER NORMATIVO, DESCRITIVO, E VALORATIVO, DESD E QUE NOS ENFRENTAREMOS COM AS SEGUINTES QUESTOES: I) QUAL DEVE SER O OBJETIVO DE UMA TEORIA SEMANTICA, II) QUE RESTRICOES DEVEMOS POR SOBRE SEUS ESQUEMAS DE INFERENCIA E SOBRE SEUS CONCEITOS PARA QUE PODA SER NADAS INTUICOES FILOSOFICAS, IV) SE AS TEORIAS PROPOSTAS FUNDAMENTAM A PRATICA DE MATEMATICA INTUICIONISTA, ISTO E, SE ELAS DAO UMA EXPLICACAO DE PORQUE DEVEMOS RAZOAR INTUICIONISTICAMENTE. A TESE TEM UMA INTRO DUCAO, CINCO CAPITULOS E CONCLUSAO. NO CAPITULO 1 DISCUTIREMOS QUAIS SAO AS CARACTERISTICAS QUE DEVEM SEREM APRESENTADAS POR UMA TEORIA SEMANTICA PARA A OGICA INTUICIONISTA. NO CAPITULO 2 EXPOREMOS AS TEORIAS U SUAIS PARA A LOGICA PROPOSICIONAL INTUICIONISTA. AQUI PROCURAMOS QUE A METATEORIA SEJA ELA MESMA INTUICIONISTICAMENTE ACEITAVEL ............