Answer-set programming (ASP) has emerged as a declarative programming paradigm where problems are encoded as logic programs, such that the so-called answer sets of theses programs represent the solutions of the encoded problem. The efficiency of the latest ASP solvers reached a state that makes them applicable for problems of practical importance. Consequently, problems from many different areas, including diagnosis, data integration, and graph theory, have been successfully tackled via ASP. In this work, we present such ASP-encodings for problems (...) associated to abstract argumentation frameworks (AFs) and generalisations thereof. Our encodings are formulated as fixed queries, such that the input is the only part depending on the actual AF to process. We illustrate the functioning of this approach, which is underlying a new argumentation system called ASPARTIX in detail and show its adequacy in terms of computational complexity. (shrink)

This paper is a revised version of a talk given at the Logic and Logical Philosophy conference in Poland in September 1995. In it, I sketch the connections between Nuel Belnap's Display Logic and J. Michael Dunn's Gaggle Theory.

We study an application of gaggle theory to unary negative modal operators. First we treat negation as impossibility and get a minimal logic system Ki that has a perp semantics. Dunn 's kite of different negations can be dealt with in the extensions of this basic logic Ki. Next we treat negation as “unnecessity” and use a characteristic semantics for different negations in a kite which is dual to Dunn 's original one. Ku is the minimal logic that (...) has a characteristic semantics. We also show that Shramko's falsification logic FL can be incorporated into some extension of this basic logic Ku. Finally, we unite the two basic logics Ki and Ku together to get a negative modal logic K-, which is dual to the positive modal logic K+ in [7]. Shramko has suggested an extension of Dunn 's kite and also a dual version in [12]. He also suggested combining them into a “united” kite. We give a united semantics for this united kite of negations. (shrink)

A sequent calculus for the positive fragment of entailment together with the Church constants is introduced here. The single cut rule is admissible in this consecution calculus. A topological dual gaggle semantics is developed for the logic. The category of the topological structures for the logic with frame morphisms is proven to be the dual category of the variety, that is defined by the equations of the algebra of the logic, with homomorphisms. The duality results are extended to the (...) logic of entailment that includes a De Morgan negation. (shrink)

Kleene algebras and action logic were proposed to be solutions to the finite axiomatization problem of the algebra of regular sets (of strings). They are treated here as nonclassical logics—with Hilbert-style axiomatizations and semantics. We also provide intuitive accounts in terms of information states of the semantics which provide further insights into the formalisms. The three types of "Kripke-style'' semantics which we define develop insights from gaggle theory, and from our four-valued and generalized Kripke semantics for the minimal (...) substructural logic. Soundness and completeness are proven each time. (shrink)

Symmetric generalized Galois logics (i.e., symmetric gGl s) are distributive gGl s that include weak distributivity laws between some operations such as fusion and fission. Motivations for considering distribution between such operations include the provability of cut for binary consequence relations, abstract algebraic considerations and modeling linguistic phenomena in categorial grammars. We represent symmetric gGl s by models on topological relational structures. On the other hand, topological relational structures are realized by structures of symmetric gGl s. We generalize the weak (...) distributivity laws between fusion and fission to interactions of certain monotone operations within distributive super gGl s. We are able to prove appropriate generalizations of the previously obtained theorems—including a functorial duality result connecting classes of gGl s and classes of structures for them. (shrink)

We present a Kripke model for Girard's Linear Logic (without exponentials) in a conservative fashion where the logical functors beyond the basic lattice operations may be added one by one without recourse to such things as negation. You can either have some logical functors or not as you choose. Commutatively and associatively are isolated in such a way that the base Kripke model is a model for noncommutative, nonassociative Linear Logic. We also extend the logic by adding a coimplication operator, (...) similar to Curry's subtraction operator, which is resituated with Linear Logic's contensor product. And we can add contraction to get nondistributive Relevance Logic. The model rests heavily on Urquhart's representation of nondistributive lattices and also on Dunn's Gaggle Theory. Indeed, the paper may be viewed as an investigation into nondistributive Gaggle Theory restricted to binary operations. The valuations on the Kripke model are three valued: true, false, and indifferent. The lattice representation theorem of Urquhart has the nice feature of yielding Priestley's representation theorem for distributive lattices if the original lattice happens to be distributive. Hence the representation is consistent with Stone's representation of distributive and Boolean lattices, and our semantics is consistent with the Lemmon-Scott representation of modal algebras and the Routley-Meyer semantics for Relevance Logic. (shrink)

