From a moral point of view we think of ourselves as capable of responsible actions. From a scientific point of view we think of ourselves as animals whose behaviour, however highly evolved, conforms to natural scientific laws. Natural Agency argues that these different perspectives can be reconciled, despite the scepticism of many philosophers who have argued that 'free will' is impossible under 'scientific determinism'. This scepticism is best overcome, according to the author, by defending a causal theory of action, that (...) is by establishing that actions are constituted by behavourial events with the appropriate kind of mental causal history. He sets out a rich and subtle argument for such a theory and defends it against its critics. Thus the book demonstrates the importance of philosophical work in action theory for the central metaphysical task of understanding our place in nature. (shrink)

Miranda Fricker's original presentation of Hermeneutical Injustice left open theoretical choice points leading to criticisms and subsequent clarifications with the resulting dialectic appearing largely verbal. The absence of perspicuous exposition of hallmarks of Hermeneutical Injustice might suggest scenarios exhibiting some – but not all – such hallmarks are within its purview when they are not. The lack of clear hallmarks of Hermeneutical Injustice, moreover, obscures both the extent to which Fricker's proposed remedy Hermeneutical Justice – roughly, virtuous communicative practices – (...) adequately addresses the injustice, and the accuracy of criticisms suggesting that Hermeneutical Justice is insufficient to the task. In what follows, after briefly defending necessary and sufficient conditions for what I take to be the best candidate interpretation of Hermeneutical Injustice, I build on recent work on moral responsibility to construct and defend a rigorous explication of Hermeneutical Justice. (shrink)

Two options are incommensurate in value if neither is better than the other, and if a small improvement or worsening of one does not necessarily make it determinately better or worse than the other. If a person faces a sequence of choices between incommensurate options, she may end up with a worse options than she could have had, even though none of her choices are irrational. Yet it seems that rationality should save her from this bad outcome. This is the (...) practical problem posed by incommensurability of values, and it may be solved by a new account of practical reasoning. (shrink)

Rigorous proof is supposed to guarantee that the premises invoked imply the conclusion reached, and the problem of rigor may be described as that of bringing together the perspectives of formal logic and mathematical practice on how this is to be achieved. This problem has recently raised a lot of discussion among philosophers of mathematics. We survey some possible solutions and argue that failure to understand its terms properly has led to misunderstandings in the literature.

This paper examines some recent arguments for internalism that (i) appeal to an analogy between practical and theoretical reasons, (ii) look toward our practices of reasoning with others, or (iii) tie reasons to good deliberation. The conclusion of this paper is a skeptical one: none of these new arguments gives us sufficient reason to think that internalism is true.

What constitutes a “good” life—not necessarily a morally good life, but a life that is good for the person who lived it? In response to this question of “well-being," philosophers have offered three significant answers: A good life is one in which a person can satisfy their desires (“Desire-Satisfaction” or “Preferentism”), one that includes certain good features (“Objectivism”), or one in which pleasurable states dominate or outweigh painful ones (“Hedonism”). To adjudicate among these competing theories, moral philosophers traditionally gather data (...) from thought experiments and intuition. In this chapter, we supplement that traditional approach with a pair of experimental studies that examine whether the three theories reflect laypeople’s intuitions about well-being. The empirical studies yield two primary findings. First, they provide evidence for lay "well-being pluralism": laypeople treat desire satisfaction, positive objective conditions, and happiness as all constitutive of well-being. Second, the studies provide evidence of "hedonic dominance": laypeople evaluate an individual’s happiness as more important to an individual’s overall well-being than desire satisfaction or objective conditions. (shrink)

