Suppose there are no in-principle restrictions on the contents of arbitrarily intelligent agents’ goals. According to “instrumental convergence” arguments, potentially scary things follow. I do two things in this paper. First, focusing on the influential version of the instrumental convergence argument due to Nick Bostrom, I explain why such arguments require an account of “promotion,” i.e., an account of what it is to “promote” a goal. Then, I consider whether extant accounts of promotion in the literature -- in particular, probabilistic (...) and fit-based views of promotion -- can be used to support dangerous instrumental convergence. I argue that neither account of promotion can do the work. The opposite is true: accepting either account of promotion undermines support for instrumental convergence arguments’ existentially worrying conclusions. The conclusion is that we needn’t be scared -- at least not because of arguments concerning instrumental convergence. (shrink)

We introduce and study a variety of modal logics of parallelism, orthogonality, and affine geometries, for which we establish several completeness, decidability and complexity results and state a number of related open, and apparently difficult problems. We also demonstrate that lack of the finite model property of modal logics for sufficiently rich affine or projective geometries (incl. the real affine and projective planes) is a rather common phenomenon.

This paper presents arguments from empirical research and from philosophical considerations to the effect that phenomenality and content are two distinct and independent features of mental representations, which are both relational. Thus, it is argued, classical arguments that infer phenomenality from content have to be rejected. Likewise, theories that try to explain the phenomenal character of experiences by appeal to specific types of content cannot succeed. Instead, a dynamic view of consciousness has to be adopted that seeks to explain consciousness (...) by certain ways of processing representations. Therefore, only empirical methods that are able to investigate the dynamics of the mind can be used for the “quest for consciousness” proper. Moreover, the central intuitions about consciousness are best explained when phenomenality and content are clearly distinguished. (shrink)

The standard argument to the conclusion that artificial intelligence (AI) constitutes an existential risk for the human species uses two premises: (1) AI may reach superintelligent levels, at which point we humans lose control (the ‘singularity claim’); (2) Any level of intelligence can go along with any goal (the ‘orthogonality thesis’). We find that the singularity claim requires a notion of ‘general intelligence’, while the orthogonality thesis requires a notion of ‘instrumental intelligence’. If this interpretation is correct, they (...) cannot be joined as premises and the argument for the existential risk of AI turns out invalid. If the interpretation is incorrect and both premises use the same notion of intelligence, then at least one of the premises is false and the orthogonality thesis remains itself orthogonal to the argument to existential risk from AI. In either case, the standard argument for existential risk from AI is not sound.—Having said that, there remains a risk of instrumental AI to cause very significant damage if designed or used badly, though this is not due to superintelligence or a singularity. (shrink)

FOURTH EUROPEAN CONGRESS OF MATHEMATICS STOCKHOLM,SWEDEN JUNE27 ­ - JULY 2, 2004 Contributed papers L. Carleson’s celebrated theorem of 1965 [1] asserts the pointwise convergence of the partial Fourier sums of square integrable functions. The Fourier transform has a formulation on each of the Euclidean groups R , Z and Τ .Carleson’s original proof worked on Τ . Fefferman’s proof translates very easily to R . M´at´e [2] extended Carleson’s proof to Z . Each of the statements of the theorem (...) can be stated in terms of a maximal Fourier multiplier theorem [5]. Inequalities for such operators can be transferred between these three Euclidean groups, and was done P. Auscher and M.J. Carro [3]. But L. Carleson’s original proof and another proofs very long and very complicated. We give a very short and very “simple” proof of this fact. Our proof uses PNSA technique only, developed in part I, and does not uses complicated technical formations unavoidable by the using of purely standard approach to the present problems. In contradiction to Carleson’s method, which is based on profound properties of trigonometric series, the proposed approach is quite general and allows to research a wide class of analogous problems for the general orthogonal series. (shrink)

Carleson’s celebrated theorem of 1965 [1] asserts the pointwise convergence of the partial Fourier sums of square integrable functions. The Fourier transform has a formulation on each of the Euclidean groups R , Z andΤ .Carleson’s original proof worked on Τ . Fefferman’s proof translates very easily to R . M´at´e [2] extended Carleson’s proof to Z . Each of the statements of the theorem can be stated in terms of a maximal Fourier multiplier theorem [5]. Inequalities for such operators (...) can be transferred between these three Euclidean groups, and was done P. Auscher and M.J. Carro [3]. But L. Carleson’s original proof and another proofs very long and very complicated. We give a very short and very “simple” proof of this fact. Our proof uses PNSA technique only, developed in part I, and does not uses complicated technical formations unavoidable by the using of purely standard approach to the present problems. In contradiction to Carleson’s method, which is based on profound properties of trigonometric series, the proposed approach is quite general and allows to research a wide class of analogous problems for the general orthogonal series. (shrink)

Alhazen problem of reflection at a concave spherical surface is one of the most discussed problems in optics. It was solved by Alhazen, The number of solution points vary from zero to a maximum of four. However, his solution is known to be prolix. Huygens solved the problem and identified the solution points to be points of intersection of the given circle and a hyperbola. Many other lines of attack were attempted with their solutions. New solutions are offered from time (...) to time. In this paper we offer a solution based on the criterion to be satisfied by reflection of a ray of light at a concave spherical surface. Based on that criterion we show that it is impossible for a circle containing both end points of the path of the ray inside it, to reflect rays from one point to the other. However, for every point on the given circle, we can construct two orthogonal circles (orthogonal conics in general) which reflect rays from one given point to the other, while the given circle is a non-reflector. (shrink)

