antisimmetrìa
Dizionario delle Scienze Fisiche (1996)
antisimmetria
antisimmetrìa [Comp. di anti- e simmetria "la proprietà di essere antisimmetrico"] [ALG] [LSF] Termine che può assumere significati diversi a seconda del contesto: per es., v. solidi, livelli [...] elettronici nei: V 348 e; forze nucleari: II 692 c; statistiche quantistiche: V 604 c. ◆ [FAF] Nella logica, proprietà di una relazione binaria R tra gli elementi di un insieme tale che non possono mai valere contemporaneamente le relazioni aRb e bRa ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
ALGEBRA
–
EPISTEMOLOGIA
–
METAFISICA
compattezza
Dizionario delle Scienze Fisiche (1996)
compattezza
compattézza [Der. di compatto "l'essere compatto" nei vari signif. del termine (→ compatto)] [FAF] Teorema di c.: uno dei più importanti risultati della teoria dei modelli: un insieme di [...] formule non contraddittorio ha un modello se, e solo se, ogni suo sottoinsieme finito ha un modello: v. logica: III 485 d. ...
Leggi Tutto
Aristòtele
Enciclopedia on line
Filosofo greco (Stagira 384-83 a. C. - Calcide 322 a. C.). Fu, con Socrate e Platone, uno dei più grandi pensatori dell'antichità e di tutti i tempi. Nato da una famiglia di medici, si formò nell'Accademia [...] di quelli validi da quelli non validi occupa la maggior parte degli Analitici primi e costituisce un sistema di logica "formale", in quanto questa determina le forme onde il pensiero si vale per dedurre necessariamente verità più particolari da ...
Leggi Tutto
antecedènte
Dizionario delle Scienze Fisiche (1996)
antecedente
antecedènte [agg. e s.m. Der. del part. pres. antecedens -entis del lat. antecedere "andare avanti", comp. di ante- "davanti" e cedere "andare"] [ALG] In una proporzione, a:b=c:d, i termini [...] (a e c) che, nei due membri, vengono per primi (b e d sono i conseguenti). ◆ [FAF] Nella logica, la prima parte di un sillogismo ridotto a due proposizioni. ...
Leggi Tutto
ipotetico
Dizionario delle Scienze Fisiche (1996)
ipotetico
ipotètico [agg. (pl.m. -ci) Der. di ipotesi] [FAF] Che si fonda su un'ipotesi o che si serve della formulazione di un'ipotesi. ◆ [FAF] Giudizio i.: ogni giudizio logico del tipo "se A è, allora [...] B è" oppure "se A è B, allora C è D". [FAF] Sillogismo i.: nella logica, ogni sillogismo che sia composto, in tutto o in parte, da giudizi ipotetici. ◆ [FAF] Sistema i.-deduttivo: insieme di nozioni omogenee collegate, costruito formulando una serie ...
Leggi Tutto
diadico
Dizionario delle Scienze Fisiche (1996)
diadico
diàdico [agg. (pl.m. -ci) Der. di diade "relativo a una coppia, binario"] [ALG] Numerazione d.: lo stesso che numerazione binaria. ◆ [ALG] Operazione d., o binaria: operazione mediante la quale [...] di elementi di un insieme si fa corrispondere un elemento del medesimo insieme. ◆ [ALG] [FAF] Predicato d.: nella logica matematica, qualsiasi predicato che si riferisca a due individui. ◆ [ALG] [FAF] Relazione d.: relazione tra due soli elementi ...
Leggi Tutto
MODELLI, Teoria dei
Enciclopedia Italiana - IV Appendice (1979)
MODELLI, Teoria dei (App. III, 11, p. 139)
Giulio Supino
Alberto Pasquinelli
Aldo Marruccelli
In questi ultimi 15 anni (1960-75) la t. dei m. si è sviluppata secondo due ordini di idee del tutto opposti. [...] T l'equivalenza
Siano U(α) e U(β) le strutture relative a due interpretazioni per il linguaggio L di una teoria T, sia s un simbolo non logico di L non appartenente a S e ϕ una biiezione tra α e β. Si dice che ϕ è un s-isomorfismo di U(α) e U(β) se ...
Leggi Tutto
ipotesi
Dizionario delle Scienze Fisiche (1996)
ipotesi
ipòtesi [Der. del lat. hypothesis, dal gr. hypóthesis che è da hypotìthemi "porre sotto"] [FAF] Congettura su una categoria di fatti sperimentali; spesso costituisce una prima formulazione della [...] lavoro) e, se tali ricerche confermeranno l'i. in questione, allo scopo di fondare su questa una teoria. Specific., nella logica, è una proposizione preliminare che si assume vera e dal verificarsi della quale si dimostra discendere la validità di un ...
Leggi Tutto
ideografia
Dizionario delle Scienze Fisiche (1996)
ideografia
ideografìa [Comp. di idea e -grafia] [LSF] Rappresentazione grafica di idee, cioè scrittura basata non su fonemi, vale a dire sui suoni articolati del linguaggio, ma su simboli significanti [...] ) e moderne (cinese, giapponese) e, in campo scientifico, nelle matematiche. ◆ [ALG] [FAF] I. logica: l'insieme di simboli con cui si rappresentano le operazioni logiche, quali & per la congiunzione, → per l'implicazione, ecc.; per es., la ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
ALGEBRA
–
EPISTEMOLOGIA
–
METAFISICA
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 [...] 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 ...
Leggi Tutto
CATEGORIA:
MECCANICA
–
MECCANICA DEI FLUIDI
–
MECCANICA QUANTISTICA
–
STORIA DELLA FISICA
–
EPISTEMOLOGIA
–
METAFISICA