formalizzazione

Dizionario delle Scienze Fisiche (1996)

formalizzazione


formalizzazióne [Der. di formalizzare "rendere formale"] [ALG] [ANM] F. di una teoria: l'operazione di tradurre una teoria in un complesso coerente di simboli e di regole formali, in modo che tutte le possibili deduzioni risultano indipendenti da ogni interpretazione particolare della teoria stessa.

Vedi anche
deduzione filosofia Rapporto per il quale una conclusione deriva da una o più premesse. Nella storia della filosofia si distinguono tre principali interpretazioni di tale rapporto. Secondo la prima, esso è fondato sull’essenza necessaria o sostanza degli oggetti cui si riferiscono le proposizioni: è questa l’interpretazione ... lògica matemàtica lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono essere considerate formalmente come oggetti grafici combinabili tra loro (sintassi) o in relazione ...
Categorie
Vocabolario
formaliżżazióne
formalizzazione formaliżżazióne s. f. [der. di formalizzare]. – L’atto, l’operazione, il procedimento di formalizzare, nelle varie accezioni: f. di un’istruttoria, in procedura penale; f. del linguaggio, dei dati di un messaggio, in logica...
formaliżżarsi
formalizzarsi formaliżżarsi v. intr. pron. [dal fr. se formaliser, der. del lat. formalis «formale1»]. – Mostrare stupore, scandalizzarsi, offendersi perché certe formalità e convenienze non sono da altri osservate: si formalizza per nulla;...