M eBooks
eBooks di Titolo M con argomento Logica
Modelli della spiegazione scientifica. E-book. Formato PDF Alberto Peruzzi - Firenze University Press, 2010 -
Qual è la struttura di una spiegazione scientifica? Quanti tipi di spiegazione ci sono? La scienza offre davvero spiegazioni? Dal modello tradizionale, secondo cui "spiegare" significa "trovare le cause" si è passati al modello nomologico-deduttivo (ND), introdotto da Hempel e Oppenheim nel 1948, che fa di una spiegazione un'inferenza logica tratta da leggi e condizioni specifiche, senza alcun riferimento alle cause. Il modello ND è stato poi integrato da spiegazioni statistico-induttive, ma le obiezioni mosse al modello da Salmon hanno stimolato, negli ultimi decenni, proposte di modelli alternativi, fra i quali il modello pragmatico e quello "unificazionista", fino al recupero della nozione di causa da parte dello stesso Salmon. In quest'opera si analizzano i problemi epistemologici concernenti la spiegazione, giungendo a recuperare quel legame fra spiegazione e verità che nel Novecento si era cercato di eliminare.
Mathematical Logic for Computer Science. E-book. Formato PDF Paola Spoletini - Società Editrice Esculapio, 2020 -
In the recent decades mathematical logic has become more and more important in computer science and, in general, in system engineering. In fact, by definition, it is the wey of expressing our reasoning in terms of mathematical formalism, thus supplying it with the typical rigor and precision of mathematics. Not by chance, automatic information processing is now pervasive and we find it practically in any human activity and artefact, from embedded, safety-critical systems, to e-commerce, to social networks, etc. Such a pervasiveness and the consequent heterogeneity of the involved systems mandate much more generality in the formalism supporting the engineering activity than traditional specialized models such as, e.g., those for electric circuits and mechanical engines: mathematical logic, paired with computer applications, provides such generality.