Cognitive scientists have been debating how the folk concept of intentional action works. We suggest a simple account: people consider that an agent did X intentionally to the extent that X was causally dependent on how much the agent wanted X to happen (or not to happen). Combined with recent models of human causal cognition, this definition provides a good account of the way people use the concept of intentional action, and offers natural explanations for puzzling phenomena such as the (...) side-effect effect. We provide empirical support for our theory, in studies where we show that people’s causation and intentionality judgments track each other closely, in everyday situations as well as in scenarios with unusual causal structures. Study 5 additionally shows that the effect of norm violations on intentionality judgments depends on the causal structure of the situation, in a way uniquely predicted by our theory. Taken together, these results suggest that the folk concept of intentional action has been difficult to define because it is made of cognitive building blocks, such as our intuitive concept of causation, whose logic cognitive scientists are just starting to understand. (shrink)

Functional decomposition is an important goal in the life sciences, and is central to mechanistic explanation and explanatory reduction. A growing literature in philosophy of science, however, has challenged decomposition-based notions of explanation. ‘Holists’ posit that complex systems exhibit context-sensitivity, dynamic interaction, and network dependence, and that these properties undermine decomposition. They then infer from the failure of decomposition to the failure of mechanistic explanation and reduction. I argue that complexity, so construed, is only incompatible with one notion of decomposition, (...) which I call ‘atomism’, and not with decomposition writ large. Atomism posits that function ascriptions must be made to parts with minimal reference to the surrounding system. Complexity does indeed falsify atomism, but I contend that there is a weaker, ‘contextualist’ notion of decomposition that is fully compatible with the properties that holists cite. Contextualism suggests that the function of parts can shift with external context, and that interactions with other parts might help determine their context-appropriate functions. This still admits of functional decomposition within a given context. I will give examples based on the notion of oscillatory multiplexing in systems neuroscience. If contextualism is feasible, then holist inferences are faulty—one cannot infer from the presence of complexity to the failure of decomposition, mechanism, and reductionism. (shrink)

Aristotle’s theory of human happiness in the Nicomachean Ethics explicitly depends on the claim that contemplation (theôria) is peculiar to human beings, whether it is our function or only part of it. But there is a notorious problem: Aristotle says that divine beings also contemplate. Various solutions have been proposed, but each has difficulties. Drawing on an analysis of what divine contemplation involves according to Aristotle, I identify an assumption common to all of these proposals and argue for rejecting it. (...) This allows a straightforward solution to the problem and there is evidence that Aristotle would have adopted it. (shrink)

Due to Gӧdel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their quantifiers are non-categorical. In this paper I examine two recent arguments –Warren (2020), Murzi and Topey (2021)– for the idea that the natural deduction rules for (...) the first-order universal quantifier are categorical, i.e., they uniquely determine its semantic intended meaning. Both of them make use of McGee’s open-endedness requirement and the second one uses in addition Garson’s (2013) local models for defining the validity of these rules. I argue that the success of both these arguments is relative to their semantic or infinitary assumptions, which could be easily discharged if the introduction rule for the universal quantifier is taken to be an infinitary rule, i.e. non-compact. Consequently, I reconsider the use of the ω-rule and I show that the addition of the ω-rule to the standard formalizations of first-order logic is categorical. In addition, I argue that the open-endedness requirement does not make the first-order Peano Arithmetic categorical and I advance an argument for its categoricity based on the inferential conservativity requirement. (shrink)

We discuss at some length evidence from the cognitive science suggesting that the representations of objects based on spatiotemporal information and featural information retrieved bottomup from a visual scene precede representations of objects that include conceptual information. We argue that a distinction can be drawn between representations with conceptual and nonconceptual content. The distinction is based on perceptual mechanisms that retrieve information in conceptually unmediated ways. The representational contents of the states induced by these mechanisms that are available to a (...) type of awareness called phenomenal awareness constitute the phenomenal content of experience. The phenomenal content of perception contains the existence of objects as separate things that persist in time and time, spatiotemporal information, and information regarding relative spatial relations, motion, surface properties, shape, size, orientation, color, and their functional properties. (shrink)

