What is the relationship between the world and logic, between intuition and language, between objects and their quantitative determinations? Rationalists, on the one hand, hold that the world is structured in a rational way. Representationalists, on the other hand, assume that language, logic, and mathematics are only the means to order and describe the intuitively given world. In World and Logic, Jens Lemanski takes up three surprising arguments from Arthur Schopenhauer’s hitherto undiscovered Berlin Lectures, which concern the philosophy of (...) language, logic, and mathematics. Based on these arguments, Lemanski develops a new position entitled ‘rational representationalism’: the world is always structured by human beings according to linguistic, logical, and mathematical principles, but the basic vocabulary of these structural descriptions already contains metaphors taken from the world around us. (shrink)

The mechanistic view of computation contends that computational explanations are mechanistic explanations. Mechanists, however, disagree about the precise role that the environment – or the so-called “contextual level” – plays for computational explanations. We advance here two claims: Contextual factors essentially determine the computational identity of a computing system ; this means that specifying the “intrinsic” mechanism is not sufficient to fix the computational identity of the system. It is not necessary to specify the causal-mechanistic interaction between the system and (...) its context in order to offer a complete and adequate computational explanation. While the first claim has been discussed before, the second has been practically ignored. After supporting these claims, we discuss the implications of our contextualist view for the mechanistic view of computational explanation. Our aim is to show that some versions of the mechanistic view are consistent with the contextualist view, whilst others are not. (shrink)

The mechanistic view of computation contends that computational explanations are mechanistic explanations. Mechanists, however, disagree about the precise role that the environment – or the so-called “contextual level” – plays for computational explanations. We advance here two claims: Contextual factors essentially determine the computational identity of a computing system ; this means that specifying the “intrinsic” mechanism is not sufficient to fix the computational identity of the system. It is not necessary to specify the causal-mechanistic interaction between the system and (...) its context in order to offer a complete and adequate computational explanation. While the first claim has been discussed before, the second has been practically ignored. After supporting these claims, we discuss the implications of our contextualist view for the mechanistic view of computational explanation. Our aim is to show that some versions of the mechanistic view are consistent with the contextualist view, whilst others are not. (shrink)

In this paper, we present and defend an analysis of harm that we call the Negative Influence on Well-Being Account (NIWA). We argue that NIWA has a number of significant advantages compared to its two main rivals, the Counterfactual Comparative Account (CCA) and the Causal Account (CA), and that it also helps explain why those views go wrong. In addition, we defend NIWA against a class of likely objections, and consider its implications for several questions about harm and its role (...) in normative theorizing. (shrink)

This paper analyses a hitherto unknown technique of using logic diagrams to create argument maps in eristic dialectics. The method was invented in the 1810s and -20s by Arthur Schopenhauer, who is considered the originator of modern eristic. This technique of Schopenhauer could be interesting for several branches of research in the field of argumentation: Firstly, for the field of argument mapping, since here a hitherto unknown diagrammatic technique is shown in order to visualise possible situations of arguments in a (...) dialogical controversy. Secondly, the art of controversy or eristic, since the diagrams do not analyse the truth of judgements and the validity of inferences, but the persuasiveness of arguments in a dialogue. (shrink)

This work is a systematic investigation of a range of solutions offered today for the philosophical problem of mental causation. The premises constituting the problem are analyzed before a survey is developed of the most popular theories on mental causation. It is demonstrated in detail why most of these canonical solutions must be considered deficient. In a third part, the 'new compatibilist's' approach to mental causation is explored, which is characterized by assertion of a non-identity-but-non-distinctness principle. The last part aims (...) to offer an alternative solution to the problem. On the basis of a certain set of counterfactual conditionals, which are jointly taken to provide a definition of 'causal proportionality' that improves the existing definitions, it is shown that a specific, and hitherto widely neglected, version of causal overdeterminationism must be considered the most successful solution to the problem of mental causation. (shrink)

