This paper deals with the problem of verification of game-like structures by means of symbolic model checking. Alternating-time Temporal Epistemic Logic (ATEL) is used for expressing properties of multi-agent systems represented by alternating epistemic temporal systems as well as concurrent epistemic game structures. Unbounded model checking (a SAT based technique) is applied for the first time to verification of ATEL. An example is given to show an application of the technique.

This paper presents a dialogue system called Lorenzen–Hamblin Natural Dialogue (LHND), in which participants can commit formal fallacies and have a method of both identifying and withdrawing formal fallacies. It therefore provides a tool for the dialectical evaluation of force of argument when players advance reasons which are deductively incorrect. The system is inspired by Hamblin’s formal dialectic and Lorenzen’s dialogical logic. It offers uniform protocols for Hamblin’s and Lorenzen’s dialogues and adds a protocol for embedding them. This unification required (...) a reformulation of the original description of Lorenzen’s system to distinguish “between different stances that a person might take in the discussion”, as suggested by Hodges. The LHND system is compared to Walton and Krabbe’s Complex Persuasion Dialogue using an example of a dialogue. (shrink)

Is theology able to communicate anything to the economy at all? Would not it be an invasion to an autonomous field of knowledge capable to organize economic activity of man according to its internal rules? However, when asking the economic question of how to satisfy material needs, one cannot ultimately avoid another question – an ethical one – of what the purpose of satisfying those needs is. What is man really looking for? Theology, on the plane of faith and reason, (...) tries to find answers to these fundamental, ultimate questions asked by human beings, who are nowadays often tired of searching for happiness in satisfying the short-term and often artificially created new and new needs. A theologian in his research listens first of all to the word that God pronounces to man. This word, contained in the Bible, sets out the basic lines of the dignity of man, his tasks and the ultimate goal of his existence, which is to achieve full humanity and maturity, namely happiness in God. Only in such a perspective, which goes beyond the mundane, one can properly evaluate every action of man, giving it a rightful place in the whole of his existence. Specific issues relating to man’s economic activity, as described in the Bible, invariably refer to this overall dimension of his existence and his ultimate fulfilment in God as the guarantor of order and the source of life. Hence, any human activity which ignores the structure of that order, planned by the Creator, appears to be disordered and, consequently, leads to the destruction of man himself. (shrink)

The fixed order quantity model of inventory management system is used in the deterministic part. Several elements of inventory cost, such as ordering cost, transportation and storing costs, frozen capital cost, as well as extra rebates, are taken into account in the model. Then the fuzzy optimization problem for the total cost function is formulated within the space of Ordered Fuzzy Numbers when all variables of the model are fuzzy. After the choice of a particular defuzzification functional an appropriate theorem (...) is formulated which gives the solution of the problem. (shrink)

In this book Daniel Wegner offers a novel understanding of the relation of consciousness, the will, and our intentional and voluntary actions. Wegner claims that our experience and common sense view according to which we can influence our behavior roughly the way we experience that we do it is an illusion.

I propose to consider the question, "Can machines think?" This should begin with definitions of the meaning of the terms "machine" and "think." The definitions might be framed so as to reflect so far as possible the normal use of the words, but this attitude is dangerous, If the meaning of the words "machine" and "think" are to be found by examining how they are commonly used it is difficult to escape the conclusion that the meaning and the answer to (...) the question, "Can machines think?" is to be sought in a statistical survey such as a Gallup poll. But this is absurd. Instead of attempting such a definition I shall replace the question by another, which is closely related to it and is expressed in relatively unambiguous words. The new form of the problem can be described in terms of a game which we call the 'imitation game." It is played with three people, a man (A), a woman (B), and an interrogator (C) who may be of either sex. The interrogator stays in a room apart front the other two. The object of the game for the interrogator is to determine which of the other two is the man and which is the woman. He knows them by labels X and Y, and at the end of the game he says either "X is A and Y is B" or "X is B and Y is A." The interrogator is allowed to put questions to A and B. We now ask the question, "What will happen when a machine takes the part of A in this game?" Will the interrogator decide wrongly as often when the game is played like this as he does when the game is played between a man and a woman? These questions replace our original, "Can machines think?". (shrink)

