Nineteenth and twentieth century philosophies of science have consistently failed to identify any rational basis for the compelling character of scientific analogies. This failure is particularly worrisome in light of the fact that the development and diffusion of certain scientific analogies, e.g. Darwin’s analogy between domestic breeds and naturally occurring species, constitute paradigm cases of good science. It is argued that the interactivist model, through the notion of a partition epistemology, provides a way to understand the persuasive character (...) of compelling scientific analogies without consigning them to an irrational or arational context of discovery. (shrink)

We study set algebras with an operator (SAO) that satisfy the axioms of S5 knowledge. A necessary and sufficient condition is given for such SAOs that the knowledge operator is defined by a partition of the state space. SAOs are constructed for which the condition fails to hold. We conclude that no logic singles out the partitional SAOs among all SAOs.

This paper focuses on one matter that poses a problem for both human judges and standard probability frameworks, namely the assumption of a unique (privileged) and complete partition of the state-space of possible events. This is tantamount to assuming that we know all possible outcomes or alternatives in advance of making a decision, but it is clear that there are many practical situations in prediction, diagnosis, and decision-making where such partitions are contestable and/or incomplete. The paper begins by surveying (...) the impact of partitions on the choice of priors in formal probabilistic updating frameworks, and on human subjective probability judgements. That material is followed by an overview of strategies for dealing with partition dependence, including considerations of how a rational agent's preferences may determine the choice of a partition. (shrink)

The modern abundance and prominence of data has led to the development of “data science” as a new field of enquiry, along with a body of epistemological reflections upon its foundations, methods, and consequences. This article provides a systematic analysis and critical review of significant open problems and debates in the epistemology of data science. We propose a partition of the epistemology of data science into the following five domains: (i) the constitution of data science; (ii) the (...) kind of enquiry that it identifies; (iii) the kinds of knowledge that data science generates; (iv) the nature and epistemological significance of “black box” problems; and (v) the relationship between data science and the philosophy of science more generally. (shrink)

The modern abundance and prominence of data have led to the development of “data science” as a new field of enquiry, along with a body of epistemological reflections upon its foundations, methods, and consequences. This article provides a systematic analysis and critical review of significant open problems and debates in the epistemology of data science. We propose a partition of the epistemology of data science into the following five domains: (i) the constitution of data science; (ii) the (...) kind of enquiry that it identifies; (iii) the kinds of knowledge that data science generates; (iv) the nature and epistemological significance of “black box” problems; and (v) the relationship between data science and the philosophy of science more generally. (shrink)

Medical terminology collects and organizes the many different kinds of terms employed in the biomedical domain both by practitioners and also in the course of biomedical research. In addition to serving as labels for biomedical classes, these names reflect the organizational principles of biomedical vocabularies and ontologies. Some names represent invariant features (classes, universals) of biomedical reality (i.e., they are a matter for ontology). Other names, however, convey also how this reality is perceived, measured, and understood by health professionals (i.e., (...) they belong to the domain of epistemology). We analyze terms from several biomedical vocabularies in order to throw light on the interactions between ontological and epistemological components of these terminologies. We identify four cases: 1) terms containing classification criteria, 2) terms reflecting detectability, modality, uncertainty, and vagueness, 3) terms created in order to obtain a complete partition of a given domain, and 4) terms reflecting mere fiat boundaries. We show that epistemology-loaded terms are pervasive in biomedical vocabularies, that the “classes” they name often do not comply with sound classification principles, and that they are therefore likely to cause problems in the evolution and alignment of terminologies and associated ontologies. (shrink)

In the modern era rationality, intersubjectivity and objectivity are primarily conceived as epistemological categories. They characterize knowledge or subjects ofknowledge, or even the function of knowledge—cognition. Epistemocentrism (in P. Bourdieu’s view a typical feature of modern thinking) supported by epistemological fundamentalism is nothing else but a limitation of this category’s meaning. Epistemocentrism was useful in the past but is now anachronic in view of the modern functions of knowledge in societies and the progress in social sciences. Today the sciences and (...) their contribution to society are not what they once were. This calls for a revision of epistemocentrism and the filling of the “epistemological gap” which emerged in result of the collapse of epistemological fundamentalism. I think that there is room today for a new “philosophical partition of reality” emancipated from the Cartesian despotism of ego cogito, and a recovery of the intuitional insights into social life typical of ancient thinkers like Aristotle. In the present paper I strive to show that epistemocentrism is anepistemological obstacle in the social sciences and the source of its crises. (shrink)

Una de las características de la eucología hispana es su enfoque en el misterio conocido, mediatizado y participado en el rito a través de la fe. Esta división va a guiar nuestra reflexión sobre el concepto del misterio. Primero, el rito hispano-mozárabe es orientado hacia ad consideranda divinis Mysteriis sacramenta. Segundo, para los mozárabes, el misterio no es un simple recordatorio de la incognoscibilidad de Dios, sino apunta hacia una revelación trinitaria. Finalmente, la eucología hispana se esfuerza en indicar la (...) manera adecuada de celebrar los mysteriis solemnitatis. One of the characteristics of the Hispanic euchology is its focus on the mystery known, mediated and participated in the rite by faith. This tri-partite division will determine our reflection on mystery. First, Mozarabic Rite is oriented ad consideranda divinis Mysteriis sacramenta. Second, for Mozarabs, the mystery is not so much a reminder of the unknowability of God but means his Trinitarian revelation. Finally, the Hispanic euchology is marked by concern for adequately celebrating mysteriis solemnitatis. (shrink)

Whilst Bayesian epistemology is widely regarded nowadays as our best theory of knowledge, there are still a relatively large number of incompatible and competing approaches falling under that umbrella. Very recently, Wallmann and Williamson wrote an interesting article that aims at showing that a subjective Bayesian who accepts the principal principle and uses a known physical chance as her degree of belief for an event A could end up having incoherent or very implausible beliefs if she subjectively chooses the (...) probability of an event F for which she has much poorer evidence. They also argued that their own version of objective Bayesianism is completely immune to that challenge. In this article, after having presented the strongest version of Wallmann’s and Williamson’s argument, I will show that if successful, it has far-reaching consequences and would not only invalidate moderate subjective Bayesianism and imprecise probalism but also a form of objective Bayesianism that relies on conditionalisation, the principal principle, reference classes, and the principle of indifference applied to the most basic partitions. I then argue that their argument can be defeated by adding the rule that it is always irrational to choose a probability that can be computed from the known probabilities associated to one’s other beliefs. I finally argue that the authors’ main intuition that probabilities have different degrees of reliability favours imprecise Bayesianism over precise Bayesianism. (shrink)

