The elongated fiber cells of the eye lens contain a unique cytoskeletal system, the beaded chain filaments (BFs). The BFs had been morphologically identified more than two decades ago, but the precise identity of their subunit molecules remained unknown. Recently, use of recombinant DNA approaches, refined morphological and immunochemical studies and experiments with mutant mice have allowed the molecular dissection of these structures and provided clues about their potential functins. The BFs represent a highly specialized network of intermediate filaments (IFs) (...) juxtaposed to the plasma membrane. They are obligate heteropolymers composed of two lens‐specific polypeptides, filensin and phakinin. In this review we discuss the properties, molecular interactions and in situ arrangement of these two proteins, and comment on their potential roles during lens development. (shrink)

We describe the application of fundamental moral principles, with particular emphasis on prima facie duties, to formal codes of ethics that regulate the conduct of forensic psychologists who act as expert witnesses. Then we discuss the American Psychological Association's "Ethical Principles of Psychologists and Code of Conduct" and the Committee on Ethical Guidelines for Forensic Psychologists's "Specialty Guidelines for Forensic Psychologists" and critically appraise how these documents translate basic moral principles. We conclude that, in many ways, the documents exemplify ethical (...) obligations such as nonmaleficence, beneficence, and justice, but they fall short in many other ways, particularly with regard to autonomy and fidelity. (shrink)

This book offers a new account of what it is to act for a normative reason. The first part of the book examines the problems of causal accounts of acting for reasons and suggests to solve them by a dispositional approach. The author argues for a dispositional account which unites epistemic, volitional, and executional dispositions in a complex normative competence. This ‘Normative Competence Account’ allows for more and less reflective ways of acting for normative reasons. The second part of the (...) book clarifies the relation between the normative reason that an agent acts for and his or her motivating reasons. It refutes the widely held ‘identity view’ that acting for a normative reason requires the normative reason to be identical with a motivating reason. The author describes how normative reasons are related to motivating reasons by a relation of correspondence, and proposes a new understanding of how normative reasons explain those actions that are performed for them. Determined by Reasons engages with current debates from a wide range of different philosophical areas, including action theory, metaethics, moral psychology, epistemology, and ontology, to develop a new account of acting for normative reasons. (shrink)

This book presents a study of human intelligence beginning with a semantic theory and leading into a critique of music.

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

