• 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
vocabolario
48 risultati
Tutti i risultati [48]
Matematica [10]
Filosofia [7]
Logica matematica [6]
Lingua [5]
Fisica [3]
Grammatica [3]
Lessicologia e lessicografia [3]
Metafisica [2]
Fisica matematica [2]
Storia della matematica [2]

Intuizionismo

Enciclopedia del Novecento (1978)

Intuizionismo AArend Heyting di Arend Heyting Intuizionismo sommario: 1. Concetti fondamentali.  2. Aritmetica elementare.  3. Il principio del terzo escluso. 4. I numeri reali. 5. Ineguaglianza e separazione [...] dimostrazione di P → Q consiste in un metodo generale che trasformi ogni data dimostrazione di P in una dimostrazione di Q. Quantificatore universale. Una dimostrazione di ∀xP(x), dove il dominio di x è la specie S, consiste in un metodo M che porti ... Leggi Tutto
TAGS: TEOREMA DI BOLZANO-WEIERSTRASS – PRINCIPIO DEL TERZO ESCLUSO – QUANTIFICATORE UNIVERSALE – LIMITE DI UNA SUCCESSIONE – CORRISPONDENZA BIUNIVOCA
Mostra altri risultati Nascondi altri risultati su Intuizionismo (3)
Mostra Tutti

Logica

Enciclopedia del Novecento (1978)

Logica CChaïm Perelman di Chaïm Perelman Logica sommario: 1. La concezione ‛formale' della logica: lo studio delle verità logiche: a) l'oggetto della logica e la tradizione aristotelica; b) l'antipsicologismo [...] logica, e in particolare i segni che indicano la somma logica, l'implicazione e l'equivalenza, nonché il quantificatore universale (‛per ogni X'). Per completare l'arsenale del logico, Quine vi aggiunge la logica dell'identità (‛='), definita dall ... Leggi Tutto
CATEGORIA: LOGICA
TAGS: PRINCIPIO DEL TERZO ESCLUSO – TEORIA DELLA DIMOSTRAZIONE – ARTICOLO DETERMINATIVO – RAGIONAMENTO INDUTTIVO – RAGIONAMENTO DEDUTTIVO
Mostra altri risultati Nascondi altri risultati su Logica (9)
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 [...] , la logica di Frege era un calcolo dei predicati del secondo ordine, che utilizzava negazione, implicazione e quantificatore universale come operatori logici di base, e conteneva un sistema completo per il calcolo proposizionale e dei predicati del ... 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 [...] quindi nozioni duali tra loro e manifestano una relazione analoga a quella che intercorre tra quantificatore universale e quantificatore esistenziale. Lewis e Langford non erano però tassativi circa le proprietà logiche delle nozioni simbolizzate ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: GEORG WILHELM FRIEDRICH HEGEL – PRINCIPIO DEL TERZO ESCLUSO – QUANTIFICATORE UNIVERSALE – GOTTFRIED WILHELM LEIBNIZ – RELAZIONE DI EQUIVALENZA

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 [...] intuizionista neutro, in cui ci si limita alla polarità 0 e si considerano solo i connettivi , ⊃ e il quantificatore universale intuizionista. Ultimo è il frammento lineare che utilizza tutte le polarità e i connettivi lineari. Entro LU i vari ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: FUNZIONE RICORSIVA PRIMITIVA – TEORIA DELLA DIMOSTRAZIONE – QUANTIFICATORE UNIVERSALE – LOGICA DEL PRIMO ORDINE – TEORIA DELLE CATEGORIE

Logica e leggi del pensiero

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

Claudio Fiocchi Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook Gli straordinari sviluppi della logica dell’Ottocento vanno visti alla luce della coeva [...] . Nella teoria logica di Frege la differenza fra 5) e 6) è facilmente esprimibile esplicitando il campo d’azione dei quantificatori universale ed esistenziale. Le proposizioni 5) e 6) sono formalizzate in questo modo: 5’) ∀x (U(x) → ∃y (D(y) ∧ A ... Leggi Tutto

binomi irreversibili

Enciclopedia dell'Italiano (2010)

I binomi irreversibili sono locuzioni composte da due parole appartenenti alla medesima categoria e unite da una congiunzione, che presentano solitamente un ordine fisso (equo e solidale, gratta e vinci) [...] , che corrispondono alla somma di A e B (frutta e verdura); (b) binomi generalizzanti, che equivalgono a un quantificatore universale (a destra e a manca nel significato di «ovunque»); (c) binomi collettivi, formati da due rappresentanti tipici di ... Leggi Tutto
CATEGORIA: LESSICOLOGIA E LESSICOGRAFIA
TAGS: QUANTIFICATORE UNIVERSALE – IMMAGINARIO COLLETTIVO – PREPOSIZIONI – AGGETTIVI – NEW YORK

superlativo

Enciclopedia dell'Italiano (2011)

Il superlativo è insieme al comparativo (➔ comparativo, grado) un grado degli ➔ aggettivi e degli ➔ avverbi, che segnala che la proprietà espressa dall’aggettivo o dall’avverbio è intensificata al massimo [...] tra tutti quelli rilevanti nella situazione comunicativa in cui è pronunciato l’enunciato). Per evidenziare il valore di quantificatore universale si può posporre l’avverbiale invariabile possibile: i pendolini sono i più veloci possibile. Con la sua ... Leggi Tutto
CATEGORIA: GRAMMATICA
TAGS: SECONDO TERMINE DI PARAGONE – QUANTIFICATORE UNIVERSALE – ARTICOLO DETERMINATIVO – PENDOLINO – AGGETTIVO

quantificatori

Enciclopedia dell'Italiano (2011)

Il termine quantificatori indica una serie di espressioni che forniscono informazioni quantitative sui referenti del nome a cui si collegano e, di conseguenza, sulla frase all’interno della quale quel [...] es., Andorno 2003: 23 segg.) è quella, mutuata dalla logica, basata sull’ambito in cui operano i quantificatori. Troviamo così quantificatori universali, che si riferiscono a tutti gli individui della classe considerata (come tutto, ogni, ecc.), e ... Leggi Tutto
CATEGORIA: GRAMMATICA – LESSICOLOGIA E LESSICOGRAFIA
TAGS: QUANTIFICATORE UNIVERSALE – ARTICOLO DETERMINATIVO – GRAMMATICA GENERATIVA – SINTAGMI NOMINALI – LONGOBARDI

