Normal mathematical culture is overwhelmingly concerned with finite structures, finitely generated structures, discrete structures (countably infinite), continuous and piecewise continuous functions between complete separable metric spaces, with lesser consideration of pointwise limits of sequences of such functions, and Borel measurable functions between complete separable metric spaces.

How do we prove true but unprovable propositions? Gödel produced a statement whose undecidability derives from its ad hoc construction. Concrete or mathematical incompleteness results are interesting unprovable statements of formal arithmetic. We point out where exactly the unprovability lies in the ordinary ‘mathematical’ proofs of two interesting formally unprovable propositions, the Kruskal-Friedman theorem on trees and Girard's normalization theorem in type theory. Their validity is based on robust cognitive performances, which ground mathematics in our relation to space (...) and time, such as symmetries and order, or on the generality of Herbrand's notion of ‘prototype proof’. (shrink)

there are mathematical statements that cannot be proved or refuted using the usual axioms and rules of inference of mathematics.

Prawitz proposed certain notions of proof-theoretic validity and conjectured that intuitionistic logic is complete for them [11, 12]. Considering propositional logic, we present a general framework of five abstract conditions which any proof-theoretic semantics should obey. Then we formulate several more specific conditions under which the intuitionistic propositional calculus turns out to be semantically incomplete. Here a crucial role is played by the generalized disjunction principle. Turning to concrete semantics, we show that prominent proposals, including Prawitz’s, satisfy at least (...) one of these conditions, thus rendering IPC semantically incomplete for them. Only for Goldfarb’s [1] proof-theoretic semantics, which deviates from standard approaches, IPC turns out to be complete. Overall, these results show that basic ideas of proof-theoretic semantics for propositional logic are not captured by IPC. (shrink)

We give a survey of current research on Gödel’s incompleteness theorems from the following three aspects: classifications of different proofs of Gödel’s incompleteness theorems, the limit of the applicability of Gödel’s first incompleteness theorem, and the limit of the applicability of Gödel’s second incompleteness theorem.

This article shows that in two respects, Gödel's incompleteness theorem strongly supports the arguments of Edgar Morin's complexity paradigm. First, from the viewpoint of the content of Gödel's theorem, the latter justifies the basic view of complexity paradigm according to which knowledge is a dynamic, unfinished process, and develops by way of self-criticism and self-transcendence. Second, from the viewpoint of the proof procedure of Gödel's theorem, the latter confirms the complexity paradigm's circular line of inference through which is formed (...) the all-round knowledge of a concrete object. (shrink)

At its centennial in 2001, the American Philosophical Association bravely proclaimed: “Philosophy Matters.” But does it? It won’t unless it reaches the concreteness of everyday life. To do so was Martin Heidegger’s ambition, and one can read Saul Kripke’s books as an attempt to get mainstream American philosophy beyond its abstractions. At length, Kripke’s efforts, on one reading, failed while Heidegger’s remained incomplete. A theory of commodification can get us closer to the things that matter to us in everyday life.

In this article I intend to show that certain aspects of the axiomatical structure of mathematical theories can be, by a phenomenologically motivated approach, reduced to two distinct types of idealization, the first-level idealization associated with the concrete intuition of the objects of mathematical theories as discrete, finite sign-configurations and the second-level idealization associated with the intuition of infinite mathematical objects as extensions over constituted temporality. This is the main standpoint from which I review Cantor’s conception of infinite cardinalities (...) and also the metatheoretical content of some later well-known theorems of mathematical foundations. These are, the Skolem-Löwenheim Theorem which, except for its importance as such, it is also chosen for an interpretation of the associated metatheoretical paradox (Skolem Paradox), and Gödel’s (first) incompleteness result which, notwithstanding its obvious influence in the mathematical foundations, is still open to philosophical inquiry. On the phenomenological level, first-level and second-level idealizations, as above, are associated respectively with intentional acts carried out in actual present and with certain modes of a temporal constitution process. (shrink)

What can the creation of artificial habitats to replace old-growth forests tell us about the process, value and future of design? This chapter takes a concrete and provocative example and uses it to rethink design as a gradual, ecological action. To illustrate this understanding, the chapter begins with a description of a proposal to provide artificial habitats for wild animals such as birds, bats and invertebrates. The controversial idea to replace rapidly disappearing old-growth trees with artificial structures puts in (...) doubt habitual assumptions about the clients, procedures and goals of design. This example is of relevance to all design because the need to provide artificial habitats to nonhumans will be increasingly common under the influence of such phenomena as global warming or urbanisation. … The invention of artificial structures in place of natural habitats is described in this chapter as an incitement that highlights the need for further research into values, participants and methods of design. This discussion concludes with a proposal for an attitude of modesty in the face of increasingly overwhelming volumes of information as well as in the presence of an even greater ignorance about the futures of nondeterministic, volatile and incompletely controllable natural systems. The dilemma of design in these conditions is in the tension between its remit to act and the uncertainty that inescapably underlies any creative endeavour. (shrink)

Informed consent is ethically incomplete and should be redefined as empowered consent. This essay challenges theoretical assumptions of the value of informed consent in light of substantial evidence of its failure in clinical practice and questions the continued emphasis on autonomy as the primary ethical justification for the practice of consent in health care. Human dignity—rather than autonomy—is advanced from a nursing ethics perspective as a preferred justification for consent practices in health care. The adequacy of an ethic of obligation (...) (namely, principlism) as the dominant theoretical lens for recognising and responding to persistent problems in consent practices is also reconsidered. A feminist empowerment framework is adopted as an alternative ethical theory to principlism and is advanced as a more practical and complete lens for examining the concept and context of consent in health care. To accomplish this, the three leading conceptions of informed consent are overviewed, followed by a feminist critique to reveal practical problems with each of them. The need for a language change from informed to empowered consent is strongly considered. Implications for consent activities in clinical practice are reviewed with focused discussion on the need for greater role clarity for all involved in consent—beyond and inclusive of the patient‐physician dyad, as the practice and improvement of consent is necessarily a transdisciplinary endeavour. Specific concrete and practical recommendations for leveraging nursing expertise in this space are presented. Perhaps what is most needed in the discourse and practice of consent in health care is nursing. (shrink)

Sartre’s Critique of Dialectical Reason ranks with Being and Nothingness as a work of major philosophical significance, but it has been largely neglected. The first volume, published in 1960, was dismissed as a Marxist work at a time when structuralism was coming into vogue; the incomplete second volume has only recently been published in France. In this commentary on the first volume, Joseph S. Catalano restores the Critique to its deserved place among Sartre’s works and within philosophical discourse as a (...) whole. Sartre attempts one of the most needed tasks of our times, Catalano asserts—the delivery of history into the hands of the average person. Sartre’s concern in the Critique is with the historical significance of everyday life. Can we, he asks, as individuals or even collectively, direct the course of our history? A historical context for our lives is given to us at birth, but we sustain that context with even our most mundane actions—buying a newspaper, waiting in line, eating a meal. In looking at history, Sartre argues, reason can never separate the historical situation of the investigator from the investigation. Thus reason falls into a dialectic, always depending upon the past for guidance but always being reshaped by the present. Clearly showing the influence of Marx on Sartre’s thought, the Critique adds the historical dimension lacking in Being and Nothingness. In placing the Critique within the corpus of Sartre’s philosophical writings, Catalano argues that it represents a development rather than a break from Sartre’s existentialist phase. Catalano has organized his commentary to follow the Critique and has supplied clear examples and concrete expositions of the most difficult ideas. He explicates the dialogue between Marx and Sartre that is internal to the text, and he also discusses Sartre’s Search for Method, which is published separately from the Critique in English editions. (shrink)

Sartre’s Critique of Dialectical Reason ranks with Being and Nothingness as a work of major philosophical significance, but it has been largely neglected. The first volume, published in 1960, was dismissed as a Marxist work at a time when structuralism was coming into vogue; the incomplete second volume has only recently been published in France. In this commentary on the first volume, Joseph S. Catalano restores the Critique to its deserved place among Sartre’s works and within philosophical discourse as a (...) whole. Sartre attempts one of the most needed tasks of our times, Catalano asserts—the delivery of history into the hands of the average person. Sartre’s concern in the Critique is with the historical significance of everyday life. Can we, he asks, as individuals or even collectively, direct the course of our history? A historical context for our lives is given to us at birth, but we sustain that context with even our most mundane actions—buying a newspaper, waiting in line, eating a meal. In looking at history, Sartre argues, reason can never separate the historical situation of the investigator from the investigation. Thus reason falls into a dialectic, always depending upon the past for guidance but always being reshaped by the present. Clearly showing the influence of Marx on Sartre’s thought, the Critique adds the historical dimension lacking in Being and Nothingness. In placing the Critique within the corpus of Sartre’s philosophical writings, Catalano argues that it represents a development rather than a break from Sartre’s existentialist phase. Catalano has organized his commentary to follow the Critique and has supplied clear examples and concrete expositions of the most difficult ideas. He explicates the dialogue between Marx and Sartre that is internal to the text, and he also discusses Sartre’s Search for Method, which is published separately from the Critique in English editions. (shrink)