The heart of my dissertation project is the proposal of a new updating rule for responding to learning experiences consisting of continuous streams of evidence. I suggest characterizing this kind of learning experience as a continuous stream of stipulated credal derivatives, and show that Continuous Probability Kinematics is the uniquely coherent response to such a stream which satisfies a continuous analogue of Rigidity – the core property of both Bayesian and Jeffrey conditionalization. In the first chapter, I define neighborhood norms (...) of rationality with reference to Kenny Easwaran’s definition of neighborhood properties. I summarize and comment on some of the key arguments in the dispute between time-slice epistemologists, who argue that there are no fundamentally diachronic norms of rationality, and the proponents of diachronic norms. I am sympathetic to two of the key motivations often given in support of the synchronist position: mentalist internalism and the idea that metaphysical disputes about the identity of persons in bizarre puzzle cases should not play a central role in epistemologists’ assessments of the rationality of agents. However, I argue that time-slice epistemology cannot adequately address the rationality of temporally-extended processes like reasoning and learning. Neighborhood norms present a viable third way between these two positions, capturing much of the spirit of the previously-discussed synchronist motivations while still providing just enough temporal structure to meaningfully guide and evaluate temporally-extended rational processes. Continuous Probability Kinematics is an example of one such neighborhood norm. In the second chapter, I develop my updating rule CPK and establish many of its core properties. Of special note here are the deep connections to Jeffrey’s Probability Kinematics, as well as some key differences. The net result of any CPK updating process will always be representable as a Jeffrey shift on the refined partition generated by the propositions that the agent is receiving direct evidence concerning. However, one crucial difference is that CPK provides an intuitive account of how to combine the effects of learning experiences that are each about fundamentally different underlying partitions. In CPK’s formalism, an agent can receive simultaneous evidence streams about an arbitrary (finite) number of propositions, which can themselves be evidentially related in any way. At any given instant, the result of the combination is a simple sum of the effects that learning about the individual propositions would have separately. CPK is concerned with a novel kind of learning experience and involves a novel characterization of evidence. The third and final chapter of this dissertation is concerned with explaining what this characterization of evidence means and with arguing that it can be the basis for genuine learning. I begin by characterizing learning experiences in terms of the Value of Information, and prove a Value of Information theorem for CPK learning experiences under the assumption of a Martingale constraint on the agent’s prior distribution over the signals that they might receive. I examine Timothy Williamson’s arguments that evidence must be propositional and express my skepticism. I then explore two different routes to model agents who update by CPK as if they are learning some propositional content and updating the rest of their credences by Bayesian conditionalization on this content. The second of these two routes provides a very interesting lens to reexamine the evidential commitments that underwrite updating by CPK, which I analyze. (shrink)

While there is a steadily growing literature on epistemic injustice in healthcare, there are few discussions of the role that biomedical technologies play in harming patients in their capacity as knowers. Through an analysis of newborn and pediatric genetic and genomic sequencing technologies (GSTs), I argue that biomedical technologies can lead to epistemic injustice through two primary pathways: epistemic capture and value partitioning. I close by discussing the larger ethical and political context of critical analyses of GSTs and their broader (...) implications for just and equitable healthcare delivery. (shrink)

Gyenis and Rédei (G&R) have shown that any prior _p_ on a finite algebra _A_, however chosen, significantly restricts the set of posteriors derivable from _p_ by Jeffrey conditioning (JC) on a nontrivial measurable partition (i.e., a partition consisting of members of _A_, at least one of which is not an atom of _A_). They support this claim by proving that the set of potential posteriors _not derivable_ from _p_ in this way, which they call the _Bayes blind (...) spot of p_, is large, having cardinality _c_ and normalized Lebesgue measure 1, as well as being of second Baire category for a natural metrizable topology. In the present paper, we establish results analogous to those of G&R for probability measures on any infinite sigma algebra of subsets of a countably infinite set (which requires distinctly different treatments of the topological and measure-theoretic cases). We also show, in both the finite and infinite cases, that all of the limitative results for a single prior _p_ continue to hold for the intersection of the Bayes blind spots of countably many priors. This leads us to reject the claim of G&R that the large size of blind spots in the single prior case is attributable to the limitations imposed by priors. We argue instead that it is the so-called _rigidity property_ of JC that accounts for the large size of Bayes blind spots. G&R also prove that _any_ potential posterior _q_ can be derived from a prior _p_ by at most two applications of JC on nontrivial partitions. But they remark that their particular two-stage derivation of an \(r \in BS(p)\) from _p_ is barely distinguishable from a single, complete reassessment on a trivial partition. We show, however, that there are two-stage derivations of _r_ from _p_ that require no direct assessment of the probability of any atom at either stage. Finally, in order to situate the aforementioned limitative results in the proper context, we demonstrate that a probability revision that would amount to complete reassessment within a Jeffrey evidentiary framework may arise, in a different evidentiary framework, in a way that involves no direct assessment of the probability of any atom, as, for example, in a generalization of Jeffrey’s solution to the problem of old evidence and new explanation. (shrink)

Evolutionary transitions in individuality (ETIs) are events during which individuals at a given level of organization (particles) interact to form higher-level entities (collectives) which are then recognized as new individuals at that level. ETIs are intimately related to levels of selection, which, following Okasha, can be approached from two different perspectives. One, referred to as ‘synchronic’, asks whether selection occurs at the collective level while the partitioning of particles into collectives is taken for granted. The other, referred to as ‘diachronic’, (...) asks about the origins of the partitioning of particles into collectives. After having presented the two perspectives and a classical formalism used to deal with the levels-of-selection question in the literature, namely the multilevel version of the Price equation, I show that because this formalism treats the levels-of-selection question from a synchronic perspective, it is inadequate to explain ETIs. This is because a fundamental aspect of ETIs is the origin of collectives. From there, I develop a framework for levels of selection compatible with the diachronic perspective. This framework relies on the distinction between what I call, on the one hand, a ‘functional aggregative collective trait’, and on the other hand, a ‘functional non-aggregative collective trait’. After having presented this distinction, I implement it in the Price equation, leading to a new statistical partitioning of this equation which, I argue, represents a causal decomposition more relevant for ETIs. Finally, I exploit this partitioning to explain the critical stages of an ETI. In addition to its explanatory power, a measure of the degree of functional non-aggregativity could be used as a proxy for the degree of individuality of a collective. (shrink)

