There is a trade-off between specificity and accuracy in existing models of belief. Descriptions of agents in the tripartite model, which recognizes only three doxastic attitudes—belief, disbelief, and suspension of judgment—are typically accurate, but not sufficiently specific. The orthodox Bayesian model, which requires real-valued credences, is perfectly specific, but often inaccurate: we often lack precise credences. I argue, first, that a popular attempt to fix the Bayesian model by using sets of functions is also inaccurate, since it requires us to (...) have interval-valued credences with perfectly precise endpoints. We can see this problem as analogous to the problem of higher order vagueness. Ultimately, I argue, the only way to avoid these problems is to endorse Insurmountable Unclassifiability. This principle has some surprising and radical consequences. For example, it entails that the trade-off between accuracy and specificity is in-principle unavoidable: sometimes it is simply impossible to characterize an agent’s doxastic state in a way that is both fully accurate and maximally specific. What we can do, however, is improve on both the tripartite and existing Bayesian models. I construct a new model of belief—the minimal model—that allows us to characterize agents with much greater specificity than the tripartite model, and yet which remains, unlike existing Bayesian models, perfectly accurate. (shrink)

Although artificial intelligence has been given an unprecedented amount of attention in both the public and academic domains in the last few years, its convergence with other transformative technologies like cloud computing, robotics, and augmented/virtual reality is predicted to exacerbate its impacts on society. The adoption and integration of these technologies within industry and manufacturing spaces is a fundamental part of what is called Industry 4.0, or the Fourth Industrial Revolution. The impacts of this paradigm shift on the human operators (...) who continue to work alongside and symbiotically with these technologies in the industry bring with it novel ethical issues. Therefore, how to design these technologies for human values becomes the critical area of intervention. This paper takes up the case study of robotic AI-based assistance systems to explore the potential value implications that emerge due to current design practices and use. The design methodology known as Value Sensitive Design (VSD) is proposed as a sufficient starting point for designing these technologies for human values to address these issues. (shrink)

It is argued that logic, and in particular mathematical logic, should play a key role in the undergraduate curriculum for students in the computing fields, which include electrical engineering (EE), computer engineering (CE), and computer science (CS). This is based on 1) the history of the field of computing and its close ties with logic, 2) empirical results showing that students with better logical thinking skills perform better in tasks such as programming and mathematics, and 3) the skills students are (...) expected to have in the job market. Further, the authors believe teaching logic to students explicitly will improve student retention, especially involving underrepresented minorities. Though this work focuses specifically on the computing fields, these results demonstrate the importance of logic education to STEM (science, technology, engineering, and mathematics) as a whole. (shrink)

In this paper I discuss five meta-ethical challenges to Naturalistic Moral Realism, which includes secular moral codes such as Secular Humanism that, in my view, naturalists need to address to keep their commitment to moral realism from looking like special pleading. The five challenges are as follows: 1. The Ontological Problem (OP): How do such moral principles exist? 2. The Epistemic Problem (EP): How does our moral sense/intuition track such principles? 3. The Influence Problem (IP): What authority does the existence (...) of such principles have to supervene on our behavior? 4. The Axiological Problem (AP): What entities have moral value and deserve moral consideration? 5. Methodological Problem (MP): How do we go about arbitrating between moral claims when they conflict? (shrink)

This very brief paperli provides plausible answers to the two residual questions that Jamie Tappenden states, but leaves unanswered, in his 2024 paper ‘Following Bobzien: Some notes on Frege’s development and engagement with his environment’, namely, why Frege read Sigwart’s Logik and what caused Frege to read Prantl. (This paperli is merely historical and offers no special philosophical insights of any sort.) ---------- OPEN ACCESS. Choose 'without proxy' below.

Bobzien’s reply to a defamatory blogpost on her essay ‘Frege plagiarized the Stoics’ in which she is accused among other things of plagiarism (!), and deliberate deception, and which contains a large number of falsehoods. (This reply is a minor contribution to the discussion of 'Frege plagiarized the Stoics', simply setting the record straight. It contains no important philosophical content whatsoever.).

It is argued that Maximum Likelihood Estimation (MLE) is wrong, both conceptually and in terms of results it produces (except in two very special cases, which are discussed). While the use of MLE can still be justified on the basis of its practical performance, we argue there are better estimation methods that overcome MLE's empirical and philosophical shortcomings while retaining all of MLE's benefits.

In this article, I will discuss some of the arguments for and against the existence of God, in particular the monotheistic God believed in the Abramahamic religions (Judiasm, Islam, and Christianity) as well as Babism, the Bahai Faith, and Sikhism. Arguments for the existence of God try to argue that either God exists (based on other things people agree with) or that belief in God is reasonable. Arguments against the existence of God try to argue that the existence of God (...) leads to some contradiction or other absurdity. (shrink)

