This work is concerned with the extent and magnitude of threat related to online radicalization in the context of terrorist acts and related offending. Online influences have been depicted as major drivers for the propagation and adoption of extremist ideologies, which often contain an element of collective grievance, and subsequent acts of violence. This is most pronounced in the discussion of so-called lone actor terrorism, but extends to all forms of extremist offending, and beyond. The present work situates online radicalization (...) leading to terrorist acts within the wider context of grievance-based beliefs and attitudes. Further, it addresses current positions and debates surrounding the relevance and mechanisms of online radicalization in terrorist offending. Recent evidence from quantitative studies is reviewed to estimate prevalence of online radicalization and the level of threat that results from it. This is followed by a discussion of plausible, but opposing, interpretations of the estimates presented. While online radicalization does occur, with and without reference to offline processes, the resulting threat is not overly high. This assessment, however, refers to the present only and is unlikely to hold for the future, given the general growth and acceleration of online activity among terrorist actors. (shrink)

There are a wide variety of potential applications of artificial intelligence (AI) in Defence settings, ranging from the use of autonomous drones to logistical support. However, limited research exists exploring how the public view these, especially in view of the value of public attitudes for influencing policy-making. An accurate understanding of the public’s perceptions is essential for crafting informed policy, developing responsible governance, and building responsive assurance relating to the development and use of AI in military settings. This study is (...) the first to explore public perceptions of and attitudes towards AI in Defence. A series of four focus groups were conducted with 20 members of the UK public, aged between 18 and 70, to explore their perceptions and attitudes towards AI use in general contexts and, more specifically, applications of AI in Defence settings. Thematic analysis revealed four themes and eleven sub-themes, spanning the role of humans in the system, the ethics of AI use in Defence, trust in AI versus trust in the organisation, and gathering information about AI in Defence. Participants demonstrated a variety of misconceptions about the applications of AI in Defence, with many assuming that a variety of different technologies involving AI are already being used. This highlighted a confluence between information from reputable sources combined with narratives from the mass media and conspiracy theories. The study demonstrates gaps in knowledge and misunderstandings that need to be addressed, and offers practical insights for keeping the public reliably, accurately, and adequately informed about the capabilities, limitations, benefits, and risks of AI in Defence. (shrink)

In this paper a first-order version of hybrid logic is presented. The language is obtained by adding nominals, satisfaction operators and the down-arrow binder to classical first-order modal logic. The satisfaction operators are applied to both formulas and terms. Moreover adding the universal modality is discussed. This first-order hybrid language is interpreted over varying domains and a sound and complete, fully internalized tableau system for this logic is given.

In this paper the machinery of Hybrid Logic and the logic of public announcements are merged. In order to bring the two logics together properly the underlying hybrid logic has been changed such that nominals only partially denote states. The hybrid logic contains nominals, satisfaction operators, the downarrow binder as well as the global modality. Following this, an axiom system for the Hybrid Public Announcement Logic is presented and using reduction axioms general completeness is proved. The general completeness allows (...) for an easy way of adding distributed knowledge. Furthermore, it turns out that distributed knowledge is definable using satisfaction operators and the downarrow binder. (shrink)

We present a logic which we call Hybrid Duration Calculus. HDC is obtained by adding the following hybrid logical machinery to the Restricted Duration Calculus : nominals, satisfaction operators, down-arrow binder, and the global modality. RDC is known to be decidable, and in this paper we show that decidability is retained when adding the hybrid logical machinery. Decidability of HDC is shown by reducing the satisfiability problem to satisfiability of Monadic Second-Order Theory of Order. We illustrate the increased expressive (...) power obtained in hybridizing RDC by showing that HDC, in contrast to RDC, can express all of the 13 possible relations between intervals. (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)

