We present a class of normal modal calculi PFD, whose syntax is endowed with operators M r, one for each r [0,1] : if a is sentence, M r is to he read the probability that a is true is strictly greater than r and to he evaluated as true or false in every world of a F-restricted probabilistic kripkean model. Every such a model is a kripkean model, enriched by a family of regular probability evaluations with range in a (...) fixed finite subset F of [0,1] : there is one such a function for every world w, P F, and this allows to evaluate M ra as true in the world w iff p F r.For every fixed F as before, suitable axioms and rules are displayed, so that the resulting system P FD is complete and compact with respect to the class of all the F-restricted probabilistic kripkean models. (shrink)

This is a welcome reprint of a book that continues to grow in importance.

We show that modal logics characterized by a class of frames satisfying the insertion property are suitable for Reiter's default logic. We refine the canonical fix point construction defined by Marek, Schwarz and Truszczyński for Reiter's default logic and thus we addrress a new paradigm for nonmonotonic logic. In fact, differently from the construction defined by these authors. we show that suitable modal logics for such a construction must indeed contain K D4. When reflexivity is added to the modal logic (...) used for the fix point construction then we come to the Marek Schwarz and Truszczyński framework for Reiter's default logic. Our framework, in fact, is appropriate also to the family of modal logics in between S4 and S4f. If, instead, reflexivity is dropped, then we show that a new family of modal logics is gained, namely the modal logics in between KD4 and KD4Z. The upper bound can be extended to the modal logic KD4LZ whenever the propositional language taken into account is finite. (shrink)

Since the earliest formalisation of default logic by Reiter many contributions to this appealing approach to nonmonotonic reasoning have been given. The different formalisations are here presented in a general framework that gathers the basic notions, concepts and constructions underlying default logic. Our view is to interpret defaults as special rules that impose a restriction on the juxtaposition of monotonic Hubert-style proofs of a given logicL. We propose to describe default logic as a logic where the juxtaposition of default proofs (...) is subordinate to a restriction condition . Hence a default logic is a pair (L, ) where properties of the logic , like compactness, can be interpreted through the restriction condition . Different default systems are then given a common characterization through a specific condition on the logicL. We also prove cumulativity for any default logic (L, ) by slightly modifying the notion of default proof. We extend, in fact, the language ofL in a way close to that followed by Brewka in the formulation of his cumulative default system. Finally we show the existence of infinitely many intermediary default logics, depending on and called linear logics, which lie between Reiter's and ukaszewicz' versions of default logic. (shrink)

In this paper we address the problem of combining a logic with nonmonotonic modal logic. In particular we study the intuitionistic case. We start from a formal analysis of the notion of intuitionistic consistency via the sequent calculus. The epistemic operator M is interpreted as the consistency operator of intuitionistic logic by introducing intuitionistic stable sets. On the basis of a bimodal structure we also provide a semantics for intuitionistic stable sets.

La “referencia al origen es un invariante cultural” . Sin embargo, cada país tiene modos particulares de procesar su propia historia. Este trabajo analiza una de las modalidades en que –en Argentina– se narra ese origen, en el contexto de los bicentenarios latinoamericanos. Ese momento originario –la Revolución de Mayo de 1810– aparece representado en producciones literarias que han sido best sellers de historia. Esos relatos de no-ficción junto a otros de ficción permiten problematizar la cuestión del género y su (...) relación con “la nación” como matriz cultural. Un modo de imaginar un “nosotros” y de permitir ciertas inclusiones y exclusiones identitarias en el momento del origen y en el presente del Bicentenario. (shrink)

This book presents G. A. Cohen's Gifford Lectures, delivered at the University of Edinburgh in 1996. Focusing on Marxism and Rawlsian liberalism, Cohen draws a connection between these thought systems and the choices that shape a person's life. In the case of Marxism, the relevant life is his own: a communist upbringing in the 1940s in Montreal, which induced a belief in a strongly socialist egalitarian doctrine. The narrative of Cohen's reckoning with that inheritance develops through a series of sophisticated (...) engagements with the central questions of social and political philosophy. In the case of Rawlsian doctrine, Cohen looks to people's lives in general. He argues that egalitarian justice is not only, as Rawlsian liberalism teaches, a matter of rules that define the structure of society, but also a matter of personal attitude and choice. Personal attitude and choice are, moreover, the stuff of which social structure itself is made. Those truths have not informed political philosophy as much as they should, and Cohen's focus on them brings political philosophy closer to moral philosophy, and to the Judeo-Christian ethical tradition, than it has recently been. (shrink)