Most properties have comparatives, which are relations. For instance, the property of width has the comparative relation denoted by `_ is wider than _'. Let us say a property is reducible to its comparative if any statement that refers to the property has the same meaning as another statement that refers to the comparative instead. Width is not reducible to its comparative. To be sure, many statements that refer to width are reducible: for instance, `The Mississippi is wide' means the (...) same as `The Mississippi is wider than most rivers'. But some statements that refer to width are not reducible: for instance, `Electrons have zero width' is not. A property is not reducible to its comparative if it has absolute degrees, and specifically an absolute zero. A property's comparative relation places things in an order from those that have the property least to those that have it most. If there is an absolute zero point somewhere in this ordering, the property is not reducible to its comparative. For width, there is an absolute zero at one end of the ordering, so width is not reducible. The property of goodness is reducible to its comparative, betterness. In particular, there is no absolute zero of goodness. Things are ordered by betterness – some things are better than others – but nothing is absolutely good or absolutely bad. This is an exaggeration. In certain applications, goodness does have absolute degrees of a sort, and an absolute zero. For instance, it makes sense to say an event is good, and another event bad. These are absolute degrees of a sort, but they are themselves reducible to betterness. To say an event is good simply means the event is better than what would otherwise have happened. The goodness of lives has a different sort of absolute zero. Lives are ordered by betterness; some lives are better than others. We can make sense of the question `Where in this ordering is the division between lives that are good and those that are bad?' The division between good and bad lives is again reducible to betterness. To say a person's life is good means it is better that the person should continue living, rather than that she should die. Or it may mean it is better that her life should be lived rather than that it should never have been lived at all. As it is often put: a good life is a life worth living. Derek Parfit appears to attach a different sense to the idea of a good life. He appears to mean a life that contains a preponderance of good things (such as pleasure) over bad things (such as pain). If a life contains no good things and no bad things, it has zero goodness in this sense. In this sense, absolute goodness and the absolute zero of goodness are not reducible to betterness. However, this is a naturalistic sense of goodness, and it is subject to the open-question objection. If a life contains no good things and no bad things, it is an open question whether it has zero goodness. It might, for instance, be a bad thing that this life should be lived. In discussing the evil of death, some philosophers seem to have been searching for an absolute goodness that is not reducible to betterness. Thomas Nagel speaks of an asymmetry between what is good about life and what is bad about death. But if a person's life is good, that only means it would be better that she should continue living than that she should die. And if a person's death would be bad, that only means it would be worse that she should die than that she should continue living. So there can be no asymmetry. (shrink)

It is commonly thought that one is irrationally akratic when one believes one ought to F but does not intend to F. However, some philosophers, following Robert Audi, have argued that it is sometimes rational to have this combination of attitudes. I here consider the question of whether rational akrasia is possible. I argue that those arguments for the possibility of rational akrasia advanced by Audi and others do not succeed. Specifically, I argue that cases in which an akratic agent (...) acts as he has most reason to act, and cases in which an akratic agent achieves a kind of global coherence he wouldn’t have achieved had he instead formed intentions in line with his best judgment, do not establish the possibility of rational akrasia. However, I do think that rational akrasia is possible, and I present two arguments for this thesis. The first argument involves a case in which one is incapable of revising one’s belief about what one ought to do, where one also acknowledges this belief to be insufficiently supported by the evidence. The second argument involves a case in which one rationally believes that one ought to have an akratic combination of attitudes. (shrink)

This paper considers the formulation of the moral requirement against hypocrisy, paying particular attention to the logical scope of ‘requires’ in that formulation. The paper argues (i) that we should prefer a wide-scope formulation to a narrow-scope formulation, and (ii) this result has some advantages for our normative theorizing about hypocrisy – in particular, it allows us to resist several of Daniela Dover’s (2019) recent arguments against the anti-hypocrisy requirement.

One is sometimes, but only sometimes, justified in pursuing a suboptimal course of action due to a concern that, in attempting the ideal course, one might fail to follow through and so make the situation even worse. This paper explains why such hedging is sometimes justified and sometimes not. -/- The explanation we offer relies on Elizabeth Anscombe’s distinction between reasons and logoi. Reasons are normative considerations that identify something good or bad that an act will secure or avoid, while (...) logoi constrain which actions one may consider at all. We argue that a careful unpacking of this distinction, in light of Anscombe’s associated notion of natural unintelligibility, explains why hedging is only sometimes justified. First, the intuitively inappropriate cases of hedging all involve treating logoi as though they had the normative bearing of reasons. Second, the action-theoretic differences between reasons and logoi ground a principled explanation of why one may hedge when considering reasons but not when considering logoi. -/- Having made this argument, we then show how our approach to hedging is superior to the two approaches recently developed by Berislav Marušić and Stephen White. First, we show that their accounts give counter-intuitive results in some cases. Second, we argue that their accounts violate a plausible principle of interpersonal parity (i.e., they sometimes allow us to consider the faults of others while precluding us from considering our own faults). Finally, we argue that our account better explains how intuitions shift as we vary the details of cases. (shrink)

