===== FORMAL =====
(in. Formal; fr. Formel; al. Formal; it. Formalé).

1. Em [[lexico:c:correspondencia|correspondência]] com o primeiro [[lexico:s:significado|significado]] de [[lexico:f:forma|forma]]: aquilo que pertence à [[lexico:e:essencia|essência]] ou [[lexico:s:substancia|substância]] da [[lexico:c:coisa|coisa]], por isso [[lexico:e:essencial|essencial]], [[lexico:s:substancial|substancial]], [[lexico:a:atual|atual]]. Nesse [[lexico:s:sentido|sentido]] essa [[lexico:p:palavra|palavra]] foi empregada pelos escolásticos, por [[lexico:d:descartes|Descartes]] (Méd., III, II Réponses, def. IV) e por [[lexico:s:spinoza|Spinoza]] (Et., II, 8). A esta [[lexico:s:significacao|significação]] refere-se também o [[lexico:u:uso|uso]] que Duns Scot faz do [[lexico:t:termo|termo]] nas expressões "[[lexico:d:distincao|distinção]] formal" ou "[[lexico:r:razao|razão]] formal". Distinção formal é uma distinção de essência ou [[lexico:n:natureza|natureza]], mas sem implicar [[lexico:s:separacao|separação]] numérica: ela intercede, p. ex., entre a natureza comum e a [[lexico:i:individualidade|individualidade]] das [[lexico:c:coisas|coisas]] ou entre as várias perfeições de [[lexico:d:deus|Deus]] (Op. Ox., I, d. 8, q. 4, n. 17).

2. Em correspondência com o segundo significado de forma: o que pertence a uma [[lexico:r:relacao|relação]] generalizável ou então à [[lexico:o:ordem|ordem]] ou coordenação das partes. Nesse sentido, essa palavra é empregada na [[lexico:l:logica|lógica]], na [[lexico:m:matematica|matemática]] [[lexico:m:moderna|moderna]] e na [[lexico:e:estetica|estética]].

Em lógica [[lexico:e:esse|esse]] termo foi amplamente utilizado num sentido intuitivamente claro, mas nunca determinado completamente. Na lógica medieval, formalis tem a significação fundamental de "inerente à forma", portanto "essencial", mas também — por conseguinte — "[[lexico:u:universal|universal]]", "válido para [[lexico:t:todo|todo]] conteúdo [[lexico:e:empirico|empírico]] [[lexico:r:relativo|relativo]] a certa forma"; por esta razão, como última significação, "[[lexico:i:independente|independente]] da natureza empírica dos conteúdos". Foi com esse sentido que esse termo passou para a lógica moderna e contemporânea: a partir de [[lexico:l:leibniz|Leibniz]], os termos "forma" (p. ex., os arguments en forme na [[lexico:t:terminologia|terminologia]] leibniziana) e "formal" indicam certos esquemas, fórmulas, etc, em que os termos descritivos são substituídos por [[lexico:s:simbolos|símbolos]] ("variáveis"), e portanto as propriedades, as [[lexico:r:relacoes|relações]], as consequências, etc, do [[lexico:e:esquema|esquema]] ou [[lexico:f:formula|fórmula]] vigoram independentemente de qualquer [[lexico:p:possivel|possível]] [[lexico:d:designacao|designação]] dos termos significativos nela presentes.

3. Em correspondência com o [[lexico:t:terceiro|terceiro]] significado da palavra "forma": aquilo que pertence ao procedimento, seja legal, de etiqueta, etc.