correttezza

Dizionario delle Scienze Fisiche (1996)

correttezza


correttézza [Der. di corretto "l'essere esente da errore", dal part. pass. correctus del lat. corrigere "correggere"] [FAF] La proprietà di una teoria formalizzata (un calcolo logico, una particolare teoria deduttiva: per es., la teoria dei gruppi, ecc.) per cui ogni teorema dimostrato nella teoria risulta effettivamente verificato in tutti i modelli della teoria stessa (nell'esempio precedente, in tutti i casi concreti di gruppi). ◆ [FAF] C. forte: v. logica: III 485 d. ◆ [MCC] Principio della c. dimensionale: v. similitudine meccanica: V 192 c. ◆ [FAF] Teorema di c.: afferma che ogni teorema logico è una tautologia: v. logica: III 484 a.

Vedi anche
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 ... tautologia Nella logica formale classica, proposizione che, proponendosi di definire qualcosa, non fa sostanzialmente che ripetere nel predicato ciò che già è detto nel soggetto. ● In logica matematica si chiama tautologia (o verità logica) ogni espressione che risulti sempre vera, qualunque siano i valori di verità ... teorema In matematica e nelle scienze deduttive, ogni enunciato (o formula o proprietà) che può essere dimostrato, cioè che può essere dedotto logicamente dagli enunciati primitivi, detti assiomi o postulati. In un sistema assiomatico moderno la distinzione fra teorema e assiomi non è però netta e assoluta in ... dimostrazione filosofia Processo logico-discorsivo (dal gr. apodissi) in virtù del quale si arriva a garantire la validità di un enunciato. ● La nozione di dimostrazione venne introdotta da Aristotele che la definì come quella forma speciale di sillogismo che deduce una conclusione da principi primi e veri, distinta ...
Categorie
Vocabolario
correttézza
correttezza correttézza s. f. [der. di corretto]. – 1. L’essere corretto, esatto, privo di errori, spec. con riferimento al modo di esprimersi, alla proprietà linguistica: c. grammaticale, sintattica; c. di pronuncia; parlare, scrivere...
ortologìa
ortologia ortologìa s. f. [dal gr. ὀρϑολογία «correttezza nel parlare», comp. di ὀρϑός «retto, corretto» e -λογία «-logia»]. – Sinon. raro e ant. di ortoepia.