In this paper we attempt to develop a problem representation technique which enables the decomposition of a problem into subproblems such that their solution in sequence constitutes a strategy for solving the problem. An important issue here is that the subproblems generated should be easier than the main problem. We propose to represent a set of problem states by a statement which is true for all the members of the set. A statement itself is (...) just a set of atomic statements which are binary predicates on state variables. Then, the statement representing the set of goal states can be partitioned into its subsets each of which becomes a subgoal of the resulting strategy. The techniques involved in partitioning a goal into its subgoals are presented with examples. (shrink)

We argue that C. Darwin and more recently W. Hennig worked at times under the simplifying assumption of an eternal biosphere. So motivated, we explicitly consider the consequences which follow mathematically from this assumption, and the infinite graphs it leads to. This assumption admits certain clusters of organisms which have some ideal theoretical properties of species, shining some light onto the species problem. We prove a dualization of a law of T.A. Knight and C. Darwin, and sketch a (...) class='Hi'>decomposition result involving the internodons of D. Kornet, J. Metz and H. Schellinx. A further goal of this paper is to respond to B. Sturmfels’ question, “Can biology lead to new theorems?”. (shrink)

This paper examines an insoluble Cartesian problem for classical AI, namely, how linguistic understanding involves knowledge and awareness of u’s meaning, a cognitive process that is irreducible to algorithms. As analyzed, Descartes’ view about reason and intelligence has paradoxically encouraged certain classical AI researchers to suppose that linguistic understanding suffices for machine intelligence. Several advocates of the Turing Test, for example, assume that linguistic understanding only comprises computational processes which can be recursively decomposed into algorithmic mechanisms. Against this background, (...) in the first section, I explain Descartes’ view about language and mind. To show that Turing bites the bullet with his imitation game, in the second section I analyze this method to assess intelligence. Then, in the third section, I elaborate on Schank and Abelsons’ Script Applier Mechanism (SAM, hereby), which supposedly casts doubt on Descartes’ denial that machines can think. Finally, in the fourth section, I explore a challenge that any algorithmic decomposition of linguistic understanding faces. This challenge, I argue, is the core of the Cartesian problem: knowledge and awareness of meaning require a first-person viewpoint which is irreducible to the decomposition of algorithmic mechanisms. (shrink)

I propose an idealist ontology that makes sense of reality in a more parsimonious and empirically rigorous manner than mainstream physicalism, bottom-up panpsychism, and cosmopsychism. The proposed ontology also offers more explanatory power than these three alternatives, in that it does not fall prey to the hard problem of consciousness, the combination problem, or the decombination problem, respectively. It can be summarized as follows: there is only cosmic consciousness. We, as well as all other living organisms, are (...) but dissociated alters of cosmic consciousness, surrounded by its thoughts. The inanimate world we see around us is the extrinsic appearance of these thoughts. The living organisms we share the world with are the extrinsic appearances of other dissociated alters. (shrink)

In this article, network science is discussed from a methodological perspective, and two central theses are defended. The first is that network science exploits the very properties that make a system complex. Rather than using idealization techniques to strip those properties away, as is standard practice in other areas of science, network science brings them to the fore, and uses them to furnish new forms of explanation. The second thesis is that network representations are particularly helpful in explaining the properties (...) of non-decomposable systems. Where part-whole decomposition is not possible, network science provides a much-needed alternative method of compressing information about the behavior of complex systems, and does so without succumbing to problems associated with combinatorial explosion. The article concludes with a comparison between the uses of network representation analyzed in the main discussion, and an entirely distinct use of network representation that has recently been discussed in connection with mechanistic modeling. (shrink)

Given the hard problem of consciousness, there are no brain electrophysiological correlates of the subjective experience (the felt quality of redness or the redness of red, the experience of dark and light, the quality of depth in a visual field, the sound of a clarinet, the smell of mothball, bodily sensations from pains to orgasms, mental images that are conjured up internally, the felt quality of emotion, the experience of a stream of conscious thought, or the phenomenology of thought). (...) However, there are occipital and left temporal brain electrophysiological correlates of the subjective experience. Notwithstanding, as an evoked signal, the change in event-related brain potential phase (frequency is the change in phase over time) is instantaneous, that is, the frequency will transiently be infinite: a transient peak in frequency (positive or negative), if any, is instantaneous in electroencephalogram averaging or filtering that the event-related brain potentials required and the underlying structure of the event-related brain potentials in the frequency domain cannot be accounted for, for example, by the Wavelet Transform or the Fast Fourier Transform analysis, because they require that frequency be derived by convolution rather than by differentiation. However, as I show, one suitable method for analysing the instantaneous change in event-related brain potential phase and accounting for a transient peak in frequency (positive or negative), if any, in the underlying structure of the event-related brain potentials is the Empirical Mode Decomposition with post-processing Ensemble Empirical Mode Decomposition. (shrink)

A long-standing problem in understanding goal-directed systems has been the insufficiency of mechanistic explanations to make sense of them. This paper offers a solution to this problem. It begins by observing the limitations of mechanistic decompositions when it comes to understanding physical fields. We argue that introducing the field concept, as it has been developed in field theory, alongside mechanisms is able to provide an account of goal directedness in the sciences.

A contemporary form of panpsychism says that phenomenality is prevalent because all physical ultimates instantiate phenomenal or protophenomenal properties. According to priority cosmopsychism, an alternative to panpsychism that we propose in this chapter, phenomenality is prevalent because the whole cosmos instantiates phenomenal or protophenomenal properties. It says, moreover, that the consciousness of the cosmos is ontologically prior to the consciousness of ordinary individuals like us. Since priority cosmopsychism is a highly speculative view our aim in this chapter remains modest and (...) limited. Instead of providing a full defense of priority cosmopsychism, we try to show only the theoretical advantage of the view over panpsychism. Tis, however, by no means entails that we develop the view in logical space merely for its own sake. We offer instead a blueprint for a new alternative to panpsychism and explain how such a view avoids some of the most persistent problems for panpsychism while maintaining several of its strengths. (shrink)