The American political landscape exhibits significant polarization. People’s political beliefs cluster around two main camps. However, many of the issues with respect to which these two camps disagree seem to be rationally orthogonal. This feature raises an epistemic challenge for the political partisan. If she is justified in consistently adopting the party line, it must be true that her side is reliable on the issues that are the subject of disagreements. It would then follow that the other side is anti-reliable (...) with respect to a host of orthogonal political issues. Yet, it is difficult to find a psychologically plausible explanation for why one side would get things reliably wrong with respect to a wide range of orthogonal issues. While this project’s empirical discussion focuses on the US context, the argument generalizes to any situation where political polarization exists on a sufficiently large number of orthogonal claims. (shrink)

There are two distinct approaches to Bayesian modelling in cognitive science. Black-box approaches use Bayesian theory to model the relationship between the inputs and outputs of a cognitive system without reference to the mediating causal processes; while mechanistic approaches make claims about the neural mechanisms which generate the outputs from the inputs. This paper concerns the relationship between these two approaches. We argue that the dominant trend in the philosophical literature, which characterizes the relationship between black-box and mechanistic approaches to (...) Bayesian cognitive science in terms of the dichotomy between instrumentalism and realism, is misguided. We propose that the two distinctions are orthogonal: black-box and mechanistic approaches to Bayesian modelling can each be given either an instrumentalist or a realist interpretation. We argue that the current tendency to conflate black-box approaches with instrumentalism and mechanistic approaches with realism stems from unwarranted assumptions about the nature of scientific explanation, the ontological commitments of scientific theories, and the role of abstraction and idealization in scientific models. We challenge each of these assumptions to reframe the debates over Bayesian modelling in cognitive science. (shrink)

Epistemic defeat is standardly understood in either evidentialist or responsibilist terms. The seminal treatment of defeat is an evidentialist one, due to John Pollock, who famously distinguishes between undercutting and rebutting defeaters. More recently, an orthogonal distinction due to Jennifer Lackey has become widely endorsed, between so-called doxastic (or psychological) and normative defeaters. We think that neither doxastic nor normative defeaters, as Lackey understands them, exist. Both of Lackey’s categories of defeat derive from implausible assumptions about epistemic responsibility. Although Pollock’s (...) evidentialist view is superior, the evidentialism per se can be purged from it, leaving a general structure of defeat that can be incorporated in a reliabilist theory that is neither evidentialist nor responsibilist in any way. (shrink)

In having an experience one is aware of having it. Having an experience requires some form of access to one's own state, which distinguishes phenomenally conscious mental states from other kinds of mental states. Until very recently, Higher-Order (HO) theories were the only game in town aiming at offering a full-fledged account of this form of awareness within the analytical tradition. Independently of any objections that HO theories face, First/Same-Order (F/SO) theorists need to offer an account of such access to (...) become a plausible alternative. My aim in this paper is twofold. In the first place, I wish to widen the logical space of the discussion among theories of consciousness by offering a distinction, orthogonal to that between F/SO and HO theories, between what I will call 'Self-Involving' (SI) and 'Mental-State-Involving' (MSI) theories and argue in favor of the former one. In the second place, I will present the basics of a characterization of such a Self-Involving theory in Same-Order terms. (shrink)

This paper discusses an important puzzle about the semantics of indicative conditionals and deontic necessity modals (should, ought, etc.): the Miner Puzzle (Parfit, ms; Kolodny and MacFarlane, J Philos 107:115–143, 2010). Rejecting modus ponens for the indicative conditional, as others have proposed, seems to solve a version of the puzzle, but is actually orthogonal to the puzzle itself. In fact, I prove that the puzzle arises for a variety of sophisticated analyses of the truth-conditions of indicative conditionals. A comprehensive solution (...) requires rethinking the relationship between relevant information (what we know) and practical rankings of possibilities and actions (what to do). I argue that (i) relevant information determines whether considerations of value may be treated as reasons for actions that realize them and against actions that don’t, (ii) incorporating this normative fact requires a revision of the standard ordering semantics for weak (but not for strong) deontic necessity modals, and (iii) an off-the-shelf semantics for weak deontic necessity modals, due to von Fintel and Iatridou, which distinguishes “basic” and “higher-order” ordering sources, and interprets weak deontic necessity modals relative to both, is well-suited to this task. The prominence of normative considerations in our proposal suggests a more general methodological lesson: formal semantic analysis of natural language modals expressing normative concepts demands that close attention be paid to the nature of the underlying normative phenomena. (shrink)

This article is concerned with the alleged incompatibility between presentism and specious present theories of temporal experience. According to presentism, the present time is instantaneous (or, near-instantaneous), while according to specious present theories, the specious present is temporally extended—therefore, it seems that there is no room in reality for the whole of a specious present, if presentism is true. It seems then that one of the two claims—presentism or the specious present theory—has to go. I shall argue that this kind (...) of worries is mislead. Once we understand properly how our phenomenal experience as of passage and as of change, such as it is understood by specious present theorists, comes into being, the apparent phenomenologico-metaphysical conflict will disappear. In short, the mistake here is to presuppose that there is a link between phenomenology and metaphysics stronger than it actually is. Presentism is a metaphysical theory about what exists. Specious presentism is a phenomenological theory about how things appear to us in experience. As we will see, the two claims are not in conflict, and are in fact entirely orthogonal. (shrink)