The standard assumption for what perception must do in order to represent a “higher level” content—say, tiger—is that it must represent the kind as such. I argue that this “as such condition” is not constitutive of what it means for a content to be “higher‐level”, and that embracing it produces a range of unfortunate dialectical consequences. After offering this critique, I give an alternative construal, the “extended perceptual space” view of higher‐level contents. This view captures the phenomena targeted by the (...) “higher‐level content” thesis, is empirically supported, and avoids the negative dialectical consequences of the as such condition. (shrink)

Aristotle’s typical procedure is to identify something's four causes. Intentional action has typically been treated as an exception: most think that Aristotle has the standard causalist account, according to which an intentional action is a bodily movement efficiently caused by an attitude of the appropriate sort. I show that action is not an exception to Aristotle’s typical procedure: he has the resources to specify four causes of action, and thus to articulate a powerful theory of action unlike any other on (...) offer. (shrink)

The use of the symbol ∨for disjunction in formal logic is ubiquitous. Where did it come from? The paper details the evolution of the symbol ∨ in its historical and logical context. Some sources say that disjunction in its use as connecting propositions or formulas was introduced by Peano; others suggest that it originated as an abbreviation of the Latin word for “or,” vel. We show that the origin of the symbol ∨ for disjunction can be traced to Whitehead and (...) Russell’s pre-Principia work in formal logic. Because of Principia’s influence, its notation was widely adopted by philosophers working in logic (the logical empiricists in the 1920s and 1930s, especially Carnap and early Quine). Hilbert’s adoption of ∨ in his Grundzüge der theoretischen Logik guaranteed its widespread use by mathematical logicians. The origins of other logical symbols are also discussed. (shrink)

Inspired by recent breakthroughs in predictive modeling, practitioners in both industry and government have turned to machine learning with hopes of operationalizing predictions to drive automated decisions. Unfortunately, many social desiderata concerning consequential decisions, such as justice or fairness, have no natural formulation within a purely predictive framework. In efforts to mitigate these problems, researchers have proposed a variety of metrics for quantifying deviations from various statistical parities that we might expect to observe in a fair world and offered a (...) variety of algorithms in attempts to satisfy subsets of these parities or to trade o the degree to which they are satised against utility. In this paper, we connect this approach to fair machine learning to the literature on ideal and non-ideal methodological approaches in political philosophy. The ideal approach requires positing the principles according to which a just world would operate. In the most straightforward application of ideal theory, one supports a proposed policy by arguing that it closes a discrepancy between the real and the perfectly just world. However, by failing to account for the mechanisms by which our non-ideal world arose, the responsibilities of various decision-makers, and the impacts of proposed policies, naive applications of ideal thinking can lead to misguided interventions. In this paper, we demonstrate a connection between the fair machine learning literature and the ideal approach in political philosophy, and argue that the increasingly apparent shortcomings of proposed fair machine learning algorithms reflect broader troubles faced by the ideal approach. We conclude with a critical discussion of the harms of misguided solutions, a reinterpretation of impossibility results, and directions for future research. (shrink)

Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational logic, the categoricity (...) problem is generated by the finite nature of the standard calculi and one direction in which it can be solved is to strengthen the deductive systems by adding infinitary rules (such as the ω-rule), i.e., to construct a full formalization. Another main direction is to provide a natural semantics for the standard rules of inference, i.e., a semantics for which these rules are categorical. My aim in this paper is to analyze some recent approaches for solving the categoricity problem and to argue that a logical inferentialist should accept the infinitary rules of inference for the first order quantifiers, since our use of the expressions “all” and “there is” leads us beyond the concrete and finite reasoning, and human beings do sometimes employ infinitary rules of inference in their reasoning. (shrink)

Traditionally, logic has been the dominant formal method within philosophy. Are logical methods still dominant today, or have the types of formal methods used in philosophy changed in recent times? To address this question, we coded a sample of philosophy papers from the late 2000s and from the late 2010s for the formal methods they used. The results indicate that the proportion of papers using logical methods remained more or less constant over that time period but the proportion of papers (...) using probabilistic methods was approximately three times higher in the late 2010s than it was in the late 2000s. Further analyses explored this change by looking more closely at specific methods, specific levels of technical engagement, and specific subdisciplines within philosophy. These analyses indicate that the increasing proportion of papers using probabilistic methods was pervasive, not confined to particular probabilistic methods, levels of sophistication, or subdisciplines. (shrink)

In the first section, I characterize skeptical theism more fully. This is necessary in order to address some important misconceptions and mischaracterizations that appear in the essays by Maitzen, Wilks, and O’Connor. In the second section, I describe the most important objections they raise and group them into four “families” so as to facilitate an orderly series of responses. In the four sections that follow, I respond to the objections.

The main thrust of this study is to examine the impact of social cost on the corporate performance of petroleum marketing firms in Nigeria. Ex post facto research design was adopted, secondary sources of data were collected for analysis of results and interpretation of data. The results indicated that social cost positively influences the corporate performance of petroleum marketing firms in Nigeria. Hence, it was recommended that the federal government should mandate all petroleum marketing companies to capture and disclose all (...) quantitative data relating to corporate social responsibility which would serve as a boost to the company performances vis-a-vis increased employee productivity. (shrink)

This response addresses the excellent responses to my book provided by Heather Douglas, Janet Kourany, and Matt Brown. First, I provide some comments and clarifications concerning a few of the highlights from their essays. Second, in response to the worries of my critics, I provide more detail than I was able to provide in my book regarding my three conditions for incorporating values in science. Third, I identify some of the most promising avenues for further research that flow out of (...) this interchange. (shrink)

The two purposes of this essay. The general philosophical problem with most versions of social libertarianism and how this essay will proceed. The specific problem with liberty explained by a thought-experiment. The positive and abstract theory of interpersonal liberty-in-itself as ‘the absence of interpersonal initiated constraints on want-satisfaction’, for short ‘no initiated impositions’. The individualistic liberty-maximisation theory solves the problems of clashes, defences, and rectifications without entailing interpersonal utility comparisons or libertarian consequentialism. The practical implications of instantiating liberty: three rules (...) of liberty-in-practice, 1) initial ultimate control of one’s body, 2) initial ultimate control of one’s used resources, 3) consensual interpersonal interactions and resource transfers. These rules are economically efficient and maximise general want-satisfaction. Private property and legal remedies are additional practical institutional aspects, but to which ‘initiated impositions’ then apply prima facie. Libertarian law is often mistaken for complete libertarianism. Moral explanations are a separate issue. The three main moral theories imply libertarianism, but it can be morally posited independently of them. Critical rationalism and its application. No empirical or argumentative support for theories. An important ambiguity with ‘justification’. How the epistemology applies to the theory of liberty and its application but remains separable in principle. Conclusion: there are further published explanations but this should be enough to generate useful criticism. Appendix replying to some typical comments. (shrink)

Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational logic, the categoricity (...) problem is generated by the finite nature of the standard calculi and one direction in which it can be solved is to strengthen the deductive systems by adding infinitary rules (such as the ω-rule), i.e., to construct a full formalization. Another main direction is to provide a natural semantics for the standard rules of inference, i.e., a semantics for which these rules are categorical. My aim in this paper is to analyze some recent approaches for solving the categoricity problem and to argue that a logical inferentialist should accept the infinitary rules of inference for the first order quantifiers, since our use of the expressions “all” and “there is” leads us beyond the concrete and finite reasoning, and human beings do sometimes employ infinitary rules of inference in their reasoning. (shrink)

In this paper we argue that Socrates is a cognitivist about emotions, but then ask how the beliefs that constitute emotions can come into being, and why those beliefs seem more resistant to change through rational persuasion than other beliefs.

Despite their popularity, relatively scant attention has been paid to the upshot of Bayesian and predictive processing models of cognition for views of overall cognitive architecture. Many of these models are hierarchical ; they posit generative models at multiple distinct "levels," whose job is to predict the consequences of sensory input at lower levels. I articulate one possible position that could be implied by these models, namely, that there is a continuous hierarchy of perception, cognition, and action control comprising levels (...) of generative models. I argue that this view is not entailed by a general Bayesian/predictive processing outlook. Bayesian approaches are compatible with distinct formats of mental representation. Focusing on Bayesian approaches to motor control, I argue that the junctures between different types of mental representation are places where the transitivity of hierarchical prediction may be broken, and I consider the upshot of this conclusion for broader discussions of cognitive architecture. (shrink)

