Logica modale e metafisica

In questo volume sono raccolti gli articoli che dal 1986 al 2013 Mauro Mariani ha dedicato alla logica aristotelica, in particolare al tema della modalità sia nelle sue relazioni con la logica temporale, sia come sistema deduttivo formalizzato nella sillogistica modale. La logica novecentesca ha avuto in prevalenza un atteggiamento ambivalente nei confronti della sillogistica categorica aristotelica, apprezzata certo per il suo carattere di teoria formalizzata sufficientemente rigorosa, ma ritenuta gravemente limitata (in pratica un frammento del calcolo dei predicati monadico). Ma l’apprezzamento non si estendeva alla logica modale, ritenuta per lo più confusa e fondamentalmente incoerente. Solo in un secondo tempo alcuni autori (A. Becker, J. Łukasiewicz, J. Corcoran, T. Smiley, M. White, P. Thom, per citarne solo alcuni) hanno cercato di formalizzare la sillogistica categorica e la logica modale iuxta propria principia, non solo come frammento in ultima analisi poco interessante di una logica più sviluppata. Pur riconoscendo i meriti di questa  impostazione, negli articoli raccolti in questo volume si è scelto (facendo tesoro dell’insegnamento di V. Sainati) di privilegiare altri aspetti delle opere logiche aristoteliche ed  evidenziarne le tensioni interne, derivanti in massima parte dalla metafisica e dall’epistemologia. Infatti gli argomenti affrontati (anche in più di un articolo) sono soprattutto il rapporto tra modalità e tempo (la famosa battaglia navale, e non solo), le diverse nozioni di necessità all’opera nella sillogistica modale, gli stretti rapporti tra semantica e metafisica e le difficoltà che ne derivano.

Mauro Mariani (Bologna 1949) ha studiato filosofia presso la Scuola Normale e si è laureato nel 1972 con Francesco Barone. Ha insegnato logica e storia della logica presso il Dipartimento di Filosofia dell’Università di Pisa. Autore dei volumi Introduzione a Frege, Teoria degli insiemi (con Paolo Casalegno) e Argomenti di logica (con Carlo Marletti ed Enrico Moriconi), le sue ricerche hanno però riguardato soprattutto la semantica della logica modale e la logica aristotelica.