- Geschichte und Entwicklung des Islams von den Anfangen zur Weltreligion - Koranauslegungen und Glaubenstraditionen, Rechte und Pflichten der Glaubigen - Verbreitung im Abendland - Politik und Religion im Islam: Einheit oder Widerspruch? Toleranz oder Terrorismus? - Kulturtransfer und politischer Austausch: Erfahrung des Fremden in West und Ost - Kunst und Architektur im Islam".

Name der Zeitschrift: Das Mittelalter Jahrgang: 18 Heft: 2 Seiten: 40-54.

How are the various classically equivalent definitions of compactness for metric spaces constructively interrelated? This question is addressed with Bishop-style constructive mathematics as the basic system – that is, the underlying logic is the intuitionistic one enriched with the principle of dependent choices. Besides surveying today's knowledge, the consequences and equivalents of several sequential notions of compactness are investigated. For instance, we establish the perhaps unexpected constructive implication that every sequentially compact separable metric space is totally bounded. As a by-product, (...) the fan theorem for detachable bars of the complete binary fan proves to be necessary for the unit interval possessing the Heine-Borel property for coverings by countably many possibly empty open balls. (shrink)

This reissue of his collection of early essays, Logico-Linguistic Papers, is published with a brand new introduction by Professor Strawson but, apart from minor ...

A historical investigation of the exclusion of Africa and Asia from modern histories of philosophy.

The aim of this chapter is to explore and examine what hermeneutic methods can and should be summoned in order to interpret critically an intriguing yet endlessly puzzling sentence in the “Genjōkōan” (現成公案) fascicle of Sōtō sect founder Dōgen’s (道元, 1200–1253) Shōbōgenzō (正法眼蔵). The source material deals with the way perspectives shift dramatically “when riding a boat out to sea, where mountains can no longer be seen (yamanaki kaichū 山なき海中)”? The analogy of sailing past the horizon, so that any trace (...) of land is not visible, and one feels temporarily encircled by the ocean with no other frame of reference available, raises key phenomenological issues regarding the innate partiality or insufficiency of human perception in connection to the Zen goal of awakening to a holistic standpoint that is devoid of divisibility but incorporates an array of standpoints. This passage has been interpreted in diverse ways since the time of early medieval commentaries by Senne and Kyōgō and by Edo-period Sōtō scholiasts, as well as in modern times by various Japanese philosophers and researchers of Dōgen’s texts. (shrink)

A complete system of classical Aristotelian logic intended for honors high school and college.

Ohne Rücksicht auf disziplinäre Schranken bringt dieses Buch verschiedene nicht-reduktionistische Lerntheorien miteinander ins Gespräch. In einem offenen Diskurs, der die Konzepte zueinander in Beziehung setzt, werden die unterschiedlichen Perspektiven kritisch abgewogen und hinsichtlich ihrer Stärken und Schwächen diskutiert.

Delo se loteva vprašanja aktualnosti pojma subjekta v filozofiji in politiki skozi analizo tistih avtorjev, ki so ga domnevno najbolj radikalno pokopali: pokaže, da vznik radikalno novega in problematika subjekta zavzema osrednje mesto v Deleuzovi filozofiji, kakor tudi v Lyotardovi pozni misli posvečeni praznini, v Foucaultovi obravnavi biopolitike in biooblasti, v delu Negrija in Hardta o Imperiju, ter nazadnje v Badioujevi predelavi temeljnih filozofskih kategorij biti, resnice in subjekta, na osnovi katerih je dandanes znova možna renesansa filozofije. Ta ima po (...) Badiouju štiri razsežnosti, ki se v delu Vznik subjekta nenehno prepletajo: »V osnovi želja filozofije implicira razsežnost upora: ni filozofije brez nezadovoljstva mišljenja v njegovem soočenju s svetom, kakršen je. Pa vendar želja filozofije vključuje tudi logiko: to je, prepričanje v moč argumenta in uma.«. (shrink)

