Christianity finds itself in a new situation, one that resembles its first‐century experience in that it will be shaped by a new dominant world culture. This culture is marked by three factors‐the economy, the multireligious situation, and science. The author's discussion deals with the issues that arise in this engagement with culture under three rubrics: dialogue between science and religion, globalization of the religious encounter, and interreligious dialogue in a globalized world. The major assertions are: (1) Science and religions must (...) avoid restrictive and expansionist relationships and work for reciprocal interaction. (2) Globalization is an unavoidable, but ambiguous, historical development; religions should reject responses of “ethnification” and “primitivism” and rather engage in strategies that encourage both productive encounter and critical distance. (3) Interreligious dialogue includes dialogues of life, of intellectual exchange, of religious experience, of common action, and of confrontation; this dialogue will seek to embrace truth (which involves science) and wisdom (which includes the various religious traditions) in the reciprocal interaction that is marked by love. (shrink)

In an introduction to tbe tbeology and moral pbilosopby of tbe Danisb tbinker, K. E. Legstrup, tbe starting point ist taken in bis on pbenomenological basis developed pbilosopby of creation. Tbe vibrant discussion in Denmark in tbe fifties between K. E. Legstrup an N. H. See conceming a specific cbristian etbics is evaluated and it is sbown bow Legstcups etbical tbinking developed in two directions. On tbe one band be expands bis pbilosopby of creation into metapbysical reflections in order to (...) substantiate bis solution to tbe problern of tbe foundations of etbics. On tbe otber band be anticipates a development towards applied etbics. (shrink)

Judges and jurors must make decisions in an environment of ignoranceand uncertainty for example by hearing statements of possibly unreliable ordishonest witnesses, assessing possibly doubtful or irrelevantevidence, and enduring attempts by the opponents to manipulate thejudge''s and the jurors'' perceptions and feelings. Three importantaspects of decision making in this environment are the quantificationof sufficient proof, the weighing of pieces of evidence, and therelevancy of evidence. This paper proposes a mathematical frameworkfor dealing with the two first aspects, namely the quantification ofproof (...) and weighing of evidence. Our approach is based on subjectivelogic, which is an extension of standard logic and probability theory,in which the notion of probability is extended by including degrees ofuncertainty. Subjective Logic is a framework for modelling humanreasoning and we show how it can be applied to legalreasoning. (shrink)

The article will be devoted to such problems as a idea of subsidiarity, a cosmopolitan right and a visitor figure in context and interpretation of ancient and modern philosophy. The article deals with the concept of subsidiarity which is taken as a point of departure for the discipline of borderology, an academic study with Kantian roots. Borderology, according to the principle of subsidiarity, can present as a new field of investigation which invites philosophers and social scientists to replace a “top (...) down” with a “bottom up” procedure. The figure of the visitor is close linked with the experience of subsidiarity which means the freedom and initiative below the level of State. In Immanuel Kant’s strategy for perpetual peace, the figure of the visitor launches a critique of a tendency to self-aggrandizement, characteristic of the modern State and thereby a defense of the political independence of local border regions. The visitor also invites us to see, think and work to liberate our own subjectivity from false voices of sovereignty. Kant articulates the offer of the visitor by bringing in the term Verkehr. Using Kant scholar Otfried Höffe,s methodology we show how idea of subsidiarity is overlooked in international political theory, explain some constitutive principles of borderology, from which is more important is the methodological principle of an intercultural discourse and presents borderology as an anti-Huntingtonian model for border studies. (shrink)

This article is a presentation of borderologyBorderology by relating the concept to three different senses of the word “natureNature”; wild natureNature, natureNature as dynamic activity and c) natureNature as Stoic. It is the third sense of “natureNature” that is my main concern. By “natureNature as Stoic” I am approaching the Stoic idea according to which ManMan and culture are embedded in NatureNature, due to ManMan’s membership not only in his own, but also in the “city of NatureNature”. My point is (...) that Kant’s engagement to establish cosmopolitan rightsCosmopolitan rights is based on a reinterpretation of the relation of manMan and natureNature by taking the Stoic idea of manMan as belonging to another city as his point of departure. To support my argument, the article launches an interpretation of Kant’s idea of the Visitor, which makes the cosmopolitanCosmopolitan right of visiting the other city politically concrete. (shrink)

