LogicaComprensioneCalcoloProposizionale - Etc..

[Vincent [Partecipante] 877]

Sono tornato dal Kazakhstan qualche giorno fa.

Poi, con Yelena, siamo andati 4 giorni nei Paesi Bassi e ora siamo finalmente a casa, e quindi posso dedicare un po` di tempo a scrivere qualcosa.

Solitamente non scrivo, ma qualche messaggio privato e qualche voce dentro la mia testa, mi hanno convinto a focalizzarmi per un po` sulla scrittura.

Volevo scrivere un post su Nadya, nuovamente.

Perché' mi regala stupendi spunti di riflessione, e volevo fare un post con una piccola parte introduttiva riguardante Nadya e Yelena, e le differenze che noto in loro, per poi procedere con un discorso in generale sulla SuperDonna.

Avevo finito la parte introduttiva, ma non mi andava di continuare, troppe parole, e io non sono bravo.

Allora, ho ripreso i messaggi privati che, qualche volta, qualcuno mi manda.

Nonostante io non sia l'utente più' educato del Forum, il più' presente, piuttosto che il più' spiritoso, ricevo, in maniera costante, messaggi privati con determinate richieste.

Il 5% di questi messaggi, e` una richiesta di informazioni sulla mia persona, e più` precisamente sul mio passato.

Un altro 5% e` una richiesta di informazioni per quanto riguarda il lavoro.

Come si vive qui nel Centro-Est, la paga Media, il costo della Vita.

Il resto, solitamente, a parte qualche caso sporadico che non fa campione, sono richieste di informazioni o chiarificazioni su post, frasi, situazioni e via dicendo.

Per esempio:

"Vincent, potresti leggere questo post che ho scritto e spiegarmi?"

"Vincent, mi hanno detto questo XXXXXXXXXXXXXXX, tu che avresti risposto?"

Trovo questa pratica molto interessante, e mi fa assolutamente piacere.

Quello che non capisco e` come mai ci si rivolga a me.

Non penso di avere una capacita' così' eccezionale di pensare out-of-the-box.

Ma visto che qualcuno pensa che io abbia questa capacita', vediamo di spiegare una delle cose che mi ha appassionato in passato.

Questa "cosa" e` una parte della Logica che chiameremo Calcolo Proposizionale.

Interessante parte di tutto ciò', e` anche quello che chiameremo Ragionamento Proposizionale che niente altro e` che il ragionamento che dipende dall'utilizzo corretto delle parole:

• se;
• allora;
• o;
• non.

Bene, iniziamo.

Il Calcolo Proposizionale e` un Sistema Formale.

Che cosa e' un Sistema Formale?

Un Sistema Formale niente altro e` che un insieme di regole che permettono operazioni su alcuni oggetti, per poterne produrne altri.

Come tutti i Sistemi Formali, anche il Calcolo Proposizionale ha un elenco di simboli permessi:

• P
• Q
• R
• <
• >
• '
• ¬
• [
• ]
• VEL
• AUT
• =>

P.S: Per via del Layout di tastiera del computer, non ho potuto rappresentare correttamente VEL, AUT e l`implicazione SE-ALLORA, quindi le ho riportate a parole (VEL e AUT) mentre per l`implicazione ho fatto una freccia "grossolana".

Cosa ce ne facciamo di tutti questi simboli?

Beh, possiamo fare delle operazioni, per esempio, possiamo combinarli, e possiamo produrre qualcosa di nuovo.

Allora, diciamo che un Sistema Formale e` formato da Teoremi.

La parola Teorema, quando si parla di Sistemi Formali, va vista non con lo stesso significato che ha in Matematica, ma va visto come "stringhe di Simboli".

Questa definizione e` molto spigolosa e fara' arricciare il naso a molti, ma prendiamola per buona per mantenere semplice un argomento abbastanza spinoso.

Abbiamo quindi il nostro Calcolo Proposizionale, il quale e` un Sistema Formale, formato quindi da stringhe di simboli, i quali vengono qui visti come Teoremi del Sistema.

Come abbiamo detto sopra, possiamo, per esempio ,combinare questi simboli.