The emerging field of cognition and culture has had some success in explaining the spread of counterintuitive religious concepts around the world. However, researchers have been reluctant to extend its findings to explain the widespread occurrence of culturally counterintuitive ideas in general. This article develops a broader notion of social counterintuitiveness to include ideas that violate shared expectations of a group of people and argues that the notion of social counterintuitiveness is more crucial to explaining cultural success of surprising ideas (...) than the traditional notion of individual counterintuitiveness. Building on the context-based account of individual counterintuitiveness, the article also outlines how the once unorthodox cultural ideas become conventionalized over time only to be swept under the next wave of cultural innovation. By helping us peel away the layers of tradition that weave together the multilayered tapestry of culture, this account can be useful for understanding the development of cultural scaffolding that is needed to support the spread of maximally counterintuitive concepts such as widespread religious concepts of God and ghosts. (shrink)

This chapter introduces the subject of personhood and its significance to Indic traditions and academic discourses. The category of 'person' is distinguished from the categories of 'self' and 'body' by virtue of its relational, permeable, and "extensional" or "expansive" character. The scholarly tendency to frame persons as "microcosms"-bodies that contain within the replication of the cosmos-at-large-is problematized. Indic persons are most often conceived as outward-facing, phenomenalistic, world-wide entities. Chapters of the work are summarized. Significance of Indic theories of personhood to (...) modern debates on environmental personhood and legal personhood is discussed. (shrink)

Liturgy and ritual -- Structure -- Curriculum.

This book reveals and discusses the foundations of law and justice. Fifteen leading lawyers and philosophers of law, representing thirteen nations and fifteen different philosophical schools examine the value and purpose of law, and the nature and requirements of law and justice. Some of the world's most learned and provocative legal scholars address the ultimate questions of legal and social philosophy from all angles and the broadest possible perspective, with special reference to the work of Mortimer Newlin Stead Sellers, and (...) the republican, liberal, and analytical schools of legal thought. The conclusions reached here are not fully unanimous, congruent or conclusive, but they represent the pinnacle of legal scholarship as it exists today and furnish the necessary basis for any future study of law, justice, or the ultimate requirements of just, effective and legitimate law and society. (shrink)

This is the first full-length biography of John Langshaw Austin (1911–60). The opening four chapters outline his origins, childhood, schooling, and time as an undergraduate, while the next four examine his early career in professional philosophy, looking at the influence of Oxford Realism, Logical Positivism, Pragmatism, and the later Wittgenstein. The central twelve chapters then explore Austin’s wartime career in British Intelligence. The first three examine the contributions he made to the campaigns in North Africa; the next seven the seminal (...) role he played in ensuring the outstanding accuracy of the D-Day Intelligence; while the final two explore his contributions to Arnhem, the Ardennes, and the post-war administration of Germany. The last main section of the book then outlines and assesses Austin’s contributions to post-war Oxford Ordinary Language Philosophy. The first three chapters discuss the impact on Oxford philosophy of the cultural atmosphere of post-war Britain and the later Wittgenstein’s ideas. The next four look at Austin’s influence on post-war Oxford, particularly his Saturday morning discussion group and his perception lectures. The next five chapters concentrate on America’s influence on Austin and vice versa, paying particular attention to Austin’s work on speech-acts and his semesters in Harvard and Berkeley. The final two chapters examine Austin’s declining influence in Oxford, and his tragically premature death. (shrink)

"M. F. Simone Roberts's A Poetics of Being-Two is animated by a lively and engaging voice, drawing readers in with a sense of serious purpose working (delightfully) in tandem with a sense of humor. Roberts's aesthetics and her close readings of Yves Bonnefoy, St-John Perse, and Jorie Graham clearly demonstrate the literary effectiveness of Irigarayan sexual difference as an analytic trope, even as they emphasize the philosophical and political possibilities sexual difference opens up for feminism, environmentalism, and all levels of (...) contemporary cultural critique and activism."—Gail M. Schwab, Hofstra University -/- In An Ethics of Sexual Difference, Irigaray calls for a new poetics in the sense of both art and life. Rather than a critique from within philosophy, A Poetics of Being-Two tests Irigaray's ethics by extending it to other sites of cultural production. Where Irigaray's method finds stirrings and repressions of sexual difference in philosophy, this project explores that tension in poetics. Building from Irigaray's ethics, the book describes a poetics of being-two as concerns gendered subjectivity in literary poetics and then traces the on-going emergence of a poetics of being-two in the post-symbolist poetic tradition. Irigaray scholars will be interested in the sustained interpolation of Irigaray's ethical concepts as principles for a critical aesthetics and in their hermeneutic application in reading a literary tradition. Readers in comparative literature will find the first sustained feminist engagements with the major French poets Bonnefoy and Perse and an elucidation of their influence on the Pulitzer Prize winning poet Jorie Graham. (shrink)