This collection of papers centres around a novel approach to the problem of phenomenal consciousness called cosmopsychism. A simple version of cosmopsychism says that the cosmos as a whole is conscious. In this collection, I focus on a comparison between arguably the most promising versions of cosmopsychism and panpsychism, called constitutive cosmopsychism and constitutive panpsychism, respectively. -/- The first paper, ‘A Blueprint for Cosmopsychism’ offers a blueprint for a cosmopsychist approach, comparing it to the panpsychist approach. It highlights how (...) following the blueprint allows one to sidestep the most serious of panpsychism’s problems, the combination problem, while also avoiding the problem of infinite decomposition. However, it notes that the approach must address a serious problem of its own in the derivation problem. -/- The second paper, ‘Beyond Panpsychism and Cosmopsychism? Focuses’ on two related views that reject subjects of experience at the fundamental level, thus avoiding the subject aspects of the combination and derivation problems. Albahari’s perennialism is touted as the natural successor to cosmopsychism; avoiding its subject derivation problem while maintaining a cosmic consciousness. Meanwhile, Coleman’s panqualityism is touted as a natural successor to panpsychism; avoiding its combination problem while maintaining that phenomenality is present at the level of microphysical ultimates. However, I show both views seem to face problems equal in measure to those they seek to avoid. -/- The third paper, ‘The Subject Problem for Panpsychism and Cosmopsychism’ targets the hardest problems for constitutive panpsychism and constitutive cosmopsychism; the subject combination problem and the subject derivation problem, respectively. I show that the two problems are almost identical, both hinging on the entailment of what I call synchronous perspectives scenarios. I formulate broad arguments from metaphysical impossibility and epistemic implausibility against both views, based on such scenarios. However, I provide a possible model of how to understand synchronous perspective scenarios unproblematically. I also provide several alternative responses. -/- The fourth, and final, paper in the collection provides an account of, and motivation for, a version of cosmopsychism I call CRP cosmopsychism. This version of cosmopsychism is created on the priority cosmopsychism blueprint and has three further key commitments: simple panpsychism, priority monism and Russellian monism. The paper motivates each of these commitments both in isolation and in partnership, before responding to each of the derivation problems; the subject derivation problem, the quality derivation problem and the structure derivation problem. Furthermore, I argue that cosmopsychism should be preferred over panpsychism owing to considerations concerning internal relations. (shrink)

Special quantifiers are quantifiers like 'something', 'everything', and 'several things'. They are special both semantically and syntactically and play quite an important role in philosophy, in discussions of ontological commitment to abstract objects, of higher-order metaphysics, and of the apparent need for propositions. This paper will review and discuss in detail the syntactic and semantic peculiarities of special quantifiers and show that they are incompatible with substitutional and higher-order analyses that have recently been proposed. It instead defends and develops in (...) formal detail a semantic analysis of special quantifiers as nominalizing quantifiers. On this analysis, special quantifiers involve both singular objectual quantification and implicit on non-singular (higher-order, plural, or mass) quantification. The analysis rests on a range of recent insights and proposals in generative syntactic theory, in particular the recognition of '–thing' as a light noun and a potential classifier as well as recent views of the decomposition of attitudinal and locutionary verbs in syntax. (shrink)

This fifth volume on Advances and Applications of DSmT for Information Fusion collects theoretical and applied contributions of researchers working in different fields of applications and in mathematics, and is available in open-access. The collected contributions of this volume have either been published or presented after disseminating the fourth volume in 2015 in international conferences, seminars, workshops and journals, or they are new. The contributions of each part of this volume are chronologically ordered. First Part of this book presents some (...) theoretical advances on DSmT, dealing mainly with modified Proportional Conflict Redistribution Rules (PCR) of combination with degree of intersection, coarsening techniques, interval calculus for PCR thanks to set inversion via interval analysis (SIVIA), rough set classifiers, canonical decomposition of dichotomous belief functions, fast PCR fusion, fast inter-criteria analysis with PCR, and improved PCR5 and PCR6 rules preserving the (quasi-)neutrality of (quasi-)vacuous belief assignment in the fusion of sources of evidence with their Matlab codes. Because more applications of DSmT have emerged in the past years since the apparition of the fourth book of DSmT in 2015, the second part of this volume is about selected applications of DSmT mainly in building change detection, object recognition, quality of data association in tracking, perception in robotics, risk assessment for torrent protection and multi-criteria decision-making, multi-modal image fusion, coarsening techniques, recommender system, levee characterization and assessment, human heading perception, trust assessment, robotics, biometrics, failure detection, GPS systems, inter-criteria analysis, group decision, human activity recognition, storm prediction, data association for autonomous vehicles, identification of maritime vessels, fusion of support vector machines (SVM), Silx-Furtif RUST code library for information fusion including PCR rules, and network for ship classification. Finally, the third part presents interesting contributions related to belief functions in general published or presented along the years since 2015. These contributions are related with decision-making under uncertainty, belief approximations, probability transformations, new distances between belief functions, non-classical multi-criteria decision-making problems with belief functions, generalization of Bayes theorem, image processing, data association, entropy and cross-entropy measures, fuzzy evidence numbers, negator of belief mass, human activity recognition, information fusion for breast cancer therapy, imbalanced data classification, and hybrid techniques mixing deep learning with belief functions as well. (shrink)