In this paper, I investigate whether we can use a world-involving framework to model the epistemic states of non-ideal agents. The standard possible-world framework falters in this respect because of a commitment to logical omniscience. A familiar attempt to overcome this problem centers around the use of impossible worlds where the truths of logic can be false. As we shall see, if we admit impossible worlds where “anything goes” in modal space, it is easy to model extremely non-ideal agents that (...) are incapable of performing even the most elementary logical deductions. A much harder, and considerably less investigated challenge is to ensure that the resulting modal space can also be used to model moderately ideal agents that are not logically omniscient but nevertheless logically competent. Intuitively, while such agents may fail to rule out subtly impossible worlds that verify complex logical falsehoods, they are nevertheless able to rule out blatantly impossible worlds that verify obvious logical falsehoods. To model moderately ideal agents, I argue, the job is to construct a modal space that contains only possible and non-trivially impossible worlds where it is not the case that “anything goes”. But I prove that it is impossible to develop an impossible-world framework that can do this job and that satisfies certain standard conditions. Effectively, I show that attempts to model moderately ideal agents in a world-involving framework collapse to modeling either logical omniscient agents, or extremely non-ideal agents. (shrink)

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)

Logic diagrams have been increasingly studied and applied for a few decades, not only in logic, but also in many other fields of science. The history of logic diagrams is an important subject, as many current systems and applications of logic diagrams are based on historical predecessors. While traditional histories of logic diagrams cite pioneers such as Leibniz, Euler, Venn, and Peirce, it is not widely known that Kant and the early Kantians in Germany and England played a crucial role (...) in popularising Euler(-type) diagrams. In this paper, the role of the Kantians in the late eighteenth and early nineteenth centuries will be analysed in more detail. It shows that diagrams (or intuition in general) were a highly contentious topic that depend on the philosophical attitude and went beyond logic to touch on issues of physics, metaphysics, linguistics and, above all, mathematics. (shrink)

The present article is an attempt to clarify the Kantian conception of duties to the self and to defend them against common objections. Kant’s thesis that all duty rests on duties to the self is shown to follow from the autonomy of the human will; and the allegation that they are impossible because the agent could always release himself from such a duty turns out to be question-begging. There is no attempt to prove that there are such duties, but they (...) are revealed to be an indispensable part of morality. Traditional attributes of moral commands, such as ‘categoricity’ or ‘overridingness’ make no sense in a one-sidedly other-regarding or social conception of morality. (shrink)

This paper explores the possibility of moral conflict in Kant’s ethics. An analysis of the only explicit discussion of the topic in his published writings confirms that there is no room for genuine moral dilemmas. Conflict is limited to nonconclusive ‘grounds’ of obligation. They arise only in the sphere of ethical duty and, though defeasible, ought to be construed as the result of valid arguments an agent correctly judges to apply in the situation at hand. While it is difficult to (...) determine in theory what makes some of them stronger than others, these ‘grounds’ can account for practical residue in conflict cases and for a plausible form of agent regret. The principle that ‘ought implies can’ survives intact. (shrink)

In this article I discuss the question of whether a person’s existence can be better (or worse) for him than his non-existence. Recently, Nils Holtug and Melinda A. Roberts have defended an affirmative answer. These defenses, I shall argue, do not succeed. In different ways, Holtug and Roberts have got the metaphysics and axiology wrong. However, I also argue that a person’s existence can after all be better (or worse) for him than his non-existence, though for reasons other than those (...) provided by Holtug and Roberts. (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)

To reconcile the standard possible worlds model of knowledge with the intuition that ordinary agents fall far short of logical omniscience, a Stalnakerian strategy appeals to two components. The first is the idea that mathematical and logical knowledge is at bottom metalinguistic knowledge. The second is the idea that non-ideal minds are often fragmented. In this paper, we investigate this Stalnakerian reconciliation strategy and argue, ultimately, that it fails. We are not the first to complain about the Stalnakerian strategy. But (...) in contrast to existing complaints, we want to cause trouble for the strategy directly on its home turf. That is, we will advance our objection while granting both the plausibility of the fragmentation component—save for an extreme version of it—and that of the metalinguistic component. Once our central objection to the Stalnakerian strategy is in place, we will show how it negatively affects Adam Elga and Augustín Rayo’s recent attempt to apply the Stalnakerian strategy in the context of Bayesian decision theory. (shrink)

