Storia della civiltà europea a cura di Umberto Eco (2014)
Luigi Catalani
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Il cartesianesimo fallisce nel suo tentativo di imporsi come nuova filosofia “ufficiale” [...] (1622-1665), che per primo ha l’idea di fondere logica cartesiana e logica scolastica in un manuale che unisce la dottrina dell’evidenza con la logicaproposizionale degli aristotelici (Logica vetus et nova, 1654). Ma il grande exploit viene appunto ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Giorgio Strano
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Negli anni Trenta del Novecento i logici riescono a dare uno statuto matematico alla [...] primo problema che è stato dimostrato essere NP-completo è quella della soddisfacibilità di una formula della logicaproposizionale in forma normale congiuntiva (con esattamente disgiunzioni ternarie). Nel 1972 Richard Karp ha mostrato la rilevanza ...
Leggi Tutto
essenza
La realtà propria e immutabile delle cose, intesa soprattutto come la forma generale, l’universale natura delle singole cose appartenenti allo stesso genere o specie.
Da Aristotele alla tarda [...] essa è in sé (τὸ τί ἐστι) o come espressione di una delle categorie cui è riconducibile qualcosa. Nella logicaproposizionale stoica il problema dello statuto ontologico degli elementi che concorrono alla definizione non ha luogo, mentre nel medio ...
Leggi Tutto
Nella storia della filosofia si incontrano sostanzialmente due significati di c., uno soggettivo, come sicurezza da parte del soggetto della verità di una conoscenza acquisita, e uno oggettivo, come garanzia [...] ripongono la c. nel valore assiomatico della nuova logicaproposizionale, dall’altro nell’evidenza della rappresentazione catalettica , per il quale la c. è offerta solo dalla logica e dalla matematica, fondate sul principio di non contraddizione. ...
Leggi Tutto
sistema formale
Sistema costituito da un linguaggio formale e un apparato deduttivo. Un esempio di s. f. è quello K per la logicaproposizionale classica dato dalla coppia (LK; DK) dove LK è il linguaggio [...] in una struttura e dando una definizione di soddisfacimento, verità, validità e conseguenza logica per le sue formule. Ovviamente è possibile costruire diversi s. f. per la logicaproposizionale (considerando, per es., una s. f. con cinque connettivi ...
Leggi Tutto
Ciò che non ha bisogno di dimostrazione. Aristotele chiama a. le premesse immediate del sillogismo, ma non il sillogismo nel suo complesso. A. viene definito tradizionalmente l’«assioma connesso» della [...] logicaproposizionale stoica, basato sull’operatore «se… allora». Secondo la testimonianza di Sesto Empirico (Contro i matematici, VIII 113) sono possibili solo quattro tipi di connessioni. Un assioma risulta vero quando comincia dal vero e finisce ...
Leggi Tutto
VERITA PROCESSUALE
Michele Taruffo
VERITÀ PROCESSUALE. – Una nozione dubbia. Una verità possibile. Quale verità. Verità e realtà. Verità e prova. Verità e probabilità. Bibliografia
Una nozione dubbia. [...] una popolazione data (Taruffo 2009, p. 91). La seconda nozione fa invece riferimento alla probabilità logica (detta anche baconiana), ossia alla logicaproposizionale e alle inferenze che si formulano per derivare conclusioni da premesse in modo ...
Leggi Tutto
Psicologia genetica
Jean Piaget
di Jean Piaget
Psicologia genetica
sommario: 1. Introduzione. 2. Gli stadi dello sviluppo. 3. Il ruolo dell'azione nella formazione del pensiero. a) Classificazione proposta [...] e Pitts hanno rinvenuto, nei diversi tipi di legami neuronici o sinaptici, strutture isomorfe a quella della logicaproposizionale. Le coordinazioni nervose dipendono a loro volta dalle coordinazioni organiche in generale, che sono di natura fisico ...
Leggi Tutto
Razionalità pratica tra senso comune cultura e natura
Antonio Rainone
Nella tradizione filosofica si parla da lungo tempo di razionalità ‘teoretica’ e razionalità ‘pratica’. Teoretica (o cognitiva) [...] troppo elevati per una definizione di razionalità – criteri inevitabilmente di tipo normativo, come quelli della logicaproposizionale o della teoria della decisione –, è abbastanza agevole poi dimostrare come quei criteri non siano generalmente ...
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 [...] con la validità intuizionista intuitiva.
Da osservazioni di Georg Kreisel nel 1958 si può dedurre che, per la logicaproposizionale, la validità in un modello di Beth è equivalente alla validità intuitiva.
Beth e Kripke dimostrarono la completezza ...
Leggi Tutto
proposizionale
propoṡizionale agg. [der. di proposizione]. – In logica matematica, che si riferisce a proposizioni: calcolo p., il calcolo delle proposizioni (v. proposizione, n. 2); variabile p., variabile che rappresenta una proposizione.
calcolo1
càlcolo1 s. m. [dal lat. calcŭlus, propr. «pietruzza» (cfr. càlcolo2), attrav. il sign. di «gettone per fare i conti»]. – 1. a. Successione più o meno lunga di operazioni atte a fornire la soluzione di un dato problema aritmetico,...