In the contemporary discussions concerning unconscious perception it is not uncommon to postulate that content and phenomenal character are ‘orthogonal’, i.e., there is no type of content which is essentially conscious, but instead, every representational content can be either conscious or not. Furthermore, this is not merely treated as a thesis justified by theoretical investigations, but as supported by empirical considerations concerning the actual functioning of the human cognition. In this paper, I address unconscious color perception and argue for a (...) negative thesis—that the main experimental paradigms used in studying unconscious color perception do not provide support for the position that conscious and unconscious color representations have the same type of content. More specifically, I claim that there is no significant support for the claim that unconscious vision categorically represents surface colors. (shrink)

Buck-passers about value accept two theses about value, a negative thesis and a positive. The negative thesis is that the fact that something is valuable is not itself a reason to promote or appreciate it. The positive thesis is that the fact that something is valuable consists in the fact that there are other reasons to promote or appreciate it. Buck-passers suppose that the negative thesis follows from the positive one, and sometimes insist on it as if it is the (...) central part of their view. But as I'll explain here, what we say about the negative thesis is orthogonal to what we say about the positive one. (shrink)

The aim of this article is to identify the strongest evolutionary debunking argument against moral realism and to assess on which empirical assumptions it relies. In the recent metaethical literature, several authors have de-emphasized the evolutionary component of EDAs against moral realism: presumably, the success or failure of these arguments is largely orthogonal to empirical issues. I argue that this claim is mistaken. First, I point out that Sharon Street’s and Michael Ruse’s EDAs both involve substantive claims about the evolution (...) of our moral judgments. Next, I argue that combining their respective evolutionary claims can help debunkers to make the best empirical case against moral realism. Some realists have argued that the very attempt to explain the contents of our endorsed moral judgments in evolutionary terms is misguided, and have sought to escape EDAs by denying their evolutionary premise. But realists who pursue this reply can still be challenged on empirical grounds: debunkers may argue that the best, scientifically informed historical explanations of our moral endorsements do not involve an appeal to mind-independent truths. I conclude, therefore, that the empirical considerations relevant for the strongest empirically driven argument against moral realism go beyond the strictly evolutionary realm; debunkers are best advised to draw upon other sources of genealogical knowledge as well. (shrink)

The presence of symmetries in physical theories implies a pernicious form of underdetermination. In order to avoid this theoretical vice, philosophers often espouse a principle called Leibniz Equivalence, which states that symmetry-related models represent the same state of affairs. Moreover, philosophers have claimed that the existence of non-trivial symmetries motivates us to accept the Invariance Principle, which states that quantities that vary under a theory’s symmetries aren’t physically real. Leibniz Equivalence and the Invariance Principle are often seen as part of (...) the same package. I argue that this is a mistake: Leibniz Equivalence and the Invariance Principle are orthogonal to each other. This means that it is possible to hold that symmetry-related models represent the same state of affairs whilst having a realist attitude towards variant quantities. Various arguments have been presented in favour of the Invariance Principle: a rejection of the Invariance Principle is inter alia supposed to cause indeterminism, undetectability or failure of reference. I respond that these arguments at best support Leibniz Equivalence. (shrink)

We have a variety of different ways of dividing up, classifying, mapping, sorting and listing the objects in reality. The theory of granular partitions presented here seeks to provide a general and unified basis for understanding such phenomena in formal terms that is more realistic than existing alternatives. Our theory has two orthogonal parts: the first is a theory of classification; it provides an account of partitions as cells and subcells; the second is a theory of reference or intentionality; it (...) provides an account of how cells and subcells relate to objects in reality. We define a notion of well-formedness for partitions, and we give an account of what it means for a partition to project onto objects in reality. We continue by classifying partitions along three axes: (a) in terms of the degree of correspondence between partition cells and objects in reality; (b) in terms of the degree to which a partition represents the mereological structure of the domain it is projected onto; and (c) in terms of the degree of completeness with which a partition represents this domain. (shrink)

Despite their success in describing and predicting cognitive behavior, the plausibility of so-called ‘rational explanations’ is often contested on the grounds of computational intractability. Several cognitive scientists have argued that such intractability is an orthogonal pseudoproblem, however, since rational explanations account for the ‘why’ of cognition but are agnostic about the ‘how’. Their central premise is that humans do not actually perform the rational calculations posited by their models, but only act as if they do. Whether or not the problem (...) of intractability is solved by recourse to ‘as if’ explanations critically depends, inter alia, on the semantics of the ‘as if’ connective. We examine the five most sensible explications in the literature, and conclude that none of them circumvents the problem. As a result, rational ‘as if’ explanations must obey the minimal computational constraint of tractability. (shrink)

Debates about modularity invariably involve a crucial premise about how visual illusions are experienced. This paper argues that these debates are wrongheaded, and that experience of illusions is orthogonal to the core issue of the modularity hypothesis: informational encapsulation.

We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting to embeddings, (...) semantic arguments, or interpreted connectives external to the underlying logical language. A novel feature of our proof includes an orthogonality condition for defining duality between interpolants. (shrink)

