In this paper, we provide an account of the ontological status of Christ’s dead body, which remained in the tomb during the three days after his crucifixion. Our account holds that Christ’s dead body – during the time between his death and resurrection – was prime matter without a substantial form. We defend this account by showing how it is metaphysically possible for prime matter to exist in actuality without substantial forms. Our argument turns on the truth of two theses: (...) God is able to produce all acts of secondary causes without those secondary causes, and Substantial forms are secondary causes of the actuality of prime matter. We argue that the metaphysical possibility of matter without form is perfectly consistent with holding both there is only one substantial form in a material substance and that prime matter is pure potentiality. Moreover, we argue that the metaphysical possibility of matter without form does little-to-no damage to our natural understanding of material substances. (shrink)

Being disposed to see the marvelous by moving into the familiar is one of the fundamental philosophical dispositions. The pre-Socratic philosophers—especially Heraclitus—emphasized the needfulness of listening. This is true in two senses: we need to learn to listen, and listening is itself a need for something. The logos in nature can be heard only by one who is “awake.” The problem is that most live as though they were asleep, immersed in their own world. Being in tune with nature opens (...) one to hear something beyond nature—namely, the logos of nature. This implies a paradox: one can understand nature—i.e., be open to hear its logos—only if one is already open to hear it. The logos speaks to all, but it only successfully communicates with its lover. The philosophical life is intelligible only from within an openness to the logos. In this essay, I will argue that living a philosophical life (i.e., a philo-logical life: literally, a life in love with logos) is something that one has always already had. In short, a philosophical life is not something that one can decide to have or not; it is essentially something that one is thrown into, or perhaps more accurately, something that one finds oneself already a part of—like being in love—as the fruit of an unmerited gift. The philosophical life is a life of grace, since it is something that is given from another. This essay sets out to examine the philosophical facets of the claim that the philosophical life is a life of grace. (shrink)

Broadening access to both computational and educational resources is crit- ical to diffusing machine learning (ML) innovation. However, today, most ML resources and experts are siloed in a few countries and organizations. In this article, we describe our pedagogical approach to increasing access to applied ML through a massive open online course (MOOC) on Tiny Machine Learning (TinyML). We suggest that TinyML, applied ML on resource-constrained embedded devices, is an attractive means to widen access because TinyML leverages low-cost and globally (...) accessible hardware and encourages the development of complete, self-contained applications, from data collection to deployment. To this end, a collaboration between academia and industry produced a four part MOOC that provides application-oriented instruction on how to develop solutions using TinyML. The series is openly available on the edX MOOC platform, has no prerequisites beyond basic programming, and is designed for global learners from a variety of backgrounds. It introduces real-world applications, ML algorithms, data-set engineering, and the ethi- cal considerations of these technologies through hands-on programming and deployment of TinyML applications in both the cloud and on their own microcontrollers. To facili- tate continued learning, community building, and collaboration beyond the courses, we launched a standalone website, a forum, a chat, and an optional course-project com- petition. We also open-sourced the course materials, hoping they will inspire the next generation of ML practitioners and educators and further broaden access to cutting-edge ML technologies. (shrink)

This paper studies the problem of the arrow of time from the scientific and philosophical perspective. The scientific section (Castagnino) poses the topic according to the instruments of measuring employed in physical theories, specially when they are applied to dynamic chaotic systems in which a temporal asymmetry is shown. From the analysis of “two schools” (epistemological and ontological), the conclusion is favorable to the reality (both ontological and epistemological) of the difference between past and future, with the recourse to Reichenbach’s (...) notion of global system. In the philosophical section (Sanguineti) the content of the scientific part of the article is presented in a qualitative way. The role of some philosophical choices in the scientific field is stressed, taking into account the diversity of a positivistic and realistic view. (shrink)

It’s one thing to do the right thing. It’s another to be creditable for doing the right thing. Being creditable for doing the right thing requires that one does the right thing out of a morally laudable motive and that there is a non-accidental fit between those two elements. This paper argues that the two main views of morally creditable action – the Right Making Features View and the Rightness Itself View – fail to capture that non-accidentality constraint: the first (...) because it morally credits agents who make heavy-duty moral mistakes; the second because it fails to generalise and is too conservative – a point which this paper gives renewed defence. The paper then goes on to defend and develop an alternative according to which moral worth is mediated by the agent’s knowing how to respond to the reasons of the type which make acting in that way right. It’s argued that this view avoids the problems for the alternatives, and it’s shown that in order for the view to avoid collapsing into a problematic form of Reliabilism we’ll have to think of states of knowing how as essentially successful in character. (shrink)

