tautologia
tautologia (dal greco tautós, «stesso, identico» e lógos, «ragionamento») in logica matematica, proposizione che risulta vera indipendentemente dal valore di verità delle singole parti che [...] forme:
• A ⇒ (B ⇒ A) (legge dell’’«a fortiori»)
• ￢(A ∧ ￢A) (principio di non contraddizione)
• ￢￢A ⇔ A (doppia negazione)
• A ⇔ A (riflessività della doppia implicazione)
• (A ⇔ B) ⇔ (B ⇔ A) (simmetria della doppia implicazione)
• ((A ⇔ B) ∧ (B ...
Leggi Tutto
Boole, algebra di
Algebra sviluppata nel 1854 dal matematico inglese G. Boole, che utilizza soltanto i valori 0 e 1 per indicare, rispettivamente, la qualifica di falso (F) o vero (V) attribuito a una [...] . Le operazioni fondamentali previste in tale algebra sono: la somma logica (AND, simbolo v), il prodotto logico (OR, ^) e la negazione (NOT, ˜). Esse consentono la trattazione in termini algebrici delle corrispondenti operazioni insiemistiche di ...
Leggi Tutto
tavola semantica
tavola semantica o tableau semantico, in logica, diagramma ad albero, detto anche albero di refutazione (→ refutazione) elaborato originariamente da E.W. Beth nel 1955 per refutare una [...] formula in un sistema formale. Per dimostrare una formula A si cerca di refutare ￢A (vale a dire la negazione di A). ...
Leggi Tutto
ALIGHIERI, Dante
Siro A. Chimenz
Nacque a Firenze nel 1265, entro il periodo in cui il sole è nella costellazione zodiacale dei Gemelli - come egli stesso ci fa sapere (Par. XXII, vv. 112-117) -, cioè [...] dal Guinizelli; e non se ne vede altra più naturale, più logicamente coerente. Questa fu la novità dell'A.; e nello stesso tempo grave e pericoloso problema, che poteva condurre alla negazione dell'immortalità dell'anima individuale, e, quindi, ...
Leggi Tutto
STORIA DELLA MATEMATICA
Luigi Borzacchini
STORIA DELLA MATEMATICA
Il tempo della scienza senza tempo
La matematica è la più antica e la più immutabile delle discipline. Si può dire che la matematica [...] la traduzione matematica del problema e si pone come negazione del finito.
Tale lettura matematica dell’infinito si mente viene ridotta a un linguaggio, di tipo più o meno logico, o a un effetto della struttura neuronale connessionista del cervello.
...
Leggi Tutto
ALFIERI, Vittorio
Mario Fubini
Nacque in Asti il 16 genn. (non 17, come è detto nella Vita) 1749 da Antonio Alfieri e da Monica Maillard de Tournon: fu battezzato col nome dell'avo materno Vittorio [...] suo pessimismo aveva avuto un accento eroico, ora invece è mera negazione, e della cultura illuministica, che è stata ed è ancora letterari e filosofici: vi critica, è vero, la debolezza logica dell'A. pensatore, ma non mostra di ritenere per questo ...
Leggi Tutto
Internazionalismo
RRené Rémond
Raymond Vernon
John Henry Merryman
Internazionalismo politico, di René Rémond
Economia internazionale, di Raymond Vernon
Diritti codificati e common law, di John Henry [...] L'internazionalismo più coerente, nel senso di una più decisa negazione del fattore nazionale, è quello associato al socialismo, che del sistema giuridico; la cultura giuridica ne costituisce la logica interna; le strutture giuridiche, gli attori e i ...
Leggi Tutto
FIRENZE
C. De Benedictis
(lat. Florentia)
Città della Toscana, capoluogo di regione, F. si sviluppa in un'area pianeggiante sulle rive dell'Arno, che taglia la città in due parti. Fu colonia romana [...] e una statua. Alcune formelle (Musica, Grammatica, Logica, Aritmetica, Fede, Matrimonio) possono essere identificate come in S. Maria Novella, l'artista mostra non tanto una negazione dell'eredità giottesca filtrata attraverso Maso di Banco, quanto l ...
Leggi Tutto
Risorse naturali
VValerio Giacomini
Benedetto Conforti
Risorse biologiche, di Valerio Giacomini
Risorse minerarie, di Luciano Caglioti
Risorse del fondo marino: aspetti giuridici, di Benedetto Conforti
Risorse [...] di un modo di procedere settoriale che è la negazione di ogni pianificazione, di un processo rovinoso a carico vivant. Une histoire de l'hérédité, Paris 1970 (tr. it.: La logica del vivente. Storia dell'ereditarietà, Torino 19712).
Lehninger, A. L., ...
Leggi Tutto
Concetti, problemi e ideali di Norberto Bobbio
sommario: 1. Il problema della definizione. 2. Pace negativa e positiva. 3. La pace come valore. 4. L'ideale della pace perpetua. 5. Pacifismo istituzionale [...] di pace, come fine o cessazione o conclusione o assenza o negazione della guerra, quale che ne sia la definizione.
Se dei due Stato federale democratico, come gli Stati Uniti; la logica conclusione del secondo è invece la scomparsa di ogni forma ...
Leggi Tutto
negazione
negazióne s. f. [dal lat. negatio -onis]. – 1. a. L’atto del negare, e l’espressione con cui si nega (il contrario di affermazione): una n. recisa, timida, ostinata; la n. di una verità, di un fatto, di un concetto; la n. dell’evidenza;...
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...