Eristic has been studied more and more intensively in recent years in philosophy, law, communication theory, logic, proof theory, and A.I. Nevertheless, the modern origins of eristic, which almost all current researchers see in the philosopher Arthur Schopenhauer, are considered to be a theory of the illegitimate use of logical and rhetorical devices. Thus, eristic seems to violate the norms of discourse ethics. In this paper, I argue that this interpretation of eristic is based on prejudices that contradict the original (...) intention of modern eristic. Eristic is not an art of being right or winning an argument, but an art of protecting oneself from the one who deliberately violates norms of discourse ethics to gain argumentative acceptance. For this reason, eristic must be seen as a discipline of Enlightenment philosophy and a correlate of discourse ethics. Especially in the age of alternative facts and post-factual politics, this makes eristic a valuable discipline. (shrink)

Further to the recent handover of the Naval School of Mechanics (ESMA), Argentina’s most notorious centre for the clandestine torture and assassination of leftist militants under the dictatorship of 1976–83, to the city of Buenos Aires, in order to create on the premises a ‘Space for Memory’, debates on the proper commemoration of the recent past have gained momentum. In the course of these, it has become clear that there is currently no consensus among the human rights organizations, let alone (...) Argentine society at large, on how the former sites of state terrorism can be adequately ‘recovered’, or what the purpose and function of such a recovery might be. Rather than as a shortcoming, however, this impossibility of closure, and of the monumentalization of a social consensus about the past in museal forms, might be taken as an opportunity to problematize some of the politics and material poetics underpinning the contemporary ‘memorial museum’. The article therefore analyses the principal arguments and positions voiced in the debate about ESMA with a view to their attitudes (explicit or implicit) towards the museum-form as such, and the conclusions that might be derived from these in the context of contemporary debates about ‘postmemory’, ‘secondary witnessing’ and the politics of empathy at the museum. (shrink)

How can we conceive of the relation between technologies of image-making and the formations of political power, without reducing the former to merely superstructural effects of a pre-existing ideology or deducing the latter from the functional determination inherent in technical apparatuses? In this article, I revisit the notion of the state as a visual form I proposed in an earlier work, arguing that in order to understand the articulation between politics and visuality in modernity we need to pay attention to (...) the performance of showing and seeing that mediates between the spectacle and spectatorship. To grasp the way in which historical change impacts on this constellation, in particular in the transition from photographic to cinematic regimes of visuality between the late 19th and early 20th century, I take these questions through two rather different ‘case studies’: photographer Juan Gutiérrez’s images of Brazilian state rituals in the mid-1890s and Jorge Luis Borges’s short story ‘The Aleph’ of 1949. Whereas Gutiérrez’s photographic series, I argue, announces the cinema and its ways of mobilizing actors and spectators alike, as the limit of a 19th-century visuality primed on the stability and self-enclosedness of viewers and objects, Borges’s story retrospectively enacts the transition from photographic to cinematic seeing in an intratextual battle of acts of transcription from the impossible object at the centre of the plot, which grants infinite, universal visibility to the one who beholds it. Reading the two together, or against one another, then, allows us to see the dimension of transience undercutting the apparent solidity and timelessness with which scopic regimes promise us access to the real. (shrink)

The chapters in this timely volume aim to answer the growing interest in Arthur Schopenhauer’s logic, mathematics, and philosophy of language by comprehensively exploring his work on mathematical evidence, logic diagrams, and problems of semantics. Thus, this work addresses the lack of research on these subjects in the context of Schopenhauer’s oeuvre by exposing their links to modern research areas, such as the “proof without words” movement, analytic philosophy and diagrammatic reasoning, demonstrating its continued relevance to current discourse on logic. (...) -/- Beginning with Schopenhauer’s philosophy of language, the chapters examine the individual aspects of his semantics, semiotics, translation theory, language criticism, and communication theory. Additionally, Schopenhauer’s anticipation of modern contextualism is analyzed. The second section then addresses his logic, examining proof theory, metalogic, system of natural deduction, conversion theory, logical geometry, and the history of logic. Special focus is given to the role of the Euler diagrams used frequently in his lectures and their significance to broader context of his logic. In the final section, chapters discuss Schopenhauer’s philosophy of mathematics while synthesizing all topics from the previous sections, emphasizing the relationship between intuition and concept. -/- Aimed at a variety of academics, including researchers of Schopenhauer, philosophers, historians, logicians, mathematicians, and linguists, this title serves as a unique and vital resource for those interested in expanding their knowledge of Schopenhauer’s work as it relates to modern mathematical and logical study. (shrink)

