operatore

Enciclopedia on line

Biologia In genetica, tratto di DNA che fa parte di un operone e condiziona la trascrizione dei geni strutturali immediatamente adiacenti (➔ operone). Filosofia In filosofia analitica, un’espressione [...] vero, ∃x(x+5=7), cioè «esiste un x (nell’insieme dei numeri reali), tale che x+5=7». Si dimostra che tutti i quantificatori possono ridursi ai primi due, anzi a uno qualunque di essi, in quanto valgono le due relazioni ∀x Px ↔ Ó ∃x (Ó Px), ∃x ... Leggi Tutto

CATEGORIA: ANTROPOLOGIA FISICA – GENETICA – MESTIERI E PROFESSIONI – FISICA MATEMATICA – MECCANICA QUANTISTICA – ANALISI MATEMATICA – LOGICA MATEMATICA – FILOSOFIA DEL LINGUAGGIO – METAFISICA

TAGS: QUANTIFICATORE ESISTENZIALE – GEOMETRIA DIFFERENZIALE – MECCANICA QUANTISTICA – SISTEMI DIFFERENZIALI – ANELLO DEI POLINOMI

modalità

Enciclopedia on line

Matematica Nella logica, ciascuno dei modi con cui può configurarsi il nesso fra soggetto e predicato. Nella sillogistica aristotelica, i giudizi erano distinti a seconda che il nesso che univa il soggetto [...] ). Un sistema di logica modale può essere enunciativo (basato su un linguaggio senza quantificatori) o quantificato (basato su un linguaggio con quantificatori). Il linguaggio formale per i sistemi di logica modale enunciativa, ossia il linguaggio ... Leggi Tutto

CATEGORIA: LOGICA

TAGS: LINGUAGGIO FORMALE – LOGICA MATEMATICA – ETNOMUSICOLOGIA – SILLOGISTICA – ARISTOTELICA

linguaggio

Dizionario delle Scienze Fisiche (1996)

linguaggio linguàggio [Der. di lingua] [LSF] Il mezzo con cui gli uomini si scambiano reciprocamente informazioni; tale scambio, i cui veicoli (vocaboli) sono simboli di significato noto agli interlocutori, [...] gli oggetti, predicative per denotare gli attributi, ecc.) e simboli di termini sincategorematici (come connettivi e quantificatori); in essi si definiscono in modo inequivoco le espressioni possibili (formule bene formate) costituite a partire dai ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – EPISTEMOLOGIA – METAFISICA – ELETTRONICA

proposizione

Dizionario delle Scienze Fisiche (1996)

