Computer assisted theorem proving is an increasingly important part of mathematical methodology, as well as a long-standing topic in artificial intelligence (AI) research. However, the current generation of theorem proving software have limited functioning in terms of providing new proofs. Importantly, they are not able to discriminate interesting theorems and proofs from trivial ones. In order for computers to develop further in theorem proving, there would need to be a radical change in how the software functions. Recently, machine learning results (...) in solving mathematical tasks have shown early promise that deep artificial neural networks could learn symbolic mathematical processing. In this paper, I analyze the theoretical prospects of such neural networks in proving mathematical theorems. In particular, I focus on the question how such AI systems could be incorporated in practice to theorem proving and what consequences that could have. In the most optimistic scenario, this includes the possibility of autonomous automated theorem provers (AATP). Here I discuss whether such AI systems could, or should, become accepted as active agents in mathematical communities. (shrink)

I identify two reasons for believing in the objectivity of mathematical knowledge: apparent objectivity and applications in science. Focusing on arithmetic, I analyze platonism and cognitive nativism in terms of explaining these two reasons. After establishing that both theories run into difficulties, I present an alternative epistemological account that combines the theoretical frameworks of enculturation and cumulative cultural evolution. I show that this account can explain why arithmetical knowledge appears to be objective and has scientific applications. Finally, I will argue (...) that, while this account is compatible with platonist metaphysics, it does not require postulating mind-independent mathematical objects. (shrink)

The basic human ability to treat quantitative information can be divided into two parts. With proto-arithmetical ability, based on the core cognitive abilities for subitizing and estimation, numerosities can be treated in a limited and/or approximate manner. With arithmetical ability, numerosities are processed (counted, operated on) systematically in a discrete, linear, and unbounded manner. In this paper, I study the theory of enculturation as presented by Menary (2015) as a possible explanation of how we make the move from the proto-arithmetical (...) ability to arithmetic proper. I argue that enculturation based on neural reuse provides a theoretically sound and fruitful framework for explaining this development. However, I show that a comprehensive explanation must be based on valid theoretical distinctions and involve several stages in the development of arithmetical knowledge. I provide an account that meets these challenges and thus leads to a better understanding of the subject of enculturation. (shrink)

Linnebo in 2018 argues that abstract objects like numbers are “thin” because they are only required to be referents of singular terms in abstraction principles, such as Hume's principle. As the specification of existence claims made by analytic truths (the abstraction principles), their existence does not make any substantial demands of the world; however, as Linnebo notes, there is a potential counter-argument concerning infinite regress against introducing objects this way. Against this, he argues that vicious regress is avoided in the (...) account of arithmetic based on Hume's principle because we are specifying numbers in terms of the concept of equinumerosity, or its ordinal equivalent. But far from being only a matter for philosophy, this implies a distinct empirical prediction: in cognitive development, the principle of equinumerosity is primary to number concepts. However, by analysing and expanding on the bootstrapping theory of Carey in 2009, I argue in this paper that there are good reasons to think that the development could be the other way around: possessing numerosity concepts may precede grasping the principle of equinumerosity. I propose that this analysis of early numerical cognition can also help us understand what numbers as thin objects are like, moving away from Platonist interpretations. (shrink)

Beck presents an outline of the procedure of bootstrapping of integer concepts, with the purpose of explicating the account of Carey. According to that theory, integer concepts are acquired through a process of inductive and analogous reasoning based on the object tracking system, which allows individuating objects in a parallel fashion. Discussing the bootstrapping theory, Beck dismisses what he calls the "deviant-interpretation challenge"—the possibility that the bootstrapped integer sequence does not follow a linear progression after some point—as being general to (...) any account of inductive learning. While the account of Carey and Beck focuses on the OTS, in this paper I want to reconsider the importance of another empirically well-established cognitive core system for treating numerosities, namely the approximate number system. Since the ANS-based account offers a potential alternative for integer concept acquisition, I show that it provides a good reason to revisit the deviant-interpretation challenge. Finally, I will present a hybrid OTS-ANS model as the foundation of integer concept acquisition and the framework of enculturation as a solution to the challenge. (shrink)