This metatheoretical paper investigates mind wandering from the perspective of philosophy of mind. It has two central claims. The first is that, on a conceptual level, mind wandering can be fruitfully described as a specific form of mental autonomy loss. The second is that, given empirical constraints, most of what we call “conscious thought” is better analyzed as a subpersonal process that more often than not lacks crucial properties traditionally taken to be the hallmark of personal-level cognition - such as (...) mental agency, explicit, consciously experienced goal-directedness, or availability for veto control. I claim that for roughly two thirds of our conscious life-time we do not possess mental autonomy (M-autonomy) in this sense. Empirical data from research on mind wandering and nocturnal dreaming clearly show that phenomenally represented cognitive processing is mostly an automatic, non-agentive process and that personal-level cognition is an exception rather than the rule. This raises an interesting new version of the mind-body problem: How is subpersonal cognition causally related to personal-level thought? More fine-grained phenomenological descriptions for what we called “conscious thought” in the past are needed, as well as a functional decomposition of umbrella terms like “mind wandering” into different target phenomena and a better understanding of the frequent dynamic transitions between spontaneous, task-unrelated thought and meta-awareness. In an attempt to lay some very first conceptual foundations for the now burgeoning field of research on mind wandering, the third section proposes two new criteria for individuating single episodes of mind-wandering, namely, the “self-representational blink” (SRB) and a sudden shift in the phenomenological “unit of identification” (UI). I close by specifying a list of potentially innovative research goals that could serve to establish a stronger connection between mind wandering research and philosophy of mind. (shrink)

According to one of Leibniz's theories of contingency a proposition is contingent if and only if it cannot be proved in a finite number of steps. It has been argued that this faces the Problem of Lucky Proof , namely that we could begin by analysing the concept ‘Peter’ by saying that ‘Peter is a denier of Christ and …’, thereby having proved the proposition ‘Peter denies Christ’ in a finite number of steps. It also faces a more general (...) but related problem that we dub the Problem of Guaranteed Proof . We argue that Leibniz has an answer to these problems since for him one has not proved that ‘Peter denies Christ’ unless one has also proved that ‘Peter’ is a consistent concept, an impossible task since it requires the full decomposition of the infinite concept ‘Peter’. We defend this view from objections found in the literature and maintain that for Leibniz all truths about created individual beings are contingent. (shrink)

As civil liberties are shredded and powerful corporate and political force engage in a range of legal illegalities, the state itself becomes a model for corruption and violence. Violence has become not only the foundation of corporate sovereignty, it has also become the ideological scaffolding of common sense. Under casino capitalism, the state has become the enemy of justice and offers a prototype for types of misguided rebellion that mimic the lawlessness enshrined by corporate sovereignty and the repressive state apparatuses. (...) Under such circumstances, the force of action does not reside in deliberation, compassion, justice, equality and freedom. The state of exception has become the rule serving to legitimate illegality and normalizing violence and force as the only mediating dynamic worth utilizing to solve problems. In addition, subjectivity itself has become both hyper-masculinized, transformed, and subordinated to the celebration of an aggressive, violent and hyper-competitive war machine. Evidence of the hardening of the culture and the ongoing visibility of a pathological form of hyper-masculinity abounds in polices that amount to a permanent war on the poor, women, immigrants, workers, public servants, Muslims, poor minorities and those adults marginalized by class and race. Casino capitalism's paranoiac and increasingly repressive institutional and ideological apparatuses live in fear of dissent, critical rationality and the possibility of collective struggles moved by the desire for justice and a radical democracy. This is precisely where questions about education and resistance connect to broader debates about producing critical agents capable of acting as engaged and responsible citizens in a substantive democracy. Neoliberalism, as a dominant ideology, changed not only ways of thinking, but, consequently, practices. Evidently, a process of transformation like the one imposed by the hegemony of neoliberal ideology does not take place without resistance-conscious or not-and here it is the role of the State (and its ideological apparatus) in the subjection of individuals. For Fisher, there is no element that shows that the public actually embraced neoliberal doctrines with enthusiasm. For Mark Fisher, capitalist realism is \\\"an expression of class decomposition, and a consequence of class disintegration\\\". The phenomenon resulting from this discontent that finds few ways to express itself that are not individual is named by Mark Fisher as the \\\"privatization of stress\\\", which easily converts into depression and other psychological suffering. Although both its neoliberal and neoconservative components are opposed to bureaucracy in favour of privatised decentralisation, in practice capitalist realism involves the normalisation of bureaucracy and the creation of additional and unnecessary labour. Although pyramidal hierarchies are flattened, the increase and establishment of constant communication through technology has led to people at the same level surveilling each other. (shrink)

At the heart of chemistry lies the periodic system of chemical elements. Despite being the cornerstone of modern chemistry, the overall structure of the periodic system has never been fully understood from an atomic physics point of view. Group-theoretical models have been proposed instead, but they suffer from several limitations. Among others, the identification of the correct symmetry group and its decomposition into subgroups has remained a problem to this day. In an effort to deepen our limited understanding (...) of the periodic law, we have extended the traditional Lie algebraic framework to account for the peculiar degeneracy structure of the periodic system. Starting from the four-dimensional hidden symmetry and accidental degeneracy of the hydrogen atom, as first revealed by Fock in 1935, our research has mainly focussed on the way this SO(4) symmetry of the Coulomb potential gets broken in the periodic system as a consequence of the transformation of the hydrogenic (n, l) filling order to the Madelung (n+l, n) order due to electronic repulsions, relativistic effects and spin-orbit couplings. In this PhD dissertation, a new left-step format of the periodic table is first proposed on the basis of the Madelung rule. Following the particle physics tradition, the chemical elements are then considered as various states of some 'atomic matter', which is described by a non-compact spectrum-generating dynamical Lie group. The chemical elements are shown to form a basis for a single infinite-dimensional degeneracy space of the SO(4,2) ⊗ SU(2) group. An explanation for the period doubling is then proposed in terms of a particular symmetry breaking of the SO(4,2) group to the anti de Sitter SO(3,2) group. The Madelung rule is rationalised on the basis of nonlinear Lie algebras which reflect the screening of the Coulomb hole. This opens new perspectives for a symmetry-based understanding of how the periodic law emerges from its quantum mechanical foundations, and holds the future promise of complementing our current phenomenological approach by a direct atomic physics approach. (shrink)

