I insist that I was able to raise my hand, and I acknowledge that a law would have been broken had I done so, but I deny that I am therefore able to break a law. To uphold my instance of soft determinism, I need not claim any incredible powers. To uphold the compatibilism that I actually believe, I need not claim that such powers are even possible. My incompatibilist opponent is a creature of fiction, but he has his prototypes (...) in real life. He is modeled partly after Peter van Inwagen and partly on myself when I first worried about van Inwagen's argument against compatibilism. (shrink)

In How We Get Along, philosopher David Velleman compares our social interactions to the interactions among improvisational actors on stage. He argues that we play ourselves - not artificially but authentically, by doing what would make sense coming from us as we really are. And, like improvisational actors, we deal with one another in dual capacities: both as characters within the social drama and as players contributing to the shared performance. In this conception of social intercourse, Velleman finds rational (...) grounds for morality, though not a rational guarantee. He maps a middle course between skepticism and rationalism, arguing that practical reasoning is 'pro-moral' without requiring moral action. The result is what he calls a 'Kinda Kantian metaethics'. How We Get Along is the summation of Velleman's thinking to date, incorporating and unifying previous work on agency, the self, the emotions, narrative and Kantian moral theory. (shrink)

This paper offers both a theoretical and an experimental perspective on the relationship between connectionist and Classical (symbol-processing) models. Firstly, a serious flaw in Fodor and Pylyshyn’s argument against connectionism is pointed out: if, in fact, a part of their argument is valid, then it establishes a conclusion quite different from that which they intend, a conclusion which is demonstrably false. The source of this flaw is traced to an underestimation of the differences between localist and distributed representation. It has (...) been claimed that distributed representations cannot support systematic operations, or that if they can, then they will be mere implementations of traditional ideas. This paper presents experimental evidence against this conclusion: distributed representations can be used to support direct structure-sensitive operations, in a man- ner quite unlike the Classical approach. Finally, it is argued that even if Fodor and Pylyshyn’s argument that connectionist models of compositionality must be mere implementations were correct, then this would still not be a serious argument against connectionism as a theory of mind. (shrink)

People are often offended by beliefs, expect apologies for beliefs, apologize for their own beliefs. In many mundane cases, people are morally criticized for their beliefs. Intuitively, then, beliefs seem to sometimes wrong people. Recently, the philosophical literature has picked up on this theme, and has started to discuss it under the heading of doxastic wrongdoing. In this paper we argue that despite the strength of such initial intuitions, at the end of the day they have to be rejected. If (...) it can be ever truthfully asserted that beliefs wrong, this is always derivative – beliefs wrong only in virtue of other things (like evidence-gathering actions) wronging. We distinguish between modest and ambitious doxastic wrongdoing theories (the former deny, while the latter accept, the possibility of a morally wrong yet epistemically permissible belief); we argue that each of these options faces insurmountable problems; and we offer partly debunking explanations of the intuitions purportedly supporting doxastic wrongdoing. (shrink)

The starting point regarding consent has to be that it is both extremely important, and that it is often suspicious. In this article, the author tries to make sense of both of these claims, from a largely liberal perspective, tying consent, predictably, to the value of autonomy and distinguishing between autonomy as sovereignty and autonomy as nonalienation. The author then discusses adaptive preferences, claiming that they suffer from a rationality flaw but that it's not clear that this flaw matters morally (...) or politically. What matters is whether they suffer from an autonomy flaw. To answer this question, the author develops an account of autonomy failure, according to which a preference is nonautonomous if an injustice played an appropriate role in its causal history. The author then discusses the moral implications—and in an initial way, the political ones as well—of proclaiming a preference, or consent based on it, nonautonomous in this way. (shrink)

Actualists of a certain stripe—dispositionalists—hold that metaphysical modality is grounded in the powers of actual things. Roughly: p is possible iff something has, or some things have, the power to bring it about that p. Extant critiques of dispositionalism focus on its material adequacy, and question whether there are enough powers to account for all the possibilities we intuitively want to countenance. For instance, it seems possible that none of the actual contingent particulars ever existed, but it is impossible to (...) explain this by appealing to the powers of some actual thing or things to bring it about. I argue instead that dispositionalism, in the simple form championed by its proponents, is formally inadequate. Dispositionalists interpret the modal operators as simple existential claims about powers, but if we interpret the operators that way, the resulting system of modal logic is too weak to capture metaphysical modality. I argue that we can modify the standard dispositionalist interpretations of the operators to secure formal adequacy, but at the cost of accepting that not all modality is grounded in powers. This, I shall suggest, is not a bad thing—the resulting theory still has powers at its core and has certain attractive features, in addition to formal adequacy, that the standard theory lacks. (shrink)

