Barry Smith an sich

Festschrift in Honor of Barry Smith on the occasion of his 65th Birthday. Published as issue 4:4 of the journal Cosmos + Taxis: Studies in Emergent Order and Organization. Includes contributions by Wolfgang Grassl, Nicola Guarino, John T. Kearns, Rudolf Lüthe, Luc Schneider, Peter Simons, Wojciech Żełaniec, and Jan Woleński

Quine and Quantified Modal Logic – Against the Received View

The textbook-like history of analytic philosophy is a history of myths, re-ceived views and dogmas. Though mainly the last few years have witnessed a huge amount of historical work that aimed to reconsider our narratives of the history of ana-lytic philosophy there is still a lot to do. The present study is meant to present such a micro story which is still quite untouched by historians. According to the received view Kripke has defeated all the arguments of Quine against quantified modal logic and thus it became a respectful tool for philosophers. If we accept the historical interpreta-tion of the network between Quine, Kripke and modal logic, which is to be presented here, we have to conclude that Quine’s real philosophical animadversions against the modalities are still on the table: though Kripke has provided some important (formal-logical) answers, Quine’s animadversions are still viable and worthy of further consideration

Quine and Quantified Modal Logic

The textbook - like history of analytic philosophy is a history of myths, r e- ceived views and dogmas. Though mainly the last few years have witnessed a huge amo unt of historical work that aimed to reconsider our narratives of the history of an a- lytic philosophy there is still a lot to do. The present study is meant to present such a micro story which is still quite untouched by historians. According to the receiv ed view Kripke has defeated all the arguments of Quine against quantified modal logic and thus it became a respectful tool for philosophers. If we accept the historical interpret ation of the network between Quine, Kripke and modal logic, which is to be pre sented here, we have to conclude that Quine’s real philosophical animadversions against the modalities are still on the table: though Kripke has provided some important (formal - logical) answers, Quine’s animadversions are still viable and worthy of further consider ation

Foundations of Software Science and Computation Structures

This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 23 regular papers presented in this volume were carefully reviewed and selected from 77 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems