Berkeley in his Introduction to the Principles of Human knowledge uses geometrical examples to illustrate a way of generating “universal ideas,” which allegedly account for the existence of general terms. In doing proofs we might, for example, selectively attend to the triangular shape of a diagram. Presumably what we prove using just that property applies to all triangles.I contend, rather, that given Berkeley’s view of extension, no Euclidean triangles exist to attend to. Rather proof, as Berkeley would normally assume, requires (...) idealizing diagrams; treating them as if they obeyed Euclidean constraints. This convention solves the problem of representative generalization. View HTML Send article to KindleTo send this article to your Kindle, first ensure [email protected] is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle. Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply. Find out more about the Kindle Personal Document Service.Berkeley and Proof in GeometryVolume 51, Issue 3RICHARD J. BROOK DOI: https://doi.org/10.1017/S0012217312000686Your Kindle email address Please provide your Kindle [email protected]@kindle.com Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Dropbox To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Dropbox. Berkeley and Proof in GeometryVolume 51, Issue 3RICHARD J. BROOK DOI: https://doi.org/10.1017/S0012217312000686Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Google Drive To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Google Drive. Berkeley and Proof in GeometryVolume 51, Issue 3RICHARD J. BROOK DOI: https://doi.org/10.1017/S0012217312000686Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Export citation Request permission. (shrink)

Th e recent revival of Berkeley studies in the last three decades or so make it interesting to look back at George Santayana’s discussion of Berkeley. Th ough Santayana understood the latter’s arguments for immaterialism, he claimed no one could both seriously accept immaterialism, and live, as Berkeley certainly did, an embodied life. As he writes of Berkeley, “Th is idealist was no hermit” (205). Santayana claimed that without matter there was nothing (“no machinery”) for the soul to work on. (...) For a soul (mind) the machinery consists of material objects including one’s body. In this, paper, aft er some introductory comments, particularly on some aspects of early modern philosophy, e.g. the theory of ideas, which Berkeley largely accepts, and the metaphysics of indirect realism which he rejects, I look at the issue of human embodiment, and conclude, although Santayana perhaps misread important aspects of Berkeley’s discussion, he is largely correct in noting that Berkeley’s idealism/immaterialism can’t capture the special relation we have to our bodies. (shrink)

I argue that Berkeley's distinctive idealism/immaterialism can't support his view that objects of sense, immediately or mediately perceived, are causally inert. (The Passivity of Ideas thesis or PI) Neither appeal to ordinary perception, nor traditional arguments, for example, that causal connections are necessary, and we can't perceive such connections, are helpful. More likely it is theological concerns,e.g., how to have second causes if God upholds by continuously creating the world, that's in the background. This puts Berkeley closer to Malebranche than (...) to Hume. -/- As far the what I call the "first strategy;" defending the passivity of ideas by ordinary introspection, I refer to the work of the French psychologist Albert Michotte,(1940) and those now extending his experiments, to show that (1) there is an immediate and quite robust visual impression of causality, (admitted in fact by Berkeley, Malebranche and Hume) and (2) of more importance, the impression isn't due to projecting into nature expectations gained from experienced regularities. (shrink)

Berkeley, Newton, Explanation, and Causation -/- I argue in this paper that Berkeley’s conception of natural law explanations, which echoes Newton’s, fails to solve a fundamental problem, which I label “explanatory asymmetry"; that the model of explanation Berkeley uses fails to distinguish between explanations and justifications, particularly since Berkeley denies real (efficient causes) in non-minded nature. At the end I suggest Berkeley might endorse a notion of understanding, say in astronomy or mechanics, which could be distinguished from explanation.

Abstract Tom Dougherty observes that challenges to counting the numbers often cite John Taurek’s 1977 article, “Should the Numbers Count.” Dougherty, though sympathetic to Taurek’s (and others) critique of consequentialism’s aggregating good across individuals, defends a non-consequentialist principle for addition he calls “the Ends Principle. Take the case (he labels “Drug”) when an agent, possessing a dose of a lifesaving drug, can save one person with the entire dose, or two people, each of whom only need half the dose. Dougherty (...) argues that a rational agent, summing her altruistic goals (three), but unable to save all three, will save two. I give two criticisms of Dougherty’s paper. (1) He hasn’t ruled out, though acknowledging, the equal chance principle as deontological grounds for deciding Drug. (2) An agent using the Ends Principle in Drug, as he formulates it, will not have the requisite aims to make use of the Principle. I also consider an issue, little discussed, the conditions for aggregation in general. (shrink)

The purpose of this survey was to gather individual’s attitudes and feelings towards privacy and the selling of data. A total (N) of 1,107 people responded to the survey. -/- Across continents, age, gender, and levels of education, people overwhelmingly think privacy is important. An impressive 82% of respondents deem privacy extremely or very important, and only 1% deem privacy unimportant. Similarly, 88% of participants either agree or strongly agree with the statement that ‘violations to the right to privacy are (...) one of the most important dangers that citizens face in the digital age.’ The great majority of respondents (92%) report having experienced at least one privacy breach. -/- People’s first concern when losing privacy is the possibility that their personal data might be used to steal money from them. Interestingly, in second place in the ranking of concerns, people report being concerned about privacy because ‘Privacy is a good in itself, above and beyond the consequences it may have.’ -/- People tend to feel that they cannot trust companies and institutions to protect their privacy and use their personal data in responsible ways. The majority of people believe that governments should not be allowed to collect everyone’s personal data. Privacy is thought to be a right that should not have to be paid for. (shrink)

Thomas Reid (1710–96) is increasingly being seen as a highly significant philosopher and a central figure in the Scottish Enlightenment. This new edition of Reid's classic philosophical text in the philosophy of mind at long last gives scholars a complete, critically edited text of the Inquiry. The critical text is based on the fourth life-time edition (1785). A selection of related documents showing the development of Reid's thought, textual notes, bibliographical details of previous editions and a full introduction by the (...) editor makes this an important contribution to the study of this increasingly respected philosopher. -/- Key Features - Complete, critically edited text of the Inquiry accompanied by a judicious selection of manuscript evidence relating to its composition - Comprehensive Introduction providing an historical and philosophical account of the formation of the Inquiry - Detailed textual notes which include bibliographical details and allusions, translations, references to secondary literature and selected passages from Reid's manuscripts. (shrink)

When pessimists claim that human life is meaningless, they often also assert that the universe is “blind to good and evil” and “indifferent to us”. How, if it all, is the indifference of the universe relevant to whether life is meaningful? To answer this question, and to know whether we should be concerned that the universe is indifferent, we need a clearer and deeper understanding of the concept of “cosmic indifference”, which I will seek to provide. I will argue that (...) the lives of many individuals are meaningful and that human life, in general, is somewhat meaningful, despite the indifference of the universe. Furthermore, I will seek to demonstrate that even if the universe cared about us, or had preferences for how we live our lives, that this likely would not enhance the quality of our lives. (shrink)

Some people feel distressed reflecting on human extinction. Some people even claim that our efforts and lives would be empty and pointless if humanity becomes extinct, even if this will not occur for millions of years. In this essay, I will attempt to demonstrate that this claim is false. The desire for long-lastingness or quasi-immortality is often unwittingly adopted as a standard for judging whether our efforts are significant. If we accomplish our goals and then later in life conclude that (...) these accomplishments were of no significance, then this is a sign that the desire for long-lastingness has crept into our standards. By recognizing this, and refraining from adopting an unreasonable standard to judge whether our efforts are significant, it will be to our advantage. Then, when we look back on life from an external perspective that encompasses times after humanity has become extinct, we will not conclude that our efforts amounted to nothing. Rather, we will conclude that many people made significant accomplishments that made their lives and the lives of other people better than they would have been if their goals had never been pursued. (shrink)