Determinism, Freedom, and Moral Responsibility brings together nine substantial essays on determinism, freedom, and moral responsibility in antiquity by Susanne Bobzien. The essays present the main ancient theories on these subjects, ranging historically from Aristotle followed by the Epicureans, the early Stoics, several later Stoics, and up to Alexander of Aphrodisias in the third century CE. -/- The author discusses questions about rational and autonomous human agency and their compatibility with a large range of important philosophical issues, including their compatibility (...) with divine predetermination and other theological questions; with atomism and continuum theory and with the physical sciences more generally; with the determination of character and its development from childhood through nature and nurture; with epistemic features such as ignorance of circumstances; with theories of necessity, possibility and contingency; with external or internal preceding causes and impediments; and with folk theories of fatalism. Room is also given to the questions of how human autonomous agency is related to moral development, to virtue and wisdom, and to blame and praise. -/- Historically unified, philosophically profound, and methodologically rigorous, Bobzien’s essays show that in Classical and Hellenistic philosophy these topics were all debated without reference to freedom to do otherwise or to a free will, and that the latter two notions were fully developed only later. The volume will be of interest both to philosophers and to historians of philosophy, with more than half of the essays accessible to advanced undergraduates. (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 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.

Hobbes's political theory has traditionally been taken to be an endorsement of state power and a prescription for unconditional obedience to the sovereign's will. In this book, Susanne Sreedhar develops a novel interpretation of Hobbes's theory of political obligation and explores important cases where Hobbes claims that subjects have a right to disobey and resist state power, even when their lives are not directly threatened. Drawing attention to this broader set of rights, her comprehensive analysis of Hobbes's account of political (...) disobedience reveals a unified and coherent theory of resistance that has previously gone unnoticed and undefended. Her book will appeal to all who are interested in the nature and limits of political authority, the right of self-defense, the right of revolution, and the modern origins of these issues. (shrink)

On March 11, 2020 the World Health Organization classified COVID‐19, caused by Sars‐CoV‐2, as a pandemic. Although not much was known about the new virus, the first outbreaks in China and Italy showed that potentially a large number of people worldwide could fall critically ill in a short period of time. A shortage of ventilators and intensive care resources was expected in many countries, leading to concerns about restrictions of medical care and preventable deaths. In order to be prepared for (...) this challenging situation, national triage guidance has been developed or adapted from former influenza pandemic guidelines in an increasing number of countries over the past few months. In this article, we provide a comparative analysis of triage recommendations from selected national and international professional societies, including Australia/New Zealand, Belgium, Canada, Germany, Great Britain, Italy, Pakistan, South Africa, Switzerland, the United States, and the International Society of Critical Care Medicine. We describe areas of consensus, including the importance of prognosis, patient will, transparency of the decision‐making process, and psychosocial support for staff, as well as the role of justice and benefit maximization as core principles. We then probe areas of disagreement, such as the role of survival versus outcome, long‐term versus short‐term prognosis, the use of age and comorbidities as triage criteria, priority groups and potential tiebreakers such as ‘lottery’ or ‘first come, first served’. Having explored a number of tensions in current guidance, we conclude with a suggestion for framework conditions that are clear, consistent and implementable. This analysis is intended to advance the ongoing debate regarding the fair allocation of limited resources and may be relevant for future policy‐making. (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)

The book examines the emerging approach of using qualitative methods, such as interviews and field observations, in the philosophy of science. Qualitative methods are gaining popularity among philosophers of science as more and more scholars are resorting to empirical work in their study of scientific practices. At the same time, the results produced through empirical work are quite different from those gained through the kind of introspective conceptual analysis more typical of philosophy. This volume explores the benefits and challenges of (...) an empirical philosophy of science and addresses questions such as: What do philosophers gain from empirical work? How can empirical research help to develop philosophical concepts? How do we integrate philosophical frameworks and empirical research? What constraints do we accept when choosing an empirical approach? What constraints does a pronounced theoretical focus impose on empirical work? Nine experts discuss their thoughts and empirical results in the chapters of this book with the aim of providing readers with an answer to these questions. (shrink)

I argue for the view that there are important similarities between knowledge and acting for a normative reason. I interpret acting for a normative reason in terms of Sosa’s notion of an apt performance. Actions that are done for a normative reason are normatively apt actions. They are in accordance with a normative reason because of a competence to act in accordance with normative reasons. I argue that, if Sosa’s account of knowledge as apt belief is correct, this means that (...) acting for a normative reason is in many respects similar to knowledge. In order to strengthen Sosa’s account of knowledge, I propose to supplement it with an appeal to sub-competences. This clarifies how this account can deal with certain Gettier cases, and it helps to understand how exactly acting for a normative reason is similar to apt belief. (shrink)

Are epistemic reasons normative in the same sense as, for instance, moral reasons? In this paper I examine and defend the claim that epistemic reasons are normative only relative to an epistemic standard. Unlike moral reasons they are not substantially normative, because they fail to make an independent contribution to obligations or permissions simpliciter. After presenting what I take to be the main argument for this view, I illustrate that the argument has often been defended by examples which controversially presuppose (...) strong epistemic obligations or pragmatic reasons for belief. Opponents of the argument often deny the existence of obligations and reasons of these kinds. I therefore examine whether the argument can withstand that line of critique by employing new examples. (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)

This essay is concerned with the relation between motivating and normative reasons. According to a common and influential thesis, a normative reason is identical with a motivating reason when an agent acts for that normative reason. I will call this thesis the ‘Identity Thesis’. Many philosophers treat the Identity Thesis as a commonplace or a truism. Accordingly, the Identity Thesis has been used to rule out certain ontological views about reasons. I distinguish a deliberative and an explanatory version of the (...) Identity Thesis and argue that there are no convincing arguments to accept either version. Furthermore, I point out an alternative to the Identity Thesis. The relation between motivating and normative reasons can be thought of as one of representation, not identity. (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)

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)