Vann McGee has recently argued that Belnap’s criteria constrain the formal rules of classical natural deduction to uniquely determine the semantic values of the propositional logical connectives and quantifiers if the rules are taken to be open-ended, i.e., if they are truth-preserving within any mathematically possible extension of the original language. The main assumption of his argument is that for any class of models there is a mathematically possible language in which there is a sentence true in just those models. (...) I show that this assumption does not hold for the class of models of classical propositional logic. In particular, I show that the existence of non-normal models for negation undermines McGee’s argument. (shrink)

Interactive theorem provers might seem particularly impractical in the history of philosophy. Journal articles in this discipline are generally not formalized. Interactive theorem provers involve a learning curve for which the payoffs might seem minimal. In this article I argue that interactive theorem provers have already demonstrated their potential as a useful tool for historians of philosophy; I do this by highlighting examples of work where this has already been done. Further, I argue that interactive theorem provers can continue to (...) be useful tools for historians of philosophy in the future; this claim is defended through a more conceptual analysis of what historians of philosophy do that identifies argument reconstruction as a core activity of such practitioners. It is then shown that interactive theorem provers can assist in this core practice by a description of what interactive theorem provers are and can do. If this is right, then computer verification for historians of philosophy is in the offing. (shrink)

In 2016, a multidisciplinary body of scholars within the International Commission on Stratigraphy—the Anthropocene Working Group—recommended that the world officially recognize the Anthropocene as a new geological epoch. The most contested claim about the Anthropocene, that humans are a major geological and environmental force on par with natural forces, has proven to be a hotbed for discussion well beyond the science of geology. One reason for this is that it compels many natural and social scientists to confront problems and systems (...) that transgress traditional disciplinary boundaries, and as a result, calls for interdisciplinary research are now gaining traction. Proponents of such transgressions have dubbed the new scientific order that will result “Anthropocene Science”, and rhetoric notwithstanding, such discussions exemplify how recent changes within science justify rethinking a prevailing image of how science is done, and with it, the working relationship between scholars in the humanities, natural scientists, and social scientists. (shrink)

The notion of representation in neuroscience has largely been predicated on localizing the components of computational processes that explain cognitive function. On this view, which I call “algorithmic homuncularism,” individual, spatially and temporally distinct parts of the brain serve as vehicles for distinct contents, and the causal relationships between them implement the transformations specified by an algorithm. This view has a widespread influence in philosophy and cognitive neuroscience, and has recently been ably articulated and defended by Shea. Still, I am (...) skeptical about algorithmic homuncularism, and I argue against it by focusing on recent methods for complex data analysis in systems neuroscience. I claim that analyses such as principle components analysis and linear discriminant analysis prevent individuating vehicles as algorithmic homuncularism recommends. Rather, each individual part contributes to a global state space, trajectories of which vary with important task parameters. I argue that, while homuncularism is false, this view still supports a kind of “vehicle realism,” and I apply this view to debates about the explanatory role of representation. (shrink)

In the present article, he explains why divine silence poses a serious intellectual obstacle to belief in God, and then goes on to consider ways of overcoming that obstacle. After considering several ways in which divine silence might actually be beneficial to human beings, he argues that perhaps silence is nothing more or less than God’s preferred mode of interaction with creatures like us. Perhaps God simply desires communion rather than overt communication with human beings, and perhaps God has provided (...) ways for us to experience God’s presence richly even amidst the silence. (shrink)

My goal in this paper is to show that naturalists cannot reasonably endorse moral realism. My argument will come in two parts. The first part aims to show that any plausible and naturalistically acceptable argument in favor of belief in objective moral properties will appeal in part to simplicity considerations (broadly construed)—and this regardless of whether moral properties are reducible to non-moral properties. The second part argues for the conclusion that appeals to simplicity justify belief in moral properties only if (...) either those properties are not objective or something like theism is true. Thus, if my argument is sound, naturalists can reasonably accept moral realism only if they are prepared to accept something like theism. But, as will become clear, naturalists can reasonably accept theism or something like it only if belief in some such doctrine is justified by the methods of science. For present purposes, I’ll assume (what I think virtually every naturalist will grant) that belief in theism and relevantly similar doctrines is not justified by the methods of science. Thus, I will conclude that naturalists cannot reasonably accept moral realism. (shrink)

Many countries are experiencing increasing levels of demand for access to assisted reproductive technologies. Policies regarding who can access ART and with what support from a collective purse are highly contested, raising questions about what state responses are justified. Whilst much of this debate has focused on the status of infertility as a disease, we argue that this is something of a distraction, since disease framing does not provide the far-reaching, robust justification for state support that proponents of ART seem (...) to suppose. Instead, we propose that debates about appropriate state responses should consider the various implications for health and broader well-being that may be associated with difficulties starting a family. We argue that the harms and disruption to valued life projects of subfertility-related suffering may provide a stronger basis for justifying state support in this context. Further, we suggest that, whilst ART may alleviate some of the harm resulting from subfertility, population-level considerations can indicate a broader range of interventions aimed at tackling different sources of subfertility-related harm, consistent with broader public health aims. (shrink)

Evidence that humans play a dominant role in most ecosystems forces scientists to confront systems that contain factors transgressing traditional disciplinary boundaries. However, it is an open question whether this state of affairs should encourage interdisciplinary exchange or integration. With two case studies, we show that exchange between ecologists and economists is preferable, for epistemological and policy-oriented reasons, to their acting independently. We call this “exchange gain.” Our case studies show that theoretical exchanges can be less disruptive to current theory (...) than commonly thought. Valuable interdisciplinary exchange does not necessarily require disciplinary breakdown. (shrink)

What proper role should considerations of risk, particularly to research subjects, play when it comes to conducting research on human enhancement in the military context? We introduce the currently visible military enhancement techniques (1) and the standard discussion of risk for these (2), in particular what we refer to as the ‘Assumption’, which states that the demands for risk-avoidance are higher for enhancement than for therapy. We challenge the Assumption through the introduction of three categories of enhancements (3): therapeutic, preventive, (...) and pure enhancements. This demands a revision of the Assumption (4), alongside which we propose some further general principles bearing on how to balance risks and benefits in the context of military enhancement research. We identify a particular type of therapeutic enhancements as providing a more responsible path to human trials of the relevant interventions than pure enhancement applications. Finally, we discuss some possible objections to our line of thought (5). While acknowledging their potential insights, we ultimately find them to be unpersuasive, at least provided that our proposal is understood as fully non-coercive towards the candidates for such therapeutic enhancement trials. (shrink)

Aristotle’s cryptic De Anima III 5 has precipitated an enormous volume of commentary, especially about the identity of what has come to be known as active intellect and how it relates to potential intellect. Some take active intellect to be the prime mover of Metaphysics Λ, others a hypostatic or cosmic principle (for example, an ideal Intellect, intellect associated with the tenth celestial sphere, etc.), and others a faculty, potentiality, or power of the human soul that is distinct in function, (...) office, or operation from potential intellect. But a very different, ontologically lightweight way of characterizing active and potential intellect can be reconstructed from fragments of a work by the only interpreter personally acquainted with Aristotle, his junior colleague, Theophrastus of Eresus. This reconstruction suggests various philosophically attractive solutions to notorious problems raised by Aristotle’s text. (shrink)

In his 1918 logical atomism lectures, Russell argued that there are no molecular facts. But he posed a problem for anyone wanting to avoid molecular facts: we need truth-makers for generalizations of molecular formulas, but such truth-makers seem to be both unavoidable and to have an abominably molecular character. Call this the problem of generalized molecular formulas. I clarify the problem here by distinguishing two kinds of generalized molecular formula: incompletely generalized molecular formulas and completely generalized molecular formulas. I next (...) argue that, if empty worlds are logically possible, then the model-theoretic and truth-functional considerations that are usually given address the problem posed by the first kind of formula, but not the problem posed by the second kind. I then show that Russell’s commitments in 1918 provide an answer to the problem of completely generalized molecular formulas: some truth-makers will be non-atomic facts that have no constituents. This shows that the neo-logical atomist goal of defending the principle of atomicity—the principle that only atomic facts are truth-makers—is not realizable. (shrink)

Matthew Leisinger (2020) argues that previous interpretations of John Locke’s account of akrasia (or weakness of will) are mistaken and offers a new interpretation in their place. In this essay, we aim to recapitulate part of this debate, defend a previously articulated interpretation by responding to Leisinger’s criticisms of it, and explain why Leisinger’s own interpretation faces textual and philosophical problems that are serious enough to disqualify it as an accurate reconstruction of Locke’s views. In so doing, we aim to (...) shed further light on Locke’s views on the various ways in which humans are prone to err in their pursuit of happiness. (shrink)

The question raised by this volume is “How successful is naturalism?” The question presupposes that we already know what naturalism is and what counts as success. But, as anyone familiar with the literature on naturalism knows, both suppositions are suspect. To answer the question, then, we must first say what we mean in this context by both ‘naturalism’ and ‘success’. I’ll start with ‘success’. I will then argue that, by the standard of measurement that I shall identify here, naturalism is (...) an utter failure. (shrink)

The concern of deductive logic is generally viewed as the systematic recognition of logical principles, i.e., of logical truths. This paper presents and analyzes different instantiations of the three main interpretations of logical principles, viz. as ontological principles, as empirical hypotheses, and as true propositions in virtue of meanings. I argue in this paper that logical principles are true propositions in virtue of the meanings of the logical terms within a certain linguistic framework. Since these principles also regulate and control (...) the process of deduction in inquiry, i.e., they are prescriptive for the use of language and thought in inquiry, I argue that logic may, and should, be seen as an instrument or as a way of proceeding (modus procedendi) in inquiry. (shrink)

Since the 1960s, metaphysics has flourished in Anglo-American philosophy. Far from wanting to avoid metaphysics, philosophers have embraced it in droves. There have been critics, to be sure; but the criticisms have received answers and the enterprise has carried on.

Most event-referring expressions are vague; it is utterly difficult, if not impossible, to specify the exact spatiotemporal location of an event from the words that we use to refer to it. We argue that in spite of certain prima facie obstacles, such vagueness can be given a purely semantic (broadly supervaluational) account.

Climate adaptation and resilience scholars are struggling to address distributive and procedural justice in climate resilience efforts. While the capability approach (CA) has been widely appraised as a suitable justice basis for this context, there are few detailed studies assessing this possibility. This paper addresses this gap by advancing discussions about the prospects of the CA for guiding justice work in climate resilience. With its emphasis on the final value and mutually irreducible character of the concrete beings and doings of (...) individuals, we find the CA relevant for tackling salient aspects of adaptation, such as the multi-faceted and locally specific nature of climate vulnerability. We also present and discuss a capability application that has particular relevance for including distributive and procedural justice considerations in climate resilience. On the other hand, we find that extant arguments in support of the CA neglect the limitations of the CA and some dilemmas involved in applying it, also overestimating the differences between the CA and other justice approaches, especially those based on resources and needs. These problems lead us to advise against treating the CA as a one-size-fits-all solution to the ills of climate resilience and they further raise a need for joining efforts with complementary approaches. -/- . (shrink)

We argue that, if taken seriously, Kripke's view that a language for science can dispense with a negation operator is to be rejected. Part of the argument is a proof that positive logic, i.e., classical propositional logic without negation, is not categorical.

This paper offers an overview of the prospects and ethics of using AI to achieve human enhancement, and more broadly what we call intellectual augmentation (IA). After explaining the central notions of human enhancement, IA, and AI, we discuss the state of the art in terms of the main technologies for IA, with or without brain-computer interfaces. Given this picture, we discuss potential ethical problems, namely inadequate performance, safety, coercion and manipulation, privacy, cognitive liberty, authenticity, and fairness in more detail. (...) We conclude that while there are very significant technical hurdles to real human enhancement through AI, and significant ethical problems, there are also significant benefits that may realistically be achieved in ways that are consonant with a rights-based ethics as well. We also highlight the specific concerns that apply particularly to applications of AI for "sheer" IA (more realistic in the near term), and to enhancement applications, respectively. (shrink)

Starting from certain metalogical results, I argue that first-order logical truths of classical logic are a priori and necessary. Afterwards, I formulate two arguments for the idea that first-order logical truths are also analytic, namely, I first argue that there is a conceptual connection between aprioricity, necessity, and analyticity, such that aprioricity together with necessity entails analyticity; then, I argue that the structure of natural deduction systems for FOL displays the analyticity of its truths. Consequently, each philosophical approach to these (...) truths should account for this evidence, i.e., that first-order logical truths are a priori, necessary, and analytic, and it is my contention that the semantic account is a better candidate. (shrink)

The researcher was prompted to conduct this study to give intervention of the alarming situation which there is a low performance in solving problems related to geometry in Grade IV Mathematics. This study was about on how to enhance the mathematical competencies of the grade IV pupils using a downloaded worksheets as a learning activity. This study focused in giving remediation applying the intervention materials. These resources give several approaches to attain mastery using distinct drill cards. The investigation was carried (...) out utilizing quasi-experimental design. During administering the pre-test and post-test, the researcher used the weighted mean and t-test to determine the mean percentage scores of the respondents. The respondents were 56 fourth grade learners enrolled in Marangog Elementary School and Tagnate Elementary School in Hilongos East District for the school year 2019 – 2020. At the end of the study, it was found out the use of downloaded math worksheets were found effective means of improving the mastery level. In addition, based on the results gathered, the downloaded math worksheets which were used in the drills or practice greatly contributed to the elimination of non-numerates, and give significantly increasing the number of pupils who mastered the competencies related to geometry. As a result, a proposed innovative teaching strategy is recommended. -/- . (shrink)

The paper will have three sections. In section one I briefly present and respond to Byrne’s argument against theological realism. In section two, I present van Fraassen’s argument against analytic metaphysics and I show how, if sound, it constitutes a reason to reject both metaphysical and theological realism. In section three, I show how van Fraassen can be answered. Obviously what I am doing here falls far short of a full-blown defense of realism in either metaphysics or theology. But the (...) objections raised by van Fraassen and Byrne are tokens of a type of objection that I think is rather widely endorsed among those who are suspicious of these two brands of realism. Thus, responding to those objections constitutes an important first step in the direction of a defense. (shrink)

I characterize and argue against the standard interpretation of logical atomism. The argument against this reading is historical: the standard interpretation of logical atomism (1) fails to explain how the view is inspired by nineteenth-century developments in mathematics, (2) fails to explain how logic is central to logical atomism, and (3) fails to explain how logical atomism is a revolutionary and new "scientific philosophy." In short, the standard interpretation is a bad history of logical atomism. A novel interpretation of the (...) view that repairs these difficulties is sketched in the concluding section. (shrink)

I claim that a relatively new position in philosophy of mathematics, pluralism, overlaps in striking ways with the much older Jain doctrine of anekantavada and the associated doctrines of nyayavada and syadvada. I first outline the pluralist position, following this with a sketch of the Jain doctrine of anekantavada. I then note the srrong points of overlaps and the morals of this comparison of pluralism and anekantavada.

There are unusual challenges in ethics for RAS. Perhaps the issue can best be summarised as needing to consider “technically informed ethics”. The technology of RAS raises issues that have an ethical dimension, and perhaps uniquely so due to the possibility of moving human decision-making which is implicitly ethically informed to computer systems. Further, if seeking solutions to these problems – ethically aligned design, to use the IEEE’s terminology – then the solutions must be technically meaningful, capable of realisation, capable (...) of assurance, and suitable as a basis for regulation. Thus, ethics for RAS is a rich, complex multi-disciplinary concern, and perhaps more complex than many other ethical issues facing society today. It is also fast-moving. This paper has endeavoured to give an accessible introduction to some of the key issues, noting that many of them are quite subtle, and it is not possible to do them full justice in such a short document. However, we have sought to counterbalance this by giving an extensive list of initiatives, standards, etc. that focus on ethics of RAS and AI, see Annex A. (shrink)

