Carmine B.N. Cioffi
Abstract
Viene esaminata la definizione del tipo contrattuale, che serve per individuare la normativa applicabile alle concrete fattispecie contrattuali. In tale prospettiva, sono [...] deduzione. Per cui, escludere radicalmente la sussunzione significherebbe, praticamente, rinunciare, secondo i dettami della scienza della logicaclassica e simbolica, alla deduzione e lasciare spazio solo all’induzione (Copy, I. M. – Cohen, C ...
Leggi Tutto
La filosofia dell’evidenza tra Husserl e Gentile
Jonathan Salina
Nonostante le accuse di arretratezza mosse al pensiero gentiliano nel corso del Novecento, non sono mancati alcuni interpreti i quali, [...] della fondazione di essa, arrivando al massimo a dedicare, nel Sistema di logica come teoria del conoscere (1917-1923), uno spazio considerevole alla logicaclassica e aristotelica. Ciononostante, resta da notare che la nozione gentiliana di pensiero ...
Leggi Tutto
Realtà virtuale
Anna Ludovico
In informatica, la locuzione realtà virtuale (virtual reality, conio linguistico, negli anni Ottanta del 20° secolo, dello statunitense J. Lanier) sta a indicare la simulazione [...] logica e semantica nella nostra considerazione del mondo. La logicaclassica, iniziale, perché la rappresentazione della realtà virtuale modificherebbe lo schema logico-concettuale del terzo escluso? Perché la realtà virtuale trasformerebbe 'A ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] tesi di Church:
CT0 ∀n∃mA(n,m)→∃k∀nA(n,k•m),
un principio chiaramente incompatibile con la logicaclassica. La realizzabilità e le sue molte varianti sono divenute uno strumento molto efficace nello studio della metamatematica di sistemi costruttivi ...
Leggi Tutto
sequenti, calcolo dei
sequenti, calcolo dei calcolo logico introdotto da G. Gentzen negli anni Trenta del xx secolo i cui elementi sono i sequenti, vale a dire espressioni del tipo Γ ⊢ Δ in cui Γ e Δ [...] Il calcolo dei sequenti è stato applicato non soltanto alla logicaclassica, ma anche ad altri tipi di logica quali la → logica intuizionista, la → logica minimale e la → logica lineare, effettuando opportune modifiche sulla struttura dei sequenti ed ...
Leggi Tutto
logiche a più valori
Settimo Termini
Nel ricco panorama delle varianti della logicaclassica esse si presentano come logiche non classiche vero-funzionali (cioè, il valore di verità di un enunciato [...] è determinato da quello degli enunciati elementari di cui è composto). La differenza fondamentale con la logicaclassica è data, appunto, dal fatto che il numero di valori di verità non è limitato a due ma si ammette un insieme più ampio di valori di ...
Leggi Tutto
operatore logico
operatore logico in un’algebra di → Boole, sinonimo di operazione su variabili booleane. Gli operatori logici fondamentali sono gli operatori and, per il prodotto logico, or, per la [...] quelli a cui più frequentemente si fa riferimento, data l’analogia tra tale struttura algebrica e la logicaclassica. Tuttavia essi non sono i soli operatori logici che è possibile definire. Innanzitutto vanno considerati nell’insieme degli operatori ...
Leggi Tutto
Beth, Evert Willem
Logico-matematico olandese (Almelo 1908 - Amsterdam 1964). Dal 1946 insegnò nell’univ. di Amsterdam. Dopo studi di storia della logica e della matematica (De wijsbegeerte der wiskunde [...] matematica, ottenendo importanti risultati nella teoria della definizione (teorema di definibilità), nell’analisi semantica della logicaclassica e di quella intuizionista (specie col suo metodo delle tavole semantiche: ➔ oltre Tavole di Beth), nella ...
Leggi Tutto
decisione, problema della
In logica matematica, la ricerca di un procedimento effettivo che consenta di stabilire se una certa proprietà o relazione convenga o no a certi enti. Procedimento ‘effettivo’ [...] essa si dice indecidibile). Risulta da un fondamentale teorema di Church del 1936 che l’insieme dei teoremi della logicaclassica del primo ordine (o calcolo dei predicati) è indecidibile; data una qualunque espressione E del linguaggio della ...
Leggi Tutto
connettivi generalizzati
Settimo Termini
John von Neumann aveva osservato già nel 1951 che la forma rigida della logicaclassica poneva una forte limitazione all’espressività di linguaggi di tipo logico [...] l’analisi è la parte della matematica meglio elaborata e più di successo dal punto di vista tecnico. Quindi la logica formale, per la natura della sua impostazione, è tagliata fuori dai settori meglio coltivati della matematica e costretta dentro la ...
Leggi Tutto
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
tautologia
tautologìa s. f. [dal gr. ταὐτολογία, comp. di ταὐτο- «tauto-» e -λογία «-logia»]. – 1. a. Nella logica formale classica, termine usato per qualificare negativamente ogni proposizione la quale, proponendosi di definire qualcosa,...