The Emergic Cognitive Model (ECM) is a unified computational model of visual filling-in based on the Emergic Network architecture. The Emergic Network was designed to help realize systems undergoing continuous change. In this thesis, eight different filling-in phenomena are demonstrated under a regime of continuous eye movement (and under static eye conditions as well). -/- ECM indirectly demonstrates the power of unification inherent with Emergic Networks when cognition is decomposed according to finer-grained functions supporting change. These can interact to raise (...) additional emergent behaviours via cognitive re-use, hence the Emergic prefix throughout. Nevertheless, the model is robust and parameter free. Differential re-use occurs in the nature of model interaction with a particular testing paradigm. -/- ECM has a novel decomposition due to the requirements of handling motion and of supporting unified modelling via finer functional grains. The breadth of phenomenal behaviour covered is largely to lend credence to our novel decomposition. -/- The Emergic Network architecture is a hybrid between classical connectionism and classical computationalism that facilitates the construction of unified cognitive models. It helps cutting up of functionalism into finer-grains distributed over space (by harnessing massive recurrence) and over time (by harnessing continuous change), yet simplifies by using standard computer code to focus on the interaction of information flows. Thus while the structure of the network looks neurocentric, the dynamics are best understood in flowcentric terms. Surprisingly, dynamic system analysis (as usually understood) is not involved. An Emergic Network is engineered much like straightforward software or hardware systems that deal with continuously varying inputs. Ultimately, this thesis addresses the problem of reduction and induction over complex systems, and the Emergic Network architecture is merely a tool to assist in this epistemic endeavour. -/- ECM is strictly a sensory model and apart from perception, yet it is informed by phenomenology. It addresses the attribution problem of how much of a phenomenon is best explained at a sensory level of analysis, rather than at a perceptual one. As the causal information flows are stable under eye movement, we hypothesize that they are the locus of consciousness, howsoever it is ultimately realized. (shrink)

In this paper, we make a proposal for addressing the cosmological constant problem. Our approach will be based on a reinterpretation of two non-standard de Sitter solutions given by the Einstein vacuum equations with Λ>0. As a first result, we derive an uncertainty principle for both variants of the de Sitter space (Theorem). Subsequently, a decomposition of the cosmological constant in a pair of time-dependent pieces is introduced (Corollary). The time-dependence of the corresponding energy and dark energy density (...) is discussed and especially matched at the Planck scale. Furthermore, we show that for every instant of cosmic time this approach can be revealed in terms of a Schwarzschild-Anti-de Sitter cosmology with Λ>0. The corresponding field equations are provided. (shrink)

The force law of Maxwell’s classical electrodynamics does not agree with Newton’s third law of motion (N3LM), in case of open circuit magnetostatics. Initially, a generalized magnetostatics theory is presented that includes two additional physical fields B_Φ and B_l, defined by scalar functions. The scalar magnetic field B_l mediates a longitudinal Ampère force that balances the transverse Ampère force (aka the magnetic field force), such that the sum of the two forces agrees with N3LM for all stationary current distributions. Secondary (...) field induction laws are derived; a secondary curl free electric field E_l is induced by a time varying scalar magnetic field B_l, which isn’t described by Maxwell’s electrodynamics. The Helmholtz’ decomposition is applied to exclude E_l from the total electric field E, resulting into a more simple Maxwell theory. Decoupled inhomogeneous potential equations and its solutions follow directly from this theory, without having to apply a gauge condition. Field expressions are derived from the potential functions that are simpler and far field consistent with respect to the Jefimenko fields. However, our simple version of Maxwell’s theory does not satisfy N3LM. Therefore we combine the generalized magnetostatics with the simple version of Maxwell’s electrodynamics, via the generalization of Maxwell’s speculative displacement current. The resulting electrodynamics describes three types of vacuum waves: the Φ wave, the longitudinal electromagnetic (LEM) wave and the transverse electromagnetic (TEM) wave, with phase velocities respectively a, b and c. Power- and force theorems are derived, and the force law agrees with Newton’s third law only if the phase velocities satisfy the following condition: a >> b and b = c. The retarded potential functions can be found without gauge conditions, and four retarded field expressions are derived that have three near field terms and six far field terms. All six far field terms are explained as the mutual induction of two free fields. Our theory supports Rutherford’s solution of the 4/3 problem of electromagnetic mass, which requires an extra longitudinal electromagnetic momentum. Our generalized classical electrodynamics might spawn new physics experiments and electrical engineering, such as new photoelectric effects based on Φ- or LEM radiation, and the conversion of natural Φ- or LEM radiation into useful electricity, in the footsteps of dr. N. Tesla and dr. T.H. Moray. (shrink)

In this paper I want to show that two proposals to determine Frege’s notion of a mark (Merkmal) of concepts that are made in the relevant literature face some serious interpretative and systematic problems. The main problem of both conceptions is that they cannot be properly applied to those explicit examples of complex concepts that are given in Frege’s works. The first of these conceptions interprets marks as analytic components of a concept, the second as defining parts of a (...) concept. I will show that only the second conception can be modified in a meaningful way such that we get a conception of marks as result that fits with Frege’s general characterizations and examples. (shrink)