Hylomorphists hold that substances are, in some sense, composites of matter and form. The form of a substance is typically taken to play a fundamental role in determining the unity or identity of the whole. Staunch hylomorphists think that this role is of a kind that precludes the ontological reduction of form to the physical and thus take their position to be inconsistent with physicalism. Forms, according to staunch hylomorphism, play a fundamental role in grounding their bearers’ proper parts and (...) that, it seems, rules out the physical grounding of form itself. I shall develop a physicalist version of hylomorphism that treats form as geometric structure and which, I shall argue, entails many of the central theses endorsed by staunch hylomorphists. Based on Shoemaker’s notion of conditional powers, I shall argue that the geometric structures of complex wholes are the conditions on at least some of the conditional powers of their bearers’ proper parts, transforming those powers into powers simpliciter. Thus, forms play a fundamental role in the dynamical evolution of the physical world, but without bestowing causal powers themselves and hence without violating the causal closure of the physical domain. If a substance’s proper parts are taken to be individuated by their powers simpliciter, then they derive their identities from their places in the substantial whole, which thus determines the identities of its proper parts without changing their intrinsic natures. (shrink)

In the past few years, a number of philosophers ; Horgan and Tienson 2002; Pitt 2004) have maintained the following three theses: there is a distinctive sort of phenomenology characteristic of conscious thought, as opposed to other sorts of conscious mental states; different conscious thoughts have different phenomenologies; and thoughts with the same phenomenology have the same intentional content. The last of these three claims is open to at least two different interpretations. It might mean that the phenomenology of a (...) thought expresses its intentional content, where intentional content is understood as propositional, and propositions are understood as mind-and language-independent abstract entities. And it might mean that the phenomenology of a thought is its intentional content—that is, that the phenomenology of a thought, like the phenomenology of a sensation, constitutes its content. The second sort of view is a kind of psychologism. Psychologistic views hold that one or another sort of thing—numbers, sentences, propositions, etc.—that we can think or know about is in fact a kind of mental thing. Since Frege, psychologism has been in bad repute among analytic philosophers. It is widely held that Frege showed that such views are untenable, since, among other things, they subjectivize what is in fact objective, and, hence, relativize such things as consistency and truth to the peculiarities of human psychology. The purpose of this paper is to explore the consequences of the thesis that intentional mental content is phenomenological and to try to reach a conclusion about whether it yields a tenable view of mind, thought and meaning. I believe the thesis is not so obviously wrong as it will strike many philosophers of mind and language. In fact, it can be defended against the standard objections to psychologism, and it can provide the basis for a novel and interesting account of mentality. (shrink)

Statistical evidence—say, that 95% of your co-workers badmouth each other—can never render resenting your colleague appropriate, in the way that other evidence (say, the testimony of a reliable friend) can. The problem of statistical resentment is to explain why. We put the problem of statistical resentment in several wider contexts: The context of the problem of statistical evidence in legal theory; the epistemological context—with problems like the lottery paradox for knowledge, epistemic impurism and doxastic wrongdoing; and the context of a (...) wider set of examples of responses and attitudes that seem not to be appropriately groundable in statistical evidence. Regrettably, we do not come up with a fully general, fully adequate, fully unified account of all the phenomena discussed. But we give reasons to believe that no such account is forthcoming, and we sketch a somewhat messier account that may be the best that can be had here. (shrink)