This essay develops a joint theory of rational (all-or-nothing) belief and degrees of belief. The theory is based on three assumptions: the logical closure of rational belief; the axioms of probability for rational degrees of belief; and the so-called Lockean thesis, in which the concepts of rational belief and rational degree of belief figure simultaneously. In spite of what is commonly believed, this essay will show that this combination of principles is satisfiable (and indeed nontrivially so) and that the principles (...) are jointly satisfied if and only if rational belief is equivalent to the assignment of a stably high rational degree of belief. Although the logical closure of belief and the Lockean thesis are attractive postulates in themselves, initially this may seem like a formal “curiosity”; however, as will be argued in the rest of the essay, a very reasonable theory of rational belief can be built around these principles that is not ad hoc and that has various philosophical features that are plausible independently. In particular, this essay shows that the theory allows for a solution to the Lottery Paradox, and it has nice applications to formal epistemology. The price that is to be paid for this theory is a strong dependency of belief on the context, where a context involves both the agent's degree of belief function and the partitioning or individuation of the underlying possibilities. But as this essay argues, that price seems to be affordable. (shrink)

In the longstanding foundational debate whether to require that probability is countably additive, in addition to being finitely additive, those who resist the added condition raise two concerns that we take up in this paper. (1) _Existence_: Settings where no countably additive probability exists though finitely additive probabilities do. (2) _Complete Additivity_: Where reasons for countable additivity don’t stop there. Those reasons entail complete additivity—the (measurable) union of probability 0 sets has probability 0, regardless the cardinality of that union. Then (...) probability distributions are discrete, not continuous. We use Easwaran’s (Easwaran, Thought 2:53–61, 2013) advocacy of the _Comparative_ principle to illustrate these two concerns. Easwaran supports countable additivity, both for numerical probabilities and for finer, qualitative probabilities, by defending a condition he calls the _Comparative_ principle [ \({\mathcal{C}}\) ]. For numerical probabilities, principle \({\mathcal{C}}\) contrasts pairs, P 1 and P 2, defined over a common partition \(\prod\) = {a _i_ : _i_ ∈ I} of measurable events. \({\mathcal{C}}\) requires that no P 1 may be pointwise dominated, i.e., no (finitely additive) probability P 2 exists such that for each _i_ ∈ I, P 2 (a _i_ ) > P 1 (a _i_ ). By design, the cardinality of \(\prod\) is not limited in \({\mathcal{C}}\), which Easwaran asserts is important when arguing that the principle does not require more, or less, than that probability is countably additive. We agree that a numerical probability P satisfies principle \({\mathcal{C}}\) in all partitions just in case P is countably additive. However, we show that for numerical probabilities, by considering the size of the algebra of events to which probability is applied, principle \({\mathcal{C}}\) is subject to each of the above concerns, (1) and (2). Also, Easwaran considers principle \({\mathcal{C}}\) with non-numerical, qualitative probabilities, where a qualitative probability may be finer than an almost agreeing numerical probability P. A qualitative probability is regular if possible events are strictly more likely than impossible events. Easwaran motivates and illustrates regular qualitative probabilities using a continuous, almost agreeing quantitative probability that is uniform on the unit interval. We make explicit the conditions for applying principle \({\mathcal{C}}\) with qualitative probabilities and show that \({\mathcal{C}}\) restricts regular qualitative probabilities to those whose almost agreeing quantitative probabilities are completely additive. For instance, Easwaran’s motivating example of a regular qualitative probability is precluded by principle \({\mathcal{C}}\). (shrink)

A key ingredient of the metaphysical doctrine of dual-aspect monism is a psychophysically neutral domain, of which mental and physical aspects arise as epistemic descendants that manifest themselves by decomposition. This primer first introduces some elementary notions to define the basic concepts needed to understand the approach, such as those of states, state spaces, observables, partitions and correlations. Using these notions, the concepts of decomposition and manifestation are explained, and a differentiated view of the mereological distinction of wholes and parts (...) is outlined. Next, a number of historical and contemporary accounts of psychophysical neutrality with philosophical (Plato, Spinoza, Schelling, Kant), scientific (Bohm, Pauli, Jung, Connes, Gibson), and artistic (sculpture, music) flavor are given as illustrative examples. Finally, correlations between the psychophysically neutral, the mental, and the physical domain of reality are discussed, in which these correlations are substantiated by meaning. (shrink)

Causal theories of content, a popular family of approaches to defining the content of mental states, commonly run afoul of two related and serious problems that prevent them from providing an adequate theory of mental content—the misrepresentation problem and the disjunction problem. In this paper, I present a causal theory of content, built on information theoretic tools, that solves these problems and provides a viable model of mental content. This is the greatest surprise reduction theory of content, which identifies the (...) content of a signal as the event the surprisal of which is most reduced by that signal. Conceptually, this amounts to the claim that the content of a signal is the event the probability of which has increased by the largest proportion, or the event that the signal makes the most less surprising to us. I develop the greatest surprise reduction theory of content in four stages. First, I introduce the general project of causal theories of content, and the challenges presented to this project by the misrepresentation and disjunction problems. Next, I review two recent and prominent causal theories of content and demonstrate the serious challenges faced by these approaches, both clarifying the need for a solution to the misrepresentation and disjunction problems and providing a conceptual background for the greatest surprise reduction theory. Then, I develop the greatest surprise reduction theory of content, demonstrate its ability to resolve the misrepresentation and disjunction problems, and explore some additional applications it may have. Finally, I conclude with a discussion of a particularly difficult challenge that remains to be addressed—the partition problem—and sketch a path to a potential solution. (shrink)