Machine intelligence already helps medical staff with a number of tasks. Ethical decision-making, however, has not been handed over to computers. In this proof-of-concept study, we show how an algorithm based on Beauchamp and Childress’ prima-facie principles could be employed to advise on a range of moral dilemma situations that occur in medical institutions. We explain why we chose fuzzy cognitive maps to set up the advisory system and how we utilized machine learning to train it. We report on the (...) difficult task of operationalizing the principles of beneficence, non-maleficence and patient autonomy, and describe how we selected suitable input parameters that we extracted from a training dataset of clinical cases. The first performance results are promising, but an algorithmic approach to ethics also comes with several weaknesses and limitations. Should one really entrust the sensitive domain of clinical ethics to machine intelligence? (shrink)

The relationship of part to whole is one of the most fundamental there is; this is the first and only full-length study of this concept. This book shows that mereology, the formal theory of part and whole, is essential to ontology. Peter Simons surveys and criticizes previous theories, especially the standard extensional view, and proposes a more adequate account which encompasses both temporal and modal considerations in detail. 'Parts could easily be the standard book on mereology for the next (...) twenty or thirty years.' Timothy Williamson, Grazer Philosophische Studien. (shrink)

Kant is well known for his restrictive conception of proper science. In the present paper I will try to explain why Kant adopted this conception. I will identify three core conditions which Kant thinks a proper science must satisfy: systematicity, objective grounding, and apodictic certainty. These conditions conform to conditions codified in the Classical Model of Science. Kant’s infamous claim that any proper natural science must be mathematical should be understood on the basis of these conditions. In order to substantiate (...) this reading, I will show that only in this way it can be explained why Kant thought (1) that mathematics has a particular foundational function with respect to the natural sciences and (2) as such secures their scientific status. (shrink)

In 1972, the young philosopher Peter Singer published "Famine, Affluence and Morality," which rapidly became one of the most widely discussed essays in applied ethics. Through this article, Singer presents his view that we have the same moral obligations to those far away as we do to those close to us. He argued that choosing not to send life-saving money to starving people on the other side of the earth is the moral equivalent of neglecting to save drowning children (...) because we prefer not to muddy our shoes. If we can help, we must--and any excuse is hypocrisy. Singer's extreme stand on our moral obligations to others became a powerful call to arms and continues to challenge people's attitudes towards extreme poverty. Today, it remains a central touchstone for those who argue we should all help others more than we do. As Bill and Melinda Gates observe in their foreword, in the age of today's global philanthropy, Singer's essay is as relevant now as it ever was. This attractively packaged, concise edition collects the original article, two of Singer's more recent popular writings on our obligations to others around the world, and a new introduction by Singer that discusses his current thinking. (shrink)

Confirmation bias is one of the most widely discussed epistemically problematic cognitions, challenging reliable belief formation and the correction of inaccurate views. Given its problematic nature, it remains unclear why the bias evolved and is still with us today. To offer an explanation, several philosophers and scientists have argued that the bias is in fact adaptive. I critically discuss three recent proposals of this kind before developing a novel alternative, what I call the ‘reality-matching account’. According to the account, confirmation (...) bias evolved because it helps us influence people and social structures so that they come to match our beliefs about them. This can result in significant developmental and epistemic benefits for us and other people, ensuring that over time we don’t become epistemically disconnected from social reality but can navigate it more easily. While that might not be the only evolved function of confirmation bias, it is an important one that has so far been neglected in the theorizing on the bias. (shrink)

This chapter provides an introduction to higher-order metaphysics as well as to the contributions to this volume. We discuss five topics, corresponding to the five parts of this volume, and summarize the contributions to each part. First, we motivate the usefulness of higher-order quantification in metaphysics using a number of examples, and discuss the question of how such quantifiers should be interpreted. We provide a brief introduction to the most common forms of higher-order logics used in metaphysics, and indicate a (...) number of questions which can be raised in such systems using logical vocabulary alone. Using a further example, we return to applications of higher-order logics in metaphysics. We also mention key developments in the history of higher-order logic as it pertains to metaphysics. Finally, we mention certain arguments which have been raised against the use of higher-order logic, and some ways of responding to them. (shrink)