We can contrast rationalising explanations of the form S φs because p with those of the form S φs because S believes that p. According the Common Kind View, the two sorts of explanation are the same. The Disjunctive View denies this. This paper sets out to elucidate the sense in which the Common Kind Theorist asserts, but the Disjunctivist denies, that the two explanations are the same. I suggest that, in the light of the distinction between kinds of explanation (...) and particular explanations, the relevant sameness thesis is ambiguous, thus giving us two distinct versions of the Common Kind View. I then argue that the only direct arguments for Disjunctivism available in the literature fail because they only succeed in undermining one version of the Common Kind View. I finish, however, by providing a fresh argument for the Disjunctive View which aims to undermine both versions of its competitor. (shrink)

It is now common to distinguish Metaphysical from Epistemological Disjunctivism. It is equally common to suggest that it is at least not obvious that the latter requires a commitment to the former: at the very least, a suitable bridge principle will need to be identified which takes one from the latter to the former. This paper identifies a plausible-looking bridge principle that takes one from the version of Epistemological Disjunctivism defended by John McDowell and Duncan Pritchard, which I label Reflective (...) Epistemological Disjunctivism, or (RED), to Metaphysical Disjunctivism. Moreover, it identifies a modification the proponent of (RED) could, and should, make to the Internalist component of their theory, and argues that the commitment to Metaphysical Disjunctivism remains, even if such a modification is made. The upshot is that the commitment to Metaphysical Disjunctivism on the part of (RED) is shown to be particularly robust. (shrink)

Here is a surprisingly neglected question in contemporary epistemology: what is it for an agent to believe that p in response to a normative reason for them to believe that p? On one style of answer, believing for the normative reason that q factors into believing that p in the light of the apparent reason that q, where one can be in that kind of state even if q is false, in conjunction with further independent conditions such as q’s being (...) a normative reason to believe that p. The primary objective of this paper is to demonstrate that that style of answer cannot be right, because we must conceive of believing for a normative reason as constitutively involving a kind of rationality-involving relation that can be instantiated at all only if there is a known fact on the scene, which the agent treats as a normative reason. A secondary objective, achieved along the way, is to demonstrate that in their Prime Time Errol Lord and Kurt Sylvan do not succeed in undermining the factoring picture in general, only a simple-minded version of it. (shrink)

