There is sufficient evidence from more recent experiments in psychology that equal retinal stimulus-elements do not lead to equal experiences and reactions except under certain rather specific conditions. An unsophisticated observer will find himself surprised to be able to cover with his own finger a person entering the door of his living room. When the finger is moved to the right or left, thus doing away with the precise retinal coincidence with the person, the observer will soon become unable to (...) recognize intuitively the actual retinal stimulus equality of the two distant things. This usually holds even for the case when he is making every inner effort towards an antagonistic, analytic perceptual attitude of the type which is used by painters or draughtsmen in order to represent the environmental situation in a similar way as it would project itself on a photographic plate or on a retina. (shrink)

Humanitarian migration creates, on the one hand, huge benefits for those who are protected from war, persecution and other forms of violence, but, on the other hand, involves also net monetary and social costs for the population in host countries providing protection at the same time. This is the core of the ethical and political problem associated with the governance of humanitarian migration. Against this background, this paper discusses whether the provision of protection can be founded on rational ethical principles. (...) By drawing on a utilitarian approach a simple criterion is derived: Humanitarian migration is welfare improving, as long as the benefits of the marginal humanitarian migrant exceed the marginal costs of providing shelter per refugee. Based on this principle, practical solutions for the admission of humanitarian migrants and the international and European coordination of asylum policies are discussed. (shrink)

The Magasin des enfants (1756) by Leprince de Beaumont includes a Bible for children, based on an oralised rewriting of the famoust stories of the Old Testament. The story of Adam, we closely examine, is both representative of the skill of retelling and of the discursive pragmatic function. This paraphrase, which is also a parable, includes the reader in its device and reveals the functioning of reading. The story, coupled with a tale that turns out to be an allegory of (...) reading, implicitly displays the conditions of biblical hermeneutics. (shrink)

The theme of this book is formed by a pair of concepts: the concept of formal language as carrier of the precise expression of meaning, facts and problems, and the concept of algorithm or calculus, i.e. a formally operating procedure for the solution of precisely described questions and problems. The book is a unified introduction to the modern theory of these concepts, to the way in which they developed first in mathematical logic and computability theory and later in automata theory, (...) and to the theory of formal languages and complexity theory. Apart from considering the fundamental themes and classical aspects of these areas, the subject matter has been selected to give priority throughout to the new aspects of traditional questions, results and methods which have developed from the needs or knowledge of computer science and particularly of complexity theory. It is both a textbook for introductory courses in the above-mentioned disciplines as well as a monograph in which further results of new research are systematically presented and where an attempt is made to make explicit the connections and analogies between a variety of concepts and constructions. (shrink)

This article raises the question of whether standard economics with the general equilibrium model at its core applies situational analysis in a Popperian sense. Contrary to Popper's own view, the authors come to the conclusion that this is not the case. Standard economics fails to represent elements essential to any social situation in an adequate manner. It comprises uncertainty, time and space, social interaction, unintended effects, as well as culture and institutions. The authors suggest, therefore, the socioeconomic context as an (...) alternative approach to analyzing social situations. It consists of four basic elements: (1) dominant worldviews, (2) institutions and technologies, (3) relative prices, and (4) political instruments. The alternative approach was applied with some success to analyzing inter alia problems of unemployment as well as of transformation. (shrink)

This book offers a comprehensive treatment of the classical decision problem of mathematical logic and of the role of the classical decision problem in modern computer science. The text presents a revealing analysis of the natural order of decidable and undecidable cases and includes a number of simple proofs and exercises.

This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, Italy, in September/October 1992. CSL '92 was the sixth of the series and the first one held as Annual Conference of the European Association for Computer Science Logic (EACSL). Full versions of the workshop contributions were collected after their presentation and reviewed. On the basis of 58 reviews, 26 papers were selected for publication, and appear here in revised final form. Topics covered in the (...) volume include: Turing machines, linear logic, logic of proofs, optimization problems, lambda calculus, fixpoint logic, NP-completeness, resolution, transition system semantics, higher order partial functions, evolving algebras, functional logic programming, inductive definability, semantics of C, classes for a functional language, NP-optimization problems, theory of types and names, sconing and relators, 3-satisfiability, Kleene's slash, negation-complete logic programs, polynomial-time oracle machines, and monadic second-order properties. (shrink)