A highly original reading of Immanuel Kant that demonstrates his interest in the social realm of human interaction.

Containing selected papers on the fundamentals and applications of Complexity Science, this multi-disciplinary book presents new approaches for resolving complex issues that cannot be resolved using conventional mathematical or software models. Complex Systems problems can occur in a variety of areas such as physical sciences and engineering, the economy, the environment, humanities and social and political sciences. Complexity Science problems, the science of open systems consisting of large numbers of diverse components engaged in rich interaction, can occur in a variety (...) of areas such as physical sciences and engineering, the economy, the environment, humanities and social and political sciences. The global behaviour of these systems emerges from the interaction of constituent components and is unpredictable but not random. The key attribute of Complex Systems is the ability to self-organise and adapt to unpredictable changes in their environment. (shrink)

A leading figure in neuroaesthetics makes the case that aesthetic experience can be meaningfully measured by the tools of neuroscience.

G.E. Moore, more than either Bertrand Russell or Ludwig Wittgenstein, was chiefly responsible for the rise of the analytic method in twentieth-century philosophy. This selection of his writings shows Moore at his very best. The classic essays are crucial to major philosophical debates that still resonate today. Amongst those included are: * A Defense of Common Sense * Certainty * Sense-Data * External and Internal Relations * Hume's Theory Explained * Is Existence a Predicate? * Proof of an External World (...) In addition, this collection also contains the key early papers in which Moore signals his break with idealism, and three important previously unpublished papers from his later work which illustrate his relationship with Wittgenstein. (shrink)

Fichte assigns ‘intellectual intuition’ a new meaning after Kant. But in 1799, his doctrine of intellectual intuition is publicly deemed indefensible by Kant and nihilistic by Jacobi. I propose to defend Fichte’s doctrine against these charges, leaving aside whether it captures what he calls the ‘spirit’ of transcendental idealism. I do so by articulating three problems that motivate Fichte’s redirection of intellectual intuition from being to acting: (1) the regress problem, which states that reflecting on empirical facts of consciousness leads (...) only to further facts and so cannot yield a first principle; (2) the rhapsody problem, which states that the categories form a haphazard set and so lack necessity unless they derive from a first principle; and (3) the nihilism problem, which states that a first principle cannot lie outside our cognition of it, lest it be the cause of our cognition and, being first, the cause of all our actions, reducing us to machines. Crucially, Fichte’s three motivating problems are in fact aspects of a single problem. Leaving any aspect unsolved spoils putative solutions to the other two. Consequently, Fichte requires a single unified solution to all three, which his doctrine of intellectual intuition provides. (shrink)

This chapter contains section titled: I II III IV V VI VII VIII IX X XI XII Coda Appendix Acknowledgements.

A model for the ideal state includes discussions of the nature and application of justice, the role of the philosopher in society, the goals of education, and the effects of art upon character.

This essay challenges the widely accepted principle that a person is morally responsible for what he has done only if he could have done otherwise. The author considers situations in which there are sufficient conditions for a certain choice or action to be performed by someone, So that it is impossible for the person to choose or to do otherwise, But in which these conditions do not in any way bring it about that the person chooses or acts as he (...) does. In such situations the person may well be morally responsible for what he chooses or does despite his inability to choose or to do otherwise. Finally the author considers certain suggestions for revising the principle he rejects or for replacing it with a principle of an altogether different kind. (shrink)

There is growing interest in the use of neurointerventions to reduce the risk that criminal offenders will reoffend. Commentators have raised several ethical concerns regarding this practice. One prominent concern is that, when imposed without the offender’s valid consent, neurointerventions might infringe offenders’ right to bodily integrity. While it is commonly held that we possess a moral right to bodily integrity, the extent to which this right would protect against such neurointerventions is as-yet unclear. In this paper, we will assess (...) whether, why, and how severely three forms of neurointervention might infringe the right to bodily integrity. We show that the severity of the infringement of the right to bodily integrity differs across different forms of neurointervention. Moreover, we argue that mental and behavioral effects of neurointerventions could in some cases be relevant to determining the severity of infringements of the right to bodily integrity. (shrink)

