Hat der Raum-Relationalismus Hand und Fuss? Händigkeit und andere Herausforderungen für den Relationalismus

Eine rechte Hand unterscheidet sich von einer linken Hand. Diese bekannte Tatsache hat nach Kant philosophische Implikationen: Sie bringt den sog. Relationalismus in Schwierigkeiten. Dieser sieht den Raum als Inbegriff räumlicher Beziehungen zwischen materiellen Gegenständen. Für Kant kann der Relationalismus nun nicht zwischen linken und rechten Händen unterscheiden. Aber stimmt das wirklich? Und wie ist der Relationalismus vor dem Hintergrund der modernen Physik zu beurteilen? Der Vortrag entfaltet ausgehend von Kants Überlegungen zur Händigkeit die Debatte um den Relationalismus.

Das ‹Evangelium der Natur› oder: Was hat der Pelikan mit Christus zu tun?, Eine theologische Vortragsreihe. Begleitprogramm zu «Sprachen, Schriften, Zeichen»

Anhand einer über 1000 Jahre alten Berner Handschrift tauchen die Besucherinnen und Besucher sinnlich in die Welt christlicher Natursymbolik ein (Poster).

Europa hat keine belastbare Identität: Radio SRF 1, Tagesgespräch über Wahlen zum Europäischen Parlament (Radiointerview)

Ende Mai 2014 wählt Europa ein neues Parlament. Klaus Armingeon kann mitwählen. Der Direktor des Instituts für Politikwissenschaft an der Universität Bern ist Schweizer, Deutscher und EU-Bürger und heute Gast von Susanne Brunner.

Full and hat inductive definitions are equivalent in NBG

A new research project has, quite recently, been launched to clarify how different, from systems in second order number theory extending ACA 0, those in second order set theory extending NBG (as well as those in n + 3-th order number theory extending the so-called Bernays−Gödel expansion of full n + 2-order number theory etc.) are. In this article, we establish the equivalence between Δ10\bf-LFP and Δ10\bf-FP, which assert the existence of a least and of a (not necessarily least) fixed point, respectively, for positive elementary operators (or between Δn+20\bf-LFP and Δn+20\bf-FP). Our proof also shows the equivalence between ID 1 and ^ID1, both of which are defined in the standard way but with the starting theory PA replaced by ZFC (or full n + 2-th order number theory with global well-ordering).

Forcing for hat inductive definitions in arithmetic

By forcing, we give a direct interpretation of inline image into Avigad's inline image. To the best of the author's knowledge, this is one of the simplest applications of forcing to “real problems”.