Liebe Mitglieder der DGGT, die Ereignisse letzten zwei Jahre haben uns alle zu großen Anpassungen in unserem beruflichen und privaten Leben bewegt. Aufgrund Einschränkungen durch Corona-Pandemie ersten einschneidenden Maßnahmen zur Minimierung Klimawandelfolgen sowie wegen Auswirkungen aktuellen kriegerischen Auseinandersetzungen Ukraine auf den Energiesektor, Wirtschaft Handel waren sind wir h...

one of the traditions relied on by shī‘a jurists in jurisprudence and especially in the discourse on judgment and testimonies is the tradition or the story of imam ‘alī’s (a.s.) lost coat of mail. the coat of mail being found in the market while it had been put on sale by someone, the imam’s going to the judge, filing a lawsuit against that person, and providing evident proofs in the court hear...

In historical discussions of twentieth-century logic, it is typically assumed that model theory emerged within the tradition that adopted first-order logic as the standard framework. Work within the type-theoretic tradition, in the style of Principia Mathematica, tends to be downplayed or ignored in this connection. Indeed, the shift from type theory to first-order logic is sometimes seen as in...