Climate change and decarbonization raise complex justice questions that researchers and policymakers must address. The distributions of greenhouse gas emissions rights and mitigation efforts have dominated justice discourses within scenario research, an integrative element of the IPCC. However, the space of justice considerations is much larger. At present, there is no consistent approach to comprehensively incorporate and examine justice considerations. Here we propose a conceptual framework grounded in philosophical theory for this purpose. We apply this framework to climate mitigation scenarios (...) literature as proof of concept, enabling a more holistic and multidimensional investigation of justice. We identify areas of future research, including new metrics of service provisioning essential for human well-being. [Can be freely read by clicking the ReadCube link below.]. (shrink)

The paper argues against a commitment to metaphysical necessity, semantic modalities are enough. The best approaches to elucidate the semantic modalities are (still) versions of lingustic ersatzism and fictionalism, even if only developed in parts. Within these necessary properties and the difference between natural and semantic laws can be accounted for. The proper background theory for this is an updated version of Logical Empiricism, which is congenial to recent trends in Structural Realism. The anti-metaphysical attitude of Logical Empiricism deserves revitalization. (...) Another target besides metaphysical necessity are substantial forms of iterated modalities, as used, for instance, in the philosophy of religion. (shrink)

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)

The following considerations concern modelling Belief Dynamics (BD) not just in the sense of a formalization, but rather in the sense of building a computational model and implementing the corresponding data structures and algorithms of recomputing beliefs. The purpose of such a project is to illustrate some ideas about belief changes in a Web of Beliefs (WoB) to explore and deepen one's understanding of belief changes by trying to implement or improve corresponding algorithms.

A key challenge for probabilistic causal models is to distinguish non-causal probabilistic dependencies from true causal relations. To accomplish this task, causal models are usually required to satisfy several constraints. Two prominent constraints are the causal Markov condition and the faithfulness condition. However, other constraints are also needed. One of these additional constraints is the causal sufficiency condition, which states that models must not omit any direct common causes of the variables they contain. In this paper, I argue that the (...) causal sufficiency condition is problematic: (1) it is incompatible with the requirement that the variables in a model must not stand in non-causal necessary dependence relations, such as mathematical or conceptual relations, or relations described in terms of supervenience or grounding, (2) it presupposes more causal knowledge as primitive than is actually needed to create adequate causal models, and (3) if models are only required to be causally sufficient, they cannot deal with cases where variables are probabilistically related by accident, such as Sober’s example of the relationship between bread prices in England and the sea level in Venice. I show that these problems can be avoided if causal models are required to be monotonic in the following sense: the causal relations occurring in a model M would not disappear if further variables were added to M. I give a definition of this monotonicity condition and conclude that causal models should be required to be monotonic rather than causally sufficient. (shrink)

This book is conceived as an introductory text into the theory of syntactic and semantic information, and information flow.

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)

This essay tries to elucidate structural elements of consciousness by drawing on phenomenological descriptions of consciousness and employing representationalist models of consciousness. The aim is not to explain the genesis of self-awareness, but to outline different aspects of its structure.

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)

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: 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)

From the early reception of Thomas Aquinas up to the present, many have interpreted his theory of liberum arbitrium to imply intellectual determinism: we do not control our choices, because we do not control the practical judgments that cause our choices. In this paper we argue instead that he rejects determinism in general and intellectual determinism in particular, which would effectively destroy liberum arbitrium as he conceives of it. We clarify that for Aquinas moral responsibility presupposes liberum arbitrium and thus (...) the ability to do otherwise, although the ability to do otherwise applies differently to praise and blame. His argument against intellectual determinism is not straightforward, but we construct it by analogy to his arguments against other deterministic threats. The non-determinism of the intellect’s causality with respect to the will results from his claims that practical reasoning is defeasible and that the reasons for actions are not contrastive reasons. (shrink)

Theories of graded causation attract growing attention in the philosophical debate on causation. An important field of application is the controversial relationship between causation and moral responsibility. However, it is still unclear how exactly the notion of graded causation should be understood in the context of moral responsibility. One question is whether we should endorse a proportionality principle, according to which the degree of an agent’s moral responsibility is proportionate to their degree of causal contribution. A second question is whether (...) a theory of graded causation should measure closeness to necessity or closeness to sufficiency. In this paper, we argue that we should indeed endorse a proportionality principle and that this principle supports a notion of graded causation relying on closeness to sufficiency rather than closeness to necessity. Furthermore, we argue that this insight helps to provide a plausible analysis of the so-called ‘Moral Difference Puzzle’ recently described by Bernstein. (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.

The goal of this paper is to argue that there is indeterminacy in causation. I present three types of cases in which it is indeterminate whether an event c caused another event e: (1) cases of absence causation recently discussed by Bernstein and by Swanson, (2) cases leading to Sorites paradoxes for causation, and (3) cases where c and e occur in certain indeterministic causal structures and it is therefore indeterminate whether there is a causal relation between them. These cases, (...) I argue, provide strong evidence that indeterminacy is an important general feature of the causal relation and that philosophical theorizing about causation should take this observation into account. (shrink)

Over the last two decades, the capabilities approach has become an increasingly influential theory of development. It conceptualises human wellbeing in terms of an individual's ability to achieve functionings we have reason to value. In contrast, the African ethic of ubuntu views human flourishing as the propensity to pursue relations of fellowship with others, such that relationships have fundamental value. These two theoretical perspectives seem to be in tension with each other; while the capabilities approach focuses on individuals as the (...) locus of ethical value, an ubuntu ethic concentrates on the relations between individuals. In this article, we ask: to what extent is the capabilities approach compatible with this African ethical theory? We argue that, on reflection, relations play a much stronger role in the capabilities approach than often assumed. There is good reason to believe that relationality is part of the concept of a capability itself, where such relationality has intrinsic ethical value. This understanding of the ethical centrality of relations grounds new normative perspectives on the capabilities approach, and offers a more comprehensive grasp of the relevance of relationships to empirical enquiry. (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)

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)