Many real-world agents recognise that they impose harms by choosing to emit carbon, e.g., by flying. Yet many do so anyway, and then attempt to make things right by offsetting those harms. Such offsetters typically believe that, by offsetting, they change the deontic status of their behaviour, making an otherwise impermissible action permissible. Do they succeed in practice? Some philosophers have argued that they do, since their offsets appear to reverse the adverse effects of their emissions. But we show that (...) they do not. In practice, standard carbon offsetting does not reverse the harms of the original action, nor does it even benefit the same group as was harmed. Standard moral theories hence deny that such offsetting succeeds. Indeed, we show that any moral theory that allows offsetting in this setting faces a dilemma between allowing any wrong to be offset, no matter how grievous, and recognising an implausibly sharp discontinuity between offsettable actions and non-offsettable actions. The most plausible response is to accept that carbon offsetting fails to right our climate wrongs. (shrink)

This book treats ancient logic: the logic that originated in Greece by Aristotle and the Stoics, mainly in the hundred year period beginning about 350 BCE. Ancient logic was never completely ignored by modern logic from its Boolean origin in the middle 1800s: it was prominent in Boole’s writings and it was mentioned by Frege and by Hilbert. Nevertheless, the first century of mathematical logic did not take it seriously enough to study the ancient logic texts. A renaissance in ancient (...) logic studies occurred in the early 1950s with the publication of the landmark Aristotle’s Syllogistic by Jan Łukasiewicz, Oxford UP 1951, 2nd ed. 1957. Despite its title, it treats the logic of the Stoics as well as that of Aristotle. Łukasiewicz was a distinguished mathematical logician. He had created many-valued logic and the parenthesis-free prefix notation known as Polish notation. He co-authored with Alfred Tarski’s an important paper on metatheory of propositional logic and he was one of Tarski’s the three main teachers at the University of Warsaw. Łukasiewicz’s stature was just short of that of the giants: Aristotle, Boole, Frege, Tarski and Gödel. No mathematical logician of his caliber had ever before quoted the actual teachings of ancient logicians. -/- Not only did Łukasiewicz inject fresh hypotheses, new concepts, and imaginative modern perspectives into the field, his enormous prestige and that of the Warsaw School of Logic reflected on the whole field of ancient logic studies. Suddenly, this previously somewhat dormant and obscure field became active and gained in respectability and importance in the eyes of logicians, mathematicians, linguists, analytic philosophers, and historians. Next to Aristotle himself and perhaps the Stoic logician Chrysippus, Łukasiewicz is the most prominent figure in ancient logic studies. A huge literature traces its origins to Łukasiewicz. -/- This Ancient Logic and Its Modern Interpretations, is based on the 1973 Buffalo Symposium on Modernist Interpretations of Ancient Logic, the first conference devoted entirely to critical assessment of the state of ancient logic studies. (shrink)

The philosophy of superdeterminism is based on a single scientific fact about the universe, namely that cause and effect in physics are not real. In 2020, accomplished Swedish theoretical physicist, Dr. Johan Hansson published a physics proof using Albert Einstein’s Theory of Special Relativity that our universe is superdeterministic meaning a predetermined static block universe without cause and effect in physics. Because of this new scientific understanding of our universe, the nature of miracles must be predetermined events that occur within (...) our static block universe. The predetermined static nature of our universe lends itself to the predetermined occurrence of miracles without the necessity of any intervention in time or interference with the laws of physics. Moreover, the new philosophy of superdeterminism supports the existence of a Creator God capable of predetermining the occurrence of miracles in human events. (shrink)

This paper calls for a re-appraisal of McGee's analysis of the semantics, logic and probabilities of indicative conditionals presented in his 1989 paper Conditional probabilities and compounds of conditionals. The probabilistic measures introduced by McGee are given a new axiomatisation built on the principle that the antecedent of a conditional is probabilistically independent of the conditional and a more transparent method of constructing such measures is provided. McGee's Dutch book argument is restructured to more clearly reveal that it introduces a (...) novel contribution to the epistemology of semantic indeterminacy, and shows that its more controversial implications are unavoidable if we want to maintain the Ramsey Test along with the standard laws of probability. Importantly, it is shown that the counterexamples that have been levelled at McGee's analysis|generating a rather wide consensus that it yields `unintuitive' or `wrong' probabilities for compounds |fail to strike at their intended target; for to honour the intuitions of the counterexamples one must either give up the Ramsey Test or the standard laws of probability. It will be argued that we need to give up neither if we take the counterexamples as further evidence that the indicative conditional sometimes allows for a non-epistemic `causal' interpretation alongside its usual epistemic interpretation. (shrink)

