The idea of the positive theory is to avoid the Russell's paradox by postulating an axiom scheme of comprehension for formulas without "too much" negations. In this paper, we show that the axiom of choice is inconsistent with the positive theory $GPK^+ \infty$.

M. Forti and F. Honsell showed in [4] that the hyperuniverses defined in [2] satisfy the anti-foundation axiom X1 introduced in [3]. So it is interesting to study the axiom AFA, which is equivalent to X1 in ZF, introduced by P. Aczel in [1]. We show in this paper that AFA is inconsistent with the theory GPK. This theory, which is first order, is defined by E. Weydert in [6] and later by M. Forti and R. Hinnion in (...) [2]. It includes all general hyperuniverses as defined in [5]. In order to achieve our aim, we need to define ordinals in GPK and to study some of their properties. (shrink)

An interesting positive theory is the GPK theory. The models of this theory include all hyperuniverses (see [5] for a definition of these ones). Here we add a form of the axiom of infinity and a new scheme to obtain GPK∞+. We show that in these conditions, we can interprete the Kelley‐Morse theory (KM) in GPK∞+ (Theorem 3.7). This needs a preliminary property which give an interpretation of the Zermelo‐Fraenkel set theory (ZF) in GPK∞+. We (...) also see what happens in the original GPK theory. Before doing this, we first need to study the basic properties of the theory. This is done in the first two sections. (shrink)

In positive theories, we have an axiom scheme of comprehension for positive formulas. We study here the “generalized positive” theory GPK∞+. Natural models of this theory are hyperuniverses. The author has shown in [2] that GPK∞+ interprets the Kelley Morse class theory. Here we prove that GPK∞+ + ACWF and the Kelley-Morse class theory with the axiom of global choice and the axiom “On is ramifiable” are mutually interpretable. This shows that GPK∞+ + ACWF is a (...) “strong” theory since “On is ramifiable” implies the existence of a proper class of inaccessible cardinals. (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.

It is proved in this paper that the positive abstraction scheme is consistent with extensionality only if one drops equality out of the language. The theory obtained is then compared with GPK, a wellknown set theory based on an extended positive comprehension scheme.

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.

Previous edition, 1st, published in 1971.

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)

The standard formulation of Newcomb's problem compares evidential and causal conceptions of expected utility, with those maximizing evidential expected utility tending to end up far richer. Thus, in a world in which agents face Newcomb problems, the evidential decision theorist might ask the causal decision theorist: "if you're so smart, why ain’cha rich?” Ultimately, however, the expected riches of evidential decision theorists in Newcomb problems do not vindicate their theory, because their success does not generalize. Consider a theory (...) that allows the agents who employ it to end up rich in worlds containing Newcomb problems and continues to outperform in other cases. This type of theory, which I call a “success-first” decision theory, is motivated by the desire to draw a tighter connection between rationality and success, rather than to support any particular account of expected utility. The primary aim of this paper is to provide a comprehensive justification of success-first decision theories as accounts of rational decision. I locate this justification in an experimental approach to decision theory supported by the aims of methodological naturalism. (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 ...

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)

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.

Giroux argues that challenge gives new meaning to the importance of resistance, the relevance of pedagogy, and the significance of political agency.

Topics covered in Discrete Mathematics have become essential tools in many areas of studies in recent years. This is primarily due to the revolution in technology, communications, and cyber security. The book treats major themes in a typical introductory modern Discrete Mathematics course: Propositional and predicate logic, proof techniques, set theory (including Boolean algebra, functions and relations), introduction to number theory, combinatorics and graph theory. An accessible, precise, and comprehensive approach is adopted in the treatment of each (...) topic. The ability of abstract thinking and the art of writing valid arguments are emphasized through detailed proof of (almost) every result. Developing the ability to think abstractly and roguishly is key in any areas of science, information technology and engineering. Every result presented in the book is followed by examples and applications to consolidate its comprehension. The hope is that the reader ends up developing both the abstract reasoning as well as acquiring practical skills. All efforts are made to write the book at a level accessible to first-year students and to present each topic in a way that facilitates self-directed learning. Each chapter starts with basic concepts of the subject at hand and progresses gradually to cover more ground on the subject. Chapters are divided into sections and subsections to facilitate readings. Each section ends with its own carefully chosen set of practice exercises to reenforce comprehension and to challenge and stimulate readers. As an introduction to Discrete Mathematics, the book is written with the smallest set of prerequisites possible. Familiarity with basic mathematical concepts (usually acquired in high school) is sufficient for most chapters. However, some mathematical maturity comes in handy to grasp some harder concepts presented in the book. (shrink)

Introductory survey -- Atomic theory and mechanics -- The quantum postulate and the recent development of atomic theory -- The quantum of action and the description of nature -- The atomic theory and the fundamental principles underlying the description of nature.