In this article I advocate a worldly account of normative reasons according to which there is an ontological gap between these and the premises of practical thought, i.e. motivating considerations. While motivating considerations are individuated fine-grainedly, normative reasons should be classified as coarse-grained entities, e.g. as states of affairs, in order to explain certain necessary truths about them and to make sense of how we count and weigh them. As I briefly sketch, acting for normative reasons is nonetheless possible if (...) the connection between normative reasons and motivating considerations is a competence-based correspondence. (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)

In their paper ‘Why Frege did not plagiarize the Stoics’ (Gabriel et al. 2024), G. Gabriel, K. Hülser and D. Rami provide an extended set of arguments to show that Frege didn’t, and couldn’t have, plagiarize(d) the Stoics via Prantl’s long chapter on Stoic logic (Prantl 1855) or at all, thus attempting to counter Bobzien’s 2021 ‘Frege plagiarized the Stoics’. The present short essay is Part II of a four-part refutation of Gabriel et al. 2024: The authors repeatedly ‒ and (...) wrongly ‒ claim that there is a tradition of Stoic logic (and Stoic logical terminology) transmitted continuously from antiquity to the 19th century that was generally known in the 18th and 19th centuries. In this second part of the refutation, it is shown that, and why, the authors are entirely mistaken on every one of these points. (shrink)

This paper sets out from the hypothesis that the embodied competences and expertise which characterise dance and sports activities have the potential to constructively challenge and inform phenomenological thinking. While pathological cases present experiences connected to tangible bodily deviations, the specialised movement practices of dancers and athletes present experiences which put our everyday experiences of being a moving body into perspective in a slightly different sense. These specialised experiences present factual variations of how moving, sensing and interacting can be like (...) for us as body-subjects. To use of these sources inevitably demands that qualitative research methodologies – especially short-term ethnographical fieldwork – form part of the research strategy and qualify the way the researcher involves a second-person perspective when interviewing dancers and athletes about their experiences. In the subsequent phases analysing the data generated, I argue that researchers first strive to achieve internal consistency of empirical themes identified in the case of movement practices in question thus keeping to a contextualised and lived perspective, also denoted as an emic perspective. In subsequent phases phenomenological insights are then actively engaged in the exploration and discussion of the possible transcendental structures making the described subjective experiences possible. The specialised and context-defined experiences of ‘what a moving body can be like’ are accordingly involved as factual variations to constructively add to and potentially challenge phenomenological descriptions. Lastly, I exemplify how actual research strategies have been enacted in a variety of projects involving professional dancers’, golfers’ and sports dancers’ practices and experiences, respectively. (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)