National Artificial Intelligence (AI) strategies articulate imaginaries of the integration of AI into society and envision the governing of AI research, development and applications accordingly. To integrate these central aspects of national AI strategies under one coherent perspective, this paper presented an analysis of Germany’s strategy ‘AI made in Germany’ through the conceptual lens of ordoliberal political rationality. The first part of the paper analyses how the guiding vision of a human-centric AI not only adheres to ethical and legal principles (...) consistent with Germany’s liberal democratic constitutional system but also addresses the risks and promises inherent to the ordoliberal problematization of freedom. Second, it is scrutinized how the strategy cultivates the fear of not achieving technological sovereignty in the AI sector. Thereby, it frames the global AI race as a race of competing (national) approaches to governing AI and articulates an ordoliberal approach to governing AI (the ‘third way’), according to which government has to operate between the twin dangers of governing too much and not governing enough. Third, the paper analyses how this ordoliberal proportionality of governing structures Germany’s Science Technology & Innovation Policy. It is shown that the corresponding risk-based approach of regulating AI constitutes a security apparatus as it produces an assessment of fears: weighting the fear of the failure to innovate with the fear of the ramifications of innovation. Finally, two lines of critical engagement based on this analysis are conducted. (shrink)

This article examines the evolution of the concept of existence in modern visual representation and reasoning, highlighting important milestones. In the late eighteenth century, during the so-called golden age of visual reasoning, nominalism reigned supreme and there was limited scope for existential import or individuals in logic diagrams. By the late nineteenth century, a form of realism had taken hold, whose existential commitments continue to dominate many areas in logic and visual reasoning to this day. Physical, metaphysical, epistemological, and linguistic (...) positions underlie both nominalist and realist views. Since the paradigmatic works on visual reasoning in the 1990s, formal diagram systems have been developed that revive either the nominalist or realist perspectives. Unlike in the nineteenth century, these are not motivated by philosophical views. Nevertheless, they may still have an impact on many areas of philosophy and science outside logic. (shrink)

In a possible world framework, an agent can be said to know a proposition just in case the proposition is true at all worlds that are epistemically possible for the agent. Roughly, a world is epistemically possible for an agent just in case the world is not ruled out by anything the agent knows. If a proposition is true at some epistemically possible world for an agent, the proposition is epistemically possible for the agent. If a proposition is true at (...) all epistemically possible worlds for an agent, the proposition is epistemically necessary for the agent, and as such, the agent knows the proposition. -/- This framework presupposes an underlying space of worlds that we can call epistemic space. Traditionally, worlds in epistemic space are identified with possible worlds, where possible worlds are the kinds of entities that at least verify all logical truths. If so, given that epistemic space consists solely of possible worlds, it follows that any world that may remain epistemically possible for an agent verifies all logical truths. As a result, all logical truths are epistemically necessary for any agent, and the corresponding framework only allows us to model logically omniscient agents. This is a well-known consequence of the standard possible world framework, and it is generally taken to imply that the framework cannot be used to model non-ideal agents that fall short of logical omniscience. -/- A familiar attempt to model non-ideal agents within a broadly world involving framework centers around the use of impossible worlds where the truths of logic can be false. As we shall see, if we admit impossible worlds where “anything goes” in epistemic space, it is easy to avoid logical omniscience. If any logical falsehood is true at some impossible world, then any logical falsehood may remain epistemically possible for some agent. As a result, we can use an impossible world involving framework to model extremely non-ideal agents that do not know any logical truths. -/- A much harder, and considerably less investigated challenge is to ensure that the resulting epistemic space can also be used to model moderately ideal agents that are not logically omniscient but nevertheless logically competent. Intuitively, while such agents may fail to rule out impossible worlds that verify complex logical falsehoods, they are nevertheless able to rule out impossible worlds that verify obvious logical falsehoods. To model such agents, we need a construction of a non-trivial epistemic space that partly consists of impossible worlds where not "anything goes". This involves imposing substantive constraints on impossible worlds to eliminate from epistemic space, say, trivially impossible worlds that verify obvious logical falsehoods. -/- The central aim of this dissertation is to investigate the nature of such non-trivially impossible worlds and the corresponding epistemic spaces. To flag my conclusions, I argue that successful constructions of epistemic spaces that can safely navigate between the Charybdis of logical omniscience and the Scylla of of “anything goes” are hard, if not impossible to find. (shrink)

Derek Parfit famously defends a number of surprising views about "fission." One is that, in such a scenario, it is indeterminate whether I have survived or not. Another is that the fission case shows that it does not matter, in itself, whether I survive or not. Most critics of the first view contend that fission makes me cease to exist. Most opponents of the second view contend that fission does not preserve everything that matters in ordinary survival. In this paper (...) I shall provide a critique that does not rely on either of these contentions. There are other, interrelated reasons to reject Parfit's defense of the two theses. In particular, the availability of the following view creates trouble for Parfit: I determinately survive fission, but it is indeterminate which fission product I am. (shrink)