This paper discusses Frege's account of definition by induction in Grundgesetze and the two key theorems Frege proves using it.

In Book 9 of Plato's Republic we find three proofs for the claim that the just person is happier than the unjust person. Curiously, Socrates does not seem to consider these arguments to be coequal when he announces the third and final proof as ‘the greatest and most decisive of the overthrows’. This remark raises a couple of related questions for the interpreter. Whatever precise sense we give to μέγιστον and κυριώτατον in this passage, Socrates is clearly appealing to an (...) argumentative standard of some kind, and claiming that his final argument alone meets this standard. But what precise standard is Socrates invoking here? And given that the first two arguments of Book 9 fall short of this standard, why does he not simply leap directly to the third, most decisive proof? (shrink)

Throughout history, many people, including Mother Teresa, have been troubled by God’s silence. In spite of the conflicting interpretations of the Bible, God has remained silent. What are the implications of divine hiddenness/silence for a meaning of life? Is there a good reason that explains God’s silence? If God created humanity to fulfill a purpose, then God would have clarified his purpose and our role by now, as I will argue. To help God carry out his purpose, we would need (...) to have a clear understanding of our role. Thus, by failing to clarify our role, God would be undermining himself in achieving the purpose he conceived, which would not make sense. Because God, if he exists, would not engage in this self-defeating behavior, this suggests that humanity was not created by God to fulfill a purpose. (shrink)

David Benatar claims that everyone was seriously harmed by coming into existence. To spare future persons from this suffering, we should cease having children, Benatar argues, with the result that humanity would gradually go extinct. Benatar’s claim of universal serious harm is baseless. Each year, an estimated 94% of children born throughout the world do not have a serious birth defect. Furthermore, studies show that most people do not experience chronic pain. Although nearly everyone experiences acute pain and discomforts, such (...) as thirst, these experiences have instrumental value. For example, when a person picks up a hot object, in response to the pain, the person releases the object, thereby preventing serious harm. The standard that Benatar uses to evaluate the quality of our lives is arbitrary, as I will demonstrate. His proposal that we phase humanity out of existence by ceasing to have children is misguided and an overreaction to the problem of human suffering. The ‘threshold conception of harm’, which is a targeted approach for preventing future persons from suffering, is a more sensible approach. (shrink)

Some people feel threatened by the thought that life might have arisen by chance. What is it about “chance” that some people find so threatening? If life originated by chance, this suggests that life was unintended and that it was not inevitable. It is ironic that people care about whether life in general was intended, but may not have ever wondered whether their own existence was intended by their parents. If it does not matter to us whether one's own existence (...) was intended, as will be hypothesized, then why should it matter whether there was some remote intent behind the creation of the first unicellular organism(s) billions of years ago? I will discuss three possible scenarios by which life might have originated. I will then argue that, in regard to whether one’s individual life can be meaningful, it does not matter whether life was intended or arose by chance. If complex life was unintended and is rare in this universe, this is not a reason to disparage life, but a reason to appreciate and value our existence. -/- . (shrink)

This paper addresses two interpretive puzzles in Plato’s Philebus. The first concerns the claim, endorsed by both interlocutors, that the most godlike of lives is a pleasureless life of pure thinking. This appears to run afoul of the verdict of the earlier so-called ‘Choice of Lives’ argument that a mixed life is superior to either of its ‘pure’ rivals. A second concerns Socrates’ discussion of false pleasure, in which he appears to be guilty of rank equivocation. I argue that we (...) can solve both puzzles by attributing to Plato an account of pleasure as a species of intentional attitude. (shrink)

The desirability of what actually occurs is often influenced by what could have been. Preferences based on such value dependencies between actual and counterfactual outcomes generate a class of problems for orthodox decision theory, the best-known perhaps being the so-called Allais Paradox. In this paper we solve these problems by extending Richard Jeffrey's decision theory to counterfactual prospects, using a multidimensional possible-world semantics for conditionals, and showing that preferences that are sensitive to counterfactual considerations can still be desirability maximising. (...) We end the paper by investigating the conditions necessary and sufficient for a desirability function to be an expected utility. It turns out that the additional conditions imply highly implausible epistemic principles. (shrink)