In this article, Lucas maintains the falseness of Mechanism - the attempt to explain minds as machines - by means of Incompleteness Theorem of Gödel. Gödel’s theorem shows that in any system consistent and adequate for simple arithmetic there are formulae which cannot be proved in the system but that human minds can recognize as true; Lucas points out in his turn that Gödel’s theorem applies to machines because a machine is the concrete instantiation of a formal system: (...) therefore, for every machine consistent and able of doing simple arithmetic, there is a formula that it can’t produce as true but that we can see to be true, and so human minds and machines have to be different. Lucas considers as well in this article some possible objections to his argument: for any Gödelian formula we could, for instance, construct a machine able to produce it or we could put the Gödelian formulae that we had proved as axioms of a further machine. However - as Lucas underlines - for every of such machines we could again formulate another Gödelian formula, the Gödelian formula of these machines, that they are not able to proof but that we can recognize as true. More general arguments, such as the possibility to escape Gödelian argument by suggesting that Gödel’s theorem applies to consistent systems while we could be inconsistent ones, are moreover refuted by Lucas by maintaining that our inconsistency corresponds to occasional malfunctioning of a machine and not to his normal inconsistency; indeed, a inconsistent machine is characterized by producing any statement, on the contrary human being are selective and not disposed to assert anything. (shrink)

David Lewis famously dismisses genuine impossible worlds on the basis that a contradiction bound within the scope of his modifier ‘at w’ amounts to a contradiction tout court—an unacceptable consequence. Motivated by the rising demand for impossible worlds in philosophical theorising, this paper examines whether anything coherent can be said about an extension of Lewis’ theory of genuine, concrete possible worlds into genuine, concrete impossible worlds. Lewis’ reasoning reveals two ways to carve out conceptual space for the genuinely (...) impossible. The first is to abandon Lewis’ classical translation schema for negation, on the basis that it begs the question against incomplete and inconsistent worlds. I argue that, whilst this option incurs some loss in the semantics, it preserves the core spirit of Lewis’ metaphysics. The alternative is to bite the bullet, abandon classical logic and embrace true contradictions. The key challenge with this strategy is that the resulting theory seems committed to a particularly strong kind of dialethism—one that even dialethists would be reluctant to accept. I motivate such a dialethic account of genuine impossibilia using Lewis’ own methodology and defend it against triviality objections. I close with a few comments on why impossible worlds should not be reduced to set theoretic constructs out of possible worlds. (shrink)

Current discussion of scientific realism and antirealism often cites Pierre Duhem’s argument for the underdetermination of theory choice by evidence. Participants draw on an account of his underdetermination thesis that is familiar, but incomplete. The purpose of this article is to complete the familiar account. I argue that a closer look at Duhem’s The aim and structure of physical theory suggests that the rationale for his underdetermination thesis comes from his philosophy of scientific language. I explore how an understanding of (...) physical laws as symbolic is meant to support the thesis. In the course of my argument, I point out that Duhemian underdetermination is not meta-practical but grounded in the practice of science, specifically in the scientist’s use of instruments and measurement techniques. Measurement has a significant limitation, according to Duhem: it always involves approximation and a degree of experimental error. Consequently, it cannot overcome the gap between the ordinary, concrete language of observation and the mathematical language of science. Moreover, Duhem argues that the use of instruments in experiment invokes whole groups of theories. I contend that, ultimately, this reliance on auxiliary assumptions—which makes possible the use of instruments—is the foundation of his thesis and that recognizing this completes the familiar account of his underdetermination argument.Author Keywords: Duhem; Suppes; Underdetermination; Measurement; Physical theory. (shrink)

The process of medicalization has been analyzed in the medical humanities with disapprobation, with much emphasis placed on its ability to reinforce existing social power structures to ill effect. While true, this is an incomplete picture of medicalization. I argue that medicalization can both reinforce and disrupt existing social hierarchies within the clinic and outside of it, to ill or good effect. We must attend to how this takes place locally and globally lest we misunderstand how medicalization mediates power and (...) justice. I provide concrete examples of how this occurs by considering dysesthesia ethiopsis, autism, chronic fatigue syndrome, depression, and HIV/AIDS. (shrink)

The process of completing, correcting and prioritising specifications is an essential but very complex task for the maintenance and improvement of software systems. The preservation of functionalities and the ability to accommodate changes are main objectives of the software development cycle to guarantee system reliability. Logical theories able to fully model such processes are still insufficient. In this paper we propose a full formalisation of such operations on software systems inspired by the Alchourrón–Gärdenfors–Makinson paradigm for belief revision of human epistemic (...) states. We represent specifications as finite sets of formulas equipped with a priority relation that models functional entrenchment of properties. We propose to handle specification incompleteness through ordered expansion, inconsistency through ordered safe contraction and prioritisation through revision with reordering, and model all three in an algorithmic fashion. We show how the system satisfies basic properties of the AGM paradigm, including Levi’s and Harper’s identities. We offer a concrete example and complexity results for the inference and model checking problems on revision. We conclude by describing resilience and evolvability of software systems based on such revision operators. (shrink)

The author argues that the decline of philosophical thought and research in Russia is over. He describes the state of present-day philosophy in Russia, its background, and prospects for development citing concrete examples and little known facts.Any survey of the state of the philosophy in post-Communist Russia is a complicated task requiring accuracy and completness. Whether I succeed in this task remains to be seen, although I shall be content if I manage to present a clear picture. It will (...) of course be subjective and reflect my interests and preferences, remaining in this sense quite incomplete. But I aim to present a concise survey, identifying the most important trends, personalities, and topics of discussion. (shrink)

Sufficient texts show that for aristotle the universal notion expresses the same real thing as the particular, Though in a different way. His grounds for a universal so conceived are twofold. First, In every sensible thing there is a basic formal principle that, Though individual, Brings each instance into formal identity with all the other instances. Secondly, In human intellectual cognition there is an active principle that raises knowledge above the status of photographing or registering or cataloguing, And actualizes what (...) was only potential in the real thing. In knowing sensible things universally, The human intellect is able to grasp the concrete thing as characterized by a formal nature, Thereby knowing it in a way that holds equally for all other instances. Though patently incomplete, This conception of the universal is free from internal contradictions. It provides a framework for fruitful discussion, And remains a challenge. (shrink)

Many materialists believe that we should, in principle, be able to build a conscious computing machine. Others disagree. I favour a sceptical position, but of another variety. The problem isn't that it would be impossible to create a conscious computer. The problem is that we cannot know whether it is possible. There are principled reasons for thinking that we wouldn't ever be able to confirm that allegedly conscious computers were conscious. The proper stance on computational consciousness is agnosticism. Despite this (...) agnosticism, I think we are very close to understanding the material basis of consciousness. Close, but we will never get all the way there. Our understanding of the material basis of consciousness is ineluctably incomplete. That makes me a mysterian. But I am not a defeatist mysterian. I do not think the irresolvable mysteries of consciousness prevent us from formulating concrete empirically grounded theories of consciousness. I will even outline such a theory below. I also think we can identify some properties that are necessary for consciousness, and some that are sufficient. The problem is we cannot find properties that are both. This may sound like a contradiction, but it is not. We can know necessary properties and sufficient properties without knowing necessary and sufficient properties. One can know that drinking two litres of alcohol is sufficient for intoxication, and that at least one teaspoon of alcohol is necessary without knowing the quantity that is both necessary and sufficient. In the case of consciousness, the properties we know to be sufficient are properties that computers lack. The properties we know to be necessary can be possessed by computers, but we don't know whether those properties suffice. We can equip computers with every knowable necessary property and still scratch our heads when asked whether we have managed to create artificial experience. (shrink)

