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.

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.

Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.

"Feminism, Theory and the Politics of Difference" looks at the question of difference across the full spectrum of feminist theory from liberal, radical, lesbian ...

This paper argues that we should replace the common classification of theories of welfare into the categories of hedonism, desire theories, and objective list theories. The tripartite classification is objectionable because it is unduly narrow and it is confusing: it excludes theories of welfare that are worthy of discussion, and it obscures important distinctions. In its place, the paper proposes two independent classifications corresponding to a distinction emphasised by Roger Crisp: a four-category classification of enumerative theories (about which items constitute (...) welfare), and a four-category classification of explanatory theories (about why these items constitute welfare). (shrink)

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of (...) finite-valued first order logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

Lipsey and Lancaster's "general theory of second best" is widely thought to have significant implications for applied theorizing about the institutions and policies that most effectively implement abstract normative principles. It is also widely thought to have little significance for theorizing about which abstract normative principles we ought to implement. Contrary to this conventional wisdom, I show how the second-best theorem can be extended to myriad domains beyond applied normative theorizing, and in particular to more abstract theorizing about the (...) normative principles we should aim to implement. I start by separating the mathematical model used to prove the second-best theorem from its familiar economic interpretation. I then develop an alternative normative-theoretic interpretation of the model, which yields a novel second best theorem for idealistic normative theory. My method for developing this interpretation provides a template for developing additional interpretations that can extend the reach of the second-best theorem beyond normative theoretical domains. I also show how, within any domain, the implications of the second-best theorem are more specific than is typically thought. I conclude with some brief remarks on the value of mathematical models for conceptual exploration. (shrink)

I propose a `stage theory’ of groups: a group is a fusion of group-stages, where a group-stage is a plurality of individuals at a world and a time. The stage theory consists of existence conditions, identity conditions, and parthood conditions for groups.

Standpoint theory is an explicitly political as well as social epistemology. It’s distinctive features are commitment to understand the social locations that shape the epistemic capacities and resources of individuals in structural terms, and a recognition that those who are marginalized within hierarchically structured systems of social differentiation are often epistemically advantaged. In some crucial domains they know more and know better as a contingent function of their situated experience and knowledge. This “inversion thesis” counters the alignment of social (...) with epistemic privilege. (shrink)

In this paper we discuss how Causal Decision Theory should be modified to handle a class of problematic cases involving deterministic laws. Causal Decision Theory, as it stands, is problematically biased against your endorsing deterministic propositions (for example it tells you to deny Newtonian physics, regardless of how confident you are of its truth). Our response is that this is not a problem for Causal Decision Theory per se, but arises because of the standard method for assessing (...) the truth of certain counterfactuals. The truth of deterministic laws is `modally fragile' on the standard semantics for counterfactuals: if determinism is true and you were to do otherwise, the laws would be different. We provide two ways of avoiding this problem: 1) supplement the standard semantics for counterfactuals with impossible worlds, or 2) introduce rigid designators into the description of problematic decision situations. We argue that both of these approaches are well-motivated and can be readily incorporated into Lewisian Causal Decision Theory. (shrink)

Postmodernism has evoked great controversy and it continues to do so today, as it disseminates into general discourse. Some see its principles, such as its fundamental resistance to metanarratives, as frighteningly disruptive, while a growing number are reaping the benefits of its innovative perspective. In Political Theory and Postmodernism, Stephen K. White outlines a path through the postmodern problematic by distinguishing two distinct ways of thinking about the meaning of responsibility, one prevalent in modern and the other in postmodern (...) perspectives. Using this as a guide, White explores the work of Heidegger, Foucault, Derrida, Lyotard, and Habermas, as well as 'difference' feminists, with the goal of showing how postmodernism can inform contemporary ethical-political reflection. In his concluding chapter, White examines how this revisioned postmodern perspective might bear on our thinking about justice. (shrink)

Current sociological theories appear to have lost their general persuasiveness in part because, unlike the theories of the ‘classical era’, they fail to maintain an integrated stance toward society, and the practical role that sociology plays in society. The authors explore various facets of this failure and possibilities for reconstructing sociological theories as integrated wholes capable of conveying a moral and political immediacy. They discuss the evolution of several concepts (for example, the social, structure, and self) and address the significant (...) disputes (for example, structuralism versus humanism, and individual versus society) that have dominated twentieth-century sociological thought. Their ideas and analyses are directed towards an audience of students and theorists who are coming to terms with the project of sociological theory, and its relationship with moral discourses and political practice. The authors of these essays are sociological theorists from the United States, the United Kingdom and Canada. They are all established, but not ‘establishment’ authors. The book contains no orthodoxies, and no answers. However, the essays do contribute to identifying the range of issues that will constitute the agenda for the next generation of sociological theorists. (shrink)