The causal closure of the physical poses a familiar causal exclusion problem for the special sciences that stems from the idea that if closure is true, then fundamental physical properties do all the causal work involved in bringing about physical effects. In this paper I aim to show that the strongest causal closure principle that is not ruled out by some simple physics in fact allows for a certain kind of downward causation, which in turn makes room for robust special (...) science autonomy. I focus on the case of vector composition, arguing that it involves irreducibly multilevel causation. To give a complete causal explanation of what goes on in cases that involve the effects of multiple forces, we need to appeal not only to the fundamental properties that generate those forces, but also to geometric properties that determine how multiple vectors compose. However, if all the causal work involved in such cases were due to fundamental physical properties, there would be a one-level explanation available. Hence, I argue, it cannot be the case that fundamental physical properties do all the causal work. The extra causal work, I suggest, comes from the fact that the causal powers bestowed by fundamental physical properties have irreducibly geometric manifestation conditions. I defend the resulting form of downward causation as a solution to the problem of special science autonomy, and discuss two potential accounts of its source, in terms of the debate between kinematic and dynamic theories of the origins of spacetime symmetries. (shrink)

Critics have argued that human-controlled avatar interactions fail to facilitate the kinds of expressivity and social understanding afforded by our physical bodies. We identify three claims meant to justify the supposed expressive limits of avatar interactions compared to our physical interactions. First, “The Limited Expressivity Claim”: avatars have a more limited expressive range than our physical bodies. Second, “The Inputted Expressivity Claim”: any expressive avatarial behaviour must be deliberately inputted by the user. Third, “The Decoding Claim”: users must infer or (...) figure out the expressive meaning of human-controlled avatars’ behaviour through cognitively onerous processes. With the aim of critically assessing all three claims, we analyze data collected through observations of and interviews with expert players of the avatar-based video game League of Legends. Focusing on Daniel Stern’s (2010) notion of vitality, we analyze the participants’ descriptions of seeing and interacting with other avatars during performance. Our analysis shows that the informants experience human-based avatarial interactions as qualitatively different than interactions with bots, that the informants see the movements of other players’ avatars as having different expressive styles, and that the informants actively use and manipulate this avatarial expressivity during performance. The results of our analysis, we argue, provide reasons for loosening or resisting the three claims concerning the limits of avatarial expressivity. (shrink)

There have recently been a number of strong claims that normative considerations, broadly construed, influence many philosophically important folk concepts and perhaps are even a constitutive component of various cognitive processes. Many such claims have been made about the influence of such factors on our folk notion of causation. In this paper, we argue that the strong claims found in the recent literature on causal cognition are overstated, as they are based on one narrow type of data about a particular (...) type of causal cognition; the extant data do not warrant any wide-ranging conclusions about the pervasiveness of normative considerations in causal cognition. Of course, almost all empirical investigations involve some manner of ampliative inference, and so we provide novel empirical results demonstrating that there are types of causal cognition that do not seem to be influenced by moral considerations. (shrink)

Philosophical Issues, Volume 31, Issue 1, Page 85-103, October 2021.

ABSTRACTIn a recent paper, Michael Pardo argues that the epistemic property that is legally relevant is the one called Safety, rather than Sensitivity. In the process, he argues against our Sensitivity-related account of statistical evidence. Here we revisit these issues, partly in order to respond to Pardo, and partly in order to make general claims about legal epistemology. We clarify our account, we show how it adequately deals with counterexamples and other worries, we raise suspicions about Safety's value here, and (...) we revisit our general skepticism about the role that epistemological considerations should play in determining legal policy. (shrink)

This article sets forth Voltaire’s philosophy of liberty. Contrary to generally accepted readings, which take Voltaire at face value rather than considering the environment in which he wrote, Voltaire had a clear normative political thought. He was an early proponent of rule of law, ordered liberty, freedom of conscience and expression, and the right to prudent rebellion against tyranny. At the root of his political theory lay a rejection of slavery, and hence of all forms of subjugation.

Does it count against a normative theory in political philosophy that it is in some important sense infeasible, that its prescriptions are unlikely to be complied with? Though a positive answer seems plausible, it has proved hard to defend against the claim that this is not how normative theories work - noncompliance shows a problem with the noncomplying agents, not with the normative theory. I think that this line of thought - this defense of Utopianism - wins the battle but (...) loses the war. It’s right about what does and what does not refute a normative theory. It’s wrong in misidentifying the problem. The right way to think about the feasibility worry is as essentially involving multiple agents, and how expected noncompliance by one agent may refute a normative claim addressed at another. Thus understood, feasibility problems may very well refute a theory in political philosophy. In this paper I develop this understanding of the feasibility worry, tie it to more general discussions in normative ethics, and in political philosophy. (shrink)

