The logical empiricists expressed a consistent attitude to racial categorisation in both the ethical and scientific spheres. Their attitude may be captured in the following slogan: human racial taxonomy is an empirically meaningful mode of classifying persons that we should refrain from deploying. I offer an interpretation of their position that would render coherent their remarks on race with positions they adopted on the scientific status of taxonomy in general, together with their potential moral or political motivations for adopting that (...) position. (shrink)

Most modern readers of the Stoics think first of later authors such as Seneca, Epictetus and Marcus Aurelius. Existing works like Long and Sedley's The Hellenistic Philosophers concentrate on the Stoics of the early school. This book focusses on the more influential later school, including key figures like Panaetius and Posidonius, and provides well-chosen selections from the full range of Stoic thinkers. It emphasizes their important work in logic, physics and cosmology as well as in ethics. Fresh translations and (...) incisive commentary present a picture of Stoic thought informed by up-to-date historical research and philosophical analysis. The book will be essential for scholars and students of ancient philosophy and of Hellenistic and Roman culture. (shrink)

In the 4th century BC, the Greek philosopher Diodoros Chronos gave a temporal definition of necessity. Because it connects modality and temporality, this definition is of interest to philosophers working within branching time or branching space-time models. This definition of necessity can be formalized and treated within a logical framework. We give a survey of the several known modal and temporal logics of abstract space-time structures based on the real numbers and the integers, considering three different accessibility relations between spatio-temporal (...) points. (shrink)

We define and examine a notion of logical friendliness, which is a broadening of the familiar notion of classical consequence. The concept is tudied first in its simplest form, and then in a syntax-independent version, which we call sympathy. We also draw attention to the surprising number of familiar notions and operations with which it makes contact, providing a new light in which they may be seen.

In many real-life applications of logic it is useful to interpret a particular sentence as true together with its negation. If we are talking about classical logic, this situation would force all other sentences to be equally interpreted as true. Paraconsistent logics are exactly those logics that escape this explosive effect of the presence of inconsistencies and allow for sensible reasoning still to take effect. To provide reasonably intuitive semantics for paraconsistent logics has traditionally proven to be a (...) challenge. Possible-translations semantics can meet that challenge by allowing for each interpretation to be composed of multiple scenarios. Using that idea, a logic with a complex semantic behavior can be understood as an appropriate combination of ingredient logics with simpler semantic behaviors into which the original logic is given a collection of translations preserving its soundness. Completeness is then achieved through the judicious choice of the admissible translating mappings. The present note provides interpretation by way of possible-translations semantics for a group of fundamental paraconsistent logics extending the positive fragment of classical propositional logic. The logics PI, Cmin, mbC, bC, mCi and Ci, among others, are all initially presented through their non-truth-functional bivaluation semantics and sequent versions and then split by way of possible-translations semantics based on 3-valued ingredients. (shrink)

Western (deductive) logic originated in Greek antiquity. It found its first expression in those works of the great philosopher Aristotle (384–322 BC) which have come to be known as the Organon, i.e., ‘instrument’. Aristotle’s logic, also known as syllogistics, was unsystematically concerned with patterns of reasoning and argumentation. It remained in this rudimentary state relatively unchanged and unchallenged until the second half of the nineteenth century. At that time, logic underwent a period of unprecedented reform and modernization, (...) due in large part to the German mathematician Gottlob Frege (1848– 1925) It thus became more and more a mathematical endeavor of studying the structure and peculiarities of artificial, formal languages. In this new form, logic gave rise in the twentieth century to disciplines such as theoretical informatics and programming languages, and transformed our lives through computation, information processing, and the Internet. A formal language consists, in effect, of a particular alphabet and some precise rules of forming, and transforming, strings over this alphabet. There exist several types of formal languages analyzed in logic. Depending on their structure, they are called first-order languages, second-order languages, and so on. Today a logic is considered a theory of such a language and is, correspondingly, referred to as a first-order logic, a second-order logic, and so on. In this chapter, we shall outline a first-order logic as a paragon of deductive logic. Its full name is: “Classical, first-order predicate logic with identity”. What all these expressions mean exactly, will become clear below. The logic we shall study first is termed classical logic because the idea to create such an instrument, or ‘organon’, is rooted in Greek antiquity. Owing to its origin, it is based on three time-honored Aristotelian doctrines. For these and several other reasons that we shall discuss later in this chapter, it is also called a logic of the Aristotelian style, or an Aristotelian logic for short. (shrink)