This paper focuses on the claim by Schneider and Butcher (2000) that it makes little sense to criticise the use of performance-enhancing drugs as ?dehumanising? (as, for example, Hoberman does (1992)) because we are unable to give a satisfactory account of what it is to be human. Schneider and Butcher (2000, 196) put this as follows: ?The dehumanisation argument is interesting but incomplete. It is incomplete because we do not have an agreed-upon conception of what it is to be human. (...) Without this it is difficult to see why some practices should count as dehumanising.? The paper begins by considering J.L. Austin's (1962) treatment of the word ?real?. By transposing ideas from Austin to the terms ?dehumanise? and ?human? I argue that (a) In the pair ?dehumanise? and ?human?, the term ?dehumanise? is dominant; (b) We cannot understand ?dehumanise? and ?human? independently of either the context of their use or the contrast that is drawn in their use; (c) Either one of these is sufficient to understand the terms; (d) ?Dehumanise?, ?human? and their cognates are not univocal; we can have no recourse to exceptionless accounts of the meaning of such terms. The importance of context is developed further by consideration of an example from the work of Charles Travis (2005), and the issue of exceptionless accounts of the meaning of words is addressed through an application of Gordon Baker's (2004) characterisation of Wittgenstein's uses of the term ?metaphysical? to Miah's (2004) treatment of human-ness. I argue that Miah's conception of human-ness exhibits all the forms of metaphysical use of terms (in this case the term ?human?) outlined by Baker (2004). The article attempts to clarify some objections to the use of performance-enhancing drugs and the prospect of genetic modification of athletes by sketching an overview of possible concrete uses of ?dehumanise?. The focus of the paper, however, is on ?making sense of what we (are inclined to) say ? [rather than] making explicit what underlies what we say? (McFee, 1993/4, 115). (shrink)

Ratti has attacked principles theory in two respects. The first is that it is impossible to distinguish between rules and principles. The second is that the main thesis of principles theory, which says that balancing is the specific way of applying principles, is wrong. The result of Ratti's critique is his thesis that principles theory founders on a contradiction or, as Ratti calls it, an antinomy. All of this is based on two arguments: Ratti's disapplication argument and his law of (...) concretization. I attempt to reject this analysis, for it is incomplete. It claims to be an analysis of balancing, but it misses the decisive point of balancing. Informed by this background, I defend the distinction between rules and principles as a distinction of the real and the ideal “ought.”. (shrink)

This study attempts to situate ethical discourse within descriptions of a moral context which do justice both to concrete individual moral experiences and to the socio-historical framework within which they are lived. In light of these descriptions it is argued that an adequate theory of morality must focus on the essential continuity between the individual moral life and the communal practices and institutions which constitute our ethical substance. ;In Chapter One it is shown how the existentialist liberation of the (...) moral subject centers ethical concerns around the concrete living individual, who, for the most part, had no place in traditional ethics. ;In Chapter Two it is argued that the existentialist revolt in morals is incomplete and misguided, insofar as the power of individual freedom is overemphasized and the weight of socio-historical reality is neglected. On the basis of hermeneutical analysis of human existence, it is shown how the cultural fabric of interpretations and practices sustains and gives meaning to the moral life. On the basis of Sartre's Marxism, it is shown how the social field of classes and violence alienates and frustrates our individual moral projects. ;In Chapter Three it is asked what implications for ethical theory and conduct emerge from these descriptions of the moral context. It is argued that while Heidegger's thought provides an important criticism of the history of ethics, it escapes all concrete applications to ethical discourse. In this respect Gadamer's hermeneutics is found more fruitful, although his Aristotelian account of the situated moral life underestimates the ideological distortions of the moral context as well as the power of moral consciousness to reject tradition and project its freedom. In order to abet such a critical account of morality, Habermas' analysis of the moral consciousness and its development within the socialization process is introduced. But it is argued that Habermas' emphasis on a theoretical grounding of ethical discourse loses touch with the concrete existential/historical dimension of the moral life. It is proposed that only by moving out from descriptions of individual experiences of injustices and wrongs will it be possible to successfully combine moral and social considerations in a critical theory with practical intent. (shrink)

Systems medicine, which is based on computational modelling of biological systems, is emerging as an increasingly prominent part of the personalized medicine movement. It is often promoted as ‘P4 medicine’. In this article, we test promises made by some of its proponents that systems medicine will be able to develop a scientific, quantitative metric for wellness that will eliminate the purported vagueness, ambiguity, and incompleteness—that is, normativity—of previous health definitions. We do so by examining the most concrete and (...) relevant evidence for such a metric available: a patent that describes a systems medicine method for assessing health and disease. We find that although systems medicine is promoted as heralding an era of transformative scientific objectivity, its definition of health seems at present still normatively based. As such, we argue that it will be open to influence from various stakeholders and that its purported objectivity may conceal important scientific, philosophical, and political issues. We also argue that this is an example of a general trend within biomedicine to create overly hopeful visions and expectations for the future. (shrink)

In conventional identity politics subjective differences are understood negatively, as gaps to be overcome, as lacks of sameness, as evidence of failed or incomplete unity. In _Alterity Politics _Jeffrey T. Nealon argues instead for a concrete and ethical understanding of community, one that requires response, action, and performance instead of passive resentment and unproductive mourning for a whole that cannot be attained. While discussing the work of others who have refused to thematize difference in terms of the possibility or (...) impossibility of sameness—Levinas, Butler, Derrida, Foucault, Deleuze, Guattari, Zizek, Jameson, Heidegger, Bakhtin—Nealon argues that ethics is constituted as inexorable affirmative response to different identities, not through an inability to understand or totalize the other. _Alterity Politics_ combines this theoretical itinerary with crucial discussions of specific and diverse sites of literary and cultural production—the work of William S. Burroughs, Amiri Baraka, Andy Warhol, Ishmael Reed, Rush Limbaugh, and Vincent Van Gogh—along with analyses of the social formation of subjects as found in identity politics, and in multicultural and whiteness studies. In the process, Nealon takes on a wide variety of issues including white male anger, the ethical questions raised by drug addiction, the nature of literary meaning, and the concept of “becoming-black.” In seeking to build an ethical structure around poststructuralist discourse and to revitalize the applied use of theoretical concepts to notions of performative identity, _Alterity Politics_ marks a decisive intervention in literary theory, cultural studies, twentieth-century philosophy, and performance studies. (shrink)

There is in the New Essays a prominent line of argument that Leibniz took to have remarkable scope. If it works, it sweeps away most of the mainstays of Locke’s metaphysics: atoms, vacuum, real space and time, absolute rest, inactive faculties, and the tabula rasa. It alone does not suffice to undermine the possibility of thinking matter, but it contributes support to that most important of Leibniz’s claims against Locke. Because it is so central to the project of New Essays, (...) I am going to focus mainly on the argument as it is employed there; doing so illuminates both the work and the argument. But Leibniz used it a number of times in letters and notes from roughly the same time period and it is related to a thesis in the Discourse on Metaphysics and letters to Arnauld. The argument invokes a distinction between abstract or incomplete entities and concrete or complete ones. Its premises are that atoms, vacuum, inactive substances, and other items on Leibniz’s list are homogeneous or uniform; that all things that are uniform or otherwise exactly alike are abstract; and that nothing abstract can be found in nature. (shrink)

Frantz Fanon was an enthusiastic reader of Sartre's Critique of Dialectical Reason and in this essay I focus on what can be gleaned from The Wretched of the Earth about how he read it. I argue that the reputation among Sartre's critics of the Critique as a failure on the grounds that it was left incomplete should take into account its presence in Fanon's The Wretched of the Earth . Their shared perspectives on the systemic character of racism and colonialism, (...) on the genesis and fragility of groups, and on parties indicates the vitality of the ideas set out in the Critique . However, these similarities between the two thinkers are offset by their differences on national consciousness and on the rural masses. I end by speculating about a certain defence on Sartre's part toward Fanon's concrete experience. (shrink)

This paper introduces and studies a declarative framework for updating views over indefinite databases. An indefinite database is a database with null values that are represented, following the standard database approach, by a single null constant. Typically a database is represented by a single set of facts |$D$| that model what is known to be true. This paper proposes a model of an indefinite extensional database that is more expressive with respect to the closed-world assumption (CWA) adapted for the setting (...) of indefinite databases (Libkin, 1995, A semantics-based approach to design of query languages for partial information. In Semantics in Databases, vol. 1358 of LNCS, pp. 170–208. Springer; der Meyden, 1998, Logical approaches to incomplete information: a survey. In Logics for Databases and Information Systems, pp. 307–356. Kluwer Academic Publishers, Norwell, MA, USA). More specifically, in our model, databases are determined by two sets of facts: |$D$| representing, as usual, all facts that are true in the database, and |$E$| that is meant to represent exceptions to the ‘unknown range’, i.e. facts that cannot be unknown. Intuitively, unless they are explicitly implied to be true by the first set, the facts specified as exceptions are assumed false. The semantics is given by means of a two-level CWA tailored to the case of indefinite information. The paper characterizes the semantics of indefinite databases in terms of their possible worlds that are obtained by instantiating occurrences of null values by concrete constants and defines several classes of database repairs that realize view-update requests. Most notable is the class of constrained repairs. Constrained repairs change the database ‘minimally’and avoid making arbitrary commitments. They narrow down the space of alternative ways to fulfill the view-update request to those that are grounded, in a certain strong sense, in the database, the view and the view-update request. (shrink)

