Terence Irwin's edition of the Nicomachean Ethics offers more aids to the reader than are found in any modern English translation. It includes an Introduction, headings to help the reader follow the argument, explanatory notes on difficult or important passages, and a full glossary explaining Aristotle's technical terms. The Third Edition offers additional revisions of the translation as well as revised and expanded versions of the notes, glossary, and Introduction. Also new is an appendix featuring translated selections from related texts (...) of Aristotle. (shrink)

. This papers examines formal properties of logical squares and their generalizations in the form of hexagons and octagons. Then, several applications of these constructions in philosophical analysis are elaborated. They concern contingency (accidentality), possibility, permission, axiological concepts (bonum and malum), the generalized Hume thesis (deontic and epistemic modalities), determinism, truth and consistency (in various senses. It is shown that relations between notions used in various branches of philosophy fall into the same formal scheme.

We describe a KB Gödelian ontological system, and some other weak systems, in a fully formal way using theory of types and natural deduction, and present a completeness proof in its main and specific parts. We technically and philosophically analyze and comment on the systems (mainly with respect to the relativism of values) and include a sketch of some connected aspects of Gödel's relation to Kant.

On the face of it, normative conflicts are commonplace. Yet standard deontic logic declares them to be logically impossible. That prompts the question, What are the proper principles of normative reasoning if such conflicts are possible? This paper examines several alternatives that have been proposed for a logic of 'ought' that can accommodate normative conflicts, and finds all of them unsatisfactory as measured against three criteria of adequacy. It then introduces a new logic that does meet all three criteria, and (...) so allows for the possibility of genuine normative conflicts. (shrink)

The basic bimodal systemK/K can be interpreted as an analysis of the logic of ability developed in [1]. Where in [1] we would express the claimI can bring it about that P using the formula, with its non-normal operator, we will now use the formula. Here is a normal alethic possibilitation operator.is a normal necessitation operator, but it is independent of, and not subject to an alethic interpretation. Rather, is interpreted to meanI bring it about that P. The result is (...) a simplification and clarification of a combined logic of ability and action like that in [2], but employing only normal operators.A number of extensions of the basic systemK/K are constructed, first by strengthening the two normal sublogics independently and then by linking the two sublogics via axiom schemata involving both operators. The result is a series of increasingly strong systems which more and more adequately fulfill our expectations for a satisfactory logic of action and ability. (shrink)

In _Modal Logic for Open Minds,_ Johan van Benthem provides an up-to-date introduction to the field of modal logic, outlining its major ideas and exploring the numerous ways in which various academic fields have adopted it. Van Benthem begins with the basic theories of modal logic, semantics, bisimulation, and axiomatics, and also covers more advanced topics, such as expressive power and computational complexity. The book then moves to a wide range of applications, including new developments in information flow, intelligent agency, (...) and games. Taken together, the chapters show modal logic at the crossroads of philosophy, mathematics, linguistics, computer science, and economics. Most of the chapters are followed by exercises, making this volume ideal for undergraduate and graduate students in philosophy, computer science, symbolic systems, cognitive science, and linguistics. (shrink)

Building on the strengths of the first edition, the second edition of the Irwin Nicomachean Ethics features a revised translation (with little editorial intervention), expanded notes (including a summary of the argument of each chapter), an expanded Introduction, and a revised glossary.

Here, for the first time in English, is volume one of Jurgen Habermas's long-awaited magnum opus: The Theory of Communicative Action. This pathbreaking work is guided by three interrelated concerns: to develop a concept of communicative rationality that is no longer tied to the subjective and individualistic premises of modern social and political theory; to construct a two-level concept of society that integrates the 'lifeworld' and 'system' paradigms; and to sketch out a critical theory of modernity that explains its sociopathologies (...) in a new way. Habermas approaches these tasks through a combination of conceptual analyses, systematic reflections, and critical reconstructions of such predecessors as Marx and Weber, Durkheim and Mead, Horkheimer and Adorno, Schutz and Parsons. Reason and the Rationalization of Society develops a sociological theory of action that stresses not its means-ends or teleological aspect, but the need to coordinate action socially via communication. In the introductory chapter Habermas sets out a powerful series of arguments on such foundational issues as cultural and historical relativism, the methodology of Verstehen, the inseparabilty of interpretation from critique. In addition to clarifying the normative foundations of critical social inquiry, this sets the stage for a systematic appropriation of Weber's theory of rationalization and its Marxist reception by Lukacs, Horkheimer and Adorno. This is an important book for degree students of philosophy, sociology and related subjects. (shrink)

In his choice of texts, the Editor has been faced with the difficult task of selecting, from among the author's more than 600 publications, those of the greatest philosophical interest. It is chiefly the topics of value-rela tivism and the logic of norms that have been kept in view. The selection has also been guided by the endeavour to reprint, so far as possible, texts which have not hitherto appeared in English. At times, however, this aim has had to be (...) discarded, in order to include works of key im portance and also the latest expressions of Kelsen's view. In addition to the two topics already mentioned, the Editor has con sidered Kelsen's discussions of the causal principle to be so far worthy of philosophical attention, that some writings on causality and account ability have been included in this collection of philosophical studies. OTA WEINBERGER Hans Kelsen died on April 19th, 1973. Only his work now lives, for the inspiration of future generations of jurists and philosophers. Graz, 25th April, 1973 OT A WEINBERGER TRANSLATOR'S NOTE I am obliged to the Editor for his careful scrutiny of the translation, which has led to a number of corrections and improvements in the text. (shrink)

In _Modal Logic for Open Minds,_ Johan van Benthem provides an up-to-date introduction to the field of modal logic, outlining its major ideas and exploring the numerous ways in which various academic fields have adopted it. Van Benthem begins with the basic theories of modal logic, semantics, bisimulation, and axiomatics, and also covers more advanced topics, such as expressive power and computational complexity. The book then moves to a wide range of applications, including new developments in information flow, intelligent agency, (...) and games. Taken together, the chapters show modal logic at the crossroads of philosophy, mathematics, linguistics, computer science, and economics. Most of the chapters are followed by exercises, making this volume ideal for undergraduate and graduate students in philosophy, computer science, symbolic systems, cognitive science, and linguistics. (shrink)

A textbook on modal logic, intended for readers already acquainted with the elements of formal logic, containing nearly 500 exercises. Brian F. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability. Illustrative chapters focus on deontic logic and conditionality. Modality is a rapidly expanding branch of logic, and familiarity with the subject is now regarded as a necessary part of every philosopher's technical equipment. Chellas here offers an (...) up-to-date and reliable guide essential for the student. (shrink)

SOCREAL 2010: 2nd International Workshop on Philosophy and Ethics of Social Reality. Sapporo, Japan, 2010-03-27/28. Session 2: Normative Systems.

Although it seems intuitively clear that acts of requesting are different from acts of commanding, it is not very easy to sate their differences precisely in dynamic terms. In this paper we show that it becomes possible to characterize, at least partially, the effects of acts of requesting and compare them with the effects of acts of commanding by combining dynamified deontic logic with epistemic logic. One interesting result is the following: each act of requesting is appropriately differentiated from an (...) act of commanding with the same content, but for each act of requesting, there is another act of commanding with much more complex content which updates models in exactly the same way as it does. We will also consider an application of our characterization of acts of requesting to acts of asking yes-no questions. It yields a straightforward formalization of the view of acts of asking questions as requests for information. (shrink)

In this paper, the set-theoretic approach in the logical theory of normative systems is extended using Broome’s definition of the normative code function. The syntax and semantics for first order metanormative language is defined, and metanormative language is applied in the formalization of the basic principles in Broome’s approach and in the construction of a logical typology of normative systems. Special attention is given to the types of normative systems which are not definable in terms of the properties of singular (...) sets of requirements (e.g. the realization equivalence of codes, the social compatibility of codes, and the compatibility of codes issued by different normative sources). Examples are given of the application of the typology in the interpretation of philosophical texts. Von Wright’s hypothesis on the connection of logical properties of normative systems, conceived set-theoretically, with standard deontic logic is proved by introducing the translation function between the metanormative language and the restricted language of standard deontic logic. The translation reveals that von Wright’s hypothesis must be appended. The problems of narrow and wide scope readings of the deontic conditionals and of the meaning of iterated deontic operators are addressed using the distinction between relative and absolute normative codes. The theorem on the existence of a realization equivalent absolute code for any relative code is proved. (shrink)