We explore the relationship between evidence and knowledge when knowledge is described by a standard partition over a finite state space, and evidence is represented by a state-dependent collection of finite sets of messages. When the collection is measurable with respect to the partition, there is evidence for an event only if the event is self-evident—i.e., known at every one of its states. Thus, an event is commonly known in and only if there is _mutual_ evidence that implies (...) that the event has occurred, and all knowledge can be proved only when the agent is informed about the state or knows nothing. The existence of partial provability outside these two extremes hinges on the non monotonic nature of provability. (shrink)

Humberstone has shown that if some set of agents is collectively omniscient (every true proposition is known by at least one agent) then one of them alone must be omniscient. The result is paradoxical as it seems possible for a set of agents to partition resources whereby at the level of the whole community they enjoy eventual omniscience. The Humberstone paradox only requires the assumption that knowledge distributes over conjunction and as such can be viewed as a reductio against (...) the universal validity of that principle. A new route to this paradox is presented which does not require the distribution principle, building on earlier work of Jago and Williamson on Fitch’s paradox. The result relies on an axiom strictly weaker than one necessary for the Jago-Fitch variant. It is shown that the same reasoning behind the variant form of Humberstone’s paradox can recover Bigelow’s results in action theory in a way that is immune to an objection brought against it by Guigon and Humberstone. (shrink)

Rédei and Gyenis recently displayed strong constraints of Bayesian learning. However, they also presented a positive result for Bayesianism. Despite the limited significance of this positive result, I find it useful to discuss its two possible strengthenings to present new results and open new questions about the limits of Bayesianism. First, I will show that one cannot strengthen the positive result by restricting the evidence to so-called “certain evidence”. Secondly, strengthening the result by restricting the partitions—as parts of one’s evidence—to (...) Jeffrey-independent partitions requires additional constraints on one’s evidence to preserve its commutativity. So, my results provide additional grounds for caution and support for the limitations of Bayesian learning. (shrink)

Piercing incisively and deeply into the nature of the overlapping of the material andmental realms. Aage Petersen uncovers the reciprocal relations between quantum physics and theconcepts of metaphysics and epistemology, assessing the extent to which each has influenced theother. The author is eminently qualified to undertake this important work, which grew out of hisclose contact with Neils Bohr and his Copenhagen school during the years 1952-1962.Although themathematical formalism of quantum physics has long since been established, the question of itsphysical (...) interpretation is not yet closed, and the question of its philosophical interpretationremains in a formative state. The most widely accepted physical interpretation of the quantalformalism emerged from discussions between Bohr and Heisenberg in the winter of 1926-1927. ThisCopenhagen Interpretation centers around the relations of indeterminacy around the relations ofindeterminacy and the concept of complementarity, and was refined but not radically altered in theyears following, especially during the famous debate with Einstein on the completeness possible inthe description of events. The philosophical interpretation has proceeded along two principal lines:Bohr's emphasis on complementarity as a unifying concept, and Heisenberg's exploration of therelationship of quantum physics to the traditional categories of philosophy.To Bohr's mind, thecentral feature of human knowledge is the distinction between subject and object. The indeterminacyof the placing of the partition between instrument and system, which played so large a part inquantal description was, Bohr believed, an expression of the general relation between the knower andthe knowable. He thus sought to find relationships of complementarity in areas beyond quantumphysics.Quantum physics and traditional philosophy certainly relate enough to interact--even thoughthe effects of interaction may produce uncertain results. Heisenberg's view also emphasizes thatscience describes, not nature itself, but the interplay between nature and man, nature as affectedby man's method of questioning, thus denying the school of philosophical thought that began withDescartes' sharp separation of the World and the I.The author's investigation leads him as well tobelieve that complementarity is deeply linked to the basis of philosophy, but that the details ofthe relationship are so obscure that some other feature of quantum physics that makes amore directconnection with philosophy should be sought. He is led to choose the idea of correspondence as suchfeature. This idea played a key role in the development of the matrix version of the formalism andof the Copenhagen interpretation.Mathematically, the idea of correspondence was seen to imply thatquantal formalisms should emerge as generalizations of classical entities, that matrix mechanics wasa generalization of classical Hamiltonian mechanics. It is in this possibility of treating thetraditional categories of philosophy as limits of a more general scheme, or as analogies of a deeperorder, that the fruitfulness of the correspondence idea lies. (shrink)

Thermodynamic macro variables, such as the temperature or volume macro variable, can take on a continuum of allowable values, called thermodynamic macro values. Although referring to the same macro phenomena, the macro variables of Boltzmannian Statistical Mechanics (BSM) differ from thermodynamic macro variables in an important respect: within the framework of BSM the evolution of macro values of systems with finite available phase space is invariably modelled as discontinuous, due to the method of partitioning phase space into macro regions with (...) sharp, fixed boundaries. Conceptually, this is at odds with the continuous evolution of macro values as described by thermodynamics, as well as with the continuous evolution of the micro state assumed in BSM. This discrepancy I call the discontinuity problem. I show how it arises from BSM’s framework and demonstrate its consequences, in particular for the foundational project of reducing thermodynamics to BSM: thermodynamic macro values are shown to not supervene on the corresponding BSM macro values. With supervenience being a conditio sine qua non for the kind of reduction envisaged by the foundational project, the latter is in jeopardy. (shrink)

