Position Statement: Models in Software and Systems Development

The development of software and systems is, by its very nature, highly depending on models. In the software and system’s design models play an important role, where they represent the constraining standards as well as the choices of ideas and perspectives applied in the systems modelling, implementation and technology. The general model of model-being, developed by the author, is briefly explained and is used to discuss model interconnections resulting from model compositions and metamodel applications. In this position statement it is claimed that the analysis of model interconnections, prerequisite to or underlying the software and systems design, should provide new insights into the designs architecture

On Judgements and Propositions

This article studies some of the relevant and historically inï¬uential conceptions of the notions of âjudgementâ and âpropositionâ and discusses the relationship of these notions in these conceptions. In some detail the conceptions of Aristoteles, Brentano and Twardowski, Frege, Martin-Löf and of epsilon-theory are presented. A comparison of these conceptions shows fundamental differences which, in a way, illuminate the differences found in the architectures and formal appearances of logics

Zum Verhältnis von Angst, Prophezeiung und Modell, dargelegt an der Offenbarung des Johannes

Wie kann das 'Funktionieren' von Prophezeiungen erklärt werden. Eine begriffliche Analyse von Furcht und Angst, und von Zeit und Wissen zeigt, dass durch Prophezeiungen Angst gebunden werden kann. Mit dem Glauben einer Prophezeiung kann aus Unbestimmtheit, der jede Vorstellung fehlt, Zukunftserwartung werden, die dadurch Bestimmtheit besitzt, dass es eine gewisse Vorstellung von dem gibt, was sich ereignen wird. Auf diese Weise kann sich Angst in Furcht, Hoffnung oder frohes Erwarten verwandeln. Als Prophezeiung hat auch die Offenbarung des Johannes dieses Potenzial der Bindung. Ihr Text im Neuen Testament sagt aber nicht nur voraus, was einst geschehen soll, sondern er lässt auch dadurch, wie er die Voraussage verfasst, Bedingungen seines 'Funktionierens' erkennen. Versucht man, die Zusammenhänge dieser Bedingungen zu bestimmen, gelangt man zur Logik von Modellen und zu der Beobachtung, dass die gewaltige Wirkkraft der Offenbarung über bald 2000 Jahre der zivilisatorischen und kulturellen Entwicklung hinweg besser verständlich wird, wenn man in ihr ein Modell sieht. Es ist zu vermuten, dass die Logik des Prophezeiens, die die Offenbarung als Modell erkennen lässt, allgemeinere Gültigkeit besitzt. Sie könnte Prognostik und Prophetie für modelltheoretische Analysen zugänglich machen

On Judgements and Propositions

Abstract: This article studies some of the relevant and historically influential conceptions of the notions of ’judgement ’ and ’proposition ’ and discusses the relationship of these notions in these conceptions. In some detail the conceptions of Aristoteles, Brentano and Twardowski, Frege, Martin-Löf and of epsilon-theory are presented. A comparison of these conceptions shows fundamental differences which, in a way, illuminate the differences found in the architectures and formal appearances of logics