In _Aristotle’s Empiricism_, Jean De Groot argues that an important part of Aristotle’s natural philosophy has remained largely unexplored and shows that much of Aristotle’s analysis of natural movement is influenced by the logic and concepts of mathematical mechanics that emerged from late Pythagorean thought. De Groot draws upon the pseudo-Aristotelian_ Physical Problems_ XVI to reconstruct the context of mechanics in Aristotle’s time and to trace the development of kinematic thinking from Archytas to the Aristotelian _Mechanics_. She shows the (...) influence of kinematic thinking on Aristotle’s concept of power or potentiality, which she sees as having a physicalistic meaning originating in the problem of movement. De Groot identifies the source of early mechanical knowledge in kinesthetic awareness of mechanical advantage, showing the relation of Aristotle’s empiricism to more ancient experience. The book sheds light on the classical Greek understanding of imitation and device, as it questions both the claim that Aristotle’s natural philosophy codifies opinions held by convention and the view that the cogency of his scientific ideas depends on metaphysics. (shrink)

In 1934 a most singular event occurred. Two papers were published on a topic that had (apparently) never before been written about, the authors had never been in contact with one another, and they had (apparently) no common intellectual background that would otherwise account for their mutual interest in this topic.1 These two papers formed the basis for a movement in logic which is by now the most common way of teaching elementary logic by far, and indeed is (...) perhaps all that is known in any detail about logic by a number of philosophers (especially in North America). This manner of proceeding in logic is called ‘natural deduction’. And in its own way the instigation of this style of logical proof is as important to the history of logic as the discovery of resolution by Robinson in 1965, or the discovery of the logistical method by Frege in 1879, or even the discovery of the syllogistic by Aristotle in the fourth century BC. (shrink)