Chapter 1 First Person Access to Mental States. Mind Science and Subjective Qualities -/- Abstract. The philosophy of mind as we know it today starts with Ryle. What defines and at the same time differentiates it from the previous tradition of study on mind is the persuasion that any rigorous approach to mental phenomena must conform to the criteria of scientificity applied by the natural sciences, i.e. its investigations and results must be intersubjectively and publicly controllable. In Ryle’s view, philosophy (...) of mind needs to adopt an antimentalist stance to achieve this aim. Antimentalism not only definitively rejects the idea that mind is a substance separated from the body, it also denies that mental phenomena radically differ from physical phenomena by virtue of several unique features. Most problematically, mental phenomena have a conscious character (mental states are related to specific qualitative feelings) and are accessible only to the first-person (only the subject knows directly what s/he is experiencing inside his/her mind). Ryle takes a strong stance on antimentalism going so far as to maintain that an approach to mind which aims to meet the criteria of scientificity set by the natural sciences must avoid any reference to internal, unobservable mental states. In his view (which is considered a specifically philosophical version of psychological behaviorism and also addresses questions put forward in psychological research), mental states can be redescribed in terms of behavioral dispositions. In this chapter, we address the historical roots of the antimentalist view and analyze its relation to the later tradition of research on mind. We show that, compared to the antimentalist stance, functionalism and cognitivism take a step back when they maintain that direct reference to mental states is necessary since mental states cause and therefore explain human behavior. This step backwards is often interpreted as a return to mentalism. However, this is only partially true. Indeed, we suggest that these later traditions retain one important element of Ryle’s antimentalism, i.e. the idea that mental states must be uniquely identified using external and publicly observable criteria, while excluding any reference to introspection and those qualitative dimensions of a mental state, which are accessible only to the first-person. According to the perspective we put forward, this epistemological stance has continued to influence contemporary research on mind and current philosophical and psychological theories which both tend to exclude the subjective qualities of human experience from their accounts of how the mind works. The issue we raise here is whether this is legitimate or whether subjective qualities do play a role with respect to the way our mind works. The conclusion of this chapter anticipates the argument the book makes in in favor of this latter position, starting from a particular angle, i.e. the problem of how we categorize concepts related to our internal states. -/- Chapter 2 The Misleading Aspects of the Mind/Computer Analogy. The Grounding Problem and the Thorny Issue of Propriosensitive Information -/- Abstract. After the crisis of behaviorism, cognitivism and functionalism became the predominant models in the field of psychology and of philosophy, respectively. Their success is mainly due to the new key they use for interpreting mental processes: the mind/computer analogy. On the basis of this analogy, mental operations are seen as cognitive processes based on computations, i.e. on manipulations of abstract symbols which are in turn understood as informational unities (representations). This chapter identifies two main problems with this model. The first is how these symbols can relate to and communicate with perception and thus allow us to identify and classify what we perceive through the senses. Here we limit ourselves to presenting this issue in relation to the classical symbol grounding problem originally put forward by Harnad on the basis of Searle’s Chinese room argument. An attempt to address the problem raised here will be made in chap. 3. The second point we discuss in relation to the mind/computer analogy concerns the idea of information it fosters. Indeed, following this analogy, information is something available in the external world which can be captured by the senses and transmitted to the central system without being influenced or modified by the procedures of transmission. This perspective does not take into account that – unlike computers – in living beings information is acquired by means of the body. As Ulric Neisser has already pointed out, the body is itself an informational source that provides us with additional sensory experience that influences (modifies or complements) the information extracted from the external world by the senses. To develop this line of analysis and to determine exactly what information is provided by the body and how this might influence cognition, we examine Sherrington’s and Gibson’s positions. Moving on from their views, we qualify bodily information in terms of ‘proprioception’. We use ‘proprioception’ in a broad sense to describe any kind of experience we have of our internal states (including postural information as well as sensations related to the general state of the body and its parts). Following Damasio’s and Craig’s studies, we further elaborate this position, arguing that living beings are equipped with an internal propriosensitive monitoring system which maps all the changes that constantly occur in our body and that give us perceptual (‘proprioceptive’ or propriosensitive) information about what happens inside us. Moreover, relying on Goldie’s and Ratcliffe’s view, we show that emotional information can also be considered as a form of ‘proprioception’ which contributes to determining everything we perceive. This analysis leads us to the second main thesis of this book: ‘proprioception’ is a form of internal perception and it is an essential component of the sensory information we can access and use for all cognitive purposes. -/- Chapter 3 Semantic Competence from the Inside: Conceptual Architecture and Composition -/- Abstract. Concepts are essential constituents of thought: they are the instruments we use to categorize our experience, i.e. to classify things and group them together in homogeneous sets. Here we define concepts as the internal mental information (representations) that allows us, among other things, to master words in natural language. By analyzing the way in which individuals master word meanings we explore a number of hypotheses regarding the nature of concepts. Following Diego Marconi’s research, we differentiate between two kind of abilities that underpin lexical competence – so-called ‘referential’ and ‘inferential competence’ – and we suggest that, in order to support these abilities, concepts must also include two corresponding kinds of information, i.e. inferential and referential information. We point out that the most widely used and acknowledged theories of concepts do not make this distinction, instead broadly characterizing the information used for categorization in terms of propositionally described feature lists. However, we show that while feature lists can explain inferential competence, they do not account for referential competence. To address the issue of referential competence we examine Ray Jackendoff’s hypothesis that to account for the possibility of linking perceptual and conceptual information we need to assume the existence of a (visual) representation that encodes the geometric and topological properties of objects and bridges the gap between the percept and the concept. Furthermore, we analyze the extension of this work by Jesse Prinz who introduced the notion of a proxytype, a perceptual representation of a class of objects that incorporates structural and parametric information related to their appearance. However, as we point out, proxytypes can only explain the relationship between perception and concepts with respect to instances that can be perceived through the senses and that belong to the same class by virtue of their physical similarity. We suggest that this notion be extended to include larger conceptual classes. To accomplish this, we further develop Mark Johnson, George Lakoff and Jean Mandler’s idea of a schematic image and argue that conceptual representations include a perceptual schema. Perceptual schemata are non-linguistic, structured experiential gestalts (patterns or maps) that make use of information taken from all sensory modalities, including body perception. They accomplish a quasi-conceptual function: they allow us to recognize and to classify different instances. In this work, we hypothesize that perceptual schemata are an essential component of concepts, but not identical to them. Instead, we suggest that concepts include both perceptual and propositional information with perceptual schemata providing the ‘perceptual core concept’ that grounds related propositional information. -/- Chapter 4 In the Beginning There Were Categories. The Bodily Origin of Prelinguistic Categorical Organization: The Example of Folkbiological Taxonomies -/- Abstract. Studies of categorization in psychology and the cognitive sciences have made use of the notions of ‘category’ and ‘concept’ without precisely defining what is meant by either; in fact, often these terms have been used as synonyms, making it difficult to address specific issues related to conceptual development. This chapter begins by discussing the definitions of, as well as the distinctions between, ‘categories’ and ‘concepts’ in the classical philosophical tradition (Aristotle, Kant and Husserl). We introduce our view of categories with reference to Husserl. Categorization is defined as the way in which our experience is originally (pre-linguistically) organized in a passive and fully unconscious manner on the basis of universal structuring principles. Conceptualization is explained as a later process in which the earlier categorical macro-classes are further subdivided into more specific and detailed sets; this later process also relies on linguistic learning and exposure to culture. On the basis of Ray Jackendoff, Jean Mandler, George Lakoff and Mark Johnson’s work, we hypothesize that categorization is a two-step process that begins with the formation of homogeneous sets of entities partitioned into regions that describe the ontological boundaries of the objects that humans perceive (categories) and continues at a later stage with the development of more specific classifications (concepts). In this chapter, we mainly address three related issues: Why should we assume that there is categorical organization which precedes the development of a conceptual system? How do categories and concepts relate to each other? Shall we hypothesize that categories are innate or that they are formed before concepts on the basis of information and organizational structure available at a very early developmental stage? We show that categorical partitions are necessary for categorization and, following Mandler, that the general categories we form at an early age do not match our adult superordinate concepts. As for the third issue, we argue that there might be no need to assume that categories are innately present in the human mind, since their formation can be explained – at least in certain cases – by basic mechanisms that work on body (propriosensitive) information. This hypothesis will not be discussed in general, but in relation to a particularly relevant example of categorical partition, i.e. the folk-biological dichotomy between ANIMATE/INANIMATE. This is compared with other dichotomies that derive from it, but are not directly categorical such as LIVING/NON-LIVING and BIOLOGICAL/NON-BIOLOGICAL. -/- Chapter 5 Internal States: From Headache to Anger. Conceptualization and Semantic Mastery -/- Abstract. Here we ask if we can also apply the distinction between referential and inferential competence we introduced in Chapter 3 to words that do not refer to things that are perceived using the external senses, especially to words/concepts that denote bodily experiences (such as pain, thirst, hunger, etc.) or emotions. We introduce and discuss the hypothesis that – even though such words/concepts do not refer to intersubjectively identifiable entities in the external world – they do have a kind of referent that can be accessed via direct perception, more specifically ‘proprioception’, as we have defined it in terms of all propriosensitive information we can consciously access. In the first part of the chapter, we specifically consider terms denoting bodily experiences such as ‘pain’ or ‘hunger’ and argue that their referents are identified and classified from a first-personal point of view on the basis of four main characteristics: their specific intensity, their localization in the body, their co-occurrence with other signals and above all their specific qualitative sensations. Emotions are addressed in the second part of the chapter. We suggest that there is a continuity between bodily experiences and emotions. In particular, we argue for a perceptual theory of emotions in line with that proposed by James and Lange at the end of the 19th century and developed more recently by authors such as Damasio (see also chap. 2§5, §6). The hypothesis we put forward is that the referential information that supports the categorization of emotions and therefore also our mastery of terms referring to emotions consists in the perception (i.e. the ‘proprioception’) of those bodily states and changes in bodily states which constitute our emotional experience. In the context of this discussion we examine some objections to this line of reasoning that arise from a cognitivist perspective and following authors such as Oatley, Johnson-Laird and Frijda, we distinguish between basic emotions that can be identified and classified solely on the basis on how they feel and complex emotions whose identification and classification additionally depends on cognitive factors. To describe how emotions are identified and classified on the basis of how they feel, we rely on Marcel and Lambie’s distinction between an ‘emotion state’ and an ‘emotion experience’. Both notions indicate kinds of feelings that we consciously experience. However, they describe first-order and second order emotion awareness respectively. The emotion state is the feeling we have of the bodily states and changes that occur when we are experiencing an emotion, while the emotion experience is the fully developed and integrated emotion we both experience and are, with reflection, aware of experiencing. On the basis of this differentiation, we also show that the same characteristics that aid in the identification and classification of bodily experiences (specific qualitative sensations; somatic localization; specific intensity; presence/absence of specific concomitant sensations) can also be used for the identification and classification of emotions – at least basic emotions. In the last two sections of the chapter we present some clinical evidence on the semantic competence of people who suffer from Alexithymia and Autism Spectrum Disorder which supports the conclusions of our preceding analyses. -/- Chapter 6 The ‘Proprioceptive’ Component of Abstract Concepts -/- Abstract. In this chapter, we address the issue of whether the mastery of abstract words requires only inferential knowledge and thus, if the concepts that support the mastery of abstract words include only linguistic information. We start by differentiating the notions of ‘abstract’ and ‘general’ which are often erroneously confused. We then identify a strict definition of abstract, as contrasted with ‘concrete’, that applies to words or concepts whose referent cannot be experienced by the senses. We argue that abstract words/concepts would be better described as theoretical, because they are usually conceived as structured sets of inferential knowledge expressed linguistically; that is, as small theories. Pointing out parallels with Carnap’s analysis of this issue in philosophy of science, we hypothesize that words/concepts denoting non-observable entities are not all ‘equally theoretical’, because their link to sensory experience can be stronger or weaker. We revive the distinction, inspired by Quine, between theoretical and intertheoretical concepts/words. This distinction relies on the fact that the former – unlike the latter – retains a strong, although indirect, connection with perception. In Quine’s discussion, perception is understood uniquely in terms of observability, i.e. of external sensory experience. Here we argue, however, that bodily, ‘proprioceptive’ (i.e. propriosensitive) experience can also serve to referentially ground theoretical (i.e. abstract) concepts/words. We frame this issue using the example of the theoretical concept ‘freedom’ and Lakoff’s hypothesis that this concept is developed on the basis of bodily information. We contrast this with the example of ‘democracy’ which more closely resembles an intertheoretical concept/word. Furthermore, we show that one of the classical views put forward in psycholinguistic research to explain how abstract concepts are mentally represented – i.e. Paivio’s Dual Coding Theory – points in the same direction as our analysis. The same is true of Barsalou’s work suggesting that we use internal information to understand at least some abstract words. To sustain this position, we put forward two lines of evidence: the first comes from psycholinguistic studies while the second examines deficits of semantic competence exhibited by people with Autism Spectrum Disorder. On the basis of our analysis, we put forward a classification that distinguishes between different kinds of concreteness and different degrees of abstraction: concepts/words referring to body experiences and basic emotions are described as analogous to concrete concepts/words because they are grounded in perceptual (i.e. propriosensitive) experience, while abstract concepts/words are considered more or less abstract depending on whether they are intratheoretical (and rely entirely on inferential information) or theoretical (and are partially grounded in perceptual – or more often in propriosensitive perceptual – information). In the last section of the chapter we consider two scales that have been used in psycholinguistic research to measure the degree of concreteness vs. abstractness of words and we show that – used conjointly – they can provide a measure of the internal vs. external grounding of specific words. (shrink)

