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

1. Em [[lexico:c:correspondencia:start|correspondência]] com o primeiro [[lexico:s:significado:start|significado]] de [[lexico:f:forma:start|forma]]: aquilo que pertence à [[lexico:e:essencia:start|essência]] ou [[lexico:s:substancia:start|substância]] da [[lexico:c:coisa:start|coisa]], por isso [[lexico:e:essencial:start|essencial]], [[lexico:s:substancial:start|substancial]], [[lexico:a:atual:start|atual]]. Nesse [[lexico:s:sentido:start|sentido]] essa [[lexico:p:palavra:start|palavra]] foi empregada pelos escolásticos, por [[lexico:d:descartes:start|Descartes]] (Méd., III, II Réponses, def. IV) e por [[lexico:s:spinoza:start|Spinoza]] (Et., II, 8). A esta [[lexico:s:significacao:start|significação]] refere-se também o [[lexico:u:uso:start|uso]] que Duns Scot faz do [[lexico:t:termo:start|termo]] nas expressões "[[lexico:d:distincao:start|distinção]] formal" ou "[[lexico:r:razao:start|razão]] formal". Distinção formal é uma distinção de essência ou [[lexico:n:natureza:start|natureza]], mas sem implicar [[lexico:s:separacao:start|separação]] numérica: ela intercede, p. ex., entre a natureza comum e a [[lexico:i:individualidade:start|individualidade]] das [[lexico:c:coisas:start|coisas]] ou entre as várias perfeições de [[lexico:d:deus:start|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:start|relação]] generalizável ou então à [[lexico:o:ordem:start|ordem]] ou coordenação das partes. Nesse sentido, essa palavra é empregada na [[lexico:l:logica:start|lógica]], na [[lexico:m:matematica:start|matemática]] [[lexico:m:moderna:start|moderna]] e na [[lexico:e:estetica:start|estética]].

Em lógica [[lexico:e:esse:start|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:start|universal]]", "válido para [[lexico:t:todo:start|todo]] conteúdo [[lexico:e:empirico:start|empírico]] [[lexico:r:relativo:start|relativo]] a certa forma"; por esta razão, como última significação, "[[lexico:i:independente:start|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:start|Leibniz]], os termos "forma" (p. ex., os arguments en forme na [[lexico:t:terminologia:start|terminologia]] leibniziana) e "formal" indicam certos esquemas, fórmulas, etc, em que os termos descritivos são substituídos por [[lexico:s:simbolos:start|símbolos]] ("variáveis"), e portanto as propriedades, as [[lexico:r:relacoes:start|relações]], as consequências, etc, do [[lexico:e:esquema:start|esquema]] ou [[lexico:f:formula:start|fórmula]] vigoram independentemente de qualquer [[lexico:p:possivel:start|possível]] [[lexico:d:designacao:start|designação]] dos termos significativos nela presentes.

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

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