This new edition of Introduction to Lattices and Order presents a radical reorganization and updating, though its primary aim is unchanged. The explosive development of theoretical computer science in recent years has, in particular, influenced the book's evolution: a fresh treatment of fixpoints testifies to this and Galois connections now feature prominently. An early presentation of concept analysis gives both a concrete foundation for the subsequent theory of complete lattices and a glimpse of a methodology for data analysis that is (...) of commercial value in social science. Classroom experience has led to numerous pedagogical improvements and many new exercises have been added. As before, exposure to elementary abstract algebra and the notation of set theory are the only prerequisites, making the book suitable for advanced undergraduates and beginning graduate students. It will also be a valuable resource for anyone who meets ordered structures. (shrink)

What is the relation between a reason and an action when the reason explains the action by giving the agent's reason for doing what he did? We may call such explanations rationalizations, and say that the reason rationalizes the action. In this paper I want to defend the ancient - and common-sense - position that rationalization is a species of ordinary causal explanation. The defense no doubt requires some redeployment, but not more or less complete abandonment of the position, as (...) urged by many recent writers. (shrink)

This book develops a view of logic as a theory of information-driven agency and intelligent interaction between many agents - with conversation, argumentation and games as guiding examples. It provides one uniform account of dynamic logics for acts of inference, observation, questions and communication, that can handle both update of knowledge and revision of beliefs. It then extends the dynamic style of analysis to include changing preferences and goals, temporal processes, group action and strategic interaction in games. Throughout, the book (...) develops a mathematical theory unifying all these systems, and positioning them at the interface of logic, philosophy, computer science and game theory. A series of further chapters explores repercussions of the 'dynamic stance' for these areas, as well as cognitive science. (shrink)

A Companion to the Philosophy of Action offers a comprehensive overview of the issues and problems central to the philosophy of action. The first volume to survey the entire field of philosophy of action (the central issues and processes relating to human actions). Brings together specially commissioned chapters from international experts. Discusses a range of ideas and doctrines, including rationality, free will and determinism, virtuous action, criminal responsibility, Attribution Theory, and rational agency in evolutionary perspective. Individual chapters also cover prominent (...) historic figures from Plato to Ricoeur. Can be approached as a complete narrative, but also serves as a work of reference. Offers rich insights into an area of philosophical thought that has attracted thinkers since the time of the ancient Greeks. (shrink)

Belief revision from the point of view of doxastic logic. Logic Journal of the IGPL, 3(4), 535–553. Segerberg, K. (1995). Conditional action. In G. Crocco, L. Fariñas, & A. Herzig (Eds.), Conditionals: From philosophy to computer science, Studies ...

An graduate level introduction to nonmonotonic reasoning, emphasizing structures and spirit common to different formulations, with exercises.

Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the next generation. It was first published in 1952, some twenty years after the publication of Godel's paper on the incompleteness of arithmetic, which marked, if not the beginning of modern logic. The 1930s was a time of creativity and ferment in the subject, when the notion of computable moved from the realm of (...) philosophical speculation to the realm of science. This was accomplished by the work of Kurt Gode1, Alan Turing, and Alonzo Church, who gave three apparently different precise definitions of computable. When they all turned out to be equivalent, there was a collective realization that this was indeed the right notion. Kleene played a key role in this process. One could say that he was there at the beginning of modern logic. He showed the equivalence of lambda calculus with Turing machines and with Godel's recursion equations, and developed the modern machinery of partial recursive functions. This textbook played an invaluable part in educating the logicians of the present. It played an important role in their own logical education.". (shrink)

A solid cast of contributors present the first collection of essays on the Philosophy of Action.

This volume tackles the slippery subject of 'meaning'.

Dynamic Epistemic Logic This article tells the story of the rise of dynamic epistemic logic, which began with epistemic logic, the logic of knowledge, in the 1960s. Then, in the late 1980s, came dynamic epistemic logic, the logic of change of knowledge. Much of it was motivated by puzzles and paradoxes. The number … Continue reading Dynamic Epistemic Logic →.

The paper discusses properties of 4QL, a DATALOG⌉⌉-like query language, originally outlined by Maluszyński and Szalas (Maluszyński & Szalas, 2011). 4QL allows one to use rules with negation in heads and bodies of rules. It is based on a simple and intuitive semantics and provides uniform tools for “lightweight” versions of known forms of nonmonotonic reasoning. Negated literals in heads of rules may naturally lead to inconsistencies. On the other hand, rules do not have to attach meaning to some literals. (...) Therefore 4QL is founded on a four-valued semantics, employing the logic introduced in (Maluszyński et al., 2008; Vitória et al., 2009) with truth values: ‘true’, ‘false’, ‘inconsistent’ and ‘unknown’. In addition, 4QL is tractable w.r.t. data complexity and captures PTIME queries. Even though DATALOG⌉⌉ is known as a concept for the last 30 years, to our best knowledge no existing approach enjoys these properties.In the current paper we:investigate properties of well-supported models of 4QLprove the correctness of the algorithm for computing well-supported modelsshow that 4QL has PTIME data complexity and captures PTIME. (shrink)

NOW IN PAPERBACK"€"Starting from a collection of simple computer experiments"€"illustrated in the book by striking computer graphics"€"Stephen Wolfram shows how their unexpected results force a whole new way of looking at the operation of our universe.

We present a theory of actions based on a theory of events in branching time, in which "particular" or "token" actions are taken to be sets of transitions from their initial states to the outcomes. We also present a simple theory of composition of events by which composite events can be formed out of other events. Various kinds of actions, including instantaneous group actions and sequential group actions, are introduced by way of composition, and an extended stit theory of agency (...) is proposed, in which the stit operators are combined or equipped with reified group actions. (shrink)

I Two Traditions. Scientific inquiry, seen in a very broad perspective, may be said to present two main aspects. One is the ascertaining and discovery of ...

The latest offering in the highly successful Oxford Readings in Philosophy series, The Philosophy of Action features contributions from twelve leading figures in the field, including: Robert Audi, Michael Bratman, Donald Davidson, Wayne Davis, Harry Frankfurt, Carl Ginet, Gilbert Harman, Jennifer Hornsby, Jaegwon Kim, Hugh McCann, Paul Moser, and Brian O'Shaughnessy. Alfred Mele provides an introductory essay on the topics chosen and the questions they deal with. Topics addressed include intention, reasons for action, and the nature and explanation of internal (...) action. A selective bibliography is included as a guide to further reading. Comprehensive and up-to-date, this collection provides an accessible and stimulating introduction for readers interested in the philosophy of action, the philosophy of mind, and moral philosophy. (shrink)

Legal statements are, according to the authors, the most basic elements of the law. Nevertheless they must be considered not only as the pieces of a puzzle, but also as the components of a dynamic and highly complex reality: the law of contemporary society. The book presents an analysis of the different types of legal statements (mandatory rules, principles, power-conferring rules, definitions, permissions, values and the rule of recognition) from a threeefold perspective, that is, considering their logical structure, their function (...) in legal reasoning as reasons for action, and their connections with the interests and power relationships among the individuals and the social groups. The result is conceived as a first step in the building of a general theory of law designed not as an isolated discourse but as a decisive element for the dynamization of the legal culture. (shrink)