proposizione proposizióne [Der. del lat. propositio -onis, dal part. pass. propositus di proponere "mettere avanti", comp. di pro- e ponere "porre"] [ALG] [FAF] Nella logica matematica, enunciazione [...] . semplici) e connettivi; se le p. fossero espresse anche mediante predicati e, oltre ai connettivi, si usassero anche quantificatori, si avrebbe il calcolo dei predicati. ◆ [ALG] [FAF] Legge delle p. inverse: una delle leggi proposizionali (v. sopra ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

Frege, Gottlob

Enciclopedia on line

Filosofo e matematico tedesco (Wismar 1848 - Bad Kleinen, Meclemburgo, 1925); insegnò lungamente a Jena; erano gli anni in cui scienziati illustri come K. Weierstrass, J. W. R. Dedekind, G. Cantor davano [...] , espressa, sul piano logico-linguistico, da una funzione proposizionale, cioè un'espressione con una variabile non vincolata da quantificatori (per es., "x è un numero primo") e che, prendendo oggetti come argomenti, assume come valore il vero ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: FILOSOFIA DEL LINGUAGGIO – LOGICA MATEMATICA – WISMAR – JENA

matrice

Dizionario delle Scienze Fisiche (1996)

matrice matrice [Der. del lat. matrix -icis "utero, madre"] [LSF] Raro nel signif. di cosa da cui se ne trae un'altra, indica in genere, concret., la struttura principale di un corpo, nella quale eventualmente [...] da D. Hilbert nella teoria delle equazioni integrali). ◆ [ALG] [FAF] Nella logica matematica: (a) espressione priva di quantificatori, contraddistinta da un punto esclamativo collocato subito dopo di essa; precis., data una espressione predicativa in ... Leggi Tutto

CATEGORIA: ELETTROLOGIA – FISICA ATOMICA E MOLECOLARE – FISICA DEI SOLIDI – FISICA MATEMATICA – FISICA NUCLEARE – MECCANICA QUANTISTICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – ANALISI MATEMATICA – EPISTEMOLOGIA – METAFISICA – ELETTRONICA

lineare

Dizionario delle Scienze Fisiche (1996)

lineare lineare [agg. Der. del lat. linearis, da linea] [LSF] Inerente a una linea, in partic : (a) che è costituito o è schematizzabile da una linea (per lo più retta) o che si sviluppa prevalentemente [...] della logica matematica (e quindi anche dell'informatica) che si propone un'analisi più profonda dei connettivi e dei quantificatori (per es., i connettivi della logica l. permettono di precisare l'ordine secondo cui vanno enunciate le ipotesi di ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – METROLOGIA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – ANALISI MATEMATICA – EPISTEMOLOGIA – METAFISICA – ELETTRONICA

NEOPOSITIVISMO

Enciclopedia Italiana - IV Appendice (1979)

NEOPOSITIVISMO (App. III, 11, p. 235) Paolo Filiasi Carcano R. Carnap e l'eredità del positivismo logico. - Il n. nel senso stretto della parola (come, cioè, quel movimento di logica e filosofia della [...] appaiono nel linguaggio sotto la forma di "esistono alcuni " o "tutti"): da un punto di vista informazionale, questi quantificatori contengono l'indicazione di aver trovato in qualche modo la risposta a un'attività di ricerca; vengono così ricondotti ... Leggi Tutto

TAGS: FILOSOFIA DEL LINGUAGGIO – FILOSOFIA DELLA SCIENZA – LINGUISTICA STRUTTURALE – FILOSOFIA ANALITICA – LOGICA MATEMATICA

categoria

Enciclopedia on line

Diritto C. e qualifiche professionali Sistema di classificazione volto a identificare e raggruppare i vari profili professionali, in modo da delineare il regime giuridico ed economico cui è sottoposto [...] tra le c. sintattiche è quella tra ‘funtori’ e ‘argomenti’. Tra i funtori si annoverano i connettivi e i quantificatori, tra gli argomenti i nomi propri e gli enunciati. Sono detti categoriali i simboli che servono a rappresentare una determinata c ... Leggi Tutto

CATEGORIA: FILOSOFIA DEL LINGUAGGIO – LINGUISTICA GENERALE – TEMI GENERALI – DIRITTO DEL LAVORO – STORIA E FILOSOFIA DEL DIRITTO – DOTTRINE TEORIE E CONCETTI – FILOSOFIA DEL DIRITTO

TAGS: CONTRATTAZIONE COLLETTIVA – COMPOSIZIONE DI FUNZIONI – ORGANIZZAZIONE AZIENDALE – APPLICAZIONI CONTINUE – TEORIA DEGLI INSIEMI

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 [...] di dimostrare i teoremi a partire dagli assiomi. Ma, non appena si introducono in questa logica variabili individuali e quantificatori, le cose rischiano di complicarsi. Infatti, se le espressioni ben formate devono avere un senso in virtù delle sole ... Leggi Tutto

CATEGORIA: LOGICA

TAGS: PRINCIPIO DEL TERZO ESCLUSO – TEORIA DELLA DIMOSTRAZIONE – ARTICOLO DETERMINATIVO – RAGIONAMENTO INDUTTIVO – RAGIONAMENTO DEDUTTIVO