This paper defends an interpretation of Gottlob Frege’s views on the structure of thought. I argue that Frege did not think that a thought has a unique decomposition into its component senses, but rather the same thought can be decomposed into senses in multiple, distinct ways. These multiple decompositions will often have distinct logical forms. I also argue against Michael Dummett and others that Frege was committed to the sense of a predicate being a function from the sense of (...) a name (or names) to a complete thought. I defend my Frege interpretation against a puzzle often discussed in the Frege literature; namely, that the Multiple Decompositions Thesis is incompatible with Frege’s stated view that a thought is built up out of its component senses as parts. I provide textual evidence and argument that Frege thought of the part/whole relation in such a way that a whole can be analyzed into (or built up out of) parts in multiple, distinct ways, thus dissolving the puzzle. I conclude with discussion of every sort of example of multiple decompositions that can be found in Frege's work. (shrink)

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

Frames, i.e., recursive attribute-value structures, are a general format for the decomposition of lexical concepts. Attributes assign unique values to objects and thus describe functional relations. Concepts can be classified into four groups: sortal, individual, relational and functional concepts. The classification is reflected by different grammatical roles of the corresponding nouns. The paper aims at a cognitively adequate decomposition, particularly, of sortal concepts by means of frames. Using typed feature structures, an explicit formalism for the characterization of cognitive (...) frames is developed. The frame model can be extended to account for typicality effects. Applying the paradigm of object-related neural synchronization, furthermore, a biologically motivated model for the cortical implementation of frames is developed. Cortically distributed synchronization patterns may be regarded as the fingerprints of concepts. (shrink)

I argue, through appeal to the distinction between analysis and decomposition described by Dummett, that Wittgenstein employs both of those notions in the Tractatus. I then bring this interpretation to bear upon the issue of propositional unity, where I formulate an objection to the views of both Leonard Linksy and José Zalabardo. I show that both Linsky and Zalabardo fail to acknowledge the distinction between analysis and decomposition present in the Tractatus, and that they consequently mischaracterise Wittgenstein’s position (...) with respect to propositional unity. (shrink)

Whether or not quantum physics can account for molecular structure is a matter of considerable controversy. Three of the problems raised in this regard are the problems of molecular structure. We argue that these problems are just special cases of the measurement problem of quantum mechanics: insofar as the measurement problem is solved, the problems of molecular structure are resolved as well. In addition, we explore one consequence of our argument: that claims about the reduction or emergence of (...) molecular structure cannot be settled independently of the choice of a particular resolution to the measurement problem. Specifically, we consider how three standard putative solutions to the measurement problem inform our under- standing of a molecule in isolation, as well as of chemistry’s relation to quantum physics. (shrink)

Attempts to introduce Gestalt theory into the realm of visual neuroscience are discussed on both theoretical and experimental grounds. To define the framework in which these proposals can be defended, this paper outlines the characteristics of a standard model, which qualifies as a received view in the visual neurosciences, and of the research into natural images statistics. The objections to the standard model and the main questions of the natural images research are presented. On these grounds, this paper defends the (...) view that Gestalt psychology and experimental phenomenology provide a contribution to the research into perception by the construction of phenomenological models for an ecologically meaningful interpretation of the empirical evidence and the hypothetical constructs of the natural image research within the visual neuroscience. A formal framework for the phenomenological models is proposed, wherein Gestalt theoretical principles and empirical evidence are represented in terms of topological properties and relationships, which account for the order and structures that make the environment accessible to observers at a relevant behavioural level. It is finally argued that these models allow us to evaluate the principles and the empirical evidence of various natures which are integrated from different fields into the research into perception, and in particular into visual neurosciences. (shrink)

In this paper, we provide a detailed review of previous classifications of 2 × 2 games and suggest a mathematically simple way to classify the symmetric 2 × 2 games based on a decomposition of the payoff matrix into a cooperative and a zero-sum part. We argue that differences in the interaction between the parts is what makes games interesting in different ways. Our claim is supported by evolutionary computer experiments and findings in previous literature. In addition, we provide (...) a method for using a stereographic projection to create a compact 2-d representation of the game space. (shrink)

Crispin Wright’s entitlement theory holds that we have non-evidential justification for accepting propositions of a general type––which Wright calls “cornerstones”––that enables us to acquire justification for believing other propositions––those that we take to be true on the grounds of ordinary evidence. Entitlement theory is meant by Wright to deliver a forceful response to the sceptic who argues that we cannot justify ordinary beliefs. I initially focus on strategic entitlement, which is one of the types of entitlement that Wright has described (...) in more detail. I suggest that it is dubious that we are strategically entitled to accept cornerstones. After this, I focus on entitlement in general. I contend that, in important cases, non-evidential justification for accepting cornerstones cannot secure evidential justification for believing ordinary propositions. My argument rests on a probabilistic regimentation of the so-called “leaching problem”. (shrink)

The problem of imaginative resistance holds interest for aestheticians, literary theorists, ethicists, philosophers of mind, and epistemologists. We present a somewhat opinionated overview of the philosophical discussion to date. We begin by introducing the phenomenon of imaginative resistance. We then review existing responses to the problem, giving special attention to recent research directions. Finally, we consider the philosophical significance that imaginative resistance has—or, at least, is alleged to have—for issues in moral psychology, theories of cognitive architecture, and modal (...) epistemology. (shrink)

The most pressing worry for panpsychism is arguably the combination problem, the problem of intelligibly explaining how the experiences of microphysical entities combine to form the experiences of macrophysical entities such as ourselves. This chapter argues that the combination problem is similar in kind to other problems of mental combination that are problems for everyone: the problem of phenomenal unity, the problem of mental structure, and the problem of new quality spaces. The ubiquity of (...) combination problems suggests the ignorance hypothesis, the hypothesis that we are ignorant of certain key facts about mental combination, which allows the panpsychist to avoid certain objections based on the combination problem. (shrink)

