97 research outputs found
Proceedings of the Conference on Hypothetical Reasoning, 23-24 August 2014, Tübingen
Hypothetical reasoning or reasoning under assumptions is a key concept of logic, philosophy of science and mathematics. The Conference on Hypothetical Reasoning focussed on its logical aspects, such as assumption-based calculi and their proof theory,
logical consequence from a proof-theoretic or model-theoretic point of view, logics of conditionals, proof systems, structure of assumption-based proofs, hypotheses in proof-theoretic semantics, notions of implication, substructural logics, hypotheses in categorial logic, logical aspects of scientific explanation, hypothetical reasoning in mathematics and reasoning from definitions and axioms. The conference took place 23–24 August, 2014 in Tübingen at the Department of Philosophy, in conjunction with ESSLLI 2014. The proceedings collect abstracts, slides and papers of the presentations given
Untersuchungen zur regellogischen Deutung von Aussagenverknüpfungen (Dissertation Universität Bonn 1981)
As certain aspects of my doctoral dissertation of 1981 are still being discussed, I re-
publish it here as an online resource in its original German form. It introduces the notion of rules of higher levels in order to give a general schema for the characterization of logical connectives in terms of rules. It also makes a proposal for a treatment of negation on the basis of a denial operator. It thus deals with core issues of proof-theoretic semantics. The German dissertation is accompanied by an English manuscript "Sentential Calculi with Rules of Arbitrary Levels" which gives a summary of central ideas and results of Chapters 1 and 2 of the dissertation
Ein Logik-Lotse geht von Bord. Zur Verabschiedung des Naturwissenschaftlers und Philosophen Walter Hoering
Würdigung von Prof. Dr. Dr. Walter Hoering anlässlich seines Ausscheidens aus dem aktiven Dienst an der Universität Tübingen
Proof-theoretic Validity Based on Elimination Rules
In the tradition of Dummett-Prawitz-style proof-theoretic semantics, which considers validity of derivations or proofs as one of its core notions, this paper sketches an approach to proof-theoretic validity based on elimination rules and assesses its merits and limitations. Some remarks are made on alternative approaches based on the idea of dualizing connectives and proofs, as well as on definitional reflection using elimination clauses
Walter Felscher (1931-2000). Nachruf
In den Tübinger Universitätsnachrichten (9. April 2001, Jahrgang 21, Nr. 100) erschienener Nachruf auf Prof. Dr. Walter Felsche
General Proof Theory. Celebrating 50 Years of Dag Prawitz's "Natural Deduction". Proceedings of the Conference held in Tübingen, 27-29 November 2015
General proof theory studies how proofs are structured and how they relate to each other, and not primarily what can be proved in particular formal systems. It has been developed within the framework of Gentzen-style proof theory, as well as in categorial proof theory. As Dag Prawitz's monograph "Natural Deduction" (1965) paved the way for this development (he also proposed the term "General Proof Theory"), it is most appropriate to use this topic to celebrate 50 years of this work. The conference took place 27-29 November, 2015 in Tübingen at the Department of Philosophy. The proceedings collect abstracts, slides and papers of the presentations given, as well as contributions from two speakers who were unable to attend
Preface
The 14th International Congress of Logic, Methodology and Philosophy of Science was held in July, 19th – 26th, 2011 in Nancy, the historic capital of Lorraine and birthplace of Henri Poincaré. We were very honored that the President of the French Republic, Monsieur Nicolas Sarkozy, generously agreed his patronage. The LMPS congresses represent the current state of the art and offer new perspectives in its fields. There were 900 registered participants from 56 different countries. They filled ..
- …