In this paper, I give a brief overview of ideas from Reformed Epistemology, and the relationship between faith, evidence, and belief. I discuss what makes belief in God rationally warranted, and how reformed epistemology strikes a middle ground between fideism and evidentialism. In effect, reformed epistemology avoids the fideist idea that belief in God must be taken on "blind faith," but also avoids some of the epistemic issues present in evidentialism, such as its self-referential incoherence. The reformed epistemologist says belief (...) in God is rational, but not for the reasons demanded by evidentialists. (shrink)

The problem of evil is one of the most significant challenges to theism and Christianity in particular, asking why there seems to be so much evil if an omnibenevolent (all good), loving God exists. The problem of evil, as posed by many atheists and agnostics today, (following Epicurus) often asserts that the following premises cannot all be true: 1. God exists, and is omnipotent (all-powerful) 2. God exists, and is omnibenevolent (all-good) 3. God exists, and is omniscient (all-knowing) 4. Evil (...) exists Christian thinkers over the past two thousand years have given various responses to the problem of evil in the form of various theodicies, or attempts to explain why evil exists (or appears to exist) given the existence of an Omniscient, Omnipotent, Omnibenevolent God. This document serves as a brief overview of different theodicies offered by Christian thinkers throughout history. (shrink)

Anti-intellectualism involves general mistrust of scholars, academics, and ex- perts, often as pretentious or power-motivated. While scholars have described currents of anti-intellectualism in American public life, evangelical Christianity, in responses to COVID, and rural identity, to my knowledge none have looked at how anti-intellectualism specifically manifests in the New Atheism movement. In this work, we explore the way anti-intellectualism is commonly found and expressed in New Atheism and the modern Skeptical Movement, including scientific skepticism more generally.

In this extended essay, I argue that Frege plagiarized the Stoics --and I mean exactly that-- on a large scale in his work on the philosophy of logic and language as written mainly between 1890 and his death in 1925 (much of which published posthumously) and possibly earlier. I use ‘plagiarize' (or 'plagiarise’) merely as a descriptive term. The essay is not concerned with finger pointing or casting moral judgement. The point is rather to demonstrate carefully by means of detailed (...) evidence that there are numerous (over a hundred) and extensive parallels both in formulation and --more importantly-- in content between the Stoics and Frege, parallels so plentiful that one would be hard pressed to brush them off as coincidence. These parallels include several that appear to occur in no other modern works that were published before Frege’s own and were accessible to him. Additionally, a cluster of corroborating historical data is adduced to support the suggestion, showing how easy it would have to been for Frege to plagiarize the Stoics. This (first) part of the essay is easy to read and vaguely entertaining, or so I hope. -/- (Corrigendum: At school, Frege likely had seven, not ten, years of intensive Latin and four years of intensive ancient Greek courses.). (shrink)

ABSTRACT: This paper offers a generic revenge-proof solution to the Sorites paradox that is compatible with several philosophical approaches to vagueness, including epistemicism, supervaluationism, psychological contextualism and intuitionism. The solution is traditional in that it rejects the Sorites conditional and proposes a modally expressed weakened conditional instead. The modalities are defined by the first-order logic QS4M+FIN. (This logic is a modal companion to the intermediate logic QH+KF, which places the solution between intuitionistic and classical logic.) Borderlineness is introduced modally as (...) usual. The solution is innovative in that its modal system brings out the semi-determinability of vagueness. Whether something is borderline and whether a predicate is vague or precise is only semi-determinable: higher-order vagueness is columnar. Finally, the solution is based entirely on two assumptions. (1) It rejects the Sorites conditional. (2) It maintains that if one specifies borderlineness in terms of the ‒suitably interpreted‒ modal logic QS4M+FIN, then one can explain why the Sorites appears paradoxical. From (1)+(2) it results that one can tell neither where exactly in a Sorites series the borderline zone starts and ends nor what its extension is. Accordingly, the solution is also called agnostic. (shrink)

In this essay, I will explain why Methodological Naturalism (MN) fails as a demarcating criteria for science. I will argue that MN is not precise enough to be useful for demarcation, unable to follow the evidence where it leads, not theologically neutral (despite its stated goals as such), and difficult to justify (and currently unjustified) as an ontological or epistemic principle.

This paper is a discussion of Gabriel, Hülser and Schlotter’s 2009 article on a possible causal relation between Stoic logic and Frege. The paper provides detailed argument for why Rudolf Hirzel should not be taken as the qualified middleman in philosophical discussion with whom Frege learned what he ‘borrowed’ without acknowledgement from Stoic logic. Additionally, this paper offers some modest findings about some aspects of Frege's and Hirzel's lives and work habits, which may help us understand a little better Frege's (...) connection to Hirzel and to Stoic logic as well as Frege’s failure to acknowledge the Stoics. This paper is a purely historical offshoot of my essay ‘Frege plagiarized the Stoics’. Zero direct insights into either Frege’s or Stoic philosophy are offered. OPEN ACCESS. Choose 'without proxy' below. (shrink)