In this paper, I study the kind of questions we can ask about the existence of numbers. In addition to asking whether numbers exist, and how, I argue that there is also a third relevant question: why numbers exist. In platonist and nominalist accounts this question may not make sense, but in the psychologist account I develop, it is as well-placed as the other two questions. In fact, there are two such why-questions: the causal why-question asks what causes numbers to (...) exist and the teleological why-question asks for what purpose numbers exist. I argue that in a psychologist constructivist account, in which numbers are understood to exist as referents of a particular type of culturally shared concepts, both why-questions can get plausible answers. (shrink)

Why would we want to develop artificial human-like arithmetical intelligence, when computers already outperform humans in arithmetical calculations? Aside from arithmetic consisting of much more than mere calculations, one suggested reason is that AI research can help us explain the development of human arithmetical cognition. Here I argue that this question needs to be studied already in the context of basic, non-symbolic, numerical cognition. Analyzing recent machine learning research on artificial neural networks, I show how AI studies could potentially shed (...) light on the development of human numerical abilities, from the proto-arithmetical abilities of subitizing and estimating to counting procedures. Although the current results are far from conclusive and much more work is needed, I argue that AI research should be included in the interdisciplinary toolbox when we try to explain the development and character of numerical cognition and arithmetical intelligence. This makes it relevant also for the epistemology of mathematics. (shrink)

INTRODUCTION I. CETERIS PARIBUS LAWS An alleged law of nature—like Newton's law of gravitation—is said to be a ceteris paribus law if it does not hold under ...

In this paper I develop a philosophical account of actual mathematical infinity that does not demand ontologically or epistemologically problematic assumptions. The account is based on a simple metaphor in which we think of indefinitely continuing processes as defining objects. It is shown that such a metaphor is valid in terms of mathematical practice, as well as in line with empirical data on arithmetical cognition.

Following Marr’s famous three-level distinction between explanations in cognitive science, it is often accepted that focus on modeling cognitive tasks should be on the computational level rather than the algorithmic level. When it comes to mathematical problem solving, this approach suggests that the complexity of the task of solving a problem can be characterized by the computational complexity of that problem. In this paper, I argue that human cognizers use heuristic and didactic tools and thus engage in cognitive processes that (...) make their problem solving algorithms computationally suboptimal, in contrast with the optimal algorithms studied in the computational approach. Therefore, in order to accurately model the human cognitive tasks involved in mathematical problem solving, we need to expand our methodology to also include aspects relevant to the algorithmic level. This allows us to study algorithms that are cognitively optimal for human problem solvers. Since problem solving methods are not universal, I propose that they should be studied in the framework of enculturation, which can explain the expected cultural variance in the humanly optimal algorithms. While mathematical problem solving is used as the case study, the considerations in this paper concern modeling of cognitive tasks in general. (shrink)

How is knowledge of geometry developed and acquired? This central question in the philosophy of mathematics has received very different answers. Spelke and colleagues argue for a “core cognitivist”, nativist, view according to which geometric cognition is in an important way shaped by genetically determined abilities for shape recognition and orientation. Against the nativist position, Ferreirós and García-Pérez have argued for a “culturalist” account that takes geometric cognition to be fundamentally a culturally developed phenomenon. In this paper, I argue that (...) when understood as moderate versions supported by the state-of-the-art research, the nativist and culturalist views are in fact possible to reconcile. While Ferreirós and García-Pérez present the work of Spelke and colleagues as implying that geometric cognition is genetically determined, I argue that they fail to appreciate the role that Spelke and colleagues see for cultural factors. On this basis, I provide theoretical and terminological clarifications and show that moderate versions of the nativist and culturalist view are in fact consistent with each other. I then propose a unifying theoretical framework for future study that can integrate the two accounts in ontogeny by moving beyond the crude nature (nativism) vs. nurture (culturalism) dichotomy. (shrink)

