392 research outputs found
Bibliographie der Schriften von Hilary Putnam [Bibliography of Hilary Putnam's Writings]
Bibliography of the writings by Hilary Putnam: 16 books, 198 articles, 10 translations into German (up to 1994)
The correspondence between JĂłzef M. BocheĆski (1902-1995) and Heinrich Scholz (1946-1954)
As is well known, Heinrich Scholz and his academic society maintained good scientific contacts with Polish logicians before, during, and after the Second World War. My interest here is to examine the details of their collaboration by presenting Scholzâs unpublished correspondence with Fr. JĂłzef M. BocheĆski. The following topics are discussed here: Polish logicians who survived the war and their current place of work; reorganization of the scholarly environment, didactic activities, duties, scholarly trips; current research topics, prospects for post-war publications, and future publishing plans; information about Jan Ćukasiewicz, BolesĆaw SobociĆski, and Joachim Metallmann; personal matters
Siegener BeitrÀge zur Geschichte und Philosophie der Mathematik 2015
Die "Siegener BeitrĂ€ge zur Geschichte und Philosophie der Mathematik - SieB" bieten ein Forum fĂŒr den interdisziplinĂ€ren Diskurs im Bereich Philosophie und Geschichte der Mathematik, der eine PluralitĂ€t an Themen, Perspektiven und Methoden mit dem BemĂŒhen um ein besseres VerstĂ€ndnis âderâ Mathematik vereint.
Im Sinne der Leitfrage nach dem "Wesen" der Mathematik enthÀlt der vorliegende Band BeitrÀge zur Mathematik- und Logikgeschichte und zugleiche BeitrÀge zur Philosophie der Mathematik
Paul Lorenzen -- Mathematician and Logician
This open access book examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter half of the 20th century. It features papers focused on integrating Lorenzen's original approach into the history of logic and mathematics. The papers also explore how practitioners can implement Lorenzenâs systematical ideas in todayâs debates on proof-theoretic semantics, databank management, and stochastics. Coverage details key contributions of Lorenzen to constructive mathematics, Lorenzenâs work on lattice-groups and divisibility theory, and modern set theory and Lorenzenâs critique of actual infinity. The contributors also look at the main problem of Grundlagenforschung and Lorenzenâs consistency proof and Hilbertâs larger program. In addition, the papers offer a constructive examination of a Russell-style Ramified Type Theory and a way out of the circularity puzzle within the operative justification of logic and mathematics. Paul Lorenzen's name is associated with the Erlangen School of Methodical Constructivism, of which the approach in linguistic philosophy and philosophy of science determined philosophical discussions especially in Germany in the 1960s and 1970s. This volume features 10 papers from a meeting that took place at the University of Konstanz
Intuitionistic Mereology
Two mereological theories are presented based on a primitive apartness relation along with binary relations of mereological excess and weak excess, respectively. It is shown that both theories are acceptable from the standpoint of constructive reasoning while remaining faithful to the spirit of classical mereology. The two theories are then compared and assessed with regard to their extensional import
- âŠ