ESPRESSIONE LOGICA DEI DOPPI QUANTIFICATORI

Una delle distinzioni logiche che dovremmo avere presente è quella fra “Esiste almeno un x per ogni y” e “Per ogni y esiste almeno un x”. All’apparenza è solo uno scambio dei quantificatori “per ogni y” “esiste almeno un x”; in realta il primo dice molto più del secondo. Facciamo un esempio. Confrontiamo “Esiste almeno un x per ogni y tale che x è il padre e y il figlio”, cioè “esiste un unico padre per tutti i figli”. La seconda diventa “per ogni y esiste almeno un x tale che x è il padre e y il figlio”, cioè “ogni figlio ha almeno un padre”. E’ chiaro che la seconda è vera, mentre la prima è molto più forte ed è falsa.

Annunci

2 commenti

Archiviato in FILOSOFIA DELLA SCIENZA

2 risposte a “ESPRESSIONE LOGICA DEI DOPPI QUANTIFICATORI

  1. alfredo

    Altro esempio. Esiste almeno un x per ogni y tale che x è il “post” (di Vincenzo) e y il “no comment”(di Alfredo)…

  2. Antonello

    Esistera’ da qualche parte un programma (oppure a chi rivolgersi per farne cosruire uno ad hoc?) che ci permetta di scrivere i simboli logici sulla tastiera, in modo tale da esprimere i quantificatori, o qualsivoglia altro concetto, senza dover usare il linguaggio comune ?

Rispondi

Inserisci i tuoi dati qui sotto o clicca su un'icona per effettuare l'accesso:

Logo WordPress.com

Stai commentando usando il tuo account WordPress.com. Chiudi sessione / Modifica )

Foto Twitter

Stai commentando usando il tuo account Twitter. Chiudi sessione / Modifica )

Foto di Facebook

Stai commentando usando il tuo account Facebook. Chiudi sessione / Modifica )

Google+ photo

Stai commentando usando il tuo account Google+. Chiudi sessione / Modifica )

Connessione a %s...