John Martin Fischer and Anthony L. Brueckner have argued that a person’s death is, in many cases, bad for him, whereas a person’s prenatal non-existence is not bad for him. Their suggestion relies on the idea that death deprives the person of pleasant experiences that it is rational for him to care about, whereas prenatal non-existence only deprives him of pleasant experiences that it is not rational for him to care about. In two recent articles in The Journal of Ethics, (...) I have objected that it is irrelevant what it is in fact rational for the person to care about. Fischer and Brueckner have replied to my critique. In this paper I respond to their latest pair of replies. (shrink)

Nowadays, the forms assumed by knowledge indicate an unhinging of traditional structures conceived on the model of discipline. Consequently, what was once strictly disciplinary becomes interdisciplinary, what was homogeneous becomes heterogeneous and what was hierarchical becomes heterarchical. When we look for a matrix of interdisciplinarity, that is to say, a primary basis or an essential dimension of all the complex phenomena we are surrounded by, we see the need to break with the disciplinary self-restraint in which, often completely inadvertently, many (...) of us lock ourselves up, remaining anchored to our own competences, ignoring what goes beyond our own sphere of reference. However, interdisciplinarity is still a vague concept and a much demanding practice. It presupposes the continuous search for convergent theoretical perspectives and methodologies, and the definition of common spaces and languages, as well as a true dialogical and open mind of several scholars. From ethics to science, from communication to medicine, from climate change to human evolution the volume Controversies and Interdisciplinarity offers a series of original insights beyond disciplinary fragmentation for a new knowledge model. (shrink)

This review article discusses some problems and needs for clarification that are connected with the use of the concepts culture, language, tool, and communication in Daniel Everett's recently published book, Language: The Cultural Tool . It also discusses whether the idea of biological readiness and preparedness for language (rather than grammar) can really be disposed of as a result of Everett's very convincing arguments against a specific genetic predisposition for the syntactic component of a grammar. Finally, it calls into question (...) whether Everett really is true to his professed ideology of scientific ideographical pragmatism. (shrink)

It is argued that Wallace Chafe's approach of relating studies of mind and consciousness to studies of real spoken language interaction is precisely what is needed in linguistics and psycholinguistics. However, the way Chafe attempts to establish the link between spoken language and consciousness is, in several respects, in need of clarification. The paper critically examines several of Chafe's claims and points to areas — e.g., the notions of 'consciousness', 'intonation unit', and 'new idea' — where clarification or possible revision (...) is needed. (shrink)

It is argued that Wallace Chafe's approach of relating studies of mind and consciousness to studies of real spoken language interaction is precisely what is needed in linguistics and psycholinguistics. However, the way Chafe attempts to establish the link between spoken language and consciousness is, in several respects, in need of clarification. The paper critically examines several of Chafe's claims and points to areas — e.g., the notions of 'consciousness', 'intonation unit', and 'new idea' — where clarification or possible revision (...) is needed. (shrink)

Cet article interroge la co-construction des concepts de race, de sexe et de reproduction dans l’histoire naturelle et l’élevage des animaux au xviiie siècle. L’analyse porte sur l’article « Serin des Canaries » de l’Histoire naturelle de Buffon. Il s’agit, dans un premier temps, d’examiner la signification sociale et culturelle de l’élevage de ces oiseaux à Paris au xviiie siècle, particulièrement populaire parmi les femmes aisées. Dans un deuxième temps, l’analyse se focalise sur l’article de Buffon pour montrer comment les (...) descriptions scientifiques des différences sexuelles chez les animaux conduisent à la naturalisation des différences humaines, à travers ce que nous appelons un « cercle anthropocentrique de naturalisation ». Dans un troisième temps, nous montrons comment les deux catégories de sexe et de race sont construites l’une par rapport à l’autre dans l’histoire naturelle de Buffon et dans l’élevage des animaux de l’époque. (shrink)