Modal logic is one of philosophy’s many children. As a mature adult it has moved out of the parental home and is nowadays straying far from its parent. But the ties are still there: philosophy is important to modal logic, modal logic is important for philosophy. Or, at least, this is a thesis we try to defend in this chapter. Limitations of space have ruled out any attempt at writing a survey of all the work going on in our field—a (...) book would be needed for that. Instead, we have tried to select material that is of interest in its own right or exemplifies noteworthy features in interesting ways. Here are some themes that have guided us throughout the writing: • The back-and-forth between philosophy and modal logic. There has been a good deal of give-and-take in the past. Carnap tried to use his modal logic to throw light on old philosophical questions, thereby inspiring others to continue his work and still others to criticise it. He certainly provoked Quine, who in his turn provided—and continues to provide—a healthy challenge to modal logicians. And Kripke’s and David Lewis’s philosophies are connected, in interesting ways, with their modal logic. Analytic philosophy would have been a lot different without modal logic! • The interpretation problem. The problem of providing a certain modal logic with an intuitive interpretation should not be conflated with the problem of providing a formal system with a model-theoretic semantics. An intuitively appealing model-theoretic semantics may be an important step towards solving the interpretation problem, but only a step. One may compare this situation with that in probability theory, where definitions of concepts like ‘outcome space’ and ‘random variable’ are orthogonal to questions about “interpretations” of the concept of probability. • The value of formalisation. Modal logic sets standards of precision, which are a challenge to—and sometimes a model for—philosophy. Classical philosophical questions can be sharpened and seen from a new perspective when formulated in a framework of modal logic. On the other hand, representing old questions in a formal garb has its dangers, such as simplification and distortion. • Why modal logic rather than classical (first or higher order) logic? The idioms of modal logic—today there are many!—seem better to correspond to human ways of thinking than ordinary extensional logic. (Cf. Chomsky’s conjecture that the NP + VP pattern is wired into the human brain.) In his An Essay in Modal Logic (1951) von Wright distinguished between four kinds of modalities: alethic (modes of truth: necessity, possibility and impossibility), epistemic (modes of being known: known to be true, known to be false, undecided), deontic (modes of obligation: obligatory, permitted, forbidden) and existential (modes of existence: universality, existence, emptiness). The existential modalities are not usually counted as modalities, but the other three categories are exemplified in three sections into which this chapter is divided. Section 1 is devoted to alethic modal logic and reviews some main themes at the heart of philosophical modal logic. Sections 2 and 3 deal with topics in epistemic logic and deontic logic, respectively, and are meant to illustrate two different uses that modal logic or indeed any logic can have: it may be applied to already existing (non-logical) theory, or it can be used to develop new theory. (shrink)

An ongoing debate in the philosophy of emotion concerns the relationship between two prima facie aspects of emotional states. The first is affective: felt and/or motivational. The second, which I call object-identifying, represents whatever the emotion is about or directed towards. “Componentialists” – such as R. S. Lazarus, Jesse Prinz, and Antonio Damasio – assume that an emotion’s object-identifying aspect can have the same representational content as a non-emotional state’s, and that it is psychologically separable or dissociable from the emotion’s (...) affective aspect. Some further hold that emotions have no object-identifying aspects of their own, and can properly be said to be about things only in virtue of their associations with other mental states (such as beliefs or perceptions). By contrast, “blenderists” – such as Peter Goldie, York Gunther, and Matthew Ratcliffe – insist that the two aspects are indissociable, because the affective aspect “infuses” the object-identifying aspect, altering the subject’s concept or percept of the object. As a result, an emotion’s object-identifying aspect cannot possibly have the same representational content as any non-emotional state’s. I argue that the strongest blenderist arguments fail to rule out plausible componentialist alternatives, and that the blenderists’ broader motivations are orthogonal to structural issues. (shrink)

Our politics are increasingly polarised. Polarisation takes many forms. One is increasing clustering or 'ideological consistency,' whereby people hold down-the-line liberal or down-the-line conservative views on a wide range of political issues, even when those issues are orthogonal to each other. Some philosophers think that such clustering is indicative of irrationality, and so if you find yourself in one of several clusters of opinion, you should decrease your confidence that all your political beliefs are true. I argue that the reverse (...) is true, presenting a simple model of belief-formation on which finding yourself in one of several clusters of opinion on orthogonal issues should increase, rather than decrease, your confidence that all your beliefs are true. (shrink)

Dualism holds that experiences and physical states are distinct in that neither sort of state is identical with or grounded in the other. Cognitive phenomenal realism holds that cognitive experiences are irreducible to sensory experiences. While dualism and cognitive phenomenal realism are logically orthogonal and usually discussed separately, I argue that dualism’s plausibility is sensitive to whether cognitive phenomenal realism is true. In particular, I argue that if cognitive phenomenal realism is true, then it bolsters the case for dualism via (...) a cognitive knowledge argument that has several advantages over the standard sensory knowledge argument. (shrink)

We present an elementary system of axioms for the geometry of Minkowski spacetime. It strikes a balance between a simple and streamlined set of axioms and the attempt to give a direct formalization in first-order logic of the standard account of Minkowski spacetime in Maudlin and Malament. It is intended for future use in the formalization of physical theories in Minkowski spacetime. The choice of primitives is in the spirit of Tarski : a predicate of betwenness and a four place (...) predicate to compare the square of the relativistic intervals. Minkowski spacetime is described as a four dimensional ‘vector space’ that can be decomposed everywhere into a spacelike hyperplane—which obeys the Euclidean axioms in Tarski and Givant, 175–214 1999)—and an orthogonal timelike line. The length of other ‘vectors’ are calculated according to Pythagoras’ theorem. We conclude with a Representation Theorem relating models \ of our system \ that satisfy second order continuity to the mathematical structure \, called ‘Minkowski spacetime’ in physics textbooks. (shrink)

