This is the first book that integrates nonmonotonic reasoning and belief change into a single framework from an artificial intelligence logic point-of-view.

"The first book that provides a systematic and rigorous logical theory of causality"--.

A formal theory of causal reasoning is presented that encompasses both Pearl’s approach to causality and several key formalisms of nonmonotonic reasoning in Artificial Intelligence. This theory will be derived from a single rationality principle of causal acceptance for propositions. However, this principle will also set the theory of causal reasoning apart from common representational approaches to reasoning formalisms.

A notion of an epistemic state is introduced as a generalization of common representations suggested for belief change. Based on it, a new kind of nonmonotonic inference relation corresponding to belief contractions is defined. A number of representation results is established that cover both traditional AGM contractions and contractions that do not satisfy recovery.

We present a general formalism of causal reasoning that encompasses both Pearl’s approach to causality and a number of key systems of nonmonotonic reasoning in artificial intelligence.

A notion of an epistemic state is introduced as a generalization of common representations suggested for belief change. Based on it, a new kind of nonmonotonic inference relation corresponding to belief contractions is defined. A number of representation results is established that cover both traditional AGM contractions and contractions that do not satisfy recovery.

We describe the relation between coherence and foundations approaches to belief change in terms of a correspondence between epistemic entrenchment relations(Gärdenfors and Makinson, 1988; Rott, 1992) and dependence consequence relations from Bochman (1999, 2000a).The general conclusion of the study is that dependence consequence relations are sufficiently expressive to subsume the notion of an epistemic entrenchment and its generalizations.

Nonmonotonic reasoning is a theory of the rational use of assumptions. We describe the relations between NMR and Logic, and two main paradigms of NMR, preferential and explanatory one.

We introduce a substructural propositional calculus of Sequential Dynamic Logic that subsumes a propositional part of dynamic predicate logic, and is shown to be expressively equivalent to propositional dynamic logic. Completeness of the calculus with respect to the intended relational semantics is established.

Some combinations of attitudes--of beliefs, credences, intentions, preferences, hopes, fears, and so on--do not fit together right: they are incoherent. A natural idea is that there are requirements of "structural rationality" that forbid us from being in these incoherent states. Yet a number of surprisingly difficult challenges arise for this idea. These challenges have recently led many philosophers to attempt to minimize or eliminate structural rationality, arguing that it is just a "shadow" of "substantive rationality"--that is, correctly responding to one's (...) reasons. -/- In *Fitting Things Together*, Alex Worsnip pushes back against this trend--defending the view that structural rationality is a genuine kind of rationality, distinct from and irreducible to substantive rationality, and tackling the most important challenges for this view. In so doing, he gives an original positive theory of the nature of coherence and structural rationality that explains how the diverse range of instances of incoherence can be unified under a general account, and how facts about coherence are normatively significant. He also shows how a failure to focus on coherence requirements as a distinctive phenomenon and distinguish them adequately from requirements of substantive rationality has led to confusion and mistakes in several substantive debates in epistemology and ethics. -/- Taken as a whole, Fitting Things Together provides the first sustained defense of the view that structural rationality is a genuine, autonomous, unified, and normatively significant phenomenon. (shrink)

Necessary Existence breaks ground on one of the deepest questions anyone ever asks: why is there anything? Pruss and Rasmussen present an original defence of the hypothesis that there is a necessarily existing being capable of providing an ultimate foundation for the existence of all things.

Jacobi held a position of unparalleled importance in late eighteenth and early nineteenth century intellectual history. This includes his role in bringing about the close of the Enlightenment, his central part in shaping the reception of Kant's philosophy and German idealism, and his influence on the development of Romanticism and existentialism.

This Is A New Release Of The Original 1868 Edition.

