Cerca nel Forum
Mostra risultati per tag 'formale'.
Trovato 1 risultato
-
Gabriele Lolli - Introduzione alla logica formale (1991) PDF Gli argomenti trattati in questo libro costituiscono una introduzione alla disciplina che nella letteratura si trova chiamata indifferentemente con vari nomi: logica matematica, o logica simbolica, o logica formale. I tre aggettivi sono considerati di solito sinonimi; si pensa che riflettano al più sfumature culturali dovute a circostanze storiche: fino all'Ottocento si parlava di logica formale, Russell preferiva logica simbolica, Peano e i matematici hanno imposto logica matematica. In verità, se vogliamo iniziare con un esercizio di analisi concettuale fine, che è poi il motivo conduttore del corso, dobbiamo affermare che si tratta di tre cose del tutto diverse. La logica è una disciplina antichissima, la più antica forse con l'astronomia e la matematica, ma nel corso dei secoli ha avuto significati e obiettivi diversissimi. TI denominatore comune è stato lo studio, o la codifica (e non sono la stessa cosa) dei ragionamenti corretti, o accettabili, o sicuri. Ma già queste caratterizzazioni alludono a impostazioni e presupposti tra loro diversi; la logica ha svariato dalla metafisica, quando si pensava di cogliere col pensiero le determinazioni necessarie dell'essere, alla psicologia, quando si pensava di studiare o catalogare le leggi del pensiero, alla retorica politica, quando si voleva insegnare a vincere le dispute verbali: è stata di volta in volta descrittiva e normativa. Download Links https://filecrypt.cc/Container/383A4F459A.html https://www.keeplinks.co/p45/5d19b290a5a78