As engineering applications require management of ever larger volumes of data, ontologies offer the potential to capture, manage, and augment data with the capability for automated reasoning and semantic querying. Unfortunately, considerable barriers hinder wider deployment of ontologies in engineering. Key among these is lack of a shared top-level ontology to unify and organise disparate aspects of the field and coordinate co-development of orthogonal ontologies. As a result, many engineering ontologies are limited to their scope, and functionally difficult to extend (...) or interoperate with other engineering ontologies. This paper demonstrates how the use of a top-level ontology, specifically the Basic Formal Ontology (BFO), greatly facilitates interoperability of multiple engineering-related ontologies. We constructed a system of formal linked ontologies by re-engineering legacy ontologies to be conformant with BFO and developing new BFO-conformant ontologies to capture knowledge in the engineering design, enterprise, human factors, manufacturing, and application domain of additive manufacturing. The resulting Integrated Framework for Additively Manufactured Products (IFAMP), including the body knowledge instantiated on its basis, serve as the basis for a proposed Design with Additive Manufacturing Method (DWAM), which we believe can support the design of innovative products with semantically enhanced ideation tools and enhanced access to application domain knowledge. The method and its facilitation through the ontological framework are demonstrated using a case study in medicine. (shrink)

This article began as a review of a conference, organized by Gerhard Schlosser, entitled “Modularity in Development and Evolution.” The conference was held at, and sponsored by, the Hanse Wissenschaftskolleg in Delmenhorst, Germany in May, 2000. The article subsequently metamorphosed into a literature and concept review as well as an analysis of the differences in current perspectives on modularity. Consequently, I refer to general aspects of the conference but do not review particular presentations. I divide modules into three kinds: structural, (...) developmental, and physiological. Every module fulfills none, one, or multiple functional roles. Two further orthogonal distinctions are important in this context: module-kinds versus module-variants-of-a-kind and reproducer versus nonreproducer modules. I review criteria for individuation of modules and mechanisms for the phylogenetic origin of modularity. I discuss conceptual and methodological differences between developmental and evolutionary biologists, in particular the difference between integration and competition perspectives on individualization and modular behavior. The variety in views regarding modularity presents challenges that require resolution in order to attain a comprehensive, rather than a piecemeal and fragmentary, evolutionary developmental biology. (shrink)

The premise of biological modularity is an ontological claim that appears to come out of practice. We understand that the biological world is modular because we can manipulate different parts of organisms in ways that would only work if there were discrete parts that were interchangeable. This is the foundation of the BioBrick assembly method widely used in synthetic biology. It is one of a number of methods that allows practitioners to construct and reconstruct biological pathways and devices using DNA (...) libraries of standardized parts with known functions. In this paper, we investigate how the practice of synthetic biology reconfigures biological understanding of the key concepts of modularity and evolvability. We illustrate how this practice approach takes engineering knowledge and uses it to try to understand biological organization by showing how the construction of functional parts and processes can be used in synthetic experimental evolution. We introduce a new approach within synthetic biology that uses the premise of a parts-based ontology together with that of organismal self-organization to optimize orthogonal metabolic pathways in E. coli. We then use this and other examples to help characterize semisynthetic categories of modularity, parthood, and evolvability within the discipline. (shrink)

I argue that Nietzsche’s criticism of the Kantian theory of disinterested pleasure in beauty reflects his own commitment to claims that closely resemble certain Kantian aesthetic principles, specifically as reinterpreted by Schiller. I show that Schiller takes the experience of beauty to be disinterested both (1) insofar as it involves impassioned ‘play’ rather than desire-driven ‘work’, and (2) insofar as it involves rational-sensuous (‘aesthetic’) play rather than mere physical play. In figures like Nietzsche, Schiller’s generic notion of play—which is itself (...) influenced by Kant’s claim that aesthetic pleasure is orthogonal to desire-satisfaction—becomes decoupled from his (further) Kantian view that aesthetic play essentially involves a harmony of sensuous receptivity and rational spontaneity. The result, I suggest, is a self-standing opposition between desires and passions. This motivates a recognizably Romantic vision of aesthetic disinterestedness, as freedom from desire realized in a state of creative determination by passion. (shrink)

While calls to integrate ethics into computer science education go back decades, recent high-profile ethical failures related to computing technology by large technology companies, governments, and academic institutions have accelerated the adoption of computer ethics education at all levels of instruction. Discussions of how to integrate ethics into existing computer science programmes often focus on the structure of the intervention—embedded modules or dedicated courses, humanists or computer scientists as ethics instructors—or on the specific content to be included—lists of case studies (...) and essential topics to cover. While proponents of computer ethics education often emphasize the importance of closely connecting ethical and technical content in these initiatives, most do not reflect in depth on the variety of ways in which the disciplines can be combined. In this paper, I deploy a framework from cross- disciplinary studies that categorizes academic projects that work across disciplines as multidisciplinary, interdisciplinary, or transdisciplinary, depending on the degree of integration. When applied to computer ethics education, this framework is orthogonal to the structure and content of the initiative, as I illustrate using examples of dedicated ethics courses and embedded modules. It therefore highlights additional features of cross-disciplinary teaching that need to be considered when planning a computer ethics programme. I argue that computer ethics education should aim to be at least interdisciplinary—multidisciplinary initiatives are less aligned with the pedagogical aims of computer ethics—and that computer ethics educators should experiment with fully transdisciplinary education that could transform computer science as a whole for the better. (shrink)