For more than 20 years, research has proven the beneficial effect of natural frequencies when it comes to solving Bayesian reasoning tasks (Gigerenzer & Hoffrage, 1995). In a recent meta-analysis, McDowell & Jacobs (2017) showed that presenting a task in natural frequency format increases performance rates to 24% compared to only 4% when the same task is presented in probability format. Nevertheless, on average three quarters of participants in their meta-analysis failed to obtain the correct solution for such a task (...) in frequency format. In this paper, we present an empirical study on what participants typically do wrong when confronted with natural frequencies. We found that many of them did not actually use natural frequencies for their calculations, but translated them back into complicated probabilities instead. This switch from the intuitive presentation format to a less intuitive calculation format will be discussed within the framework of psychological theories (e.g., the Einstellung effect). (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)

Logic diagrams have seen a resurgence in their application in a range of fields, including logic, biology, media science, computer science and philosophy. Consequently, understanding the history and philosophy of these diagrams has become crucial. As many current diagrammatic systems in logic are based on ideas that originated in the 18th and 19th centuries, it is important to consider what motivated the use of logic diagrams in the past and whether these reasons are still valid today. This paper proposes that (...) transcendental philosophy was a key inspiration for the development of logic diagrams and that such diagrams can be employed in transcendental arguments, even after the linguistic turn. (shrink)

In this paper, I identify and discuss the following feature of our judgments about hypothetical scenarios concerning the identity of persons: with respect to the vast majority of scenarios, both members of a pair of logically complementary propositions about personal identity are conceivable. I consider a number of explanations of this feature that draw on the metaphysics and the epistemology of personal identity, none of which prove to be satisfactory. I then argue that in order to give an adequate explanation, (...) one needs to recognize an important characteristic of our concept of personal identity: it is such that if there are mental substances (or the like), they constitute personal identity. At the same time, there can still be persons if there are no such substances. Since this finding casts doubts on the way that thought experiments about personal identity are usually set up, I end by outlining its potential consequences for the debate over the identity of persons. (shrink)

The concept of the person is widely assumed to be indispensable for making a rights claim. But a survey of the concept's appearance in legal discourse reveals that the concept is stretched to the breaking point. Personhood stands at the center of debates as diverse as the legal status of embryos and animals to the rights and responsibilities of corporations and nations. This Note argues that personhood is a cluster concept with distinct components: the biological concept of the human being, (...) the notion of a rational agent, and unity of consciousness. Use of these component concepts (in lieu of the concept of the person) in legal reasoning would promote greater systematicity and coherence. (shrink)

In this paper, we critically examine Molly Gardner’s favored solution to what she calls “the problem of justified harm.” We argue that Gardner’s view is false and that her arguments in support of it are unconvincing. Finally, we briefly suggest an alternative solution to the problem which avoids the difficulties that beset Gardner’s proposal.

Some forms of argumentation are best performed through words. However, there are also some forms of argumentation that may be best presented visually. Thus, this paper examines the virtues of visual argumentation. What makes visual argumentation distinct from verbal argumentation? What aspects of visual argumentation may be considered especially beneficial?

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)

A widespread perspective describes emotions as distinct categories bridged by fuzzy boundaries, indicating that emotions are distinct and dimensional at the same time. Theoretical and methodological approaches to this perspective still need further development. We conceptualize emotions as overlapping networks of causal relationships between emotion components—networks representing distinct emotions share components with and relate to each other. To investigate this conceptualization, we introduce network analysis to emotion research and apply it to the reanalysis of a data set on multiple positive (...) emotions. Specifically, we describe the estimation of networks from data, and the detection of overlapping communities of nodes in these networks. The network perspective has implications for the understanding of distinct emotions, their co-occurrence, and their measurement. (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.

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)