G.W.F. Hegel offers a thorough, complex, and unique theory of free will in the Philosophy of Right. In what follows, I argue that Hegel’s conceptualization of free will makes the mistake of collapsing the possibility of organic freedom (the ability to act freely of causal determination) into the potential for moral freedom (the capacity to act in accordance with Reason). This article engages in three distinct tasks in making this argument. First, I provide a critical overview of Hegel’s conception of (...) free will – namely, how he envisages the movement from the abstract, incomplete, and undeveloped will, to that of a concrete, complete, and developed one through the unfolding of Reason. Second, I introduce the contemporary debate regarding nomological determinism between libertarians and skeptics, of both the in compatibilist and compatibilist variety. I suggest that, in the context of the modern free will debate, Hegel is best categorized as a compatibilist as he both accepts causal determinism but remains committed to the notion that certain persons can act in concert with their own volition. Third, I argue that Hegel’s compatibilist understanding of free will has important and problematic consequences for legal theory, particularly normative jurisprudence. Compatibilism, generally, and Hegel’s particular version, substantiates the idea of basic moral desert which poses a serious threat to the possibility of moral progress from a retributive justice system to a consequentialist one. (shrink)

According to Locke’s Principle, material objects are identical if and only if they are of the same kind and once occupy the same place at the same time. There is disagreement about whether this principle is true, but what is seldom disputed is that, even if true, the principle fails to constitute an applicable criterion of identity. In this paper, I take issue with two arguments that have been offered in support of this claim by arguing (i) that we can (...) have knowledge of past whereabouts, and so verify the right hand side of Locke’s Principle, without having to assess concrete identity claims first; (ii) that even under conditions of incomplete knowledge of past whereabouts we can use Locke’s Principle to decide concrete identity problems. (shrink)

We say that a first order theoryTislocally finiteif every finite part ofThas a finite model. It is the purpose of this paper to construct in a uniform way for any consistent theoryTa locally finite theory FIN which is syntactically isomorphic toT.Our construction draws upon the main idea of Paris and Harrington [6] and generalizes the syntactic aspect of their result from arithmetic to arbitrary theories. The first mathematically strong locally finite theory, called FIN, was defined in [1]. Now we get (...) much stronger ones, e.g. FIN.From a physicalistic point of view the theorems of ZF and their FIN-counterparts may have the same meaning. Therefore FIN is a solution of Hilbert's second problem. It eliminates ideal objects from the proofs of properties of concrete objects.In [4] we will demonstrate that one can develop a direct finitistic intuition that FIN is locally finite. We will also prove a variant of Gödel's second incompleteness theorem for the theory FIN and for all its primitively recursively axiomatizable consistent extensions.The results of this paper were announced in [3]. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Kant’s Just War TheoryBrian OrendKant is often cited as one of the first truly international political philosophers. Unlike the vast majority of his predecessors, Kant views a purely domestic or national conception of justice as radically incomplete; we must, he insists, also turn our faculties of critical judgment towards the international plane. When he does so, what results is one of the most powerful and principled conceptions of international (...) justice ever constructed. Kant’s central concept, that it is a demand of our own practical reason that we forge a cosmopolitan federation of free republics, based on the rule of law, human rights, and cultural and commercial development, still resonates today as a plausible and hopeful prescription for humanity’s future.Much of Kant’s international theory has recently received searching analysis and evaluation. But the bulk of this consideration has focused on Kant’s descriptive, as opposed to prescriptive, claims. Lavish attention, for example, has been showered on his assertion that perpetual peace is inevitable—that our natural antagonism will irresistibly incline us, after many failures, to establish an international juridical condition. Comparatively little has been done on thoroughly evaluating Kant’s normative claims of international justice, particularly with regard to his ideal corpus of international law and his concrete recommendations for moving from a global state of nature to a cosmopolitan civil society.1In this paper, I would like to contribute to the latter task by focusing on the moral problem that war poses as, arguably, the most frequent and severe cause [End Page 323] of ruptures in the functioning of the international system.2 In particular, I would like to argue in favour of the controversial, and original, thesis that Kant has a just war theory.3 I would then like to develop that theory in some detail and to explain its strength and suggestiveness. The focus on war seems both helpful and timely. It is helpful in that it provides a specific, graphic example with which one can apprehend more clearly the abstract architecture of Kant’s international vision. It is timely in that, in the wake of the very recent conflicts in Bosnia and Rwanda, and in light of the subsequent formation of the International War Crimes Tribunals at The Hague, renewed attention has been paid to considering what, if anything, constitutes a just war and what is permitted, and what punishable, in terms of conduct in war. A rigorous consideration of what one of the true giants of moral philosophy thought about these issues can only serve to illuminate our understanding of these current events.1. THE TRADITIONAL READING OF KANT: NO JUST WARNearly every commentator on Kant’s international theory of justice who discusses the problem of war in any detail believes that Kant not only has no just war theory, but that he is, moreover, a vicious critic of the core propositions of classical just war theorists, such as Augustine, Aquinas, and Grotius. Howard Williams, for example, says that “Kant has no theory of just war … (j)ustice and war are in conflict with one another and it is our duty as human beings to try to overcome war.” Fernando Teson contends that “Kant dismisses the idea that there could be a just war” and Georg Geismann asserts that, for Kant, “there is no such thing as a just war.” Similarly, W. B. Gallie asserts that “Kant agreed … that nothing but confusion and harm resulted from regarding any wars as just … ” There is a bevy of quotes in the Kantian corpus to support this reading.4One prominent anti-just war quote occurs in Perpetual Peace, when Kant [End Page 324] reflects on the contributions of traditional just war theorists and arrives at the following judgment:It is therefore to be wondered at that the word right has not been completely banished from military politics as superfluous pedantry, and that no state has been bold enough to declare itself publicly in favour of doing so. For Hugo Grotius, Pufendorf, Vattel and the rest (sorry comforters as they are) are still dutifully quoted in justification of military aggression, although their philosophically or diplomatically formulated codes do not and... (shrink)

In this essay, I call attention to Kant’s and Whewell’s attempt to provide bridging principles between a priori principles and scientific laws. Part of Kant’s aim in the Opus postumum (ca. 1796-1803) was precisely to bridge the gap between the metaphysical foundations of natural science (on the Metaphysical Foundations of Natural Science (1786) see section 1) and physics by establishing intermediary concepts or ‘Mittelbegriffe’ (henceforth this problem is referred to as ‘the bridging-problem’). I argue that the late-Kant attempted to show (...) that the concept of ‘moving force’, an intermediary concept derived from a priori principles, could be given empirical content so that concrete scientific knowledge is arrived at. Thus, the late-Kant wished not only to show that proper scientific laws are necessary a priori (as he had shown in the Metaphysical Foundations of Natural Science) but also that intermediary concepts could be derived from a priori principles which, when interpreted empirically, resulted in the specific forces as established by physics (see section 2). Of course, William Whewell never knew about Kant’s Opus postumum and his attempt to bridge the gap between the metaphysical foundations of science and physics. However, it is striking that Whewell had similar concerns about the Critique of Pure Reason and the Metaphysical Foundations of Natural Science as Kant himself. According to Whewell, the Kantian project was incomplete because it did not show how ‘modifications’ (in the sense of concretizations) of a priori principles could result in empirical laws (section 3). Next, it will be argued, by taking into account several of Whewell’s philosophical notebooks which have scarcely been studied systematically, that Whewell’s doctrine of Fundamental Ideas grew out of his dissatisfaction with the Kantian project with respect to the bridging problem and that his own philosophical position should be seen as an attempt to bypass the bridging-problem. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:LinajeQuan Zhou WuWith “Linaje,” I wanted to explore the fine line between fiction and lies. Fantasy.I attended a workshop on embuste flamenco with artist Mateo Chica in Villanueva del Rosario. Mateo said that embuste is art, “that lie associated with oral flamenco, which is transmitted with a sort of distraction from real time, to be able to immerse oneself in a fun fiction, that leads to another possible place.”Mateo (...) explained to us that there are embustes that endure over time, like the mythical phrase about Lola Flores, “she neither sings nor dances but don’t miss her” from the New York Times that was never actually published, but immensely helped her in her career.“Linaje” is a work that respects orality, the one that happened, and the one that never was. The stories lost for being lost in translation. The stories misunderstood due to our language barriers, and those we collected incompletely due to language interferences. Where, thanks to different artificial intelligences like Stable Diffusion, Dall-E, and Chat-GPT, it has been possible to create that “almost real” universe, perceptible and concrete.But above all, “Linaje” is a question:Where will our memories remain?Once my contract with the web server ends, once my hard drive rusts, my space in the cloud expires, where will this story remain?Who will pick up the pieces of us, those of us who walk as secondary stories in this Western world?What is truth? What is a lie?In this piece, perhaps that does not matter. [End Page 7]Email: [email protected] © 2023 Cornell University... (shrink)