The following essay reconsiders the ontological and logical issues around Frege’s Basic Law (V). If focuses less on Russell’s Paradox, as most treatments of Frege’s Grundgesetze der Arithmetik (GGA)1 do, but rather on the relation between Frege’s Basic Law (V) and Cantor’s Theorem (CT). So for the most part the inconsistency of Naïve Comprehension (in the context of standard Second Order Logic) will not concern us, but rather the ontological issues central to the conflict between (BLV) and (CT). These ontological (...) issues are interesting in their own right. And if and only if in case ontological considerations make a strong case for something like (BLV) we have to trouble us with inconsistency and paraconsistency. These ontological issues also lead to a renewed methodological reflection what to assume or recognize as an axiom. (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)

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)

Traditionally transcendental logic has been set apart from formal logic. Transcendental logic had to deal with the conditions of possibility of judgements, which were presupposed by formal logic. Defined as a purely philosophical enterprise transcendental logic was considered as being a priori delivering either analytic or even synthetic a priori results. In this paper it is argued that this separation from the (empirical) cognitive sciences should be given up. Transcendental logic should be understood as focusing on specific questions. These do (...) not, as some recent analytic philosophy has it, include a refutation of scepticism. And they are not to be separated from meta-logical investigations. Transcendental logic properly understood, and redefined along these theses, should concern itself with the (formal) re-construction of the presupposed necessary conditions and rules of linguistic communication in general. It aims at universality and reflexive closure. (shrink)

This paper looks at some aspects of semantic metarepresentation. It is mostly concerned with questions more formal, concerning the representation format in semantic metarepresentations, and the way they are processed. Section 1 distinguishes between metacognition and metarepresentation in a narrow and broad sense. Section 2 reminds the reader of some main areas where metarepresentations have to be used. The main part considers the ways that metarepresentations are built and processed. Section 3 introduces some general ideas how semantic metarepresentations are built (...) and processed. Section 4 looks at some recent theories about ways that semantic metarepresentations are built and processed. (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)

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)

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)

Medieval authors generally agreed that we have the freedom to choose among alternative possibilities. But most medieval authors also thought that there are situations in which one cannot do otherwise, not even will otherwise. They also thought when willing necessarily, the will remains free. The questions, then, are what grounds the necessity or contingency of the will’s acts, and – since freedom is not defined by the ability to choose – what belongs to the essential character of freedom, the ratio (...) libertatis. This article studies medieval theories of freedom without choice from William of Auxerre to William of Ockham and their background in Augustine, Anselm of Canterbury, and Bernard of Clairvaux. (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: 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)

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)

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 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: 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)

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)

Author: Thomas Sören Hoffmann. Translated by Pedro Sepúlveda Zambrano.

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)

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.).

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)

Analyzing causation in terms of Woodward's interventionist theory and describing the structure of the world in terms of causal powers are usually regarded as quite different projects in contemporary philosophy. Interventionists aim to give an account of how causal relations can be empirically discovered and described, without committing themselves to views about what causation really is. Causal powers theorists engage in precisely the latter project, aiming to describe the metaphysical structure of the world. In this paper, I argue that interventionism (...) can benefit from incorporating considerations about causal powers. I describe a previously undiscussed problem for Woodward's definition of an intervention variable that arises when interventionist causal models include disjunctive variables. This problem is solved not by excluding disjunctive (or logically compound) variables per se, but by excluding variables whose values represent disjunctions of too different causal powers. This suggests that interventionism and causal powers theories may be less distant from each other than is often assumed. (shrink)

Minimalism is currently the received deflationary theory of truth. On minimalism, truth is a transparent concept and a deflated property of truth bearers. In this paper, I situate minimalism within current deflationary debate about truth by contrasting it with its main alternative―the redundancy theory of truth. I also outline three of the primary challenges facing minimalism, its formulation, explanatory adequacy and stability, and draw some lessons for the soundness of its conception of truth.

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.

Defining the distinction between intrinsic and extrinsic properties has turned out to be one of the most difficult and controversial tasks in contemporary metaphysics. It is generally assumed that a definition of intrinsicness should aim to avoid as many counterexamples as possible and reduce the notion to less controversial philosophical notions. In this paper, the author argues for a new methodological approach to defining intrinsicness. Rather than trying to cover as many intuitive examples as possible, a definition of intrinsicness should (...) reflect the crucial features of our intuitive understanding of the notion, and one of these features is that the intrinsic/extrinsic distinction has to be characterized in a non-reductive way. (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: 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: 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)

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)