Cerca in:
quantificatore
Dizionario delle Scienze Fisiche (1996)
quantificatore
quantificatóre [Der. di quantificare "introdurre elementi quantitativi", comp. di quant(ità) e del tema del lat. facere "fare"] [ALG] [FAF] Nella logica matematica, operatore che viene [...] quelli rappresentati dalla variabile, godono di una certa proprietà, di solito indicata da un predicato; precis.: (a) q. universale, di simb. ∀ (l'iniziale rovesciata dell'ingl. all "tutti"), che significa "qualunque sia, ogni"; (b) q. esistenziale ...
Leggi Tutto
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 [...] , cioè «per ogni x, (se x è uomo) x è vivente»; tale enunciato risulta evidentemente vero. Se si quantifica universalmente il secondo esempio (dove l’insieme universale è quello dei numeri reali) si ha ∀x(x+5=7), che è un enunciato falso. Il secondo ...
Leggi Tutto
Ramsey, Frank Plumpton
Enciclopedia on line
Filosofo e logico inglese (Cambridge 1903 - ivi 1930). Prof. all'università di Cambridge, conosciuto soprattutto per la sua analisi critica dei Principia mathematica di B. Russell e A. N. Whitehead, R. [...] è espressa la teoria tutte le costanti designanti entità teoriche con opportune variabili e applicando quindi il quantificatore universale. Le asserzioni quantificate così ottenute implicano le stesse conseguenze osservative del sistema di assiomi di ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Semantica
Enciclopedia Italiana - VI Appendice (2000)
Semantica
Giulio Lepschy
(XXXI, p. 334; App. III, ii, p. 692; IV, iii, p. 298)
Ciò che caratterizza gli studi di s. negli ultimi decenni del 20° secolo è la convergenza di due filoni di ricerca precedentemente [...] aspetti), dei cosiddetti verbi modali ('potere', 'dovere', 'volere'), e dei quantificatori (il quantificatore esistenziale 'qualche', e il quantificatore universale 'ogni'). La logica tradizionale riconosce la distinzione fra "necessità" (indicata ...
Leggi Tutto
CATEGORIA:
LINGUISTICA GENERALE
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
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
Verità
Enciclopedia Italiana - VI Appendice (2000)
Verità
Massimo Dell'Utri
(XXXV, p. 164)
In sintonia o in contrasto con la tradizione, buona parte della riflessione novecentesca sul concetto di v. può essere vista come un tentativo di esplicitare [...] '(∀p) (se egli dice p, allora p è vera)', in cui la variabile p sta per proposizione e il quantificatore universale posto all'inizio si legge come al solito 'per ogni'; applicando poi al conseguente dell'enunciato condizionale lo stesso ragionamento ...
Leggi Tutto
CATEGORIA:
DOTTRINE TEORIE E CONCETTI
universale
Dizionario delle Scienze Fisiche (1996)
universale
universale [agg. e s.m. Der. del lat. universalis, da universus "tutto intero"] [FTC] Qualifica di dispositivi o apparecchi che: (a) possono essere usati in condizioni diverse di alimentazione [...] di un attacco che gli consente di essere usato su macchine fotografiche di marca diversa. ◆ [ALG] [FAF] Quantificatore u.: → quantificatore. ◆ [FTC] [EMG] Strumento u.: nell'elettrotecnica e nell'elettronica, lo stesso che analizzatore elettrico o ...
Leggi Tutto