This paper is a short introduction to Carnap’s writings on semantics with an emphasis on the transition from the syntactic period to the semantic one. I claim that one of Carnap’s main aims was to investigate the possibility of the symmetry between the syntactic and the semantic methods of approaching philosophical problems, both in logic and in the philosophy of science. This ideal of methodological symmetry could be described as an attempt to obtain categorical logical systems, i.e., systems that allow (...) only the intended semantical interpretation. (shrink)

In the past decade UNESCO has pursued a leadership role in the articulation of general principles for bioethics, as well as an extensive campaign to promulgate these principles globally.1 Since UNESCO's General Conference adopted the Universal Declaration on Bioethics and Human Rights in 2005, UNESCO's Bioethics Section has worked with member states to develop a "bioethics infrastructure." UNESCO also provides an "Ethics Teacher Training Course" to member states and disseminates a "core curriculum," primarily targeting medical students. The core curriculum orients (...) itself by the Universal Declaration on Bioethics and Human Rights and aims to articulate a set of "bioethical principles" that provide a "common global . (shrink)

The link between human nature and human flourishing is undeniable. "A healthy tree cannot bear bad fruit, nor can a diseased tree bear good fruit" (Matt. 7:18). The ontology of the human person will, therefore, ground the nature of human flourishing and thereby sanctification. Spiritual formation is the area of Christian theology that studies sanctification, the Spirit-guided process whereby disciples of Jesus are formed into the image of Jesus (Rom. 8:28-29; 2 Cor. 3:18; 2 Peter 3:18). Until the nineteenth century, (...) there was an overwhelming consensus among Christian thinkers that some form of mind-body (or soul-body) dualism is true of human beings. Recently, that consensus has eroded, and with it the availability of a shared body of knowledge about spiritual formation. Some Christian physicalists argue that dualism is incompatible with central elements of spiritual formation. Neuroscientist Warren Brown and psychologist Brad Strawn offer the only substantive account of spiritual formation from the view of Christian physicalism and its accompanying objections to dualism. It is on their arguments that this chapter focuses. We argue that Brown and Strawn fail to support their incompatibility thesis. Additionally, we argue that Christian physicalism stands in tension with important philosophical and theological foundations of Christian spiritual formation. In doing so we offer a specific form of dualism, the bodily soul view, and explain how this view illuminates the importance of embodiment, our neurological and social development, and hence the important physical aspects of Christian spiritual formation. (shrink)

Management involves change. The aim of this paper is to introduce a threefold classification of change with the purpose of making clear how the third type, creational change, is distinctive compared to the other two types. Four types of management situation are introduced, based on the type of change involved in the managed domain and in the management system. The role of creational change in management is discussed and a number of guidelines or suggestions relevant to this sort of management (...) are outlined. One feature of the notion of creational change is the conjecture that such change is not amenable to scientific investigation and understanding. Once creational change has produced whatever it does produce then the product may be amenable to scientific investigation and understanding but the actual unique and open process of its production will not be. One of the aims of this paper is to heighten our general awareness of creational change as different from other sorts of change. (shrink)

In this paper we address the issue of grounding for experiential concepts. Given that perceptual demonstratives are a basic form of such concepts, we examine ways of fixing the referents of such demonstratives. To avoid ‘encodingism’, that is, relating representations to representations, we postulate that the process of reference fixing must be bottom-up and nonconceptual, so that it can break the circle of conceptual content and touch the world. For that purpose, an appropriate causal relation between representations and the world (...) is needed. We claim that this relation is provided by spatial and object-centered attention that leads to the formation of object files through the function of deictic acts. This entire causal process takes place at a pre-conceptual level, meeting the requirement for a solution to the grounding problem. Finally we claim that our account captures fundamental insights in Putnam’s and Kripke’s work on “new” reference. (shrink)