TIRANDO LE FILA DALLA LOGICA ENUNCIATIVA ALLA DEDUZIONE NATURALE
Ott 24[ad#Ret Big] Tiriamo un po’ le fila, sempre seguendo il libro di Berto, di cui vediamo lo sponsor a bordocampo, mentre attendiamo che la mia disoccupazione mi dia la voglia di produrre il secondo et migliorato et potenziato, ovviamente bellissimo, quaderno di logica (di filosofiablog.it) in cui si riassumono i post sulla deduzione naturale più le aggiunte, correzioni e i vostri tantissimi...
REGOLA DI INTRODUZIONE DELL’IDENTITA’
Ott 17[ad#Ret Big] Questa è semplice ed è anche l’ultima della lista, poi ci tiriamo un gran segno sopra e lunedì proviamo l’esame in aula “M” dalle otto e zero zero ad oltranza emotiva fino ad un massimo di due ore e trenta spaccate. Che ricordi! Ero più giovane, più giovani le mie coetanee, più capelli sulla mia testa, e Deva era ancora nei pensieri del Demiurgo o chi per lui… Poi ci...
REGOLA DI ELIMINAZIONE DELL’IDENTITA’
Ott 10[ad#Ret Big] Basta con questo futile ironizzare sui quattro gatti che leggono questi post, ricordatevi che la divinità alla fine dei tempi vi chiederà queste nozioni per consentirvi l’accesso all’eterno parcheggio bacchico, et allor voi cosa risponderete? Comunque siamo quasi alla fine del nostro percorso nella logica predicativa, sto studiando per portavi su più lontane e bianche,...
PROPRIETA’ DEI QUANTIFICATORI 2, “LA VENDETTA ESISTENZIALE”
Set 19[ad#Ret Big] Dopo aver sorbito un bicchiere colmo di arido dolore e risentimento per tutta l’attesa di un nuovo post logico in queste ultime due settimane, ritorna, come i brufoli sulla fronte di voi bellissimi giovani che mi leggete ( e di voi bellissimi non-più-giovani con la fronte liscia e scapelluta come la mia) l’appuntamento così atteso con la logica del primo ordine. Leggendo le...
LOGICA FORMALE 37: PROPRIETA’ DEI QUANTIFICATORI
Set 05[ad#Ret Big] Visioneremo alcune proprietà dei quantificatori, in accordo con la strato-multimega-combo-typhon-retrosondante-annichilente manovra finanziaria bipartisan, anche questo post, per solidarietà, sarà esposto in forma ridotta. Ma già vi prometto che mi farò perdonare scrivendo di più la prossima volta! Vi sono in primo luogo degli schemi che concernono lo scambio dei quantificatori...
LOGICA FORMALE 36: REGOLA DI INTRODUZIONE DELL’ESISTENZIALE
Ago 29[ad#Ret Big] È stato come destarsi da un lungo sonno, ancora mezzi addormentati. È stato come emergere dall’acqua della piscina nel meriggio del caldo agosto dopo aver a lungo trattenuto il fiato, e lì, in un cantuccio della vostra mente, sorpresi, avete ritrovato quello spiffero freddo tagliente dell’autunno alle porte nel ritrovarvi assetati della conoscenza logica. Quella conoscenza che...