The COVID-19 pandemic prompted immense work on the investigation of the SARS-CoV-2 virus. Rapid, accurate, and consistent interpretation of generated data is thereby of fundamental concern. Ontologies––structured, controlled, vocabularies––are designed to support consistency of interpretation, and thereby to prevent the development of data silos. This paper describes how ontologies are serving this purpose in the COVID-19 research domain, by following principles of the Open Biological and Biomedical Ontology (OBO) Foundry and by reusing existing ontologies such as the Infectious Disease Ontology (...) (IDO) Core, which provides terminological content common to investigations of all infectious diseases. We report here on the development of an IDO extension, the Virus Infectious Disease Ontology (VIDO), a reference ontology covering viral infectious diseases. We motivate term and definition choices, showcase reuse of terms from existing OBO ontologies, illustrate how ontological decisions were motivated by relevant life science research, and connect VIDO to the Coronavirus Infectious Disease Ontology (CIDO). We next use terms from these ontologies to annotate selections from life science research on SARS-CoV-2, highlighting how ontologies employing a common upper-level vocabulary may be seamlessly interwoven. Finally, we outline future work, including bacteria and fungus infectious disease reference ontologies currently under development, then cite uses of VIDO and CIDO in host-pathogen data analytics, electronic health record annotation, and ontology conflict-resolution projects. (shrink)

Information-theoretic approaches to formal logic analyse the "common intuitive" concept of propositional implication (or argumental validity) in terms of information content of propositions and sets of propositions: one given proposition implies a second if the former contains all of the information contained by the latter; an argument is valid if the conclusion contains no information beyond that of the premise-set. This paper locates information-theoretic approaches historically, philosophically and pragmatically. Advantages and disadvantages are identified by examining such approaches in themselves and (...) by contrasting them with standard transformation-theoretic approaches. Transformation-theoretic approaches analyse validity (and thus implication) in terms of transformations that map one argument onto another: a given argument is valid if no transformation carries it onto an argument with all true premises and false conclusion. Model-theoretic, set-theoretic, and substitution-theoretic approaches, which dominate current literature, can be construed as transformation-theoretic, as can the so-called possible-worlds approaches. Ontic and epistemic presuppositions of both types of approaches are considered. Attention is given to the question of whether our historically cumulative experience applying logic is better explained from a purely information-theoretic perspective or from a purely transformation-theoretic perspective or whether apparent conflicts between the two types of approaches need to be reconciled in order to forge a new type of approach that recognizes their basic complementarity. (shrink)

Although the last decade has seen a proliferation of ontological approaches to arguments, many of them employ ad hoc solutions to representing arguments, lack interoperability with other ontologies, or cover arguments only as part of a broader approach to evidence. To provide a better ontological representation of arguments, we present the Arguments Ontology (ArgO), a small ontology for arguments that is designed to be imported and easily extended by researchers who work in different upper-level ontology frameworks, different logics, and different (...) approaches to argument evaluation. Unlike most ontological approaches to arguments, ArgO utilizes Basic Formal Ontology (BFO) as an upper-level ontology, and may be used alongside other commonly used ontologies in the BFO framework, including boththe Information Artifact Ontology (IAO), and the Information Entity Ontology (INFO). Critically, our proposal is principled, based on rigorous definitions and formal axioms out of which characterizations of arguments naturally fall. It is our hope that ArgO may assist researchers in many projects, including: integrating heterogeneous sources of evidence, structuring the content of semantic wikis, and enhancing semantic reasoning. (shrink)