This is a contribution to the symposium on Tim Scanlon’s Being Realistic about Reasons. We have two aims here: First, we ask for more details about Scanlon’s meta-metaphysical view, showing problems with salient clarifications. And second, we raise independent objections to the view – to its explanatory productivity, its distinctness, and the argumentative support it enjoys.

eSports practice designates a unique set of activities tethered to competitive, virtual environments, or worlds. This correlation between eSports practitioner and virtual world, we argue, is inadequately accounted for solely in terms of something physical or intellectual. Instead, we favor a perspective on eSports practice to be analyzed as a perceptual and embodied phenomenon. In this article, we present the phenomenological approach and focus on the embodied sensations of eSports practitioners as they cope with and perceive within their virtual worlds. (...) By approaching eSports phenomenologically, we uncover ways in which its unique forms of virtual involvement overlap with as well as differentiate themselves from traditional structures of embodiment. (shrink)

First published in 1990, _Existentialism_ is widely regarded as a classic introductory survey of the topic, and has helped to renew interest in existentialist philosophy. The author places existentialism within the great traditions of philosophy, and argues that it deserves as much attention from analytic philosophers as it has always received on the continent.

The simulation hypothesis has recently excited renewed interest, especially in the physics and philosophy communities. However, the hypothesis specifically concerns {computers} that simulate physical universes, which means that to properly investigate it we need to couple computer science theory with physics. Here I do this by exploiting the physical Church-Turing thesis. This allows me to introduce a preliminary investigation of some of the computer science theoretic aspects of the simulation hypothesis. In particular, building on Kleene's second recursion theorem, I prove (...) that it is mathematically possible for us to be in a simulation that is being run on a computer \textit{by us}. In such a case, there would be two identical instances of us; the question of which of those is ``really us'' is meaningless. I also show how Rice's theorem provides some interesting impossibility results concerning simulation and self-simulation; briefly describe the philosophical implications of fully homomorphic encryption for (self-)simulation; briefly investigate the graphical structure of universes simulating universes simulating universes, among other issues. I end by describing some of the possible avenues for future research that this preliminary investigation reveals. (shrink)

This study explores experiences of ex-incels—men who have withdrawn from incel communities—through eleven qualitative interviews analysed using R.W. Connell’s hegemonic masculinity (HM) framework. Findings reveal some ex-incels adopt flexible masculinities, while others struggle with prescriptive norms perpetuated by the anti-feminist ‘manosphere’. Findings spotlight identity reconstructions, where men both reject and remain influenced by rigid archetypes, performing hybrid masculinities. This study deepens understanding of incel ideology, its impact on identity, and interplay between inceldom and masculinities via contributing to hybrid masculinities theorising. (...) Insights presents applications for gender theory and inform further research on HM’s influence within unique cultural contexts. (shrink)

Categorical logic has shown that modern logic is essentially the logic of subsets (or "subobjects"). Partitions are dual to subsets so there is a dual logic of partitions where a "distinction" [an ordered pair of distinct elements (u,u′) from the universe U ] is dual to an "element". An element being in a subset is analogous to a partition π on U making a distinction, i.e., if u and u′ were in different blocks of π. Subset logic leads to finite (...) probability theory by taking the (Laplacian) probability as the normalized size of each subset-event of a finite universe. The analogous step in the logic of partitions is to assign to a partition the number of distinctions made by a partition normalized by the total number of ordered pairs |U|² from the finite universe. That yields a notion of "logical entropy" for partitions and a "logical information theory." The logical theory directly counts the (normalized) number of distinctions in a partition while Shannon's theory gives the average number of binary partitions needed to make those same distinctions. Thus the logical theory is seen as providing a conceptual underpinning for Shannon's theory based on the logical notion of "distinctions.". (shrink)

The chapter challenges hyperbolic claims about the centrality of appreciation of beauty to Buddhism. Within the texts, attitudes are more mixed, except for a form of 'inner beauty' - the beauty found in the expression of virtues or wisdom in forms of bodily comportment. Inner beauty is a stable presence throughout Buddhist history, practices, and art.