Severe poverty is a major global problem about risk and inequality. What, if any, is the relationship between equality, fairness and responsibility in an unequal world? I argue for four conclusions. The first is the moral urgency of severe poverty. We have too many global neighbours that exist in a state of emergency and whose suffering is intolerable. The second is that severe poverty is a problem concerning global injustice that is relevant, but not restricted, to questions about responsibility. If (...) none were responsible, this does not eliminate all compelling claims to provide assistance. The third is that severe poverty represents an inequality too far; it is a condition of extremity with denial of basic needs. The fourth is that there is a need for an approach that captures all relevant cases – and the capabilities approach and the connection theory of remedial responsibilities are highlighted as having special promise. (shrink)

Some people think that the inevitability of human extinction renders life meaningless. Joshua Seachris has argued that naturalism can be conceptualized as a meta-narrative and that it narrates across important questions of human life, including what is the meaning of life and how life will end. How a narrative ends is important, Seachris argues. In the absence of God, and with knowledge that human extinction is a certainty, is there any way that humanity could be meaningful and have a good (...) ending? I will distinguish between two conceptions of how humanity could be meaningful: the traditional view and an alternative view, which I will outline. I will argue that this alternative view provides a plausible explanation for how humanity could become meaningful. I will also argue that coming to terms with our mortality and other limitations would add meaning to human life and provide humanity with a good ending. (shrink)

The one who dies is deprived of goods that this person would have enjoyed if he or she had continued living, according to the popular “deprivation account of harm.” The person who dies “prematurely” is generally thought to suffer the most harm from death. However, the concept of a premature death is unclear, as will be shown. I will evaluate various definitions of a premature death and will argue that the existing definitions are too ambiguous and unreliable to serve as (...) the basis for estimating the degree of harm from death. (shrink)

One’s life can be meaningful, but not worth living, or worth living, but not meaningful, which demonstrates that an evaluation of whether life is worth living differs from an evaluation of whether one’s life is meaningful. But how do these evaluations differ? As I will argue, an evaluation of whether life is worth living is a more comprehensive evaluation than the evaluation of whether one’s individual life is meaningful. In judging whether one finds life worth living, one takes into account, (...) not only whether one’s life is meaningful, but undesirable aspects of life such as chronic pain and suffering. For example, a person who is suffering greatly, but who has lived a meaningful life, might still conclude that his or her life is not worth living. Although the famed question about the meaning of life has received most of the attention, I argue that the better and more fruitful question is “Is life worth living?” One should want, not just for one’s life to be meaningful, but for it to be worth living. (shrink)

Some pessimists claim that all of our efforts are futile. Our lives, they claim, are no different from the mythical Sisyphus. Sisyphus would push a large stone to the top of a mountain, only to have the stone roll down the mountain. Despite his repeated efforts, Sisyphus accomplished nothing. As individuals, we may expend great effort in our lives, but each of us will die and humanity will eventually go extinct. Does this make our efforts futile? An effort is futile (...) when there is a repeated failure to bring about one’s envisioned goal. Therefore, whether an effort is futile will depend on the nature of one’s goals. If one adopts unrealizable goals, such as the goal to leave an everlasting trace of one’s existence, then one’s efforts will be futile. However, if one adopts goals that are challenging, but physically possible, then one may experience accomplishment and fulfillment, instead of futility. Even if some of our efforts are futile, one’s life can still be worth living. There is more to life than just having and achieving goals. (shrink)

Some people claim that death makes our lives meaningless. Bernard Williams and Viktor Frankl have made the opposite claim that death gives meaning to life. Although there has been much scrutiny of the former claim, the latter claim has received very little attention. In this paper, I will explore whether and how death gives meaning to our lives. As I will argue, there is not sufficient support for the strong claim that death is necessary for one's life to be meaningful. (...) However, there is support for the more limited conclusion that our finitude enhances or upholds the meaning in the lives of some individuals in four different ways. (shrink)