The Turing test has a peculiar status in the artificial intelligence (AI) research community. On the one hand, it is presented as an important topic in virtually every AI textbook, and the research direction focused on developing AI systems that behave in human-like fashion is standardly called the “Turing test approach”. On the other hand, reports of computer programs passing the Turing test have had relatively little effect. Does this mean that the Turing test is no longer relevant as a (...) test, doomed to be a theoretical notion with little connection to AI practice? In this paper, I argue that there is one problem in particular with common traditional versions of the Turing test, namely their focus on deception. The criterion for passing the Turing test is standardly connected to an AI system’s ability to deceive the interrogator about its identity. But why should we connect intelligence to the ability deceive? Here I present a revised version of an intelligence test that is not based on deception. In what I call the Community-based intelligence test (CBIT), an AI is introduced to a community of human subjects. If after a sufficient number of interactions within that community the humans are not able to identify the AI system as a computer, it is considered to have passed CBIT. I discuss whether that should be enough to ascribe intelligence to the AI, and if not, what more would be needed? (shrink)

In Pantsar (2014), an outline for an empirically feasible epistemological theory of arithmetic is presented. According to that theory, arithmetical knowledge is based on biological primitives but in the resulting empirical context develops an essentially a priori character. Such contextual a priori theory of arithmetical knowledge can explain two of the three characteristics that are usually associated with mathematical knowledge: that it appears to be a priori and objective. In this paper it is argued that it can also explain the (...) ... (shrink)

In Pantsar, an outline for an empirically feasible epistemological theory of arithmetic is presented. According to that theory, arithmetical knowledge is based on biological primitives but in the resulting empirical context develops an essentially a priori character. Such contextual a priori theory of arithmetical knowledge can explain two of the three characteristics that are usually associated with mathematical knowledge: that it appears to be a priori and objective. In this paper it is argued that it can also explain the third (...) one: why arithmetical knowledge appears to be necessary. A Kripkean analysis of necessity is used as an example to show that a proper analysis of the relevant possible worlds can explain arithmetical necessity in a sufficiently strong form. (shrink)

How do we acquire the notions of cardinality and cardinal number? In the (neo-)Fregean approach, they are derived from the notion of equinumerosity. According to some alternative approaches, defended and developed by Husserl and Parsons among others, the order of explanation is reversed: equinumerosity is explained in terms of cardinality, which, in turn, is explained in terms of our ordinary practices of counting. In their paper, ‘Cardinality, Counting, and Equinumerosity’, Richard Kimberly Heck proposes that instead of equinumerosity or counting, cardinality (...) is derived from a cognitively earlier notion of _just as many_. In this paper, we assess Heck’s proposal in terms of contemporary theories of number concept acquisition. Focusing on bootstrapping theories, we argue that there is no evidence that the notion of _just as many_ is cognitively primary. Furthermore, since the acquisition of cardinality is an enculturated process, the cognitive primariness of these notions, possibly including _just as many_, depends on various external cultural factors. Therefore, being possibly a cultural construction, _just as many_ could be one among several notions used in the acquisition of cardinality and cardinal number concepts. This paper thus challenges those accounts which seek for a fundamental concept underlying all aspects of numerical cognition. (shrink)

Synthetic biologists try to engineer useful biological systems that do not exist in nature. One of their goals is to design an orthogonal chromosome different from DNA and RNA, termed XNA for xeno nucleic acids. XNA exhibits a variety of structural chemical changes relative to its natural counterparts. These changes make this novel information‐storing biopolymer “invisible” to natural biological systems. The lack of cognition to the natural world, however, is seen as an opportunity to implement a genetic firewall that impedes (...) exchange of genetic information with the natural world, which means it could be the ultimate biosafety tool. Here I discuss, why it is necessary to go ahead designing xenobiological systems like XNA and its XNA binding proteins; what the biosafety specifications should look like for this genetic enclave; which steps should be carried out to boot up the first XNA life form; and what it means for the society at large. (shrink)