According to dispositionalism about modality, a proposition <p> is possible just in case something has, or some things have, a power or disposition for its truth; and <p> is necessary just in case nothing has a power for its falsity. But are there enough powers to go around? In Yates (2015) I argued that in the case of mathematical truths such as <2+2=4>, nothing has the power to bring about their falsity or their truth, which means they come out both (...) necessary and not possible. Combining this with axiom (T), it is easy to derive a contradiction. I suggested that dispositionalists ought to retreat a little and say that <p> is possible just in case either p, or there is a power to bring it about that p, grounding the possibility of mathematical propositions in their truth rather than in powers. Vetter’s (2015) has the resources to provide a response to my argument, and in her (2018) she explicitly addresses it by arguing for a plenitude of powers, based on the idea that dispositions come in degrees, with necessary properties a limiting case of dispositionality. On this view there is a power for <2+2=4>, without there being a power to bring about its truth. In this paper I argue that Vetter’s case for plenitude does not work. However, I suggest, if we are prepared to accept metaphysical causation, a case can be made that there is indeed a power for <2+2=4>. (shrink)

In this chapter, we argue that it’s possible to lose your faith in God by the actions of other people. In particular, we argue that spiritually violent religious trauma, where religious texts are used to shame a person into thinking themselves unworthy of God’s love, can cause a person to stop engaging in activities that sustain their faith in God, such as engaging in the worship of God. To do this, we provide an analysis of faith, worship, and love on (...) which to have faith in God is to have an attitude of worship to him; to have such an attitude of worship to God is to love him; and to love God is to desire union with him. We apply this analysis particularly to the case of LGBT Christians and their experience in the church today. (shrink)

Zetetic norms govern our acts of inquiry. Epistemic norms govern our beliefs and acts of belief formation. Recently, Jane Friedman (2020) has defended that we should think of these norms as conforming a single normative domain: epistemology should take a zetetic turn. Though this unification project implies a substantive re-elaboration of our traditional epistemic norms, Friedman argues that the reasons supporting the turn are robust enough to warrant its revisionary implications. In this paper, I suggest we should read Friedman’s proposal (...) as a dilemma. Either we believe the zetetic turn is well-motivated and undertake the task of looking for the proper revision of our traditional epistemic norms, or we take the revisionary implications of the turn to be unacceptable, in which case our challenge is to show why a zetetic epistemology is not a well-motivated project after all. After presenting this dilemma, I make a case for endorsing its second horn by presenting a two-pronged argument against Friedman’s project. First, I show that the revisionary implications of the zetetic turn are more far-reaching than expected. Second, I defend that the most persuasive reasons for endorsing the turn are not strong enough to support it. Taken together, these considerations speak against accepting the zetetic turn and the revisionary implications that come with it. (shrink)

When people make sense of situations, illustrations, instructions and problems they do more than just think with their heads. They gesture, talk, point, annotate, make notes and so on. What extra do they get from interacting with their environment in this way? To study this fundamental problem, I looked at how people project structure onto geometric drawings, visual proofs, and games like tic tac toe. Two experiments were run to learn more about projection. Projection is a special capacity, similar to (...) perception, but less tied to what is in the environment. Projection, unlike pure imagery, requires external structure to anchor it, but it adds ‘mental’ structure to the external scene much like an augmented reality system adds structure to an outside scene. A person projects when they look at a chessboard and can see where a knight may be moved. Because of the cognitive costs of sustaining and extending projection, humans make some of their projections real. They create structure externally. They move the piece, they talk, point, notate, represent. Much of our interactivity during sense making and problem solving involves a cycle of projecting then creating structure. (shrink)

Implicit in our everyday attitudes and practices is the assumption that death ordinarily harms a person who dies. A far more contested matter is whether death harms sentient individuals who are not persons, a category that includes many animals and some human beings. On the basis of the deprivation account of the harm of death, I argue that death harms sentient nonpersons. I next consider possible bases for the commonsense judgment that death ordinarily harms persons more than it harms sentient (...) nonpersons. Contrary to what some philosophers believe, it is doubtful that the familiar resources of prudential value theory can vindicate this judgment. I show that the approach that at first glance seems most promising for supporting this judgment – namely, invoking an objective account of well-being – faces substantial challenges, before arguing that McMahan's time-relative interest account supplies the needed theoretical basis. I then go on to extract a significant practical implication of the first thesis, that death ordinarily harms sentient nonpersons: We should find a way to discontinue the routine killing of animal subjects following their use in experiments. (shrink)