I resolve the major challenge to an Expressivist theory of the meaning of normative discourse: the Frege–Geach Problem. Drawing on considerations from the semantics of directive language (e.g., imperatives), I argue that, although certain forms of Expressivism (like Gibbard’s) do run into at least one version of the Problem, it is reasonably clear that there is a version of Expressivism that does not.

The Negation Problem states that expressivism has insufficient structure to account for the various ways in which a moral sentence can be negated. We argue that the Negation Problem does not arise for expressivist accounts of all normative language but arises only for the specific examples on which expressivists usually focus. In support of this claim, we argue for the following three theses: 1) a problem that is structurally identical to the Negation Problem arises in non-normative (...) cases, and this problem is solved once the hidden quantificational structure involved in such cases is uncovered; 2) the terms ‘required’, ‘permissible’, and ‘forbidden’ can also be analyzed in terms of hidden quantificational structure, and the Negation Problem disappears once this hidden structure is uncovered; 3) the Negation Problem does not arise for normative language that has no hidden quantificational structure. We conclude that the Negation Problem is not really a problem about expressivism at all but is rather a feature of the quantificational structure of the required, permitted, and forbidden. (shrink)

One of the reasons why most of us feel puzzled about the problem of abortion is that we want, and do not want, to allow to the unborn child the rights that belong to adults and children. When we think of a baby about to be born it seems absurd to think that the next few minutes or even hours could make so radical a difference to its status; yet as we go back in the life of the fetus (...) we are more and more reluctant to say that this is a human being and must be treated as such. No doubt this is the deepest source of our dilemma, but it is not the only one. For we are also confused about the general question of what we may and may not do where the interests of human beings conflict. We have strong intuitions about certain cases; saying, for instance, that it is all right to raise the level of education in our country, though statistics allow us to predict that a rise in the suicide rate will follow, while it is not all right to kill the feeble-minded to aid cancer research. It is not easy, however, to see the principles involved, and one way of throwing light on the abortion issue will be by setting up parallels involving adults or children once born. So we will be able to isolate the “equal rights” issue and should be able to make some advance... (shrink)

The “somewhat vague, intuitive” notion from computability theory of an effective procedure (method) or algorithm can be fairly precisely defined even if it is not sufficiently formal and precise to belong to mathematics proper (in a narrow sense)—and even if (as many have asserted) for that reason the Church–Turing thesis is unprovable. It is proved logically that the class of effective procedures is not decidable, i.e., that no effective procedure is possible for ascertaining whether a given procedure is effective. This (...) undecidability result is proved directly from the notion itself of an effective procedure, without reliance on any (partly) mathematical lemma, conjecture, or thesis invoking recursiveness or Turing-computability. In fact, there is no reliance on anything very mathematical. The proof does not even appeal to a precise definition of ‘effective procedure’. Instead, it relies solely and entirely on a basic grasp of the intuitive notion of an effective procedure. Though the result that effectiveness is undecidable is not surprising, it is also not without significance. It has the consequence, for example, that the solution to a decision problem, if it is to be complete, must be accompanied by a separate argument that the proposed ascertainment procedure invariably terminates with the correct verdict. (shrink)

P. Kyle Stanford defends the problem of unconceived alternatives, which maintains that scientists are unlikely to conceive of all the scientifically plausible alternatives to the theories they accept. Stanford’s argument has been criticized on the grounds that the failure of individual scientists to conceive of relevant alternatives does not entail the failure of science as a corporate body to do so. I consider two replies to this criticism and find both lacking. In the process, I argue that Stanford does (...) not provide evidence that there are likely scientifically plausible unconceived alternatives to scientific theories accepted now and in the future. (shrink)

In the classical account of knowledge, S knows that P if and only if S believes that P, S is justified in believing that P, and P is true (JTB).. In 1963, Gettier presented two problems that casted doubt on this account. Since then, numerous authors proposed modifications or clarifications of JTB, however, these efforts have not produced a satis-factory solution. In this paper, the focus is on logical properties of justification. The Get-tier problem Case II is expressed in (...) sentential logic and Gettier Minimal Assumption (GMA) is introduced. It is shown that Gettier must have used GMA or some other as-sumption that entails GMA in his construction of Case II. Rejection of GMA solves Get-tier problem Case II and it is a step towards a better understanding of the logical proper-ties of justification and knowledge. (shrink)

According to the person-affecting restriction, one distribution of welfare can be better than another only if there is someone for whom it is better. Extant problems for the person-affecting restriction involve variable-population cases, such as the nonidentity problem, which are notoriously controversial and difficult to resolve. This paper develops a fixed-population problem for the person-affecting restriction. The problem reveals that, in the presence of incommensurable welfare levels, the person-affecting restriction is incompatible with minimal requirements of impartial beneficence (...) even in fixed-population contexts. (shrink)

