It is the purpose of this paper to carry out a partial syntactical analysis of imperatives. Imperatives form a large body of linguistic expressions, appearing, e.g. in mathematical proofs be a continuous function!”), laws, moral injunctions, instruction, etc. For analytical purposes we distinguish between two forms of imperatives, the fiat and the directive. By a directive we mean an imperative which includes an indication of the agent who is to carry it out. For example, “Henry, don't forget to stop at (...) the grocery!” is a directive. By a fiat we mean an imperative which includes no reference to an agent who is to carry it out. For example, “Let there be light!” is a fiat. This is a distinction made in terms of meaning. If, however, proper symbolic devices were introduced for the formalization of imperatives, it could be made in a syntactical manner. Thus we could distinguish between imperatives which possess a certain operator—the directive operator formed by putting a name within square brackets—as “[Henry]!”, and imperatives which do not possess this operator, e.g. “Let it be the case that Henry does not forget to stop at the grocery!” In the following we pay attention only to fiats. This, of course, involves a great limitation of subject matter and excludes topics of great interest. (shrink)

In this paper we show how to interpret Robinson’s arithmetic Q and the theory R of Tarski, Mostowski, and Robinson as theories of cardinals in very weak theories of relations over a domain.

When producing a description of a target referent in a visual context, speakers need to choose a set of properties that distinguish it from its distractors. Computational models of language production/generation usually model this as a search process and predict that the time taken will increase both with the number of distractors in a scene and with the number of properties required to distinguish the target. These predictions are reminiscent of classic findings in visual search; however, unlike models of reference (...) production, visual search models also predict that search can become very efficient under certain conditions, something that reference production models do not consider. This paper investigates the predictions of these models empirically. In two experiments, we show that the time taken to plan a referring expression—as reflected by speech onset latencies—is influenced by distractor set size and by the number of properties required, but this crucially depends on the discriminability of the properties under consideration. We discuss the implications for current models of reference production and recent work on the role of salience in visual search. (shrink)

In this paper we study 1. the frame-theory of certain bimodal provability logics involving the reflection principle and we study2. certain specific bimodal logics with a provability predicate for a subtheory of Peano arithmetic axiomatized by a non-standardly finite number of axioms.

This volume represents some of the most current thinking in the area of multijuralism and is essential reading for anyone interested in the coexistence of legal ...

The purpose of this book is to formulate and discuss positive (as distinguished from normative) rational choice models of the advantages and costs of transparency in various areas of public sector activity and to assess what is in effect the social level of obfuscation in politics that results from rational behaviour.

The selections contained in this volume were made by Richard Kik. The original edition Vom Licht in uns was published by Verlag J.F. Steinkopf, Stuhgart. It contains sayings of things highly spiritual nature as well as a description of the life of Richard Kik. One such selection is The beginning of all spiritual life is fearless belief in truth and its open confession. Albert Schweitzer (14 January 1875 4 September 1965) was a German-French theologian, musician, philosopher, and physician. He (...) was born in Kaysersberg in the province of Elsass-Lothringen (Alsace-Lorraine), at the time in the German Empire. Schweitzer challenged both the secular view of Jesus as depicted by historical-critical methodology current at his time in certain academic circles, as well the traditional Christian view, depicting a Jesus Christ who expected and predicted the imminent end of the world. He received the 1952 Nobel Peace Prize in 1953 for his philosophy of "Reverence for Life" expressed in many ways, but most famously in founding and sustaining the Albert Schweitzer Hospital in Lambarene, now in Gabon, west central Africa (then French Equatorial Africa). As a music scholar and organist, he studied the music of German composer Johann Sebastian Bach and influenced the Organ reform movement (Orgelbewegung). Schweitzer's passionate quest was to discover a universal ethical philosophy, anchored in a universal reality, and make it directly available to all of humanity. This is reflected in some of his sayings, such as: "Until he extends his circle of compassion to include all living things, man will not himself find peace." "I don't know what your destiny will be, but one thing I do know: the only ones among you who will be really happy are those who have sought and found how to serve.". (shrink)

Heraclitus said: "Wisdom is one thing: to know the gnome, the thought, by which all things are guided through all." Heidegger has said: "To think is to confine yourself to a single thought that one day stands still like a star in the world’s sky." Hegel portrayed the history of philosophy as the development of one single thought, which he expressed throughout a lifetime of philosophical genius: the speculative concept of self-consciousness, the identity of subject and object, of differents and (...) opposites. (shrink)