In this position paper, we describe a number of methodological and philosophical challenges that arose within our interdisciplinary Digital Humanities project CatVis, which is a collaboration between applied geometric algorithms and visualization researchers, data scientists working at OCLC, and philosophers who have a strong interest in the methodological foundations of visualization research. The challenges we describe concern aspects of one single epistemic need: that of methodologically securing (an increase in) trust in visualizations. We discuss the lack of ground truths in (...) the (digital) humanities and argue that trust in visualizations requires that we evaluate visualizations on the basis of ground truths that humanities scholars themselves create. We further argue that trust in visualizations requires that a visualization provides provable guarantees on the faithfulness of the visual representation and that we must clearly communicate to the users which part of the visualization can be trusted and how much. Finally, we discuss transparency and accessibility in visualization research and provide measures for securing transparency and accessibility. (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)

The paper discusses the epistemological basis for how you know what you are doing intentionally (and why). In particular, it challenges and ulimately rejects the claim made by Sarah K. Paul that such knowledge has an inferential basis.

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)

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)

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)

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)

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)

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)

This article explores Professor T.F.J. Dreyer's definition for preaching that he developed for preaching in the Netherdutch Reformed Church of Africa (NRCA) three decades ago. Dreyer's own homiletical perspective towards preaching developed continuously through numerous philosophical paradigm shifts since 1989. His basis theory plays an important role in the theological training of the church's students today. The aim of the research is to reflect on the changes, following Dreyer's homiletical development over three decades. The research discovers a strong prophetical character (...) in the homiletical approach of Dreyer and concludes by asking how a kairos moment of prophetical speech can benefit the NRCA. CONTRIBUTION: This research hopes to contribute to the existing research that was done in the homiletical field of traditional Afrikaans-speaking churches in South Africa. The research also contributes by identifying some homiletical perspectives that can help the church to proclaim the gospel in times of transition. (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)

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)

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.

This paper proposes a logical framework for studying the structure of moral responsibility for outcomes. The analysis incorporates two vital features: an agency condition and a negative condition of an alternative possibility. The logical language allows us to identify and disambiguate seven plausible criteria for moral responsibility. To accommodate interdependent decision contexts, the semantics are given in terms of so-called responsibility games. The logical framework enables us to classify the logical relations between these seven criteria for moral responsibility. Although all (...) seven criteria are logically distinct, I also identify circumstances where the seven criteria locally reduce to only three. (shrink)

Many philosophers are convinced that rationality dictates that one’s overall set of intentions be consistent. The starting point and inspiration for our study is Bratman’s planning theory of intentions. According to this theory, one needs to appeal to the fulfilment of characteristic planning roles to justify norms that apply to our intentions. Our main objective is to demonstrate that one can be rational despite having mutually inconsistent intentions. Conversely, it is also shown that one can be irrational despite having a (...) consistent overall set of intentions. To overcome this paradox, we argue that it is essential for a successful planning system that one’s intentions are practically consistent rather than being consistent or applying an aggregation procedure. Our arguments suggest that a new type of norm is needed: whereas the consistency requirement focuses on rendering the contents of one’s intentions consistent, our new practical consistency requirement demands that one’s intentions be able to simultaneously and unconditionally guide one’s action. We observe that for intentions that conform to the ‘own-action condition’, the practical consistency requirement is equivalent to the traditional consistency requirement. This implies that the consistency requirement only needs to be amended in scenarios of choice under uncertainty. (shrink)

Mahoney undertakes the wide-reaching project of providing foundations for the social sciences by building on the set-theoretic framework. I enjoyed reading the book and laud the accessible writing style and the wealth of examples from case studies, making it an engaging read despite its methodological aim. The main aims of the book are threefold: (1) to introduce the theory of scientific constructivism, (2) to introduce the set-theoretic methodology that captures the logic of scientific-constructivist research, and (3) to provide and develop (...) practical tools for researchers in the social sciences. On my view, the book succeeds on all three counts. I will elaborate on each of these claims. (shrink)

Methodological individualists often claim that any social phenomenon can ultimately be explained in terms of the actions and interactions of individuals. Any Nagelian version of methodological individualism requires that there be bridge laws that translate social statements into individualistic ones. We show that Nagelian individualism can be put to logical scrutiny by making the relevant social and individualistic languages fully explicit and mathematically precise. In particular, we prove that the social statement that a group of (at least two) agents performs (...) a deontically admissible group action cannot be expressed in a well-established deontic logic of agency that models every combination of actions, omissions, abilities, and obligations of finitely many individual agents. (shrink)

A comprehensive treatment of the shared traditions of Chan, Sŏn, and Zen in dynamic interaction across East Asia, acknowledging the changing and growing parameters of the field of Zen studies.

This paper explores the analysis of ability, where ability is to be understood in the epistemic sense—in contrast to what might be called a causal sense. There are plenty of cases where an agent is able to perform an action that guarantees a given result even though she does not know which of her actions guarantees that result. Such an agent possesses the causal ability but lacks the epistemic ability. The standard analysis of such epistemic abilities relies on the notion (...) of action types—as opposed to action tokens—and then posits that an agent has the epistemic ability to do something if and only if there is an action type available to her that she knows guarantees it. We show that these action types are not needed: we present a formalism without action types that can simulate analyzes of epistemic ability that rely on action types. Our formalism is a standard epistemic extension of the theory of “seeing to it that”, which arose from a modal tradition in the logic of action. (shrink)

In welchem Verhaltnis steht die Seelenlehre zur Kosmologie in Platons Phaidon?