The study of logic goes back more than two thousand years and in that time many symbols and diagrams have been devised. Around 300 BC Aristotle introduced letters as term-variables, a "new and epoch-making device in logical technique." (W. & M. Kneale The Development of Logic (1962, p. 61). The modern era of mathematical notation in logic began with George Boole (1815- 1864), although none of his notation survives. Set theory came into being in the late 19th (...) and early 20th centuries, largely a creation of Georg Cantor (1845-1918). See MacTutor's A history of set theory or, for more detail, Set theory from the Stanford Encyclopedia of Philosophy. (shrink)

According to Karl Popper, the evolution of science, logically, methodologically, and even psychologically, is an involved interplay of acute conjectures and blunt refutations. Like biological evolution, it is an endless round of blind variation and selective retention. But unlike biological evolution, it incorporates, at the stage of selection, the use of reason. Part I of this two-part paper begins by repudiating the common beliefs that Hume’s problem of induction, which compellingly confutes the thesis that science is rational in the way (...) that most people think that it is rational, can be solved by assuming that science is rational, or by assuming that Hume was irrational (that is, by ignoring his argument). The problem of induction can be solved only by a non-authoritarian theory of rationality. It is shown also that because hypotheses cannot be distilled directly from experience, all knowledge is eventually dependent on blind conjecture, and therefore itself conjectural. In particular, the use of rules of inference, or of good or bad rules for generating conjectures, is conjectural. Part II of the paper expounds a form of Popper’s critical rationalism that locates the rationality of science entirely in the deductive processes by which conjectures are criticized and improved. But extreme forms of deductivism are rejected. The paper concludes with a sharp dismissal of the view that work in artificial intelligence, including the JSM method cultivated extensively by Victor Finn, does anything to upset critical rationalism. Machine learning sheds little light on either the problem of induction or on the role that logic plays in the development of scientific knowledge. (shrink)

Pierre Wagner (ed.): Carnap’s logical syntax of language . Palgrave-MacMillan, 2009, 288pp, £57.00 HB Content Type Journal Article Pages 1-2 DOI 10.1007/s11016-011-9522-8 Authors Alan Richardson, Department of Philosophy, University of British Columbia, 1866 Main Mall—E370, Vancouver, BC V6T 1Z1 Canada Journal Metascience Online ISSN 1467-9981 Print ISSN 0815-0796.

This paper includes an analysis of a fragment of Cicero’s address in pro Balbo 24.54, which contains interesting, yet highly laconic information regarding one of the leges de repetundis – i.e. lex Servilia Caepionis. The analysis of the fragment led to the determination that the basic purpose of issuing that act was to cover the issue of changing the personal composition of judges sitting on the de reptundis tribunal. Apart from that, it seems that the genesis of the institution of (...) divinatio can also be found in that statute. (shrink)

Four distinguished authors have been brought together to produce this elegant study of a much-neglected figure. The book is divided into three sections: Neurath's biographical background and the economic and social context of his ideas; his theory of science; and the development of his role in debates on Marxist concepts of history and his own conception of science. Coinciding with the emerging serious interest in logical positivism, this timely publication will redress a current imbalance in the history and philosophy of (...) science. (shrink)

My focus is on pragmatic arguments for various rationality constraints on a decision maker’s state of mind: on his beliefs or preferences. An argument of this kind purports to show that a violator of a given constraint can be exposed to a decision problem in which she will act to her guaranteed disadvantage. Dramatically put, she can be exploited by a clever bookie who doesn’t know more than the agent himself. Examples of pragmatic arguments of this kind are synchronic Dutch (...) Books, for the standard probability axioms, diachronic Dutch Books, for the more controversial principles of reflection and conditionalization, and Money Pumps, for the transitivity requirement on preferences. It is suggested that the proposed exploitation set-ups share a common feature. If the violator of a given constraint is logically and mathematically competent, she can be exploited only if she is disunified in his decision-making, i.e., only if she makes decisions on various issues she confronts separately rather than jointly. In other words, exploitation is possible only if the decision problem has been framed in a certain way. Unification in decision making is relatively unproblematic in synchronic contexts, but it may be quite costly and inconvenient diachronically, especially when the issues under consideration are widely spread over time. On my view, therefore, pragmatic arguments should be seen as delivering conditional recommendations: If you want to afford disunification, then you’d better satisfy these constraints. The arguments of this kind fail to establish the inherent rationality of the constraints under consideration. Isaac Levis view of the status of pragmatic arguments is diametrically opposed to mine. According to him, only synchronic pragmatic arguments are valid. The diachronic ones, he argues, lack any validity at all. This line of reasoning is questioned in my paper. (shrink)

This note argues that quantum observables can include not just self-adjoint operators, but any member of the class of normal operators, including those with non-real eigenvalues. Concrete experiments, statistics, and symmetries are all expressed in this more general context. However, this more general class of observables also introduces a new restriction on which sets of operators can be interpreted as observables at once. These sets are referred to here as 'sharp sets.

There is a sense in which pluralism needs no advocate. It is enough to take a quick look at contemporary science to realise that pluralism is common currency. It is a ‘fact’ that scientific disciplines entail a plurality of approaches, methods, styles of inquiry. It is equally easy to acknowledge how the referents of scientific investigation require a concert of disciplines and a variety of explanatory strategies. So pluralism seems to have both an epistemological and an ontological backing.1 Nor is (...) pluralism properly a new topic in philosophy of science. To some extent it is as old as its contending topic, the unity of science – that is at least as old as logical positivism, though back in those days, more than a properly well defined alternative perspective, it ranked as a critical reaction of the few against the many to the excesses of unification, and of reduction. One voice among the few was that of Patrick Suppes who, in a rather memorable PSA Presidential address in 1978, forcefully argued that neither the languages nor the subject matters of scientific disciplines were reducible to one. (shrink)

My focus is on pragmatic arguments for various rationality constraints on a decision maker’s state of mind: on his beliefs or preferences. An argument of this kind purports to show that a violator of a given constraint can be exposed to a decision problem in which she will act to her guaranteed disadvantage. Dramatically put, she can be exploited by a clever bookie who doesn’t know more than the agent himself. Examples of pragmatic arguments of this kind are synchronic Dutch (...) Books, for the standard probability axioms, diachronic Dutch Books, for the more controversial principles of reflection and conditionalization, and Money Pumps, for the transitivity requirement on preferences. It is suggested that the proposed exploitation set-ups share a common feature. If the violator of a given constraint is logically and mathematically competent, she can be exploited only if she is disunified in his decision-making, i.e., only if she makes decisions on various issues she confronts separately rather than jointly. In other words, exploitation is possible only if the decision problem has been framed in a certain way. Unification in decision making is relatively unproblematic in synchronic contexts, but it may be quite costly and inconvenient diachronically, especially when the issues under consideration are widely spread over time. On my view, therefore, pragmatic arguments should be seen as delivering conditional recommendations: If you want to afford disunification, then you’d better satisfy these constraints. The arguments of this kind fail to establish the inherent rationality of the constraints under consideration. Isaac Levis view of the status of pragmatic arguments is diametrically opposed to mine. According to him, only synchronic pragmatic arguments are valid. The diachronic ones, he argues, lack any validity at all. This line of reasoning is questioned in my paper. (shrink)

Group decisions must often obey exogenous constraints. While in a preference aggregation problem constraints are modelled by restricting the set of feasible alternatives, this paper discusses the modelling of constraints when aggregating individual yes/no judgments on interconnected propositions. For example, court judgments in breach-of-contract cases should respect the constraint that action and obligation are necessary and sufficient for liability, and judgments on budget items should respect budgetary constraints. In this paper, we make constraints in judgment aggregation explicit by relativizing the (...) rationality conditions of consistency and deductive closure to a constraint set, whose variation yields more or less strong notions of rationality. This approach of modelling constraints explicitly contrasts with that of building constraints as axioms into the logic, which turns compliance with constraints into a matter of logical consistency and thereby conflates requirements of ordinary logical consistency (such as not to affirm both a proposition and its negation) and requirements dictated by the environment (such as budgetary constraints). We present some general impossibility results on constrained judgment aggregation; they are immediate corollaries of known results on (unconstrained) judgment aggregation. (shrink)

There are two overarching aims of the five collated papers that make up my thesis. The first is to demonstrate that making sense of an ineffable Islamic God in virtue of classical logic and various truth theories (under the purview of analytic philosophy) motivates a theological contradiction. The second is to offer a solution to this problem. I spend a substantial part of my thesis establishing the first of these aims. The reason for this is twofold. Firstly, it is (...) to illustrate the incompatibility between an ineffable God of Islam and various modes of logical and metaphysical inquiry that fall under the purview of analytic philosophy. Although, it becomes increasingly evident that we cannot philosophically make sense of an absolute ineffable God, my inquiry still bears relevance. It offers a comprehensive insight into the logical and metaphysical perspectives that are responsible for motivating the theological contradiction in question. Secondly, fleshing out the various logical and metaphysical perspectives helps lay the theoretical groundwork for the solution. It is not my aim to establish the ineffability of God within the Islamic tradition. That is, I do not engage with Islamic theology beyond referring to, and teasing out, an ineffable view of God from selected Islamic theological sources. The primary focus of my work is to establish that theological contradictions are motivated when assessing them against certain (analytic) philosophical modes. This brings me to the second aim of my thesis, namely, the solution. After having established how an Islamic theological contradiction is motivated, it begs a solution. Prior to offering my solution, I evaluate the recent work on Christian contradictory theology by Jc Beall (2019, 2021). Beall’s proposed solution to the fundamental problem of Christology is what he calls ‘Contradictory Christology’. Although this may seem like a plausible solution for an Islamic theological contradiction, I argue to the contrary. Finally, I propose my own solution to the problem. I call this ‘Islamic Mystical Dialetheism’. (shrink)

Suppose one sets up a sequence of less and less valuable objects such that each object in the sequence is only marginally worse than its immediate predecessor. Could one in this way arrive at something that is dramatically inferior to the point of departure? It has been claimed that if there is a radical value difference between the objects at each end of the sequence, then at some point there must be a corresponding radical difference between the adjacent elements. The (...) underlying picture seems to be that a radical gap cannot be scaled by a series of steps, if none of the steps itself is radical. We show that this picture is incorrect on a stronger interpretation of value superiority, but correct on a weaker one. Thus, the conclusion we reach is that, in some sense at least, abrupt breaks in such decreasing sequences cannot be avoided, but that such unavoidable breaks are less drastic than has been suggested. In an appendix written by John Broome and Wlodek Rabinowicz, the distinction between two kinds of value superiority is extended from objects to their attributes. (shrink)

Suppose that each of the following four conditions obtains: 1. You can save either a greater or a lesser number of innocent people from (equally) serious harm. 2. You can do so at trivial cost to yourself. 3. If you act to save, then the harm you prevent is harm that would not have been prevented if you had done nothing. 4. All other things are equal. A skeptic about saving the greater number rejects the common-sensical claim that you have (...) a duty to save the greater number in such circumstances. (shrink)

On the face of it ‘deterministic chance’ is an oxymoron: either a process is chancy or deterministic, but not both. Nevertheless, the world is rife with processes that seem to be exactly that: chancy and deterministic at once. Simple gambling devices like coins and dice are cases in point.2 On the one hand they are governed by deterministic laws – the laws of classical mechanics – and hence given the initial condition of, say, a coin it is determined whether it (...) will land heads or tails when tossed.3 On the other hand, we commonly assign probabilities to the different outcomes of a coin toss, and doing so has proven successful in guiding our actions. The same dilemma also emerges in less mundane contexts. Classical statistical mechanics assigns probabilities to the occurrence of certain events – for instance to the spreading of a gas that is originally confined to the left half of a container – but at the same time assumes that the relevant systems are deterministic. How can this apparent conflict be resolved? (shrink)

Suppose we believe that a property F is coextensive with moral permissibility. F may be, for example, the property of having the best consequences, if we are Consequentialists, or that of conforming to a universalisable maxim, if we are Kantians, and so on. This may raise the following problem. It is plausible that permissibility is “closed under implication”: any act that is implied by a permissible act must itself be permissible. Yet, in some cases, F might not be closed under (...) implication. If that is so, then F cannot be coextensive with permissibility. Maximalism has been proposed as a solution to this problem. A “maximal” act is one not implied by any other act. Maximalism restricts the claim that F is coextensive with permissibility to maximal acts only. A non-maximal act may be permissible without being F if it is implied by a maximal act that is F. The general aim of this paper is to investigate these issues by considering the formal structure of acts, or the “act-implication” relation. Discussions of Maximalism have tended to assume implicitly that acts have structure of some sort, but there has been little careful attention given to this structure. I aim to show that, by thinking about structure, we can provide a stronger defence of Maximalism. (shrink)

In the Trolley Case (Figure 1), as devised by Philippa Foot and modified by Judith Jarvis Thomson, a runaway trolley (i.e. tram) is headed down a main track and will hit and kill five unless you divert it onto a side track, where it will hit and kill one.

This paper considers a puzzling conflict between two positions that are each compelling: it is irrational for an agent to pay to avoid `free' evidence before making a decision, and rational agents may have imprecise beliefs and/or desires. Indeed, we show that Good's theorem concerning the invariable choice-worthiness of free evidence does not generalise to the imprecise realm, given the plausible existing decision theories for handling imprecision. A key ingredient in the analysis, and a potential source of controversy, is the (...) general approach taken for resolving sequential decision problems { we make explicit what the key alternatives are and defend our own approach. Furthermore, we endorse a resolution of the aforementioned puzzle { we privilege decision theories that merely permit avoiding free evidence over decision theories for which avoiding free evidence is uniquely admissible. Finally, we situate this particular result about free evidence within the broader `dynamic-coherence' literature. (shrink)

Suppose one sets up a sequence of less and less valuable objects such that each object in the sequence is only marginally worse than its immediate predecessor. Could one in this way arrive at something that is dramatically inferior to the point of departure? It has been claimed that if there is a radical value difference between the objects at each end of the sequence, then at some point there must be a corresponding radical difference between the adjacent elements. The (...) underlying picture seems to be that a radical gap cannot be scaled by a series of steps, if none of the steps itself is radical. We show that this picture is incorrect on a stronger interpretation of value superiority, but correct on a weaker one. Thus, the conclusion we reach is that, in some sense at least, abrupt breaks in such decreasing sequences cannot be avoided, but that such unavoidable breaks are less drastic than has been suggested. In an appendix written by John Broome and Wlodek Rabinowicz, the distinction between two kinds of value superiority is extended from objects to their attributes. (shrink)

Methodical doubt is usually associated with Descartes. However, it is with Francis Bacon that its function and scope are first recognized – as a preliminary stage in the attainment of knowledge, and as an epistemological tool (a rule) for achieving true knowledge. In this paper, I follow the various steps of construction and use of Baconian doubt as it appears in the first book of the New Organon. I will argue that Bacon - in distancing himself from traditional scepticism – (...) will come to conceive methodical doubt not only as a procedure for renovating knowledge, but more specifically as a prescriptive condition for identifying what 'mind' is required to pursue the aim of renovating knowledge. (shrink)

This paper argues that vice-charging, the practice of charging other persons with epistemic vice, can itself be epistemically vicious. It identifies some potential vices of vice-charging and identifies knowledge of other people as a type of knowledge that is obstructed by epistemically vicious attributions of epistemic vice. The hazards of vice-charging are illustrated by reference to the accusation that parents who hesitate to give their children the MMR triple vaccine are guilty of gullibility and dogmatism. Ethnographic and sociological research is (...) used to make the case that this charge is, in a significant range of cases, epistemically unjust and hinders attempts to make sense of vaccine hesitancy. This epistemic injustice consists in the representation of vaccine hesitant parents as less than full epistemic agents. A case is made for a more tolerant and inclusive approach, not only to vaccine hesitancy but also to other forms of unorthodoxy or non-compliance. The primary objective in these cases should be to achieve Verstehen of seemingly alien outlooks and practices so that policy makers and practitioners in public services can more effectively educate a sceptical public about the risks of vaccine hesitancy. (shrink)

The image of man’s dominion over nature is deeply rooted in Western thought. It first appears, in different forms, in the Book of Genesis. It also reappears as one of the leading images of the emerging ‘new science’ in the 16th century. Francis Bacon puts particular emphasis on this image, which he takes to be the guiding principle of his new vision of science and practical knowledge. It is this vision which, as is widely acknowledged, will open the path to (...) modern science. In what follows I will first sketch some relevant background for the emergence of this image. I will then analyse how the image takes shape in the context of Bacon’s philosophical project, paying attention to the novelties of his project but also to its continuities with tradition (especially Christian thought). It is indeed this mixture of past and future which suggests how natural order and human rule come to speak as one voice in the vision of the new science. (shrink)

We investigate introduction and elimination rules for truth-functional connectives, focusing on the general questions of the existence, for a given connective, of at least one such rule that it satisfies, and the uniqueness of a connective with respect to the set of all of them. The answers are straightforward in the context of rules using general set/set sequents of formulae, but rather complex and asymmetric in the restricted (but more often used) context of set/formula sequents, as also in the intermediate (...) set/formula-or-empty context. (shrink)

Consider the following two seemingly unrelated questions. First, why does Rousseau (1993 [1762]) believe that the formation of factions or partial associations is not conducive to the general will in Du Contrat Social, II, 3? Second, why do federal assemblies typically strive for some form of degressive proportionality, i.e. a balance between equal and proportional representation, for the countries in the federation? We will show that there is a surprising connection between these questions. We turn to our first question. It (...) is often thought that Rousseau’s opposition to factions can be interpreted in reference to the Condorcet Jury Theorem. The Condorcet Jury Theorem states that if voters are more likely to be right on some issue than not and cast their votes independently, then the chance that the majority is correct converges to one as the number of voters goes to infinity. This interpretation is tempting, but it is inconsistent with some crucial textual evidence. We turn to our second question. Consider a federation of countries with a decision-making assembly in which each country casts a block vote. On equal representation, the vote of each country has the same weight. On proportional representation, the weights of the votes are proportional to the countries’ population sizes. In between these extremes, we can let the weights increase as a function of population sizes, but smaller countries receive greater weights and larger countries receive lesser weights than proportionality would warrant. Such weightings are called degressively proportional weightings. How can degressive proportionality be justified? And does this justification provide us any guidance as to how these weights should be set? A correct understanding of Rousseau’s misgivings about the formation of factions will hold the key to these questions. (shrink)

This paper revisits Richard Hare's classical and much discussed argument for preference utilitarianism, which relies on the conception of moral deliberation as a process of thought experimentation, with concomitant preference change. The paper focuses on an apparent gap in Hare's reasoning, the so-called No-Conflict Problem. A solution to this difficulty which was proposed in is re-examined and shown to lead to a number of difficulties. The paper therefore also considers an alternative idea, due to Daniel Elstein. This new proposal may (...) well turn out to be the best way of filling the gap in Hare's argument. The paper also examines whether the gap is there to begin with: The problem should perhaps be dissolved rather than solved. This suggestion goes back to an idea of Zeno Vendler. Unfortunately, it turns out that Vendler's move does not save Hare from criticism: It does dissolve the No-Conflict Problem, but at the same time it gives rise to another, potentially more serious difficulty. (shrink)

Si c'est une tache de la philosophie de rompre la domination du mot sur l'esprit humain en devoilant les illusions qui souvent naissent presque inevitablement de l'utilisation de la langue en ce qui concerne des relations entre concepts, en liberant la pensee de ce dont elle est atteinte uniquement par la nature du moyen d'expression de la langue, alors mon ideographie developpee plus avant pour ces buts pourra devenir un outil utile aux philosophes. [...] L'arithmetique a ete le point de (...) depart du raisonnement qui m'a conduit a mon ideographie. Ainsi je pense d'abord l'appliquer a cette science en cherchant a mieux analyser ses concepts et a fonder plus profondement ses theoremes. (shrink)

This article raises some incompatibilist challenges for, and queries some of the implications of, Ronald Dworkin’s arguments in his "Justice for Hedgehogs" (2011), that responsibility is compatible with both determinism and epiphenomenalism.

The formalism of quantum mechanics provides us with the probabilities for certain events to occur—this much is uncontroversial. But how are we to understand these probabilities? The essays in this special issue approach this question from different angles. The first three contributions take as their point of departure the philosophy of probability and discuss what the two main outlooks—objective and subjective interpretations of probability—have to offer in the context of quantum mechanics. The following five papers explore the question of how (...) probabilities in particular interpretations of quantum mechanics—modal interpretations, relative state interpretations, Bohmian mechanics, and GRW theory—can be interpreted. The last three essays address specific issues: non-standard probability and algebraic quantum field theory, quantum propensities, and the relation between decoherence and the interpretation of probability. (shrink)

This paper revisits Richard Hare's classical and much discussed argument for preference utilitarianism, which relies on the conception of moral deliberation as a process of thought experimentation, with concomitant preference change. The paper focuses on an apparent gap in Hare's reasoning, the so-called No-Conflict Problem. A solution to this difficulty which was proposed in is re-examined and shown to lead to a number of difficulties. The paper therefore also considers an alternative idea, due to Daniel Elstein. This new proposal may (...) well turn out to be the best way of filling the gap in Hare's argument. The paper also examines whether the gap is there to begin with: The problem should perhaps be dissolved rather than solved. This suggestion goes back to an idea of Zeno Vendler. Unfortunately, it turns out that Vendler's move does not save Hare from criticism: It does dissolve the No-Conflict Problem, but at the same time it gives rise to another, potentially more serious difficulty. (shrink)

Aristotle (b. 322 BC) was the first philosopher in the history of thought to examine all modes and types of belief acquisition such as knowledge, supposition, error and indirectly imagination. In his _Prior Analytics_, which he wrote primarily to clarify his theory of demonstration, Aristotle examined in detail the syllogism, which he saw as the most important form of reasoning, and his analysis was subject to interpretation by different traditions of thought for centuries. Aristotle’s _Prior Analytics_ was translated into Arabic (...) in the classical period and later interpreted by many Islamic logicians. This article aims to show how Aristotle’s definition of the syllogism in the _Prior Analytics_ was taken up and interpreted in the Peripatetic Islamic logical tradition. These interpretations of the definition of the syllogism will provide us with an idea about the unique features of the commentaries on the _Prior Analytics_ in the Islamic world. Here, introductory information about the translation of the _Prior Analytics_ into Arabic and its commentators in Arabic will be given, Aristotle’s definition of the syllogism and its versions in Peripatetic Islamic logicians will be indicated, and the interpretation of the basic terms in the definition by Peripatetic Islamic logicians will be revealed. (shrink)

The problem addressed in this paper is “the main epistemic problem concerning science”, viz. “the explication of how we compare and evaluate theories [...] in the light of the available evidence” (van Fraassen, BC, 1983, Theory comparison and relevant Evidence. In J. Earman (Ed.), Testing scientific theories (pp. 27–42). Minneapolis: University of Minnesota Press). Sections 1– 3 contain the general plausibility-informativeness theory of theory assessment. In a nutshell, the message is (1) that there are two values a theory should exhibit: (...) truth and informativeness—measured respectively by a truth indicator and a strength indicator; (2) that these two values are conflicting in the sense that the former is a decreasing and the latter an increasing function of the logical strength of the theory to be assessed; and (3) that in assessing a given theory by the available data one should weigh between these two conflicting aspects in such a way that any surplus in informativeness succeeds, if the shortfall in plausibility is small enough. Particular accounts of this general theory arise by inserting particular strength indicators and truth indicators. In Section 4 the theory is spelt out for the Bayesian paradigm of subjective probabilities. It is then compared to incremental Bayesian confirmation theory. Section 4 closes by asking whether it is likely to be lovely. Section 5 discusses a few problems of confirmation theory in the light of the present approach. In particular, it is briefly indicated how the present account gives rise to a new analysis of Hempel’s conditions of adequacy for any relation of confirmation (Hempel, CG, 1945, Studies in the logic of comfirmation. Mind, 54, 1–26, 97–121.), differing from the one Carnap gave in § 87 of his Logical foundations of probability (1962, Chicago: University of Chicago Press). Section 6 adresses the question of justification any theory of theory assessment has to face: why should one stick to theories given high assessment values rather than to any other theories? The answer given by the Bayesian version of the account presented in section 4 is that one should accept theories given high assessment values, because, in the medium run, theory assessment almost surely takes one to the most informative among all true theories when presented separating data. The concluding section 7 continues the comparison between the present account and incremental Bayesian confirmation theory. (shrink)

This paper aims to shed light upon an understanding of the concept of truth in Gorgias, a 5th century BC sophist or rhetorician. Traditionally it has been suggested that Gorgias weighs on a type of logical validity on the grounds of endoxa in order to achieve persuasion in his speeches. It is doubtless that Gorgias, for instance in Encomium of Helen, emphasising the role of truth in a speech, indeed admits that an active agent must be blamed if the agent (...) really yields an blamable event, and constructs his argument on the basis of such a common endoxa. However, for the success of persuasion by truth, Gorgias do not only rely on an endoxa for the logical validity, but also on appeal to the nature of things or events. Gorgias in the speech articulates that a naturally stronger thing must rule and a naturally weaker thing must be ruled, and also emphasises that the lineage of Helen and her physical beauty by nature surpass those of ordinary people. These points in his argumentation are the validating factors to rescue Helen from the traditional blame and to praise her as well; yet, they are not what can be proven by logical validity but justified only by their nature. In this respect, concerning the concept of truth for the success of persuasion does Gorgias utilise not only logical validity but also justification by correspondence to the nature of things. (shrink)

Aristotle (d. 322 BC) was the first philosopher in the history of thought to examine all modes and types of belief acquisition such as knowledge, supposition, error and indirectly imagination. In his _Prior Analytics_, which he wrote primarily to clarify his theory of demonstration, Aristotle examined in detail the syllogism, which he saw as the most important form of reasoning, and his analysis was subject to interpretation by different traditions of thought for centuries. Aristotle’s _Prior Analytics_ was translated into Arabic (...) in the classical period and later interpreted by many Islamic logicians. This article aims to show how Aristotle’s definition of the syllogism in the _Prior Analytics_ was taken up and interpreted in the Peripatetic Islamic logical tradition. These interpretations of the definition of the syllogism will provide us with an idea about the unique features of the commentaries on the _Prior Analytics_ in the Islamic world. Here, introductory information about the translation of the _Prior Analytics_ into Arabic and its commentators in Arabic will be given, Aristotle’s definition of the syllogism and its versions in Peripatetic Islamic logicians will be indicated, and the interpretation of the basic terms in the definition by Peripatetic Islamic logicians will be revealed. (shrink)

Aristotle (384-322 BC) was an ancient Greek philosopher, pupil of Plato, and tutor of Alexander the Great. His works span the topics of biology, metaphysics, mind, logic, language, science, epistemology, ethics, and politics. Aristotle held that there are many divine beings, but a supremely divine being is the first cause of the universe and the goodness of all other beings. This divine being plays a fundamental explanatory role in Aristotle’s thought.

There is a large literature on the issue of the lack of properties (i.e. accidents) in quantum mechanics (the problem of “hidden variables”) and also on the indistinguishability of particles. Both issues were discussed as far back as the late 1920’s. However, the implications of these challenges to classical ontology were taken up rather late, in part in the ‘quantum set theory’ of Takeuti (Curr Issues Quant Logic 303–322, 1981), Finkelstein (in Beltrametti EG, Van Fraassen BC (eds) Current issues (...) in quantum logic. Plenum, New York, 1981) and the work of Décio Krause (1992)—and subsequent publications). But the problems created by quantum mechanics go far beyond set theory or the identity of indiscernibles (another subject that has been often discussed)—it extends, I argue, to our accounts of truth. To solve this problem, i.e. to have an approach to truth that facilitates a transition from a classical to a quantum ontology one must have a unified framework for them both. This is done within the context of a pluralist view of truthmaking, where the truthmakers are unified in having a monoidal structure. The structure of the paper is as follows. After a brief introduction, the idea of a monoid is outlined (in Sect. 1) followed by a standard set of axioms that govern the truthmaker relation from elements of the monoid to the set of propositions. This is followed, in Sect. 2, by a discussion of how to have truthmakers for two kinds of necessities: tautologies and analytic truths. The next Sect. 3, then applies these ideas to quantum mechanics. It gives an account of quantum states and shows how these form a monoid. The final section then argues that quantum logic does not, despite what one might initially suspect, stand in the way of an account of quantum truth. (shrink)