A scientific explanatory project, part-whole explanation, and a kind of science, part-whole science are premised on identifying, investigating, and using parts and wholes. In the biological sciences, mechanistic, structuralist, and historical explanations are part-whole explanations. Each expresses different norms, explananda, and aims. Each is associated with a distinct partitioning frame for abstracting kinds of parts. These three explanatory projects can be complemented in order to provide an integrative vision of the whole system, as is shown for a detailed case study: (...) the tetrapod limb. My diagnosis of part-whole explanation in the biological sciences as well as in other domains exploring evolved, complex, and integrated systems (e.g., psychology and cognitive science) cross-cuts standard philosophical categories of explanation: causal explanation and explanation as unification. Part-whole explanation is itself one essential aspect of part-whole science. (shrink)

Within analytic philosophy, induction has been seen as a problem concerning inferences that have been analysed as relations between sentences. In this article, we argue that induction does not primarily concern relations between sentences, but between properties and categories. We outline a new approach to induction that is based on two theses. The first thesis is epistemological. We submit that there is not only knowledge-how and knowledge-that, but also knowledge-what. Knowledge-what concerns relations between properties and categories and we argue that (...) it cannot be reduced to knowledge-that. We support the partition of knowledge by mapping it onto the long-term memory systems: procedural, semantic and episodic memory. The second thesis is that the role of inductive reasoning is to generate knowledge-what. We use conceptual spaces to model knowledge-what and the relations between properties and categories involved in induction. (shrink)