Hutto and Myin have proposed an account of radically enactive (or embodied) cognition (REC) as an explanation of cognitive phenomena, one that does not include mental representations or mental content in basic minds. Recently, Zahidi and Myin have presented an account of arithmetical cognition that is consistent with the REC view. In this paper, I first evaluate the feasibility of that account by focusing on the evolutionarily developed proto-arithmetical abilities and whether empirical data on them support the radical enactivist view. (...) I argue that although more research is needed, it is at least possible to develop the REC position consistently with the state-of-the-art empirical research on the development of arithmetical cognition. After this, I move the focus to the question whether the radical enactivist account can explain the objectivity of arithmetical knowledge. Against the realist view suggested by Hutto, I argue that objectivity is best explained through analyzing the way universal proto-arithmetical abilities determine the development of arithmetical cognition. (shrink)

One main challenge of non-platonist philosophy of mathematics is to account for the apparent objectivity of mathematical knowledge. Cole and Feferman have proposed accounts that aim to explain objectivity through the intersubjectivity of mathematical knowledge. In this paper, focusing on arithmetic, I will argue that these accounts as such cannot explain the apparent objectivity of mathematical knowledge. However, with support from recent progress in the empirical study of the development of arithmetical cognition, a stronger argument can be provided. I will (...) show that since the development of arithmetic is (partly) determined by biologically evolved proto-arithmetical abilities, arithmetical knowledge can be understood as maximally intersubjective. This maximal intersubjectivity, I argue, can lead to the experience of objectivity, thus providing a solution to the problem of reconciling non-platonist philosophy of mathematics with the (apparent) objectivity of mathematical knowledge. (shrink)

In two recent papers in Studies in History and Philosophy of Science Howard Sankey has argued that there is an intimate relationship between Pyrrhonian skepticism and recent approaches to epistemic relativism.Though the general argument and idea of Sankey’s papers is very much appreciated, it is argued that the epistemic relativist’s recourse to the skeptical strategy outlined by the Pyrrhonian is not a good one. This diagnosis gives rise to an objection against the epistemic relativist who argues on the basis of (...) the skeptical strategy that differs from Sankey’s naturalistic response. Furthermore, it can be shown that what is really at stake between epistemic relativism and epistemic absolutism is the question of which criteria there are for variation of epistemic norms and epistemic systems. (shrink)

In a paper published in this journal Martin Hinton aims to show that the struggle between Moti Mizrahi and me about whether arguments from expert opinion are weak arguments rests on misunderstandings (Hinton 2015). Let me emphasize that I generally appreciate Hinton’s intention to settle the dispute between Mizrahi and myself in this way. 1 Furthermore, I also agree with Hinton’s conclusion that if Mizrahi is interpreted in the way Hinton does, then Mizrahi’s “claim becomes far less controversial, but also (...) rather uninteresting” (Hinton 2015, 551)—to refer to the title of my former paper: just spilling out the water wouldn’t be worth a paper in Informal Logic. 2 Let me therefore focus in this reply on the points where Hinton directly attacks my treatment of Mizrahi and also what Hinton takes to be my account of expertise. I will discuss the following criticism of Hinton: (1) that, at points, my attack on Mizrahi is unfair due to my misunderstanding of his intentions, (2) that the notion of expertise I use is self-contradictory/inconsistent, (3) that the argument for my view is circular, (4) that one of my examples—the example from soccer—is mistaken. In rebutting this criticism, I aim to clarify the background of my former paper in this journal. (shrink)