Acknowledgments 1. Culture Is Essential 2. Culture Exists 3. Culture Evolves 4. Culture Is an Adaptation 5. Culture Is Maladaptive 6. Culture and Genes Coevolve 7. Nothing about Culture Makes Sense except in the Light of Evolution.

The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance, minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to explicit substitution, etc. The isomorphism has many aspects, even at the syntactic level: formulas correspond to types, proofs correspond to terms, provability corresponds to inhabitation, proof normalization corresponds to (...) term reduction, etc. But there is more to the isomorphism than this. For instance, it is an old idea---due to Brouwer, Kolmogorov, and Heyting---that a constructive proof of an implication is a procedure that transforms proofs of the antecedent into proofs of the succedent; the Curry-Howard isomorphism gives syntactic representations of such procedures. The Curry-Howard isomorphism also provides theoretical foundations for many modern proof-assistant systems (e.g. Coq). This book give an introduction to parts of proof theory and related aspects of type theory relevant for the Curry-Howard isomorphism. It can serve as an introduction to any or both of typed lambda-calculus and intuitionistic logic. Key features - The Curry-Howard Isomorphism treated as common theme - Reader-friendly introduction to two complementary subjects: Lambda-calculus and constructive logics - Thorough study of the connection between calculi and logics - Elaborate study of classical logics and control operators - Account of dialogue games for classical and intuitionistic logic - Theoretical foundations of computer-assisted reasoning · The Curry-Howard Isomorphism treated as the common theme. · Reader-friendly introduction to two complementary subjects: lambda-calculus and constructive logics · Thorough study of the connection between calculi and logics. · Elaborate study of classical logics and control operators. · Account of dialogue games for classical and intuitionistic logic. · Theoretical foundations of computer-assisted reasoning. (shrink)

Medieval philosophers had a predilection for using the correlative pair father and son as an illustrative example in their discussions of relations. The use of this example has sometimes led to charges of confusion on the grounds that fatherhood and sonship are not proper converses. The present article shows how a group of twelfth-century philosophers from the milieu around the logician Alberic of Paris handled the problems arising from the use of this illustrative example which they had inherited from their (...) ancient and late-ancient predecessors. (shrink)

This article analyses the relationship between the Belgian government and the national Nuclear Research Centre (SCK CEN) in the renegotiation of the mission and organization of Big Science in Belgium. While the founding decades of nuclear laboratories are often characterized by ever-increasing budgets and the establishment of large infrastructure, I show that downsizing or transforming Big Science demanded a new form of politics on the organization of science. Drawing on archival material, this article will demonstrate how the mission and management (...) of SCK CEN were critically followed by a variety of stakeholders. Furthermore, the Belgian government explicitly aimed to allow corporate principles to guide the reorganization of the research centre by hiring consultants from Arthur Andersen. This episode in the history of nuclear research invites historians of science to reflect upon both the politics of Big Science in an era in which its original principles were fundamentally questioned and the historical development of new norms and expectations attached to this phenomenon. (shrink)

The JSTOR Archive is a trusted digital repository providing for long-term preservation and access to leading academic journals and scholarly literature from around the world. The Archive is supported by libraries, scholarly societies, publishers, and foundations. It is an initiative of JSTOR, a not-for-profit organization with a mission to help the scholarly community take advantage of advances in technology. For more information regarding JSTOR, please contact [email protected].

In this short but meaty book, Peter Unger questions the objective answers that have been given to central problems in philosophy. As Unger hypothesizes, many of these problems are unanswerable, including the problems of knowledge and scepticism, the problems of free will, and problems of causation and explanation. In each case, he argues, we arrive at one answer only relative to an assumption about the meaning of key terms, terms like "know" and like "cause," even while we arrive at (...) an opposite answer relative to quite different assumptions, but equally arbitrary assumptions, about what the key terms mean. (shrink)