We argue that the extant evidence for Stoic logic provides all the elements required for a variable-free theory of multiple generality, including a number of remarkably modern features that straddle logic and semantics, such as the understanding of one- and two-place predicates as functions, the canonical formulation of universals as quantified conditionals, a straightforward relation between elements of propositional and first-order logic, and the roles of anaphora and rigid order in the regimented sentences that express multiply general propositions. We consider (...) and reinterpret some ancient texts that have been neglected in the context of Stoic universal and existential propositions and offer new explanations of some puzzling features in Stoic logic. Our results confirm that Stoic logic surpasses Aristotle’s with regard to multiple generality, and are a reminder that focusing on multiple generality through the lens of Frege-inspired variable-binding quantifier theory may hamper our understanding and appreciation of pre-Fregean theories of multiple generality. (shrink)

This work deals with problems involving infinities and infinitesimals. It explores the ideas behind zero, its relationship to ontological nothingness, finititude (such as finite numbers and quantities), and the infinite. The idea of infinity and zero are closely related, despite what many perceive as an intuitive inverse relationship. The symbol 0 generally refers to nothingness, whereas the symbol infinity refers to ``so much'' that it cannot be quantified or captured. The notion of finititude rests somewhere between complete nothingness and something (...) having no end. -/- My concern is that many of the philosophers arguing for or against the ontology (or possibility) of an actual infinite set are unaware or unfamiliar with the mathematical literature attempting to clearly and rigorously define these terms. I believe it is a mistake to leave mathematicians out of this conversation, as analysts in particular have defined (and used) infinity in a way that is relevant to the ongoing debate between philosophers. -/- For this paper, I have selected examples from Principles of Analysis by Walter Rudin, which has become a standard text for Real Analysis classes taken by pure mathematicians and engineers. I will also restrict the scope of examples to Euclidean spaces for simplicity. Finally, I will be using addition, + and multiplication * in their usual way. (shrink)

In this article, I define a cultural epistemology as a set of socially reinforced assumptions about how knowledge and truth are produced. Unlike a philosophical epistemology, a cultural epistemology is largely the product of culture and largely invisible. As products of culture, cultural epistemology are relatively unquestioned and, in many cases, philosophically unsophisticated. There are three common types of cultural epistemologies, influenced by who holds power in a given society: an epistemological monarchy, an epistemological oligarchy and an epistemological democracy. A (...) given cultural epistemology subsequently influences the legitimacy of culture and government itself. I argue argue that Americans tend to hold an "epistemological democracy" with two distinct facets: a trust in consensus, linked to living in a democratic republic, and a trust in their own self-interest, linked to market economics and capitalism more generally. These two facets combine, interact, and even oppose each other to legitimize and challenge American culture and its political and economic systems. (shrink)

ABSTRACT: For the Stoics, a syllogism is a formally valid argument; the primary function of their syllogistic is to establish such formal validity. Stoic syllogistic is a system of formal logic that relies on two types of argumental rules: (i) 5 rules (the accounts of the indemonstrables) which determine whether any given argument is an indemonstrable argument, i.e. an elementary syllogism the validity of which is not in need of further demonstration; (ii) one unary and three binary argumental rules which (...) establish the formal validity of non-indemonstrable arguments by analysing them in one or more steps into one or more indemonstrable arguments (cut type rules and antilogism). The function of these rules is to reduce given non-indemonstrable arguments to indemonstrable syllogisms. Moreover, the Stoic method of deduction differs from standard modern ones in that the direction is reversed (similar to tableau methods). The Stoic system may hence be called an argumental reductive system of deduction. In this paper, a reconstruction of this system of logic is presented, and similarities to relevance logic are pointed out. (shrink)

In this paper, I wish to criticize the notion that consensus is an epistemology. While I have never seen it explicitly claimed that “consensus is an epistemology,” I have nonetheless seen it implied in many scholarly (and layperson) articles. This occurs whenever articles cite, “a majority of scholars agree that…” or “most scientists/researchers think…” In our democratic, individualistic society, we put a value on high value votes and the quantification of majority viewpoints, whether it be in political polls (due to (...) living in a democracy), online on websites with ranking or voting systems such as Reddit, YouTube, or Instagram. The danger here is we may defer too much to the consensus view without appropriate justification. I will give several reasons why we should be skeptical of appeals to consensus (including a consensus of experts), which include its non-obvious link to ontology, the fact that consensus changes, and a lack of specificity of who counts as an ``expert,'' the lack of specificity on how to handle consensus (if it does occur), and epistemic undercutting defeaters from evolutionary epistemology. While an appeal to consensus may not tell us much about whether a theory is true, they can give us practical or pragmatic reasons for trusting a position. (shrink)

This paper contends that Stoic logic (i.e. Stoic analysis) deserves more attention from contemporary logicians. It sets out how, compared with contemporary propositional calculi, Stoic analysis is closest to methods of backward proof search for Gentzen-inspired substructural sequent logics, as they have been developed in logic programming and structural proof theory, and produces its proof search calculus in tree form. It shows how multiple similarities to Gentzen sequent systems combine with intriguing dissimilarities that may enrich contemporary discussion. Much of Stoic (...) logic appears surprisingly modern: a recursively formulated syntax with some truth-functional propositional operators; analogues to cut rules, axiom schemata and Gentzen’s negation-introduction rules; an implicit variable-sharing principle and deliberate rejection of Thinning and avoidance of paradoxes of implication. These latter features mark the system out as a relevance logic, where the absence of duals for its left and right introduction rules puts it in the vicinity of McCall’s connexive logic. Methodologically, the choice of meticulously formulated meta-logical rules in lieu of axiom and inference schemata absorbs some structural rules and results in an economical, precise and elegant system that values decidability over completeness. (shrink)