Within analytic philosophy, induction has been seen as a problem concerning inferences that have been analysed as relations between sentences. In this article, we argue that induction does not primarily concern relations between sentences, but between properties and categories. We outline a new approach to induction that is based on two theses. The first thesis is epistemological. We submit that there is not only knowledge-how and knowledge-that, but also knowledge-what. Knowledge-what concerns relations between properties and categories and we argue that (...) it cannot be reduced to knowledge-that. We support the partition of knowledge by mapping it onto the long-term memory systems: procedural, semantic and episodic memory. The second thesis is that the role of inductive reasoning is to generate knowledge-what. We use conceptual spaces to model knowledge-what and the relations between properties and categories involved in induction. (shrink)

In this paper, I take up the question of whether the phenomenon of self-deception requires a radical sort of partitioning of the mind, and argue that it does not. Most of those who argue in favor of partitioning accept a model of self-deception according to which the self-deceived person desires to and intentionally sets out to form a certain belief that she knows to be false. Such a model is similar to that of deception of other persons, and for this (...) reason is thought to require that the self-deceiver’s mind be partitioned; one “part” of her knows the truth, while the other “part” is convinced of a false belief. I argue that while both the partitionist model and its main competitor should be rejected, each contains a key insight. On the one hand, anti-partitionist models correctly invoke some sort of desire or motivation on the part of self-deceivers as playing a role in the acquisition of their beliefs. But it is partitionists who identify the right sort of desire, namely, the desire to believe. (shrink)

I argue that one central aspect of the epistemology of causation, the use of causes as evidence for their effects, is largely independent of the metaphysics of causation. In particular, I use the formalism of Bayesian causal graphs to factor the incremental evidential impact of a cause for its effect into a direct cause-to-effect component and a backtracking component. While the “backtracking” evidence that causes provide about earlier events often obscures things, once we our restrict attention to the cause-to-effect (...) component it is true to say promoting (inhibiting) causes raise (lower) the probabilities of their effects. This factoring assumes the same form whether causation is given an interventionist, counterfactual or probabilistic interpretation. Whether we think about causation in terms of interventions and causal graphs, counterfactuals and imaging functions, or probability raising against the background of causally homogenous partitions, if we describe the essential features of a situation correctly then the incremental evidence that a cause provides for its effect in virtue of being its cause will be the same. (shrink)

We have reasons to want an epistemology of simple belief in addition to the Bayesian notion of belief which admits of degree. Accounts of simple belief which attempt to reduce it to the notion of credence all face difficulties. We argue that each conception captures an important aspect of our pre-theoretic thinking about epistemology; the differences between the two accounts of belief stem from two different conceptions of unlikelihood. On the one hand there is unlikelihood in the sense (...) of improbability, on the other hand there is unlikelihood in the sense of far-fetchedness. A non-reductive account of simple belief is outlined. Belief aims not just at truth, but at attaining the status of knowledge, and knowledge should satisfy the weak modal principle: If S knows that p then S is certain that there is no possibility very close to actuality at which p is false. The account faces a difficulty in dealing with statistical inductive cases. We sketch a speculative strategy for dealing with such cases, based on the pragmatic considerations that lead to an agent’s partition of the space of possibilities and a nonprobabilistic notion of the “estimated distance” of elements of such a partition from actuality. (shrink)

In the human cognitive economy there are four grades of epistemic involvement. Knowledge partitions into distinct sorts, each in turn subject to gradations. This gives a fourwise partition on ignorance, which exhibits somewhat different coinstantiation possibilities. The elements of these partitions interact with one another in complex and sometimes cognitively fruitful ways. The first grade of knowledge I call “anselmian” to echo the famous declaration credo ut intelligam, that is, “I believe in order that I may come to know”. (...) As construed here, one knows in this anselmian way that E = mc2 just in case one knows that sentence expresses a true statement, but without having to understand the proposition it expresses. Most epistemologists ignore the significance of this grade of epistemic involvement. In a second grade of epistemic involvement, knowing that E = mc2 is knowing what that sentence means and understanding the proposition it express. This is knowledge in the propositional or semantic sense, and is the dominant target of epistemological investigation. Tacit and implicit knowledge occupies another tier. A typical example would be something that someone has “known all along” but, until now, hasn’t had occasion to put her mind to it or formulate in words. TI-knowledge remains a minority interest in today’s epistemology. Operating at a fourth grade of epistemic involvement is what I call “impact”-knowledge, which is the knowledge of a matter at its deepest and most widespread. An example, to be discussed below, is the knowledge that was generated by the Wiles proof of Fermat’s last theorem. Its true importance lies not only, or even mainly, in its verification of a commonly accepted fact about numbers, but rather in its enrichment of the mathematics of elliptical curves and the promise it holds for greater advancement into the mathematical unknown. Knowledge of this fourth grade has yet to find a seat in the parliaments of epistemology. Knowledge of the anselmian sort is independent of the other three. Tacit and implicit knowledge is incompatible with anselmian and semantic knowledge but coinstantiable with impact-knowledge. Semantic knowledge is incompatible with tacit and implicit knowledge but coinstantiable with the others. Impact-knowledge is pairwise coinstantiable with the others. Below I will bring the ignorance partitions into such alignment as they have with these ones. In doing so, I’ll propose a naturalized causal response epistemology designed to give these interactive distinctions the theoretical air they need to breathe. (shrink)

