Davide Bondoni eBooks
eBooks di Davide Bondoni
Davide Bondoni si è laureato in filosofia all’Università degli studi di Milano per poi conseguire il dottorato di ricerca in Logica ed epistemologia all’Università ‘La Sapienza’ di Roma. I suoi interessi si dirigono verso la storia della logica e verso la figura di Ernst Schröder in particolare.
Davide Bondoni is an Italian independent scholar in the field of logic and algebraic logic with a particular interest in the German mathematician Ernst Schröder. His recent paper Structural Features in Ernst Schröder’s Work is aimed to define a possibile philosophy of mathematics underlying Schröder’s various investigations.
On the formal elements of the absolute algebra. E-book. Formato PDF Davide Bondoni - Led Edizioni Universitarie, 2012 -
This book is the first worldwide English translation of Schröder’s «Über die formalen Elemente der absoluten Algebra» (1874), a text as epiphanic as unknown to the general non German reader. Occasioned like a simple support for the students of the Gymnasium in Baden-Baden, this text is indeed the pivot of all Schröder’s activity in mathematics and logic which culminates in a formal algebra of connections whose elements are spoiled of any sort of (semantic) meaning. As a matter of fact, Schröder’s theory of relations arose in the broader context to build up a mathematical and formal structure in which only the relations among the elements are to survive. Given the formal character of this structure, one can search for possible interpretations of it. As easily seen, we are not so far from a naive modern model theory. Furthermore, this booklet marks the passage in Schröder’s investigations from a purely mathematical engagement to a logical-mathematical one. From this point of view, the calculus of relations is only a possible interpretation of a more general discipline (a universal algebra) and not a topic in itself. Schröder was and remained until his death a pure mathematician who used logic as a temporary tool to dig in the concept of absolute algebra, his authentic vocation (as he himself admitted one year before dying).
Parafrasi schröderiane: Ovvero: Ernst Schröder, Le operazioni del calcolo logico. E-book. Formato PDF Davide Bondoni - Led Edizioni Universitarie, 2012 -
Questo volume presenta la prima traduzione italiana dell’Operationskreis des Logikkalkuls schröderiano, che costituisce il primo contributo significativo del matematico tedesco all’algebra della logica. Schröder enuncia qui nel solo spazio di 37 pagine ciò di cui si occuperà nelle opere successive. In particolare sottolinea l’importanza cruciale del problema della soluzione, che rimarrà fino alla fine dei suoi giorni il tema principale dei suoi lavori, evidenziando una vocazione algebrica che non verrà mai meno, nonostante le dichiarazioni di volersi emancipare completamente dalla matematica. Una serie di note e interpolazioni corredano il testo, chiarendo di volta in volta i passaggi oscuri o troppo compressi. In appendice si riportano alcuni articoli di difficile reperibilità e stralci da opere di Boole, Peirce e Frege inerenti al cuore del lavoro di Schröder. Una nota sul rapporto tra sviluppo di funzione booleano e serie di Taylor chiude il volume. Al termine, un elenco di tutti gli enunciati schröderiani in veste moderna permette al lettore di avere un quadro d'insieme del testo tradotto e di ritrovare con facilità i risultati.
La teoria delle relazioni nell'algebra della logica schroederiana. E-book. Formato PDF Davide Bondoni - Led Edizioni Universitarie, 2012 -
In questo breve volumetto vengono messi a fuoco alcuni risultati importanti ottenuti da Ernst Schröder nel calcolo dei relativi. In particolare, viene messo in evidenza come il fulcro della traduzione della teoria delle catene in termini di relazioni sia costituito dalla presa di coscienza che la più piccola catena contenente un dato insieme coincide con la chiusura riflessivo-transitiva di una relazione. Inoltre, vengono fornite interpretazioni nuove sul rapporto tra Schröder e Pierce a proposito dell'Auflösungsproblem e sull'impegno di Tarski nel calcolo dei relativi.