This paper axiomatizes a recursive utility model that captures both intertemporal utility smoothing defined across time and ambiguity aversion defined over states. The resulting representation adapts Wakai model of intertemporal utility smoothing as an aggregator function, where the utility of the certainty equivalent of future uncertainty is computed by Gilboa and Schmeidler multiple-priors utility. The model also permits the separation of intertemporal utility smoothing from ambiguity aversion.

We propose an idea called ``ontology reuse'' to develop ontology (or taxonomy) for information search more easily by its development cost reduction. For its feasibility demonstration, we developed a prototype system that converts taxonomy information of web contents to RDF format, collects it into a server and visualizes taxonomy infomation as a 2D map for editing itself and searching information. And our goal is to realize ``ontology circulation'', which means that ontology information flows freely and easily over the Internet and (...) an intranet. (shrink)

Die Arbeit verbindet in subtiler Weise begriffsgeschichtliche, quellengeschichtliche, kontextanalytische und kompositionsanalytische Fragestellungen, um die schwierigen Probleme, die die Freiheitsantinomie der Kritik der reinen Vernunft aufwirft, einer Losung naherzubringen. Dabei wird deutlich, wie sehr Kants Freiheitsantinomie in ihrer Formulierung von den Diskussionen abhangt, die in dem Zeitraum zwischen Wolff und Tetens gefuhrt worden sind. Auch Kants beruhmte Dissertation des Jahres 1770 erscheint so in neuem Licht. Kants Freiheitsantinomie erweist sich als Antwort auf Fragen seiner unmittelbaren Vorganger. This work combines issues pertaining (...) to the history of concepts, historical sources, context analysis and composition analysis in order to try to solve the problems posed by the antinomy of freedom in the Critique of Pure Reason. The study makes it clear how much the wording of Kant's antinomy of freedom depends on the discussions held during the time between Wolff and Tetens. Kant's famous dissertation of 1770 is thus also seen in a new light. Kant's antinomy of freedom is shown to be the answer to the questions posed by his direct predecessors. (shrink)

Der Leipziger Pietist Chr. A. Crusius setzt sich mit dem von Leibniz und Wolff festgelegten „Satz vom zureichenden Grund“ auseinander, nach dem nicht nur jedes Naturgeschehnis, sondern auch jede Handlung des Menschen a priori determiniert zu verstehen ist. Zunächst kritisiert Crusius die Vieldeutigkeit des Begriffs „Grund“, wo er zunächst zwischen „Realgrund“ und „Erkenntnisgrund“ unterscheidet, und weiterhin ersteren in „wirkende Ursache“ und „Existentialgrund“, und letzteren in „Erkenntnisgrund a priori“ und „Erkenntnisgrund a posteriori“ einteilt. Nach Crusius hat menschliche freie Handlung keinen eindeutig (...) determinierenden Grund, sondern nur wirkende Ursache, die jeder seinerseits ablehnen kann. Crusius gründet seinen Freiheitsbegriff auf die Wahrscheinlichkeitslehre, nach der freie Handlungen wegen der Endlichkeit des Menschen nur a posteriori erkannt werden. In meinem Beitrag versuche ich zu zeigen, dass im Freiheitsbegriff von Crusius, der „Grundtätigkeit der Freiheit“, ein Muster der Vereinbarkeit von der empirisch orientierten Freiheit und dem Determinismus einzusehen ist. (shrink)

In this paper we define the notion of -linearity for and discuss interpretability (and noninterpretability) of -linear orders in structures and theories.

The notion of quasi-minimal structures was defined by B. Zil'ber as a natural generalization of minimal structures. Inspired by his work, we study here basic model theoretic properties of quasiminimal structures. Main result is the construction of ω-saturated quasi-minimal models under ω-stability assumption.

We show that is a quasi-minimal torsion-free divisible abelian group. After discussing the axiomatization of the theory of this structure, we present its ω-saturated quasi-minimal model.

西が中心に据える〈虚〉という概念に注目し、「平和・和解」理論としての可能性を問うた。.