In the Vocation of Man, Fichte makes the striking claim that life is eternal, rational, our true being, and the final cause of nature in general and of death in particular. How can we make sense of this claim? I argue that the public lectures that compose the Vocation are a popular expression of Fichte’s pre-existing commitment to what I call immortalism, the view that life is the unconditioned condition of intelligibility. Casting the I as an absolutely self-active or living (...) power enables his philosophical account of both the intelligibility of objects and of what it means to die. This explains his characterization of the Wissenschaftslehre as a system in which ‘all is act, movement, and life’. In Sect. 1, I explain the context of Jacobi’s use of ‘caput mortuum’ as a term for the thing in itself. In Sects. 2 and 3, I reconstruct two immortalist arguments from Fichte’s Jena period. The first is that the I’s self-activity rules out the existence of the thing in itself and thereby vanquishes ‘death’s head’. The second is that, insofar as the I charges us with the moral perfection of nature, it is the final cause of our entire life, including its end. This is to say that the I puts our every moment into question, even our last. In Sect. 4, I use these immortalist arguments to interpret the striking claim from the Vocation. (shrink)

Philosophy of Tsong-kha-pa Blo-bzang-grags-pa's Lam rim chen mo.

Conference proceedings on Mongolian contributions to Buddhist knowledge.

Throughout his career, Schelling assigns knowledge of the absolute first principle of philosophy to intellectual intuition. Schelling's doctrine of intellectual intuition raises two important questions for interpreters. First, given that his doctrine undergoes several changes before and after his identity philosophy, to what extent can he be said to “hold onto” the same “sense” of it by the 1830s, as he claims? Second, given that his doctrine of intellectual intuition restricts absolute idealism to what he calls a “science of reason”, (...) which he says cannot prove the absolute’s existence, what other doctrine does he require in order to prove this? I will answer these questions by tracing the shifts in Schelling’s doctrine of intellectual intuition from the 1790s to the 1830s and drawing out its evolving methodological role within his science of intelligibility. (shrink)

Modern science faces a series of problems that undermine confidence in its reliability. To solve these problems, we must reflect on what makes science work and what leads it astray. This book is about Science, its strengths and weaknesses. The papers that scientists write form a vast resource of evidence and theory that is doubling about every ten years, along with the number of scientists. The size of this resource makes it hard for it to be used effectively by scientists, (...) and along with this are growing concerns about its integrity and reliability. This book looks at the scientific method, as currently applied and as understood philosophically by scientists, the social structure of science, and the structure of scientific communication through journals. It includes case studies of controversies, and looks at how fields develop over time. (shrink)

The concept of facticity denotes conditions of experience whose necessity is not logical yet whose contingency is not empirical. Although often associated with Heidegger, Fichte coins ‘facticity’ in his Berlin period to refer to the conclusion of Kant’s metaphysical deduction of the categories, which he argues leaves it a contingent matter that we have the conditions of experience that we do. Such rhapsodic or factical conditions, he argues, must follow necessarily, independent of empirical givenness, from the I through a process (...) of ‘genesis.’ I reconstruct Fichte’s argument by tracing the origin of his neologism, presenting his Jena critique of Kant’s rhapsodic appeal to the forms of judgment, and illustrating the Jena period’s continuity with the Berlin period’s genetic method, while noting a methodological shift whereby Fichte directs his critique against his own doctrine of intellectual intuition in order to eliminate its ‘factical terms.’. (shrink)

Fichte argues that the conclusion of Kant’s transcendental deduction of the categories is correct yet lacks a crucial premise, given Kant’s admission that the metaphysical deduction locates an arbitrary origin for the categories. Fichte provides the missing premise by employing a new method: a genetic deduction of the categories from a first principle. Since Fichte claims to articulate the same view as Kant in a different, it is crucial to grasp genetic deduction in relation to the sorts of deduction that (...) Kant offers. I propose to interpret genetic deduction as the simultaneous fulfillment of two tasks: answering the question quid facti by deriving the categories from the I and answering the question quid juris by establishing our entitlement to the categories as conditions of experience. While the second task represents Fichte’s agreement with Kant’s transcendental deduction, the first reflects his correction of Kant’s metaphysical deduction. (shrink)

