The editors of the Applied Logic Series are happy to present to the reader the fifth volume in the series, a collection of papers on Logic, Language and Computation. One very striking feature of the application of logic to language and to computation is that it requires the combination, the integration and the use of many diverse systems and methodologies - all in the same single application. The papers in this volume will give the reader a glimpse into the problems (...) of this active frontier of logic. The Editors CONTENTS Preface IX 1. S. AKAMA Recent Issues in Logic, Language and Computation 1 2. M. J. CRESSWELL Restricted Quantification 27 3. B. H. SLATER The Epsilon Calculus' Problematic 39 4. K. VON HEUSINGER Definite Descriptions and Choice Functions 61 5. N. ASHER Spatio-Temporal Structure in Text 93 6. Y. NAKAYAMA DRT and Many-Valued Logics 131 7. S. AKAMA On Constructive Modality 143 8. H. W ANSING Displaying as Temporalizing: Sequent Systems for Subintuitionistic Logics 159 9. L. FARINAS DEL CERRO AND V. LUGARDON 179 Quantification and Dependence Logics 10. R. SYLVAN Relevant Conditionals, and Relevant Application Thereof 191 Index 245 Preface This is a collection of papers by distinguished researchers on Logic, Lin guistics, Philosophy and Computer Science. The aim of this book is to address a broad picture of the recent research on related areas. In particular, the contributions focus on natural language semantics and non-classical logics from different viewpoints. (shrink)

We present a novel variant of decision making based on the mathematical theory of separable Hilbert spaces. This mathematical structure captures the effect of superposition of composite prospects, including many incorporated intentions, which allows us to describe a variety of interesting fallacies and anomalies that have been reported to particularize the decision making of real human beings. The theory characterizes entangled decision making, non-commutativity of subsequent decisions, and intention interference. We demonstrate how the violation of the Savage’s sure-thing principle, known (...) as the disjunction effect, can be explained quantitatively as a result of the interference of intentions, when making decisions under uncertainty. The disjunction effects, observed in experiments, are accurately predicted using a theorem on interference alternation that we derive, which connects aversion-to-uncertainty to the appearance of negative interference terms suppressing the probability of actions. The conjunction fallacy is also explained by the presence of the interference terms. A series of experiments are analyzed and shown to be in excellent agreement with a priori evaluation of interference effects. The conjunction fallacy is also shown to be a sufficient condition for the disjunction effect, and novel experiments testing the combined interplay between the two effects are suggested. (shrink)

An interview with Anthony Freeman, in which one of the original authors of ‘The Science of Art’ [JCS, 6, No. 6/7, 1999] responds to to ongoing commentary.

В сборнике представлены очерки, герои которых - художники, философы, священнослужители, ученые, император Индии, французская крестьянка, Учитель Гималайского Братства и другие - сыграли немаловажную роль в земном творчестве Космической эволюции. Для широкого круга читателей.

Recently, the scientific and journalistic heritage of A.Richynsky as an ideologist and organizer of the Ukrainian church-national movement in Volyn in the 20-30s of the XX century has attracted considerable attention of researchers. From this perspective, the most outstanding work of A.Richinsky's "Features of Ukrainian Religious Consciousness" is analyzed by scholars, though we admit that the theological and philosophical component in A.Richinsky's religious heritage remains almost unexplored. The article will trace the formation of A. Richinsky's teaching on the relationship between (...) the religious and ethnic in the Bible, in particular about the nation as established eternal reality. The basis for writing the article is the works of Arsen Rychinsky published in recent years. (shrink)