Pluralistic ignorance is a socio-psychological phenomenon that involves a systematic discrepancy between people’s private beliefs and public behavior in certain social contexts. Recently, pluralistic ignorance has gained increased attention in formal and social epistemology. But to get clear on what precisely a formal and social epistemological account of pluralistic ignorance should look like, we need answers to at least the following two questions: What exactly is the phenomenon of pluralistic ignorance? And can the phenomenon arise among perfectly rational agents? In (...) this paper, we propose answers to both these questions. First, we characterize different versions of pluralistic ignorance and define the version that we claim most adequately captures the examples cited as paradigmatic cases of pluralistic ignorance in the literature. In doing so, we will stress certain key epistemic and social interactive aspects of the phenomenon. Second, given our characterization of pluralistic ignorance, we argue that the phenomenon can indeed arise in groups of perfectly rational agents. This, in turn, ensures that the tools of formal epistemology can be fully utilized to reason about pluralistic ignorance. (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.

Why, then, has Anglo-American jurisprudence remained staunchly indifferent to history? How has it been able to maintain its confident assumption that the analytical and the historical can be neatly...

This paper critically examines Timothy Williamson’s claim that knowledge figures essentially in explanations of behavior. Since this claim implies that knowledge is causally efficacious in bringing about actions, it plays a key role in Williamson’s case for knowledge being a mental state. I first discuss a central example of Williamson, in which a burglar ransacks a house. I dispute Williamson’s claim that the best explanation of the burglar’s behavior invokes the burglar’s state of knowledge as he enters the house, by (...) arguing that there is a better explanation that only mentions the burglar’s beliefs. Since the reasons that explain the superiority of my proposed explanation generalize, I conclude that one does not have to invoke a subject’s state of knowledge to explain behavior. Nevertheless, Williamson’s explanation is superior to belief-based explanations if one only considers facts that obtain before the action takes place. In the final part of the paper, I argue that this fact does not help Williamson’s case for considering knowledge as a mental state. (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)

A recent approach to the problem of logical omniscience holds that belief is question-sensitive: what an agent believes depends on what question they try to answer (Pérez Carballo, 2016; Yalcin, 2018; Hoek, 2022). While the question-sensitive approach can avoid some logical omniscience problems, we argue that it suffers from nearby problems. First, these accounts all validate closure principles that are just as implausible as the ones it was designed to avoid. Second, question-sensitivity by itself isn’t suitable for explaining many kinds (...) of failures of logical omniscience. Recognizing the flaws of this approach, however, naturally leads to a more promising solution. Our account generalizes the question-sensitive approach by appealing to (1) the defeasible nature of dispositions toward action associated with belief and (2) the algorithms an agent uses to make decisions. On our view, then, believing that φ means being disposed to employ an algorithm which outputs acting on the information that φ in normal circumstances associated with φ. We argue that this account naturally generalizes the question-sensitive accounts while avoiding their faults. (shrink)

A central claim in abortion ethics is what might be called the Harm Claim – the claim that abortion harms the fetus. In this article, we put forward a simple and straightforward reason to reject the Harm Claim. Rather than invoking controversial assumptions about personal identity, or some nonstandard account of harm, as many other critics of the Harm Claim have done, we suggest that the aborted fetus cannot be harmed for the simple reason that it does not occupy any (...) well-being level. (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)

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)

In his earlier writings, Fred Dretske proposed an anti-skeptical strategy that is based on a rejection of the view that knowledge is closed under known entailment. This strategy is seemingly congenial with a sensitivity condition for knowledge, which is often associated with Dretske’s epistemology. However, it is not obvious how Dretske’s early account meshes with the information-theoretic view developed in Knowledge and the Flow of Information. One aim of this paper is to elucidate the connections between these accounts. First I (...) argue that, contrary to an objection raised by Christoph Jäger, the information-theoretic account is compatible with Dretske’s anti-skeptical strategy based on the rejection of closure. This strategy invokes the notion of channel conditions, which are roughly speaking those conditions that are necessary and jointly sufficient for a signal to carry information. I propose an interpretation of the account that is based on the idea that a signal’s carrying information requires that the channel conditions are stable. It is shown that the resulting account incorporates both a sensitivity condition and a safety condition for knowledge. Finally, I demonstrate how this proposal allows for knowledge of modally robust propositions without making its acquisition too easy, as simple safety accounts do. I end with a suggestion concerning the direction that future research should take, based on the fact that in its present form the information-theoretic account does not capture inferential knowledge. (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)