To speak of being religious lucky certainly sounds odd. But then, so does “My faith holds value in God’s plan, while yours does not.” This book argues that these two concerns — with the concept of religious luck and with asymmetric or sharply differential ascriptions of religious value — are inextricably connected. It argues that religious luck attributions can profitably be studied from a number of directions, not just theological, but also social scientific and philosophical. There is a strong tendency (...) among adherents of different faith traditions to invoke asymmetric explanations of the religious value or salvific status of the home religion vis-à-vis all others. Attributions of good/bad religious luck and exclusivist dismissal of the significance of religious disagreement are the central phenomena that the book studies. Part I lays out a taxonomy of kinds of religious luck, a taxonomy that draws upon but extends work on moral and epistemic luck. It asks: What is going on when persons, theologies, or purported revelations ascribe various kinds of religiously-relevant traits to insiders and outsiders of a faith tradition in sharply asymmetric fashion? “I am saved but you are lost”; “My religion is holy but yours is idolatrous”; “My faith tradition is true, and valued by God, but yours is false and valueless.” Part II further develops the theory introduced in Part I, pushing forward both the descriptive/explanatory and normative sides of what the author terms his inductive risk account. Firstly, the concept of inductive risk is shown to contribute to the needed field of comparative fundamentalism by suggesting new psychological markers of fundamentalist orientation. The second side of what is termed an inductive risk account is concerned with the epistemology of religious belief, but more especially with an account of the limits of reasonable religious disagreement. Problems of inductively risky modes of belief-formation problematize claims to religion-specific knowledge. But the inductive risk account does not aim to set religion apart, or to challenge the reasonableness of religious belief tout court. Rather the burden of the argument is to challenge the reasonableness of attitudes of religious exclusivism, and to demotivate the “polemical apologetics” that exclusivists practice and hope to normalize. Lexington Books Pages: 290 978-1-4985-5017-8 • Hardback • December 2018 • $95.00 • (£65.00) 978-1-4985-5018-5 • eBook • December 2018 • $90.00 • (£60.00) ISBN 978-1-4985-5018-5 (pbk: alk. paper) (coming 2020) [Download the 30% personal use Discount Order Form I uploaded for hardcover or e-book, and please ask your library to purchase a copy for their collection.]. (shrink)

In their target article, Mikhalevich & Powell (M&P) argue that we should extend moral protection to arthropods. In this commentary, we show that there are some unforeseen obstacles to applying the sort of individualistic welfare-based ethics that M&P have in mind to certain arthropods, namely, insects. These obstacles have to do with the fact that there are often many more individuals involved in our dealings with insects than our ethical theories anticipate, and also with the fact that, in some sense, (...) some insects count as more than an individual and, in another sense, they sometimes count as less than an individual. (shrink)

In the course of daily life we solve problems often enough that there is a special term to characterize the activity and the right to expect a scientific theory to explain its dynamics. The classical view in psychology is that to solve a problem a subject must frame it by creating an internal representation of the problem’s structure, usually called a problem space. This space is an internally generable representation that is mathematically identical to a graph structure (...) with nodes and links. The nodes can be annotated with useful information, and the whole representation can be distributed over internal and external structures such as symbolic notations on paper or diagrams. If the representation is distributed across internal and external structures the subject must be able to keep track of activity in the distributed structure. Problem solving proceeds as the subject works from an initial state in mentally supported space, actively constructing possible solution paths, evaluating them and heuristically choosing the best. Control of this exploratory process is not well understood, as it is not always systematic, but various heuristic search algorithms have been proposed and some experimental support has been provided for them. (shrink)

In a recent paper, Max Deutsch argues that there is no “qua problem” for purely causal theories of reference, according to which the extensions of some expressions are grounded in causal relations to members of their extensions during dubbing acts. The qua problem is the difficulty in specifying the facts in virtue of which the reference of “elephant” is grounded by causal contact with something _qua_ elephant and not _qua_ its other properties. If no such specification can be (...) given, reference remains unacceptably indeterminate. This has led many to abandon purely causal reference grounding. Deutsch’s argument for the dissolution of the problem goes as follows: we usually agree that an event can cause its effect _qua_ some of its properties and not _qua_ others. For example, a hot acidic solution causes a glass beaker to break due to its heat and not due to its acidity. Given this assumption, we can simply say that an event caused a dubbing act _qua_ the causally relevant property and not _qua_ the causally irrelevant properties, thus grounding the reference of the term; the qua problem has vanished. I will argue that causal mechanisms, and in particular the facts about causal relevance appealed to by Deutsch, are insufficient to dissolve the qua problem. It is not generally the case that a _unique_ property is causally relevant in purely physical cases of causation; but this is precisely what is required to avoid the referential indeterminacy highlighted by the qua problem. I will demonstrate that if we rely on causal relevance to dissolve the qua problem, there is no way to respect the uniqueness requirement: there are too many properties that are causally relevant to the occurrence of any single dubbing act, including the intentional states of the dubber. (shrink)

In a series of papers, Donald Davidson :3–17, 1984, The philosophical grounds of rationality, 1986, Midwest Stud Philos 16:1–12, 1991) developed a powerful argument against the claim that linguistic conventions provide any explanatory purchase on an account of linguistic meaning and communication. This argument, as I shall develop it, turns on cases of what I call lexical innovation: cases in which a speaker uses a sentence containing a novel expression-meaning pair, but nevertheless successfully communicates her intended meaning to her audience. (...) I will argue that cases of lexical innovation motivate a dynamic conception of linguistic conventions according to which background linguistic conventions may be rapidly expanded to incorporate new word meanings or shifted to revise the meanings of words already in circulation. I argue that this dynamic account of conventions both resolves the problem raised by cases of lexical innovation and that it does so in a way that is preferable to those who—like Davidson—deny important explanatory roles for linguistic conventions. (shrink)

In this paper, I hope to solve a problem that’s as old as the hills: the problem of contingency for religious belief. Paradigmatic examples of this argument begin with a counterfactual premise: had we been born at a different time or in a difference place, we easily could have held different beliefs on religious topics. Ultimately, and perhaps by additional steps, we’re meant to reach the skeptical conclusion that very many of our religious beliefs do not amount to (...) knowledge. I survey some historical examples of this argument, and I try to fill the gap between the counterfactual premise and the skeptical conclusion as forcefully as possible. I consider the following possibilities: there are no additional steps in the argument; or there are and they concern the alleged safety condition on knowledge, or the alleged non-accidentality condition on knowledge, or the unclarity produced by disagreement. On every possibility, the argument from the counterfactual premise to the conclusion of widespread skepticism is invalid. It seems, then, that there is no serious problem of contingency for religious belief. (shrink)