The philosophy of religion as presented by Hermann Cohen and Paul Natorp, the founders and main representatives of the Marburg School of Neo-Kantianism, is an important and at the same time controversial part of their philosophical systems. The discussion around the problems of religion began within the Marburg School and still continues among those who study that School. The reason for this is that “fitting” philosophical thinking about the phenomenon of religion into the classical triad of any system of philosophy, (...) i. e. effectively formulating that phenomenon in logical concepts, ethical postulates and aesthetic principles touched the very foundations of that system. Drawing mainly on the rough notes and correspondence of Cohen and Natorp I argue that, in spite of internal and quite important differences over the problems of religion and its place in philosophical constructions, Cohen and Natorp, first, retained their commitment to critical idealism and remained loyal to their philosophical school to the end and, second, followed the principle of mutual respect, preserving their professional and human sympathy for each other. Besides, I substantiate my assertion that Marburg Neo-Kantians had different concepts of the special place of religion in the system of philosophy. The specific nature of this difference warrants the discussion not only of the boundary of reason and rationality but adds new dimensions to that boundary, filling it with content and thus broadening the very sphere of critical idealism. In the course of the discussion of the problems of religion, Paul Natorp and Hermann Cohen stake a claim to projects for the serious transformation of philosophy which they tried to implement in their later works. (shrink)

The idea of the common good has been a signature feature of Catholic social teaching and so of modern Catholic engagement in public affairs. It has recently been suggested that the notion is now obsolete due to changes in the culture and politics of the West. In keeping with this suggestion, some argue that Catholics should abandon it in favor of an appeal based on lower intermediate goods in a manner more related to Augustine’s engagement with the largely pagan culture (...) of his time than to Aquinas’s categories tailored to an integrally Christian society. I argue that such a solution misreads aspects of the tradition and of the present political and cultural situation and I suggest some alternative grounds on which Catholic engagement with contemporary public life should proceed and that thinking again about the common good is a necessary part of such engagement. (shrink)

The development of the social sciences needs to rely on precise methods. The nomological model of explanation adopted in the natural sciences is ill-suited for the social sciences. An algorithmic model of society can be a promising solution to existing problems. In its most general form, an algorithm is a generally understood prescription for what actions to perform and in what order to achieve the desired result. Any algorithm can be represented as a set of rules of the form «If (...) A, do D to get P». People are the bearers of this kind of rules that apply in different areas of their activities. The rules are subject to change based on personal and collective experience. There is a special mathematical discipline that studies the laws of evolution of such rules. This discipline is called genetic programming. Contrary to the threatening name, the algorithmic model does not imply the deprivation of a person’s right to free choice, but it needs this right as a necessary condition for the evolution of social algorithms. These algorithms allow us to give a non-causal, but law-like explanation of many well-known social phenomena, as well as to effectively model the future, which is critically important today. A retrospective look at the evolution of social algorithms shows that the current global crisis of human society is associated with the approach to the point of singularity in their evolution. This is due to the fact that there is no need for direct human participation in the implementation of social algorithms, which is reflected in a fundamental change in the sphere of employment and less need for further development of the sciences. (shrink)

Here we outline a simple method of using two mirrors which allows one to stand outside oneself. This method demonstrates that registration of vision with touch and proprioception is crucial for the perception of the corporeal self. Our method may also allow the disassociation of taste from touch, proprioception, and movement.

A compact edition of Mr. Beck's excellent translation of the second Critique, slightly revised, together with a helpful short introduction and a bibliography.--V. C. C.

The process of turning a myth into a fairy tale, its internal and external causes, patterns, consequences... It may be difficult to find a more traditional way of exploring a fairy tale than this one. We will not avoid it either, because whatever aspect of the fairy tale analysis we choose, it is impossible to bypass this side of its genesis. And the choice of the method of explication of this problem largely predetermines both the angle of her vision and (...) the means of solution. The same traditions have already been given peculiar power lines that urge more and more researchers to move in the area of ​​these lines and to cover more and more varieties of the same dimensions of the object: demythologization and desacralization of the hero, his actions, his environment; giving the myth an exoteric character, with the elements of fiction and irony that are inconceivable as a result; the shrinking of the scale of the hero's actions, and hence the replacement of the mystery of myth with mysteriousness, intrigue in the fairy tale, the decline of the mythological worldview. The topics of branching of the subjects through the myth to the fairy tale, finding and researching common for both phenomena of binary oppositions, etc., are densely addressed. (shrink)