This important philosophical reflection on love and sexuality from a broadly Christian perspective is aimed at philosophers, theologians, and educated Christian readers. Alexander R. Pruss focuses on foundational questions on the nature of romantic love and on controversial questions in sexual ethics on the basis of the fundamental idea that romantic love pursues union of two persons as one body. _One Body_ begins with an account, inspired by St. Thomas Aquinas, of the general nature of love as constituted by (...) components of goodwill, appreciation, and unitiveness. Different forms of love, such as parental, collegial, filial, friendly, fraternal, or romantic, Pruss argues, differ primarily not in terms of goodwill or appreciation but in terms of the kind of union that is sought. Pruss examines romantic love as distinguished from other kinds of love by a focus on a particular kind of union, a deep union as one body achieved through the joint biological striving of the sort involved in reproduction. Taking the account of the union that romantic love seeks as a foundation, the book considers the nature of marriage and applies its account to controversial ethical questions, such as the connection between love, sex, and commitment and the moral issues involving contraception, same-sex activity, and reproductive technology. With philosophical rigor and sophistication, Pruss provides carefully argued answers to controversial questions in Christian sexual ethics. "This is a terrific—really quite extraordinary—work of scholarship. It is quite simply the best work on Christian sexual ethics that I have seen. It will become the text that anyone who ventures into the field will have to grapple with—a kind of touchstone. Moreover, it is filled with arguments with which even secular writers on sexual morality will have to engage and come to terms." —_Robert P. George, Princeton University __ "_One Body_ is an excellent piece of philosophical-theological reflection on the nature of sexuality and marriage. This book has the potential to become a standard go-to text for professors and students working on sex ethics issues, whether in philosophy or theology, both for the richness of its arguments, and the scope of its coverage of cases. " — Christopher Tollefsen, University of South Carolina_ "Alexander Pruss here develops sound and humane answers to the whole range of main questions about human sexual and reproductive choices. His principal argument for the key answers is very different from the one I have articulated over the past fifteen years. But his argumentation is at every point attractively direct, careful, energetic in framing and responding to objections, and admirably attentive to realities and the human goods at stake." —_John Finnis, University of Oxford _. (shrink)

Internalism about a person's good is roughly the view that in order for something to intrinsically enhance a person's well-being, that person must be capable of caring about that thing. I argue in this paper that internalism about a person's good should not be believed. Though many philosophers accept the view, Connie Rosati provides the most comprehensive case in favor of it. Her defense of the view consists mainly in offering five independent arguments to think that at least some form (...) of internalism about one's good is true. But I argue that, on closer inspection, not one of these arguments succeeds. The problems don't end there, however. While Rosati offers good reasons to think that what she calls 'two-tier internalism' would be the best way to formulate the intuition behind internalism about one's good, I argue that two-tier internalism is actually false. In particular, the problem is that no substantive theory of well-being is consistent with two-tier internalism. Accordingly, there is reason to think that even the best version of internalism about one's good is in fact false. Thus, I conclude, the prospects for internalism about a person's good do not look promising. (shrink)

' But, although such a being (a purely intellectual being) might perhaps be conceived to exist, and although, in studying our internal frame, ...

The essence and basic methods of the pure theory -- The state and the law -- Law and its "others" : natural law, morality and social policy -- Constitution and normative hierarchy -- The basic norm and efficacy of the legal system -- The rule of law -- Conclusion -- Index.

The comparison of growth, whether it is between different strains or under different growth conditions, is a classic microbiological technique that can provide genetic, epigenetic, cell biological, and chemical biological information depending on how the assay is used. When employing solid growth media, this technique is limited by being largely qualitative and low throughput. Collecting data in the form of growth curves, especially automated data collection in multi‐well plates, circumvents these issues. However, the growth curves themselves are subject to stochastic (...) variation in several variables, most notably the length of the lag phase, the doubling rate, and the maximum expansion of the culture. Thus, growth curves are indicative of trends but cannot always be conveniently averaged and statistically compared. Here, we summarize a simple method to compile growth curve data into a quantitative format that is amenable to statistical comparisons and easy to graph and display. (shrink)

With any structural inference rule A/B, we associate the rule $${(A \lor p)/(B \lor p)}$$, providing that formulas A and B do not contain the variable p. We call the latter rule a join-extension ( $${\lor}$$ -extension, for short) of the former. Obviously, for any intermediate logic with disjunction property, a $${\lor}$$ -extension of any admissible rule is also admissible in this logic. We investigate intermediate logics, in which the $${\lor}$$ -extension of each admissible rule is admissible. We prove that (...) any structural finitary consequence operator (for intermediate logic) can be defined by a set of $${\lor}$$ -extended rules if and only if it can be defined through a set of well-connected Heyting algebras of a corresponding quasivariety. As we exemplify, the latter condition is satisfied for a broad class of algebraizable logics. (shrink)