Abbiamo quindi una regola di congiunzione, la quale dice che:

"Se x e y sono teoremi del sistema, allora la stringa <x AUT y> e' un teorema."

Esempio: se "Vincent sta scrivendo sul forum" e "Vincent sta ascoltando la musica" sono due teoremi del sistema, la stringa "Vincent sta scrivendo sul forum AUT Vincent sta ascoltando la musica" e` a sua volta un nuovo teorema del sistema.

E' quindi qui chiara la funzione che AUT ha (per chiunque capisca un minimo di logica); AUT e` AND, e nel linguaggio Naturale, rappresenta la semplice "e".

Ora, lasciamo perdere per un momento le regole del nostro Sistema Formale, e parliamo un attimo di ciò` che vengono chiamate Stringhe Ben Formate, ergo il sottoinsieme dell'Insieme di tutte le Stringhe Possibili del Sistema.

P Q e R sono particelle o atomi del sistema.

' (apice) ha funzione di differenziare gli atomi/particelle in modo di averne di nuovi e potenzialmente una riserva infinita di atomi.

P'', Q'''''''', R' e via dicendo sono tutti atomi.

Tutti gli atomi sono Stringhe Ben Formate.

Per formare queste stringhe, esiste una regola semplice, che e` la Regola della Formazione, la quale dice che:

"Se x e y sono Stringhe Ben Formate, allora sono ben formate anche le seguenti quattro stringhe:

1. ¬x
2. <x AUT y>
3. <x VEL y>
4. <x => y>

"

Queste 4 stringhe possono essere combinate, così` come i simboli possono venire combinati e messi, per esempio, uno dopo l'altro, per formare stringhe apparentemente complicatissime, ma le quali possono essere semplificate facilmente applicando le regole di formazione all`indietro.

Ora, prima di passare ad altre regole, faccio una precisazione che mi rendo conto aver dimenticato all`inizio.

x e y sono variabili che rappresentano Stringhe Ben Formate, non stringhe a loro volta.

Torniamo a noi.

Esistono altre regole.

Regola di Separazione:

"Se <x AUT y> e` un teorema del Sistema, allora x e y sono a loro volta teoremi."

Regola della Doppia Negazione:

"La stringa ¬¬ può essere inserita in un qualsiasi teorema o può essere cancellata da qualsiasi teorema ogni qual volta compaia, purché` la stringa risultante sia una Stringa Ben Formata."

(Mai avuto a che fare con ragazze che abusano di doppie negazione e creano stupende contraddizioni in cui non riescono neppure loro a ritrovarsi? ;P)

A questo punto, per andare avanti, dovrei parlare di altre regole, le quali sono conosciute come Teorema di Deduzione e Modus Ponens.

Tutto ciò' porterebbe via più tempo di quanto sia possibile immaginare, anche perché andrebbe spiegata la ricorsivita'.

Diciamo in parole povere che possiamo schematizzare il Teorema della Deduzione come:

"Se x fosse un teorema, lo sarebbe allora anche y"

Mentre possiamo formalizzare leggermente meglio il Modus Ponens:

"Se x e <x AUT y> sono teoremi, allora anche y e` un teorema."

Ora vediamo più' da vicino alcuni esempi, precisando che un atomo può venire sostituito da qualsiasi enunciato della nostra lingua.

<P AUT ¬P>

Vincent e' alto 178cm e Vincent non e` alto 178cm.

<P => ¬¬P>

SE Vincent e` alto 178cm ALLORA non si da il caso che Vincent non sia alto 178cm.

la quale e` appunto uguale a

