Définitions : formel - Dictionnaire de français Larousse

 formel, formelle

adjectif

(latin formalis, qui a la forme de)

1. Qui est formulé avec précision, excluant toute incertitude, toute ambiguïté : Un démenti formel.
Synonymes :

catégorique - clair - explicite - exprès - incontestable - indiscutable - indubitable - irréfragable - irréfutable - net - positif - précis

Contraires :

ambigu - confus - douteux - équivoque - hypothétique - implicite - imprécis - muet - obscur - problématique - vague
2. Qui respecte les formes, sans impliquer une adhésion intérieure ; formaliste : Politesse toute formelle.
Synonymes :

extérieur - formaliste - protocolaire - superficiel

Contraires :

inné - naturel - spontané
3. Qui ne tient pas compte des réalités, des faits : Une vue très formelle du travail à réaliser.
Synonyme :

théorique

Contraires :

objectif - réaliste
Beaux-arts
4. Qui concerne la forme (structure plastique, exécution).
Synonymes :

stylistique - verbal
Droit
5. Relatif à la forme des actes.
Linguistique
6. Qui concerne la forme (structure phonologique, morphologique, syntaxique de la langue), par opposition au sens ou à la substance.
7. Relatif à la formalisation.
8. Se dit d'une analyse, d'une grammaire qui ne fait pas entrer en ligne de compte la signification des éléments.

Expressions avec formel

Être formel sur quelque chose,

s'exprimer d'une manière catégorique, absolue sur ce point.

Logique

Implication formelle,

relation entre les expressions ϕ(x) et ψ(x) dans l'énoncé ∀x(ϕ(x) → ψ(x)).

Logique formelle,

étude générale des raisonnements déductifs, abstraction faite de leur application à des cas particuliers.

Synonyme :

logique symbolique

Philosophie

Cause formelle,

chez Aristote, élément intrinsèque qui constitue un être dans son espèce, par opposition à la cause matérielle ou matière.

Réalité formelle,

chez Descartes, réalité extérieure, réalité de l'objet.

Psychologie

Pensée formelle,

pour J. Piaget, pensée caractérisée par la possibilité chez l'enfant d'un raisonnement hypothético-déductif, impliquant abstraction, généralisation et symbole. (Ce stade ultime d'évolution des processus cognitifs succède au stade des opérations concrètes et apparaît vers l'âge de 12-13 ans.)