Perception of time is susceptible to distortions; among other factors, it has been suggested that the perceived duration of a stimulus is affected by the observer’s expectations. It has been hypothesized that the duration of an oddball stimulus is overestimated because it is unexpected, whereas repeated stimuli have a shorter perceived duration because they are expected. However, recent findings suggest instead that fulfilled expectations about a stimulus elicit an increase in perceived duration, and that the oddball effect occurs because the (...) oddball is a target stimulus, not because it is unexpected. Therefore, it has been suggested that top-down attention is sometimes sufficient to explain this effect, and sometimes only necessary, with an additional contribution from saliency. However, how the expectedness of a target stimulus and its salient features affect its perceived duration is still an open question. In the present study, participants’ expectations about and the saliency of target stimuli were orthogonally manipulated with stimuli presented on a short (Experiment 1) or long (Experiment 2) temporal scale. Four repetitive standard stimuli preceded each target stimulus in a task in which participants judged whether the target was longer or shorter in duration than the standards. Engagement of top-down attention to target stimuli increased their perceived duration to the same extent irrespective of their expectedness. A small but significant additional contribution to this effect from the saliency of target stimuli was dependent on the temporal scale of stimulus presentation. In Experiment 1, saliency only significantly increased perceived duration in the case of expected target stimuli. In contrast, in Experiment 2, saliency exerted a significant effect on the overestimation elicited by unexpected target stimuli, but the contribution of this variable was eliminated in the case of expected target stimuli. These findings point to top-down attention as the primary cognitive mechanism underlying the perceptual extraction and processing of task-relevant information, which may be strongly correlated with perceived duration. Furthermore, the scalar properties of timing were observed, favoring the pacemaker-accumulator model of timing as the underlying timing mechanism. (shrink)

Perceivers generally show a poor ability to detect changes, a condition referred to as “Change Blindness” . They are, in addition, “blind to their own blindness”. A common explanation of this “Change Blindness Blindness” is that it derives from an inadequate, “photographical” folk-theory about perception. This explanation, however, does not account for intra-individual variations of CBB across trials. Our study aims to explore an alternative theory, according to which participants base their self-evaluations on two activity-dependent cues, namely search time and (...) perceived success in prior trials. These cues were found to influence self-evaluation in two orthogonal ways: success-feedback influenced self-evaluation in a global, contextual way, presumably by recalibrating the norm of adequacy for the task. Search time influenced it in a local way, predicting the success of a given trial from its duration. (shrink)

Graham Harman writes that the “basic dualism in the world lies…between things in their intimate reality and things as confronted by other things.” However, dualism implies irreconcilable difference; what Harman points to is better expressed as a dyad, where the two components imply one another and interact. This article shows that systems theory has long asserted the fundamental character of Harman’s dyad, expressing it as the union of internal structure and external function, which correspond exactly to what Levi Bryant, characterizing (...) Harman’s views, refers to as the intra-ontic and the inter-ontic, respectively. After interpreting Harman’s dyad in terms of the ontology of systems theory, the article illustrates his dyad with a variety of examples, including conceptions about truth, ethics, value, and intelligence. The structure–function dyad is a spatial conception of a system as an object. It is usefully augmented with a temporal dimension, expressed in a third component or with an additional orthogonal dyad. Adding a temporal dyad to the structure–function dyad joins the idea of an event and/or process to the idea of an object. (shrink)

Drawing upon a distinction between epistemically and metaphysically motivated notions of a concept, I consider the insurmountable problems of theories that appeal to our epistemic capacities to address the problem of the nature of concepts satisfactorily. Prominent theories of concepts hold that primitive concepts must have internal structure if they are to account for the explanatory functions that cognitive scientists have attributed to such constructs as prototypes, exemplars, and theories. Vindicating the role of non-experimental philosophy in the critical examination of (...) empirical theories, I argue that the explanatory effectiveness of those constructs is orthogonal to an argument concerning the structure of primitive concepts. Conceptual atomism provides an alternative approach to individuating primitive concepts the precise formulation of which has yet to be worked out. Despite its unpopularity, the atomist alternative is still in a better position to face the question of what concepts are than its competitors. (shrink)

Plants from a handful of species provide the primary source of food for all people, yet this source is vulnerable to multiple stressors, such as disease, drought, and nutrient deficiency. With rapid population growth and climate uncertainty, the need to produce crops that can tolerate or resist plant stressors is more crucial than ever. Traditional plant breeding methods may not be sufficient to overcome this challenge, and methods such as highOthroughput sequencing and automated scoring of phenotypes can provide significant new (...) insights. Ontologies are essential tools for accessing and analysing the large quantities of data that come with these newer methods. As part of a larger project to develop ontologies that describe plant phenotypes and stresses, we are developing a plant disease extension of the Infectious Disease Ontology (IDOPlant). The IDOPlant is envisioned as a reference ontology designed to cover any plant infectious disease. In addition to novel terms for infectious diseases, IDOPlant includes terms imported from other ontologies that describe plants, pathogens, and vectors, the geographic location and ecology of diseases and hosts, and molecular functions and interactions of hosts and pathogens. To encompass this range of data, we are suggesting inOhouse ontology development complemented with reuse of terms from orthogonal ontologies developed as part of the Open Biomedical Ontologies (OBO) Foundry. The study of plant diseases provides an example of how an ontological framework can be used to model complex biological phenomena such as plant disease, and how plant infectious diseases differ from, and are similar to, infectious diseases in other organism. (shrink)

An often-overlooked characteristic of the human mind is its propensity to wander. Despite growing interest in the science of mind-wandering, most studies operationalize mind-wandering by its task-unrelated contents. But these contents may be orthogonal to the processes that determine how thoughts unfold over time, remaining stable or wandering from one topic to another. In this chapter, we emphasize the importance of incorporating such processes into current definitions of mind-wandering, and propose that mind-wandering and other forms of spontaneous thought (such as (...) dreaming and creativity) are mental states that arise and transition relatively freely due to an absence of constraints on cognition. We review existing psychological, philosophical and neuroscientific research on spontaneous thought through the lens of this framework, and call for additional research into the dynamic properties of the mind and brain. (shrink)

