Visualizza un messaggio singolo
Vecchio 22-05-16, 09:35   #3
nino280
Utente Super
 
L'avatar di nino280
 
Data di registrazione: Dec 2005
Ubicazione: Torino
Messaggi: 8,081
Predefinito Re: Miscellanea (Scienze Varie)

Era certamente falsa.
Io ricordo vagamente la Logica Pura che mi pare Russell ne sia stato una specie di fondatore, o almeno ha scritto molto in proposito.
Nella Logica vado a memoria ci sono delle regole con . . . (non so come chiamarli) faccio prima a fare qualche esempio.
Alcuni:
Per Ogni (e c'è il simbolo che vale per ogni diciamo il simbolismo della logica). Poi ancora:
Esiste Almeno (simbolo, se no ricordo male E ma al contrario)
Quindi (tre puntini a 120° come un triangolo equilatero)
Implica (freccia verso destra)
E' Contenuto, Appartiene, bon ce ne sono molti smetto.
Per concludere non è che di tutte le cose bisogna sempre cadere nella statistica o nella percentuale o ancora nella probabilità.
L'enunciato del pollo andava scritto in un altro modo per essere vero.
Per esempio (non prenderlo alla lettera ho dimenticato queste letture e non sono un logico affermato) il tacchino avrebbe concluso
Ogni giorno mi arriva il mangime
Esiste almeno un giorno (vigilia di Natale) che l'enunciato non è vero
Nota che Esiste Almeno è un simbolo ed un concetto della logica.
Poi bisogna vedere a che ora la vigilia di natale il tacchino è stato sgozzato e non sappiamo se lui ha capito che l'enunciato era vero oppure falso, ma dopo morto non lo poteva sapere e tante altre cose.
Se solo un giorno il tacchino viene ammazzato, l'enunciato è falso, e per una volta tanto lasciamo stare le statistiche e le probabilità.
Il tacchino veniva nutrito e non è morto di morte naturale. Dipendeva da altri, quindi lui pensava che era una legge naturale, pensiero sbagliato.
Ciao

Un esempio di utilizzo del quantificatore esistenziale è il seguente:

che si legge "per ogni x esiste una y tale che x al quadrato è uguale a y". Esistono naturalmente anche numerosi altri usi, dove ∃ può assumere anche il significato di qualche (in opposizione a ∀, che vuol dire tutti); spesso lo si usa unito ad altri simboli di logica matematica, quali et, vel o non.
P.S.Ho parlato della E al contrario, sono andato a cercarla, qui parlano della E invertita più propriamente detto "Quantificatore Esistenziale", da notare anche la A capovolta, che si legge "Per Ogni".
Niente, era solo un piacevole ricordo di letture giovanili e ora da me completamente seppellite.



Il Quantificatore Esistenziale.
Ma Godel aveva "quantificato" il Quantificatore Esistenziale"?
Strani intrecci, oggi (non ricordo già più, forse ieri) facevo zapping in rete ho visto la storiella del tacchino, non so per quale motivo, non la conoscevo, mi è piaciuta e lo pubblicata.
Questo senza volerlo mi ha portato alla Logica, la logica ai quantificatori ed i quantificatore a Godel che ho parlato 4 o 5 giorni fa. Non ho ancora riposto il libro su Godel che ho segnalato, cerco e mi rispondo:
il quantificatore esistenziale la E invertita (esiste almeno un ..... tale che) ha 4 come numero di Godel
Ciao

Ultima modifica di nino280 : 04-08-16 07:58.
nino280 non in linea   Rispondi citando