ABSTRACT: I argue that there is no evidence that Epicurus dealt with the kind of free-will problem he is traditionally associated with; i.e. that he discussed free choice or moral responsibility grounded on free choice, or that the "swerve" was involved in decision processes. Rather, for Epicurus, actions are fully determined by the agent's mental disposition at the outset of the action. Moral responsibility presupposes not free choice but that the person is unforced and causally responsible for the action. This (...) requires the agent's ability to influence causally, on the basis of their beliefs, the development of their behavioral dispositions. The "swerve" was intended to explain the non-necessity of agency without undermining Epicurus' atomistic explanation of the order in the universe, viz. by making the mental dispositions of adults non-necessary. (shrink)

The purpose of this paper is to challenge some widespread assumptions about the role of the modal axiom 4 in a theory of vagueness. In the context of vagueness, axiom 4 usually appears as the principle ‘If it is clear (determinate, definite) that A, then it is clear (determinate, definite) that it is clear (determinate, definite) that A’, or, more formally, CA → CCA. We show how in the debate over axiom 4 two different notions of clarity are in play (...) (Williamson-style "luminosity" or self-revealing clarity and concealeable clarity) and what their respective functions are in accounts of higher-order vagueness. On this basis, we argue first that, contrary to common opinion, higher-order vagueness and S4 are perfectly compatible. This is in response to claims like that by Williamson that, if vagueness is defined with the help of a clarity operator that obeys axiom 4, higher-order vagueness disappears. Second, we argue that, contrary to common opinion, (i) bivalence-preservers (e.g. epistemicists) can without contradiction condone axiom 4 (by adopting what elsewhere we call columnar higher-order vagueness), and (ii) bivalence-discarders (e.g. open-texture theorists, supervaluationists) can without contradiction reject axiom 4. Third, we rebut a number of arguments that have been produced by opponents of axiom 4, in particular those by Williamson. (The paper is pitched towards graduate students with basic knowledge of modal logic.). (shrink)

Most descriptions of higher-order vagueness in terms of traditional modal logic generate so-called higher-order vagueness paradoxes. The one that doesn't is problematic otherwise. Consequently, the present trend is toward more complex, non-standard theories. However, there is no need for this.In this paper I introduce a theory of higher-order vagueness that is paradox-free and can be expressed in the first-order extension of a normal modal system that is complete with respect to single-domain Kripke-frame semantics. This is the system QS4M+BF+FIN. It corresponds (...) to the class of transitive, reflexive and final frames. With borderlineness defined logically as usual, it then follows that something is borderline precisely when it is higher-order borderline, and that a predicate is vague precisely when it is higher-order vague.Like Williamson's, the theory proposed here has no clear borderline cases in Sorites sequences. I argue that objections that there must be clear borderline cases ensue from the confusion of two notions of borderlineness—one associated with genuine higher-order vagueness, the other employed to sort objects into categories—and that the higher-order vagueness paradoxes result from superimposing the second notion onto the first. Lastly, I address some further potential objections. (shrink)

ABSTRACT: A very brief summary presentation of western ancient logic for the non-specialized reader, from the beginnings to Boethius. For a much more detailed presentation see my "Ancient Logic" in the Stanford Encyclopedia of Philosopy (also on PhilPapers).

ABSTRACT: This paper serves two purposes: (i) it can be used by students as an introduction to chapters 1-5 of book iii of the NE; (ii) it suggests an answer to the unresolved question what overall objective this section of the NE has. The paper focuses primarily on Aristotle’s theory of what makes us responsible for our actions and character. After some preliminary observations about praise, blame and responsibility (Section 2), it sets out in detail how all the key notions (...) of NE iii 1-5 are interrelated (Sections 3-9). The setting-out of these interconnections makes it then possible to provide a comprehensive interpretation of the purpose of the passage. Its primary purpose is to explain how agents are responsible for their actions not just insofar as they are actions of this kind or that, but also insofar as they are noble or base: agents are responsible for their actions qua noble or base, because, typically via choice, their character dispositions are a causal factor of those actions (Section 10). The paper illustrates the different ways in which agents can be causes of their actions by means of Aristotle’s four basic types of agents (Section 11). A secondary purpose of NE iii 1-5 is to explain how agents can be held responsible for consequences of their actions (Section 12), in particular for their character dispositions insofar as these are noble or base, i.e. virtues or vices (Section 13). These two goals are not the only ones Aristotle pursues in the passage. But they are the ones Aristotle himself indicates in its first sentence and summarizes in its last paragraph; and the ones that give the passage a systematic unity. The paper also briefly consider the issues of freedom-to-do-otherwise, free choice and free-will in the contexts in which they occur (i.e. in the final paragraphs of Sections 6, 7, 12, 13). (shrink)

