Traditional geometry concerns itself with planimetric and stereometric considerations, which are at the root of the division between plane and solid geometry. To raise the issue of the relation between these two areas brings with it a host of different problems that pertain to mathematical practice, epistemology, semantics, ontology, methodology, and logic. In addition, issues of psychology and pedagogy are also important here. To our knowledge there is no single contribution that studies in detail even one of the aforementioned areas.

Gaisi Takeuti (1926–2017) is one of the most distinguished logicians in proof theory after Hilbert and Gentzen. He extensively extended Hilbert's program in the sense that he formulated Gentzen's sequent calculus, conjectured that cut-elimination holds for it (Takeuti's conjecture), and obtained several stunning results in the 1950–60s towards the solution of his conjecture. Though he has been known chiefly as a great mathematician, he wrote many papers in English and Japanese where he expressed his philosophical thoughts. In particular, he used (...) several keywords such as "active intuition" and "self-reflection" from Nishida's philosophy. In this paper, we aim to describe a general outline of our project to investigate Takeuti's philosophy of mathematics. In particular, after reviewing Takeuti's proof-theoretic results briefly, we describe some key elements in Takeuti's texts. By explaining these texts, we point out the connection between Takeuti's proof theory and Nishida's philosophy and explain the future goals of our project. (shrink)

Many mathematicians have cited depth as an important value in their research. However, there is no single widely accepted account of mathematical depth. This article is an attempt to bridge this gap. The strategy is to begin with a discussion of Szemerédi's theorem, which says that each subset of the natural numbers that is sufficiently dense contains an arithmetical progression of arbitrary length. This theorem has been judged deep by many mathematicians, and so makes for a good case on which (...) to focus in analyzing mathematical depth. After introducing the theorem, four accounts of mathematical depth will be considered. (shrink)

This article will consider imagination in mathematics from a historical point of view, noting the key moments in its conception during the ancient, modern and contemporary eras.

Roughly, a proof of a theorem, is “pure” if it draws only on what is “close” or “intrinsic” to that theorem. Mathematicians employ a variety of terms to identify pure proofs, saying that a pure proof is one that avoids what is “extrinsic,” “extraneous,” “distant,” “remote,” “alien,” or “foreign” to the problem or theorem under investigation. In the background of these attributions is the view that there is a distance measure (or a variety of such measures) between mathematical statements and (...) proofs. Mathematicians have paid little attention to specifying such distance measures precisely because in practice certain methods of proof have seemed self- evidently impure by design: think for instance of analytic geometry and analytic number theory. By contrast, mathematicians have paid considerable attention to whether such impurities are a good thing or to be avoided, and some have claimed that they are valuable because generally impure proofs are simpler than pure proofs. This article is an investigation of this claim, formulated more precisely by proof- theoretic means. After assembling evidence from proof theory that may be thought to support this claim, we will argue that on the contrary this evidence does not support the claim. (shrink)

In this paper I begin by extending two results of Solovay; the first characterizes the possible Turing degrees of models of True Arithmetic (TA), the complete first-order theory of the standard model of PA, while the second characterizes the possible Turing degrees of arbitrary completions of P. I extend these two results to characterize the possible Turing degrees of m-diagrams of models of TA and of arbitrary complete extensions of PA. I next give a construction showing that the conditions Solovay (...) identified for his characterization of degrees of models of arbitrary completions of PA cannot be dropped (I showed that these conditions cannot be simplified in the paper. (shrink)

Une preuve est pure si, en gros, elle ne réfère dans son développement qu’à ce qui est « proche » de, ou « intrinsèque » à l’énoncé à prouver. L’infinité des nombres premiers, un théorème classique de l’arithmétique, est un cas d’étude particulièrement riche pour les recherches philosophiques sur la pureté. Deux preuves différentes de ce résultat sont ici considérées, à savoir la preuve euclidienne classique et une preuve « topologique » plus récente proposée par Furstenberg. D’un point de vue (...) naïf, il semblerait que la première soit pure et la seconde impure. Des objections à cette vue naïve sont ici considérées et réfutées. Concernant la preuve euclidienne, la question relève de la logique, notamment de la définissabilité arithmétique de l’addition en termes de successeur et de divisibilité telle que démontrée par Julia Robinson, tandis qu’en ce qui concerne la preuve topologique, la question relève de la sémantique, notamment pour tout ce qui touche au problème de savoir ce qui est « inclus » dans le contenu d’énoncés particuliers.A proof is pure, roughly, if it draws only on what is « close » or « intrinsic » to the statement being proved. The infinitude of prime numbers, a classical theorem of arithmetic, is a rich case study for philosophical investigation of purity. Two different proofs of this result are considered, namely the classical Euclidean proof and a more recent « topological » proof by Furstenberg. Naively the former would seem to be pure and the latter to be impure. Objections to these naive views are considered and met. In the case of the former the issue rests on logical matters, specifically the arithmetic definability of addition in terms of successor and divisibility shown by Julia Robinson, while in the case of the latter the issue rests on semantic matters, specifically with respect to what is « contained » in the content of particular statements. (shrink)

Over the years many mathematicians have voiced a preference for proofs that stay “close” to the statements being proved, avoiding “foreign”, “extraneous”, or “remote” considerations. Such proofs have come to be known as “pure”. Purity issues have arisen repeatedly in the practice of arithmetic; a famous instance is the question of complex-analytic considerations in the proof of the prime number theorem. This article surveys several such issues, and discusses ways in which logical considerations shed light on these issues.

Why do mathematics often give several proofs of the same theorem? This is the question raised in this article, introducing the notion of an epistemic ideal and discussing two such ideals, the explanatoriness and purity of proof.

Gaisi Takeuti extended Gentzen's work to higher-order case in 1950's–1960's and proved the consistency of impredicative subsystems of analysis. He has been chiefly known as a successor of Hilbert's school, but we pointed out in the previous paper that Takeuti's aimed to investigate the relationships between "minds" by carrying out his proof-theoretic project rather than proving the "reliability" of such impredicative subsystems of analysis. Moreover, as briefly explained there, his philosophical ideas can be traced back to Nishida's philosophy in Kyoto's (...) school. For the proving the consistency of such systems, it is crucial to prove the well-foundedness of ordinals called "ordinal diagrams" developed for it. Takeuti presented such arguments several times in order to show that they are admitted in his stand point. As a starting point of investigating his finitist stand point, we formulate the system of ordinal notations up to ε0 and reconstruct the well-foundedness arguments of them. (shrink)

William James famously tells us that there are two main goals for rational believers: believing truth and avoiding error. I argues that epistemic consequentialism—in particular its embodiment in epistemic utility theory—seems to be well positioned to explain how epistemic agents might permissibly weight these goals differently and adopt different credences as a result. After all, practical versions of consequentialism render it permissible for agents with different goals to act differently in the same situation. -/- Nevertheless, I argue that epistemic consequentialism (...) doesn’t allow for this kind of permissivism and goes on to argue that this reveals a deep disanalogy between decision theory and the formally similar epistemic utility theory. This raises the question whether epistemic utility theory is a genuinely consequentialist theory at all. (shrink)

Our visual experience seems to suggest that no continuous curve can cover every point of the unit square, yet in the late nineteenth century Giuseppe Peano proved that such a curve exists. Examples like this, particularly in analysis (in the sense of the infinitesimal calculus) received much attention in the nineteenth century. They helped instigate what Hans Hahn called a “crisis of intuition”, wherein visual reasoning in mathematics came to be thought to be epistemically problematic. Hahn described this “crisis” as (...) follows: Mathematicians had for a long time made use of supposedly geometric evidence as a means of proof in much too naive and much too uncritical a way, till the unclarities and mistakes that arose as a result forced a turnabout. Geometrical intuition was now declared to be inadmissible as a means of proof... (p. 67) Avoiding geometrical evidence, Hahn continued, mathematicians aware of this crisis pursued what he called “logicization”, “when the discipline requires nothing but purely logical fundamental concepts and propositions for its development.” On this view, an epistemically ideal mathematics would minimize, or avoid altogether, appeals to visual representations. This would be a radical reformation of past practice, necessary, according to its advocates, for avoiding “unclarities and mistakes” like the one exposed by Peano. (shrink)

This collection of essays explores what makes modern mathematics ‘modern’, where ‘modern mathematics’ is understood as the mathematics done in the West from roughly 1800 to 1970. This is not the trivial matter of exploring what makes recent mathematics recent. The term ‘modern’ (or ‘modernism’) is used widely in the humanities to describe the era since about 1900, exemplified by Picasso or Kandinsky in the visual arts, Rilke or Pound in poetry, or Le Corbusier or Loos in architecture (a building (...) by the latter graces the cover of this book’s dust jacket). (shrink)

A rich literature has discussed what it is to respond to a reason, e.g., to believe or act on the basis of some consideration or another. In comparison, what it would be to respond to a second-order reason has been underexplored. Yet formulating an account of this is vital for maintaining the existence of second-order reasons in both the practical and epistemic domains. And indeed, there are reasons to doubt this is possible. For example, responding to second-order reasons is meant (...) to be different from simply coming to believe or act for a more richly described first-order reason but it's not clear what this would look like. This paper introduces an account of the second-order basing relation which meets these concerns. It therefore both develops our picture of second-order reasons and helps to defend their existence. (shrink)

This paper introduces the reconstitutor as a comprehensive unit of heredity within the context of evolutionary research. A reconstitutor is the structure resulting from a set of relationships between different elements or processes that are actively involved in the recreation of a specific phenotypic variant in each generation regardless of the biomolecular basis of the elements or whether they stand in a continuous line of ancestry. Firstly, we justify the necessity of introducing the reconstitutor by showing the limitations of other (...) evolutionary conceptions of the unit of heredity, such as the replicator, the reproducer, and the Darwinian individual. We argue that these conceptions are based on the requirement of lineage formation, which we argue to be unnecessary for the existence of evolutionary heredity. In the second part, we introduce the reconstitutor, which we base on the concept of Stability of Traits, and illustrate how it covers cases of hereditary phenomena not covered by the previous accounts. Secondly, we illustrate how the reconstitutor could serve as a platform to rethink ecological inheritance and other forms of inheritance that have been recently introduced under the song/singer model of evolution. (shrink)

We review Solomon Feferman's 1998 essay collection In The Light of Logic (Oxford University Press).

Metaethics tends to take for granted a bare Democritean world of atoms and the void, and then worry about how the human world that we all know can possibly be related to it or justified in its terms. I draw on Wittgenstein to show how completely upside-down this picture is, and make some moves towards turning it the right way up again. There may be a use for something like the bare-Democritean model in some of the sciences, but the picture (...) has no standing as the basic objective truth about the world; if anything has that standing, it is ordinary life. I conclude with some thoughts about how the notion of bare, “thin” perception of non-evaluative reality feeds a number of philosophical pathologies, such as behaviourism, and show how a “thicker”, more value-laden, understanding of our perceptions of the world can be therapeutic against them. (shrink)

Philosophical discussion on control has largely centred around control over our actions and beliefs. Yet this overlooks the question of whether we also have control over the reasons for which we act and believe. To date, the overriding assumption appears to be that we do not, and with seemingly good reason. We cannot choose to act for a reason and acting-for-a-reason is not itself something we do. While some have challenged this in the case of reasons for action, these claims (...) seem especially untenable regarding believing for a reason. And extending the scope of control in this way also faces the threat of regress. In the face of this orthodoxy, the present paper argues that we do in fact have control over both believing and acting for a particular reason. It also starts to develop an account of the way in which this would be possible. Given the broad importance of understanding control and agency, this paper bears on a number of topics in epistemology, the philosophy of mind, and ethics. (shrink)

This paper concerns a specific epistemic feature of believing for a reason (e.g., believing that it will rain on the basis of the grey clouds outside). It has commonly been assumed that our access to such facts about ourselves is akin in all relevant respects to our access to why other people hold their beliefs. Further, discussion of self-intimation - that we are necessarily in a position to know when we are in certain conditions - has centred largely around mental (...) states. In contrast to both assumptions, this paper argues that believing for a reason is (at least) very nearly self-intimating: necessarily, if a subject believes that q for the reason that p, then, provided relevant conceptual and rational capacities, she is in a position to form a justified true belief that she believes that q for the reason that p. We should think this on the basis of the role that believing for a reason plays from the subjects’ perspective, and in particular, the way in which it intellegises one’s belief. (shrink)

In her recent paper ‘The Epistemology of Propaganda’ Rachel McKinnon discusses what she refers to as ‘TERF propaganda’. We take issue with three points in her paper. The first is her rejection of the claim that ‘TERF’ is a misogynistic slur. The second is the examples she presents as commitments of so-called ‘TERFs’, in order to establish that radical (and gender critical) feminists rely on a flawed ideology. The third is her claim that standpoint epistemology can be used to establish (...) that such feminists are wrong to worry about a threat of male violence in relation to trans women. In Section 1 we argue that ‘TERF’ is not a merely descriptive term; that to the extent that McKinnon offers considerations in support of the claim that ‘TERF’ is not a slur, these considerations fail; and that ‘TERF’ is a slur according to several prominent accounts in the contemporary literature. In Section 2, we argue that McKinnon misrepresents the position of gender critical feminists, and in doing so fails to establish the claim that the ideology behind these positions is flawed. In Section 3 we argue that McKinnon’s criticism of Stanley fails, and one implication of this is that those she characterizes as ‘positively privileged’ cannot rely on the standpoint-relative knowledge of those she characterizes as ‘negatively privileged’. We also emphasize in this section McKinnon’s failure to understand and account for multiple axes of oppression, of which the cis/trans axis is only one. (shrink)

Short piece for The Philosophers' Magazine on why philosophers should pay attention to olfaction.

In this article we explore an argumentative pattern that provides a normative justification for expected utility functions grounded on empirical evidence, showing how it worked in three different episodes of their development. The argument claims that we should prudentially maximize our expected utility since this is the criterion effectively applied by those who are considered wisest in making risky choices (be it gamblers or businessmen). Yet, to justify the adoption of this rule, it should be proven that this is empirically (...) true: i.e. that a given function allows us to predict the choices of that particular class of agents. We show how expected utility functions were introduced and contested in accordance with this pattern in the 18th century and how it recurred in the 1950s when Allais made his case against the neo-Bernoullians. (shrink)

Sophie Roux confronte la critique du « sokalisme » qu’on trouve dans La Querelle des imposteurs d’Yves Jeanneret et la manière dont Impostures intellectuelles dessine le partage entre « littéraires » et « scientifiques ».

When mathematicians think of the philosophy of mathematics, they probably think of endless debates about what numbers are and whether they exist. Since plenty of mathematical progress continues to be made without taking a stance on either of these questions, mathematicians feel confident they can work without much regard for philosophical reflections. In his sharp–toned, sprawling book, David Corfield acknowledges the irrelevance of much contemporary philosophy of mathematics to current mathematical practice, and proposes reforming the subject accordingly.

Do conceivability arguments work against physicalism if properties are causal powers? By considering three different ways of understanding causal powers and the modality associated with them, I will argue that most, if not all, physicalist powers theorists should not be concerned about the conceivability argument because its conclusion that physicalism is false does not hold in their favoured ontology. I also defend specific powers theories against some recent objections to this strategy, arguing that the conception of properties as powerful blocks (...) conceivability arguments unless a rather implausible form of emergence is true. (shrink)

The History of scepticism from Erasmus to Spinoza is often called upon to support three theses: first, that Descartes had a dogmatic notion of systematic knowledge, and therefore of physics; second, that the hypothetical epistemology of physics which spread during the xviith century was the result of a general sceptical crisis; third, that this epistemology was more successful in England than in France. I reject these three theses: I point first to the tension in Descartes’ works between the ideal of (...) a completely certain science and a physics replete with hypotheses; further, I argue that the use of hypotheses by mechanical philosophers cannot be separated from their conception of physics; finally I show that, at the end of the xviith century, physicists in France as well as in England spoke through hypotheses and I examine different ways of explaining this shared practice. Richard H. Popkin’s book serves therefore as a starting point for insights into the general problem: to what extent and for what reasons some propositions in physics have been presented as hypotheses in the xviith century? (shrink)

Should citizens have equal say regarding the running of society? Following the principles of democracy, and most of political philosophy: yes (at least at a fundamental level, thus allowing for representatives and the like). Indeed, comparing the main alternative seemingly supports this intuition. Epistocracy would instead give power just to the most epistemically competent. Yet testing citizens’ political and economic knowledge looks apt to disproportionately disempower marginalised groups, making the position seem like a nonstarter and democracy the clear winner. Nevertheless, (...) this paper argues against giving citizens equal say, or at least, it offers the strongest possible motivation for this position. In particular, I introduce the progressive case for epistocracy, and what I term standpoint epistocracy. This account refigures the relevant notion of political competence such that it is not the most privileged classes who would most likely constitute our epistocracy, but rather, the least. The resulting picture considerably improves on traditional versions of epistocracy and also democracy. (shrink)

On sait peu de choses d’Edme Mariotte, membre de l’Académie royale des sciences de 1668 à 1684. Une analyse de son Essai de logique montre cependant que, pour défendre ses pratiques expérimentales, il s’appropria des bribes venues de différentes traditions intellectuelles. Ainsi, ce livre examine ce qu’on entendait par « méthode » à la fin du XVIIe siècle, les épistémologies de la physique qui s’affrontaient alors, quelques débats ouverts par la gestion de l’héritage cartésien. Mais l’essentiel sera peut-être la question (...) suivante : comment reconstituer les idées d’un savant ordinaire, qui n’a ni bouleversé l’ordre des sciences, ni montré une perspicacité épistémologique exceptionnelle ? (shrink)

An overview of what constitutes as lying and the epistemic and moral consequences lying incurs.

John Maier’s Options and Agency is an excellent book. It is brimming with insights and original ideas; in just about 160 pages of text, it provides the reader with an entirely novel perspective on...

I talk about the relation between the direct encounters with values that I take to be a key part of ordinary moral phenomenology, and the well-worn topic of demandingness. I suggest that an ethical philosophy based on (inter alia) such encounters sheds interesting light on some familiar problems.

Review of Dowek, Gilles, Computation, Proof, Machine, Cambridge University Press, Cambridge, 2015. Translation of Les Métamorphoses du calcul, Le Pommier, Paris, 2007. Translation from the French by Pierre Guillot and Marion Roman.

White, Christensen, and Feldman have recently endorsed uniqueness, the thesis that given the same total evidence, two rational subjects cannot hold different views. Kelly, Schoenfield, and Meacham argue that White and others have at best only supported the weaker, merely intrapersonal view that, given the total evidence, there are no two views which a single rational agent could take. Here, we give a new argument for uniqueness, an argument with deliberate focus on the interpersonal element of the thesis. Our argument (...) is that the best explanation of the value of promoting rationality is an explanation that entails uniqueness. (shrink)

Four propositions relative to the laws of nature in the classical period must be noted. 1. Certain regularities in phenomena had been discovered. 2. A concept of law had emerged. 3. Classical science is characterized by the introduction of the notion of the legality of nature. 4. New uses of the word «law» had appeared in scientific texts. This article is devoted to the analysis of only this last proposition, that is to say to a terminological problem. First we will (...) describe the semantic uses of the word «law» that may have contributed to the constitution of its classical meaning: its specific usage, disciplinary usage, usage in physics, in mathematics, in metaphysics. Second we will analyze the various moments of the diffusion of the word in the sciences in the xviith century. The general thesis defended in the end is that if the term «law» had indeed been used in science with no reference to a law-giving God prior to the xviith century, only this reference, that is, the coming together of its physical and its metaphysical usage, allowed its generalization in the period between the xviith and xviiith centuries. (shrink)

Le film d’animation de Jean-François Laguionie "Le voyage du prince" (2019), d’après "Le château des singes" (1999) du même réalisateur, inspiré du livre "Le baron perché", d’Italo Calvino (1957), est marqué par une prégnance végétale forte. Le film nous invite dans un monde de fiction, dans lequel les singes sont l’espèce animale principale – évoquant les humainsles humains les humainsles humains les humainsles humains les humains – représentée à travers des peuples aux modes de vie contrastés. Le monde végétal est (...) présent dans toute sa diversité, et dans la richesse des transactions qui s’établissent entre les espèces. Pourrions-nous alors inventer et réinventer la "nature" ? Nous sommes invités, en suivant le baron et la façon dont le film s’en inspire, à contempler et questionner notre lien aux plantes. Comment les transactions établies avec elles et avec le reste du vivant font-elles le monde ? C’est ce que nous tenterons d’approcher. (shrink)

Comment imaginer une pratique scientifique qui résiste aux impératifs de la croissance, du big data et de l'innovation perpétuelle ? Deux chercheuses en génétique des populations réfléchissent ici aux évolutions récentes de leur discipline et à ses devenirs possibles.

As its Latin title says, this article inquires whether there is a single correct list of the moral virtues. Virtue ethics tells us to “act in accordance with the virtues” but can often be accused, for example in Aristotle's Ethics, of helping itself without argument to an account of what the virtues are. This paper is, stylistically, an affectionate tribute to the Angelic Doctor, and it works with a correspondingly Thomistic background and approach. It argues for the view that there (...) is at least one correct list of the virtues, and that we can itemise at least seven items in the list, namely, the four cardinal and the three theological virtues. (shrink)

This collection of papers builds on the idea that the bioeconomy provides a framework for potentially effective solutions addressing the grand global challenges by a turn towards an increased use of biological resources, towards renewability and circularity. Consequently, it cannot be perceived as an end in itself. Thus, innovative endeavors within this bioeconomy framework require a serious examination of their normative premises and implications. From different perspectives, the five contributions to the collection demonstrate that for a bioeconomy that is to (...) contribute to the transformation towards sustainability, inquiries into norms, values, and paradigms of innovators and other stakeholders are indispensable. Originating in the spirit of an interdisciplinary workshop on the "The Normative Dimension of Transformations towards a Sustainable Bioeconomy", the collection at hand provides an attempt to facilitate an increased commitment of social sciences into bioeconomy discourses. We learn: the bioeconomy is on the rise as it is, but whether it will guide us the way towards an equitable, environmentally sound, and future-proof economy, heavily depends on the normative guardrails imposed by science, society, and business. Recent discussions have shown that the pressing problems and complex challenges humanity is currently facing cannot be adequately tackled by approaches that. (shrink)

We debate whether permissivism is true. We start off by assuming an accuracy-oriented framework, and then discuss metaepistemological questions about how our epistemic evaluations promote accuracy.

We give an overview of Lakatos’ life, his philosophy of mathematics and science, as well as of this issue. Firstly, we briefly delineate Lakatos’ key contributions to philosophy: his anti-formalist philosophy of mathematics, and his methodology of scientific research programmes in the philosophy of science. Secondly, we outline the themes and structure of the masterclass Lakatos’ Undone Work – The Practical Turn and the Division of Philosophy of Mathematics and Philosophy of Science, which gave rise to this special issue. Lastly, (...) we provide a summary of the contributions to this issue. (shrink)

Questioning the nature of individuality has a long and a rich history, both in philosophy and in biology. Because they differ in several features from the pervasive vertebrate-human model, plants have been considered as complicating the question. Here, the various plant species on which authors—whether biologists or philosophers—rely to build the picture of plant individuality are examined and tracked for their peculiarities, thus constituting an “herbiary” of plant individuality. The herbiary of plant individuality has as its members species exhibiting a (...) diverse collection of traits and illustrating different questions related to plant individuality. This essay assesses the peculiarity of the features of these plants and the reality of their differences from animals. Because some plant features are supposed to pose a threat to individual genetic homogeneity, higher heterogeneity has been assumed for plants compared to animals. Moreover, individual plants are sometimes identified with communities. How does this supposed heterogeneity appear in particular species? Cultivated plants exhibit distinctive diversity, and their overrepresentation in the study of plant diversity might bias the way plant individuality is understood. Just as there is a vertebrate bias, there may also be a cultivated plant bias. Recent results bring plants much closer to animals in terms of cellular functioning, so plants might not be so different from animals with respect to their diversity, and consequently their individuality. (shrink)

Le texte suivant s'appuie assez largement sur des informations scientifiques de la biologie végétale. Ce choix de philosopher à partir de la technicité et de l'historicité des objets botaniques correspond à un parti pris. La proximité de l’humain à ses objets d’étude, sa tendance à anthropomorphiser, voire anthropocentrer, les observations ou les problèmes qui se présentent à lui, a fait l’objet de multiples réflexions philosophiques et épistémologiques. Kant, pour qui « tout intérêt est finalement pratique [...] même celui de la (...) raison spéculative n’est que conditionné et n’est complet que dans l’usage pratique » 1 , Bachelard, qui appelle à « substituer à la notion anthropomorphe de cause la notion scientifique de fonction » 2 , ou Canguilhem pour qui « l’anthropocentrisme est plus aisé à rejeter que l’anthropomorphisme [...] Peut-on être biologistes sans se sentir du côté des vivants ? » 3 . Ces réflexions ne sont-elles pas toujours centrées sur les modes de connaissance ou de pensée de l’humain, alors que les « objets d’étude » en question demeurent souvent dans un certain flou, voire une large indétermination ? La démarche suivie ici tente d’aller dans une autre direction. Elle interroge les effets de l’anthropocentrisation d’objets spécifiques à la biologie végétale, envisagée aussi bien dans sa profondeur historique que dans ses développements techniques récents. Nous tentons ici un pari : une analyse précise de nos connaissances botaniques, actuelles et passées, peut nourrir la réflexion philosophique sur notre rapport aux plantes et, à travers elles, sur nous-mêmes. (shrink)

In an influential paper, L. A. Paul argues that one cannot rationally decide whether to have children. In particular, she argues that such a decision is intractable for standard decision theory. Paul's central argument in this paper rests on the claim that becoming a parent is ``epistemically transformative''---prior to becoming a parent, it is impossible to know what being a parent is like. Paul argues that because parenting is epistemically transformative, one cannot estimate the values of the various outcomes of (...) a decision whether to become a parent. In response, we argue that it is possible to estimate the value of epistemically transformative experiences. Therefore, there is no special difficulty involved in deciding whether to undergo epistemically transformative experiences. Insofar as major life decisions do pose a challenge to decision theory, we suggest that this is because they often involve separate, familiar problems. (shrink)

Standard accuracy-based approaches to imprecise credences have the consequence that it is rational to move between precise and imprecise credences arbitrarily, without gaining any new evidence. Building on the Educated Guessing Framework of Horowitz (2019), we develop an alternative accuracy-based approach to imprecise credences that does not have this shortcoming. We argue that it is always irrational to move from a precise state to an imprecise state arbitrarily, however it can be rational to move from an imprecise state to a (...) precise state arbitrarily. (shrink)

Philosophical discussion about the reality of sensory perceptions has been hijacked by two tendencies. First, talk about perception has been largely centered on vision. Second, the realism question is traditionally approached by attaching objects or material structures to matching contents of sensory perceptions. These tendencies have resulted in an argumentative impasse between realists and anti-realists, discussing the reliability of means by which the supposed causal information transfer from object to perceiver takes place. Concerning the nature of sensory experiences and their (...) capacity to provide access to reality, this article challenges the standard categories through which most arguments in this debate have been framed to date. Drawing on the underexplored case of olfaction, I first show how the details of the perception process determine the modalities of sensory experiences. I specifically examine the role of measurement and analyze its influence on the characterization of perceptions in olfaction. My aim is to argue for an understanding of perception through a process view, rather than one pertaining to objects and properties of objects. (shrink)

Do sensory measurements deserve the label of “measurement”? We argue that they do. They fit with an epistemological view of measurement held in current philosophy of science, and they face the same kinds of epistemological challenges as physical measurements do: the problem of coordination and the problem of standardization. These problems are addressed through the process of “epistemic iteration,” for all measurements. We also argue for distinguishing the problem of standardization from the problem of coordination. To exemplify our claims, we (...) draw on olfactory performance tests, especially studies linking olfactory decline to neurodegenerative disorders. (shrink)

Is the sense of smell a source of aesthetic perception? Traditional philosophical aesthetics has centered on vision and audition but eliminated smell for its subjective and inherently affective character. This article dismantles the myth that olfaction is an unsophisticated sense. It makes a case for olfactory aesthetics by integrating recent insights in neuroscience with traditional expertise about flavor and fragrance assessment in perfumery and wine tasting. My analysis concerns the importance of observational refinement in aesthetic experience. I argue that the (...) active engagement with stimulus features in perceptual processing shapes the phenomenological content, so much so that the perceptual structure of trained smelling varies significantly from naive smelling. In a second step, I interpret the processes that determine such perceptual refinement in the context of neural decision-making processes, and I end with a positive outlook on how research in neuroscience can be used to benefit philosophical aesthetics. (shrink)

Since the ENCODE project published its final results in a series of articles in 2012, there is no consensus on what its implications are. ENCODE’s central and most controversial claim was that there is essentially no junk DNA: most sections of the human genome believed to be «junk» are functional. This claim was met with many reservations. If researchers disagree about whether there is junk DNA, they have first to agree on a concept of function and how function, given a (...) particular definition, can be discovered. The ENCODE debate centered on a notion of function that assumes a strong dichotomy between evolutionary and non-evolutionary function and causes, prevalent in the Modern Evolutionary Synthesis. In contrast to how the debate is typically portrayed, both sides share a commitment to this distinction. This distinction is, however, much debated in alternative approaches to evolutionary theory, such as the EES. We show that because the ENCODE debate is grounded in a particular notion of function, it is unclear how it connects to broader debates about what is the correct evolutionary frame- work. Furthermore, we show how arguments brought forward in the controversy, particularly arguments from mathematical population genetics, are deeply embedded in their particular disciplinary contexts, and reflect substantive assumptions about the evolution of genomes. With this article, we aim to provide an anatomy of the ENCODE debate that offers a new perspective on the notions of function both sides employed, as well as to situate the ENCODE debate within wider debates regarding the forces operating in evolution. (shrink)

In Der logische Aufbau der Welt, first published in 1928, Carnap aims to rationally reconstruct all objects of cognition by logico-definitional means. As a result, he intends to obtain a fully objective framework in which scientific discourse can take place. This is made possible by the novel method of ‘purely structural definite description’ of all scientifically relevant objects, which is first introduced in the Aufbau. Key to the attainment of this goal is the notion of ‘foundedness’, which Carnap presents as (...) a new basic notion of logic, in order to establish a link between the purely conventional world of logical and mathematical knowledge and the empirical world of knowledge of scientific objects. This idea experienced major criticism by Friedman (1999a,b) since he considers it to lead to the demolition of the boundary between those two worlds. In this essay, we want to defend foundedness against Friedman’s critique by arguing that its introduction is necessary within Carnap’s logicist world of thought to deal with a more fundamental problem: the demarcation of the empirical parts of the Aufbau. In the last section, we will give an outlook on the actual cause for the failure of the Aufbau, the lack of a principle to determine the truth of the instances of the basic relation in the Aufbau, and we will show how this can contribute to the explanation of Carnap’s future philosophical development and retrospective self-evaluation. This essay serves as a dense informal sketch for a later extensive formal treatment of this reading of foundedness and focuses on its implications for the interpretation of Carnap’s post-Aufbau development. (shrink)