===== SISTEMA FORMAL =====
Utilizando uma [[lexico:t:terminologia:start|terminologia]] oriunda de Curry, poderíamos dizer que o [[lexico:s:simbolismo:start|simbolismo]] [[lexico:f:formal:start|formal]] fornece a [[lexico:a:apresentacao:start|apresentação]] dos sistemas formais. Um [[lexico:s:sistema-formal:start|sistema formal]] é uma [[lexico:r:realidade:start|realidade]] de [[lexico:o:ordem:start|ordem]] [[lexico:i:ideal:start|ideal]]. Para dele falarmos, para comunicarmos informações a seu [[lexico:r:respeito:start|respeito]], é preciso torná-lo apreensível através de um grafismo [[lexico:a:apropriado:start|apropriado]]. Os [[lexico:s:simbolos:start|símbolos]] formais têm por única [[lexico:f:funcao:start|função]] tornar assim acessível os sistemas formais numa apresentação determinada; esta, é claro, tem um [[lexico:c:carater:start|caráter]] totalmente [[lexico:c:contingente:start|contingente]] e convencional. Ademais, é preciso distinguir o [[lexico:t:termo:start|termo]] "apresentação" do termo "[[lexico:r:representacao:start|representação]]" e do termo "[[lexico:i:interpretacao:start|interpretação]]". Uma apresentação de um [[lexico:s:sistema:start|sistema]] é um conjunto de símbolos, por [[lexico:m:meio:start|meio]] dos quais o sistema é formulado. Uma representação de um sistema é um conjunto de entidades de que se afirmam as propriedades e [[lexico:r:relacoes:start|relações]] expressas pelas [[lexico:s:sentencas:start|sentenças]] verdadeiras do sistema. E uma interpretação de um sistema é uma [[lexico:c:correspondencia:start|correspondência]] entre as sentenças do sistema e enunciados [[lexico:r:relativos:start|relativos]] a um domínio de entidades determinadas (enunciados pelos quais obtêm-se critérios de [[lexico:v:verdade:start|verdade]] [[lexico:b:bem:start|Bem]] estabelecidos), de tal [[lexico:m:modo:start|modo]] que todas as sentenças verdadeiras do sistema se acham assim associadas a enunciados verdadeiros. (Consideremos, por [[lexico:e:exemplo:start|exemplo]], um sistema formal, exprimindo a [[lexico:t:teoria:start|teoria]] da [[lexico:r:relacao:start|relação]] de ordenação. Às sentenças deste sistema podemos fazer corresponder enunciados da [[lexico:a:aritmetica:start|aritmética]] ordinária, associando a uma [[lexico:s:sentenca:start|sentença]] elementar do [[lexico:t:tipo:start|tipo]] "O [[lexico:o:objeto:start|objeto]] [[lexico:i:indeterminado:start|indeterminado]] x está em relação R com o objeto indeterminado y" (sendo R o [[lexico:s:simbolo:start|símbolo]] que designa a relação de ordenação), o [[lexico:e:enunciado:start|enunciado]] aritmético "O [[lexico:n:numero:start|número]] inteiro a é menor que o número inteiro b". Em tal correspondência, todas as sentenças verdadeiras da teoria da relação ordinal tornam-se enunciados aritméticos verdadeiros). Como diz Curry, um sistema formal deve [[lexico:s:ser:start|ser]] considerado como a [[lexico:a:abstracao:start|abstração]] de suas apresentações, de suas representações e de suas interpretações.

Vide [[lexico:l:linguagem:start|linguagem]] [[lexico:n:natural:start|natural]] e artificial, [[lexico:l:linguagem-formal:start|linguagem formal]]

Utilizando uma terminologia oriunda de Curry, poderíamos dizer que o simbolismo formal fornece a apresentação dos sistemas formais. Um sistema formal é uma realidade de ordem ideal. Para dele falarmos, para comunicarmos informações a seu respeito, é preciso torná-lo apreensível através de um grafismo apropriado. Os símbolos formais têm por única função tornar assim acessível os sistemas formais numa apresentação determinada; esta, é claro, tem um caráter totalmente contingente e convencional. Ademais, é preciso distinguir o termo "apresentação" do termo "representação" e do termo "interpretação". Uma apresentação de um sistema é um conjunto de símbolos, por meio dos quais o sistema é formulado. Uma representação de um sistema é um conjunto de entidades de que se afirmam as propriedades e relações expressas pelas sentenças verdadeiras do sistema. E uma interpretação de um sistema é uma correspondência entre as sentenças do sistema e enunciados relativos a um domínio de entidades determinadas (enunciados pelos quais obtêm-se critérios de verdade bem estabelecidos), de tal modo que todas as sentenças verdadeiras do sistema se acham assim associadas a enunciados verdadeiros. (Consideremos, por exemplo, um sistema formal, exprimindo a teoria da relação de ordenação. Às sentenças deste sistema podemos fazer corresponder enunciados da aritmética ordinária, associando a uma sentença elementar do tipo "O objeto indeterminado x está em relação R com o objeto indeterminado y" (sendo R o símbolo que designa a relação de ordenação), o enunciado aritmético "O número inteiro a é menor que o número inteiro b". Em tal correspondência, todas as sentenças verdadeiras da teoria da relação ordinal tornam-se enunciados aritméticos verdadeiros). Como diz Curry, um sistema formal deve ser considerado como a abstração de suas apresentações, de suas representações e de suas interpretações.