Intuitionistic logic provides an elegant solution to the Sorites Paradox. Its acceptance has been hampered by two factors. First, the lack of an accepted semantics for languages containing vague terms has led even philosophers sympathetic to intuitionism to complain that no explanation has been given of why intuitionistic logic is the correct logic for such languages. Second, switching from classical to intuitionistic logic, while it may help with the Sorites, does not appear to offer any advantages when dealing with the (...) so-called paradoxes of higher-order vagueness. We offer a proposal that makes strides on both issues. We argue that the intuitionist’s characteristic rejection of any third alethic value alongside true and false is best elaborated by taking the normal modal system S4M to be the sentential logic of the operator ‘it is clearly the case that’. S4M opens the way to an account of higher-order vagueness which avoids the paradoxes that have been thought to infect the notion. S4M is one of the modal counterparts of the intuitionistic sentential calculus and we use this fact to explain why IPC is the correct sentential logic to use when reasoning with vague statements. We also show that our key results go through in an intuitionistic version of S4M. Finally, we deploy our analysis to reply to Timothy Williamson’s objections to intuitionistic treatments of vagueness. (shrink)

ABSTRACT: This paper traces the earliest development of the most basic principle of deduction, i.e. modus ponens (or Law of Detachment). ‘Aristotelian logic’, as it was taught from late antiquity until the 20th century, commonly included a short presentation of the argument forms modus (ponendo) ponens, modus (tollendo) tollens, modus ponendo tollens, and modus tollendo ponens. In late antiquity, arguments of these forms were generally classified as ‘hypothetical syllogisms’. However, Aristotle did not discuss such arguments, nor did he call any (...) arguments ‘hypothetical syllogisms’. The Stoic indemonstrables resemble the modus ponens/tollens arguments. But the Stoics never called them ‘hypothetical syllogisms’; nor did they describe them as ponendo ponens, etc. The tradition of the four argument forms and the classification of the arguments as hypothetical syllogisms hence need some explaining. In this paper, I offer some explanations by tracing the development of certain elements of Aristotle’s logic via the early Peripatetics to the logic of later antiquity. I consider the questions: How did the four argument forms arise? Why were there four of them? Why were arguments of these forms called ‘hypothetical syllogisms’? On what grounds were they considered valid? I argue that such arguments were neither part of Aristotle’s dialectic, nor simply the result of an adoption of elements of Stoic logic, but the outcome of a long, gradual development that begins with Aristotle’s logic as preserved in his Topics and Prior Analytics; and that, as a result, we have a Peripatetic logic of hypothetical inferences which is a far cry both from Stoic logic and from classical propositional logic, but which sports a number of interesting characteristics, some of which bear a cunning resemblance to some 20th century theories. (shrink)

ABSTRACT: This paper argues that the so-called paradoxes of higher-order vagueness are the result of a confusion between higher-order vagueness and the distribution of the objects of a Sorites series into extensionally non-overlapping non-empty classes.

ABSTRACT: Recently a bold and admirable interpretation of Chrysippus’ position on the Sorites has been presented, suggesting that Chrysippus offered a solution to the Sorites by (i) taking an epistemicist position1 which (ii) made allowances for higher-order vagueness. In this paper I argue (i) that Chrysippus did not take an epistemicist position, but − if any − a non-epistemic one which denies truth-values to some cases in a Sorites-series, and (ii) that it is uncertain whether and how he made allowances (...) for higher-order vagueness, but if he did, this was not grounded on an epistemicist position. (shrink)

ABSTRACT: In antiquity we encounter a distinction of two types of hypothetical syllogisms. One type are the ‘mixed hypothetical syllogisms’. The other type is the one to which the present paper is devoted. These arguments went by the name of ‘wholly hypothetical syllogisms’. They were thought to make up a self-contained system of valid arguments. Their paradigm case consists of two conditionals as premisses, and a third as conclusion. Their presentation, either schematically or by example, varies in different authors. For (...) instance, we find ‘If (it is) A, (it is) B; if (it is) B, (it is) C; therefore, if (it is) A, (it is) C’. The main contentious point about these arguments is what the ancients thought their logical form was. Are A, B, C schematic letters for terms or propositions? Is ‘is’, where it occurs, predicative, existential, or veridical? That is, should ‘A esti’ be translated as ‘it is an A’, ‘A exists’, ‘As exist’ or ‘It is true/the case that A’? If A, B, C are term letters, and ‘is’ is predicative, are the conditionals quantified propositions or do they contain designators? If one cannot answer these questions, one can hardly claim to know what sort of arguments the wholly hypothetical syllogisms were. In fact, all the above-mentioned possibilities have been taken to describe them correctly. In this paper I argue that it would be mistaken to assume that in antiquity there was one prevalent understanding of the logical form of these arguments - even if the ancients thought they were all talking about the same kind of argument. Rather, there was a complex development in their understanding, starting from a term-logical conception and leading to a propositional-logical one. I trace this development from Aristotle to Philoponus and set out the deductive system on which the logic of the wholly hypothetical syllogisms was grounded. (shrink)