IntroductionIf we were to identify the beginning of the study of visual argumentation, we would have to choose 1996 as the starting point. This was the year that Leo Groarke published “Logic, art and argument” in Informal logic, and it was the year that he and David Birdsell co-edited a special double issue of Argumentation and Advocacy on visual argumentation . Among other papers, the issue included Anthony Blair’s “The possibility and actuality of visual arguments”. It was also the year (...) that Gail J. Chryslee, Sonja K. Foss and Arthur L. Ranney published their short text on “The construction of claims in visual argumentation” , stating that even though theorists may know a great deal about the process of argumentation, “virtually none of this knowledge is applicable to visual argumentation […] because of the properties that distinguish visual imagery from discursive symbols” .Texts on visual rhetoric have been written as far back as the early 1980s, .. (shrink)

A prominent objection to the counterfactual comparative account of harm is that it classifies as harmful some events that are, intuitively, mere failures to benefit. In an attempt to solve this problem, Duncan Purves has recently proposed a novel version of the counterfactual comparative account, which relies on a distinction between making upshots happen and allowing upshots to happen. In this response, we argue that Purves’s account is unsuccessful. It fails in cases where an action makes the subject occupy a (...) high well-being level though one of the available alternatives would have made it even higher. In fact, it fails even in some cases where each of the available alternatives to the action that was actually performed would have made the subject’s well-being level lower. (shrink)

Ein Beispiel für die Rezeption und Fortführung der schopenhauerschen Logik findet man in den Mathematiklehrbüchern Friedrich Adolph Wilhelm Diesterwegs (1790–1866), In diesem Aufsatz werden die historische und systematische Dimension dieser Anwendung von Logikdiagramme auf die Mathematik skizziert. In Kapitel 2 wird zunächst die frühe Rezeption der schopenhauerschen Logik und Philosophie der Mathematik vorgestellt. Dabei werden einige oftmals tradierte Vorurteile, die das Werk Schopenhauers betreffen, in Frage gestellt oder sogar ausgeräumt. In Kapitel 3 wird dann die Philosophie der Mathematik und der (...) Logik Schopenhauers vorgestellt. Es wird gezeigt, dass Schopenhauers Logikdiagramme auf Ideen der Mathematiker Leonhard Euler (1707–1783), Bernhard Friedrich Thibaut (1775–1832) und Franz Ferdinand Schweins (1780–1856) zurückgehen und dass Schopenhauer diese Logikdiagramme auch bereits zur Analyse mathematischer Begriffe verwendet. Kapitel 4 beschäftigt sich mit der Schopenhauer-Rezeption Diesterwegs. Es wird die Frage behandelt, inwieweit Diesterweg in der Mathematik von Schopenhauer beeinflusst war und welche Rolle dieser Einfluss auf sein Verständnis von Logik und Mathematik hatte. In Kapitel 5 wird schließlich gezeigt, dass Diesterweg die schopenhauersche Begriffsanalyse der Mathematik mit Hilfe von Logikdiagrammen aufgreift und weiterführt. Da Diesterweg einer der einflussreichsten Pädagogen und Mathematikdidaktiker des 20. Jahrhunderts war, ist anzunehmen, dass sich Spuren dieser Methode noch heute finden lassen. Inwiefern dies wahrscheinlich ist, wird in der Zusammenfassung (Kapitel 6) thematisiert. (shrink)

According to the “deprivation approach,” a person’s death is bad for her to the extent that it deprives her of goods. This approach faces the Lucretian problem that prenatal non-existence deprives us of goods just as much as death does, but does not seem bad at all. The two most prominent responses to this challenge—one of which is provided by Frederik Kaufman (inspired by Thomas Nagel) and the other by Anthony Brueckner and John Martin Fischer—claim that prenatal non-existence is relevantly (...) different from death. This paper criticizes these responses. (shrink)