In De Anima II 5, 417a21-b16, Aristotle makes a number of distinctions between types of transitions, affections, and alterations. The objective of this paper is to sort out the relationships between these distinctions by means of determining which of the distinguished types of change can be coextensive and which cannot, and which can overlap and which cannot. From the results of this analysis, an interpretation of 417a21-b16 is then constructed that differs from previous interpretations in certain important respects, chief among (...) which is its characterization of transitions from first potentiality to first actuality, e.g., learning, not as `ordinary', but rather as acquisitions of natural dispositions or faculties. (shrink)

The philosophy of superdeterminism is based on a single scientific fact about the universe, namely that cause and effect in physics are not real. In 2020, accomplished Swedish theoretical physicist, Dr. Johan Hansson published a physics proof using Albert Einstein’s Theory of Special Relativity that our universe is superdeterministic meaning a predetermined static block universe without cause and effect in physics. Some believe that the lack of cause and effect in physics would cripple science, but this is an absurd notion (...) given the fact that science has already been enormously successful in the absence of cause and effect in physics. Because the philosophy of superdeterminism is founded on a single scientific fact, then any of the implications of this philosophy are also rooted in science. The role of science under the philosophy of superdeterminism is the same as it has always been namely to understand the universe and offer technological solutions to the world’s problems. The philosophy of superdeterminism offers a means of harmonizing the belief in God and science for over half the world’s population by supporting the existence of God and the notion of bodily resurrection in the afterlife through inferences based on the science of physics. (shrink)

The philosophy of superdeterminism is based on a single scientific fact about the universe, namely that cause and effect in physics are not real. In 2020, accomplished Swedish theoretical physicist, Dr. Johan Hansson published a physics proof using Albert Einstein’s Theory of Special Relativity that our universe is superdeterministic meaning a predetermined static block universe without cause and effect in physics. So, what impact does living in a predetermined static block universe without cause and effect in physic have on living (...) your life? The single most important impact is the strong scientific evidence supporting the existence of God. The second most important impact is that you can infer that God endorsed Christianity and the Catholic Church, because one would expect God to communicate with humanity by predetermining His will to be the predominant religion and Church on Earth. The third most important impact is the realization that your life is endlessly repeated in our block universe. The philosophy of superdeterminism has many other significant impacts on our understanding of God, the universe and meaning in life. (shrink)

The philosophy of superdeterminism is based on a single scientific fact about the universe, namely that cause and effect in physics are not real. In 2020, accomplished Swedish theoretical physicist, Dr. Johan Hansson published a physics proof using Albert Einstein’s Theory of Special Relativity that our universe is superdeterministic meaning a predetermined static block universe without cause and effect in physics. Scientists have observed purely random behavior at the quantum level, which has led some physicists to claim that our universe (...) started out as a purely random quantum fluctuation. While quantum randomness makes a real appearance in our static block universe, such predetermined quantum randomness does not prove a random cause for our universe. With good scientific evidence supporting the belief that our universe was created despite the absence of cause and effect in physics, one can infer that a non-temporal non-physical cause was responsible for the creation of our universe. However, this non-temporal cause would logically have to know of and understand everything about the universe it was creating before it created our universe. Consequently, this creator would have had to already know about the appearance of quantum randomness in our universe in order to create our universe to exhibit that quantum randomness in our static block universe. The philosophy of superdeterminism supports the existence of such a Creator God, who created our static block universe outside of time without the use of any natural causal forces to exhibit predetermined quantum randomness disproving any random cause for our universe. (shrink)

Aristotelians traditionally motivate the doctrine of first (“prime”) matter by claiming that substantial change requires a subject. Without gainsaying that motivation, I propose another: first matter is a necessary postulate for the sort of unity proper to a substance. This motivation arises if one examines a claim that Patrick Toner and Robert Koons share: (TM′) the possession of emergent causal powers is necessary for substancehood. I first explain how TM′ represents the application of “Merricks’s Dictum” (“For a macrophysical object to (...) exist is to have causal powers”) to an Aristotelian framework. Next, I argue that, as Toner’s and Koons’s respective theories use TM′, it is incompatible with the denial that substances have substances as proper parts. In Toner’s hylomorphism, TM′ entails that an entity’s matter and form are independent substances. As part of Koons’s theory, TM′ implies that an entity’s elementary parts are substances. Happily, a hylomorphist need not accept TM′. For example, Aquinas rejects TM′ as incompatible with the doctrine of first matter. An ontology like Aquinas’s that includes first matter navigates the dialectical straight between the dualism and atomism. If she commits to first matter, the hylomorphist can deny that substances have substances as proper parts. (shrink)

A fruitful way to approach The Idea of Phenomenology is through Husserl’s claim that consciousness is not a bag, box, or any other kind of container. The bag conception, which dominated much of modern philosophy, is rooted in the idea that philosophy is restricted to investigating only what is really immanent to consciousness, such as acts and sensory contents. On this view, what Husserl called the riddle of transcendence can never be solved. The phenomenological reduction, as Husserl develops it in (...) The Idea of Phenomenology, opened up a new and broader sense of immanence that embraces the transcendent, making it possible both to solve the riddle and to escape the bag conception once and for all. The essay will discuss ways in which this new conception of immanence is tied to the key Husserlian themes of appearance, phenomenon, essence, seeing or intuiting, and constitution. (shrink)

Do biological relations ground responsibilities between biological fathers and their offspring? Few think biological relations ground either necessary or sufficient conditions for responsibility. Nevertheless, many think biological relations ground responsibility at least partially. Various scenarios, such as cases concerning the responsibilities of sperm donors, have been used to argue in favor of biological relations as partially grounding responsibilities. In this article, I seek to undermine the temptation to explain sperm donor scenarios via biological relations by appealing to an overlooked feature (...) of such scenarios. More specifically, I argue that sperm donor scenarios may be better explained by considering the unique abilities of agents involved. Appealing to unique ability does not eliminate the possibility of biological relations providing some explanation for perceived responsibilities on the part of biological fathers. However, since it is unclear exactly why biological relations are supposed to ground responsibility in the first place, and rather clear why unique ability grounds responsibility in those scenarios where it is exhibited, the burden of proof seems shifted to those advocating biological relations as grounds of responsibility to provide an explanation. Since this seems unlikely, I conclude it is best to avoid appealing to biological relations as providing grounds for responsibility. (shrink)

Bowin begins with an apparent paradox about Aristotelian infinity: Aristotle clearly says that infinity exists only potentially and not actually. However, Aristotle appears to say two different things about the nature of that potential existence. On the one hand, he seems to say that the potentiality is like that of a process that might occur but isn't right now. Aristotle uses the Olympics as an example: they might be occurring, but they aren't just now. On the other hand, Aristotle says (...) that infinity "exists in actuality as a process that is now occurring" (234). Bowin makes clear that Aristotle doesn't explicitly solve this problem, so we are left to work out the best reading we can. His proposed solution is that "infinity must be...a per se accident...of number and magnitude" (250). (Bryn Mawr Classical Review 2008.07.47). (shrink)

The initial argument presented herein is not significantly original—it is a simple reflection upon a notion of computation originally developed by Putnam and criticised by Chalmers et al. . In what follows, instead of seeking to justify Putnam’s conclusion that every open system implements every Finite State Automaton and hence that psychological states of the brain cannot be functional states of a computer, I will establish the weaker result that, over a finite time window every open system implements the trace (...) of FSA Q, as it executes program on input . If correct the resulting bold philosophical claim is that phenomenal states—such as feelings and visual experiences—can never be understood or explained functionally. (shrink)

It is one thing for a given proposition to follow or to not follow from a given set of propositions and it is quite another thing for it to be shown either that the given proposition follows or that it does not follow.* Using a formal deduction to show that a conclusion follows and using a countermodel to show that a conclusion does not follow are both traditional practices recognized by Aristotle and used down through the history of logic. These (...) practices presuppose, respectively, a criterion of validity and a criterion of invalidity each of which has been extended and refined by modern logicians: deductions are studied in formal syntax (proof theory) and coun¬termodels are studied in formal semantics (model theory). The purpose of this paper is to compare these two criteria to the corresponding criteria employed in Boole’s first logical work, The Mathematical Analysis of Logic (1847). In particular, this paper presents a detailed study of the relevant metalogical passages and an analysis of Boole’s symbolic derivations. It is well known, of course, that Boole’s logical analysis of compound terms (involving ‘not’, ‘and’, ‘or’, ‘except’, etc.) contributed to the enlargement of the class of propositions and arguments formally treatable in logic. The present study shows, in addition, that Boole made significant contributions to the study of deduc¬tive reasoning. He identified the role of logical axioms (as opposed to inference rules) in formal deductions, he conceived of the idea of an axiomatic deductive sys¬tem (which yields logical truths by itself and which yields consequences when ap¬plied to arbitrary premises). Nevertheless, surprisingly, Boole’s attempt to imple¬ment his idea of an axiomatic deductive system involved striking omissions: Boole does not use his own formal deductions to establish validity. Boole does give symbolic derivations, several of which are vitiated by “Boole’s Solutions Fallacy”: the fallacy of supposing that a solution to an equation is necessarily a logical consequence of the equation. This fallacy seems to have led Boole to confuse equational calculi (i.e., methods for gen-erating solutions) with deduction procedures (i.e., methods for generating consequences). The methodological confusion is closely related to the fact, shown in detail below, that Boole had adopted an unsound criterion of validity. It is also shown that Boole totally ignored the countermodel criterion of invalid¬ity. Careful examination of the text does not reveal with certainty a test for invalidity which was adopted by Boole. However, we have isolated a test that he seems to use in this way and we show that this test is ineffectual in the sense that it does not serve to identify invalid arguments. We go beyond the simple goal stated above. Besides comparing Boole’s earliest criteria of validity and invalidity with those traditionally (and still generally) employed, this paper also investigates the framework and details of THE MATHEMATICAL ANALYSIS OF LOGIC. (shrink)

According to the Aristotelian Thesis, the conclusion of practical reasoning is an action. Critics argue against it by pointing to cases in which some interference or inability prevents the production of action, yet in which that interference or inability doesn’t impugn the success of an agent’s reasoning. Some of those critics suggest instead that practical reasoning concludes in an intention, while others suggest it concludes in a belief with normative content, such as a belief about what one has conclusive, or (...) sufficient, reason to do. In this paper, I argue that we should allow that practical reasoning could conclude in either an intention or a belief with normative content. I begin by developing an objection to the Aristotelian Thesis, showing how the objection will not also undermine the possibility of practical reasoning concluding in an intention or a belief. I then respond to an argument from Joseph Raz designed to exclude the possibility of intentions as conclusions of practical reasoning. Lastly, I show how the worry that belief isn’t sufficiently “practical” to qualify as a conclusion of practical reasoning is misplaced. (shrink)

There are two different ways of understanding alienation: as a condition and as a struggle. On this distinction turns the whole theory and practice of Marxism.

In this paper I discuss critically Richard Swinburne’s concept of God, which I find to be incoherent, and his understanding of Christianity, which I find to be based on a precritical use of the New Testament.

Frege’s claim that proper names have senses has come to seem untenable following Kripke’s argument that names are rigid designators. It is commonly thought that if names had senses, their referents would vary with circumstances of evaluation. The article defends Frege’s claim by arguing that names have word-reflexive senses. This analysis of names’ senses does not violate Kripke’s noncircularity condition, and it differs crucially from related views of Bach and Katz. That names have reflexive senses confirms Frege’s own solution to (...) his puzzle about the content of identity sentences, solves Kripke’s Pierre and Peter puzzles about belief ascription, and entails that bearerless names have meanings. Furthermore, names’ having reflexive senses explains why they designate rigidly. (shrink)

Aristotle, though not the first Greek virtue ethicist, was the first to establish virtue ethics as a distinct philosophical discipline. His exposition of the subject in his Nicomachean Ethics set the terms of subsequent debate in the European and Arabic traditions by proposing a set of plausible assumptions from which virtue ethics should proceed. His conception of human well-being and virtue as well as his brand of ethical naturalism were influential from antiquity through the Middle Ages and continue to be (...) influential today. (shrink)

Aristotle recognizes two modes of apprehending time, viz., perceiving time and grasping time intellectually. This chapter clarifies what is and is not involved in these two modes of apprehending time. It also clarifies the way in which they interact, and argues that, according to Aristotle, one’s intellectual grasp of time has an effect on one’s perception of time for those beings who have intellect.

This paper defends Aristotle’s project of deriving the order of time from the order of change in Physics 4.11, against the objection that it contains a vicious circularity arising from the assumption that we cannot specify the direction of a change without invoking the temporal relations of its stages. It considers and rejects a solution to this objection proposed by Ursula Coope, and proposes an alternative solution. It also considers the related problem of how the temporal orders and directions derived (...) from individual changes can together constitute a single, globally consistent order and direction of time. (shrink)

The primary goal of this research was to determine the influence of social media marketing (SMM) on the customer purchasing behavior (CPB) of senior high school (SHS) students. Utilizing the non-experimental quantitative method of research and validated questionnaires in data analysis with Mean, Person Product-Moment Correlation Coefficient (Pearson-r), and Multiple Linear Regression Analysis as statistical tools, the outcome displayed that the levels of social media marketing and customer purchasing behavior through the lens of SHS students are high, which means that (...) these two variables are oftentimes manifested. There is a strong positive relationship between social media marketing and customer purchasing behavior. It was also found out that quality content, as a domain of social media marketing, best influences customer purchasing behavior. (shrink)

Contrary to common misconceptions, today's logic is not devoid of existential import: the universalized conditional ∀ x [S→ P] implies its corresponding existentialized conjunction ∃ x [S & P], not in all cases, but in some. We characterize the proexamples by proving the Existential-Import Equivalence: The antecedent S of the universalized conditional alone determines whether the universalized conditional has existential import, i.e. whether it implies its corresponding existentialized conjunction.A predicate is an open formula having only x free. An existential-import predicate (...) Q is one whose existentialization, ∃ x Q, is logically true; otherwise, Q is existential-import-free or simply import-free.How abundant or widespread is existential import? How abundant or widespread are existential-import predicates in themselves or in comparison to import-free predicates? We show that existential-import predicates are quite abundant, and no less so than import-free predicates. Existential.. (shrink)

Volume 19, Issue 11, November 2019, Page 32-34.

Scholars of ideology in social-scientific disciplines, including psychology, sociology, and political science, stand to benefit from taking seriously the philosophical contributions of Professor Peter Railton. This is because Railton provides much-needed conceptual precision—and a rare sense of epistemological and moral clarity—to a topic that is notoriously slippery and prone to relativistic musing and the drawing of false equivalences. In an essay entitled “Morality, Ideology, and Reflection: Or, the Duck Sits Yet,” Railton (2000/2003) aptly identified the purpose of ideological analysis as (...) the unmasking of “nonepistemic” interests—that is, interests other than truth-seeking, accuracy, or warrant —that contribute to the development, adoption, and dissemination of political and religious belief systems. (shrink)

What the rational thing to do in the face of disagreement by an epistemic peer is has been much discussed recently. Those who think that a peer’s disagreement is itself evidence against one’s belief, as many do, are committed to a special form of epistemic dependence. If such disagreement is really evidence, it seems reasonable to take it into account and to adjust one’s belief accordingly. But then it seems that the belief one ends up with depends, in part, on (...) what someone else believes, even if one does not know why that someone believes what he does. While the practical impossibility of finding actual cases of peer disagreement has been often noted, its conceptual possibility has gone unquestioned. Here we challenge this consensus and argue, first, that, strictly speaking, peer disagreement is impossible and, second, that cases of – all-too-common – near-peer disagreement present no special puzzle and require nothing more than adhering to standard principles of sensible epistemic conduct. In particular, we argue that in such cases there is no good reason to adopt the widely accepted principle that evidence of evidence is evidence. If so, even if one takes a near-peer’s disagreement as a reason for reexamining one’s belief, one is not epistemically dependent in the sense one would be if that disagreement were evidence concerning the matter in question. (shrink)

Like all reasoning, practical reasoning is a process that takes a person from some of her existing mental states to a new mental state. Theoretical reasoning concludes in a belief; practical reasoning in an intention. This paper concentrates on instrumental reasoning, a species of practical reasoning in general. It argues that instrumental reasoning is correct if the content of the reasoning is a valid derivation, just as theoretical reasoning is correct if its content is a valid derivation. It also argues (...) that neither theoretical nor practical reasoning gives a reason for its conclusion. If a piece of reasoning is correct, it concludes in a state - a belief or an intention - that is rationally required by the states it is derived from, but rationally requiring a conclusion is not the same as giving a reason for it. (shrink)

Dilip Ninan has raised a puzzle for centered world accounts of de re attitude reports extended to accommodate what he calls “counterfactual attitudes.” As a solution, Ninan introduces multiple centers to the standard centered world framework, resulting in a more robust semantics for de re attitude reports. However, while the so-called multi-centered world proposal solves Ninan’s counterfactual puzzle, this additional machinery is not without problems. In Section 1, I present the centered world account of attitude reports, followed by the extension (...) to counterfactual attitudes which Ninan targets with his puzzle. In Section 2, I pose the counterfactual puzzle and present Ninan’s multi-centered world solution, emphasizing similarities and differences between multi-centered and centered world accounts of attitude reports. In Section 3, I argue the counterfactual attitude wishing falls under the purview of the multi-centered proposal, but that the proposal generates false predictions for wish reports concerning unsatisfiable content. I canvass responses, ultimately concluding Ninan’s proposal requires substantial revisions. (shrink)

We are much better equipped to let the facts reveal themselves to us instead of blinding ourselves to them or stubbornly trying to force them into preconceived molds. We no longer embarrass ourselves in front of our students, for example, by insisting that “Some Xs are Y” means the same as “Some X is Y”, and lamely adding “for purposes of logic” whenever there is pushback. Logic teaching in this century can exploit the new spirit of objectivity, humility, clarity, observationalism, (...) contextualism, and pluralism. Besides the new spirit there have been quiet developments in logic and its history and philosophy that could radically improve logic teaching. This lecture expands points which apply equally well in first, second, and third courses, i.e. in “critical thinking”, “deductive logic”, and “symbolic logic”. (shrink)