Members of the field of philosophy have, just as other people, political convictions or, as psychologists call them, ideologies. How are different ideologies distributed and perceived in the field? Using the familiar distinction between the political left and right, we surveyed an international sample of 794 subjects in philosophy. We found that survey participants clearly leaned left (75%), while right-leaning individuals (14%) and moderates (11%) were underrepresented. Moreover, and strikingly, across the political spectrum, from very left-leaning individuals and moderates to (...) very right-leaning individuals, participants reported experiencing ideological hostility in the field, occasionally even from those from their own side of the political spectrum. Finally, while about half of the subjects believed that discrimination against left- or right-leaning individuals in the field is not justified, a significant minority displayed an explicit willingness to discriminate against colleagues with the opposite ideology. Our findings are both surprising and important, because a commitment to tolerance and equality is widespread in philosophy, and there is reason to think that ideological similarity, hostility, and discrimination undermine reliable belief formation in many areas of the discipline. (shrink)

Do responsibility voids exist? That is, are there situations in which the group is collectively morally responsible for some outcome although no member can be held individually morally responsible for it? To answer these questions, I draw a distinction between competitive and cooperative decision contexts based on the team-reasoning account of cooperation. Accordingly, I provide a reasoning-based analysis of cooperation, competition, moral responsibility, and, last, potential responsibility voids. I then argue that competitive decision contexts are free of responsibility voids. The (...) conditions for the existence of responsibility voids in cooperative decision contexts depend on the type of uncertainty the group faces, either external or coordination uncertainty. (shrink)

Narrative thinking -- Narrative thinking about one's past -- Grief : a case study -- Narrative thinking about one's future -- Self-forgiveness : a case study -- The narrative sense of self -- Narrative, truth, life, and fiction.

This paper examines two strands of literature regarding economic models of cooperation. First, payoff transformation theories assume that people may not be exclusively motivated by self-interest, but also care about equality and fairness. Second, team reasoning theorists assume that people might reason from the perspective of the team, rather than an individualistic perspective. Can these two theories be unified? In contrast to the consensus among team reasoning theorists, I argue that team reasoning can be viewed as a particular type of (...) payoff transformation. However, I also demonstrate that many payoff transformations yield actions that team reasoning rules out. (shrink)

Should one trust experts? My answer to this question is a qualified ‘no’. In this paper I explore the conditions under which it is rational to trust and defer to experts, and those under which it may be rational to refrain from doing so. I draw on two important factors for an actor’s trust in a partner: trust depends on the partner’s competence and on the partner’s interests. I propose that the conditions under which it is rational to trust and (...) defer to experts depend on the competences of the layperson and the expert, and the degree of interest alignment. I present a model that demonstrates that it can be practically infeasible and even logically impossible to determine the expert’s level of competence and the degree of interest alignment. Although it may sound pessimistic that one can rationally refrain from trusting experts, I will also explore some more optimistic conclusions. (shrink)

Martin Heidegger regnes som den mest innflytelsesrike filosofen i det 20. århundre. Det er også kjent at han hadde nazistiske sympatier og var medlem av NSDAP i perioden 1933-1945. Utgivelsen av Svarte hefter (Schwarze Hefte) - hans filosofiske dagbøker skrevet i perioden fra 1931-1975 - gir et mer detaljert bilde av Heideggers nazisme. Vi får en tydelig dokumentasjon ikke bare av hans dyrking av Hitler og nasjonalsosialismen, men også av et verdenssyn preget av antisemittisme. I heftene kan vi lese flere (...) konspiratoriske passasjer om en ±metafysisk jødedom?, der jødene er representanter for en verdensomspennende instrumentell rasjonalitet som har banet vei for materialisme og kapitalisme.I lys av dette må vi revurdere vårt forhold til Heidegger som filosof og stille oss følgende spørsmål: Skal vi lese alt Heidegger skrev, i lys av hans tid som nazist? Eller er tenkningen av et slikt format at den uansett går fri fra Heideggers politiske engasjement?Denne antologien er et forsøk på å gå inn på disse spørsmålene. Foruten oversettelser av blant annet deler av Svarte hefter fra tysk til norsk, får vi perspektiver fra en rekke internasjonalt anerkjente Heidegger-forskere som analyserer Heideggers politiske engasjement, antisemittisme, sivilisasjonskritikk og religionskritikk. (shrink)