This paper discusses the relevance of models for cognitive science that integrate mechanistic and computational aspects. Its main hypothesis is that a model of a cognitive system is satisfactory and explanatory to the extent that it bridges phenomena at multiple mechanistic levels, such that at least several of these mechanistic levels are shown to implement computational processes. The relevant parts of the computation must be mapped onto distinguishable entities and activities of the mechanism. The ideal is contrasted with two other (...) accounts of modeling in cognitive science. The first has been presented by David Marr in combination with a distinction of “levels of computation”. The second builds on a hierarchy of “mechanistic levels” in the sense of Carl Craver. It is argued that neither of the two accounts secures satisfactory explanations of cognitive systems. The mechanistic-computational ideal can be thought of as resulting from a fusion of Marr’s and Craver’s ideals. It is defended as adequate and plausible in light of scientific practice, and certain metaphysical background assumptions are discussed. (shrink)

The paper examines Schopenhauer’s complex diagrams from the Berlin Lectures of the 1820 s, which show certain partitions of classes. Drawing upon ideas and techniques from logical geometry, we show that Schopenhauer’s partition diagrams systematically give rise to a special type of Aristotelian diagrams, viz. (strong) α -structures.

Reism or concretism are the labels for a position in ontology and semantics that is represented by various philosophers. As Kazimierz Ajdukiewicz and Jan Woleński have shown, there are two dimensions with which the abstract expression of reism can be made concrete: The ontological dimension of reism says that only things exist; the semantic dimension of reism says that all concepts must be reduced to concrete terms in order to be meaningful. In this paper we argue for the following two (...) theses: (1) Arthur Schopenhauer has advocated a reistic philosophy of language which says that all concepts must ultimately be based on concrete intuition in order to be meaningful. (2) In his semantics, Schopenhauer developed a theory of logic diagrams that can be interpreted by modern means in order to concretize the abstract position of reism. Thus we are not only enhancing Jan Woleński’s list of well-known reists, but we are also adding a diagrammatic dimension to concretism, represented by Schopenhauer. (shrink)

I raise two objections against Christian List and Peter Menzies' influential account of high-level causation. Improving upon some of Stephen Yablo's earlier work, I develop an alternative theory which evades both objections. The discussion calls into question List and Menzies' main contention, namely, that the exclusion principle, applied to difference-making, is false.

Logicians commonly speak in a relatively undifferentiated way about pre-euler diagrams. The thesis of this paper, however, is that there were three periods in the early modern era in which euler-type diagrams (line diagrams as well as circle diagrams) were expansively used. Expansive periods are characterized by continuity, and regressive periods by discontinuity: While on the one hand an ongoing awareness of the use of euler-type diagrams occurred within an expansive period, after a subsequent phase of regression the entire knowledge (...) about the systematic application and the history of euler-type diagrams was lost. I will argue that the first expansive period lasted from Vives (1531) to Alsted (1614). The second period began around 1660 with Weigel and ended in 1712 with lange. The third period of expansion started around 1760 with the works of Ploucquet, euler and lambert. Finally, it is shown that euler-type diagrams became popular in the debate about intuition which took place in the 1790s between leibnizians and Kantians. The article is thus limited to the historical periodization between 1530 and 1800. (shrink)

This article defends three claims. First, that collection and division in the Phaedrus are described as procedures that underlie human speaking and thinking in general, as well as philosophical inquiry, and are not identified with either. Second, that what sets the dialectical use of these procedures apart from their ordinary use are philosophical suppositions independent of the procedures of collection and division themselves; for that reason, collection and division cannot be identified with dialectic as such. Third, that the second part (...) of the Phaedrus is concerned with the broader question how noble or beautiful speaking, in general, may be said to depend on dialectic as much as it is concerned with the question how rhetoric, as a kind of expertise, is related to dialectic. (shrink)

In recent years CL diagrams inspired by Lange’s Cubus Logicus have been used in various contexts of diagrammatic reasoning. However, whether CL diagrams can also be used as a formal system seemed questionable. We present a CL diagram as a formal system, which is a fragment of propositional logic. Syntax and semantics are presented separately and a variant of bitstring semantics is applied to prove soundness and completeness of the system.