Pharmaceutical companies developed Covid-19 vaccines in record time. However, it soon became apparent that global access to the vaccines was inequitable. Through a qualitative inquiry as the pandemic unfolded (to mid-2021), we provide an in-depth analysis of why companies engaged with the Covid-19 Vaccines Global Access Facility (COVAX), identifying the internal (to the company) and external factors that facilitated or impeded engagement. While all producers of the World Health Organization (WHO)-approved vaccines engaged with COVAX, our analysis highlights the differential levels (...) of COVAX engagement and identifies contractual obligations, opportunities and company strategy, and reputational pressures as key explanatory factors. We discuss our empirical findings relative to the literature on political corporate social responsibility (PCSR). Accordingly, we question whether pharmaceutical companies lived up to their responsibilities as corporate citizens and conclude that they failed to fulfill the implied responsibility of combating inequitable vaccine distribution. We conclude with implications of our research for practice, in relation to the challenges of global access to Covid-19 vaccines and for access to medicines more generally. (shrink)

The paper focuses on one central aspect of Karl Mannheim’s sociology of knowledge: his exemption of the contents of mathematics and the natural sciences from sociological investigations. After emphasizing the importance of Mannheim’s contribution and his exemption-thesis to the history and development of the field and the problem of relativism, I survey several interpretations of the thesis – especially those put forward by proponents of the so-called ‘Strong Programme’. I argue that these interpretations do not get the philosophical background and (...) impetus of Mannheim’s contribution right. By distinguishing between naturalistic and anti-naturalistic strands in Mannheim’s work I propose a new reading on which Mannheim did not exempt the contents of the areas in question principally or because of a lack of nerve and will. It is argued that Mannheim’s exemption-thesis rather is a consequence of his own sketchy sociological investigations of ‘the paradigm of the natural sciences’. (shrink)

Whereas there is much discussion about Thomas Kuhn’s notion of methodological incommensurability and many have seen his ideas as an attempt to allow for rational disagreement in science, so far no serious analysis of how exactly Kuhn aims to account for rational disagreement has been proposed. This paper provides the first in-depth analysis of Kuhn’s account of rational disagreement in science—an account that can be seen as the most prominent attempt to allow for rational disagreement in science. Three things will (...) be shown: First, we find not one, but two accounts of rational disagreements in science in Kuhn’s writings: one stemming from methodological incommensurability and one stemming from Kuhn-underdetermination, which are not only fundamentally different—the first purports to explain how disagreeing scientists can nevertheless be rational, while the second attempts to show how rational scientists can nevertheless disagree—but appear to be incompatible with each other. Second, I will assess both accounts. Kuhn’s account from methodological incommensurability is not convincing since it cannot explain rational disagreement in science. Whereas, on the other hand, Kuhn’s account from Kuhn-underdetermination allows for rational disagreement, his argument why we should accept it is not convincing. Third, I present a tentative sketch of an alternative to Kuhn’s account that emphasizes the fallibility of epistemic justification in order to show that Kuhn’s argument founders. In sum, the paper shows that focusing not on the muchly debated consequences of methodological incommensurability, but on Kuhn’s treatment of rational disagreement gives new insight into the adequate interpretation of his thought as well as the cogency of his ideas. (shrink)

In a reply to Howard Sankey I have maintained that the epistemic relativist cannot use the strategy of the sceptic since the relativist is at pains not to draw the sceptical solution. Sankey has objected to my argument by distinguishing between weak and strong justification: according to Sankey, the relativist using the sceptic’s strategy aims to provide an argument against the latter form of justification but still maintains that we can have the former.In this counter-response I argue that if this (...) is really the relativist’s strategy then she cannot provide any argument against the absolutist at all. The reason is that she simply fails to address the key question in the debate about relative/absolute justification: are there any absolutely correct epistemic standards? The epistemic relativist using the sceptic’s strategy is thus trapped between the Scylla of undermining her right to maintain that there is relative justification and the Charybdis of providing no argument against absolutism at all. (shrink)

In the first part I argue that Buddhism and Hinduism can be unified by a Pure Consciousness thesis, which says that the nature of ultimate reality is an unconditioned and pure consciousness and that the phenomenal world is a mere appearance of pure consciousness. In the second part I argue that the Pure Consciousness thesis can be supported by an argument from quantum physics. According to our best scientific theories, the fundamental nature of reality consists of quantum fields, and it (...) seems that quantum fields have merely particle-like appearances—particles seem to be mere epiphenomena. This interpretation can be generalized. There appear to be individual entities, small and large, and their ontological reality is precisely what it appears to be—they are mere appearances. (shrink)