A precursor to the hard problem of consciousness confronts nihilism. Like physicalism, nihilism collides with the first-personal fact of what perception and action are like. Unless this problem is solved, nature’s inclusion of conscious experience will remain, as Chalmers warns the physicalist, an “unanswered question” and, as Jacobi chides the nihilist, “completely inexplicable". One advantage of Kant’s Copernican turn is to dismiss the question that imposes this hard problem. We need not ask how nature is accompanied by the first-person standpoint (...) because “I think” is an apperceptive form of thinking that must be able to accompany any cognition of nature. Kant’s formal conception of apperception worries Fichte in his Nova Methodo lectures. This conception arguably cannot exhaust the ground of experience, for it does not show why we posit objects “at all". For Fichte, it is our agency that first opens a world of objects, viz., as subjects, means, ends, and obstacles. In what follows, I argue that, for Fichte, the I poses no hard problem because it collides exclusively with nihilistic views like Spinozism, which are refuted by a properly transcendental idealist conception of apperception, according to which the first-person standpoint is the absolute ground of our experience of nature. If transcendental idealism refutes nihilism, nature is no more explicable than that there is something it is like for me to perceive and act. In Section 1, I show why Kantian apperception is necessary for possible experience. In Section 2, I reconstruct Fichte’s argument that a modified conception of apperception refutes guises of nihilism, thereby solving the hard problem of consciousness. In Section 3, I suggest that transcendental idealism undermines Chalmers’ proposed solution to and Dennett’s dismissal of this problem. (shrink)

In the Freedom essay, Schelling charges that (1) idealism fails to grasp human freedom’s distinctiveness and that (2) this failure undermines idealism's attempt to refute pantheism, as exemplified by Spinoza. This raises two questions, which I will answer in turn: what, for Schelling, is distinctive of human freedom; and how does the idealists’ failure to grasp it render them unable to refute pantheism? To answer these questions, I will reconstruct Schelling’s argument that freedom has the distinctness of being the unconditioned (...) condition of the world’s intelligibility. My reconstruction will illustrate how Schelling’s notion of freedom as primal will grounds the alleged primacy of practical reason as Kant and Fichte conceive it. I will then consider three objections to Schelling’s argument. Throughout, I will develop the Schellingian idea that freedom is enacted in an unprethinkable decision that cannot be anticipated by any law or principle. (shrink)

Foucault’s remarks concerning psychoanalysis are ambivalent and even prima facie contra-dictory, at times lauding Freud and Lacan as anti-humanists, at others being severely criti-cal of their imbrication within psychiatric power. This has allowed a profusion of interpretations of his position, between so-called ‘Freudo-Foucauldians’ at one extreme and Foucauldians who condemn psychoanalysis as such at the other. In this article, I begin by surveying Foucault’s biographical and theoretical relationship to psychoanalysis and the sec-ondary scholarship on this relationship to date. I pay (...) particular attention to the discussion of the relationship in feminist scholarship and queer theory, and that by psychoanalytic thinkers, as well as attending to the particular focus in the secondary literature on Fou-cault’s late work and his relationship to the figure of Jacques Lacan. I conclude that Fou-cault’s attitude to psychoanalysis varies with context, and that some of his criticisms of psychoanalysis in part reflect an ignorance of the variety of psychoanalytic thought, partic-ularly in its Lacanian form. I thus argue that Foucault sometimes tended to overestimate the extent of the incompatibility of his approach with psychoanalytic ones and that there is ultimately no serious incompatibility there. Rather, psychoanalysis represents a substantively different mode of inquiry to Foucault’s work, which is neither straightforwardly ex-clusive nor inclusive of psychoanalytic insights. (shrink)

The Baire algebra of a topological space X is the quotient of the algebra of all subsets of X modulo the meager sets. We show that this Boolean algebra can be endowed with a natural closure operator, resulting in a closure algebra which we denote $\mathbf {Baire}(X)$. We identify the modal logic of such algebras to be the well-known system $\mathsf {S5}$, and prove soundness and strong completeness for the cases where X is crowded and either completely metrizable and continuum-sized (...) or locally compact Hausdorff. We also show that every extension of $\mathsf {S5}$ is the modal logic of a subalgebra of $\mathbf {Baire}(X)$, and that soundness and strong completeness also holds in the language with the universal modality. (shrink)