De certo modo, poder-se-ia dizer que [[lexico:n:nao:start|não]] há [[lexico:c:conceitos:start|conceitos]] (v. [[lexico:c:conceito:start|conceito]]) em um sistema formal [[lexico:p:puro:start|puro]], isto é, em uma teoria inteiramente formalizada. Mas tal sistema será inutilizável se não se conhecer sua metateoria. De [[lexico:f:fato:start|fato]], é a metateoria de um sistema formal que nos explica como funciona o sistema, qual é, por exemplo, o tipo de [[lexico:d:deducao:start|dedução]] que ele autoriza; do mesmo modo, é a metateoria que nos indica quais as interpretações possíveis do sistema e, daí, quais as [[lexico:s:significacoes:start|significações]] que podemos vincular às expressões do sistema. Ora, no [[lexico:e:estudo:start|estudo]] metateórico de um sistema, devemos introduzir conceitos que representam as entidades constitutivas do sistema (símbolos, expressões complexas, regras, figuras de dedução, etc), e suas propriedades. Assim, a não-contradição de um sistema ([[lexico:i:impossibilidade:start|impossibilidade]] de deduzir, no sistema, quaisquer sentenças) é uma [[lexico:p:propriedade:start|propriedade]] metateórica; esta propriedade é representada por um conceito de [[lexico:n:natureza:start|natureza]] metateórica.

Por [[lexico:o:outro:start|outro]] lado, um sistema formal é praticamente desprovido de [[lexico:i:interesse:start|interesse]] enquanto não for interpretado. Toda interpretação de um sistema o coloca em relação com certo domínio de objetos, reais ou ideais. Os enunciados relativos a estes domínios se exprimem por meio de conceitos. Na maioria dos casos, para os sistemas formais até hoje estudados, as interpretações se referem a domínios lógicos ou matemáticos. Os conceitos que servem para caracterizar tais domínios referem-se a entidades ideais. No caso da [[lexico:l:logica:start|lógica]], trata-se do [[lexico:d:discurso:start|discurso]] e das diferentes formas de [[lexico:r:raciocinio:start|raciocínio]]. No caso das matemáticas, trata-se dos objetos ideais de que se ocupam precisamente as disciplinas matemáticas: números, conjuntos, estruturas algébricas, espaços, e assim por diante.

O [[lexico:p:problema:start|problema]] que, a propósito dos conceitos, se coloca é o seguinte: deve-se dizer que os conceitos implicados nas disciplinas formais (quer se trate dos conceitos metateóricos ou dos conceitos lógicos e matemáticos que representam as expressões das linguagens formais puras) têm um papel simplesmente [[lexico:d:descritivo:start|descritivo]], ou pode-se admitir que tenham um poder [[lexico:e:explicativo:start|explicativo]]? Em certa [[lexico:m:medida:start|medida]] ao menos, parece efetivamente [[lexico:p:possivel:start|possível]] reconhecer-lhes uma [[lexico:f:forca:start|força]] explicativa. Assim, os conceitos da lógica combinatória explicam os paradoxos. Ora, os paradoxos são situações puramente lógicas que podem ser representadas em um [[lexico:f:formalismo:start|formalismo]]. A [[lexico:e:explicacao:start|explicação]] consiste, neste caso, em [[lexico:p:por:start|pôr]] em [[lexico:j:jogo:start|jogo]] um outro formalismo que, em relação ao primeiro, é fundador. (Mais exatamente, os conceitos lógicos que ela aciona podem ser representados em um formalismo apropriado, que esclarece as situações em que se produzem paradoxos.) Naturalmente, este formalismo explicativo pode, por sua vez, apresentar situações que geram contradições, tais como os paradoxos. Para analisar tais situações e eliminar a [[lexico:f:fonte:start|fonte]] do distúrbio, dever-se-á recorrer a um [[lexico:t:terceiro:start|terceiro]] nível [[lexico:t:teorico:start|teórico]], e assim por diante. [Ladrière][Ladrière]

{{indexmenu>.#1|skipns=/^playground|^wiki/ nsonly}}