The book is a comparative analysis of all the major social science/political science grand theories. It focuses on developmentalism, dependency theory, the world systems approach, Marxism, institutionalism, rational choice, psychoanalysis, political sociology, sociobiology, environmentalism, neuro-politics, transitions to democracy, and non-Western systems of analysis. To facilitate comparison and analysis, a common framework and outline are employed throughout. An integrating introduction and conclusion help tie the book together.

ABSTRACT In this paper, I present data involving the use of the Romanian slur ‘țigan’, consideration of which leads to the postulation of a sui-generis, irreducible type of use of slurs. This type of use is potentially problematic for extant theories of slurs. In addition, together with other well-established uses, it shows that there is more variation in the use of slurs than previously acknowledged. I explain this variation by construing slurs as polysemous. To implement this idea, I appeal to (...) a rich-lexicon account of polysemy. I show how such a theory can be applied to slurs and discuss several important issues that arise. (shrink)

This comprehensive monograph is a cornerstone in the area of mathematical logic and related fields. Focusing on Gentzen-type proof theory, the book presents a detailed overview of creative works by the author and other 20th-century logicians that includes applications of proof theory to logic as well as other areas of mathematics. 1975 edition.

Vādanyāya is one of the representative works of Dharmakīrti. It is concerned with debate logic and deals with win-or-lose reasoning rules in the broad sense of logic. In this paper, we will concentrate our discussion on Dharmakīrti’s theory of nigrahasthāna (fault) in his debate logic, a key issue in Vādanyāya. First, we point out that the justification of three logical reasons as proof conditions of debate constitutes the rational point of departure for Dharmakīrti’s debate logic. Second, we analyze the (...) differences between Dharmakīrti’s and the Naiyāyika’s notion of debate and point out that Dharmakīrti’s ‘debate’ involves two parties (the disputant and the opponent) attempting to rationally refute the other’s opinion to persuade the other to change their wrong ideas. Last, based on the discussion of Dharmakīrti’s concept of debate logic, we identify seven types of nigrahasthāna in Vādanyāya with regard to the two parties of a debate (the disputant and the opponent). (shrink)

Recently, companions in guilt strategies have garnered significant philosophical attention as a response to arguments for moral error theory, the view that there are no moral facts and that our moral beliefs are thus systematically mistaken. According to Cuneo (The normative web: an argument for moral realism, Oxford University Press, Oxford, 2007), Das (Philos Q 66:152–160, 2016; Australas J Philos 95(1):58–69, 2017), Rowland (J Ethics Soc Philos 7(1):1–24, 2012; Philos Q 66:161–171, 2016) and others, epistemic facts would be just (...) as metaphysically problematic (or ‘guilty’) as moral facts. But since epistemic error theory is implausible, arguments for moral error theory prove too much and should be rejected. My aim is to argue that the success of this strategy is limited. In particular, the companions in guilt response fails against error-theoretic arguments motivated by concerns about explanatory dispensability, as recently developed by Joyce (The evolution of morality, MIT press, Bradford, 2005) and Olson (Moral error theory: history, critique, defence, Oxford University Press, Oxford, 2014: Ch. 7). To succeed, the response would require a prima facie plausible argument to the effect that epistemic facts are metaphysically dubious because they, too, are explanatorily dispensable. But, as I show, any such argument proves self-effacing: its premise commits us to believing in epistemic facts, while its conclusion forces us to deny their existence. Consequently, companions in guilt strategies don’t offer a panacea against arguments for moral error theory. (shrink)

Selectionist evolutionary theory has often been faulted for not making novel predictions that are surprising, risky, and correct. I argue that it in fact exhibits the theoretical virtue of predictive capacity in addition to two other virtues: explanatory unification and model fitting. Two case studies show the predictive capacity of selectionist evolutionary theory: parallel evolutionary change in E. coli, and the origin of eukaryotic cells through endosymbiosis.

This paper proposes an epistemic logical framework for demanding knowing why in the natural sciences. Our focus is on the phenomena and their respective causal factors revealed by experiments. Two novel modalities \(\textsf{E}(\psi,\varphi )\) and \(\textsf {W}((\psi _1,\varphi _1)\bullet (\psi _2,\varphi _2)\bullet \cdots \bullet (\psi _n,\varphi _n))\) are introduced over models that deviate from the usual epistemic models by having both experimental evidence and the scientific theories, which is inspired by scientific practices. The modality \(\textsf{E}\) expresses scientists’ have (conclusive) experimental (...) evidence indicating a dependence relation between the causal factor \(\psi \) and \(\varphi \). Based on the evidence, scientists often package some (perhaps seemingly unrelated) phenomena together, and the modality \(\textsf{W}\) captures scientists’ knowing why in their entirety, or having systematic knowledge-why of them, which amounts to having a _unified_ scientific theory of all these dependences. A sound and complete axiomatization is given, followed by a decidability result. Many notions of much philosophical interest are embodied in the present framework. We also draw several comparisons and connections with some existing relevant logical work. (shrink)