The Discourses are a key source for ancient Stoicism, one of the richest and most influential schools of thought in Western philosophy. They not only represent the Stoicism of Epictetus' own time, but also reflect the teachings of such early Stoics as Zeno and Chrysippus, whose writings are largely lost. The first of the four books of the Discourses is philosophically the richest: it focuses primarily on ethics and moral psychology, but also touches on issues of logic, epistemology, science, (...) and rhetoric. Other notable schools of ancient thought, including Epicureanism, the Sceptics, and the Cynics, are discussed. Robert Dobbin presents a new translation into clear modern English of this important work, together with the first commentary on the work since the eighteenth century. Each of the thirty discourses that make up Book 1 is introduced and summarized; then the arguments are examined in detail. The general introduction gives background information about Epictetus' life, the intellectual context of the work, the style of the discourses, and the history of the text. A bibliography surveys the literature. The volume serves as a guide to Epictetus' thought as a whole. Clarendon Later Ancient Philosophers General Editors: Jonathan Barnes and A. A. LongThis series is designed to encourage philosophers and students of philosophy to explore the fertile terrain of later ancient philosophy. The texts will range in date from the first century BC to the fifth century AD, and they will cover all the parts and all the schools of philosophy. Each volume contains a substantial introduction, an English translation, and a critical commentary on the philosophical claims and arguments of the text. The translations aim primarily at accuracy and fidelity, but also at readability; they are accompanied by notes on textual problems that affect the philosophical interpretation. No knowledge of Greek or Latin is assumed. (shrink)