The alignment problem in the context of large language models must consider the plurality of human values in our world. Whilst there are many resonant and overlapping values amongst the world’s cultures, there are also many conflicting, yet equally valid, values. It is important to observe which cultural values a model exhibits, particularly when there is a value conflict between input prompts and generated outputs. We discuss how the co- creation of language and cultural value impacts large language models (LLMs). (...) We explore the constitution of the training data for GPT-3 and compare that to the world’s language and internet access demographics, as well as to reported statistical profiles of dominant values in some Nation-states. We stress tested GPT-3 with a range of value-rich texts representing several languages and nations; including some with values orthogonal to dominant US public opinion as reported by the World Values Survey. We observed when values embedded in the input text were mutated in the generated outputs and noted when these conflicting values were more aligned with reported dominant US values. Our discussion of these results uses a moral value pluralism (MVP) lens to better understand these value mutations. Finally, we provide recommendations for how our work may contribute to other current work in the field. (shrink)

Here I will put forward a claim about rhythm – that rhythm is relation. To develop this I will explore the entanglement of and antagonism between two notions of the musical avant-garde and its theorization. The first of these is derived from the European classical tradition, the second concerns Afrodiasporic musical practices. This essay comes in two parts. The first will consider some music-theoretical and philosophical ideas about rhythm in the post-classical avant-garde. Here I will explore how these ideas have (...) been used to, on one hand, stage a critique of Afrodiasporic musics, and specifically jazz, and, on the other hand, diminish and obscure the relation between the post-classical and Afrodiasporic avant-gardes. In the second part I will develop another lineage of rhythm, orthogonal to that of the post-classical avant-garde. Drawing from philosophy and Afrocentric, Afromodernist and, finally, Afrofuturist theory, I will map a theoretical move from rhythm understood, in its post-classical guise, as an exclusive and strictly musical category, to rhythm understood as an inclusive and plural category. This likewise charts a passage from an aesthetically autonomous understanding of objects of art to social and collective forms of artistic practice. (shrink)

Feynman's sum-over-histories formulation of quantum mechanics has been considered a useful calculational tool in which virtual Feynman histories entering into a coherent quantum superposition cannot be individually measured. Here we show that sequential weak values, inferred by consecutive weak measurements of projectors, allow direct experimental probing of individual virtual Feynman histories, thereby revealing the exact nature of quantum interference of coherently superposed histories. Because the total sum of sequential weak values of multitime projection operators for a complete set of orthogonal (...) quantum histories is unity, complete sets of weak values could be interpreted in agreement with the standard quantum mechanical picture. We also elucidate the relationship between sequential weak values of quantum histories with different coarse graining in time and establish the incompatibility of weak values for nonorthogonal quantum histories in history Hilbert space. Bridging theory and experiment, the presented results may enhance our understanding of both weak values and quantum histories. (shrink)

The dichotomy between the research to generate knowledge and the application of that knowledge to benefit mankind seems to be a recent development. In fact, more than 100 years ago Louis Pasteur avoided this debate altogether: one of his major, yet forgotten, contributions to science was the insight that research and its applications are not opposed, but orthogonal to each other (Stokes, 1997). If Niels Bohr ‘invented’ basic academic research—which was nevertheless the basis for many technological inventions and industrial applications—Pasteur (...) developed what we might call ‘motivated’ research. -/- How is research motivated and by what? By definition, scientists are citizens and members of the general public and, like the public, they are motivated by two forces: on the one hand, in Rudyard Kipling's words, “man's insatiable curiosity”; on the other hand, a desire for maintaining and improving their well‐being. These are not contradictory to one another; curiosity nourishes dreams of a brighter future and leads to discoveries that contribute to well‐being. (shrink)

Within contemporary philosophy of mind, it is taken for granted that externalist accounts of meaning and mental content are, in principle, orthogonal to the matter of whether cognition itself is bound within the biological brain or whether it can constitutively include parts of the world. Accordingly, Clark and Chalmers (1998) distinguish these varieties of externalism as ‘passive’ and ‘active’ respectively. The aim here is to suggest that we should resist the received way of thinking about these dividing lines. With reference (...) to Brandom’s (1994; 2000; 2008) broad semantic inferentialism, we show that a theory of meaning can be at the same time a variety of active externalism. While we grant that supporters of other varieties of content externalism (e.g., Putnam 1975 and Burge 1986) can deny active externalism, this is not an option for semantic inferentialists: On this latter view, the role of the environment (both in its social and natural form) is not ‘passive’ in the sense assumed by the alternative approaches to content externalism. (shrink)

It is natural to think that the badness of false belief explains the badness of lying. In this paper, I argue against this: I argue that the badness of false belief does not explain the badness of lying and that, given a popular account of the badness of lying, the badness of false belief is orthogonal to the badness of lying.

This chapter argues that governments have a duty to take reasonably effective and humane steps to minimize the occurrence of unauthorized migration and stay. While the effects of unauthorized migration on a country’s citizens and institutions have been vigorously debated, the literature has largely ignored duties of fairness to would-be immigrants. It is argued here that failing to take reasonable steps to prevent unauthorized migration and stay is deeply unfair to would-be immigrants who are not in a position to bypass (...) visa regulations. Importantly, the argument here is orthogonal to the debate as to how much and what kinds of immigration ought to be allowed. (shrink)

