In der vorliegenden Arbeit wird ein Begriffsrahmen entwickelt, in dem sich Gemeinsamkeiten und Unterschiede zwischen drei Arten von Kulturprodukten klar aufzeigen lassen: Dichtung, Mythos und Wissenschaft. Die allen drei Phänomenen gemeinsame Struktur erfassen wir in §II und §III mit dem Begriff eines Repräsentationssystems, welcher in Anlehnung an die formale Modelltheorie semiotische Vorstellungen mit einem Denken in Systemen zusammenbringt. Die relevanten Unterschiede werden durch Differenzierung (§IV) jenes Begriffs festgemacht, d.h. die drei Phänomene werden durch jeweils spezielle Arten von Repräsentationssystemen erfaßt (§V). (...) Unser spezielles Augenmerk gilt dabei dem Mythos (§I), der sich in letzter Zeit eines wachsenden Interesses -- oft außerhalb des etablierten Wissenschaftsbetriebs -- erfreut. Es zeigt sich, daß der Mythos eine Mittelstellung zwischen Dichtung und Wissenschaft einnimmt: als "Bindeglied" vermittelt er sowohl zwischen der rein begrifflichen Struktur der Phänomene "Dichtung" und "Wissenschaft" als auch zwischen deren Unterschieden in Methode und Wahrheitsanspruch (die in engem Zusammenhang mit der begrifflichen Struktur stehen). Der hier entwickelte begriffliche Rahmen soll in weiteren Untersuchungen als Grundlage zur Herausarbeitung von Unterschieden in der Methode und im Wahrheitsanspruch dienen, die sich aus unserem Ansatz in natürlicher Weise ergeben. Diese müssen jedoch aus Platzgründen einer weiteren Arbeit vorbehalten bleiben. (shrink)

We introduce a methodology whereby an arbitrary logic system L can be enriched with temporal features to create a new system T(L). The new system is constructed by combining L with a pure propositional temporal logic T (such as linear temporal logic with Since and Until) in a special way. We refer to this method as adding a temporal dimension to L or just temporalising L. We show that the logic system T(L) preserves several properties of the original temporal logic (...) like soundness, completeness, decidability, conservativeness and separation over linear flows of time. We then focus on the temporalisation of first-order logic, and a comparison is make with other first-order approaches to the handling of time. (shrink)

Printbegrænsninger: Der kan printes 10 sider ad gangen og max. 40 sider pr. session.

We introduce a methodology whereby an arbitrary logic system L can be enriched with temporal features to create a new system T(L). The new system is constructed by combining L with a pure propositional temporal logic T (such as linear temporal logic with “Since” and “Until”) in a special way. We refer to this method as “adding a temporal dimension to L” or just “temporalising L”. We show that the logic system T(L) preserves several properties of the original temporal logic (...) like soundness, completeness, decidability, conservativeness and separation over linear flows of time. We then focus on the temporalisation of first-order logic, and a comparison is make with other first-order approaches to the handling of time. (shrink)

This paper describes a prototype implementation of a Labelled Deduction System for natural language interpretation, where interpretation is taken to be the process of understanding a natural language utterance. The implementation models the process of understanding wh-gap dependencies in questions and relative clauses for a fragment of English. The paper is divided in three main sections. In Section 1, we introduce the basic architecture of the system. Section 2 outlines a prototype implementation of wh-binding and indicates its potential for explanation (...) of linguistic phenomena, and in Section 3 we briefly set the model within a large theoretical perspective, comparing it to other type-logical approaches to natural language analysis. (shrink)

In this paper we study families of resource aware logics that explore resource restriction on rules; in particular, we study the use of controlled cut-rule and introduce three families of parameterised logics that arise from different ways of controlling the use of cut. We start with a formulation of classical logic in which cut is non-eliminable and then impose restrictions on the use of cut. Three Cut-and-Pay families of logics are presented, and it is shown that each family provides an (...) approximation process for full propositional classical logic when the control over the use of cut is progressively weakened. A sound and complete semantics is given for each component of each of the three families of approximated logics. One of these families is shown to possess the uniform substitution property, a new result for approximated reasoning. A tableau based decision procedure is presented for each element of the approximation families and the complexity of each decision procedure is studied. We show that there are families in which every component logic can be decided polynomially. (shrink)

This paper generalises and complements the work on combining temporal logics started by Finger and Gabbay [11, 10]. We present proofs of transference of soundness, completeness and decidability for the temporalisation of logics T for any flow of time, eliminating the original restriction that required linear time for the transference of those properties through logic combination. We also generalise such results to the external application of a multi-modal system containing any number of connectives with arbitrary arity, that respect normality.This (...) generalisation over generic flows of time propagates to other combinations of logics that can be interpreted in terms of temporalisations. In this way, the independent combination of temporal logics is studied over generic flows of time. We show the transfer of soundness, completeness and decidability for independent combination of temporal logics. Finally, we also discuss the independent combination of any finite number of normal multi-modal logics. (shrink)