The author introduces a normative conception of coherence, derived from a pragmatic interpretation of the application of norms to concrete cases. A distinction is made between the justification of a norm and its application. In the case of moral norms, justification and application can be analysed as two different discursive procedures which give rise to different aspects of the principle of impartiality. Impartial justification requires a procedure by which all interests concerned are taken into account whereas impartial application requires (...) a procedure where all features of a situation are considered. The complete description of a concrete case makes necessary a coherent interpretation of all the valid norms which are prima facie applicable. This requirement of an ideal coherent system of norms is restricted to interpretive “paradigms” in the case of legal norms, because it is necessary to produce singular judgments under the restrictive conditions of scarce time and incomplete knowledge. (shrink)

Belnap-Dunn logic, sometimes also known as First Degree Entailment, is a four-valued propositional logic that complements the classical truth values of True and False with two non-classical truth values Neither and Both. The latter two are to account for the possibility of the available information being incomplete or providing contradictory evidence. In this paper, we present a probabilistic extension of BD that permits agents to have probabilistic beliefs about the truth and falsity of a proposition. We provide a sound and (...) complete axiomatization for the framework defined and also identify policies for conditionalization and aggregation. Concretely, we introduce four-valued equivalents of Bayes’ and Jeffrey updating and also suggest mechanisms for aggregating information from different sources. (shrink)

A new formulation involving fulfillment of all the Kolmogorov axioms is suggested for acomplete probability theory. This proves to be not a purely mathematical discipline. Probability theory deals with abstract objects—images of various classes of concrete objects—whereas experimental statistics deals with concrete objects alone. Both have to be taken into account. Quantum physics and classical statistical physics prove to be different aspects ofone probabilistic physics. The connection of quantum mechanics with classical statistical mechanics is examined and the origin (...) of the Schrödinger equation is elucidated. Attention is given to the true meaning of the wave-corpuscle duality, and the incompleteness of nonrelativistic quantum mechanics is explained. (shrink)

Frantz Fanon was an enthusiastic reader of Sartre's Critique of Dialectical Reason and in this essay I focus on what can be gleaned from The Wretched of the Earth about how he read it. I argue that the reputation among Sartre's critics of the Critique as a failure on the grounds that it was left incomplete should take into account its presence in Fanon's The Wretched of the Earth. Their shared perspectives on the systemic character of racism and colonialism, on (...) the genesis and fragility of groups, and on parties indicates the vitality of the ideas set out in the Critique. However, these similarities between the two thinkers are offset by their differences on national consciousness and on the rural masses. I end by speculating about a certain defence on Sartre's part toward Fanon's concrete experience. (shrink)

This volume honours the life and work of Solomon Feferman, one of the most prominent mathematical logicians of the latter half of the 20th century. In the collection of essays presented here, researchers examine Feferman’s work on mathematical as well as specific methodological and philosophical issues that tie into mathematics. Feferman’s work was largely based in mathematical logic, but also branched out into methodological and philosophical issues, making it well known beyond the borders of the mathematics community. With regard to (...) methodological issues, Feferman supported concrete projects. On the one hand, these projects calibrate the proof theoretic strength of subsystems of analysis and set theory and provide ways of overcoming the limitations imposed by Gödel’s incompleteness theorems through appropriate conceptual expansions. On the other, they seek to identify novel axiomatic foundations for mathematical practice, truth theories, and category theory. In his philosophical research, Feferman explored questions such as “What is logic?” and proposed particular positions regarding the foundations of mathematics including, for example, his “conceptual structuralism.” The contributing authors of the volume examine all of the above issues. Their papers are accompanied by an autobiography presented by Feferman that reflects on the evolution and intellectual contexts of his work. The contributing authors critically examine Feferman’s work and, in part, actively expand on his concrete mathematical projects. The volume illuminates Feferman’s distinctive work and, in the process, provides an enlightening perspective on the foundations of mathematics and logic. (shrink)

The most glamorous and even glorious moments in a legal system come when a high court recognizes an abstract principle involving, for example, human liberty or equality. Indeed, Americans, and not a few non-Americans, have been greatly stirred--and divided--by the opinions of the Supreme Court, especially in the area of race relations, where the Court has tried to revolutionize American society. But these stirring decisions are aberrations, says Cass R. Sunstein, and perhaps thankfully so. In Legal Reasoning and Political Conflict, (...) Sunstein, one of America's best known commentators on our legal system, offers a bold, new thesis about how the law should work in America, arguing that the courts best enable people to live together, despite their diversity, by resolving particular cases without taking sides in broader, more abstract conflicts. Sunstein offers a close analysis of the way the law can mediate disputes in a diverse society, examining how the law works in practical terms, and showing that, to arrive at workable, practical solutions, judges must avoid broad, abstract reasoning. Why? For one thing, critics and adversaries who would never agree on fundamental ideals are often willing to accept the concrete details of a particular decision. Likewise, a plea bargain for someone caught exceeding the speed limit need not--indeed, must not--delve into sweeping issues of government regulation and personal liberty. Thus judges purposely limit the scope of their decisions to avoid reopening large-scale controversies. Sunstein calls such actions incompletely theorized agreements. In identifying them as the core feature of legal reasoning--and as a central part of constitutional thinking in America, South Africa, and Eastern Europe-- he takes issue with advocates of comprehensive theories and systemization, from Robert Bork to Jeremy Bentham, the father of utilitarianism, and Ronald Dworkin, who defends an ambitious role for courts in the elaboration of rights. Equally important, Sunstein goes on to argue that it is the living practice of the nation's citizens that truly makes law. For example, he cites Griswold v. Connecticut, a groundbreaking case in which the Supreme Court struck down Connecticut's restrictions on the use of contraceptives by married couples--a law that was no longer enforced by prosecutors. In overturning the legislation, the Court invoked the abstract right of privacy; the author asserts that the justices should have appealed to the narrower principle that citizens need not comply with laws that lack real enforcement. By avoiding large-scale issues and values, such a decision could have led to a different outcome in Bowers v. Hardwick, the decision that upheld Georgia's rarely prosecuted ban on sodomy. And by pointing to the need for flexibility over time and circumstances, Sunstein offers a novel understanding of the old ideal of the rule of law. Legal reasoning can seem impenetrable, mysterious, baroque. This book helps dissolve the mystery. Whether discussing the interpretation of the Constitution or the spell cast by the revolutionary Warren Court, Cass Sunstein writes with grace and power, offering a striking and original vision of the role of the law in a diverse society. In his flexible, practical approach to legal reasoning, he moves the debate over fundamental values and principles out of the courts and back to its rightful place in a democratic state: the legislatures elected by the people. (shrink)

In the tradition of Stalnaker there is a number of well-known problems that need to be addressed, because revision of iterated belief modalities is required in this case. These problems have already been investigated in detail in recent works on DDL Leitgeb/Segerberg 2007)and DEL see e.g. Ditmarsch et. Another strategy would be to maintain and revise assumptions independently of the beliefs of an agent.I will briefly discuss the advantages and disadvantages of each of these views. In both views, assumptions constitute (...) the subjective context in which an agent interprets an utterance and encounters the world. The result of an interpretation is in turn checked against the agent’s original beliefs, and if the checking operation succeeds the agent revises his beliefs by the result in the normal way described by the AGM paradigm. The second of the above questions needs to be addressed on the basis of concrete examples. Considering utterance like David is ready’ or ‘John is tall’that from a contextualist viewpoint express semantically incomplete content in the sense of Bach is needed in order to obtain a useful model of the checking step, since fortunately not everybody believes everything that other people say. These requirements put the theory of interpretation based on assumptions in the frontline of ongoing research on the implementation of belief revision and update in dynamic logics. Such a theory might also be useful for contextualist accounts of strong knowledge, as it can be argued convincingly that when a knowledge ascription appears to be context-sensitive, this is so because the embedded proposition is context-sensitive and not because knowledge itself is context-sensitive. Hence,the context-sensitivity of embedded propositions in knowledge claims and how different agents in the same situation arrive at different assessments about them may be explained by an inferential theory of interpretation similar to the one outlined here but with another underlying concept of assumptions. Literature Alchourrón, C. E. ; Gärdenfors, P. & Makinson, D., 'On the logic of theory change: partial meet contraction and revision functions', Journal of Symbolic Logic, 510-530. Bach, K., 'Minimalism for Dummies: Reply to Cappelen and Lepore', Technical report, University of San Fransisco, Department of Philosophy. Bach, K., Context ex Machina, in án Gendler Szabó, ed.,'Semantics versus Pragmatics', Oxford UP, Oxford, pp. 16-44. Ditmarsch, H. v. ; Hoek, W. v. d. & Kooi, B., Dynamic Epistemic Logic, Kluwer. Gärdenfors, P., Knowledge in Flux, MIT Press. Leitgeb, H. & Segerberg, K., 'Dynamic doxastic logic: why, how, and where to? ', Synthese155, 167-190. Stalnaker, R., Assertion, in. Cole, ed.,'Pragmatics', Academic Press, New York, pp. 315-332. Stalnaker, R., 'Common Ground', Linguistics and Philosophy25, 701- -721. (shrink)