The problem of unconceived alternatives can be undermined, regardless of whether the possibility space of alternatives is bounded or unbounded. If it is bounded, pessimists need to justify their assumption that the probability that scientists have not yet eliminated enough false alternatives is higher than the probability that scientists have already eliminated enough false alternatives. If it is unbounded, pessimists need to justify their assumption that the probability that scientists have not yet moved from the possibility space of false (...) alternatives to the possibility space of true alternatives is higher than the probability that scientists have already moved from the former to the latter space. (shrink)

A substantial proportion of human embryos spontaneously abort soon after conception, and ethicists have argued this is problematic for the pro-life view that a human embryo has the same moral status as an adult from conception. Firstly, if human embryos are our moral equals, this entails spontaneous abortion is one of humanity’s most important problems, and it is claimed this is absurd, and a reductio of the moral status claim. Secondly, it is claimed that pro-life advocates do not act as (...) if spontaneous abortion is important, implying they are failing to fulfill their moral obligations. We report that the primary cause of spontaneous abortion is chromosomal defects, which are currently unpreventable, and show that as the other major cause of prenatal death is induced abortion, pro-life advocates can legitimately continue efforts to oppose it. We also defend the relevance of the killing and letting die distinction, which provides further justification for pro-life priorities. (shrink)

What is the connection between justification and truth in moral epistemology? The primary goal of this paper is to argue that you cannot have justified false beliefs about your own moral obligations. The secondary goal is to explain why not. Some epistemologists embrace a global truth-connection in epistemology, according to which epistemic justification is always factive. In contrast, I endorse a local truth-connection in moral epistemology, which says that epistemic justification is factive when it concerns your own moral obligations. To (...) explain this, I appeal to a version of moral rationalism, which says there are necessary truths about morality that everyone has a priori justification to believe. (shrink)

James Sterba uses the Pauline Principle to argue that the occurrence of significant, horrendous evils is logically incompatible with the existence of a good God. The Pauline Principle states that (as a rule) one must never do evil so that good may come from it, and according to Sterba, this principle implies that God may not permit significant evils even if that permission would be necessary to secure other, greater goods. By contrast, I argue that the occurrence of significant evils (...) is logically compatible with the existence of a good God because victims of significant evils may themselves reasonably consent to their suffering. In particular, I argue that they may be able to accept their suffering if it turns out that there was no way for God to secure relevant greater goods (or prevent other, greater evils) except by way of allowing their suffering, and God also provides them with other compensating, heavenly comforts. After using this consent-based argument to address Sterba’s logical problem from evil, I briefly consider how this argument may also help address a related evidential problem from evil, which suggests that while it is possible that victims of significant evils would consent to their suffering, it is unlikely that they would do so. While I do not provide a definitive solution to this evidential problem of evil, I highlight one important example of a trade-off that God may need to make that would—along with the provision of compensating, heavenly comforts—potentially persuade victims of significant evils to consent to their suffering. Specifically, I argue that there may be a necessary trade-off that God needs to make between permitting significant evils (on the one hand) and protecting a certain, morally significant form of free will (on the other hand). (shrink)

Our universe features a harmonious match between laws and states: applying its laws to its states generates other states. This is a striking fact. Matters might have been otherwise. The universe might have been stillborn in a state unengaged by its laws. The problem of nomological harmony is that of explaining the noted striking fact. After introducing and developing this problem, we canvass candidate solutions and identify some of their virtues and vices. Candidate solutions invoke the likes of (...) a designer, axiarchic meta-laws, multiverses, essential causal powers, and Humean laws. (shrink)

“What is the structure of thought?” is as central a question as any in cognitive science. A classic answer to this question has appealed to a Language of Thought (LoT). We point to emerging research from disparate branches of the field that supports the LoT hypothesis, but also uncovers diversity in LoTs across cognitive systems, stages of development, and species. Our letter formulates open research questions for cognitive science concerning the varieties of rules and representations that underwrite various LoT-based systems (...) and how these variations can help researchers taxonomize cognitive systems. (shrink)

One of the biggest problems in applications of animal welfare science is our ability to make comparisons between different individuals, particularly different species. Although welfare science provides methods for measuring the welfare of individual animals, there’s no established method for comparing measures between individuals. This problem occurs because of the underdetermination of the conclusions given the data, arising from two sources of variation that we cannot distinguish – variation in the underlying target variable (welfare experience) and in the relationship (...) of measured indicators to the target. In this paper I describe the similarity assumptions that underlie our current applications of interspecies comparisons and examine in which cases they are justified, as well as describing alternative methods we may use when they are not. In the end, all our available options for making interspecies comparisons are imperfect, and we need to make explicit context-specific decisions about which will be best for the task at hand while acknowledging their potential limitations. Future developments in our understanding of the biology of sentience will help strengthen our methods of making welfare comparisons. (shrink)

Ectogestation involves the gestation of a fetus in an ex utero environment. The possibility of this technology raises a significant question for the abortion debate: Does a woman’s right to end her pregnancy entail that she has a right to the death of the fetus when ectogestation is possible? Some have argued that it does not Mathison & Davis. Others claim that, while a woman alone does not possess an individual right to the death of the fetus, the genetic parents (...) have a collective right to its death Räsänen. In this paper, I argue that the possibility of ectogestation will radically transform the problem of abortion. The argument that I defend purports to show that, even if it is not a person, there is no right to the death of a fetus that could be safely removed from a human womb and gestated in an artificial womb, because there are competent people who are willing to care for and raise the fetus as it grows into a person. Thus, given the possibility of ectogestation, the moral status of the fetus plays no substantial role in determining whether there is a right to its death. (shrink)