ABSTRACT: This is a short companion piece to my ‘Found in Translation – Aristotle’s Nicomachean Ethics III.5 1113b7-8 and its Reception’ in which I examine in close textual analysis the philosophical question whether these two lines from the Nicomachean Ethics provide any evidence that Aristotle discussed free choice – as is not infrequently assumed. The result is that they do not, and that the claim that they do tends to be based on a mistranslation of the Greek. (There is some (...) inevitable overlap with Part 1 of the 'Found in Translation' paper.). (shrink)

eSports practice designates a unique set of activities tethered to competitive, virtual environments, or worlds. This correlation between eSports practitioner and virtual world, we argue, is inadequately accounted for solely in terms of something physical or intellectual. Instead, we favor a perspective on eSports practice to be analyzed as a perceptual and embodied phenomenon. In this article, we present the phenomenological approach and focus on the embodied sensations of eSports practitioners as they cope with and perceive within their virtual worlds. (...) By approaching eSports phenomenologically, we uncover ways in which its unique forms of virtual involvement overlap with as well as differentiate themselves from traditional structures of embodiment. (shrink)

ABSTRACT: A systematic reconstruction of Chrysippus’ theory of causes, grounded on the Stoic tenets that causes are bodies, that they are relative, and that all causation can ultimately be traced back to the one ‘active principle’ which pervades all things. I argue that Chrysippus neither developed a finished taxonomy of causes, nor intended to do so, and that he did not have a set of technical terms for mutually exclusive classes of causes. Rather, the various adjectives which he used for (...) causes had the function of describing or explaining particular features of certain causes in particular philosophical contexts. I challenge the sometimes assumed close connection of Chrysippus’ notion of causation with explanation. I show that the standard view that the distinction between proximate and auxiliary causes and perfect and principal causes corresponds to the distinction between internal and external determining factors is not born out by the evidence, and argue that causes of the two types were not thought to co-operate, but rather conceived of as alternatives. (shrink)

ABSTRACT: In this paper I argue (i) that the hypothetical arguments about which the Stoic Chrysippus wrote numerous books (DL 7.196) are not to be confused with the so-called hypothetical syllogisms" but are the same hypothetical arguments as those mentioned five times in Epictetus (e.g. Diss. 1.25.11-12); and (ii) that these hypothetical arguments are formed by replacing in a non-hypothetical argument one (or more) of the premisses by a Stoic "hypothesis" or supposition. Such "hypotheses" or suppositions differ from propositions in (...) that they have a specific logical form and no truth-value. The reason for the introduction of a distinct class of hypothetical arguments can be found in the context of dialectical argumentation. The paper concludes with the discussion of some evidence for the use of Stoic hypothetical arguments in ancient texts. (shrink)

ABSTRACT: The 3rd BCE Stoic logician "Chrysippus says that the number of conjunctions constructible from ten propositions exceeds one million. Hipparchus refuted this, demonstrating that the affirmative encompasses 103,049 conjunctions and the negative 310,952." After laying dormant for over 2000 years, the numbers in this Plutarch passage were recently identified as the 10th (and a derivative of the 11th) Schröder number, and F. Acerbi showed how the 2nd BCE astronomer Hipparchus could have calculated them. What remained unexplained is why Hipparchus’ (...) logic differed from Stoic logic, and consequently, whether Hipparchus actually refuted Chrysippus. This paper closes these explanatory gaps. (1) I reconstruct Hipparchus’ notions of conjunction and negation, and show how they differ from Stoic logic. (2) Based on evidence from Stoic logic, I reconstruct Chrysippus’ calculations, thereby (a) showing that Chrysippus’ claim of over a million conjunctions was correct; and (b) shedding new light on Stoic logic and – possibly – on 3rd century BCE combinatorics. (3) Using evidence about the developments in logic from the 3rd to the 2nd centuries, including the amalgamation of Peripatetic and Stoic theories, I explain why Hipparchus, in his calculations, used the logical notions he did, and why he may have thought they were Stoic. OPEN ACCESS LINK. (shrink)

ABSTRACT: This paper discusses ancient versions of paradoxes today classified as paradoxes of presupposition and how their ancient solutions compare with contemporary ones. Sections 1-4 air ancient evidence for the Fallacy of Complex Question and suggested solutions, introduce the Horn Paradox, consider its authorship and contemporary solutions. Section 5 reconstructs the Stoic solution, suggesting the Stoics produced a Russellian-type solution based on a hidden scope ambiguity of negation. The difference to Russell's explanation of definite descriptions is that in the Horn (...) Paradox the Stoics uncovered a hidden conjunction rather than a hidden existential sentence. Sections 6 and 7 investigate hidden ambiguities in 'to have' and 'to lose' (including inalienable and alienable possession) and ambiguities of quantification based on substitution of indefinite plural expressions for indefinite or anaphoric pronouns, and Stoic awareness of these. Section 8 considers metaphorical readings and allusions that add further spice to the paradox. (shrink)

