• Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
Cerca in:
enciclopedia
biografico
vocabolario
il chiasmo
122 risultati
Tutti i risultati [122]
Filosofia [31]
Matematica [26]
Lingua [13]
Temi generali [13]
Biografie [11]
Fisica [10]
Psicologia e psicanalisi [10]
Fisica matematica [9]
Informatica [7]
Storia del pensiero filosofico [8]

L’ascesa della “via delle idee”

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 logica proposizionale degli aristotelici (Logica vetus et nova, 1654). Ma il grande exploit viene appunto ... Leggi Tutto

L’informatica teorica

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 logica proposizionale in forma normale congiuntiva (con esattamente disgiunzioni ternarie). Nel 1972 Richard Karp ha mostrato la rilevanza ... Leggi Tutto

essenza

Dizionario di filosofia (2009)

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 logica proposizionale stoica il problema dello statuto ontologico degli elementi che concorrono alla definizione non ha luogo, mentre nel medio ... Leggi Tutto
Mostra altri risultati Nascondi altri risultati su essenza (3)
Mostra Tutti

certezza

Dizionario di filosofia (2009)

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 logica proposizionale, 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
TAGS: PRINCIPIO DI NON CONTRADDIZIONE – FENOMENOLOGIA DELLO SPIRITO – DIALETTICA TRASCENDENTALE – FILOSOFIA PRESOCRATICA – LOGICA PROPOSIZIONALE

sistema formale

Dizionario di filosofia (2009)

sistema formale Sistema costituito da un linguaggio formale e un apparato deduttivo. Un esempio di s. f. è quello K per la logica proposizionale 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 logica proposizionale (considerando, per es., una s. f. con cinque connettivi ... Leggi Tutto
TAGS: LOGICA PROPOSIZIONALE – LINGUAGGIO FORMALE – MODUS PONENS – NUMERI REALI – DEDUTTIVO
Mostra altri risultati Nascondi altri risultati su sistema formale (1)
Mostra Tutti

anapodittico

Dizionario di filosofia (2009)

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 [...] logica proposizionale 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
TAGS: LOGICA PROPOSIZIONALE – SESTO EMPIRICO – NEOPLATONICI – ETÀ MODERNA – ARISTOTELE

VERITA PROCESSUALE

Enciclopedia Italiana - IX Appendice (2015)

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 logica proposizionale e alle inferenze che si formulano per derivare conclusioni da premesse in modo ... Leggi Tutto
TAGS: CALCOLO DELLE PROBABILITÀ – LOGICA PROPOSIZIONALE – REGOLA DI INFERENZA – TEOREMA DI BAYES – PROCESSO CIVILE

Psicologia genetica

Enciclopedia del Novecento (1980)

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 logica proposizionale. Le coordinazioni nervose dipendono a loro volta dalle coordinazioni organiche in generale, che sono di natura fisico ... Leggi Tutto
CATEGORIA: PSICOLOGIA COGNITIVA – PSICOLOGIA DELL ETA EVOLUTIVA

RAZIONALITA PRATICA TRA SENSO COMUNE CULTURA E NATURA

XXI Secolo (2009)

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 logica proposizionale 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

Storia della Scienza (2004)

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 logica proposizionale, la validità in un modello di Beth è equivalente alla validità intuitiva. Beth e Kripke dimostrarono la completezza ... Leggi Tutto
CATEGORIA: STORIA DELLA MATEMATICA – STORIA DEL PENSIERO FILOSOFICO
1 2 3 4 5 6 7 8 ... 13
Vocabolario
propoṡizionale
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.
càlcolo¹
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,...
Leggi Tutto
  • Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
  • Ricerca
    • Enciclopedia
    • Vocabolario
    • Sinonimi
    • Biografico
    • Indice Alfabetico

Istituto della Enciclopedia Italiana fondata da Giovanni Treccani S.p.A. © Tutti i diritti riservati

Partita Iva 00892411000

  • facebook
  • twitter
  • youtube
  • instagram
  • Contatti
  • Redazione
  • Termini e Condizioni generali
  • Condizioni di utilizzo dei Servizi
  • Informazioni sui Cookie
  • Trattamento dei dati personali