Descrizione
Il presente lavoro realizza la prima fase di un programma più ampio volto alla costruzione di una logica intensionale
dell’azione, enunciativa e predicativa. Una tale logica è considerata qui come indipendente da altre logiche tradizionalmente ad essa connesse quali, ad esempio, la logica deontica. In particolare viene sviluppata formalmente la logica per vari tipi di azione: azioni produttive, azioni di mantenimento, azioni di astensione, e la logica dei risultati di questi tipi. Nell’ambito del dibattito filosofico tra “unificatori” e “moltiplicatori”, il libro espime la volontà di costruire la logica dell’azione su posizioni unificatrici e su un principio denominato Tesi di separazione, necessario per poter interpretare correttamente le formule dei calcoli presentati.
Recensioni
Ancora non ci sono recensioni.