Can philosophy be a source of hope? Today it is common to believe that the answer is no - that providing hope, if it is possible at all, belongs either to the predictive sciences or to religion. In this exciting and simulating book, however, Alexander Douglas argues that the philosophy of Spinoza can offer something akin to religious hope. Douglas shows how Spinoza is able, without appealing to belief in any traditional afterlife or supernatural grace, to develop a profound (...) and original theory of how humans can escape from the conditions of death and sin. Douglas argues that this theory of escape, which Spinoza calls beatitude, is the centrepiece of his entire philosophy, though scholars have often downplayed or ignored it. One reason for this scholarly neglect might be the difficulty of understanding Spinoza's theory, which departs from the standard doctrines and methods of Western philosophy. Douglas's interpretation therefore seeks inspiration beyond the Western tradition, drawing especially on the classical Daoist text Zhuangzi and its commentaries. Here, Douglas argues, surprising resonances with Spinoza's core ideas can be found, leading to a new way of understanding his strange yet compelling theory of beatitude. (shrink)

Seit dem 2. nachchristlichen Jahrhundert werden die Schriften von Aristoteles kommentiert. Diese Ausgabe enthält griechische Kommentare zu seinem Werk vom 3. bis 8. Jahrhundert n. Chr., u. a. von Alexander von Aphrodiensias, Themistios, Joh. Philoponus, Simplicius in griechischer Sprache.

Machine learning, and more broadly artificial intelligence (AI), is a fascinating technology and can be considered as the closest approximation to the Cartesian “thinking thing” that humans have ever created. Just as the industrial revolution required a new ethos, the age of intelligent machines will create its own, challenging the established moral, economic, and political presuppositions. This paper discusses the relationship between AI and society; it presents several thought experiments to explore the complexity of the relationship and highlights the insufficiency (...) of the current normative paradigm in addressing technological expansion. I argue that many of the externalities, such as security risks, loss of privacy, and economic instability will result from trying to fit the emerging technologies into the existing frame of efficiency and utility, by redefining the notions of human value, identity, autonomy, purity, and truth, among others. The age of the intelligent machine is elevating alienation to new levels, treating the individual as mere patterns in data—its primary commodity. I further argue that while the possibility of unintended consequences, due to the potential misuse of AI is ever present, the intelligent machine per se is unlikely to engage in a zero-sum game for power on its own initiative. I question whether singularity is at all attainable and argue that technology will forever remain a proxy for human interests. I conclude by posing questions for charting the path forward. Through this analysis, I aim to provide a more nuanced understanding of the complex relationship between the AI and humans. (shrink)

Learning more about philosophical cognition has yielded significant insights into the methods that we employ when doing philosophy, and has led some experimental philosophers to raise concerns about the role that intuitions play in philosophical practice. One popular response to these methodological concerns involves appeal to philosophical expertise, and has become known as the expertise defense because it aims to defend the use of at least some kinds of intuitional evidence in philosophy. The basic idea is that philosophical expertise consists (...) in having developed, through a process of critical reflection, increased conceptual competence and theoretical accuracy, as well as a special knack for reading and thinking about philosophical thought experiments that call upon us to exercise our conceptual competence and theoretical acumen. It turns out to be an open question whether this folk theory of philosophical expertise can restore hope in the value of intuitional evidence, and here we examine two ways of trying to answer that question: one that involves careful reflection on the supposed benefits of philosophical education, and one that involves careful empirical examination of “expert” philosophical intuitions. (shrink)