ABSTRACT: An introduction to Stoic logic. Stoic logic can in many respects be regarded as a fore-runner of modern propositional logic. I discuss: 1. the Stoic notion of sayables or meanings (lekta); the Stoic assertibles (axiomata) and their similarities and differences to modern propositions; the time-dependency of their truth; 2.-3. assertibles with demonstratives and quantified assertibles and their truth-conditions; truth-functionality of negations and conjunctions; non-truth-functionality of disjunctions and conditionals; language regimentation and ‘bracketing’ devices; Stoic basic principles of propositional logic; 4. (...) Stoic modal logic; 5. Stoic theory of arguments: two premisses requirement; validity and soundness; 6. Stoic syllogistic or theory of formally valid arguments: a reconstruction of the Stoic deductive system, which consisted of accounts of five types of indemonstrable syllogisms, which function as nullary argumental rules that identify indemonstrables or axioms of the system, and four deductive rules (themata) by which certain complex arguments can be reduced to indemonstrables and thus shown to be formally valid themselves; 7. arguments that were considered as non-syllogistically valid (subsyllogistic and unmethodically concluding arguments). Their validity was explained by recourse to formally valid arguments. (shrink)

ABSTRACT: A detailed presentation of Stoic theory of arguments, including truth-value changes of arguments, Stoic syllogistic, Stoic indemonstrable arguments, Stoic inference rules (themata), including cut rules and antilogism, argumental deduction, elements of relevance logic in Stoic syllogistic, the question of completeness of Stoic logic, Stoic arguments valid in the specific sense, e.g. "Dio says it is day. But Dio speaks truly. Therefore it is day." A more formal and more detailed account of the Stoic theory of deduction can be found (...) in S. Bobzien, Stoic Syllogistic, OSAP 1996. (shrink)

ABSTRACT: This chapter offers a revenge-free solution to the liar paradox (at the centre of which is the notion of Gestalt shift) and presents a formal representation of truth in, or for, a natural language like English, which proposes to show both why -- and how -- truth is coherent and how it appears to be incoherent, while preserving classical logic and most principles that some philosophers have taken to be central to the concept of truth and our use of (...) that notion. The chapter argues that, by using a truth operator rather than truth predicate, it is possible to provide a coherent, model-theoretic representation of truth with various desirable features. After investigating what features of liar sentences are responsible for their paradoxicality, the chapter identifies the logic as the normal modal logic KT4M (= S4M). Drawing on the structure of KT4M (=S4M), the author proposes that, pace deflationism, truth has content, that the content of truth is bivalence, and that the notions of both truth and bivalence are semideterminable. (shrink)

NOTE: The English translation is listed separately. ABSTRACT: A general interpretation and close textual analysis of Kant’s theory of the categories of freedom (or categories of practical reason) in his Critique of Practical Reason. My main concerns in the paper are the following: (1) I show that Kant’s categories of freedom have primarily three functions: as conditions of the possibility for actions (i) to be free, (ii) to be comprehensible as free and (iii) to be morally evaluated. (2) I show (...) that for Kant actions, although qua theoretical objects they are always already constituted by means of the theoretical categories, qua practical objects (objects of reason in its practical use, i.e. objects qua possibly good or bad) they are constituted by means of the categories of freedom; and that it is only in this way that actions, qua phenomena, can be a consequence of freedom, and can be understood and evaluated as such. (3) Since Kant's presentation of his theory of the Categories of Freedom is extremely brief, Kant's parallel theory of the theoretical categories in his Critique of Pure Reason is used as a guide for the interpretation of the practical categories and their systematic relevance. (shrink)

ABSTRACT: 1. This paper argues that Epicurus had a notion of moral responsibility based on the agent’s causal responsibility, as opposed to the agent’s ability to act or choose otherwise; that Epicurus considered it a necessary condition for praising or blaming an agent for an action, that it was the agent and not something else that brought the action about. Thus, the central question of moral responsibility was whether the agent was the, or a, cause of the action, or whether (...) the agent was forced to act by something else. Actions could be attributed to agents because it is in their actions that the agents, qua moral beings, manifest themselves. 2. As a result, the question of moral development becomes all important. The paper collects and discusses the evidence for Epicurus views on moral development, i.e. (i) on how humans become moral beings and (ii) on how humans can become morally better. It becomes clear that Epicurus envisaged a complex web of hereditary and environmental factors to shape the moral aspect of a human being. 3. In line with Epicurus’ theory of moral responsibility and moral development, Epicurus ethics does not have the function of developing or justifying a moral system that allows for the effective allocation of praise and blame. Rather, for him the function of ethics – and in fact of the whole of philosophy – is to give everyone a chance to morally improve. (shrink)