Historically, blatantly untrue and defamatory conspiracy theories had disastrous consequences for those who were portrayed in them as evil-doers. At the same time, conspiratorial agreements at the expense of the common good between powerful groups in society do exist and have occasionally been uncovered. Against this background, the article describes different ways in which critical theory has looked at conspiracies. First, an attempt is made to show that Max Horkheimer's notes on `rackets' are an ambitious but flawed attempt to theorize (...) conspiracy. It is argued that Horkheimer's theory is imbued by the very conspiracy thinking that he proposed to criticize. Second, the author suggests recovering Franz Neumann's concept of `political alienation' as a more appropriate starting point to think critically about the ethical and epistemological questions raised by conspiracy theories. (shrink)

While Hermann Levin Goldschmidt didn’t read Yiddish anarchists, there seems to have been a convergent evolution in their thinking. Goldschmidt’s looking up to Jewish lore as a source of liberating creativity is commonly encountered in Yiddish anarchist texts. His view of action as a constant response to internal and external challenges in the struggle for an open future is developed by Isaac Nachman Steinberg on the basis of nineteenth-century vitalism. Goldschmidt’s theory of anarchist individualism as willed self-limiting solidarity has a (...) compelling parallel in Hillel Solotaroff’s view of history. His use of impressionism and photography to eternalize the immediacy of human actuality is akin to Rudolf Rocker’s championing of decadent literature. In both cases, the goal of anarchism is not a dictatorship of the former downtrodden, but a continuous and contradictory evolution of freedom in ever-changing contexts. (shrink)

The norm of assertion, to be in force, is a social norm. What is the content of our social norm of assertion? Various linguistic arguments purport to show that to assert is to represent oneself as knowing. But to represent oneself as knowing does not entail that assertion is governed by a knowledge norm. At best these linguistic arguments provide indirect support for a knowledge norm. Furthermore, there are alternative, non-normative explanations for the linguistic data (as in recent work from (...) Van Elswyk). Direct arguments would rely on normative judgments about the permissibility or impermissibility of assertions with and without the speaker knowing the content asserted. John Turri's work experimental results purport to show that our norm of assertion is factive, and probably knowledge. But as a number of recent experimentalists (Kneer, Reuter and Broessel, Marsili and Wiegmann) have shown, Turri's results rely on the problemmatic use of 'should' as in 'Maria should assert that she owns a 1990 watch.' Correcting for this, these experimentalists provide strong evidence that our norm of assertion is not factive. The standard reply to evidence like this from the assertion of unlucky falsehoods is the excuse maneuver. But Marsili and Wiegmann, following Turri's protocol for testing for excuse validation, show that participants who judge that assertions unlucky falsehoods are permissible are not guilty of excuse validation. Given our current understanding of the experimental evidence, knowledge is not our norm of assertion. (shrink)

Metz holds that we can use African communal ethics to constitute global economic practices such as appropriation, production, distribution and consumption in such a way that promotes harmonious relations. In this article, I will show that Metz’s reformist approach to constituting the global economic practices is problematic as it fails to deal with the fundamental problem that pertains to a racialised world order that is structurally configured by coloniality of being. I will show that reformist approaches such as Metz’s use (...) of African communal ethics to constitute global economic practices in a way that promotes harmonious relations are undesirable attempts that are opposed and curtailed by a structural racialised logic/ontology of the world that governs and supervises the evolution of the world economic structures and practices in a way which undermines harmonious relations and in a way which causes economic marginalisation and impoverishment of historically disadvantaged indigenous Africans. (shrink)

The aim of the article is to give an outline of a value theory suitable for climate ethics, based on a perfectionist account on the convergence between prudential values and moral responsibility. I claim that such a convergence may generate a system of values that specify norms and obligations and attribute responsibility towards future generations, and thereby provides us with a measure of acceptable political action.