In this paper, I study how mathematicians are presented in western popular culture. I identify five stereotypes that I test on the best-known modern movies and television shows containing a significant amount of mathematics or important mathematician characters: (1) Mathematics is highly valued as an intellectual pursuit. (2) Little attention is given to the mathematical content. (3) Mathematical practice is portrayed in an unrealistic way. (4) Mathematicians are asocial and unable to enjoy normal life. (5) Higher mathematics is ...

The Cognitive Foundations and Epistemology of Arithmetic and Geometry How is knowledge of arithmetic and geometry developed and acquired? In the tradition established by Plato and often associated with Kant, the epistemology of mathematics has been focused on a priori approaches, which take mathematical knowledge and its study to be essentially independent of sensory experience. … Continue reading The Cognitive Foundations and Epistemology of Arithmetic and Geometry →.

This chapter discusses whether the appropriation of Kuhnian thoughts by the so-called Strong Programme in the sociology of scientific knowledge is appropriate. In order to answer the question of appropriate appropriation, Kuhn’s and the Strong Programme’s stances on two “isms” are compared: relativism and naturalism. It is shown that the Strong Programme clearly goes beyond Kuhn and breaks more radically with philosophical tradition. Nevertheless, there are also philosophical continuities and similarities.

One key question in the philosophy of artificial intelligence (AI) concerns how we can recognize artificial systems as intelligent. To make the general question more manageable, I focus on a particular type of AI, namely one that can prove mathematical theorems. The current generation of automated theorem provers are not understood to possess intelligence, but in my thought experiment an AI provides humanly interesting proofs of theorems and communicates them in human-like manner as scientific papers. I then ask what the (...) criteria could be for recognizing such an AI as intelligent. I propose an approach in which the relevant criteria are based on the AI’s interaction within the mathematical community. Finally, I ask whether we can deny the intelligence of the AI in such a scenario based on reasons other than its (non-biological) material construction. (shrink)

It is widely thought that philosophical behaviorism is an untenable and outdated theory of mind. It is generally agreed, in particular, that the view generates a vicious circularity problem. There is a standard solution to this problem for functionalism, which utilizes the formulation of Ramsey sentences. I will show that this solution is also available for behaviorism if we allow quantification over the causal bases of behavioral dispositions. Then I will suggest that behaviorism differs from functionalism mainly in its commitment (...) to anti-representationalism, and I will offer two new objections to anti-representationalism. The first will be based on considerations concerning the contents of desires and intentions. The second objection concerns inner speech and mental imagery. We will see that the objections are of relevance to contemporary debates, as they apply with equal force to the currently popular anti-representationalist versions of embodied and enactive cognition. (shrink)

Abstract In the new millennium there have been important empirical developments in the philosophy of mathematics. One of these is the so-called “Empirical Philosophy of Mathematics”(EPM) of Buldt, Löwe, Müller and Müller-Hill, which aims to complement the methodology of the philosophy of mathematics with empirical work. Among other things, this includes surveys of mathematicians, which EPM believes to give philosophically important results. In this paper I take a critical look at the sociological part of EPM as a case study of (...) ... (shrink)

In a recent paper in 'Social Epistemology' Dimitri Ginev aims to show that Ludwik Fleck uses transcendental arguments in two contexts in his work that are closely intertwined: the context of comparative cognitive sociology and the context of socio-historical epistemology. I am skeptical about Ginev’s interpretation and my aim is to show that at least the part of Ginev’s argument in which he aims to show Fleck’s use of transcendental arguments in the context of socio-historical epistemology is not convincing. To (...) my mind, a much better interpretation of Fleck’s argument in this context is to see Fleck as using scientisticinstead of transcendental arguments. (shrink)

