OS FUNDAMENTOS DE UMA LOGICA ELEMENTAR PURA

PRETENDE-SE FUNDAMENTAR UMA LOGICA ELEMENTAR PURA (""""LIVRE"""" DE SUPOSTOSEXISTENCIAIS) NAS IDEIAS DE SUBSTITUIBILIDADE) NAS IDEIAS DE SUBSTITUIBILIDADE E EXISTENCIA. A SUBSTITUIBILIDADE E A POSSIBILIDADE EXPLICITA DE AS VARIAVEIS (TANTO PREDICATIVAS QUANTO INDIVIDUAIS) SEREM SUBSTITUIDAS POR QUALQUER INSTANCIA DE SUA MESMA NATUREZA. ESSA EXPLICITACAO SE FAZ JMEDIANTE A ASSERCAO ESPECIFICA (OU PRE-GENERALIZACAO). A SUBSTI TUIBILIDADE DE UMA VARIAVEL INDIVIDUAL PERMITE A SUA SUBSTITUICAO POR QUALQUER INSTANCIA QUER EXISTENTE QUER INEXISTENTE. A EXISTENCIA E CONSIDERADA UMA CONSTANTE PREDICATIVA MONADICA. ESSAS DUAS IDEIAS PERMITE ORRENTES EM UMA FORMULA: A DA IDENTIDADE DE INDIVIDUOS COMO A AFIRMACAO DA SUBSTITUIBILIDADE DE UMA VARIAVEL PREDICATIVA ATRIBUIDA AOS IDENTICOS; E A DA GENERALIZACAO DE VARIAVEL INDIVIDUAL COMO A AFIRMACAO DA SUBSTITUIBILIDADE DESSA VARIAVEL POR INSTANCIA INDIVIDUAL SE EXISTENTEOS POSTULADOS GERAIS DESSA LOGICA SAO OS DA SENTENCIAL: SUBSTITUICAO,INTERCAMBIO POR DEFINICAO, SEPARACAO, IDEMPOTENCIA, ADICAO, COMUTACAO E SOMACAO. OS POSTULADOS ESPECIFICOS PARA ESSA LOGICA SAO: INTRODUCAO, DISTRIBUICAO E VACUIDADE DA ASSERCAO ESPECIFICA.