Conspiracy theories are rather a popular topic these days, and a lot has been written on things like the meaning of _conspiracy theory_, whether it’s ever rational to believe conspiracy theories, and on the psychology and demographics of people who believe conspiracy theories. But very little has been said about why people might be led to posit conspiracy theories in the first place. This paper aims to fill this lacuna. In particular, I shall argue that, in open democratic societies, citizens (...) justifiably presuppose that the epistemic authorities—journalists, academics, scientists, and so on—are engaged in a good faith pursuit of the truth. This presupposition generates certain normative expectations on the behaviors of the epistemic authorities—they ought to be open to new evidence, possess a healthy degree of skepticism, be willing to engage with opponents, and so on. So, when an epistemic authority is presented with some putatively anomalous data or an alternative hypothesis for some event or phenomena, people expect the epistemic authority to respond in a way that is consonant with these norms. In some instances, however, the epistemic authorities do not respond in this way and instead are dogmatic, dismissive, and engage in _ad hominem_. From the point of view of the citizen, there’s a tension here between how the epistemic authorities ought to behave and how they have, in fact, behaved which is best resolved either by taking the epistemic authorities less seriously or by positing a conspiracy theory. Put another way, the failure of the epistemic authorities to adhere to the norms by which we take them to be governed when presented with apparent anomalies or alternative hypotheses is one reason for which one might initially posit a conspiracy theory. (shrink)

In his book, The Human Predicament, David Benatar claims that our individual lives and human life, in general, do not make a difference beyond Earth and, therefore, are meaningless from the vast, cosmic perspective. In this paper, I will explain how what we do matters from the cosmic perspective. I will provide examples of how human beings have transcended our limits, thereby giving human life some meaning from the cosmic perspective. Also, I will argue that human life could become even (...) more meaningful by making some fundamental achievements, such as determining how life originated. (shrink)

The effort of Fichte’s Foundations of the Entire Science of Knowledge is to ground the whole of the science in so called principles. This aim is a specific expression of the project of self-assurance of human being characterizing the important movement of modern metaphysics. The movement towards self-assurance even culminates here: it gets a form of showing human being as an entity founding itself and in totality with itself the whole of actuality. The foundation of science is therefore in this (...) Fichte’s work completely subordinated to the project of explicit self-constitution of human being based in practical-theoretical mastering of consciousness of its own ontological-ontical priority. (shrink)

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...) successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)

Satisficing Consequentialism is often rejected as hopeless. Perhaps its greatest problem is that it risks condoning the gratuitous prevention of goodness above the baseline of what qualifies as "good enough". I propose a radical new willpower-based version of the view that avoids this problem, and that better fits with the motivation of avoiding an excessively demanding conception of morality. I further demonstrate how, by drawing on the resources of an independent theory of blameworthiness, we may obtain a principled specification of (...) what counts as "good enough". (shrink)

In his 1923 play R.U.R.: Rossum s Universal Robots, Karel Capek coined In 1993, we began a humanoid robotics project aimed at constructing a robot for use in exploring theories of human intelligence. In this article, we describe three aspects of our research methodology that distinguish our work from other humanoid projects. First, our humanoid robots are designed to act autonomously and safely in natural workspaces with people. Second, our robots are designed to interact socially with people by exploiting natural (...) human social cues. Third, we believe that robotics offers a unique tool for testing models of human intelligence drawn from developmental psychology and cognitive science. (shrink)

Are non-natural properties worth caring about? I consider two objections to metaethical non-naturalism. According to the intelligibility objection, it would be positively unintelligible to care about non-natural properties that float free from the causal fabric of the cosmos. According to the ethical idlers objection, there is no compelling motivation to posit non-natural normative properties because the natural properties suffice to provide us with reasons. In both cases, I argue, the objection stems from misunderstanding the role that non-natural properties play in (...) the non-naturalist's understanding of normativity. The role of non-natural properties is not to be responded to, but to "mark" which natural properties it is correct for us to respond to in certain ways. (shrink)