This book focuses on the problem of responsibility voids: these are cases where responsibility for a morally undesirable outcome cannot be attributed to any of the involved agents. Responsibility voids are thought to occur in collective decision-making and in the context of artificial intelligent systems. In these cases, philosophers worry that there is a shortfall of moral responsibility. In particular, such voids are often assumed to justify a notion of collective responsibility that cannot be reduced to individual responsibility. One of (...) the aims of the book is to study how collective responsibility and joint action relate to individual responsibility and individual actions. The book offers a unifying framework for modelling moral responsibility by drawing from modal logic and game theory. -/- The book investigates the possibility and scope of the problem of responsibility voids. One of its characteristics is its pluralistic perspective on moral responsibility: in contrast to giving a unique and all-encompassing definition of it, the book makes progress by spelling out and modelling several conceptions of moral responsibility. One of the appealing features of the book is that a relatively small range of models is used to investigate a variety of conceptions of moral responsibility. The unifying framework can thus be used to characterize the conditions under which responsibility voids are ruled out. (shrink)

Chan Buddhist discourse refers repeatedly to many kinds of animals, particularly dogs and cats, as symbols or in fables in order to comment ironically on human attitudes and behavior. These creatures are appreciated for their positive qualities yet are also scathingly criticized for representing a lack of discipline and self-control. This paper considers how a couple of Chan gongan cases featuring animals are related to the Mahayana doctrine of universal Buddha-nature. Does Chan accept and approve or reject and refute the (...) orthodox view, does it craft a standpoint of ironic inconclusiveness that deliberately bypasses and reorients traditional doctrinal disputes, or do these cases primarily express an allegorical message regarding possibilities or challenges for humans seeking to attain an experience of enlightenment? (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Zen War StoriesSteven HeineZen War Stories. By Brian Daizen Victoria. London and New York: Routledge-Curzon, 2003. Pp. xviii + 268. Hardcover $124.95. Paper $34.95.Brian Daizen Victoria's Zen War Stories, following his highly acclaimed but also highly provocative Zen at War (Weatherhill, 1997), continues his withering attack on the embracing of wartime ideology by leading Zen masters and practitioners in Japan. Victoria seeks to show that the attitude characteristic (...) of numerous examples of prominent Zen monks and scholars was not simply a matter of benignly resisting, or even passively accepting, the rhetoric of Imperial Way Buddhism by clergy who were under pressure and powerless to stand up to the authorities. Nor was it an example of innocently recognizing historical and ideological affinities between Zen monastic discipline and military training.On the contrary, the Zen masters discussed here eagerly and enthusiastically endorsed some of the most excessive and reprehensible aspects of imperial ideology in the name of a corrupted vision of spiritual realization as a tool to spread the doctrine of the Greater East Asia Co-prosperity Sphere. They also used Zen wedded to hyper-nationalism and imperialism as a tool to misread the historical records of their own tradition and to help transport Japanese supremacy to China and Korea, while refusing to acknowledge or repent for their actions with the defeat of Japan. This outlook also infected numerous politicians and military figures, who turned to Buddhism as a way of explaining away or masking their roles leading up to, as well as during and after, World War II.In part 1 of Zen War Stories Victoria documents several masters who have become icons in the West for their apparent adherence to a Zen tradition linked with an ability to address contemporary culture. After showing in chapter 4 that Ōmori [End Page 345] Sōgen, praised for his prowess in swordsmanship and other arts, had a fascistic, "Mr. Hyde" side as manifested in the founding in 1932 of the Kinnō Ishin Dōmei (League for Loyalty to the Emperor and the Restoration), Victoria turns to the case of Yasutani Haku'un. In chapter 5, "Zen Master Dōgen Goes to War," we find that Yasutani, known as the teacher of Philip Kapleau and the inspiration for The Three Pillars of Zen, wanted to smash all universities for being traitors. He was a fanatical militarist who "transformed the life and thought of Zen Master Dōgen (1200-1253), the thirteenth-century founder of the Sōtō Zen sect in Japan, into a propaganda tool for Japanese militarism" (p. 68).In particular, Yasutani tried to argue that Dōgen's famed pilgrimage to Song China in 1223 was triggered not by a longing for the Buddhist Dharma but by a disgust with the new shogunate and an infatuation with preserving the Imperial House. According to Victoria, Yasutani's corrupted spirituality did not end with a support for militarism. He was also even more "ethnic chauvinist, sexist, and anti-Semitic" (p. 68) than his teacher Harada Daiun Sōgaku, whose "most memorable wartime quote is: '[If ordered to] march: tramp, tramp, or shoot: bang, bang. This is the manifestation of the highest Wisdom [of enlightenment]"' (pp. 66-67).After discussing in chapter 7, "Zen 'Selflessness' in Japanese Militarism," how Zen's historical relation to the samurai was misinterpreted to support the imperial ideology concerning the acceptance of death by D. T. Suzuki and other prominent representatives of Zen, including former Eiheiji temple abbot Kumazawa Taizen, part 2 takes up examples of the involvement with Buddhist thought by military and political leaders. While this section is less devastating as a critique of Zen than of Japanese Buddhism and society in general, Victoria explains in chapter 10, "Buddhism-The Last Refuge of War Criminals," how easily the moral basis of religion can be distorted and subverted. For example, as recollected by Buddhist studies scholar Hanayama Shinshō, seven Class A war criminals who had been condemned to death continued, while on death row, to cling hypocritically to Buddhism to find some feeling of solace. For instance, Hirota Kōki never abandoned his attachment to Zen and the warrior class and... (shrink)