To respond to the charge of context-insensitivity, discourse ethics distinguishes justification discourses, which only require that we consider what is equally good for all, and subsequent application discourses, in which the perspective of concrete others must be adopted. This article argues that, despite its pragmatic attractiveness, the separation of justification and application neglects the co-constitutive role that applicability plays for the meaning of normativity. Norms that do not, in a machine-like fashion, produce their cases, cannot already contain their appropriateness (...) to the cases that nonetheless alone justify the existence of norms in th first place. The higher-order norm of appropriateness that enters normativity with th dependence on applications is one that remains implicit, and impossible to determine in advance. Thus, the justification of a norm is always incomplete for conceptual and not merely empirical reasons, as fallibilism typically has it. (shrink)

A possible relevant meaning of Hilbert’s program is the following one: “give a constructive semantic for classical mathematics”. More precisely, give a systematic interpretation of classical abstract proofs about abstract objects, as constructive proofs about constructive versions of these objects.If this program is fulfilled we are able “at the end of the tale” to extract constructive proofs of concrete results from classical abstract proofs of these results.Dynamical algebraic structures or geometric theories seem to be a good tool for doing (...) this job. In this setting, classical abstract objects are interpreted through incomplete concrete specifications of these objects.The structure of axioms in geometric theories gives rise in a natural way to distributive lattices and pointfree topological spaces. Abstract objects correspond to classical points of these pointfree spaces.We shall insist on the Zariski spectrum of distributive lattices and commutative rings and give a constructive interpretation of the Krull dimension.We underline the fact that many abstract objects in classical mathematics can be viewed as points of spectral spaces corresponding to distributive lattices whose definition is concrete and natural.Two important facts are to be stressed.First, abstract proofs about points of these pointfree spaces can very often be reread as constructive proofs about constructible subsets of these spaces.Second, function spaces on these pointfree spaces are often explicitly used in elegant abstract theories. The structure of these function spaces is fully constructive: indeed by the compactness theorem, “all is finite”. The constructive rereading of the abstract proofs is in this setting is nothing but the simple constatation that abstract proofs use correctly axioms.RésuméUne manière pertinente de revisiter le Programme de Hilbert serait la suivante: « donner une sémantique constructive pour les mathématiques classiques ». Plus précisément donner une interprétation systématique des preuves classiques abstraites au sujet des objets abstraits, en terme de preuves constructives au sujet de contreparties constructives de ces objets abstraits.Si ce programme est rempli, nous sommes capables « à la fin de l’histoire » d’extraire des preuves constructives de résultats concrets à partir des preuves classiques abstraites de ces résultats.Les structures algébriques dynamiques, ou ce qui revient à peu près au même les théories géométriques, semblent être un bon outil pour réaliser ce travail. Dans cette optique, les objets abstraits des mathématiques classiques sont remplacés par des spécifications incomplètes mais concrètes de ces mêmes objets.La structure des théories géométriques donne naissance de manière naturelle à des treillis distributifs et à des espaces topologiques sans points. Les objets abstraits utilisés par les mathématiques classiques correspondent aux points classiques de ces espaces sans points.Dans cet article, nous illustrerons ce phénomène principalement avec le spectre de Zariski des treillis distributifs et celui des anneaux commutatifs, en indiquant notamment un équivalent constructif de la notion de dimension de Krull.Nous insistons sur le caractère extrêmement général de l’interpétation des objets abstraits idéaux des mathématiques classiques comme des points d’espaces spectraux associés à des treillis distributifs qui sont définis de façon naturelle et concrète.Souligons deux faits d’expérience importants.Tout d’abord, les preuves abstraites au sujet des points de ces espaces sans points peuvent en général être relues comme des preuves concernant les parties constructibles de ces espaces.Enfin, les espaces de fonctions continues sur ces espaces sans points sont souvent utilisés dans d’élégantes théories abstraites. Ces espaces de fonctions sont bien définis constructivement. Cela tient au « théorème de compacité » qui nous dit que dans le cadre en question « tout est fini ». La relecture constructive des preuves abstraites n’est alors rien d’autre que la constatation que les axiomes géométriques sont utilisés de manière correcte. (shrink)

The most glamorous and even glorious moments in a legal system come when a high court recognizes an abstract principle involving, for example, human liberty or equality. Indeed, Americans, and not a few non-Americans, have been greatly stirred--and divided--by the opinions of the Supreme Court, especially in the area of race relations, where the Court has tried to revolutionize American society. But these stirring decisions are aberrations, says Cass R. Sunstein, and perhaps thankfully so. In Legal Reasoning and Political Conflict, (...) Sunstein, one of America's best known commentators on our legal system, offers a bold, new thesis about how the law should work in America, arguing that the courts best enable people to live together, despite their diversity, by resolving particular cases without taking sides in broader, more abstract conflicts. Sunstein offers a close analysis of the way the law can mediate disputes in a diverse society, examining how the law works in practical terms, and showing that, to arrive at workable, practical solutions, judges must avoid broad, abstract reasoning. Why? For one thing, critics and adversaries who would never agree on fundamental ideals are often willing to accept the concrete details of a particular decision. Likewise, a plea bargain for someone caught exceeding the speed limit need not--indeed, must not--delve into sweeping issues of government regulation and personal liberty. Thus judges purposely limit the scope of their decisions to avoid reopening large-scale controversies. Sunstein calls such actions incompletely theorized agreements. In identifying them as the core feature of legal reasoning--and as a central part of constitutional thinking in America, South Africa, and Eastern Europe-- he takes issue with advocates of comprehensive theories and systemization, from Robert Bork to Jeremy Bentham, the father of utilitarianism, and Ronald Dworkin, who defends an ambitious role for courts in the elaboration of rights. Equally important, Sunstein goes on to argue that it is the living practice of the nation's citizens that truly makes law. For example, he cites Griswold v. Connecticut, a groundbreaking case in which the Supreme Court struck down Connecticut's restrictions on the use of contraceptives by married couples--a law that was no longer enforced by prosecutors. In overturning the legislation, the Court invoked the abstract right of privacy; the author asserts that the justices should have appealed to the narrower principle that citizens need not comply with laws that lack real enforcement. By avoiding large-scale issues and values, such a decision could have led to a different outcome in Bowers v. Hardwick, the decision that upheld Georgia's rarely prosecuted ban on sodomy. And by pointing to the need for flexibility over time and circumstances, Sunstein offers a novel understanding of the old ideal of the rule of law. Legal reasoning can seem impenetrable, mysterious, baroque. This book helps dissolve the mystery. Whether discussing the interpretation of the Constitution or the spell cast by the revolutionary Warren Court, Cass Sunstein writes with grace and power, offering a striking and original vision of the role of the law in a diverse society. In his flexible, practical approach to legal reasoning, he moves the debate over fundamental values and principles out of the courts and back to its rightful place in a democratic state: the legislatures elected by the people. (shrink)