secondo ordine, teoria del

Enciclopedia della Matematica (2013)

secondo ordine, teoria del secondo ordine, teoria del in logica, locuzione utilizzata per contraddistinguere una particolare categoria di teorie matematiche formalizzate. Formalizzare una teoria significa [...] minore di tutti gli altri». Per la sua formalizzazione non basta una teoria del primo ordine perché il quantificatore universale (per ogni) viene applicato non alle singole variabili, cioè ai numeri naturali, ma agli insiemi di numeri naturali ... Leggi Tutto
TAGS: PRINCIPIO DI → INDUZIONE MATEMATICA – INSIEME DEI NUMERI NATURALI – QUANTIFICATORE UNIVERSALE – TEORIA DEL PRIMO ORDINE – REGOLE DI → INFERENZA
Mostra altri risultati Nascondi altri risultati su secondo ordine, teoria del (6)
Mostra Tutti
1 2 3 4 5
Vocabolario
universale¹
universale1 universale1 agg. [dal lat. universalis, der. di universus: v. universo1]. – 1. a. Che riguarda tutto l’universo, che si estende o è valido per l’intero universo fisico (nell’accezione scient. di questo termine): legge dell’attrazione...
quantificatore
quantificatore quantificatóre agg. e s. m. [der. di quantificare]. – 1. In logica matematica, operatore che viene premesso a una variabile e che indica quanti oggetti (fra quelli che possono venire indicati dalla variabile) godono di una data...
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