A default theory can be seen as a way for representing a set of formulae, i.e., its extensions. In this paper, we characterize the sets of formulae that can be expressed by a default theory according to various semantics: justified, constrained, rational, cumulative, QDL, CADL, and two semantics with priorities. These characterizations imply some non-translatability results between semantics.

Merging beliefs depends on the relative reliability of their sources. When this is information is absent, assuming equal reliability is unwarranted. The solution proposed in this article is that every reliability profile is possible, and only what holds according to all of them is accepted. Alternatively, one source is completely reliable, but which one is not specified. These two cases motivate two existing forms of merging: maxcons-based merging and disjunctive merging.

A consistency default is a propositional inference rule that asserts the consistency of a formula in its consequence. Consistency defaults allow for a straightforward encoding of domains in which it is explicitely known when something is possible. The logic of consistency defaults can be seen as a variant of cumulative default logic or as a generalization of justified default logic; it is also able to simulate Reiter default logic in the seminormal case. A semantical characterization of consistency defaults in terms (...) of processes and in terms of a fixpoint equation is given, as well as a normal form. (shrink)

Most of the work in default logic is about default theories that are completely specified. In this category are the proposals of appropriate semantics for default logic, the characterizations of the complexity of reasoning with a default theory, the algorithms for finding consequences of default theories, etc. Relatively little attention has been paid to the process of building a default theory, and most of the work on this topic is about translating knowledge bases from other formalisms (such as circumscription, autoepistemic (...) logic, and action description languages) into default logic. This paper is about expressing knowledge in default logic. In particular, we assume that defaults are initially formulated as normal, and are then corrected using specific inference examples. (shrink)

Italian political thinker Paolo Virno argues that the category of "multitude" is a far better tool to analyze contemporary issues than the Hobbesian concept of "people." Globalization is forcing us to rethink some of the categories—such as "the people"—that traditionally have been associated with the now eroding state. Italian political thinker Paolo Virno argues that the category of "multitude," elaborated by Spinoza and for the most part left fallow since the seventeenth century, is a far better tool to (...) analyze contemporary issues than the Hobbesian concept of "people," favored by classical political philosophy. Hobbes, who detested the notion of multitude, defined it as shunning political unity, resisting authority, and never entering into lasting agreements. "When they rebel against the state," Hobbes wrote, "the citizens are the multitude against the people." But the multitude isn't just a negative notion, it is a rich concept that allows us to examine anew plural experiences and forms of nonrepresentative democracy. Drawing from philosophy of language, political economics, and ethics, Virno shows that being foreign, "not-feeling-at-home-anywhere," is a condition that forces the multitude to place its trust in the intellect. In conclusion, Virno suggests that the metamorphosis of the social systems in the West during the last twenty years is leading to a paradoxical "Communism of the Capital.". (shrink)

The philosophical analysis of mathematical explanations concerns itself with two different, although connected, areas of investigation. The first area addresses the problem of whether mathematics can play an explanatory role in the natural and social sciences. The second deals with the problem of whether mathematical explanations occur within mathematics itself. Accordingly, this entry surveys the contributions to both areas, it shows their relevance to the history of philosophy and science, it articulates their connection, and points to the philosophical pay-offs to (...) be expected by deepening our understanding of the topic. (shrink)

The temporality of intentions and actions in situations of social interaction can sometimes be paradoxical. I argue that in these situations it may sometimes be possible to conceive of individual acts that can, in a strong sense, be intended retroactively. This could happen when the relational patterns in social interaction literally alter the virtual structure of a participant's past corporeal intentions resulting in an odd experience of having intended something all along without knowing it. I propose that this possibility should (...) be interpreted as more than just a narrowly epistemic phenomenon. Examining this claim involves clarifying the enactive perspective on intentionality, which I do here. The enactive approach rejects the model of a causal relation between intention and action for one of an intrinsic qualitative relation between the two as facets of sense-making. I develop this idea and compare it with Merleau-Ponty's Fundierung model of the mutual relation between corporeal and reflexive intentionality to show that co-regulated moves/affections during social interaction may modulate both arcs of this relation, creating the possibility of a re-signification that alters not the actuality but the virtual tendencies that preceded the social act. (shrink)

This paper explores the epistemology of extrapolation from model organisms to humans in molecular medicine. We take into account two common views on the issue, the homology view and the disanalogy view. In response to both interpretations, we argue that the foundational basis of extrapolations cannot simply be provided by homology and that relevant disanalogies can, thanks to the techniques of molecular biology, be experimentally controlled and exploited to allow useful and reliable extrapolations. The case of "humanised mice" in the (...) context of cancer stem cell research provides evidence of how animal models can be construed to approximate bona fide causal analogue models of human diseases. To supplement this view we show how the epistemology of model organisms needs to take into account the engineering side of molecular medicine. Model organisms are often manipulated to create analogies or remove disanalogies with the target system. We maintain that highlighting this feature is fundamental to explain what warrants extrapolation in the search for the molecular causes of disease. (shrink)