Although both belong to the domain of the nonexistent, there is an ontological distinction between ficta and possibilia. Ficta are a particular kind of abstract objects, namely constructed abstract objects which generically depend on authors for their subsistence. Moreover, they are essentially incomplete entities, in that they are correlates of finite sets of properties. - On the other hand, possibilia are concrete objects. Being a possible object is indeed being an entity that might have existed, that is, that might (...) have been involved in the causal order. Besides, as an object existent in this sense may legitimately be qualified as complete, the incompleteness which pertains to possible objects is contingent, in that it regards them only with respect to the possible worlds in which they do not exist. This ontological distinction has a semantic correlate: whereas names for possibilia are full-fledged directly referential terms, names for ficta are synonymous with de facto rigid descriptions of a complex sort. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:96 HISTORY OF PHILOSOPHY La Controri]orma della Dialettica: Coscienza e storia nel neoidealismo italiano. By Francesco Valentini. (Rome: Editori Riuniti, 1966.Pp. 154.Paper, L. 1,500.) This volume consists of a re-examination of the views of Benedetto Croce and Giovanni Gentile, in the light of their respective positions in the history of philosophy. Valentini proposes that some important notions in the philosophies of Croce and Gentile ]ustify a Kantian interpretation and (...) thus constitute a counter-reformation with respect to some important assumptions in Hegel's doctrine. This proposal is especially interesting with regard to Croce, since it contradicts Croce's evaluation of his own position as representing a furtherance of the viable portions of Hegel's system, just as Hegel's system is supposed to represent a furtherance of Kant's view. Moreover, since Croce's evaluation follows from his general philosophic assumptions, Valentini's proposal attacks not only Croce's evaluation of his own position, but also his views on the nature of history and philosophy. According to Valentini, the views of Croce and Gentile agree in the abandonment of the "dogmatism" of Hegel and in a return to a transcendental philosophy which examines the conditions which make experience possible, rather than experience itself, in its concrete, historical development. (Gentile's view is supposed to be fundamentally the same as Croce's, save that Gentile's conclusions are more radical and thus, according to Valentini, more deo structive.) However, according to Valentini, this return to an examination of the nature of consciousness represents a retrogression, not only historically, but also philosophically with respect to the empirical and historical portions of Hegel's philosophy. In Chapter I of Part I, Valentini begins his discussion of Croce's notion of spirit, by stating that Croce generally professed an antitheological and antimetaphysical attitude, but that his intended resolution of the religious and theological into the mundane is not always complete. Accordingly, Valentini believes that he has discovered two prejudices which derive from this incomplete resolution: the first is supposed to be a monistic prejudice, which means the attempt to reduce all aspects of reality to the same characteristic or structure; and the second--a bias towards "inwardness", which shows preference for everything which can be reduced to the autonomous operation of consciousness. Chapter II examines Croce's view of the nature of consciousness, as well as the subjective aspects of his views of historical judgment. The relations between the forms of experience, aesthetic, conceptual and practical are discussed and criticized according to the views of modem psychology. Croce's subjectivism is supposed to lie in his notion that all history is contemporary and is formed by a kind of cognitive construction of the past. Here Valentini maintains that Italian idealism has made a "subjective correction" of Hegel's philosophy of history. Chapter IH treats of the development of Croce's views on historicism and describes his attitude as being characteristic of anti-enlightenment doctrines of the nineteenth century. Chapter IV traces what Valentini believes to be a certain ambivalence in Croce's aesthetics, that is, a vacillation between two themes which are supposed to be present throughout Croce's philosophy--the idealist theme which emphasizes the nature of consciousness and the theme of historicism. The idealist aspect can be perceived in Croce's theory of intuition and above all, in certain romantic developments of his doctrine, such as, the vindication of the character of "cosmic totality" and in the notion of the "eternality" of artistic expression. The theme of historicism can be found in some corrections which Croce made in his theory of intuition, as well as in some judgments and literary preferences, which are not completely reconcilable with his theoretical formulations. The fifth and last chapter of Part I treats of Croce's ethical doctrine and generally distinguishes between the views of Croce and Hegel on this topic. The second part of Valentini's work discusses Gentile as a philosopher of consciousness and is divided into four chapters. The topic of Chapter I is the attitude which is presupposed by the philosophy of "actual" idealism. This philosophy demands an unshakable faith in an ideal, a mission to accomplish... (shrink)

The study of social, ethical, and political issues from a naturalistic perspective has been pervasive in social sciences and the humanities in the last decades. This articulation of empirical research with philosophical and normative reflection is increasingly getting attention in academic circles and the public spheres, given the prevalence of urgent needs and challenges that society is facing on a global scale. The contemporary world is full of challenges or what some philosophers have called ‘existential risks’ to humanity. Nuclear wars, (...) natural and/or engineered pandemics, climate change, global totalitarianism, and emergent technologies, are some of the challenges mentioned by many authors devoted to the study of long-term potential risks for the survival of the human species. However, while there are many reasons to be a pessimist about the future of humanity, there is also a lot of ink wasted in showing that the world today is far better than we had in the past and also that there have been many instances of social and moral progress in the last centuries. Some authors have even claimed that “we have made more progress over the last 100 years than in the first 100,000”. According to ‘our world in data’, some of the most relevant advances of humanity in the last centuries have to do with the reduction of poverty and/or inequality, better health and security, the decline of violence and war, and the development of democracy and institutional mechanisms to guarantee individual freedom and rights. Yet, there is a more concrete concern that our world faces nowadays, and requires a particularly detailed analysis. In a few words, the advance in information and communication technologies, the huge volume of people migration because of prevalent instances of global inequality, and the reality of an interconnected world that just mirrors an extensive history of massive human intergroup relations open the question about the feasibility of social and moral progress in the contexts of diverse, multicultural, and unequal societies. This makes it crucial to reflect not only on whether human societies may keep advancing on a path of social progress, but how this can be achieved by addressing the challenges of inequality and potential intergroup conflict. This concern closely relates to the further consolidation of democratic values and the achievement of a more generalized consideration of the equal moral value of human individuals far from group, ethnic, or collective distinctions. This vision of progress follows the moral convictions that have been considered right and worthy to be pursued by most ethical theories explored by philosophers and social scientists so far. This work aims to contribute to the study of the mechanisms and feasibility of social and moral progress grounded on the precept of human equality and is guided by the idea that social and moral progress in a plural world requires the accomplishment of a more democratic and tolerant society. These forms of progress have already been defined by philosophers Allen Buchanan and Russel Powell as inclusivist forms of moral progress. According to these authors, inclusivist moral progress is featured by the transformation of moral judgments, motivations, and norms guided by the rejection of “group-based restrictions on moral standing and moral status” (2018). The work of Buchanan and Powell is fundamental for the argumentation developed in this work since they have pioneered a more complex debate in the field of evolutionary social sciences and philosophical anthropology. In brief, these authors have inquired how human nature, conceptualized by the advances in evolutionary thinking and the empirical sciences, is related to our moral convictions and the possibilities that we have to establish certain forms of social and moral progress. The work of Buchanan and Powell contributes to the debate on moral progress by incorporating empirically-informed concepts and arguments. With this objective in mind, they develop their discussion around a generalized tension between exclusivist and inclusivist forms of moral progress. This tension revolves around the question of whether and to what extent human moral concerns, motivations, and norms, are limited or bounded by social identities, group thinking, or collective values. This question is at the center of this work. In other words, I aim to answer whether and to what extent the nature of our social and moral cognition hinders or enables the development of inclusivist forms of morality and moral progress. As I mentioned so far, the distinction between exclusivist and inclusivist forms of morality has a practical implication and facilitates the reflection on the mechanisms and feasibility of concrete forms of progress based on the precept of human equality, which is the road to progress that we should follow according to most ethical theories. The distinction between exclusivist and inclusivist morality is not used here as a form of summarizing highly divergent descriptive approaches to morality, but as a way to address the practical implications of morality research, particularly around the question of the feasibility of social forms of progress based on the precept of equality and tolerance. My objective then has less to do with offering a conceptualization of human morality or with the proposition of a new ethical perspective. Instead, I aim to identify, from an empirically informed perspective, what enables the achievement of egalitarian forms of social progress, to subsequently offer a normative reflection about what we should do if we want to accomplish such inclusivist forms of progress. This task is of great relevance, having in mind that some theoretical proposals on the matter have claimed that human prosocial behavior and morality are constrained by exclusivist fixed tendencies as a product of our evolutionary history. According to these views, human morality is a group-centered cognitive and behavioral expression that has severe limits in its scope and extent, which hinders in the end the emergence of inclusivist forms of moral concerns and behaviors. These claims align with the philosophical intuition about the ‘dissociation of empathy’, or the fact that human individuals tend to express empathy and sympathy preferably for members of their group whereas their empathic and moral concern and recognition for outgroup individuals tend to be reduced or eliminated in real-life social interactions. Multiple theorists have expressed, however, that these assumptions are wrong for empirical and philosophical reasons, which results in a serious challenge to the conception of human morality as exclusivist by nature. Furthermore, simple intuition and practical experience constantly show us that human individuals can develop and endorse a broad spectrum of moral considerations and adopt an arguably inclusivist stance concerning the kind of persons or agents that deserve moral concern. Moreover, and adopting a historical perspective, the expansion of cultural and commercial exchanges, the consolidation of democracy, the development of welfare states, or the emergence of institutions based on the concept of universal human rights, have partially driven human progress based on the impartial concern for the well-being of persons. These historical instances of cultural evolution and institutional design have shown that it is feasible to promote behaviors and attitudes grounded in impersonal prosocial and inclusivist principles. This optimistic perspective, however, still begs the question of the exact relationship between social, cultural, and historical contexts, and the emergence of certain behavioral expressions of inclusivist morality. This is crucial since a great number of human individuals around the world still do not make part of these instances of social progress, and some authors have suggested that such instances of social and moral progress are particularly favored by the contexts of the WEIRD world, that is the world of Western, Educated, Industrialized, Rich, and Democratic societies. Some of these approaches consider moral inclusivity a ‘luxury good’ and follow the ‘dependency thesis’ according to which the expression of moral inclusivity depends on the presence of very concrete material conditions that trigger inclusivist and impersonal prosocial tendencies that human beings are not able to express in threatening contexts without physical security. This thesis is problematic for various reasons and has led to incomplete explanations about the enabling and causal factors of inclusivist moral progress, as well as unsatisfactory suggestions about what we should do to foster the accomplishment of more generalized instances of progress based on inclusivist concerns. In an attempt to contribute to this debate, the main objective of this thesis is to offer an alternative proposal about the nature of human morality and a more detailed reflection on what we should do if we want to further accomplish such instances of progress. More precisely, this work adopts a particular developmental and constructivist vision of human morality to answer the question of how feasible it is to reach generalized forms of social progress based on the precepts of moral inclusivity. Furthermore, it offers some ideas about what are the most adequate and favorable conditions to foster such progress both at the individual and the collective level. At this point, a preliminary clarification of some starting points is necessary. In the first place, and contrary to what other authors have proposed when debating moral progress from an empirically-based approach, my perspective adopts a radical developmental and constructivist perspective, following particularly the conceptual and empirical ideas of the social-domain theory in moral psychology. From this perspective, morality is a domain of normative and social knowledge that develops and emerges in human interactions. Moral concerns, judgments, and norms are not only the result of the expression of innate adaptive intuitions, nor the product of social conformity and a simple process of mirroring the normativity that communities have established to organize their social life. Human individuals, instead, construct moral concerns and judgments during their situated interactions. More specifically, the constructivist tradition claims that we need to research how moral concerns, judgments, and reasons emerge in social interactions and how human beings construct the content of their moral knowledge in the first place. Based on these ideas, morality is defined here as the result of a constructive process through which human individuals, by the means of constant interactions on a background of mutual respect and recognition, develop evaluative concerns about how we ought to treat others, and how to ‘care’ and ‘respect’ others’ well-being, needs, and vulnerabilities. This developmental-constructivist theory of human psychology contributes to an alternative understanding of the origins of moral variability and informs a very particular normative stance about the most desirable contexts needed for the urgent accomplishment of inclusivist forms of morality in contemporary societies. This is so given that the very same definition of morality adopted presupposes the feature of inclusivity. The main objective of this work is then to argue, based on a developmental perspective, what are the most favorable conditions to foster the development of moral inclusivity and what we should do to accomplish concrete instances of moral progress that truly help us to overcome our most urgent moral challenges. The whole thesis is organized as follows. In part I, I show how received visions about human social evolution have informed conceptions of morality as an adaptive function evolved to solve the challenges of cooperative life. Based on these assumptions, some theories argue that human morality is limited by the boundaries of group thinking, and always obeys the mandates of collective interests and the will of the majority. However, this conception has problematic implications from a normative and ethical perspective. The aim of Chapter 1 is to present this introductory debate in detail. In chapter 2, I consider a relevant amount of scientific evidence that helps to consolidate a more optimistic and inclusivist perspective about the starting conditions of human prosocial behavior. Later, I will summarize some ideas offered to explain the possible evolutionary mechanisms that led to the consolidation of these inclusivist capacities. However, I will also show how evolutionary theories that share the same adaptationist foundations but initially seem relevant to explain the feasibility of moral inclusivity, result incomplete when considering the complexity of moral behavior and its ethical implications. Part II is devoted to presenting a developmental alternative to the adaptationist versions around the starting conditions of morality. In this section, I first summarize the epistemological, conceptual, and empirical basis of a constructivist perspective already proposed by several authors in the last decades. This is the goal of chapter 3. More precisely, I adopt the conceptualization of morality established by the social-domain theory school and clarify its conception of the situated development of moral concerns, motivations, and norms. All these ideas are essential for my argumentation on the feasibility of inclusivist moral progress offered later. Chapter 4 provides a more detailed idea of constructivist thinking about moral development, by analyzing one particular dimension: the development of moral concerns for fairness and the sense of justice in distributive dilemmas. In Part III, I assume a constructivist perspective on morality to contribute to the philosophy of moral progress. In particular, I discuss the implications of such a perspective for the conceptualization of human moral nature and discuss what are the most favorable conditions for moral inclusivity to emerge. Answering that question is of enormous relevance since favoring the transition of human societies towards more inclusivist forms of moral concern and behavior supposes a more generalized accomplishment of our most urgent moral convictions. Previous developmental or culturally-sensible attempts to explore this issue are already on the market. As mentioned before, most authors have approached the topic by situating the cultural evolution and development of (inclusivist) moral progress in the WEIRD world. For instance, some of these authors claim that very concrete material conditions (mostly present in the Western World) have been necessary for triggering inclusivist and impersonal prosocial tendencies that human beings are not able to express in threatening contexts without physical security. Despite their interest in explaining inclusivist morality and the feasibility of inclusivist forms of progress following a naturalistic and culturally situated approach, these theories are problematic for two main reasons. In the first place, most of the authors that explain moral progress tend to focus exclusively on the consolidation of liberal values in the Western world and the underlying adoption of laws, social-epistemic practices, and public narratives about tolerance and inclusivity, as unequivocal signs of inclusivist morality. Nevertheless, there is an enormous distance between the institutional and public support of inclusivist moral values or the construction of public images of tolerance and inclusivity, and the real materialization of impersonal moralities in situated social interactions. Secondly, the variability of human moral behavior is far bigger than most of the theories in moral psychology and moral progress tend to assume. Accordingly, inclusivist and exclusivist forms of morality may develop simultaneously in similar or divergent geographical and socio-ecological environments, including those with harsh conditions such as competition for scarce resources, potential intergroup conflict, and risks of disease transmission. In addition, harsh environmental conditions are usually present in almost all societies around the globe, and the presence of socio-ecological conditions such as physical security and prosperity, predominant in highly resourced populations, do not prevent the existence of exclusivist moral tendencies. My model explores a different perspective on the relationships between cultural, institutional, and historical factors, and the situated development of human morality. This supposes a clear distinction from previous approaches to the matter since it offers a different view on what we should do to pursue further instances of inclusivist social progress. In the fifth chapter, I first analyze the proposals of some defenders of the ‘dependency’ theory. The attention is focused on the ‘Evolutionary Developmental Model’ proposed by Buchanan and Powell (2018). Based on a critique of this approach, I will argue that to explain the evolution and development of human morality in its multiple manifestations, it is essential to put focus on social interactions. This also involves a different perspective on human-environment relations that in line with a constructivist worldview makes an innovative contribution to the philosophy of moral behavior and moral progress. Later, in the sixth chapter, I will define my alternative relational view of inclusivist morality and I will offer my view on how to establish favorable conditions that make inclusivist morality possible. Complementing the constructivist approach, my conception is based on the essential role of equality and individuality and on how moral inclusivity is favored if moral concerns do not develop driven by the accomplishment of group-centered, binding, and communitarian concerns and values. In brief, my relational model suggests that the accomplishment of moral inclusivity not only depends on the overall achievement of certain levels of physical security or economic prosperity. Instead, its development is favored by transforming the interactional contexts in which moral concerns towards autonomy and individuality emerge. In arguing so, I will need to start with a critique of contemporary situated and embodied approaches in ethics. Then, I will show how societies guided by the accomplishment of group-centered values of power, dominance, and relational inequality tend to express exclusivist moral behaviors, while individualistic societies tend to be more inclusivist. Starting from this diagnosis, my final attempt is then to reflect on which are the best conditions for the moral valuation of individuality to emerge and what we should do to promote the accomplishment of moral inclusivity at the societal level. (shrink)