It is now standard in the literature on reasons and rationality to distinguish normative reasons from motivating reasons. Two issues have dominated philosophical theorising concerning the latter: (i) whether we should think of them as certain (non-factive) psychological states of the agent – the dispute over Psychologism; and (ii) whether we should say that the agent can Φ for the reason that p only if p – the dispute over Factivism. This paper first introduces a puzzle: these disputes look very (...) much like merely verbal disputes about the meaning of phrases like `S’s reason’ in motivating reasons ascriptions, and yet charity requires us to think that something substantive is afoot. But what? The second aim of the paper is to extract substantive theses from certain natural arguments for Psychologism and Anti-Factivism – theses which are versions of a controversial view of the nature and normative structure of rationality. The paper ends by arguing against these substantive theses on phenomenological and ethical grounds. The upshot is that proponents of Psychologism and Anti-Factivism are either engaged in the project of defending merely verbal theses or they’re engaged in the project of defending false substantive ones. (shrink)

Buildings energy consumption is growing gradually and put away around 40% of total energy use. Predicting heating and cooling loads of a building in the initial phase of the design to find out optimal solutions amongst different designs is very important, as ell as in the operating phase after the building has been finished for efficient energy. In this study, an artificial neural network model was designed and developed for predicting heating and cooling loads of a building based on a (...) dataset for building energy performance. The main factors for input variables are: relative compactness, roof area, overall height, surface area, glazing are a, wall area, glazing area distribution of a building, orientation, and the output variables: heating and cooling loads of the building. The dataset used for training are the data published in the literature for various 768 residential buildings. The model was trained and validated, most important factors affecting heating load and cooling load are identified, and the accuracy for the validation was 99.60%. (shrink)

We present epistemic multilateral logic, a general logical framework for reasoning involving epistemic modality. Standard bilateral systems use propositional formulae marked with signs for assertion and rejection. Epistemic multilateral logic extends standard bilateral systems with a sign for the speech act of weak assertion (Incurvati and Schlöder 2019) and an operator for epistemic modality. We prove that epistemic multilateral logic is sound and complete with respect to the modal logic S5 modulo an appropriate translation. The logical framework developed provides the (...) basis for a novel, proof-theoretic approach to the study of epistemic modality. To demonstrate the fruitfulness of the approach, we show how the framework allows us to reconcile classical logic with the contradictoriness of so-called Yalcin sentences and to distinguish between various inference patterns on the basis of the epistemic properties they preserve. (shrink)

I am aware of the red and orange autumn leaves. Am I aware of my awareness of the leaves? Not so according to many philosophers. By contrast, many meditative traditions report an experience of awareness itself. I argue that such a pure awareness experience must have a non-sensory phenomenal character. I use Douglas Harding’s first-person experiments for assisting in recognising pure awareness. In particular, I investigate the gap where one cannot see one’s head. This is not a mere gap because (...) I seem to be looking from here. Critically, I claim, the experience of looking from here has a non-sensory phenomenal character. I argue that this sense of being aware cannot be reduced to egocentric visual-spatial relations nor the viewpoint because it continues when I close my eyes. Neither is a multisensory origin sufficient to explain why I seem to be at this central point rather than elsewhere. Traditionally, claims of a pure awareness experience have been restricted to highly trained individuals in very restricted circumstances. The innovation of Harding’s approach is that it reliably isolates a candidate for pure awareness using methods which can be replicated at any time. (shrink)

It is often argued that oppression reduces freedom. I argue against the view that oppression is wrong because it reduces freedom. Conceiving oppression as wrong because it reduces freedom is at odds with recognizing structural cases of oppression, because (a) many cases of oppression, including many structural ones, do not reduce agents’ freedom, and (b) the type of freedom reduction involved in many structural instances of oppression is not morally objectionable. If the mechanisms of oppression are sometimes indistinguishable from benign, (...) or even ineluctable, processes of social shaping, arguments that oppression is objectionably freedom-reducing risk implausibly suggesting that socialization itself is objectionably freedom-reducing. I show how three strategies for explaining how oppression reduces freedom either fall into the trap of overgenerality, or end up appealing to values other than freedom to avoid it. I conclude by suggesting that oppression might be better thought of as an affront to equality. (shrink)

ABSTRACTLinguistic evidence supports the claim that certain, weak rejections are less specific than assertions. On the basis of this evidence, it has been argued that rejected sentences cannot be premisses and conclusions in inferences. We give examples of inferences with weakly rejected sentences as premisses and conclusions. We then propose a logic of weak rejection which accounts for the relevant phenomena and is motivated by principles of coherence in dialogue. We give a semantics for which this logic is sound and (...) complete, show that it axiomatizes the modal logic KD45 and prove that it still derives classical logic on its asserted fragment. Finally, we defend previous logics of strong rejection as being about the linguistically preferred interpretations of weak rejections. (shrink)

Determined by Reasons: A Competence Account of Acting for a Normative Reason. By Mantel Susanne..).

In their Why Machines Will Never Rule the World, Landgrebe and Smith (2023) argue that it is impossible for artificial general intelligence (AGI) to succeed, on the grounds that it is impossible to perfectly model or emulate the “complex” “human neurocognitive system”. However, they do not show that it is logically impossible; they only show that it is practically impossible using current mathematical techniques. Nor do they prove that there could not be any other kinds of theories than those in (...) current use. Even if perfect theories were impossible or unlikely, perfection may not be needed and may even be unhelpful. (shrink)

Feminist socially constitutive conceptions of autonomy make the presence of idealized social conditions necessary for autonomy. I argue that such conceptions cannot, when applied under nonideal conditions, play two key feminist theoretical roles for autonomy: the roles of anti-oppressive character ideal and paternalism-limiting concept. Instead, they prescribe action that reinforces oppression. Treated as character ideals, socially constitutive conceptions of autonomy ask agents living under nonideal ones to engage in self-harm or self-subordination. Moreover, conceptions of autonomy that make idealized social conditions (...) a requirement of autonomy yield the conclusion that oppressed agents are appropriate objects of paternalism. (shrink)

We present an inferentialist account of the epistemic modal operator might. Our starting point is the bilateralist programme. A bilateralist explains the operator not in terms of the speech act of rejection ; we explain the operator might in terms of weak assertion, a speech act whose existence we argue for on the basis of linguistic evidence. We show that our account of might provides a solution to certain well-known puzzles about the semantics of modal vocabulary whilst retaining classical logic. (...) This demonstrates that an inferentialist approach to meaning can be successfully extended beyond the core logical constants. (shrink)

This paper concerns a distinction between circumstantial truths that hold because of the circumstances and acircumstantial truths that hold regardless of, or transcend, the circumstances. Previous discussions of the distinction tended to focus on its applications, such as to modality, logical truth, and essence. This paper focuses on developing the distinction largely, but not entirely, in abstraction from its potential applications. As such, the paper’s main contribution is to further clarify the distinction itself. An indirect contribution is to help guide (...) its future applications. (shrink)

Can faith be valuable and, if so, under what conditions? We know of no theory-neutral way to address this question. So, we offer a theory of relational faith, and we supplement it with a complementary theory of relational faithfulness. We then turn to relationships of mutual faith and faithfulness with an eye toward exhibiting some of the ways in which, on our theory, faith and faithfulness can be valuable and disvaluable. We then extend the theory to other manifestations of faith (...) and faithfulness, propose a way to unify them under a theory of faith and faithfulness simpliciter, and explain how they can be neo-Aristotelian virtues and vices. We close with our solution to the value problem and avenues for further research. (shrink)

We develop a novel solution to the negation version of the Frege-Geach problem by taking up recent insights from the bilateral programme in logic. Bilateralists derive the meaning of negation from a primitive *B-type* inconsistency involving the attitudes of assent and dissent. Some may demand an explanation of this inconsistency in simpler terms, but we argue that bilateralism’s assumptions are no less explanatory than those of *A-type* semantics that only require a single primitive attitude, but must stipulate inconsistency elsewhere. Based (...) on these insights, we develop a version of B-type expressivism called *inferential expressivism*. This is a novel semantic framework that characterises meanings by inferential roles that define which *attitudes* one can *infer* from the use of terms. We apply this framework to normative vocabulary, thereby solving the Frege-Geach problem generally and comprehensively. Our account moreover includes a semantics for epistemic modals, thereby also explaining normative terms under epistemic modals. (shrink)

In computer science, Artificial Intelligence (AI), sometimes called machine intelligence, is intelligence demonstrated by machines, in contrast to the natural intelligence displayed by humans and other animals. Computer science defines AI research as the study of "intelligent agents": any device that perceives its environment and takes actions that maximize its chance of successfully achieving its goals. Deep Learning is a new field of research. One of the branches of Artificial Intelligence Science deals with the creation of theories and algorithms that (...) allow the machine to learn by simulating neurons in the human body. Most in-depth learning research focuses on finding high-level methods. The strippers analyze a large data set using linear and nonlinear transformations. The method of deep learning is used in the detection of several diseases including blood cell diseases and their classification using the radiography of blood cells to help decision makers to know the type of blood cell and its associated diseases and the results will be presented in detail and discussed. This thesis is using python language and deep learning to detect blood cell diseases and their classifications. The proposed deep learning model was trained, validated and the tested. The accuracy of proposed model was 98.00%. (shrink)

The social world contains institutions, groups, objects, and more. This essay explores a puzzle about the essences of social items. There is widespread consensus against social essences because of problematic presuppositions often made about them. But it is argued that essence can be freed from these presuppositions and their problems. Even so, a puzzle still arises. In a Platonic spirit, essences in general seem detached from the world. In an Aristotelian spirit, social essences in particular seem embedded in the world. (...) The puzzle is that these inclinations are individually plausible but jointly incompatible. The essay has four aims: to clarify and refine the puzzle; to explore the puzzle's implications for essence in general and for social essences in particular; to illustrate the fruitfulness of the general distinction between detached and embedded; and to develop this distinction to sketch a novel solution to the puzzle. (shrink)

Virtue epistemology is among the dominant influences in mainstream epistemology today. An important commitment of one strand of virtue epistemology – responsibilist virtue epistemology (e.g., Montmarquet 1993; Zagzebski 1996; Battaly 2006; Baehr 2011) – is that it must provide regulative normative guidance for good thinking. Recently, a number of virtue epistemologists (most notably Baehr, 2013) have held that virtue epistemology not only can provide regulative normative guidance, but moreover that we should reconceive the primary epistemic aim of all education as (...) the inculcation of the intellectual virtues. Baehr’s picture contrasts with another well-known position – that the primary aim of education is the promotion of critical thinking (Scheffler 1989; Siegel 1988; 1997; 2017). In this paper – that we hold makes a contribution to both philosophy of education and epistemology and, a fortiori, epistemology of education – we challenge this picture. We outline three criteria that any putative aim of education must meet and hold that it is the aim of critical thinking, rather than the aim of instilling intellectual virtue, that best meets these criteria. On this basis, we propose a new challenge for intellectual virtue epistemology, next to the well-known empirically-driven ‘situationist challenge’. What we call the ‘pedagogical challenge’ maintains that the intellectual virtues approach does not have available a suitably effective pedagogy to qualify the acquisition of intellectual virtue as the primary aim of education. This is because the pedagogic model of the intellectual virtues approach (borrowed largely from exemplarist thinking) is not properly action-guiding. Instead, we hold that, without much further development in virtue-based theory, logic and critical thinking must still play the primary role in the epistemology of education. (shrink)

The Meaning Circuit Hypothesis (MCH) is a synthesis of ideas providing John Wheeler’s outline of ultimate physics, which he fine-tuned over several decades from the 1970s onward. It is a ‘working hypothesis’ in which ‘existence is a ‘meaning circuit”’ that portrays the world as a “system self-synthesized by quantum networking.” It was strongly advocated by him for roughly two decades and since then has had an increasingly strong impact on the approach of many investigators of quantum theory; in particular, elements (...) such as the quantum participator and ‘it from bit’ are now considered by others as candidate components of a foundation for quantum theory in which information is involved essentially. Therefore, it is worthy of review and critique. (shrink)

There is a widespread, popular view—and one I basically endorse—that Nietzsche is, in one sense of the word, a nihilist. As Arthur Danto put it some time ago, according to Nietzsche, “there is nothing in [the world] which might sensibly be supposed to have value.” As interpreters of Nietzsche, though, we cannot simply stop here. Nietzsche's higher men, Übermenschen, “genuine philosophers”, free spirits—the types Nietzsche wants to bring forth from the human, all-too-human herds he sees around him with the fish (...) hooks, as he says, of his books—seem to engage in what looks like valuing. These free spirits are supposed to revalue the old values—revaluing, as is clear from the texts, is not simply to remove the old values from circulation (Nietzsche uses “umwerten” and not “entwerten”)—and they are supposed to create new values. And, of course, Nietzsche himself, free spirit that he is, takes on the task of revaluing all values and seems to assert many a strident evaluation. So we need to say more here. What are Nietzsche and his free spirits up to when they engage in what looks, for all the world, like a practice of valuing? What is the practice of valuing Nietzsche is recommending for his free spirits? I argue for two claims: (i) First, we end up facing an interpretive puzzle when we attempt to explain how Nietzsche's free spirits are supposed to engage in a practice of valuing. (ii) Second, we can solve the interpretive puzzle by taking Nietzsche's free spirits to be engaged in a fictionalist simulacrum of valuing. (shrink)

This paper explores the prospects of combining two views. The first view is metaphysical rationalism : all things have an explanation. The second view is metaphysical essentialism: there are real essences. The exploration is motivated by a conflict between the views. Metaphysical essentialism posits facts about essences. Metaphysical rationalism demands explanations for all facts. But facts about essences appear to resist explanation. I consider two solutions to the conflict. Exemption solutions attempt to exempt facts about essences from the demand for (...) explanation. Explanation solutions attempt to explain facts about essences. I argue that exemption solutions are less promising than explanation solutions. I then consider how explanation solutions might be developed. I suggest that a “generative” approach is most promising. I tentatively conclude that the prospects for combining metaphysical rationalism and metaphysical essentialism turn on the viability of a generative approach. This sets the agenda for defending the combination as well as the more general project of explaining essences. (shrink)

This essay considers what it means to understand natural language and whether a computer running an artificial-intelligence program designed to understand natural language does in fact do so. It is argued that a certain kind of semantics is needed to understand natural language, that this kind of semantics is mere symbol manipulation (i.e., syntax), and that, hence, it is available to AI systems. Recent arguments by Searle and Dretske to the effect that computers cannot understand natural language are discussed, and (...) a prototype natural-language-understanding system is presented as an illustration. (shrink)

While first-person methods are essential for a science of consciousness, it is controversial what form these methods should take and whether any such methods are reliable. I propose that first-person experiments are a reliable method for investigating conscious experience. I outline the history of these methods and describe their characteristics. In particular, a first-person experiment is an intervention on a subject's experience in which independent variables are manipulated, extraneous variables are held fixed, and in which the subject makes a phenomenal (...) judgement about the target experience of the investigation. I examine historical and contemporary examples of first-person experiments: Mariotte’s demonstration of the visual blind spot, Kanizsa’s subjective contours, the Tse Illusion, and investigations of the non-uniform resolution of the visual field. I discuss the role that phenomenal contrast plays in these methods, and how they overcome typical introspective errors. I argue that their intersubjective repeatability is an important factor in their scientific status, however, it is not the only factor. That they control for extraneous factors and confounds is another factor which sets them apart from pseudoscience (e.g., the perception of auras), and hence another reason for classifying them as genuine experiments. Furthermore, by systematically mapping out the structure of visual experience, these methods make scientific progress. Praises of such first-person experimental approaches may not always be sung by philosophers and psychologists, but they continue to flourish as respectable scientific methods nevertheless. (shrink)

The emotion theory of concepts maintains that concepts may be in part constituted by sentiments and emotions. Very few works in the contemporary concepts literature discuss this possibility that concepts may be sentiments and emotions, and those that do discuss this possibility ultimately fail to establish the viability of this view. However, by in part relying on experimental evidence from psychology and neuroscience, I contend that some concrete and abstract concepts are in part constituted by sentiments and emotions.

Nietzsche’s favourable comments about science and the senses have recently been taken as evidence of naturalism. Others focus on his falsification thesis: our beliefs are falsifying interpretations of reality. Clark argues that Nietzsche eventually rejects this thesis. This article utilizes the multiple ways of being science friendly in Nietzsche’s context by focussing on Mach’s neutral monism. Mach’s positivism is a natural development of neo-Kantian positions Nietzsche was reacting to. Section 15 of Beyond Good and Evil is crucial to Clark’s interpretation. (...) The presented interpretation makes better sense of this passage and shows that Nietzsche can accept both falsification and empiricism. (shrink)

In this paper I defend the traditional interpretations of Kant’s Formula of a Law of Nature from recent attacks leveled by Faviola Rivera-Castro, James Furner, Ido Geiger, Pauline Kleingeld and Sven Nyholm. After a short introduction, the paper is divided into four main sections. In the first, I set out the basics of the three traditional interpretations, the Logical Contradiction Interpretation, the Practical Contradiction Interpretation and the Teleological Contradiction Interpretation. In the second, I examine the work of Geiger, Kleingeld and (...) Nyholm: these three commentators reject the traditional interpretations entirely, but I argue that this rejection is ill-founded. In the third and fourth, I take a detailed look at Furner’s work, work in which he seeks to revise (rather than reject) the traditional interpretations. I argue that, despite his more modest aims, Furner’s revision is also ill-founded. (shrink)

Many classically valid meta-inferences fail in a standard supervaluationist framework. This allegedly prevents supervaluationism from offering an account of good deductive reasoning. We provide a proof system for supervaluationist logic which includes supervaluationistically acceptable versions of the classical meta-inferences. The proof system emerges naturally by thinking of truth as licensing assertion, falsity as licensing negative assertion and lack of truth-value as licensing rejection and weak assertion. Moreover, the proof system respects well-known criteria for the admissibility of inference rules. Thus, supervaluationists (...) can provide an account of good deductive reasoning. Our proof system moreover brings to light how one can revise the standard supervaluationist framework to make room for higher-order vagueness. We prove that the resulting logic is sound and complete with respect to the consequence relation that preserves truth in a model of the non-normal modal logic _NT_. Finally, we extend our approach to a first-order setting and show that supervaluationism can treat vagueness in the same way at every order. The failure of conditional proof and other meta-inferences is a crucial ingredient in this treatment and hence should be embraced, not lamented. (shrink)

What is the computational notion of “implementation”? It is not individuation, instantiation, reduction, or supervenience. It is, I suggest, semantic interpretation.

In this paper I argue that there would be no obligatory maxims if the only standards for assessing maxims were Kant’s universalizability tests. The paper is divided into five sections. In the first, I clarify my thesis: I define my terms and disambiguate my thesis from other related theses for which one might argue. In the second, I confront the view that says that if a maxim passes the universalizability tests, then there is a positive duty to adopt that maxim; (...) I also confront a close relative of this view. In the third, I confront the view that says that if a maxim does not pass the universalizability tests, then there is a positive duty to adopt the contradictory of that maxim. In the fourth, I confront two variations of the view that says that if a maxim does not pass the universalizability tests and an agent is deliberating about the action in the maxim, then the agent has a positive duty to adopt the contrary of that maxim. In the fifth, I confront the view that says that if an agent has adopted a maxim of ends, then the agent has a positive duty to universalize that end. I then wrap up the paper with some concluding remarks. (shrink)

In this reply to James H. Fetzer’s “Minds and Machines: Limits to Simulations of Thought and Action”, I argue that computationalism should not be the view that (human) cognition is computation, but that it should be the view that cognition (simpliciter) is computable. It follows that computationalism can be true even if (human) cognition is not the result of computations in the brain. I also argue that, if semiotic systems are systems that interpret signs, then both humans and computers are (...) semiotic systems. Finally, I suggest that minds can be considered as virtual machines implemented in certain semiotic systems, primarily the brain, but also AI computers. In doing so, I take issue with Fetzer’s arguments to the contrary. (shrink)

There are many branches of philosophy called “the philosophy of X,” where X = disciplines ranging from history to physics. The philosophy of artificial intelligence has a long history, and there are many courses and texts with that title. Surprisingly, the philosophy of computer science is not nearly as well-developed. This article proposes topics that might constitute the philosophy of computer science and describes a course covering those topics, along with suggested readings and assignments.

We explore new connections between the epistemologies of mental rehearsal and suppositional reasoning to offer a novel perspective on skilled behavior and its relationship to practical knowledge. We argue that practical knowledge is "easy" in the sense that, by manifesting one's skills, one has a priori propositional justification for certain beliefs about what one is doing as one does it. This proposal has wider consequences for debates about intentional action and knowledge: first, because agents sometimes act intentionally in epistemically hazardous (...) environments, these justified beliefs do not always rise to the level of (practical) knowledge. Second, practical knowledge is more intimately related to basic knowledge than has been appreciated. Third, an attractive "middle way" opens between the Anscombian tradition of defending a necessary connection between intentional action and practical knowledge and the more recent tradition of explaining away substantive epistemic conditions on intentional action. (shrink)

Objectives Practitioners in contemplative traditions commonly report experiencing an awareness that is distinct from sensory objects, thoughts, and emotions (“awareness itself”). They also report experiences of a void or underlying silence that is closely associated with this awareness. Subjects who carry out the Headless Way exercises frequently report an experience of emptiness or void at the same time as other contents (void-like experiences). The goals of this study were to (1) assess the reliability of these methods in eliciting the recognition (...) of awareness and void-like experiences in participants who had no prior exposure to these techniques, (2) investigate the prevalence of these experiences in these tasks, and (3) to differentiate these experiences from closely related and potential precursor experiences. -/- Method Twenty adults participated in in-depth individual interviews in which they were guided through the Headless Way exercises. A thematic analysis was conducted on the interview transcripts. -/- Results Twelve of the participants reported a void-like experience, and five participants reported an experience of awareness itself. These experiences were respectively categorized as subsets of the more general categories of perceptual absences and the sense of not being person-like. Another novel finding was the real-time reports of awareness and void-like experiences during the exercises. -/- Conclusions Our findings provide preliminary evidence that the Headless Way exercises can effectively induce experiences of emptiness and awareness in participants without prior experience. The findings suggest that such experiences can be elicited outside of a traditional meditation context, including in non-meditators. Furthermore, the experience of not being person-like and of perceptual absences may be precursors and more general forms of recognizing awareness itself and the void-like nature of the mind. (shrink)

Spinoza, le spinozisme et les fondements de la sécularisation est un ouvrage dédié à la mémoire d’Emmanuel Levinas, dont l’auteur a été l’élève durant plusieurs années. Il vise, à travers une analyse d’ordre philosophique, historique, épistémologique et théologique, à mettre au jour les conditions d’émergence interrelatées du spinozisme et de la sécularisation. Pour ce faire, il souligne, entre autres, l’importance des polémiques anti-maimonidiennes, des débats sur les attributs divins, la substance, l’infini, du marranisme et de la Kabbale sur la formation (...) du spinozisme, ainsi que son rapport à la pensée contemporaine. Il mène une recherche interdisciplinaire devant permettre d’éclairer l’origine des difficultés théoriques que ce système philosophique présente. (shrink)

John Searle once said: "The Chinese room shows what we knew all along: syntax by itself is not sufficient for semantics. (Does anyone actually deny this point, I mean straight out? Is anyone actually willing to say, straight out, that they think that syntax, in the sense of formal symbols, is really the same as semantic content, in the sense of meanings, thought contents, understanding, etc.?)." I say: "Yes". Stuart C. Shapiro has said: "Does that make any sense? Yes: Everything (...) makes sense. The question is: What sense does it make?" This essay explores what sense it makes to say that syntax by itself is sufficient for semantics. (shrink)

Many take Kantian ethics to founder when it comes to our duties to animals. In this paper, I advocate a novel approach to this problem. The paper is divided into three sections. In the first, I canvass various passages from Kant in order to set up the problem. In the second, I introduce a novel approach to this problem. In the third, I defend my approach from various objections. By way of preview: I advocate rejecting the premise that nonhuman animals (...) are nonrational. (shrink)

This article discusses how a wide range of apparently conflicting metaethical theories have been ascribed to Nietzsche. It reviews the major kinds of contemporary metaethical theories and the initial textual evidence for ascribing some version of each kind to Nietzsche. It then considers the objections to such ascriptions as well as arguments in favor of claims of the relative plausibility of ascribing one metaethical interpretation to Nietzsche over another. The article concludes with a serious consideration of the view that perhaps (...) Nietzsche simply does not have a considered metaethical stance. (shrink)

Requirements of rationality, like the following, have recently been the focus of much discussion: (1) Rationality requires of S that, if S intends that e and believes that e will not be so unless S intends that m, then S intends that m. (2) Rationality requires of S that S not both believe p and believe not-p.1 How many requirements there are and how precisely to state them is a matter of controversy, but I will focus on a different kind (...) of controversy, namely, how to conceive of such requirements in general.2 I will start by sketching a picture of their general nature and role that I find compelling and attractive. My picture is not, however, consistent with many of the recent approaches to rational requirements in the literature. 3 As I will try to show, the arguments that are often made about rational requirements assume, mostly implicitly, that my picture is flawed. These arguments do not, however, or so I will claim, actually give us reason to reject my picture of rational requirements. Indeed, many of the puzzles about rational requirements taken up by others turn out not to really be puzzles once we realize that this alternative picture.. (shrink)

Review of Joseph Y. Halpern (ed.), Theoretical Aspects of Reasoning About Knowledge: Proceedings of the 1986 Conference (Los Altos, CA: Morgan Kaufmann, 1986),.

Fictionalism has recently returned as a standard response to ontologically problematic domains. This article assesses moral fictionalism. It argues (i) that a correct understanding of the dialectical situation in contemporary metaethics shows that fictionalism is only an interesting new alternative if it can provide a new account of normative content: what is it that I am thinking or saying when I think or say that I ought to do something; and (ii) that fictionalism, qua fictionalism, does not provide us with (...) any new resources for providing such an account. (shrink)

This essay presents a philosophical and computational theory of the representation of de re, de dicto, nested, and quasi-indexical belief reports expressed in natural language. The propositional Semantic Network Processing System (SNePS) is used for representing and reasoning about these reports. In particular, quasi-indicators (indexical expressions occurring in intentional contexts and representing uses of indicators by another speaker) pose problems for natural-language representation and reasoning systems, because--unlike pure indicators--they cannot be replaced by coreferential NPs without changing the meaning of the (...) embedding sentence. Therefore, the referent of the quasi-indicator must be represented in such a way that no invalid coreferential claims are entailed. The importance of quasi-indicators is discussed, and it is shown that all four of the above categories of belief reports can be handled by a single representational technique using belief spaces containing intensional entities. Inference rules and belief-revision techniques for the system are also examined. (shrink)