This dissertation examines aspects of the interplay between computing and scientific practice. The appropriate foundational framework for such an endeavour is rather real computability than the classical computability theory. This is so because physical sciences, engineering, and applied mathematics mostly employ functions defined in continuous domains. But, contrary to the case of computation over natural numbers, there is no universally accepted framework for real computation; rather, there are two incompatible approaches --computable analysis and BSS model--, both claiming to formalise algorithmic (...) computation and to offer foundations for scientific computing. -/- The dissertation consists of three parts. In the first part, we examine what notion of 'algorithmic computation' underlies each approach and how it is respectively formalised. It is argued that the very existence of the two rival frameworks indicates that 'algorithm' is not one unique concept in mathematics, but it is used in more than one way. We test this hypothesis for consistency with mathematical practice as well as with key foundational works that aim to define the term. As a result, new connections between certain subfields of mathematics and computer science are drawn, and a distinction between 'algorithms' and 'effective procedures' is proposed. -/- In the second part, we focus on the second goal of the two rival approaches to real computation; namely, to provide foundations for scientific computing. We examine both frameworks in detail, what idealisations they employ, and how they relate to floating-point arithmetic systems used in real computers. We explore limitations and advantages of both frameworks, and answer questions about which one is preferable for computational modelling and which one for addressing general computability issues. -/- In the third part, analog computing and its relation to analogue (physical) modelling in science are investigated. Based on some paradigmatic cases of the former, a certain view about the nature of computation is defended, and the indispensable role of representation in it is emphasized and accounted for. We also propose a novel account of the distinction between analog and digital computation and, based on it, we compare analog computational modelling to physical modelling. It is concluded that the two practices, despite their apparent similarities, are orthogonal. (shrink)

Susanna Rinard aims to show that it is possible to rationally persuade an external world skeptic to reject external world skepticism. She offers an argument meant to convince a skeptic who accepts her views on “several orthogonal issues in epistemology” to give up their external world skepticism. While I agree with Rinard that it is possible to reason with a skeptic, I argue that Rinard overlooks a variety of good epistemic grounds a skeptic could appeal to in rejecting her argument (...) and its conclusion. More specifically, I argue that the external world skeptic can resist Rinard’s conclusion by (1) distinguishing between skepticism about knowledge and skepticism about justification, (2) by prioritizing obtaining accurate beliefs (maximizing true beliefs and minimizing false beliefs) over being rational, or (3) by treating suspension of judgment as the default rational doxastic attitude. (shrink)

I distinguish two ways an ability might be general: (i) an ability might be general in that its possession doesn't entail the possession of an opportunity; (ii) an ability might be general in virtue of pertaining to a wide range of circumstances. I argue that these two types of generality – I refer to them with the terms ‘general’ and ‘generic’, respectively – produce two orthogonal distinctions among abilities. I show that the two types of generality are sometimes run together (...) by those writing on free will and argue that both types of generality are relevant to understanding the modality of abilities. (shrink)

We study active set methods for optimization problems in Block Angular Form (BAF). We begin by reviewing some standard basis factorizations, including Saunders' orthogonal factorization and updates for the simplex method that do not impose any restriction on the pivot sequence and maintain the basis factorization structured in BAF throughout the algorithm. We then suggest orthogonal factorization and updating procedures that allow coarse grain parallelization, pivot updates local to the affected blocks, and independent block reinversion. A simple parallel environment appropriate (...) to the description and complexity analysis of test procedures is defined in Section 5. The factorization and updating procedures are presented in Sections 6 and 7. Our update procedure outperforms conventional Updating procedures even in a purely sequential environment. (shrink)

Contemporary accounts on fictional emotions, i.e., emotions experienced towards objects we know to be fictional, are mainly concerned with explaining their rationality or lack thereof. In this context dominated by an interest in the role of belief, questions regarding their phenomenal quality have received far less attention: it is often assumed that they feel “similar” to emotions that target real objects. Against this background, this paper focuses on the possible specificities of fictional emotions’ qualitative feel. It starts by presenting what (...) I call the “phenomenological question” about the qualitative feel of fictional emotions (section 1) and by showing that this is irreducible to questions about their cognitive, intentional, evaluative, and embodied nature (section 2). Drawing on some insights from early phenomenologists, the next two sections elaborate criteria to distinguish between real and sham emotions on the one side (section 3) and between genuine and non-genuine emotions on the other (section 4). Finally, I apply this orthogonal distinction to the particular case of fictional emotions (section 5). The paper argues that fictional emotions are neither sham emotions nor quasi-emotions, but full-fledged emotional experiences, despite them displaying the distinctive phenomenology of emotions experienced as non-genuine. In the particular case of fictional emotions, they are non-genuine because our psychology is in fact in a state dominated by aesthetic enjoyment. (shrink)

Disaster response requires the cooperation of multiple emergency responder organizations (EROs). However, after‐action reports relating to large‐scale disasters identity communication difficulties among EROs as a major hindrance to collaboration. On the one hand, the use of two‐radio communication, based on multiple orthogonal frequencies and uneven coverage, has been shown to degrade inter‐organization communication. On the other hand, because they reflect different areas of expertise, EROs use differing terminologies, which are difficult to reconcile. These issues lead to ambiguities, misunderstandings, and inefficient (...) exchange of data and information among those involved, which can impede the response process and slow decision making. We, therefore, hypothesize that promoting semantic interoperability across ERO information systems might improve information exchange among stakeholders and thereby allow a more coherent response to the disaster. We propose an ontology‐based messaging service on the basis of the Emergency Data Exchange Language (EDXL) standards. The parties involved will continue to use the terminologies to which they are accustomed, but the system will resolve inconsistencies and thereby enhance mutual understanding among EROs by ensuring semantic translation of the exchanged information. The evaluation of the semantic translation demonstrated the effectiveness and accuracy of the proposed service. (shrink)