After a brief introduction and orientation (section I), this dialogue between Levinasian and Beckerian thought is approached along the lines of two major themes concerning consciousness which emerge in very different contexts and registers in their work (sections II and III), and one tantalizing question that is raised with great force by the dialogue (section IV). The two themes revolve around the subtle dialectical interplay that runs throughout the thought of both Levinas and Becker – the switching between internality and (...) externality, non-rational and rational; otherness and sameness; life and death – an interplay that is summed up in the dialectic between non-reflexive and reflexive consciousness. The Beckerian and Levinasian notions of the non-reflexive consciousness (section II) relate to their respective and in many ways convergent claims about a non-rational primal human state characterized by global vulnerability, awe and guilt, especially before the face of the other. Their analyses of reflexive consciousness (section III) relate to their interpretations of the problematic ideal of the free, self-constituting and self-mastering individual, and the impetus located therein towards the repression of what is Other to the self. Finally (section IV), the question is raised as to whether (and to what extent), following Levinas, sources of compelling ethical value might be legitimately understood as emerging out of Becker’s conception of primordial human vulnerability. (shrink)

Conditionalization is one of the central norms of Bayesian epistemology. But there are a number of competing formulations, and a number of arguments that purport to establish it. In this paper, I explore which formulations of the norm are supported by which arguments. In their standard formulations, each of the arguments I consider here depends on the same assumption, which I call Deterministic Updating. I will investigate whether it is possible to amend these arguments so that they no longer depend (...) on it. As I show, whether this is possible depends on the formulation of the norm under consideration. (shrink)

Parfit's On What Matters offers a rousing defence of non-naturalist normative realism against pressing metaphysical and epistemological objections. He addresses skeptical arguments based on (i) the causal origins of our normative beliefs, and (ii) the appearance of pervasive moral disagreement. In both cases, he concedes the first step to the skeptic, but draws a subsequent distinction with which he hopes to stem the skeptic's advance. I argue, however, that these distinctions cannot bear the weight that Parfit places on them. A (...) successful moral epistemology must take a harder line with the skeptic, insisting that moral knowledge can be had by those with the right kind of psychology -- no matter the evolutionary origin of the psychology, nor whether we can demonstrate its reliability over the alternatives. (shrink)

