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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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 2012] and [Malament, unpublished]. 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 1959]: 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, 1999] - and an orthogonal timelike line. The length of other ‘vectors’ are calculated according to Pythagora’s 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)

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)

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)

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.

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)

Abstract (for the combined three Parts) This paper presents the simplest known theory of processes involved in a person’s unconscious and conscious achievements such as intending, perceiving, reacting and thinking. The basic principle is that an individual has mental states which possess quantitative causal powers and are susceptible to influences from other mental states. Mental performance discriminates the present level of a situational feature from its level in an individually acquired, multiple featured norm (exemplar, template, standard). The effect on output (...) of a moderate disparity between input and norm is scaled in a universal unit of discrimination (Weber’s fraction), with the norm’s level being zero. When one process converts separate sources of input into an output, their discriminative distances from norm are summated. Distinct processes converging on an output combine their discriminations from norm orthogonally. An output may be influenced by the constructs of other outputs as well as by inputs. Descriptive performance is the influence of one category of input on a verbal output. Reasoning is minimally the effect of one verbal process on another. In deeper mental processing, the influence on a response comes from a response construct modulating a description: this process gives the meaning to an emotion or a motive. Descriptive modulation of stimulation corresponds to a bodily sensation or other conceptualized percept. When an output is explained solely by sources of input, that response to the stimulation may be mediated unconsciously. Development of a person within physical and communal environments embodies such mental causation within material causation and acculturates that mind to social causation. (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)

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)

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)

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)

A short formal actually-onepage proof that proves all things must be interpretable in at least more than one way , as any determination to an exact unary finitude is an overdetermination in necessitation that obtains an analytic contradiction which would thus be a doubly determinable conclusivity, which if as assumed would not be analytically so; thus, one must have, for any axiomatic set theoretic construction to number count to properly function toward any decision making aprioretically founded actual aposteriori -- and (...) NOT a stochastic at most-base ontologic -- at least more than one concomitant incorporated-definition to any null object that its nullity being erroneously considered null is not actually so as null , since upon a minimal sufficience obtained positive differentiation is self-proved via plurality indefining its own underdeterminability, null is also naught is also ø is also orthogonal to some "you" physically reading this abstract . (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)

Exploration of a hypothetical model of the structure of the Emergent Event. -/- Key Words: Emergent Event, Foundational Mathematical Categories, Emergent Meta-system, Orthogonal Centering Dialectic, Hegel, Sartre, Badiou, Derrida, Deleuze, Philosophy of Science.

The concept of quantum information is introduced as both normed superposition of two orthogonal sub-spaces of the separable complex Hilbert space and in-variance of Hamilton and Lagrange representation of any mechanical system. The base is the isomorphism of the standard introduction and the representation of a qubit to a 3D unit ball, in which two points are chosen. The separable complex Hilbert space is considered as the free variable of quantum information and any point in it (a wave function describing (...) a state of a quantum system) as its value as the bound variable. A qubit is equivalent to the generalization of ‘bit’ from the set of two equally probable alternatives to an infinite set of alternatives. Then, that Hilbert space is considered as a generalization of Peano arithmetic where any unit is substituted by a qubit and thus the set of natural number is mappable within any qubit as the complex internal structure of the unit or a different state of it. Thus, any mathematical structure being reducible to set theory is re-presentable as a set of wave functions and a subspace of the separable complex Hilbert space, and it can be identified as the category of all categories for any functor represents an operator transforming a set (or subspace) of the separable complex Hilbert space into another. Thus, category theory is isomorphic to the Hilbert-space representation of set theory & Peano arithmetic as above. Given any value of quantum information, i.e. a point in the separable complex Hilbert space, it always admits two equally acceptable interpretations: the one is physical, the other is mathematical. The former is a wave function as the exhausted description of a certain state of a certain quantum system. The latter chooses a certain mathematical structure among a certain category. Thus there is no way to be distinguished a mathematical structure from a physical state for both are described exhaustedly as a value of quantum information. This statement in turn can be utilized to be defined quantum information by the identity of any mathematical structure to a physical state, and also vice versa. Further, that definition is equivalent to both standard definition as the normed superposition and in-variance of Hamilton and Lagrange interpretation of mechanical motion introduced in the beginning of the paper. Then, the concept of information symmetry can be involved as the symmetry between three elements or two pairs of elements: Lagrange representation and each counterpart of the pair of Hamilton representation. The sense and meaning of information symmetry may be visualized by a single (quantum) bit and its interpretation as both (privileged) reference frame and the symmetries of the Standard model. (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)

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)

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)