Doxastic wronging is wronging that occurs in virtue of a belief. What epistemic significance, if any, does doxastic wronging have for the normativity of inquiry? Recently, some philosophers have defended views according to which doxastic wronging has an epistemic impact on the norms governing belief formation and revision. In this paper, I sketch a theory of the zetetic significance of doxastic wronging that denies its epistemic significance. In other words, although doxastic wronging is relevant to the normativity of inquiry, it (...) is irrelevant to the normativity of belief formation and revision. To defend this thesis, I sketch a framework for thinking about zetetic structure and I combine this framework with an independently attractive picture of epistemic normativity according to which answers to questions are to be settled in whatever way is best supported by the evidence. (shrink)

This is a review essay in English of Dietrich von Engelhardt’s new 2,000-page, four-volume project: 'Medizin in Romantik und Idealismus: Gesundheit und Krankheit in Leib und Seele, Natur und Kultur' (Medicine in Romanticism and Idealism: Health and Illness in Body and Soul, Nature and Culture). (Stuttgart-Bad Cannstatt: frommann-holzboog, 2023), 4 Vols., LII + 1964 pp.

Logical information theory is the quantitative version of the logic of partitions just as logical probability theory is the quantitative version of the dual Boolean logic of subsets. The resulting notion of information is about distinctions, differences and distinguishability and is formalized using the distinctions of a partition. All the definitions of simple, joint, conditional and mutual entropy of Shannon information theory are derived by a uniform transformation from the corresponding definitions at the logical level. The purpose of this paper (...) is to give the direct generalization to quantum logical information theory that similarly focuses on the pairs of eigenstates distinguished by an observable, i.e., qudits of an observable. The fundamental theorem for quantum logical entropy and measurement establishes a direct quantitative connection between the increase in quantum logical entropy due to a projective measurement and the eigenstates that are distinguished by the measurement. Both the classical and quantum versions of logical entropy have simple interpretations as “two-draw” probabilities for distinctions. The conclusion is that quantum logical entropy is the simple and natural notion of information for quantum information theory focusing on the distinguishing of quantum states. (shrink)

Modern categorical logic as well as the Kripke and topological models of intuitionistic logic suggest that the interpretation of ordinary “propositional” logic should in general be the logic of subsets of a given universe set. Partitions on a set are dual to subsets of a set in the sense of the category-theoretic duality of epimorphisms and monomorphisms—which is reflected in the duality between quotient objects and subobjects throughout algebra. If “propositional” logic is thus seen as the logic of subsets of (...) a universe set, then the question naturally arises of a dual logic of partitions on a universe set. This paper is an introduction to that logic of partitions dual to classical subset logic. The paper goes from basic concepts up through the correctness and completeness theorems for a tableau system of partition logic. (shrink)

When it comes to caring about and helping those in need, our imaginations tend to be weak and our motivation tends to be parochial. This is a major moral problem in view of how much unmet need there is in the world and how much material capacity there is to address that need. With this problem in mind, the present paper will focus on genetic means to the enhancement of a moral capacity—a disposition to altruism—and of a cognitive capacity that (...) facilitates use of the moral capacity: the ability to grasp vividly the needs of individuals who are unknown and not present. I will address two questions, with more extensive attention to the first question. First, assuming we had excellent reason to believe that the enhancements were safe, effective, and available to all who desired them, would seeking these enhancements be inherently morally acceptable—that is, free of inherent wrongness? Second, would it be wise for a society to pursue these enhancements? I will defend an affirmative answer to the first question while leaving the second question open. (shrink)

If we want to see justice done with regard to responsibility, then we must either (i) allow that people are never morally responsible, (iia) show that luck is not ubiquitous or at least that (iib) ubiquitous luck is not moral, or (iii) show that ascriptions of responsibility can retain justice despite the omnipresence of luck. This paper defends (iii); ascriptions of responsibility can be just even though luck is ubiquitous.

