The aim of this monograph is to present some of the basic ideas and results in pure combinatory logic and their applications to some topics in proof theory, and also to present some work of my own.
Arguing to Learn: Confronting Cognitions in Computer-Supported Collaborative Learning Environments focuses on how new pedagogical scenarios, task environments and communication tools within Computer-Supported Collaborative Learning (CSCL) environments can favour collaborative and productive confrontations of ideas, evidence, arguments and explanations, or arguing to learn.
This volume is presented as a companion study to my translation of Galileo's MS 27, Galileo's Logical Treatises, which contains Galileo's appropriated questions on Aristotle's Posterior Analytics - a work only recently transcribed from the Latin autograph.
This volume is a state-of-the-art survey of the psychology of reasoning, based around, and in tribute to, one of the field's most eminent figures: Jonathan St B.
This book offers new critical perspectives on the relationship between the notions of speculation, logic and reality in Hegel's thought as basis for his philosophical account of nature, history, spirit and human experience.
Claire Ortiz Hill The publication of all but a small, unfound, part of the complete text of the lecture course on logic and theory of knowledge that Edmund Husserl gave at Gottingen during the winter semester of 1906/07 became a reality in 1984 with the publication of Einleitung in die Logik und Erkenntnistheorie, Vorlesungen 1906/07 edited by 1 Ullrich Melle.
Richard Tieszen presents an analysis, development, and defense of a number of central ideas in Kurt Godel's writings on the philosophy and foundations of mathematics and logic.
This book provides a detailed commentary on the classic monograph by Alfred Tarski, and offers a reinterpretation and retranslation of the work using the original Polish text and the English and German translations.
The Entretiens of the Institut International de Philosophie for 1978 were held in connection with the World Congress of Philosophy in Dusseldorf, from August 27 to September 1.
Das umfangreiche Werk von Carl Christian Erhard Schmid (1761–1812) hat in der Philosophiegeschichtsforschung mit Ausnahme seiner Lehre vom intelligiblen Fatalismus bislang keine Beachtung erfahren.
The essays in this volume are based on addresses presented during a colloquium on free logic, modal logic and related areas held at the University of California at Irvine, in May of 1968.
Mathematics plays a central role in much of contemporary science, but philosophers have struggled to understand what this role is or how significant it might be for mathematics and science.
Taking Wittgenstein at His Word is an experiment in reading organized around a central question: What kind of interpretation of Wittgenstein's later philosophy emerges if we adhere strictly to his claims that he is not in the business of presenting and defending philosophical theses and that his only aim is to expose persistent conceptual misunderstandings that lead to deep philosophical perplexities?
In 1907 Luitzen Egbertus Jan Brouwer defended his doctoral dissertation on the foundations of mathematics and with this event the modem version of mathematical intuitionism came into being.