Part I of this paper is developed in the tradition of Stone-type dualities, where we present a new topological representation for general lattices (influenced by and abstracting over both Goldblatt's [17] and Urquhart's [46]), identifying them as the lattices of stable compact-opens of their dual Stone spaces (stability refering to a closure operator on subsets). The representation is functorial and is extended to a full duality.In part II, we consider lattice-ordered algebras (lattices with additional operators), extending the Jónsson and Tarski (...) representation results [30] for Boolean algebras with Operators. Our work can be seen as developing, and indeed completing, Dunn's project of gaggle theory [13, 14]. We consider general lattices (rather than Boolean algebras), with a broad class of operators, which we dubb normal, and which includes the Jónsson-Tarski additive operators. Representation of l-algebras is extended to full duality. (shrink)

"An important contribution to contemporary jurisprudential debate and to legal thought more generally, Just Interpretations is far ahead of currently available work."--Peter Goodrich, author of Oedipus Lex "I was struck repeatedly by the clarity of expression throughout the book. Rosenfeld's description and criticism of the recent work of leading thinkers distinguishes his work within the legal theory genre. Furthermore, his own theory is quite original and provocative."--Aviam Soifer, author of Law and the Company We Keep.

Literary Theory and Criminology demonstrates the significance of contemporary literary theory to the discipline of criminology, particularly to those criminologists who are primarily concerned with questions of power, inequality, and harm. Drawing on innovations in philosophical, narrative, cultural, and pulp criminology, it sets out a deconstructive framework as part of a critical criminological critique-praxis. -/- This book comprises eight essays – on globalisation, criminological fiction, poststructuralism, patriarchal political economy, racial capitalism, anthropocidal ecocide, critical theory, and critical praxis (...) – that argue for the value of contemporary literary theory to a critical criminology concerned with the construction of a just and sustainable reality in the face of climate change and other mass harms. This is the first criminology book to engage with literary theory from the perspective of criminology and provides a guide for criminologists who want to deploy literary theory as part of their research programmes. It supersedes existing engagements with poststructuralism in the philosophical criminological tradition because it entails neither a constructionist ontology nor a relativist epistemology. It shows criminologists how literary theory offers the tools to first deconstruct and then reconstruct meaning and value. -/- Literary Theory and Criminology is essential reading for all critical criminological theorists. (shrink)

Though the revised edition of A Theory of Justice, published in 1999, is the definitive statement of Rawls's view, so much of the extensive literature on Rawls's theory refers to the first edition. This reissue makes the first edition once again available for scholars and serious students of Rawls's work.

This paper starts by characterising moral requirements and everyday thought. Then ways in which moral requirements shape everyday thought are identified, including the way internalised moral requirements prevent some possible actions from even being considered. The paper then explains that everyday moral thought might be structured by dispositions to which there are corresponding principles even if these principles do not usually appear in the conscious thoughts of agents while they are engaged in everyday moral decision-making. Nevertheless, especially when conflicts between (...) moral considerations arise, alternative possible resolutions are typically framed in terms of principles. The paper pushes on to discuss how everyday moral thought is pushed to consider principles, engage in moral theorising, and even consider abstract moral theories. (shrink)