<P => P> (omettendo la doppia negazione dopo l`implicazione)

SE Vincent e` alto 178cm ALLORA Vincent e` alto 178cm.

Potrei andare avanti con altri esempi, illustrando altre regole, come la regola della Contrapposizione, di De Morgan o dell`Ing. Smisteru, ma non lo faro`, in quanto sono spiegate in maniera molto più` dettagliata su qualsiasi libro di Logica e, per esempio, sul "Godel Escher Bach".

Ora, a cosa serve tutto ciò`?

Tutto ciò e` semplicemente Logica, il che, forse, non ha molto a che fare con la seduzione.

I pochi esempi portati, sono esempi autoesplicativi, i quali sembrano avere quasi sempre nessun contenuto.

Vero.

Per di più`, per chiunque fosse interessato ad approfondire la questione, o per chiunque abbia letto i libri che più` volte cito, ci si potrebbe accorgere che difendere la Logica e il Ragionamento utilizzandoli come strumenti, e' più' difficile di quel che possa sembrare, e dopo numerose applicazioni logiche ci si ritroverà a pensare di avere ragione affidandosi alla fede.

Una persona può` prendere per vera:

"Voglio uscire con te" e "Non voglio uscire con te", dette nello stesso momento dallo stesso interlocutore che prende per vere tutti e due i teoremi?

A voi la risposta.

Il Calcolo Proposizionale si applica solitamente a concetti matematici, e quindi pochi avranno chiaro cosa questo c'entri con il forum in cui posto questo messaggio.

Sono stati pero' fatti dei tentativi per applicare alcune regole di questo Sistema Formale allo studio del pensiero umano, e il Calcolo Proposizionale può' risultare utile nella scoperta e gestione, per esempio, delle contraddizioni, per verificare la struttura di una "conversazione" e via dicendo.

Capire ciò', non porterà nessuno a farsi una HB10, probabilmente.

Potra' pero' aiutare a rendere il pensiero Lineare, a gestire delle situazioni inaspettate e a capire la mancanza logica di alcuni enunciati.

Quindi, quando qualcuno mi viene a chiedere un consiglio e mi chiede come mai riesco a essere relativamente chiaro nelle risposte e nella comprensione delle frasi, beh, la schematizzazione di pensiero che mi han dato le mie letture, sicuramente mi aiuta.

Come mi aiuta la ricorsione, come mi aiuta la teoria dei giochi (basilare) che conosco, come mi aiuta sapere mille altre cose, pur in maniera spesso grossolana essendo un autodidatta.

Per chiunque fosse interessato all'argomento logica, consiglio un qualsiasi libro introduttivo su amazon, e sicuramente il Godel, Escher, Bach, da cui gran parte del mio post prende massivamente spunto.

Buono Studio.

[Fournine [Élite] 291]

Mi permetto di segnalarti un minuscolo refuso

Forse volevi scrivere Vincent è alto 178cm o Vincent non è alto 178 cm

Ora vediamo più' da vicino alcuni esempi, precisando che un atomo può venire sostituito da qualsiasi enunciato della nostra lingua.

<P AUT ¬P>

Vincent e' alto 178cm e Vincent non e` alto 178cm.

[Vincent [Partecipante] 877]

Non pensavo che qualcuno avrebbe letto il post.
In ogni caso, il significato dell'AUT e` proprio quello di E, o AND e quindi l'enunciato che ho messo, pur non significando niente e contraddicendosi, e` formalmente giusto.

[Fournine [Élite] 291]

Non pensavo che qualcuno avrebbe letto il post.

In ogni caso, il significato dell'AUT e` proprio quello di E, o AND e quindi l'enunciato che ho messo, pur non significando niente e contraddicendosi, e` formalmente giusto.

Veramente il significato di AUT è quello di OR esclusivo, ovvero collega due proposizioni di cui solo una delle due può essere vera.

[Tyrant [Élite] 235]

Mmm Vincent perdonami ma io non ho capito proprio di che cosa stiamo parlando,che argomento e'?Mi saro' perso qualcosa,qual'e' il tuo "potere speciale"? E perche' tutta questa spiegazione mi ricorda "fondamenti di informatica: programmazione java"?

[Vincent [Partecipante] 877]

Veramente il significato di AUT è quello di OR esclusivo, ovvero collega due proposizioni di cui solo una delle due può essere vera.

Il problema e` che sono un cretino, e ho confuso AUT con ET nel post.

Chapeau e mea culpa

[Fournine [Élite] 291]

Il problema e` che sono un cretino, e ho confuso AUT con ET nel post.

Chapeau e mea culpa

figurati, se non ci si aiuta tra di noi menti analitiche