Mental causation is notoriously threatened by the causal exclusion argument. A prominent strategy to save mental causation from causal exclusion consists in subscribing to an interventionist account of causation. This move has, however, recently been challenged by several authors. In this paper, we do two things: We (i) develop what we consider to be the strongest version of the interventionist causal exclusion argument currently on the market and (ii) propose a new way how it can in principle be overcome. In (...) particular, we propose to replace strict supervenience in the assumption that the mental supervenes on the physical by probabilistic supervenience and show how this move has the potential to license the inference to mental causation. Finally, we argue that probabilistic supervenience captures some of the most important intuitions that strict supervenience captures and discuss possible objections to weakening strict supervenience in the way we suggest. (shrink)

How do words mean? What is the nature of meaning? How can we grasp a word's meaning? The frame-semantic approach developed in this book offers some well-founded answers to such long-standing, but still controversial issues. Following Charles Fillmore's definition of frames as both organizers of experience and tools for understanding, the monograph attempts to examine one of the most important concepts of Cognitive Linguistics in more detail. The point of departure is Fillmore's conception of "frames of understanding" - an approach (...) to (cognitive) semantics that Fillmore developed from 1975 to 1985. The envisaged Understanding Semantics ("U-Semantics") is a semantic theory sui generis whose significance for linguistic research cannot be overestimated. In addition to its crucial role in the development of the theoretical foundations of U-semantics, corpus-based frame semantics can be applied fruitfully in the investigation of knowledge-building processes in text and discourse. (shrink)

Scotland has played an immense role in European high culture through the centuries, and among its cultural links none have been greater than those with France. This book shows that the links with France stretch back deep into the Middle Ages, and continue without a break into the 18th century, the Age of Enlightenment.

This article suggests an iconic turn in cultural sociology. Icons can be seen, it is argued, as symbolic condensations that root social meanings in material form, allowing the abstractions of cognition and morality to be subsumed, to be made invisible, by aesthetic shape. Meaning is made iconically visible, in other words, by the beautiful, sublime, ugly, or simply by the mundane materiality of everyday life. But it is via the senses that iconic power is made. This new approach to meaning (...) is compared with others — with materialism, semiotics, aestheticism, moralism, realism, and spiritualism. (shrink)

Commentaries on Aristotle's writings have been produced since the 2nd century AD. This edition contains Greek commentaries on his work from the 3rd to the 8th centuries AD by, among others, Alexander of Aphrodiensias, Themistios, Joh. Philoponus, Simplicius in Greek.

The posterior cortex, hippocampus, and prefrontal cortex in the Leabra architecture are specialized in terms of various neural parameters, and thus are predilections for learning and processing, but domain-general in terms of cognitive functions such as face recognition. Also, these areas are not encapsulated and violate Fodorian criteria for modularity. Anderson's terminology obscures these important points, but we applaud his overall message.

Biblical Christianity should be a powerful, life-forming, paradigm-shifting experience leading to increasing levels of Christlikeness. Unfortunately, the experience of many Christians today is far short of the transformation described in Scripture. This article reports on a portion of mixed-methods research examining the transformative learning reported by alumni of a 22-lesson discipleship process called the Immersion Experience by Aphesis Group Ministries. Holistic spiritual health involves listening to our emotions, confronting toxic shame, addressing childhood defenses, and untangling our distorted spirituality.

Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., “Intuitionistic logic is correct” or “The law of excluded middle holds”) into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical interpretation of the (...) connectives) and one for “universal” consequence (truth preservation under any interpretation). The sequel to this paper explores stronger logics that are sound and complete over various restricted classes of models as well as languages with hyperintensional operators. (shrink)

Writing in the cosmopolitan metropolis of Baghdad, Alfarabi (870-950) is unique in the history of premodern political philosophy for his extensive discussion of the nation, or Umma in Arabic. The term Umma may be traced back to the Qur'ān and signifies, then and now, both the Islamic religious community as a whole and the various ethnic nations of which that community is composed, such as the Turks, Persians, and Arabs. Examining Alfarabi's political writings as well as parts of his logical (...) commentaries, his book on music, and other treatises, Alexander Orwin contends that the connections and tensions between ethnic and religious Ummas explored by Alfarabi in his time persist today in the ongoing political and cultural disputes among the various nationalities within Islam. According to Orwin, Alfarabi strove to recast the Islamic Umma as a community in both a religious and cultural sense, encompassing art and poetry as well as law and piety. By proposing to acknowledge and accommodate diverse Ummas rather than ignoring or suppressing them, Alfarabi anticipated the contemporary concept of "Islamic civilization," which emphasizes culture at least as much as religion. Enlisting language experts, jurists, theologians, artists, and rulers in his philosophic enterprise, Alfarabi argued for a new Umma that would be less rigid and more creative than the Muslim community as it has often been understood, and therefore less inclined to force disparate ethnic and religious communities into a single mold. Redefining the Muslim Community demonstrates how Alfarabi's judicious combination of cultural pluralism, religious flexibility, and political prudence could provide a blueprint for reducing communal strife in a region that continues to be plagued by it today. (shrink)

