• 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
atlante
il chiasmo
lingua italiana
1682 risultati
Tutti i risultati [1682]
Biografie [218]
Temi generali [176]
Filosofia [170]
Diritto [165]
Economia [134]
Matematica [120]
Storia [116]
Arti visive [113]
Scienze demo-etno-antropologiche [105]
Letteratura [92]

Tipo contrattuale

Diritto on line (2015)

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 logica classica e simbolica, alla deduzione e lasciare spazio solo all’induzione (Copy, I. M. – Cohen, C ... Leggi Tutto
CATEGORIA: DIRITTO CIVILE

La filosofia dell'evidenza tra Husserl e Gentile

Croce e Gentile (2016)

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 logica classica e aristotelica. Ciononostante, resta da notare che la nozione gentiliana di pensiero ... Leggi Tutto

Realtà virtuale

Universo del Corpo (2000)

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 logica classica, iniziale, perché la rappresentazione della realtà virtuale modificherebbe lo schema logico-concettuale del terzo escluso? Perché la realtà virtuale trasformerebbe 'A ... Leggi Tutto
CATEGORIA: INFORMATICA APPLICATA
TAGS: PRINCIPIO DEL TERZO ESCLUSO – INTELLIGENZA ARTIFICIALE – SISTEMA NERVOSO CENTRALE – FORMAZIONE RETICOLARE – EVOLUZIONE BIOLOGICA
Mostra altri risultati Nascondi altri risultati su Realtà virtuale (7)
Mostra Tutti

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 [...] tesi di Church: CT0 ∀n∃mA(n,m)→∃k∀nA(n,k•m), un principio chiaramente incompatibile con la logica classica. La realizzabilità e le sue molte varianti sono divenute uno strumento molto efficace nello studio della metamatematica di sistemi costruttivi ... Leggi Tutto
CATEGORIA: STORIA DELLA MATEMATICA – STORIA DEL PENSIERO FILOSOFICO

sequenti, calcolo dei

Enciclopedia della Matematica (2013)

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 logica classica, 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
TAGS: TEORIA DELLA DIMOSTRAZIONE – QUANTIFICATORE UNIVERSALE – LOGICA INTUIZIONISTA – INFORMATICA TEORICA – LOGICA CLASSICA

logiche a piu valori

Enciclopedia della Scienza e della Tecnica (2008)

logiche a più valori Settimo Termini Nel ricco panorama delle varianti della logica classica 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 logica classica è 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
CATEGORIA: LOGICA

operatore logico

Enciclopedia della Matematica (2013)

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 logica classica. Tuttavia essi non sono i soli operatori logici che è possibile definire. Innanzitutto vanno considerati nell’insieme degli operatori ... Leggi Tutto
TAGS: STRUTTURA ALGEBRICA – ALGEBRA DI → BOOLE – VARIABILI BOOLEANE – LOGICA CLASSICA – QUANTIFICATORI

Beth, Evert Willem

Dizionario di filosofia (2009)

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 logica classica e di quella intuizionista (specie col suo metodo delle tavole semantiche: ➔ oltre Tavole di Beth), nella ... Leggi Tutto

decisione, problema della

Dizionario di filosofia (2009)

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 logica classica del primo ordine (o calcolo dei predicati) è indecidibile; data una qualunque espressione E del linguaggio della ... Leggi Tutto

connettivi generalizzati

Enciclopedia della Scienza e della Tecnica (2008)

connettivi generalizzati Settimo Termini John von Neumann aveva osservato già nel 1951 che la forma rigida della logica classica 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
CATEGORIA: LOGICA
1 2 3 4 5 6 7 8 ... 169
Vocabolario
lògica
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,...
tautologìa
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,...
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