definibilità
Silvio Bozzi
Nella logica matematica, concetto utilizzato in due sensi: uno riferito alle costanti extralogiche di una teoria in un linguaggio L, l’altro alle relazioni o funzioni su una [...] per L caratterizzabili da formule del linguaggio. Esemplifichiamo nel caso in cui il linguaggio sia elementare. Data la teoria T nel linguaggio formale L in cui occorrono le costanti predicative Q1,…,Qn e la costante P, essa è definibile in T da ...
Leggi Tutto
estensione
estensióne [Der. del lat. extensio -onis, dal part. pass. extensus di extendere (→ estensibile)] [LSF] (a) Con signif. concreto, dimensione geometrica in genere, e cioè, a seconda dei casi, [...] : per es., per l'e. della nozione di campo, v. campi, teoria classica dei: I 473 d. ◆ [ALG] La porzione di linea, di [FAF] (a) Di un termine, un concetto, un predicato, un sistema formale, e simili, è il contenuto di ciascuno di essi. (b) Con altra ...
Leggi Tutto
teorema di compattezza
Silvio Bozzi
Nella logica matematica, è tale un qualsiasi teorema che stabilisce che – fissato un linguaggio formale L – una teoria T ha come conseguenza logica la formula A, [...] cioè T⊩A, se e solo se esiste una parte T′di T per cui T′⊩A. Equivalentemente, una teoria T ha un modello se ne ha uno ogni sua parte finita. Il teorema vale per i linguaggi elementari di qualunque cardinalità dei linguaggi elementari ma non vale in ...
Leggi Tutto
formalismoformalismo [Der. di formale] [LSF] Con rifer. a una determinata teoria, il meccanismo formale attraverso il quale viene descritta matematicamente, e successiv. applicata, la teoria: f. euleriano [...] (←), f. lagrangiano (←). ◆ [FAF] Concezione che esclude ogni ricorso all'intuizione o all'esperienza nella declinazione della teoria, che sarebbe così fondata solo su verità logiche. ...
Leggi Tutto
formalismo
s. m. [der. di formale1]. – 1. Attaccamento alla forma esteriore, per cui si trascura o si dà minore importanza a ciò che è sostanziale ed essenziale; rigorosa osservanza delle norme, dei regolamenti, o in genere delle formalità...
formale1
formale1 agg. [dal lat. formalis]. – 1. Nel linguaggio filos., della forma, che concerne la forma o è inerente alla forma, in stretta connessione con il sign. e lo svolgimento di questo termine in filosofia. a. Nella distinzione aristotelica...