Interest in Wittgenstein came to Norway in a period of unrest on the Norwegian philosophical scene. The dominant Oslo School of empirical semantics was dissolved during the same period, not because it refused to take the locutionary/ illocutionary distinction seriously enough, but mainly because of its blind spot, caused by its exaggerated honesty. This paper argues that the semantic theory of ?proposition and occurrence? led the empirical semanticist into an intellectual attitude, overlooking language as part of a cultural landscape. Through (...) overlooking this possibility, the empirical semanticist became an animal without a habitat. The way out was an interpretation of the notion of a language?game which makes Wittgenstein a philosopher of culture. (shrink)

An algebra is effective if its operations are computable under some numbering. When are two numberings of an effective partial algebra equivalent? For example, the computable real numbers form an effective field and two effective numberings of the field of computable reals are equivalent if the limit operator is assumed to be computable in the numberings . To answer the question for effective algebras in general, we give a general method based on an algebraic analysis of approximations by elements of (...) a finitely generated subalgebra. Commonly, the computable elements of a topological partial algebra are derived from such a finitely generated algebra and form a countable effective partial algebra. We apply the general results about partial algebras to the recursive reals, ultrametric algebras constructed by inverse limits, and to metric algebras in general. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim. (shrink)

We analyse the connection between the computability and continuity of functions in the case of homomorphisms between topological algebraic structures. Inspired by the Pour-El and Richards equivalence theorem between computability and boundedness for closed linear operators on Banach spaces, we study the rather general situation of partial homomorphisms between metric partial universal algebras. First, we develop a set of basic notions and results that reveal some of the delicate algebraic, topological and effective properties of partial algebras. Our main computability concepts (...) are based on numerations and include those of effective metric partial algebras and effective partial homomorphisms. We prove a general equivalence theorem that includes a version of the Pour-El and Richards Theorem, and has other applications. Finally, the Pour-El and Richards axioms for computable sequence structures on Banach spaces are generalised to computable partial sequence structures on metric algebras, and we prove their equivalence with our computability model based on numerations. (shrink)

We analyse the connection between the computability and continuity of functions in the case of homomorphisms between topological algebraic structures. Inspired by the Pour-El and Richards equivalence theorem between computability and boundedness for closed linear operators on Banach spaces, we study the rather general situation of partial homomorphisms between metric partial universal algebras. First, we develop a set of basic notions and results that reveal some of the delicate algebraic, topological and effective properties of partial algebras. Our main computability concepts (...) are based on numerations and include those of effective metric partial algebras and effective partial homomorphisms. We prove a general equivalence theorem that includes a version of the Pour-El and Richards Theorem, and has other applications. Finally, the Pour-El and Richards axioms for computable sequence structures on Banach spaces are generalised to computable partial sequence structures on metric algebras, and we prove their equivalence with our computability model based on numerations. (shrink)

The period in the foundations of mathematics that started in 1879 with the publication of Frege's Begriffsschrift and ended in 1931 with Gödel's Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I can reasonably be called the classical period. It saw the development of three major foundational programmes: the logicism of Frege, Russell and Whitehead, the intuitionism of Brouwer, and Hilbert's formalist and proof-theoretic programme. In this period, there were also lively exchanges between the various schools culminating in (...) the famous Hilbert-Brouwer controversy in the 1920s. -/- The purpose of this anthology is to review the programmes in the foundations of mathematics from the classical period and to assess their possible relevance for contemporary philosophy of mathematics. What can we say, in retrospect, about the various foundational programmes of the classical period and the disputes that took place between them? To what extent do the classical programmes of logicism, intuitionism and formalism represent options that are still alive today? These questions are addressed in this volume by leading mathematical logicians and philosophers of mathematics. (shrink)