Critics have often misunderstood the higher-order theory (HOT) of consciousness. Here we clarify its position on several issues, and distinguish it from other views such as the global The higher-order theory (HOT) of consciousness has often been misunderstood by critics. Here we clarify its position on several issues, and distinguish it from other views such as the global workspace theory (GWT) and early sensory models (e.g. first-order local recurrency theories). For example, HOT has been criticized for over-intellectualizing consciousness. We show (...) that while higher-order states are cognitively assembled, the requirements are actually considerably less than often presumed. In this sense HOT may be viewed as an intermediate position between GWT and early sensory views. Also, we clarify that most proponents of HOT do not stipulate consciousness as equivalent to metacognition or confidence. Further, compared to other existing theories, HOT can arguably account better for complex everyday experiences, such as of emotions and episodic memories. This makes HOT particularly useful as a framework for conceptualizing pathological mental states. (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

Aims: The purpose of this study is to identify the factors associated with the academic performance of Grade 10 students during their First Quarter of school as well as the significant correlation between the factors and student academic performance in Mathematics. -/- Study Design: Descriptive Correlation Design. -/- Place and Duration of Study: The study was conducted at Agusan National High School in Cagayan de Or City's East 1 District during the school year: 2022 – 2023. -/- Methodology: The respondents (...) were Two hundred thirty-one (231) students in Grade 10 at Agusan National High School in Cagayan de Oro City's East 1 District. This study used a researcher-made questionnaire that underwent validity and reliability testing and the academic performance of the students. -/- Results: The results showed that students agree with routines related to mastering Mathematics at a high level. Furthermore, there is no correlation between student study habits and Mathematics performance in terms of self-confidence, but there is a substantial positive association between the student's study habits and performance in terms of attitude. The study habits and learning techniques used by students were found to be important determinants of how well they performed in Mathematics. The researcher strongly suggested using the enhancement plan in teaching Mathematics to Junior High school students. -/- Conclusion: Students have a very positive attitude toward their study habits when learning Mathematics. Students felt that studying and learning Mathematics was essential. Students' success and academic growth depend heavily on their Mathematics performance. It is essential for pupils to master and comprehend its concepts. Students' study habits in terms of attitudes have an impact on how they learn Mathematics. (shrink)

According to the orthodox treatment of risk preferences in decision theory, they are to be explained in terms of the agent's desires about concrete outcomes. The orthodoxy has been criticised both for conflating two types of attitudes and for committing agents to attitudes that do not seem rationally required. To avoid these problems, it has been suggested that an agent's attitudes to risk should be captured by a risk function that is independent of her utility and probability functions. The main (...) problem with that approach is that it suggests that attitudes to risk are wholly distinct from people's (non-instrumental) desires. To overcome this problem, we develop a framework where an agent's utility function is defined over chance propositions (i.e., propositions describing objective probability distributions) as well as ordinary (non-chance) ones, and argue that one should explain different risk attitudes in terms of different forms of the utility function over such propositions. (shrink)

This paper draws on the 'Fitting Attitudes' analysis of value to argue that we should take the concept of fittingness (rather than value) as our normative primitive. I will argue that the fittingness framework enhances the clarity and expressive power of our normative theorising. Along the way, we will see how the fittingness framework illuminates our understanding of various moral theories, and why it casts doubt on the Global Consequentialist idea that acts and (say) eye colours are normatively on a (...) par. We will see why even consequentialists, in taking rightness to be in some sense determined by goodness, should not think that rightness is conceptually reducible to goodness. Finally, I will use the fittingness framework to explicate the distinction between consequentialist and deontological theories, with particular attention to the contentious case of Rule Consequentialism. (shrink)

The question “What is the meaning of life?” is longstanding and important, but has been shunned by philosophers for decades. Instead, contemporary philosophers have focused on other questions, such as “What gives meaning to the life of a person?” According to James Tartaglia, this research on “meaning in life” is shallow and pointless. He urges philosophers to redirect their attention back to the fundamental question about “meaning of life.” Tartaglia argues that humanity was not created for a purpose and, therefore, (...) is meaningless. He assumes that humanity could not be meaningful unless we were created for a purpose. I will outline a different way that humanity could become meaningful. In addition, I will explain how the research on “meaning in life” is important for understanding how humanity could become meaningful. (shrink)

In this paper I argue that a priori arguments fail to present any real problem for physicalism. They beg the question against physicalism in the sense that the argument will only seem compelling if one is already assuming that qualitative properties are nonphysical. To show this I will present the reverse-zombie and reverse-knowledge arguments. The only evidence against physicalism is a priori arguments, but there are also a priori arguments against dualism of exactly the same variety. Each of these parity (...) arguments has premises that are just as intuitively plausible, and it cannot be the case that both the traditional scenarios and the reverse-scenarios are all ideally conceivable. Given this one set must be merely prima facie conceivable and only empirical methods will tell us which is which. So, by the time a priori methodology will be of any use it will be too late. (shrink)

According to the Asymmetry, we’ve strong moral reason to prevent miserable lives from coming into existence, but no moral reason to bring happy lives into existence. This procreative asymmetry is often thought to be part of commonsense morality, however theoretically puzzling it might prove to be. I argue that this is a mistake. The Asymmetry is merely prima facie intuitive, and loses its appeal on further reflection. Mature commonsense morality recognizes no fundamental procreative asymmetry. It may recognize some superficially similar (...) theses, but we will see that they derive from more familiar principles, and are compatible with there being moral reason to bring happy lives into existence. (shrink)

Right- and wrong-making features ("moral grounds") are widely believed to play important normative roles, e.g. in morally apt or virtuous motivation. This paper argues that moral grounds have been systematically misidentified. Canonical statements of our moral theories tend to summarize, rather than directly state, the full range of moral grounds posited by the theory. Further work is required to "unpack" a theory's criterion of rightness and identify the features that are of ground-level moral significance. As a result, it is not (...) actually true that maximizing value is the relevant right-making feature even for maximizing consequentialists. Focusing on the simple example of utilitarianism, I show how careful attention to the ground level can drastically influence how we think about our moral theories. (shrink)

This paper explores a case example of qualitative research that applied productive hermeneutics and the central concept, fusion of horizons. Interpretation of meaning is a fusing of the researchers’ and subjects’ perspectives and serves to expand understanding. The purpose is to illustrate an exemplar of qualitative research without establishing a rigid recipe of methodology. The illustration is based on in-depth observational and textual data from an applied anthropological study conducted in western Alaska with Yup’ik hunters and fishers and government agency (...) employees as they worked towards collaborative management. The metaphor of the hermeneutical circle is showcased to help the reader understand the philosophical underpinnings and the analytical processes used to realize a meaningful interpretation. A series of organizing systems for the interpretation is described, culminating in a final organizing system to communicate a fully realized understanding of collaborative management at the time. (shrink)

Effective altruism sounds so innocuous—who could possibly be opposed to doing good more effectively? Yet it has inspired significant backlash in recent years. This paper addresses some common misconceptions and argues that the core “beneficentric” ideas of effective altruism are both excellent and widely neglected. Reasonable people may disagree on details of implementation, but all should share the basic goals or values underlying effective altruism.

In this paper I defend what I call the argument from epistemic reasons against the moral error theory. I argue that the moral error theory entails that there are no epistemic reasons for belief and that this is bad news for the moral error theory since, if there are no epistemic reasons for belief, no one knows anything. If no one knows anything, then no one knows that there is thought when they are thinking, and no one knows that they (...) do not know everything. And it could not be the case that we do not know that there is thought when we believe that there is thought and that we do not know that we do not know everything. I address several objections to the claim that the moral error theory entails that there are no epistemic reasons for belief. It might seem that arguing against the error theory on the grounds that it entails that no one knows anything is just providing a Moorean argument against the moral error theory. I show that even if my argument against the error theory is indeed a Moorean one, it avoids Streumer's, McPherson's and Olson's objections to previous Moorean arguments against the error theory and is a more powerful argument against the error theory than Moore's argument against external world skepticism is against external world skepticism. (shrink)

There is too much that we do not know about COVID-19. The longer we take to find it out, the more lives will be lost. In this paper, we will defend a principle of risk parity: if it is permissible to expose some members of society (e.g. health workers or the economically vulnerable) to a certain level of ex ante risk in order to minimize overall harm from the virus, then it is permissible to expose fully informed volunteers to a (...) comparable level of risk in the context of promising research into the virus. We apply this principle to three examples of risky research: skipping animal trials for promising treatments, human challenge trials to speed up vaccine development, and low-dose controlled infection or “variolation.” We conclude that if volunteers, fully informed about the risks, are willing to help fight the pandemic by aiding promising research, there are strong moral reasons to gratefully accept their help. To refuse it would implicitly subject others to still graver risks. (shrink)

Utilitarianism is often rejected on the grounds that it fails to respect the separateness of persons, instead treating people as mere “receptacles of value”. I develop several different versions of this objection, and argue that, despite their prima facie plausibility, they are all mistaken. Although there are crude forms of utilitarianism that run afoul of these objections, I advance a new form of the view—‘token-pluralistic utilitarianism’—that does not.