This paper offers an analytic perspective on epistemic dependence that is grounded in theoretical discussion and field observation at the same time. When in the course of knowledge creation epistemic labor is divided, collaborating scientists come to depend upon one another epistemically. Since instances of epistemic dependence are multifarious in scientific practice, I propose to distinguish between two different forms of epistemic dependence, opaque and translucent epistemic dependence. A scientist is opaquely dependent upon a colleague if she does not possess (...) the expertise necessary to independently carry out, and to profoundly assess, the piece of scientific labor which her colleague is contributing. If the scientist does possess the necessary expertise, I argue, her dependence is translucent. However, the distinction between opaque and translucent epistemic dependence does not exhaust dependence relations in scientific practice, because many dependence relations are neither entirely opaque nor translucent. I will discuss why this is the case, and show how we can make sense of the gray zone between opaque and translucent epistemic dependence. (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: In this paper I argue that the ‘discovery’ of the problem of causal determinism and freedom of decision in Greek philosophy is the result of a combination and mix-up of Aristotelian and Stoic thought in later antiquity; more precisely, a (mis-)interpretation of Aristotle’s philosophy of deliberate choice and action in the light of Stoic theory of determinism and moral responsibility. The (con-)fusion originates with the beginnings of Aristotle scholarship, at the latest in the early 2nd century AD. It undergoes (...) several developments, absorbing Epictetan, Middle-Platonist, and Peripatetic ideas; and it leads eventually to a concept of freedom of decision and an exposition of the ‘free-will problem’ in Alexander of Aphrodisias’ On Fate and in the Mantissa ascribed to him. (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)

Agents sometimes act for normative reasons—for reasons that objectively favor their actions. Jill, for instance, calls a doctor for the normative reason that Kate is injured. In this article I explore a dispositional approach to acting for a normative reason. I argue for the need of epistemic, motivational, and executional dispositional elements of a theory of acting for a normative reason. Dispositions play a mediating role between, on the one hand, the normative reason and its normative force, and the action (...) on the other hand. Thereby, they help to deal with problem cases such as cases of deviant causal chains and improper instrumental motivation. (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)

Based on an empirical study of a research team in natural science, the author argues that collaborating scientists do not trust each other completely. Due to the inherent incompleteness of trust, epistemic trust among scientists is not sufficient to manage epistemic dependency in research teams. To mitigate the limitations of epistemic trust, scientists resort to specific strategies of indirect assessment such as dialoguing practices and the probing of explanatory responsiveness. Furthermore, they rely upon impersonal trust and deploy practices of hierarchical (...) authorship. (shrink)

Zusammenfassung Die rasanten Entwicklungen im Bereich der Künstlichen Intelligenz und Robotik stellen nicht nur die Ethik, sondern auch das Recht vor neue Herausforderungen, gerade im Bereich der Medizin und Pflege. Grundsätzlich hat der Einsatz von KI dabei das Potenzial, sowohl die Heilbehandlungen als auch den adäquaten Umgang im Rahmen der Pflege zu erleichtern, wenn nicht sogar zu verbessern. Verwaltungsaufgaben, die Überwachung von Vitalfunktionen und deren Parameter sowie die Untersuchung von Gewebeproben etwa könnten autonom ablaufen. In Diagnostik und Therapie können Systeme (...) die behandelnde Ärztin unterstützen. Intelligente Betten ermöglichen eine Frühmobilisierung der Patient:innen bei gleichzeitig geringerem Personalaufwand. Gleichwohl birgt der Einsatz der Systeme rechtliche Herausforderungen. So besteht das Risiko einer Verletzung der beteiligten Personen. Im Gegensatz zu herkömmlichen Technologien „leidet“ KI unter der „Black-Box-Problematik“: Die von den Systemen generierten Ergebnisse sind nicht mehr vollständig vorhersehbar und nachvollziehbar. Der Einsatz birgt unbekannte und unkalkulierbare Risiken, was sich insbesondere auf die zivilrechtliche Haftung und strafrechtliche Verantwortung auswirkt. Wem die Entscheidungen der Systeme normativ zuzurechnen sind, ist eine Kernfrage des juristischen Diskurses. Die aus praktikabilitätsgründen naheliegende Wahl, dem letztentscheidenden Menschen das Verhalten eines KI-Systems zuzurechnen, überzeugt nicht in allen Fällen, sondern degradiert ihn häufig zum symbolischen Haftungsknecht und legt ihm einseitig die Risiken der Technologien auf. Weiterhin ergeben sich im Bereich der Medizin und Pflege Fragen hinsichtlich der Zulassung von KI-Systemen, da die Maschinen während der Nutzung weiterlernen und so ihren strukturellen Aufbau kontinuierlich verändern. Es ist daher angebracht, sich frühzeitig mit dem Konfliktpotential aus ethischer und rechtlicher Sicht auseinander zu setzen, um einer potenziellen gesellschaftlichen Angst vor derartigen Systemen vorzubeugen und einen praxisgerechten Handlungsrahmen zu schaffen. (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: 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)

The paper presents a new theory of higher-order vagueness. This theory is an improvement on current theories of vagueness in that it (i) describes the kind of borderline cases relevant to the Sorites paradox, (ii) retains the ‘robustness’ of vague predicates, (iii) introduces a notion of higher-order vagueness that is compositional, but (iv) avoids the paradoxes of higher-order vagueness. The theory’s central building-blocks: Borderlinehood is defined as radical unclarity. Unclarity is defined by means of competent, rational, informed speakers (‘CRISPs’) whose (...) competence, etc., is indexed to the scope of the unclarity operator. The unclarity is radical since it eliminates clear cases of unclarity and, that is, clear borderline cases. This radical unclarity leads to a (bivalence-compatible, non-intuitionist) absolute agnosticism about the semantic status of all borderline cases. The corresponding modal system would be a non-normal variation on S4M. (shrink)

In this article, we inquire into Maxine Sheets-Johnstone and Michele Merritt’s descriptions and use of dance improvisation as it relates to “thinking in movement.” We agree with them scholars that improvisational practices present interesting cases for investigating how movement, thinking, and agency intertwine. However, we also find that their descriptions of improvisation overemphasize the dimension of spontaneity as an intuitive “letting happen” of movements. To recalibrate their descriptions of improvisational practices, we couple Ezequiel Di Paolo, Thomas Buhrmann, and Xabier E. (...) Barandiaran’s enactive account of the constitution of agency with case studies of two expert performers of improvisation: a dancer and a musician. Our analyses hereof show that their improvisations unfold as a sophisticated oscillation of agency between specialized forms of mental and bodily control and, indeed, a more spontaneous “letting things happen.” In all, this article’s conclusions frame thinking in movement concerning improvisational practices as contextually embedded, purposively trained, and inherently relational. (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)

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 existential sentence. Sections 6 and 7 investigate hidden ambiguities in “to have” and “to lose” 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 comprehensive introduction to ancient (western) logic from earliest times to the 6th century CE, with an emphasis on topics which may be of interest to contemporary logicians. Content: 1. Pre-Aristotelian Logic 1.1 Syntax and Semantics 1.2 Argument Patterns and Valid Inference 2. Aristotle 2.1 Dialectics 2.2 Sub-sentential Classifications 2.3 Syntax and Semantics of Sentences 2.4 Non-modal Syllogistic 2.5 Modal Logic 3. The early Peripatetics: Theophrastus and Eudemus 3.1 Improvements and Modifications of Aristotle's Logic 3.2 Prosleptic Syllogisms 3.3 Forerunners (...) of Modus Ponens and Modus Tollens 3.4 Wholly Hypothetical Syllogisms 4. Diodorus Cronus and Philo the Logician 5. The Stoics 5.1 Logical Achievements Besides Propositional Logic 5.2 Syntax and Semantics of Complex Propositions 5.3 Arguments 5.4 Stoic Syllogistic 5.5 Logical Paradoxes 6. Epicurus and the Epicureans 7. Later Antiquity. (shrink)

This mainly historical paper provides a comprehensive discussion of the (heretoforth neglected) evidence of Peripatetic syllogistic in Sextus Empiricus. The paper sets out to show that it is likely that in Sextus (and Apuleius) there is valuable evidence of a transitional period in later ancient logic that is marked out as such by a number of characteristics, which include the following: (i) A Peripatetic term ‘categorical syllogism’ is newly in use, but no term ‘hypothetical syllogism’ has been established yet. (ii) (...) Stoic and Peripatetic logic are treated as complementing each other. (iii) The reversion of quantified propositions from predicate-subject to subject-predicate formulation is still fairly new. (iv) The so-called crocodile example is used to show that induction lacks the feature of concluding by necessity that is a defining mark of Aristotelian syllogisms. (v) The use of the expression katholikê protasis for categorical universal premise-propositions is distinctive of the period. (vi) The argument forms displayed by Sextus’ three examples appear to be indirectly related to the soon-to-appear Platonist hypothetical syllogistic. (vii) There are parallels that suggest that Sextus’ source belongs to the same historical period of logic as Apuleius’ source and as some probably recent source of Alexander of Aphrodisias’ Prior Analytics commentary (that is presented along with some later views and arguments, which may include Alexander’s own). Small differences between the three authors show that Sextus did not draw from the Greek handbook that was Apuleius’ source. (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)