Das Bild vom glaubwürdigen Wissenschaftler? vom Universalgelehrten der Renaissance zu modernen Laborspezialist*innen - ist ein kulturelles Konstrukt, das die Ansprüche seiner Zeit widerspiegelt. Wie es entsteht, wird im Galvanismusdiskurs um 1800 deutlich.Dieser Band beschäftigt sich mit den Fragen: Wer gilt um 1800 als Naturwissenschaftler? Wie findet man als junger Forscher Aufnahme in die wissenschaftliche Gemeinschaft? Und worin manifestieren sich die wissenschaftskulturellen Unterschiede in Deutschland und Großbritannien zu Beginn des 19. Jahrhunderts? Anhand der frühen Publikationen der jungen aufstrebenden Naturforscher Alexander (...) von Humboldt, Johann Wilhelm Ritter und Christian Heinrich Pfaff sowie ihrer britischen Kollegen untersucht der Autor die Konstruktion vom modernen Naturwissenschaftler durch die wissenschaftliche Gemeinschaft. (shrink)

Ellen Ripley stands out from the ordinary, stereotypical women in horror and science fiction movies up until the release of Alien in 1979. It isn't hard to interpret Ripley's fight against the Xenomorphs as a metaphor for the feminist struggle against sexual violence directed at women, or to see her actions as violent opposition to those who would deny her sexual self‐determination. Proponents of care‐focused approaches observe that women have a special way of moral reasoning, whereas status‐oriented thinkers seek to (...) overcome gender‐based inequalities and unjust social relationships through criticizing status differences between men and women, like stereotypes and differences in pay for the same work. Two brief examples from Aliens illustrate the difference between these approaches. This chapter considers whether Ripley exercises a feminist ethics of care. In the last scene of Alien, Ripley's strong identification with her professional role shows itself again when she makes a final entry in the Nostromo's log. (shrink)

Background -- Continental drift : a threat to the establishment -- Evolution and creationism : science vs religion -- Dietary fat : nutritional politics -- Climate change : environmental politics -- Vaccination : exploitation of fear -- Gmo foods : fear of a frankenstein -- Science under attack.

Nahezu jede naturwissenschaftliche Epoche befasste sich mit der Frage, ob oder unter welchen Umstanden der Mensch als willensfrei und mental verursachend beschrieben werden kann. Was zwischen Descartes, den Influxionisten, Husserl und der modernen Neurophysiologie zu verhandeln gewesen ware, will somit als Leit- und Grundmotiv der Fragen nach mentaler Verursachung und Willensfreiheit immer wieder in die Welt treten. Neu sind heute aber das Vokabular und die Daten, die der Gegenwartsdebatte ihre Gestalt verleihen. In diesem Zusammenhang wird insbesondere Libets Experiment zur Willkurmotorik (...) als empirisch eingelautetes "Ende der mentalen Verursachung" ins Treffen gefuhrt. In diesem Buch werden diese Befunde diskutiert und allgemeiner die Rolle, die das Bereitschaftspotential in Hinblick auf intentionale Handlungen einnimmt. Diese Diskussion zeigt, dass die freiheitsskeptische Deutung der Befunde von Libet (und einiger Nachfolgestudien) einer Analyse der Gesamtbefunde nicht standhalten kann. (shrink)

Lazarus Revived shows how two thought experiments provide the foundation for arguments for the existence of conscious life after death. The theories of pluriverses and the Big Bang are examined and a substitute equation for E=MC² is presented.