This essay aims to vindicate the thesis that cognitive computational properties are abstract objects implemented in physical systems. I avail of Voevodsky's Univalence Axiom and function type equivalence in Homotopy Type Theory, in order to specify an abstraction principle for epistemic (hyper-)intensions. The homotopic abstraction principle for epistemic (hyper-)intensions provides an epistemic conduit for our knowledge of (hyper-)intensions as abstract objects. Higher observational type theory might be one way to make first-order abstraction principles defined via inference rules, although not higher-order (...) abstraction principles, computable. The truth of my first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable i.e. Turing computable and the Turing machine being physically implementable. Epistemic modality and hyperintensionality can thus be shown to be both a compelling and a materially adequate candidate for the fundamental structure of mental representational states, comprising a fragment of the language of thought. (shrink)

An experiment was performed to test the hypothesis that people sometimes take physical actions to make themselves more effective problem solvers. The task was to generate all possible words that could be formed from seven Scrabble letters. In one condition, participants could use their hands to manipulate the letters, and in another condition, they could not. Results show that more words were generated with physical manipulation than without. However, an interaction was obtained between the physical manipulation conditions and the specific (...) letter sets chosen, indicating that physical manipulation helps more for generating words in some circumstances than in others. Overall, our findings can be explained in terms of an interactive search process in which external, physical activity effectively complements internal, cognitive activity. Within this framework, the interaction can be explained in terms of the relative difficulty of generating words from the letters given in the different sets. (shrink)

The purpose of this paper is to show that the mathematics of quantum mechanics is the mathematics of set partitions linearized to vector spaces, particularly in Hilbert spaces. That is, the math of QM is the Hilbert space version of the math to describe objective indefiniteness that at the set level is the math of partitions. The key analytical concepts are definiteness versus indefiniteness, distinctions versus indistinctions, and distinguishability versus indistinguishability. The key machinery to go from indefinite to more definite (...) states is the partition join operation at the set level that prefigures at the quantum level projective measurement as well as the formation of maximally-definite state descriptions by Dirac’s Complete Sets of Commuting Operators. This development is measured quantitatively by logical entropy at the set level and by quantum logical entropy at the quantum level. This follow-the-math approach supports the Literal Interpretation of QM—as advocated by Abner Shimony among others which sees a reality of objective indefiniteness that is quite different from the common sense and classical view of reality as being “definite all the way down”. (shrink)

Normative moral theories are frequently invoked to serve one of two distinct purposes: (1) explicate a criterion of rightness, or (2) provide an ethical decision-making procedure. Although a criterion of rightness provides a valuable theoretical ideal, proposed criteria rarely can be (nor are they intended to be) directly translated into a feasible decision-making procedure. This paper applies the computational framework of bounded rationality to moral decision-making to ask: how ought a bounded human agent make ethical decisions? We suggest agents ought (...) to follow moral maxims: principles that approximate rightness in many situations, but that can be overridden in specific, precisely describable circumstances. While this intuitive idea has been proposed many times before, we provide a precise model of how maxim consequentialism functions as an approximation to an act-consequentialist criterion of rightness, while maintaining the flexibility and defeasibility that has eluded most forms of rule consequentialism. Furthermore, while our overarching aim is to propose a new normative standard of moral decision-making, we demonstrate how maxim consequentialism can also function as a descriptive account of human behavior. We conclude by noting that different criteria of rightness may lead to different maxim-based ethics. (shrink)

Contemporary choreography offers a window onto creative processes that rely on harnessing the power of sensory sys- tems. Dancers use their body as a thing to think with and their sensory systems as engines to simulate ideas non- propositionally. We report here on an initial analysis of data collected in a lengthy ethnographic study of the making of a dance by a major choreographer and show how translating between different sensory modalities can help dancers and choreographer to be more creative.