According to epistemic two-dimensionalism, or simply two-dimensionalism, linguistic expressions are associated with two intensions, one of which represents an expression’s a priori implications. The author investigates the prospects of conceptual analysis on the basis of a two-dimensionalist theory of meaning. He discusses a number of arguments for and against two-dimensional semantics and argues that properly construed, two-dimensionalism provides a potent and plausible account of meaning. Against the background of this account, the author then goes on to assess the value of (...) conceptual analysis in philosophical practice, outlining its goals, its promises, but also its limitations. (shrink)

In this paper, we analyze and discuss Schopenhauer’s n-term diagrams for eristic dialectics from a graph-theoretical perspective. Unlike logic, eristic dialectics does not examine the validity of an isolated argument, but the progression and persuasiveness of an argument in the context of a dialogue or even controversy. To represent these dialogue situations, Schopenhauer created large maps with concepts and Euler-type diagrams, which from today’s perspective are a specific form of graphs. We first present the original method with Euler-type diagrams, then (...) give the most important graph-theoretical definitions, then discuss Schopenhauer’s diagrams graph-theoretically and finally give an example of how the graphs or diagrams can be used to analyze dialogues. (shrink)

In a recent article, I criticized Anthony L. Brueckner and John Martin Fischer’s influential argument—appealing to the rationality of our asymmetric attitudes towards past and future pleasures—against the Lucretian claim that death and prenatal non-existence are relevantly similar. Brueckner and Fischer have replied, however, that my critique involves an unjustified shift in temporal perspectives. In this paper, I respond to this charge and also argue that even if it were correct, it would fail to defend Brueckner and Fischer’s proposal against (...) my critique. (shrink)

It is little known that Schopenhauer (1788–1860) made thorough use of Euler diagrams in his works. One specific diagram depicts a high number of concepts in relation to Good and Evil. It is, hence, uncharacteristic as logicians of that time seldom used diagrams for more than three terms (the number demanded by syllogisms). The objective of this paper is to make sense of this diagram by explaining its function and inquiring whether it could be viewed as an early serious attempt (...) to construct complex diagrams. (shrink)

As is well-known, David Lewis’ counterfactual theory of causation is subject to serious counterexamples in ‘exceptional’ cases. What has not received due attention in the literature so far is that Lewis’ theory fails to provide necessary and sufficient conditions for causation in ‘ordinary’ cases, too. In particular, the theory suffers from the ‘problem of large causes’. It is argued that this problem may be fixed by imposing a minimization constraint, whilst this solution brings along substantial costs as well. In particular, (...) a precise formulation of minimization requires defining an ‘essential part of an event’ and/or an ‘essential subevent’. Although the possibility of such a definition is ultimately left open, some doubts are raised on whether the counterfactualists’ resources are fit for this purpose, and whether the challenge can be met without substantially departing from Lewis’ intention, which was to provide a reductive account of causation. (shrink)

Fichte’s Foundations of the Entire Wissenschaftslehre 1794 is one of the most fundamental books in classical German philosophy. The use of laws of thought to establish foundational principles of transcendental philosophy was groundbreaking in the late eighteenth and early nineteenth century and is still crucial for many areas of theoretical philosophy and logic in general today. Nevertheless, contemporaries have already noted that Fichte’s derivation of foundational principles from the law of identity is problematic, since Fichte lacked the tools to correctly (...) present the formal parts of Foundations. In this paper, however, we argue that Fichte’s approach intuitively offers an important contribution to transcendental philosophy, and especially to philosophy of logic. We first point out the difficulties of Fichte’s logic in the Foundations and improve it in a second part on the basis of a formal system in which both propositional logic and syllogistic are combined. (shrink)

The paper examines Schopenhauer’s complex diagrams from the Berlin Lectures of the 1820 s, which show certain partitions of classes. Drawing upon ideas and techniques from logical geometry, we show that Schopenhauer’s partition diagrams systematically give rise to a special type of Aristotelian diagrams, viz. (strong) α -structures.

Extensions of traditional syllogistics have been increasingly researched in philosophy, linguistics, and areas such as artificial intelligence and computer science in recent decades. This is mainly due to the fact that syllogistics is seen as a logic that comes very close to natural language abilities. Various forms of extended syllogistics have become established. This paper deals with the question to what extent a syllogistic representation in CL diagrams can be seen as a form of extended syllogistics. It will be shown (...) that the ontology of CL enables numerically exact assertions and inferences. (shrink)

