http://hdl.handle.net/10993/60 Search this channel search http://orbilu.uni.lu/simple-search http://hdl.handle.net/10993/38896 Title: Geistliche Macht der Musik oder weltliche Macht der geistlichen Musiker Cäcilianismus in Luxemburg <br/> <br/>Author, co-author: Sagrillo, Damien <br/> <br/>Abstract: The spiritual power of music or secular power of spiritual musicians. Ceacilianism and Papism in Luxembourg In my contribution, I will describe the ceacilianism in Luxembourg as a movement which, for the liturgy, not only wanted to restore what already had been considered survived for centuries in the history of music, but which was undoubtedly able to exercise power not only on composers of liturgical music, but also on spiritual dignitaries. My paper is based on my recent publication in two volumes on the correspondence of Luxembourg religious dignitaries and musicians with Franz Xaver Witt, one of the main protagonists of the movement. http://hdl.handle.net/10993/36703 Title: Der "March for Science" in Deutschland und die Werte der Wissenschaft <br/> <br/>Author, co-author: Baudson, Tanja Gabriele http://hdl.handle.net/10993/34742 Title: Religionsunterricht in Luxemburg aus diskurstheoretischer Sicht: eine spannende Geschichte und eine spannungsvolle Zukunft <br/> <br/>Author, co-author: Weber, Jean-Marie http://hdl.handle.net/10993/34579 Title: The Politics of Church Land Administration: the Case of the Orthodox Patriarchate of Jerusalem in Ottoman and Mandatory Palestine <br/> <br/>Author, co-author: Papastathis, Konstantinos; Kark, Ruth http://hdl.handle.net/10993/34370 Title: "Selig die Armen im Geiste" <br/> <br/>Author, co-author: Weber, Jean-Marie http://hdl.handle.net/10993/33920 Title: Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument <br/> <br/>Author, co-author: Benzmüller, Christoph; Fuenmayor, David <br/> <br/>Abstract: Computers may help us to understand --not just verify-- philosophical arguments. By utilizing modern proof assistants in an iterative interpretive process, we can reconstruct and assess an argument by fully formal means. Through the mechanization of a variant of St. Anselm's ontological argument by E. J. Lowe, which is a paradigmatic example of a natural-language argument with strong ties to metaphysics and religion, we offer an ideal showcase for our computer-assisted interpretive method. http://hdl.handle.net/10993/33916 Title: The Virtues of Automated Theorem Proving in Metaphysics --- A Case Study: E. J. Lowe's Modal Ontological Argument <br/> <br/>Author, co-author: Fuenmayor, David; Benzmüller, Christoph; Steen, Alexander; Wsinieswki, Max http://hdl.handle.net/10993/33704 Title: Types, Tableaus and Gödel's God in Isabelle/HOL <br/> <br/>Author, co-author: Fuenmayor, David; Benzmüller, Christoph <br/> <br/>Abstract: A computer-formalisation of the essential parts of Fitting's textbook "Types, Tableaus and Gödel's God" in Isabelle/HOL is presented. In particular, Fitting's (and Anderson's) variant of the ontological argument is verified and confirmed. This variant avoids the modal collapse, which has been criticised as an undesirable side-effect of Kurt Gödel's (and Dana Scott's) versions of the ontological argument. Fitting's work is employing an intensional higher-order modal logic, which we shallowly embed here in classical higher-order logic. We then utilize the embedded logic for the formalisation of Fitting's argument. (See also the earlier AFP entry ``Gödel's God in Isabelle/HOL''.) <br/> <br/>Commentary: This publication is machine verified with Isabelle/HOL http://hdl.handle.net/10993/33699 Title: Computer-Assisted Analysis of the Anderson-Hájek Controversy <br/> <br/>Author, co-author: Benzmüller, Christoph; Weber, Leon; Woltzenlogel Paleo, Bruno <br/> <br/>Abstract: A universal reasoning approach based on shallow semantical embeddings of higher-order modal logics into classical higher-order logic is exemplarily employed to analyze several modern variants of the ontological argument on the computer. Several novel findings are reported which contribute to the clarification of a long-standing dispute between Anderson and Hájek. The technology employed in this work, which to some degree realizes Leibniz’s dream of a characteristica universalis and a calculus ratiocinator for solving philosophical controversies, is ready to be fruitfully adopted in larger scale by philosophers. http://hdl.handle.net/10993/33693 Title: Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic <br/> <br/>Author, co-author: Fuenmayor, David; Benzmüller, Christoph <br/> <br/>Abstract: A shallow semantic embedding of an intensional higher-order modal logic (IHOML) in Isabelle/HOL is presented. IHOML draws on Montague/Gallin intensional logics and has been introduced by Melvin Fitting in his textbook Types, Tableaus and Gödel’s God in order to discuss his emendation of Gödel’s ontological argument for the existence of God. Utilizing IHOML, the most interesting parts of Fitting’s textbook are formalized, automated and verified in the Isabelle/HOL proof assistant. A particular focus thereby is on three variants of the ontological argument which avoid the modal collapse, which is a strongly criticized side-effect in Gödel’s resp. Scott’s original work. http://hdl.handle.net/10993/33621 Title: Experiments in Computational Metaphysics: Gödel's Proof of God's Existence <br/> <br/>Author, co-author: Benzmüller, Christoph; Woltzenlogel Paleo, Bruno <br/> <br/>Abstract: “Computer scientists prove the existence of God” --- variants of this headline appeared in the international press in autumn 2013. Unfortunately, many media reports had only moderate success in communicating to the wider public what had actually been achieved and what not. This article outlines the main findings of the authors’ joint work in computational metaphysics. More precisely, the article focuses on their computer-supported analysis of variants and recent emendations of Kurt Gödel’s modern ontological argument for the existence of God. In the conducted experiments, automated theorem provers discovered some interesting and relevant facts. http://hdl.handle.net/10993/32472 Title: Das lullische Gedankengut in Cusanus' Sermo 1 und seine Wiederaufnahme in "de docta ignorantia" <br/> <br/>Author, co-author: Weber, Jean-Marie http://hdl.handle.net/10993/32452 Title: A spirituality of the good turn <br/> <br/>Author, co-author: Weber, Jean-Marie http://hdl.handle.net/10993/32451 Title: Spiritualitéit am Scoutismus <br/> <br/>Author, co-author: Weber, Jean-Marie http://hdl.handle.net/10993/32448 Title: "Advent ist immer!" (Ernst Bloch) Bewusst krirtisch in der Gegenwart, aber offen fü die Zukunft <br/> <br/>Author, co-author: Weber, Jean-Marie http://hdl.handle.net/10993/32443 Title: "Warum greift Gott angesichts der Grausamkeiten in der Welt nicht ein ?" <br/> <br/>Author, co-author: Weber, Jean-Marie http://hdl.handle.net/10993/32398 Title: Zölibat, "viri probati" und Laienstand <br/> <br/>Author, co-author: Weber, Jean-Marie http://hdl.handle.net/10993/32374 Title: Die pschohygienische Funktion des Wert- und Religionsunterrichtes <br/> <br/>Author, co-author: Weber, Jean-Marie http://hdl.handle.net/10993/32373 Title: Religionsunterricht als Lebens-und Erfahrungsraum <br/> <br/>Author, co-author: Weber, Jean-Marie http://hdl.handle.net/10993/32367 Title: Von Worten berührt - Betrachtungen der drei österlichen Tage in der erinnerung und der Gegenwart <br/> <br/>Author, co-author: Weber, Jean-Marie