Clarendon Later Ancient Philosophers General Editors: Professor Jonathan Barnes, Balliol College, Oxford, and Professor A. A. Long, University of California, Berkeley This series, which is modelled on the familiar Clarendon Aristotle and Clarendon Plato Series, is designed to encourage philosophers and students of philosophy to explore the fertile terrain of later ancient philosophy. The texts will range in date from the first century BC to the fifth century AD, and they will cover all the parts and all the schools of (...) philosophy. Each volume will contain a substantial introduction, an English translation, and a critical commentary on the philosophical claims and arguments of the text. The translations will aim primarily at accuracy and fidelity; but they will also be readable and accompanied by notes on textual problems that affect the philosophical interpretation. No knowledge of Greek or Latin will be assumed. Galen's On the Therapeutic Method, written late in his life, represents the distillation in its most complete form of Galen's views on the nature, genesis, proper classification, and treatment of disease. It was one of the most widely read of all classical texts during the Middle Ages and the Renaissance, and formed the core of the medical curriculum until the seventeenth century. Although still deeply influential in the nineteenth century, it has been unjustly neglected in modern times. The work contains a fascinating collection of views on scientific terminology and taxonomy, the application of the logical methods of collection and division to science, the axiomatization of science, and the structure of causation. Consequently it is a key text in later Greek philosophy of science. R. J. Hankinson provides here the first translation into any modern language of the first two books, together with an introduction and a philosophical commentary. (shrink)