Linear Algebra is an extremely important field that extends everyday concepts about geometry and algebra into higher spaces. This text serves as a gentle motivating introduction to the principles (and philosophy) behind linear algebra. This is aimed at undergraduate students taking a linear algebra class - in particular engineering students who are expected to understand and use linear algebra to build and design things, however it may also prove helpful for philosophy majors and anyone else interested in the ideas behind (...) linear algebra. Linear algebra is used extensively in statistics, mechanical engineering, circuit theory, signal processing, economics and data science/machine learning. I have found in my teaching career that students tend to struggle the most with motivating the "why" behind the abstract concepts discussed in linear algebra. This can be difficult for professors to understand because we are so used to using the language of linear algebra we take for granted why these questions are important in the first place. In other words, we may understand the “why” (after years of using these tools), but our students may not. This text seeks to explain this “why” in an accessible, engaging way. (shrink)

Since Mates’ seminal Stoic Logic there has been uncertainty and debate about how to treat the term anapodeiktos when used of Stoic syllogisms. This paper argues that the customary translation of anapodeiktos by ‘indemonstrable’ is accurate, and it explains why this is so. At the heart of the explanation is an argument that, contrary to what is commonly assumed, indemonstrability is rooted in the generic account of the Stoic epistemic notion of demonstration. Some minor insights into Stoic logic ensue.

ABSTRACT: In contemporary discussions of freedom in Stoic philosophy we often encounter the following assumptions: (i) the Stoics discussed the problem of free will and determinis; (ii) since in Stoic philosophy freedom of the will is in the end just an illusion, the Stoics took the freedom of the sage as a substitute for it and as the only true freedom; (iii) in the c. 500 years of live Stoic philosophical debate, the Stoics were largely concerned with the same philosophical (...) problems of freedom. In this paper I argue that (i) can be upheld only in a very restricted way; (ii) is altogether untenable; and regarding (iii), that, although there may have occurred little change in the Stoic philosophical position on freedom over the centuries, we can detect more than one transformation of the philosophical problems that were at the forefront of the discussion. Moreover, that all the conceptions and problems of freedom were linked to Stoic ethics, and that the differences between them become transparent when one considers their various roles in this context. (shrink)

Induced by intake of the psychedelic substances LSD, psilocybin, DMT and mescaline, psychedelic experiences have been extensively described by subjects as entailing a most unusual increase in the scope and quality of their consciousness. Accordingly, psychedelic experiences have been widely characterised as an “expansion of consciousness.” This article poses the following question, as yet unaddressed in contemporary philosophy and the tradition of phenomenology: to what exactly does “expansion of consciousness” refer as a general characterisation of psychedelic experiences, and what role (...) might attention play therein? On the basis of Aron Gurwitsch’s phenomenology of attention, the following thesis is presented: (a) “expansion of consciousness” refers to a particular restructuration of consciousness in psychedelic experiences. (b) This occurs by means of certain extreme transformations in direction, scope, mode and degree of attention. In order to explicate this thesis, the characteristic features of psychedelic experiences that pertain to expansion of consciousness and attention are first systematically identified from a survey of subject reports. Second, it is demonstrated that the few previous attempts to understand expansion of consciousness in terms of attention as a filter/reducing-valve, spotlight or zoom-lens each fail to explain how consciousness is structured in psychedelic experiences. Third, it is argued that psychedelic expansion of consciousness is a general restructuration of consciousness by means of extreme attentional transformations. In conclusion, brief consideration is given to the question of whether psychedelic expansion of consciousness can have epistemic and ethical value for life. (shrink)

ABSTRACT: The modal systems of the Stoic logician Chrysippus and the two Hellenistic logicians Philo and Diodorus Cronus have survived in a fragmentary state in several sources. From these it is clear that Chrysippus was acquainted with Philo’s and Diodorus’ modal notions, and also that he developed his own in contrast of Diodorus’ and in some way incorporated Philo’s. The goal of this paper is to reconstruct the three modal systems, including their modal definitions and modal theorems, and to make (...) clear the exact relations between them; moreover, to elucidate the philosophical reasons that may have led Chrysippus to modify his predessors’ modal concept in the way he did. It becomes apparent that Chrysippus skillfully combined Philo’s and Diodorus’ modal notions, with making only a minimal change to Diodorus’ concept of possibility; and that he thus obtained a modal system of modalities (logical and physical) which fit perfectly fit into Stoic philosophy. (shrink)

ABSTRACT: Stewart Shapiro recently argued that there is no higher-order vagueness. More specifically, his thesis is: (ST) ‘So-called second-order vagueness in ‘F’ is nothing but first-order vagueness in the phrase ‘competent speaker of English’ or ‘competent user of “F”’. Shapiro bases (ST) on a description of the phenomenon of higher-order vagueness and two accounts of ‘borderline case’ and provides several arguments in its support. We present the phenomenon (as Shapiro describes it) and the accounts; then discuss Shapiro’s arguments, arguing that (...) none is compelling. Lastly, we introduce the account of vagueness Shapiro would have obtained had he retained compositionality and show that it entails true higher-order vagueness. (shrink)