Emily Thomas's seminal book The Meaning of Travel has brought the philosophy of travel back into the public eye in recent years. Thomas has shown that the topic of travel can be approached from numerous different perspectives, ranging from the historical to the conceptual‐analytical, to the political or even social‐philosophical perspectives. This article introduces another perspective, which Thomas only indirectly addresses, namely the argumentation‐theoretical perspective. It is notable that contemporary philosophy of travel lacks the nineteenth‐century approach of using diagrams and (...) maps to examine arguments for and against travel. Since this approach starts with Schopenhauer, we first introduce his argument maps, discuss their advantages and disadvantages, and argue that a modified version is suitable to visualize and analyze arguments for and against traveling as presented in Thomas's work. (shrink)

In early modernity, one can find many spatial logic diagrams whose geometric forms share a family resemblance with religious art and symbols. The family resemblance these diagrams bear in form is often based on a vesica piscis or on a cross: Both logic diagrams and spiritual symbols focus on the intersection or conjunction of two or more entities, e.g. subject and predicate, on the one hand, or god and man, on the other. This paper deals with the development and function (...) of logic diagrams, their analogy to religious art and symbols, and their modern application in artificial intelligence. (shrink)

Many have argued that there is something that is a priori about all necessary truths, including a posteriori necessities. According to a particularly popular claim of this kind, one can know a priori whether a sentence is G-necessary, i.e. whether it is either necessarily true or necessarily false. In this paper, I identify the most plausible version of this claim and I argue that it fails. My discussion also reveals, and depends upon, an important feature of putative natural kind terms (...) that has been widely overlooked. I conclude by outlining a proposal of what is really a priori about necessities. (shrink)

According to the “deprivation approach,” a person’s death is bad for her to the extent that it deprives her of goods. This approach faces the Lucretian problem that prenatal non-existence deprives us of goods just as much as death does, but does not seem bad at all. The two most prominent responses to this challenge—one of which is provided by Frederik Kaufman and the other by Anthony Brueckner and John Martin Fischer—claim that prenatal non-existence is relevantly different from death. This (...) paper criticizes these responses. (shrink)

According to popular belief, big data and machine learning provide a wholly novel approach to science that has the potential to revolutionise scientific progress and will ultimately lead to the ‘end of theory’. Proponents of this view argue that advanced algorithms are able to mine vast amounts of data relating to a given problem without any prior knowledge and that we do not need to concern ourselves with causality, as correlation is sufficient for handling complex issues. Consequently, the human contribution (...) to scientific progress is deemed to be non-essential and replaceable. We, however, following the position most commonly represented in the philosophy of science, argue that the need for human expertise remains. Based on an analysis of big data and machine learning methods in two case studies—skin cancer detection and protein folding—we show that expert knowledge is essential and inherent in the application of these methods. Drawing on this analysis, we establish a classification of the different kinds of expert knowledge that are involved in the application of big data and machine learning in scientific contexts. We address the ramifications of a human-driven expert knowledge approach to big data and machine learning for scientific practice and the discussion about the role of theory. Finally, we show that the ways in which big data and machine learning both influence and are influenced by scientific methodology involve continuous conceptual shifts rather than a rigid paradigm change. (shrink)

The question of naturalness in logic is widely discussed in today’s research literature. On the one hand, naturalness in the systems of natural deduction is intensively discussed on the basis of Aristotelian syllogistics. On the other hand, research on “natural logic” is concerned with the implicitly existing logical laws of natural language, and is therefore also interested in the naturalness of syllogistics. In both research areas, the question arises what naturalness exactly means, in logic as well as in language. We (...) show, however, that this question is not entirely new: In his Berlin Lectures of the 1820s, Arthur Schopenhauer already discussed in depths what is natural and unnatural in logic. In particular, he anticipates two criteria for the naturalness of deduction that meet current trends in research: (1) Naturalness is what corresponds to the actual practice of argumentation in everyday language or scientific proof; (2) Naturalness of deduction is particularly evident in the form of Euler-type diagrams. (shrink)