After examining the problem that gratuitous suffering poses for Nietzsche's notion of life affirmation, I mount a skeptical response to this problem on Nietzsche's behalf. I then consider an orthogonal objection to Nietzschean life affirmation, which argues that the need to justify life is symptomatic of life denial and show how strengthening the skeptical defense sidesteps this worry. Nietzsche's skepticism about our all‐too‐human, epistemic position thus aids his project of life affirmation in two ways. First, it suggests that we are (...) unable to determine reliably whether a given instance of suffering is, in fact, gratuitous. Second, it provides a corrective to the moralistic need to redeem life, showing that all attempts to justify life as a whole are epistemically fraught. Before concluding, I examine Nietzsche's reasons for advancing such an epistemological argument and suggest how we might approach life affirmation in nonrational terms. (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)

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)

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)

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)

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)

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)

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)

An inequality in quantum mechanics, which does not appear to be well known, is derived by elementary means and shown to be quite useful. The inequality applies to 'all' operators and 'all' pairs of quantum states, including mixed states. It generalizes the rule of the orthogonality of eigenvectors for distinct eigenvalues and is shown to imply all the Robertson generalized uncertainty relations. It severely constrains the difference between probabilities obtained from 'close' quantum states and the different responses they can (...) have to unitary transformations. Thus, it is dubbed a master inequality. With appropriate definitions the inequality also holds throughout general probability theory and appears not to be well known there either. That classical inequality is obtained here in an appendix. The quantum inequality can be obtained from the classical version but a more direct quantum approach is employed here. A similar but weaker classical inequality has been reported by Uffink and van Lith. (shrink)

The article "Philosophia of Pure Mind: Declassification of the basic Biblical Mysteries" offers a tool for solving biblical mysteries — this is the philosophy of pure mind, which brings to life conceptual thinking with private and extremely general comparative concepts — concepts of practical mind and categories of pure mind. From these positions, an active study of the fundamental biblical mysteries is carried out, and not just their description or discussion. The investigation implies their comprehension related to the understanding of (...) reality, which we find in the first lines of the Torah, in which comparative concepts are represented by gradation (light and darkness, day and night) and orthogonal views, i.e. the relationship between two pairs of opposites (day and night — evening and morning): "And there was evening, and it was morning: day one." Thus, through the concepts of practical mind, the author reveals the general idea of the Creator, reflecting the harmony of nature in Words, each of which is a comparative concept of one kind or another. This is the key to uncovering the Biblical mysteries, namely: how the Word of God relates to the mystery of the fall, to the mysteries of the Book of Creation (Sefer Yetzira), the mystery of the Holy Trinity and the Sign of the Cross. Finally, how the proposed thinking helps to understand and gain a more complete understanding of the essence of these mysteries within the framework of one more general problem. Moreover, the root of all these problems, in my opinion, is that the mind thinking of people, given to them, as well as to all living things from nature through sensations, was supplemented by a person with a multi-valued reason thinking with classification concepts of natural language. In this connection, the natural human mind, through unambiguous comparative concepts, was supplanted by reason, apparently absent in animals. All of this unfolds against the background of three successive Reformations, which gave rise to three Abrahamic religions dating back to the patriarch of the Semitic tribes, Abraham. Whereas the beginning of these reforms is associated with the struggle of Moses for faith in the invisible God Yahweh, perceived as a civil war between the supporters of Moses as one part of the Jews with another part of them worshipping the God of their ancestors, the creator of all things — Ilohim. The article concludes with an understanding of the 4th Reformation, which aimed to create a modern synthetic religion with the help of AI. (shrink)