Axiomatizacao da teoria psicanalitica

1. A “Fórmula-padrão de desenvolvimento das neuroses” foi desenvolvida por Freud em 1895:
   1.1 No Rascunho K: neuroses de defesa – Vol. I – página 269, ele registrou quais são os axiomas lógico-psicanalíticos primitivos que fundamentam a Teoria Psicanalítica;
   1.2 Já na Carta 105 : Freud – Vol. I - página 329, Freud afirmou existir uma relação entre o sintoma primário (o inconsciente heterodoxo ) e o sintoma-compromisso.
   2 Finalidade de axiomatização da Teoria Psicanalítica
   Se for possível construir sua axiomatização lógico-matemática, a Psicanálise deixará de ser uma técnica e arte.

O presente livro é uma tentativa de axiomatização da Teoria dos sujeitos psíquicos (Tψ), cientificamente formalizada.
3.

O que é uma axiomatização
3.1 Axiomas ou premissas primitivas são afirmações (sentenças) verdadeiras que sustentam um conhecimento e fundam uma Teoria científica.

Já os teoremas dessa teoria, são afirmações também verdadeiras, já deduzidas dos axiomas ou premissas primitivas, através de algum processo lógico inferencial.

3.2 O número de sentenças verdadeiras da psicanálise é enorme.

A axiomatização da Tψ consiste em encontrar um pequeno conjunto dessas sentenças, supostamente verdadeiras (os axiomas primitivos), do qual se deduzem logicamente todas as outras sentenças (os teoremas).

Essas poucas sentenças, supostamente verdadeiras, constituem os axiomas ou premissas da teoria.

Já as muitas outras sentenças, as sentenças deduzidas dos axiomas primitivos ou das premissas, constituem as conclusões ou teoremas da teoria.
3.3 A axiomatização lógico-matemática de um conhecimento estabiliza e cientifica sua teoria, além de permitir sua modelagem computacional.
4.

Passo a passo da axiomatização
4.1 A axiomatização consistirá em obter-se o pequeno conjunto de afirmações psicanalíticas verdadeiras: os axiomas primitivos, presentes no desenvolvimento das neuroses, identificados por Freud (Rascunho K);
4.2 Desenvolver um algorítmo de cálculo lógico-matemático para a relação funcional existente entre o axioma primitivo e o sintoma-compromisso, descoberta por Freud (Carta 105);
4.3 Provar, através de procedimentos formais conhecidos (Regras lógicas de inferência), que a fórmula de cálculo aqui desenvolvida (teorema) é uma consequência lógica dos axiomas primitivos descobertos por Freud.

4.4 O teste de comprovação da axiomática consiste em demonstrar analíticamente alguns teoremas da Tψ, que já se saibam de antemão verdadeiros.