Tracer le panorama de l'apologétique à l'âge classique n'est pas chose facile, tant sont multiples les perspectives philosophiques et diverses les formes littéraires. La tentation est alors grande d'aligner les monographies. Le colloque de Metz (16-18 octobre 2008), dont sont issues les contributions du présent ouvrage, a choisi d'appréhender cette diversité foisonnante et mouvante en la soumettant à une unique approche, la question du croire. Tenant de l'imaginaire et du rationnel, la foi manifeste l'ambition de réaliser la synthèse du sentiment (...) et de la raison. La théologie pascalienne de la grâce fournit des éléments de réponse pour faire cohabiter ces deux principes, constituant le matériau dont d'innombrables apologies se nourriront pendant plus d'un siècle. De 1650 à 1802, de Pascal à Chateaubriand, en contexte catholique comme en contexte protestant, la réflexion est inlassablement reprise sur la possibilité de rendre raison de sa foi à autrui, comme le demande saint Pierre (1 P 3, 15), alors que les progrès de l'histoire, de l'exégèse biblique ou des sciences de la nature en renouvellent les conditions. Mais peu à peu le sujet s'affirme comme la preuve première : son expérience de la foi, le témoignage qu'il en rend, l'espace de parole qu'il ouvre à l'autre, pour mettre ses idées en débat et engager un possible dialogue, sont les nouveaux moyens de la persuasion et de la conversion. (shrink)

Notwendigkeit und Erfahrungsabhängigkeit -- Sicherheit, Begründung, Skepsis.

ABSTRACTPeople's relationship between positive and negative affect varies on a continuum from relatively independent to bipolar opposites, with stronger bipolar opposition being termed affective bipolarity. Experiencing more depressive symptoms is associated with increased bipolarity, but the processes underlying this relation are not yet understood. Here, we sought to replicate this link, and to examine the role of two potential mediating mechanisms: emotion regulation ability, and trait brooding. Drawing from the Dynamic Model of Affect, we hypothesised that a poor ability to (...) regulate negative emotion, and the tendency to brood over one's depressed feelings would predict stronger affective bipolarity, and mediate the relationship between depressive symptoms and affective bipolarity. To measure affective bipolarity, we calculated within-person affect correlations using two weeks of experience sampling data from a community sample. Mediation analyses indicated that baseline assessments o... (shrink)

In the Consolation of Ontology, Czech poet-philosopher Egon Bondy examines the substantial model of reality — the notion that there is some sort of substance, some "thing", idea, being, or principle that creates, underlies, transcends, or gives meaning to the universe in which we live. He shows how the substantial model, in both its theistic and mechanical materialist versions, is logically untenable and dangerous in its consequences. From there, Bondy shows how the nonsubstantial alternative — prefigured in the thinking (...) of cultures that developed independently of Greece — is simpler and more logically consistent. More importantly, it is free from the negative consequences of the substantial model and instead opens the way toward genuine human freedom, creativity, and responsibility, toward a corresponding and supportive form of social organization, and toward an unclouded understanding of ontological reality. Previously untranslated, the book asks that we leave behind comfortable assumptions and understand how the struggles for a genuinely human future and for ontological clarity presuppose each other and are mutually interdependent. (shrink)

We capture the principal models of computation and specification in the literature by a uniform set of transparent mathematical descriptions which—starting from scratch—provide the conceptual basis for a comparative study.1.

This volume presents the proceedings of the workshop CSL '91 (Computer Science Logic) held at the University of Berne, Switzerland, October 7-11, 1991. This was the fifth in a series of annual workshops on computer sciencelogic (the first four are recorded in LNCS volumes 329, 385, 440, and 533). The volume contains 33 invited and selected papers on a variety of logical topics in computer science, including abstract datatypes, bounded theories, complexity results, cut elimination, denotational semantics, infinitary queries, Kleene algebra (...) with recursion, minimal proofs, normal forms in infinite-valued logic, ordinal processes, persistent Petri nets, plausibility logic, program synthesis systems, quantifier hierarchies, semantics of modularization, stable logic, term rewriting systems, termination of logic programs, transitive closure logic, variants of resolution, and many others. (shrink)

En 1997 la parution de La Bible en littérature marquait une étape importante du dialogue entre les études littéraires et les études bibliques [Beaude 1997]. Issu d’un colloque qui s’était tenu à Metz trois ans plus tôt, le livre visait à « mettre en lumière les alliances que nouent la littérature moderne, principalement d’expression française, et la Bible aux XIXe et XXe siècles » [Beaude 1997, p. 7], et concrètement à décrire chez tel ou tel écrivain le travail de réécriture (...) opéré à partir d... (shrink)