In “How Art Teaches: A Lesson from Goodman”, Markus Lammenranta inquires if and how artworks can convey propositional knowledge about the world. Lammenranta argues that the cognitive role of art can be explained by revising Nelson Goodman’s theory of symbols. According to Lammenranta, the problem of Goodman’s theory is that, despite providing an account of art’s symbolic function, it denies art the possibility of mediating propositional knowledge. Lammenranta claims that Goodman’s theory can be augmented by enlarging it with an (...) account of direct reference developed by Bertrand Russell and contemporary philosophy of language. On this basis, an expanded version of Goodman’s theory can explain how artworks can express propositions even without being linguistic, representational, or non-fictive. Lammenranta explicates his theory by explaining how abstract paintings and literary fictions can mediate propositional claims about the actual, everyday world. (shrink)

Tutkin tässä artikkelissa Kurt Gödelin epätäydellisyysteoreemojen tulkintoja filosofiassa. Aihepiiri kattaa valtavan määrän eri tulkintoja tekoälystä fysiikkaan ja runouteen asti. Osoitan, että kriittisesti tarkasteltuna kaikki radikaalit epätäydellisyysteoreemojen sovellukset ovat virheellisiä.

Arithmetic is one of the foundations of our educational systems, but what exactly is it? Numbers are everywhere in our modern societies, but what is our knowledge of numbers really about? This book provides a philosophical account of arithmetical knowledge that is based on the state-of-the-art empirical studies of numerical cognition. It explains how humans have developed arithmetic from humble origins to its modern status as an almost universally possessed knowledge and skill. Central to the account is the realisation that, (...) while arithmetic is a human creation, the development of arithmetic is constrained by our evolutionarily developed cognitive architecture. Arithmetic is a sophisticated cultural development, but it is ultimately based on abilities with numerosities that we already possess as infants and share with many non-human animals. Therefore, arithmetic is not purely conventional, an arbitrary game akin to chess. Instead, arithmetic is deeply connected to our basic cognitive capacities. (shrink)

Sowohl im Alltag als auch in den Wissenschaften leben wir in Räumen und diese bestimmen unser Werden: seien es Räume, die wir täglich begehen, oder sei es der Raum ganz grundlegend, als physikalischer, psychologischer oder philosophischer Raum. Alles Geschehen und Werden ist somit in den Raum oder in Räume eingebettet. Auch im christlichen Glauben sind wir in einen Raum gestellt: den des dreieinigen Gottes. Die Fragen, was all diese Räume sind und wie sie sich zueinander verhalten, sind grundlegend und kaum (...) zu unterschätzen. Sie bestimmen unsere Wahrnehmung und unser Handeln. Schon Karl Heim als Pionier des Dialogs zwischen Theologie und den Naturwissenschaften hatte die Bestimmung der Räume zu seiner Grundaufgabe gemacht. Heute stellt sich die Frage neu und sucht nach neuen Antworten"-- Back cover. (shrink)

Hermann Deuser, international renommierter Theologe, Religionsphilosoph und Fellow am Max-Weber-Kolleg der Universitat Erfurt, hat im Februar 2016 seinen 70. Geburtstag gefeiert. Diesem Anlass widmen die Herausgeber mit dem vorliegenden Band eine Sammlung von Aufsatzen, in denen sich namhafte Weggefahrten und Kollegen aus dem In- und Ausland zu zentralen Aspekten von Deusers Denken, insbesondere seinen jungeren und jungsten Arbeiten zum Verhaltnis von (Natur-)Wissenschaft und Theologie bzw. Religion, programmatisch und im Detail aussern. Es handelt sich folglich nicht um eine Festschrift im ublichen (...) Sinne, sondern um eine Anthologie von Originalbeitragen, die ausschliesslich oder zumindest an prominenter Stelle Deusers substantielle Beitrage zur theologischen und religionsphilosophischen Gegenwartsdebatte konstruktiv-kritisch wurdigen und weiterdenken. Mit Beitragen von:Wolfgang Achtner, Stefan Alkier, Svein Aage Christoffersen, Ingolf U. Dalferth, Hermann Deuser, Hans-Gunter Heimbrock, Eilert Herms, Hans Joas, Matthias Jung, Markus Kleinert, Melanie Kohlmoos, Gesche Linde, Dietmar Mieth, Michael Moxter, Robert Cummings Neville, Lukas Ohly, Martin Schmuck, Heiko Schulz, Saskia Wendel, Catherina Wenzel, Knut Wenzel. (shrink)