A novel theoretical framework for an embodied, non-representational approach to language that extends and deepens enactive theory, bridging the gap between sensorimotor skills and language. -/- Linguistic Bodies offers a fully embodied and fully social treatment of human language without positing mental representations. The authors present the first coherent, overarching theory that connects dynamical explanations of action and perception with language. Arguing from the assumption of a deep continuity between life and mind, they show that this continuity extends to language. (...) Expanding and deepening enactive theory, they offer a constitutive account of language and the co-emergent phenomena of personhood, reflexivity, social normativity, and ideality. Language, they argue, is not something we add to a range of existing cognitive capacities but a new way of being embodied. Each of us is a linguistic body in a community of other linguistic bodies. The book describes three distinct yet entangled kinds of human embodiment, organic, sensorimotor, and intersubjective; it traces the emergence of linguistic sensitivities and introduces the novel concept of linguistic bodies; and it explores the implications of living as linguistic bodies in perpetual becoming, applying the concept of linguistic bodies to questions of language acquisition, parenting, autism, grammar, symbol, narrative, and gesture, and to such ethical concerns as microaggression, institutional speech, and pedagogy. (shrink)

Christ as symbol in Kant¿s religion -- Hegel's conception of God -- The reality of religion in Hegel's idealist metaphysics -- Hegel's version of the ontological argument for the existence of God -- The trinity and the I -- The death of God and recognition of the self -- Beyond subjectivism -- The relevance of Hegel's philosophy of religion today.

Summary This article presents three hitherto unpublished letters by Frank Plumpton Ramsey on the foundations of mathematics with commentary. One of the letters was sent to Abraham Fraenkel and the other two letters to Heinrich Behmann. The transcription of the letters is preceded by an account that details the extent of Ramsey's known contacts with mathematical logicians on the Continent.

The literature on indicative conditionals contains two appealing views. The first is the selectional view: on this view, conditionals operate by selecting a single possibility, which is used to evaluate the consequent. The second is the informational view: on this view, conditionals don’t express propositions, but rather impose constraints on information states of speakers. Both views are supported by strong arguments, but they are incompatible on their standard formulations. Hence it appears that we have to choose between mutually exclusive options. (...) But the options are not exclusive. This paper develops a theory of the semantics and assertability of conditionals that is both selectional and informational. The theory vindicates the signature inferences of both selectional and informational theories, including so-called Conditionals Excluded Middle and principles about the interplay between conditionals and ‘might’. It also predicts some interesting and puzzling facts about the assertion of conditionals. (shrink)

Le but de cet ouvrage est de montrer la teneur philosophique unitaire de la pensée critique de Diderot par delà le caractère éclaté et dispersé de son œuvre. Diderot philosophe est présenté comme un penseur critique et systématique, c'est-à-dire un philosophe dont la réflexion, d'une part, s'inscrit dans le cadre du courant de pensée moderne qui vise à dépasser les perspectives du « premier regard géomètre de la raison », celui de Descartes, de Malebranche et des post-cartésiens. D'autre part, elle (...) atteint un « second regard critique », plus profond, jeté sur le monde de la nature et surtout, sur lui-même (une philosophie de l'aperception : Spinoza, Wolff, les Moralistes anglais et Kant), qui se rattache intimement à un matérialisme biologique tout à fait original, issu de la confrontation de Diderot avec les naturalistes et les médecins de son temps. C'est ce matérialisme élaboré dans l'usine encyclopédique qui met en cause la notion clé d'« individualité naturelle » (jouée en couplet avec une « communauté du désir ») - néologisme dont Le Neveu de Rameau et Le Rêve de D'Alembert développeront les tenants et les aboutissants philosophiques -, et qui témoigne de la nouveauté d'approche propre à cette philosophie, à l'intérieur de la pensée des Lumières européennes. Avec Diderot, c'est une nouvelle figure historique de la philosophie elle-même - celle de la subjectivité individuelle complexe, uni-totalité de penser-sentir-agir - qui monte sur la scène de la modernité, comme étant la substance première, incontournable et insaisissable, de la pensée critique de nos jours. (shrink)

Heinrich Behmann (1891-1970) obtained his Habilitation under David Hilbert in Göttingen in 1921 with a thesis on the decision problem. In his thesis, he solved - independently of Löwenheim and Skolem's earlier work - the decision problem for monadic second-order logic in a framework that combined elements of the algebra of logic and the newer axiomatic approach to logic then being developed in Göttingen. In a talk given in 1921, he outlined this solution, but also presented important programmatic remarks on (...) the significance of the decision problem and of decision procedures more generally. The text of this talk as well as a partial English translation are included. (shrink)