Wilber's most timely, accessible, and practical work to date. Here is a concise, comprehensive overview of Wilber's revolutionary thought and its application in today's world. Wilber has long been hailed as one of the most important thinkers of our time, but--until now--his work has seemed inaccessible to the general reader who lacks a background in consciousness studies or evolutionary theory. Integral Vision will allow a general audience to fully understand what all the excitement has been about. In clear, non-technical (...) language, Wilber presents complex, cutting-edge theories and models that integrate the realms of body, mind, soul, and spirit. He then demonstrates how these theories and models can be applied to real world problems. Finally, Wilber discusses daily practices that readers take up in order to apply this integrative vision to their own, everyday lives. Wilber begins by presenting a leading model of human evolution, a model called "spiral dynamics." He then goes on to summarize his ground-breaking "all-level, all-quadrant" model for integrating the seemingly contradictory realms of science and religion--the "all-level, all-quadrant" model has already been adopted by leading thinkers in a variety of fields. In a chapter entitle "The Real World," Wilber shows how these rather abstract theories and models are being applied to real-world issues such as politics, medicine, business, education, and the environment. Wilber goes on to present a collection of maps of the Kosmos. These are broader models that can integrate the various worldviews that have been developed around the world throughout the ages. The final chapter of the book, "One Taste," proposes that readers take up an "integral transformative practice" such as meditation to help them to apply and develop this integral vision in their personal, everyday lives. (shrink)

Haeusermann et al. (Citation2023) draw three overall conclusions from their study on closed loop neuromodulation and self-perception in clinical treatment of refractory epilepsy. The first is that closed-loop neuromodulation devices did not substantially change epileptic patient’s personalities or self-perception postoperatively. The second is that some patients and caregivers attributed observed changes in personality and self-perception to the epilepsy itself and not to the DBS treatments. The third is that the devices provided participants with novel ways to make sense of their (...) illness. These findings further demonstrate a misalignment between some neuroethicists’ concerns about putative postoperative changes to personality, and the empirical evidence for such changes. Haeusermann et al. nonetheless concede that “neurotechnology directed at persisting rather than episodic clinical phenomena could have greater implications for personality or self-perception, either because they operate more continuously or are directed at clinical phenomena that are more stably integrated into patients’ self-concepts” (41). We acknowledge that the hypothesis that participants did not report changes because they were only episodically and not continually stimulated offers an interesting line for future investigation. Nonetheless, we would like to propose that potential postoperative personality changes might be correlated with the pathophysiology itself, rather than the stimulation effects of the technology. Generally, we advance the view that unintended effects solely induced by the technology cannot be excluded per se. Regardless, this comment aims to highlight that ethicists’ starting premise should be that patients suffering from diverse pathophysiology, or patients who are treated with stimulation in different brain regions and with differing parameters, would likely not react in the same way to treatment. (shrink)

The 1927 Solvay conference was perhaps the most important meeting in the history of quantum theory. Contrary to popular belief, the interpretation of quantum theory was not settled at this conference, and no consensus was reached. Instead, a range of sharply conflicting views were presented and extensively discussed, including de Broglie's pilot-wave theory, Born and Heisenberg's quantum mechanics, and Schrödinger's wave mechanics. Today, there is no longer an established or dominant interpretation of quantum theory, so it (...) is important to re-evaluate the historical sources and keep the interpretation debate open. This book contains a complete translation of the original proceedings, with background essays on the three main interpretations of quantum theory presented at the conference, and an extensive analysis of the lectures and discussions in the light of current research in the foundations of quantum theory. The proceedings contain much unexpected material, including extensive discussions of de Broglie's pilot-wave theory (which de Broglie presented for a many-body system), and a theory of 'quantum mechanics' apparently lacking in wave function collapse or fundamental time evolution. This book will be of interest to graduate students and researchers in physics and in the history and philosophy of quantum theory. (shrink)

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)

Binmore argues that game theory provides a systematic tool for investigating ethical matters.

This paper empirically investigates whether people’s implicit decision theory is more like causal decision theory or more like a non-causal decision theory (such as evidential decision theory). We also aim to determine whether implicit causalists, without prompting and without prior education, make a distinction that is crucial to causal decision theorists: preferring something _as a news item_ and preferring it _as an object of choice_. Finally, we investigate whether differences in people’s implicit decision theory correlate (...) with differences in their level of _future bias_: the preference for positively valenced events to be located in the future and not the past, and negatively valenced events to be located in the past and not the future. We find that people are overwhelmingly non-causalists. We also find that implicit causalists _do not_ make the distinction between news items and objects of choice, and that there is little to no correlation between people’s future bias and their implicit decision theory. We end by discussing the philosophical upshots of this work. (shrink)

Decision theory has had a long-standing history in the behavioural and social sciences as a tool for constructing good approximations of human behaviour. Yet as artificially intelligent systems (AIs) grow in intellectual capacity and eventually outpace humans, decision theory becomes evermore important as a model of AI behaviour. What sort of decision procedure might an AI employ? In this work, I propose that policy-based causal decision theory (PCDT), which places a primacy on the decision-relevance of predictors and (...) simulations of agent behaviour, may be such a procedure. I compare this account to the recently-developed functional decision theory (FDT), which is motivated by similar concerns. I also address potentially counterintuitive features of PCDT, such as its refusal to condition on observations made at certain times. (shrink)