In den letzten zehn Jahren sind die digitalen Geisteswissenschaften von einem Randphänomen zu einem der sichtbareren Felder kultur- und geisteswissenschaftlicher Forschung geworden. Dieser Erfolg ist von Kritik begleitet und Fotis Jannidis identifiziert drei Topoi der Kritik an den Digital Humanities, die oft vorgebracht und wiederholt werden: 1. ›Das wussten wir schon vorher‹ 2. ›Die Themen der Digital Humanities sind veraltet‹ 3. Es handle sich bei den Digital Humanities um eine neue Form des Positivismus, der geisteswissenschaftliche Gegenstände nicht adäquat beschreibt. Diese (...) drei Vorwürfe gegen die Digital Humanities werden von Jannidis aufgegriffen und auf ihren argumentativen und wissenschaftspolitischen Gehalt befragt und hinterfragt. Der Beitrag schließt mit einem Plädoyer für das Ausprobieren, Basteln und für die Neugierde auf die neu entstehenden Datensammlungen in den Bibliotheken und Archiven. Markus Krajewski hält die Erwartungen an das Innovationspotenzial der Digital Humanities dagegen für überzogen, die aus seiner Perspektive bisher über den Status einer Hilfswissenschaft nicht hinausgekommen sind. So wie die Diplomatik um die Analyse von Urkunden oder die Numismatik um die Einordnung von Münzen oder die Paläographie um die Analyse von Handschriften besorgt ist, so kümmern sich die Digital Humanities bisher lediglich um die Nahtstelle von geisteswissenschaftlichen Forschungsfragen mit computergestützten Methoden. Die eigentliche Aufgabe der Digital Humanities bestünde aber darin, die Kulturtechnik Codieren in den Vordergrund zu rücken. Denn Programmcodes lesen und schreiben zu können, seien auch für Geisteswissenschaftler eine Schlüsselkompetenz, damit die Schrift der Zukunft – die von Softwareentwicklern, Computeringenieuren und selbstlernenden Maschinen entworfenen Algorithmen – weiterhin kritisch kommentiert und interpretiert (und nicht bloß passiv angewandt) werden kann. During the last ten years, the so-called digital humanities have developed from a footnote to being a major player in the academic field of cultural studies and humanities alike. However, success goes hand in hand with increasing criticism, and Fotis Jannidis identifies three topoi of critique digital humanities repeatedly have to face. 1. ›We already knew that‹ 2. ›The topics of digital humanities are outdated‹ 3. Digital humanities are said to be a new form of positivism not adequately describing humanities related issues. Jannides takes up these accusations against digital humanities by scrutinizing and questioning their argumentative and scientific- political substance. The article closes with a speech promoting of a phase of trial and error, of tinkering and of curiosity for the subject at hand while analyzing newly originated data collections from libraries or archives. In Markus Krajewski’s opinion, however, the expectations placed in the potential of innovation of digital humanities are exaggerated which subsequently leads him to label them an ancillary discipline. The usefulness of digital humanities is entirely limited to providing the link between humanities-related research questions and computer-based methods in the same way diplomatics relies on the analysis of records, numismatics on the process of categorizing coins or paleography on the analysis of historical manuscripts. Krajewski sees the real task of digital humanities in bringing the cultural technology of coding into the spotlight. He describes the ability to write and read source code as a key competence every modern humanities scholar needs in order to be able to critically comment and interpret the script of the future: algorithms designed by software developers, computer engineers, and auto-didactic machines. (shrink)