The new logic of partitions is dual to the usual Boolean logic of subsets (usually presented only in the special case of the logic of propositions) in the sense that partitions and subsets are category-theoretic duals. The new information measure of logical entropy is the normalized quantitative version of partitions. The new approach to interpreting quantum mechanics (QM) is showing that the mathematics (not the physics) of QM is the linearized Hilbert space version of the mathematics of partitions. Or, putting (...) it the other way around, the math of partitions is a skeletal version of the math of QM. The key concepts throughout this progression from logic, to logical information, to quantum theory are distinctions versus indistinctions, definiteness versus indefiniteness, or distinguishability versus indistinguishability. The distinctions of a partition are the ordered pairs of elements from the underlying set that are in different blocks of the partition and logical entropy is defined (initially) as the normalized number of distinctions. The cognate notions of definiteness and distinguishability run throughout the math of QM, e.g., in the key non-classical notion of superposition (= ontic indefiniteness) and in the Feynman rules for adding amplitudes (indistinguishable alternatives) versus adding probabilities (distinguishable alternatives). (shrink)

This paper argues that the problematic of rule following in Wittgenstein's Philosophical Investigations and Heidegger's analysis of anxiety in Being and Time have analogous structures. Working through these analogies helps our interpretation of both of these authors. Contrasting sceptical and anti-sceptical readings of Wittgenstein helps us to resolve an interpretive puzzle about what an authentic response to anxiety looks like for Heidegger. And considering the importance of anxiety to Heidegger's conception of authenticity allows us to locate in Wittgenstein's later philosophy (...) a covert appeal to something resembling Heideggerian authenticity. (shrink)

Metacognition is associated with planning, monitoring, evaluating and repairing performance Designers of elearning systems can improve the quality of their environments by explicitly structuring the visual and interactive display of learning contexts to facilitate metacognition. Typically page layout, navigational appearance, visual and interactivity design are not viewed as major factors in metacognition. This is because metacognition tends to be interpreted as a process in the head, rather than an interactive one. It is argued here, that cognition and metacognition are part (...) of a continuum and that both are highly interactive. The tenets of this view are explained by reviewing some of the core assumptions of the situated and distribute approach to cognition and then further elaborated by exploring the notions of active vision, visual complexity, affordance landscape and cue structure. The way visual cues are structured and the way interaction is designed can make an important difference in the ease and effectiveness of cognition and metacognition. Documents that make effective use of markers such as headings, callouts, italics can improve students’ ability to comprehend documents and ‘plan’ the way they review and process content. Interaction can be designed to improve ‘the proximal zone of planning’ – the look ahead and apprehension of what is nearby in activity space that facilitates decisions. This final concept is elaborated in a discussion of how e-newspapers combine effective visual and interactive design to enhance user control over their reading experience. (shrink)

Volume 20, Issue 3, March 2020, Page 71-73.

Animal research has long been a source of biomedical aspirations and moral concern. Examples of both hope and concern are abundant today. In recent months, as is common practice, monkeys have served as test subjects in promising preclinical trials for an Ebola vaccine or treatment 1 , 2 , 3 and in controversial maternal deprivation studies. 4 The unresolved tension between the noble aspirations of animal research and the ethical controversies it often generates motivates the present issue of the Cambridge (...) Quarterly of Healthcare Ethics. As editors of this special section, we hope that these original and timely articles will push the professional discussion of animal research ethics in a positive direction that will benefi t research scientists and others interested in moral problems in animal research. We also look forward to a day when animal research will genuinely meet both appropriate scientifi c and appropriate ethical criteria—criteria that themselves can be improved by critical scrutiny. Animal research—that is, the use of live animals as experimental subjects in biomedical and behavioral fi elds of learning—has been deeply entrenched for well over half a century. One signal development was the enactment in the late 1930s of federal product safety legislation in the United States and other nations that required animal testing of food, drugs, and medical devices prior to use by human subjects or consumers. 5 Another development was the publication of codes of research ethics that called for animal research prior to human research. The Nuremberg Code, published by an American military tribunal in 1947–48 after scrutiny of Nazi medical atrocities, stated that experiments involving the use of human subjects should be " based on the results of animal experimentation. " 6 The Declaration of Helsinki, fi rst published in 1964, reaffi rmed this assumption and added, rather imprecisely, that " the welfare of animals used for research must be respected. " 7 Against the background of such statements, the institutionalization and widespread acceptance of animal research in the twentieth century rested on two basic assumptions, one factual and one moral. The factual assumption was that animal research is suffi ciently reliable as a basis for predicting the effects of drugs, products, and other materials on human beings that animal trials can be expected to yield signifi cant scientifi c conclusions and medical benefi ts to humanity. (shrink)