• 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]

Heyting

Enciclopedia della Matematica (2017)

Heyting Heyting Arend (Amsterdam 1898 - Lugano 1980) logico e matematico olandese. Studiò all’università di Amsterdam, dove poi insegnò fino al suo ritiro nel 1968 e fu allievo di L.E.J. Brouwer. Insieme [...] come asserzioni su costruzioni, per cui la logica intuizionista viene caratterizzata come una logica del conoscere, a differenza di quella classica, che è una logica dell’essere. Queste formalizzazioni di Heyting furono da alcuni considerate come ... Leggi Tutto
TAGS: INTUIZIONISMO MATEMATICO – GEOMETRIA PROIETTIVA – LOGICA INTUIZIONISTA – SPAZI DI HILBERT – L.E.J. BROUWER
Mostra altri risultati Nascondi altri risultati su Heyting (2)
Mostra Tutti

contraddizione

Enciclopedia della Matematica (2013)

contraddizione contraddizione rapporto di antitesi tra due asserzioni di cui una nega ciò che l’altra afferma. In logica, e in particolare nel linguaggio degli enunciati, la contraddizione è una proposizione [...] A sia la sua negazione ¬A. In tale caso qualunque relazione della teoria è sia vera sia falsa. Poiché la logica classica si basa sul principio di → non contraddizione (che vieta di affermare e di negare contemporaneamente la stessa cosa) e la ... Leggi Tutto
TAGS: PRINCIPIO DI → NON CONTRADDIZIONE – TAVOLA DI VERITÀ – LOGICA CLASSICA – PROPOSIZIONE – MATEMATICA
Mostra altri risultati Nascondi altri risultati su contraddizione (3)
Mostra Tutti

BOEZIO, Anicio Manlio Torquato Severino

Dizionario Biografico degli Italiani (1969)

BOEZIO, Anicio Manlio Torquato Severino Claudio Leonardi Nacque a Roma verso il 480. Suo padre, Flavio Narsete Manlio Boezio, console nel 487, morì quando il figlio non aveva ancora compiuto la sua [...] derivata dal teopaschismo, e particolarmente per la metodologia da lui impiegata, per cui applica gli strumenti della logica classica al patrimonio che gli viene dalla patristica e alle discussioni contemporanee; ciò lo porta a isolare da Agostino ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: DE CONSOLATIONE PHILOSOPHIAE – JACQUES LEFÈVRE D'ETAPLES – INCARNAZIONE DEL VERBO – CIRILLO DI ALESSANDRIA – IMMORTALITÀ DELL'ANIMA
Mostra altri risultati Nascondi altri risultati su BOEZIO, Anicio Manlio Torquato Severino (5)
Mostra Tutti

La logica antica

Storia della civiltà europea a cura di Umberto Eco (2014)

La logica antica Walter Cavini e Luca Castagnoli (*) Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook Dalla tarda Antichità all’Età Moderna la logica [...] aristotelica, e la sillogistica aristotelica non è più considerata come la logica, ma solo come un frammento del calcolo dei predicati della logica classica. Inoltre l’ambito della logica antica si è rivelato assai più ricco che non la semplice ... Leggi Tutto

Filosofia analitica

Enciclopedia del Novecento (1977)

Filosofia analitica JJames O. Urmson di James O. Urmson Filosofia analitica sommario: 1. Le origini. 2. Russell e l'analisi classica. a) Le tecniche dell'analisi classica. b) L'analisi classica e la [...] di uguale livello) possono essere illustrati dalla teoria russelliana delle descrizioni. A prima vista, e in accordo con la logica classica, un'asserzione come ‟il maestro di Platone era camuso" attribuisce un predicato a un soggetto. Se essa è vera ... Leggi Tutto
CATEGORIA: TEMI GENERALI
TAGS: CRITICA DELLA RAGION PURA – FILOSOFIA DEL LINGUAGGIO – ESPRESSIONE IDIOMATICA – PRIMA GUERRA MONDIALE – SELEZIONE NATURALE
Mostra altri risultati Nascondi altri risultati su Filosofia analitica (3)
Mostra Tutti

La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica

Storia della Scienza (2004)

La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica Solomon Feferman Le scuole di filosofia della matematica I più importanti programmi di fondazione della [...] emergono varie ambiguità quando si tenta di ricostruirlo in questi termini. Poiché Weyl assume nel suo sistema la logica classica, la quantificazione sui numeri naturali è considerata come determinata in maniera vero-funzionale. Ciò potrebbe essere ... Leggi Tutto
CATEGORIA: STORIA DELLA MATEMATICA – STORIA DEL PENSIERO FILOSOFICO

Logiche non standard

Enciclopedia della Scienza e della Tecnica (2007)

Logiche non standard Claudio Pizzi Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] sia lo stesso di quello standard o traducibile in questo (si pensi allo slogan di Quine change of logic, change of subject). La legge logica classica che ha suscitato più riserve (già nell'antichità: si veda il famoso passo De interpretatione, 9, di ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: GEORG WILHELM FRIEDRICH HEGEL – PRINCIPIO DEL TERZO ESCLUSO – QUANTIFICATORE UNIVERSALE – GOTTFRIED WILHELM LEIBNIZ – RELAZIONE DI EQUIVALENZA

La seconda rivoluzione scientifica: introduzione. Complementarità e oggetto quantistico

Storia della Scienza (2004)

La seconda rivoluzione scientifica: introduzione. Complementarita e oggetto quantistico Catherine Chevalley Complementarità e oggetto quantistico L'opera di Niels Bohr, come spesso è stato sottolineato, [...] fisica atomica. (Bohr 1939b, p. 41) Dal punto di vista di Bohr, ogni tentativo di fare a meno della logica classica sarebbe in effetti non realistico. In ultima istanza, i risultati dell'osservazione sono espressi nel linguaggio degli apparecchi di ... Leggi Tutto
CATEGORIA: MECCANICA QUANTISTICA – STORIA DELLA FISICA

Dimostrazione, teoria della

Enciclopedia della Scienza e della Tecnica (2007)

Dimostrazione, teoria della Jean-Yves Girard La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] di sequenti è stato fin da subito il fatto che essi permettono di vedere in modo unitario i rapporti tra logica classica e intuizionista. Anche in quest'ultimo caso il risultato fondamentale rimane l'Hauptsatz e possiamo provare che esiste una ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: FUNZIONE RICORSIVA PRIMITIVA – TEORIA DELLA DIMOSTRAZIONE – QUANTIFICATORE UNIVERSALE – LOGICA DEL PRIMO ORDINE – TEORIA DELLE CATEGORIE

CALOGERO, Guido

Dizionario Biografico degli Italiani (2019)

CALOGERO, Guido Mauro Visentin Nacque a Roma, il 4 dicembre 1904, da Giorgio, di origini siciliane, professore di lingua francese nelle scuole secondarie, spirito di sentimenti progressisti, di simpatie [...] a essere l’organo o lo strumento di questa disposizione alla ricerca della verità nel dialogo quanto la logica classica, si traduce nel concreto esercizio del dialegesthai. Socrate e la sua incalzante propensione dialogica, perciò, fu la figura ... Leggi Tutto
TAGS: ACCADEMIA NAZIONALE DEI LINCEI – PARTITO REPUBBLICANO ITALIANO – PARTITO SOCIALISTA ITALIANO – PARTITO NAZIONALE FASCISTA – CARLO AZEGLIO CIAMPI
Mostra altri risultati Nascondi altri risultati su CALOGERO, Guido (4)
Mostra Tutti
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