This paper aims to lay out the main tenets of Bernhard Waldenfels’s analyses of the experience of the alien and to confront the philosophical thesis underwriting them with a central insight stemming from Merleau-Ponty’s late philosophy. In the first section, I reconstruct the outlines of the experience of the alien, as described by Waldenfels, and show that, on his account, this experience can function as a powerful impetus enabling us to call into question some of the most deeply held commitments (...) of Western philosophical tradition: the sovereignty of the ego, the supremacy of order, the priority of the whole. In the second section, I show how a patient analysis of this experience compels us to undertake an inquiry concerning the “inter-world,” understood as the place of the encounter and the threshold of separation between the own and the alien. Finally, drawing on Merleau-Ponty’s alternative description of the “inter-world,” I maintain that Waldenfels’s account is insufficiently radical and show that the in-between realm cannot be assimilated to an interstice lodged between two insulated spheres. Rather, the “inter-world” should be conceived of as a shared dimension, subtending the partition between the spheres of ownness and alienness, as the one inclusive world. (shrink)

In this paper I articulate a fictionalist solution to the closure problem that affects constructive empiricism. Relying on Stephen Yablo’s recent study of closure puzzles, I show how we can partition the content of a theory in terms of its truthmakers and claim that a constructive empiricist can believe that all the observable conditions that are necessary to make a part of her theory true obtain and remain agnostic about whether or not the other truthmakers for the other parts (...) of her theory obtain. This can be done even though she asserts her theory as if it was wholly true. (shrink)

It has often been recommended that the differing probability distributions of a group of experts should be reconciled in such a way as to preserve each instance of independence common to all of their distributions. When probability pooling is subject to a universal domain condition, along with state-wise aggregation, there are severe limitations on implementing this recommendation. In particular, when the individuals are epistemic peers whose probability assessments are to be accorded equal weight, universal preservation of independence is, with a (...) few exceptions, impossible. Under more reasonable restrictions on pooling, however, there is a natural method of preserving the independence of any fixed finite family of countable partitions, and hence of any fixed finite family of discrete random variables. (shrink)

Preface -- Part I: Philosophical logic and philosophy of language -- Rules versus theorems : a new approach for mediation -- Between intuitionistic and two-valued logic -- On the relation between the partition of a whole into parts and the attribution of properties to an object -- Basic objectives of dialogic logic in historical perspective -- Pragmatic and semiotic prerequisites for predication : a dialogue model -- Pragmatics and semiotics : the peircean version of ontology and epistemology -- (...) Intentionality and its language-dependency -- Meaning postulates and rules of argumentation : remarks concerning the pragmatic tie between meaning (of terms) and truth (of propositions) -- What do language games measure? -- Features of Indian logic -- Part II: Methods in philosophy, in art, and in science -- The concept of science : some remarks on the methodological issue construction versus description in the philosophy of science -- Is and ought revisited -- Competition and cooperation : are they antagonistic or complementary? -- Another version of methodological dualism -- The pre-established harmony between the two Adams -- On the way to conceptual and perceptual knowledge -- Self and other : remarks on human nature and human culture -- On the concept of symmetry -- Procedural principles of the Eerlangen School : on the interrelation between the principles of method, of dialogue, and of reason. (shrink)

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

Recent years have featured the existence of a variety of structuralisms, with an important partition between methodological versus philosophical structuralism. Inside philosophical structuralism, many trends can be identified, corresponding to various ontological stances. We argue here that another main partition has contributed to organize structuralism in the twentieth century, rooted in different technical and theoretical interests. This partition is largely transversal to the ones classically identified. Concretely, the paper will focus on possible differences between an arithmetical and (...) logical notion of structure that can be traced back to the writings of Bertrand Russell and Rudolf Carnap, and a mathematical notion of structure, exemplified in the works by Bourbaki. This coexistence gives rise to a fundamental ambiguity that affects contemporary structuralism. Philosophically, in one case the attention is rather centered on a foundational and reductionist perspective, as featured by the Whitehead-Russell Principia and the Carnapian project of the Aufbau: the scientific construction of the world around the idea of structure. In the other, the focus is on epistemological and dynamical issues, as exemplified by two key issues in Bourbaki’s treatise: understanding the architecture of mathematics, offering a tool-kit to mathematicians. These two distinct meanings still coexist inside contemporary scientific practices and lead to different theoretical interests, as we will show thanks to various recent examples. (shrink)

In this essay, I examine the relationality between life and water in the context of its intercorporeal manifestations. Drawing on key aspects of Merleau-Pontian phenomenology, my concern is to reflect on water’s enfleshment of life and its complex ecologies of intercorporeity. These Merleau-Pontian key aspects, I note, are in close dialogue with a number of Indigenous cosmo-epistemologies that envisage the world as constituted by profound ecologies of intercorporeal relationality. The loci of my analysis are the Sonoran Desert and the lands (...) of the Tohono O’odham people, all situated within the ongoing violent relations of power unleashed by the forces of settler colonialism, including the partitioning of Indigenous nations by the Mexico–US border, the ecological devastation left in the wake of the construction of the Trump border wall and the increasingly fraught situation of undocumented migrants attempting to cross the US border. The bodies of water that I discuss in this essay disclose the cycles of life and death that turn on the presence and absence of water. These cycles are increasingly ensnared in aquapolitical regimes of governmentality that, in settler colonial contexts, unleash lethal effects that kill both bodies of water and the entities that depend on them for life. (shrink)