Some remarks on proof-theoretic semantics

This is a tripartite work. The first part is a brief discussion of what it is to be a logical constant, rejecting a view that allows a particular self-referential “constant” • to be such a thing in favour of a view that leads to strong normalisation results. The second part is a commentary on the flattened version of Modus Ponens, and its relationship with rules of type theory. The third part is a commentary on work (joint with Nissim Francez) on “general elimination rules” and harmony, with a retraction of one of the main ideas of that work, i.e. the use of “flattened” general elimination rules for situations with discharge of assumptions. We begin with some general background on general elimination rules.Publisher PDFPeer reviewe

Analytische Explikationen & Interventionen

Philosophie nach Georg Meggle zeichnet sich aus durch kom - munikative Offenheit, durch begriffliche Unbestechlichkeit und durch ihr Engagement in der Welt. Die Beiträge in diesem Band orientieren sich an diesem Philosophieverständnis und sind aus Anlass eines Symposiums zu Ehren von Georg Meggle als Originalbeiträge geschrieben worden. Der Band verbindet die theoretischen und praktischen Aspekte der analytischen Philosophie: So sind die Essays zur Hälfte der theoretischen, meist sprach-analytischen, zur Hälfte der praktischen, meist praktisch-politischen Philosophie zuzuordnen. Die Texte vereint das Ideal des Strebens nach begrifflicher Klarheit und welthaltiger Relevanz, nach Dialog. Sie beschreiten neue Wege der analytischen Philosophie und weisen somit den Weg in die Zukunft der Philosophie als gesellschaftlich relevanter Disziplin. Mit Beiträgen u.a. von: Franz von Kutschera, Peter Singer, Wolfgang Lenzen, Wolfgang Spohn, Reinhard Merkel, Rainer Hegselmann, Peter Rohs und Georg Meggle