In “Theories of Justification,” Richard Fumerton begins an overview of several prominent positions on the nature of justification by isolating epistemic justification from nonepistemic justification. He also distinguishes between “having justification for a belief” and “having a justified belief,” arguing that the former is conceptually more fundamental. Fumerton then addresses the possibility that justification is a normative matter, suggesting that this possibility has little to offer as a concept of epistemic justification. He also critically examines more specific attempts to capture (...) the structure and content of epistemic justification. These include traditional foundationalism and variants thereof, externalist versions of foundationalism, contextualism, coherentism, and “mixed” theories which combine aspects of coherentism and foundationalism. (shrink)

« Pourquoi les choses tiennent-elles ensemble ? » (Traité d'ontologie, 2009, p. 237). Cette citation me sert de départ à une réflexion sur la nature des relations liantes souvent appelées relations de comprésence à la suite de Russell, ces bundling relations qui nouent les propriétés ensembles pour constituer les objets ordinaires (tables, chaises, individus biologiques) selon la théorie du faisceau. De même que Frédéric Nef, je suis séduit par les nombreuses vertus philosophiques de ces relations liantes. Ma contribution ne portera (...) pas sur une critique ou une défense de ces relations mais sur l'étude de leur nature, et en particulier, de leur possible nature méréologique. Je vais esquisser rapidement certains aspects de la théorie classique du faisceau que je qualifierai de réaliste pour opposer ensuite les variantes réalistes à deux autres versions méréologiques de la théorie, que je qualifierai d'éliminativistes. (shrink)

Though the revised edition of A Theory of Justice, published in 1999, is the definitive statement of Rawls's view, so much of the extensive literature on Rawls's theory refers to the first edition.

이 글은 들뢰즈가 주장했던 개념에 대한 분명한 이해를 목적으로 기획되었다. 일찍이 들뢰즈는 사르트르의 타인-구조에 대해 구조주의의 선구자로서의 면모를 갖추었다고 상찬한 바 있지만, 그것을 ‘시선’을 통해 정의함으로써 결국 타자를 또 다시 주체와 대상의 범주로 떨어지게 만들었다며 아쉬워했다. 부정과 모순 을 기반으로 하고 있는 주체철학의 구도에서 축조된 사르트르의 타인이론은 결국 에 머물 수밖에 없기 때문이다. 게다가 능동적인 의 재인능력은 만을 가능하도록 이끎으로써 우리의 사유를 치명적으로 제한하는 문제점을 안고 있다. 따라서 들뢰즈는 서양철학에서의 선-철학적 전제로 인해 재현적 사유만이 가능한 인격 적인 주체 개념을 비인격적 (...) 개체인 로 대신하였을 뿐만 아니라, 재인으로부터 를 구하기 위해, 즉 에 관심 을 쏟았고 그러는 가운데 로 을 지목함으로써 의 구도를 벗어나게 된다. 그 과정을 톺아보면 사르트르의 타인-시선 구조는 들뢰즈에게 전 해져 지각장의 한 구조로서의 타인과 절대적 구조인 으로 좀 더 면밀 히 구분되는데, 이 절대적인 구조는 그것을 채우는 항들에 앞서 존재하는 것이 아니라 중 단 없이 연속적으로 변이하며 전개되어 간다. 이처럼 타인-구조와 개체화는 긴밀히 연관 되어 있기에, 만약 우리가 진정 새로워지고 싶다면 우선 재현의 개체화만을 일으키는 기존 의 타인-구조를 와해시킴으로써 창조적 사유자인 로 거듭나기 위한 조건을 만들 어야만 한다. 이는 우리의 사유가 어떻게 재현의 방식을 벗어나 자유로워질 수 있는가 하 는 방법의 문제이기도 하며 뒤집어 말해, 우리 사유의 독특성과 다양성에 대한 설명이기도 하다. 들뢰즈의 이론을 통해 타인은 투쟁의 대상이나 유사함과 감미로움의 대상을 넘어, 이라는 고유한 의미의 타인으로 새롭게 태어난다. (shrink)

The new theory of reference has won popularity. However, a number of noted philosophers have also attempted to reply to the critical arguments of Kripke and others, and aimed to vindicate the description theory of reference. Such responses are often based on ingenious novel kinds of descriptions, such as rigidified descriptions, causal descriptions, and metalinguistic descriptions. This prolonged debate raises the doubt whether different parties really have any shared understanding of what the central question of the philosophical (...) class='Hi'>theory of reference is: what is the main question to which descriptivism and the causal-historical theory have presented competing answers. One aim of the paper is to clarify this issue. The most influential objections to the new theory of reference are critically reviewed. Special attention is also paid to certain important later advances in the new theory of reference, due to Devitt and others. (shrink)

Feminist theory is a central strand of cultural studies. This book explores the history of feminist cultural studies from the early work of Mary Wollstonecraft, Charlotte Perkins Gilman, Virginia Woolf, Simone de Beauvoir, through the 1970s Women's Liberation Movement. It also provides a comprehensive introduction to the contemporary key approaches, theories and debates of feminist theory within cultural studies, offering a major re-mapping of the field. It will be an essential text for students taking courses within both cultural (...) studies and women's studies departments. (shrink)

This paper discusses the role of Law and Legal Thinking in Critical Theory with specific reference to the arguments that Michael Hardt and Antonio Negri offer in their book Commonwealth. The core idea is that Critical Theory is no less radical, but much more concrete, when it is performing not only an external, but also an internal critique of the Law. It shows that the role of the law in critical theory emerges as a problem when the (...) latter claims that ‘there is no outside’ and that ‘the legal base of the system structures our lives.’ It then discusses optimistic and pessimistic strategies to overcome the problem, and argue for a demanding strategy which consist in articulating the external and the internal critique of the law. To make this point, the paper goes back to the epistemic context in which critical attitudes are deployed (the ‘Conflict of the Faculties’), describes the four theoretical moves constitutive of the historical moment in which, at the end of the 18th Century, modern law as we know it was conceived of and founded; and sketches the key moments of the history of the internal critique of the law. It then illustrates the demanding strategy with examples taken from the field of Intellectual Property, and concludes that the Law is malleable and open enough to allow the thinking and practicing of radical alternatives from within the legal system and also that alternatives spoken in the language of the law are no less radical, but certainly, more concrete than others. (shrink)

Sample quotes from emails sent by visitors to Mary Klages's successful literary theory web pages on which this book is based: 'Finding your course was a godsend ...

If the world itself is metaphysically indeterminate in a specified respect, what follows? In this paper, we develop a theory of metaphysical indeterminacy answering this question.

This chapter surveys hybrid theories of well-being. It also discusses some criticisms, and suggests some new directions that philosophical discussion of hybrid theories might take.

Christian von Ehrenfels was a student of both Franz Brentano and Carl Menger and his thinking on value theory was inspired both by Brentano’s descriptive psychology and by the subjective theory of economic value advanced by Menger, the founder of the Austrian school of economics. Value, for Ehrenfels, is a function of desire, and we ascribe value to those things which we either do in fact desire, or would desire if we were not convinced of their existence. He (...) asserts that the needed theoretical understanding of values is to be achieved by generalizing economic laws of valuation to apply to value in general. The law of marginal utility, for example, is a law to the effect that the n+1st sample of a good which I receive is ceteris paribus less valuable than the nth sample (imagine that the samples in question are, for example, a series of identical ham sandwiches). The essay describes how Ehrenfels provides on this basis an account of the different types of values, both intrinsic and non-intrinsic. It outlines also Ehrenfels views on the problem of interpersonal value-comparisons and on the struggle for survival between different values of different types. (shrink)

The "theory of mind" framework has been the fastest growing body of empirical research in contemporary psychology. It has given rise to a range of positions on what it takes to relate to others as intentional beings. This book brings together disparate strands of ToM research, lays out historical roots of the idea, and indicates better alternatives.

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply them (...) elsewhere in much more complex settings. There are numerous exercises throughout the text. In general, the only prerequisite is a standard course in first-order logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included. (shrink)