gnoseologia
gnoseologìa [Comp. del gr. g✄nòsis "conoscenza" e -logia] [FAF] Termine per indicare la dottrina o teoria della conoscenza umana, con rifer. soprattutto alla ricerca dei suoi fondamenti, [...] alle sue strutture e modalità, nonché alla sua validità e verità. ...
Leggi Tutto
apodittico
apodìttico [agg. (pl.m. -ci) Der. del lat. apodicticus, dal gr. apodeiktikós "dimostrativo"] [FAF] Nella logica, che deriva da un rigoroso processo (apodissi) di dimostrazione della validità [...] di una singola proposizione mediante la sua deduzione da un'altra verità più generale. ◆ [FAF] Giudizio a. (contrapp. ad assertorio e problematico): (a) quello in cui l'affermazione o la negazione si considerano come necessarie (A è necessariamente B ...
Leggi Tutto
Biologia
L’attività propria di una cellula, o di una sua parte, o di un organo, o di un sistema organico. Oggetto di studio della fisiologia, è intimamente legata alla forma o struttura, oggetto di studio [...] la congiunzione, o la negazione e la disgiunzione, o la negazione e l’implicazione, tale che a esso corrisponda una f. di verità coincidente con f (nel senso che per gli stessi argomenti assume gli stessi valori di f). Oltre a quelli qui indicati, vi ...
Leggi Tutto
tautologia
tautologìa [Der. del gr. tautolog✄ía, comp. di tauto- "tauto-" e -log✄ia "-logia"] [FAF] Termine usato per qualificare negativamente ogni proposizione che, proponendosi di definire qualcosa, [...] in effetti ripete ciò che è già stato affermato. ◆ [FAF] Nella logica formale moderna, espressione vera per qualunque valore di verità si attribuisce alle lettere proposizionali che la costituiscono. ...
Leggi Tutto
autoreferenza
autoreferènza [Der. dell'ingl. self-reference "riferimento a sé stesso"] [ALG] [FAF] Nella logica matematica, il carattere riflessivo degli enunciati che affermano qualcosa su sé stessi [...] implica un riferimento a sé stessi; tale caratteristica, in quanto si presenta in enunciati che coinvolgono i concetti di verità, di significato, di definizione, di classe o di insieme, è considerata come la causa principale di antinomie, paradossi e ...
Leggi Tutto
formalismo
formalismo [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
Venn John
Venn 〈vèn〉 John [STF] (Drypool 1834 - Cambridge 1923) Prof. di logica nell'univ. di Cambridge (1862). ◆ [ALG] Diagrammi, o grafici, o circoli, di V. (detti spesso diagrammi di Eulero-V.): sono [...] costituiti da linee chiuse che delimitano porzioni di piano allo scopo di mostrare graficamente le relazioni di verità degli enunciati e le operazioni dell'algebra di Boole; per es., la fig. mostra il diagramma di V. delle relazioni di inclusione e ...
Leggi Tutto
incompleto
incomplèto [agg. Comp. di in- neg. e completo] [CHF] Reazione i.: reazione che s'arresta prima della completa trasformazione delle sostanze reagenti. ◆ [ALG] [FAF] Teoria i.: nella logica [...] formalizzata si dice sintatticamente i. quando esiste una formula del suo linguaggio di cui non si può dimostrare né la verità né la falsità, e si dice semanticamente i. se esistono conseguenze dell'insieme dei suoi assiomi che non sono teoremi ...
Leggi Tutto
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 [...] sistema di logica "formale", in quanto questa determina le forme onde il pensiero si vale per dedurre necessariamente verità più particolari da verità più universali, ma non gli fornisce il contenuto onde riempire le forme, i punti di partenza onde ...
Leggi Tutto
polivalente
polivalènte [agg. Comp. di poli- e -valente] [CHF] Detto: (a) di elemento che presenta più di un grado di valenza (per es., il ferro, che è bi-, tri- ed esavalente, raramente anche monovalente); [...] con più gruppi alcolici (per es., le glicerine). ◆ [ALG] [FAF] Logica p.: logica nella quale si possono avere vari gradi di verità (o, che è lo stesso, di attendibilità), come quando si ammette, per es., che una proposizione che non sia falsa possa ...
Leggi Tutto
verita
verità s. f. [lat. vērĭtas -atis, der. di verus «vero»]. – 1. Carattere di ciò che è vero, conformità o coerenza a principî dati o a una realtà obiettiva: dubitare della v. di una notizia; non credere alla v. delle parole di qualcuno;...
ver
vèr (o vèr’) prep. – Forma tronca, poet., della prep. verso: la nova gente alzò la fronte Ver’ noi (Dante); Là ver’ l’aurora, che [=quando] sì dolce l’aura Al tempo novo suol movere i fiori (Petrarca); L’un ver l’altro i montoni armon...