This paper investigates modular combinations of temporal logic systems. Four combination methods are described and studied with respect to the transfer of logical properties from the component one-dimensional temporal logics to the resulting combined two-dimensional temporal logic. Three basic logical properties are analyzed, namely soundness, completeness, and decidability. Each combination method comprises three submethods that combine the languages, the inference systems, and the semantics of two one-dimensional temporal logic systems, generating families of two-dimensional temporal languages with varying expressivity and varying (...) degrees of transfer of logical properties. The temporalization method and the independent combination method are shown to transfer all three basic logical properties. The method of full join of logic systems generates a considerably more expressive language but fails to transfer completeness and decidability in several cases. So a weaker method of restricted join is proposed and shown to transfer all three basic logical properties. (shrink)

Technology and Ethics. A European Quest for Responsible Engineering, edited by B. Heriard Dubreuil and his team (University Lille) is in many regards an innovative publication. It is the first fully European contribution to the field of engineering ethics and the result of an intensive cooperation between ethicists and engineers from all the member countries of the European Union. The basic structure of the book is both the distinction and interaction between three levels of analysis: personal responsibility of engineers, the (...) institutional level (business organisations) and the impact of technology on society and culture. On the personal level, the book deals with problems such as the role of professional codes and the fact that engineers must cope with flexibility, shorter lines of decision and erosion of the boundaries between private and professional life. On the meso level, the book deals with different aspects of decision making in the context of business organizations, such as quality management, technology assessment procedures, business ethics committees etc... On the macro level, the authors focus on the power of technology. Together with the influences from other social, economic and political actors, the decisions of engineers change the world in a way which is of moral significance. (shrink)

We investigate two formalizations of Optimality Theory, a successful paradigm in linguistics.We first give an order-theoretic counterpart for the data and processinvolved in candidate evaluation.Basically, we represent each constraint as a function that assigns every candidate a degree of violation.As for the second formalization, we define (after Samek-Lodovici and Prince) constraints as operations that select the best candidates out of a set of candidates.We prove that these two formalizations are equivalent (accordingly, there is no loss of generality with using violation (...) marks and dispensing with them is only apparent).Importantly, we show that the second formalization is equivalent with a class of operations over sets of formulas in a given logical language.As a result, we prove that Optimality Theory can be characterized by certain cumulative logics.So, applying Optimality Theory is shown to be reasoning by the rules of cumulative logics. (shrink)

The Yoga Sutras are Patanjali's classic on how to experience oneness (Samadhi) within yoga practice. Many serious yoga students want to bring the wisdom of the Sutras to their practice, but often find the text impenetrable and difficult to relate to. The Tantra of the Yoga Sutras remedies this by offering an interpretation that is uniquely relatable, teachable, and accessible. Yogi and tantric master Alan Finger shows contemporary practitioners and students that Samadhi is not something that we strive for (...) in the future, but something that we can experience now. Many interpreters of the Yoga Sutras describe Samadhi as an unreachable goal for the ordinary yogi. Finger's interpretation delivers yoga practices that are doable, with attainable and transformative results. (shrink)

This work studies the structure of proofs containing non-analytic cuts in the cut-based system, a sequent inference system in which the cut rule is not eliminable and the only branching rule is the cut. Such sequent system is invertible, leading to the KE-tableau decision method. We study the structure of such proofs, proving the existence of a normal form for them in the form of a comb-tree proof. We then concentrate on the problem of efficiently computing non-analytic cuts. For that, (...) we study the generalisation of techniques present in many modern theorem provers, namely the techniques of conflict-driven formula learning. (shrink)

During the summer of 1774, five “electric eels” survived the voyage from Surinam to Charles Towne (Charleston), South Carolina. Naturalists knew that these river fish actually only resembled eels. They also knew that that Carl Linnaeus had recently classified them as Gymnotus electricus (Linnaeus 1766; today they are Electrophorus electricus). But to most people, and even among natural philosophers, they were (and still are) loosely referred to as “eels.” For those willing to pay, a group that included physicians, gentlemen-scientists, and (...) other inquisitive minds, there was an opportunity to observe them. A promotional piece in the June 20, 1774, edition of the South-Carolina Gazette informs interested .. (shrink)

There is perhaps no part of Kant’s Critique of Pure Reason which has called forth such severe criticism as his deduction of the System of Categories in the Transcendental Analytic. I am not aware of even one among his many followers who holds to this part of Kant’s doctrine. And the reason for this disagreement is obvious. Kant’s deduction of his System of Categories is based on Formal Logic, the theory of syllogism, first laid down by Aristotle. Mediaeval scholars had (...) changed some details and partly systematized the subject. Kant himself had added some finishing touches to produce his famous number of a dozen categories, but the gist of this logical theory was the same as that found in Aristotle’s Organon. (shrink)