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.
Quantificatoreuniversale. Una dimostrazione di ∀xP(x), dove il dominio di x è la specie S, consiste in un metodo M che porti ...
Leggi Tutto
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 quantificatoreuniversale (‛per ogni X'). Per completare l'arsenale del logico, Quine vi aggiunge la logica dell'identità (‛='), definita dall ...
Leggi Tutto
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 quantificatoreuniversale come operatori logici di base, e conteneva un sistema completo per il calcolo proposizionale e dei predicati del ...
Leggi Tutto
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 quantificatoreuniversale e quantificatore esistenziale.
Lewis e Langford non erano però tassativi circa le proprietà logiche delle nozioni simbolizzate ...
Leggi Tutto
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 quantificatoreuniversale intuizionista. Ultimo è il frammento lineare che utilizza tutte le polarità e i connettivi lineari. Entro LU i vari ...
Leggi Tutto
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 quantificatoriuniversale ed esistenziale. Le proposizioni 5) e 6) sono formalizzate in questo modo:
5’) ∀x (U(x) → ∃y (D(y) ∧ A ...
Leggi Tutto
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 quantificatoreuniversale (a destra e a manca nel significato di «ovunque»);
(c) binomi collettivi, formati da due rappresentanti tipici di ...
Leggi Tutto
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 quantificatoreuniversale si può posporre l’avverbiale invariabile possibile: i pendolini sono i più veloci possibile.
Con la sua ...
Leggi Tutto
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ì quantificatoriuniversali, che si riferiscono a tutti gli individui della classe considerata (come tutto, ogni, ecc.), e ...
Leggi Tutto
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 quantificatoreuniversale (per ogni) viene applicato non alle singole variabili, cioè ai numeri naturali, ma agli insiemi di numeri naturali ...
Leggi Tutto
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
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...