This chapter will explore the reception of Condillac in Argentina from the nineteenth century to the early twentieth century, focusing on two cases. First, the reception by nineteenth-century professors of idéologie (Juan Crisóstomo Lafinur, Juan Manuel Fernández de Agüero, Luis José de la Peña, and Diego Alcorta) that was mediated by the interpretations of Antoine Destutt de Tracy, Pierre Jean Cabanis, and Pierre Laromiguière. Second, the reception in the early twentieth century by José Ingenieros, whose narrative was conditioned by (...) his own political and philosophical agenda. In each case, we can identify different receptions that must be interpreted not only in light of the philosophical concerns of the authors who made them but also in light of the wider cultural and political context in which they emerged. In the first half of the nineteenth century, Condillac was received as a philosopher who integrated the new philosophical canon that would replace the Scholastic canon that had been imposed by the colonial regime. In the early twentieth century, Ingenieros inserted Condillac into a narrative that, starting with Bacon and Locke, culminated in positivism, a current that, in his view, offered the best framework to make Argentina shine in the concert of civilized nations. (shrink)

This chapter presents a historical study of how science has developed and of how philosophical theories of many sorts – philosophy of science, theory of the understanding, and philosophical theology – both enable and constrain certain lines of development in scientific practice. Its topic is change in the legitimacy or acceptability of scientific explanation that invokes purposes, or ends; specifically in the argument from design, in the natural science field of physico-theology, around the start of the eighteenth century. ... The (...) context that produced physico-theology was clearly religious and political. It is unsurprising that a large body of Protestant intellectuals well-placed in a relatively peaceful society with a strong tradition of open speech, would develop links between science and critical discussion of both divinity and the Bible. There were also bounds to the discussion, as Newton, who chose to sit on the sidelines, knew well. Many others on Europe’s continent lived much more intimately with religious division as well as the reminder, in 1633, of Galileo’s failure to arrange a peaceable arrangement between science and religion. These aspects of the rise of physico-theology have not been the focus of this chapter, which has surveyed the philosophical and social origins found in the English context. Science, philosophy of science and other English philosophical currents – most particularly the theory of ideas and understanding that we are familiar with in its later development by John Locke – were formative for a field that might alternatively have been called ‘empirical natural theology.’ Prior shifts in religious sensibility that emptied the Book of Nature of much of its content also prepared the ground. Other philosophical and theological currents not discussed here – most notably theories of divine agency and predestination – and other philosophical trends – the rise of Spinoza’s challenge to such natural theology on the continent – also had both shaping and limiting influences upon the field. Finally, philosophers, including natural philosophers, did much more to promote physico-theology than just write about it: Boyle in particular provided a very important launch pad for the further development of an already healthy tradition of natural theology with his named lectureship, which drew the interest of others in the Royal Society, most notably Isaac Newton, and which spawned two of the most influential physico-theological tracts shortly before and shortly after the turn of the eighteenth century. (shrink)

This article aims to contribute to the elucidation of the nature of inquiry. I start with some common desiderata for any theory of inquiry. I then categorize inquiry as a structured process. By focusing on its essential components, I advance a new characterization of inquiry as a combination of questioning attitudes guiding actions. Finally, I turn to the recent objection that questioning attitudes are not necessary for inquiry. I argue that inquiry is a structured process essentially constituted by questioning attitudes (...) having two precise functional roles, initiating and guiding the deployment of cognitive capacities towards an epistemic goal. (shrink)

In this paper I present a precise version of Stalnaker's thesis and show that it is both consistent and predicts our intuitive judgments about the probabilities of conditionals. The thesis states that someone whose total evidence is E should have the same credence in the proposition expressed by 'if A then B' in a context where E is salient as they have conditional credence in the proposition B expresses given the proposition A expresses in that context. The thesis is formalised (...) rigorously and two models are provided that demonstrate that the new thesis is indeed tenable within a standard possible world semantics based on selection functions. Unlike the Stalnaker-Lewis semantics the selection functions cannot be understood in terms of similarity. A probabilistic account of selection is defended in its place. -/- I end the paper by suggesting that this approach overcomes some of the objections often leveled at accounts of indicatives based on the notion of similarity. (shrink)

Most work on the semantic paradoxes within classical logic has centered around what this essay calls “linguistic” accounts of the paradoxes: they attribute to sentences or utterances of sentences some property that is supposed to explain their paradoxical or nonparadoxical status. “No proposition” views are paradigm examples of linguistic theories, although practically all accounts of the paradoxes subscribe to some kind of linguistic theory. This essay shows that linguistic accounts of the paradoxes endorsing classical logic are subject to a particularly (...) acute form of the revenge paradox: that there is no exhaustive classification of sentences into “good” and “bad” such that the T-schema holds when restricted to the “good” sentences unless it is also possible to prove some “bad” sentences. The foundations for an alternative classical nonlinguistic approach is outlined that is not subject to the same kinds of problems. Although revenge paradoxes of different strengths can be formulated, they are found to be indeterminate at higher orders and not inconsistent. (shrink)

This paper argues that the theory of structured propositions is not undermined by the Russell-Myhill paradox. I develop a theory of structured propositions in which the Russell-Myhill paradox doesn't arise: the theory does not involve ramification or compromises to the underlying logic, but rather rejects common assumptions, encoded in the notation of the $\lambda$-calculus, about what properties and relations can be built. I argue that the structuralist had independent reasons to reject these underlying assumptions. The theory is given both a (...) diagrammatic representation, and a logical representation in a novel language. In the latter half of the paper I turn to some technical questions concerning the treatment of quantification, and demonstrate various equivalences between the diagrammatic and logical representations, and a fragment of the $\lambda$-calculus. (shrink)

In explaining the notion of a fundamental property or relation, metaphysicians will often draw an analogy with languages. The fundamental properties and relations stand to reality as the primitive predicates and relations stand to a language: the smallest set of vocabulary God would need in order to write the “book of the world.” This paper attempts to make good on this metaphor. To that end, a modality is introduced that, put informally, stands to propositions as logical truth stands to sentences. (...) The resulting theory, formulated in higher-order logic, also vindicates the Humean idea that fundamental properties and relations are freely recombinable and a variant of the structural idea that propositions can be decomposed into their fundamental constituents via logical operations. Indeed, it is seen that, although these ideas are seemingly distinct, they are not independent, and fall out of a natural and general theory about the granularity of reality. (shrink)

An increasing amount of twenty-first century metaphysics is couched in explicitly hyperintensional terms. A prerequisite of hyperintensional metaphysics is that reality itself be hyperintensional: at the metaphysical level, propositions, properties, operators, and other elements of the type hierarchy, must be more fine-grained than functions from possible worlds to extensions. In this paper I develop, in the setting of type theory, a general framework for reasoning about the granularity of propositions and properties. The theory takes as primitive the notion of a (...) substitution on a proposition (property, etc.) and, among other things, uses this idea to elucidate a number of theoretically important distinctions. A class of structures are identified which can be used to model a wide range of positions about the granularity of reality; certain of these structures are seen to receive a natural treatment in the category of M-sets. (shrink)

In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it is not possible (...) to define intensional connectives from extensional notions. This conjecture is formulated precisely in higher-order logic, and concrete cases in which it fails are examined. The paper ends with a discussion of the logic of broad necessity. It is shown that the logic of broad necessity is a normal modal logic between S4 and Triv, and that it is consistent with a natural axiomatic system of higher-order logic that it is exactly S4. Some philosophical reasons to think that the logic of broad necessity does not include the S5 principle are given. (shrink)

This three-part chapter explores a higher-order logic we call ‘Classicism’, which extends a minimal classical higher-order logic with further axioms which guarantee that provable coextensiveness is sufficient for identity. The first part presents several different ways of axiomatizing this theory and makes the case for its naturalness. The second part discusses two kinds of extensions of Classicism: some which take the view in the direction of coarseness of grain (whose endpoint is the maximally coarse-grained view that coextensiveness is sufficient for (...) identity), and some which take the view in the direction of fineness of grain (whose endpoint is the maximally fine-grained theory containing all distinctness claims compatible with Classicism). The third part introduces some techniques for constructing models of Classicism, and uses them to prove the consistency of many of the extensions of Classicism introduced in the second part. (shrink)

The lasting effects of the debate over canon-formation during the 1980s affected the whole field of Humanities, which became increasingly engaged in interrogating the origin and function of the Western canon. In philosophy, a great deal of criticism was, as a result, directed at the traditional narrative of seventeenth-and eighteenth-century philosophies—a critique informed by postcolonialism as well as feminist historiography. D. F. Norton, L. Loeb and many others1 attempted to demonstrate the weaknesses of the tripartite division between rationalism, empiricism and (...) critical philosophy.2 As time went on, symptoms of dissatisfaction with what has... (shrink)

A number of authors have objected to the application of non-classical logic to problems in philosophy on the basis that these non-classical logics are usually characterised by a classical metatheory. In many cases the problem amounts to more than just a discrepancy; the very phenomena responsible for non-classicality occur in the field of semantics as much as they do elsewhere. The phenomena of higher order vagueness and the revenge liar are just two such examples. The aim of this paper is (...) to show that a large class of non-classical logics are strong enough to formulate their own model theory in a corresponding non-classical set theory. Specifically I show that adequate definitions of validity can be given for the propositional calculus in such a way that the metatheory proves, in the specified logic, that every theorem of the propositional fragment of that logic is validated. It is shown that in some cases it may fail to be a classical matter whether a given sentence is valid or not. One surprising conclusion for non-classical accounts of vagueness is drawn: there can be no axiomatic, and therefore precise, system which is determinately sound and complete. (shrink)

The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order logic. Our assessment (...) of both approaches is largely pessimistic, and we remain reluctantly inclined to take Prior’s and Kaplan’s derivations at face value. (shrink)

Science and engineering rely on the accumulation and dissemination of knowledge to make discoveries and create new designs. Discovery-driven genome research rests on knowledge passed on via gene annotations. In response to the deluge of sequencing big data, standard annotation practice employs automated procedures that rely on majority rules. We argue this hinders progress through the generation and propagation of errors, leading investigators into blind alleys. More subtly, this inductive process discourages the discovery of novelty, which remains essential in biological (...) research and reflects the nature of biology itself. Annotation systems, rather than being repositories of facts, should be tools that support multiple modes of inference. By combining deduction, induction and abduction, investigators can generate hypotheses when accurate knowledge is extracted from model databases. A key stance is to depart from ‘the sequence tells the structure tells the function’ fallacy, placing function first. We illustrate our approach with examples of critical or unexpected pathways, using MicroScope to demonstrate how tools can be implemented following the principles we advocate. We end with a challenge to the reader. (shrink)

We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order logic. The logics we arrive at provide the resources for a straightforward semantics of attitude reports that is consistent with the Millian thesis that the meaning of a name is just the thing it stands for. We provide models to show (...) that some of these logics are non-degenerate. (shrink)

Higher-order logic augments first-order logic with devices that let us generalize into grammatical positions other than that of a singular term. Some recent metaphysicians have advocated for using these devices to raise and answer questions that bear on many traditional issues in philosophy. In contrast to these 'higher-order metaphysicians', traditional metaphysics has often focused on parallel, but importantly different, questions concerning special sorts of abstract objects: propositions, properties and relations. The answers to the higher-order and the property-theoretic questions may coincide (...) sometimes but will often come apart. I argue that when they do, the higher-order questions are closer to the metaphysical action and so it would be better for these debates to proceed in higher-order terms. (shrink)

Dans un monde dominé par les conflits, il arrive qu’il faille se défendre. L’invention des armes a évolué en parallèle avec le savoir technique, puis scientifique, et il est même arrivé que la recherche d’applications militaires ait joué un rôle moteur dans la découverte scientifique. Lorsque les armes ne servent pas à attaquer d’autres nations, leur fabrication et leur commerce se justifient morale- ment. Il faut cependant qu’elles ne puissent échapper à ceux qui les construisent et doivent en contrôler la (...) diffusion. Facilement mise en œuvre, la guerre utilisant des organismes vivants ou ce qu’ils pro- duisent comme armes est très ancienne. Or l’originalité des êtres vivants est qu’ils se multiplient, qu’un seul individu suffit à recouvrir la Terre de ses descendants. La biologie ne se prête jamais à un usage militaire moralement défendable parce que le confinement au champ de bataille est impossible. De ce fait, les applications de la biologie ont été vite écartées du domaine de la Défense permise par les traités internationaux. La Convention de 1972 sur l’Interdiction des Armes Biologiques et à Toxines (CIABT), entrée en vigueur en 1975, est aujourd’hui signée par 183 pays (ratifiée par 175) sur un total de 193, sans compter Taïwan qui l’a ratifiée mais n’est pas reconnu par l’ONU. Elle interdit la mise au point, la fabrication, l’acquisition, le transfert, la conservation, le stockage et l’utilisation des armes bio- logiques et à toxines. Elle constitue un élément essentiel de la lutte contre la prolifération des armes de destruction massive. (shrink)

Those inclined to positions in the philosophy of time that take tense seriously have typically assumed that not all regions of space-time are equal: one special region of space-time corresponds to what is presently happening. When combined with assumptions from modern physics this has the unsettling consequence that the shape of this favored region distinguishes people in certain places or people traveling at certain velocities. In this paper I shall attempt to avoid this result by developing a tensed picture of (...) reality that is nonetheless consistent with ‘hypersurface egalitarianism’—the view that all hypersurfaces are equal. (shrink)

We develop a theory of necessity operators within a version of higher-order logic that is neutral about how fine-grained reality is. The theory is axiomatized in terms of the primitive of *being a necessity*, and we show how the central notions in the philosophy of modality can be recovered from it. Various questions are formulated and settled within the framework, including questions about the ordering of necessities under strength, the existence of broadest necessities satisfying various logical conditions, and questions about (...) their logical behaviour. We also wield the framework to probe the conditions under which a logicist account of necessities is possible, in which the theory is completely reducible to logic. (shrink)

In recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes. In this paper I show that a number of logics are susceptible to a strengthened version of Curry's paradox. This can be adapted to provide a proof theoretic analysis of the omega-inconsistency in Lukasiewicz's continuum valued logic, allowing us to better evaluate which logics are suitable for a naïve truth theory. On this basis I identify two natural subsystems of Lukasiewicz logic which individually, but (...) not jointly, lack the problematic feature. (shrink)

This paper formulates some paradoxes of inductive knowledge. Two responses in particular are explored: According to the first sort of theory, one is able to know in advance that certain observations will not be made unless a law exists. According to the other, this sort of knowledge is not available until after the observations have been made. Certain natural assumptions, such as the idea that the observations are just as informative as each other, the idea that they are independent, and (...) that they increase your knowledge monotonically (among others) are given precise formulations. Some surprising consequences of these assumptions are drawn, and their ramifications for the two theories examined. Finally, a simple model of inductive knowledge is offered, and independently derived from other principles concerning the interaction of knowledge and counterfactuals. (shrink)

Synthetic biology aims at reconstructing life to put to the test the limits of our understanding. It is based on premises similar to those which permitted invention of computers, where a machine, which reproduces over time, runs a program, which replicates. The underlying heuristics explored here is that an authentic category of reality, information, must be coupled with the standard categories, matter, energy, space and time to account for what life is. The use of this still elusive category permits us (...) to interact with reality via construction of self-consistent models producing predictions which can be instantiated into experiments. While the present theory of information has much to say about the program, with the creative properties of recursivity at its heart, we almost entirely lack a theory of the information supporting the machine. We suggest that the program of life codes for processes meant to trap information which comes from the context provided by the environment of the machine. (shrink)

A number of `no-proposition' approaches to the liar paradox find themselves implicitly committed to a moderate disquotational principle: the principle that if an utterance of the sentence `$P$' says anything at all, it says that $P$ (with suitable restrictions). I show that this principle alone is responsible for the revenge paradoxes that plague this view. I instead propose a view in which there are several closely related language-world relations playing the `semantic expressing' role, none of which is more central to (...) semantic theorizing than any other. I use this thesis about language and the negative result about disquotation to motivate the view that people do say things with utterances of paradoxical sentences, although they do not say the proposition you'd always expect, as articulated with a disquotational principle. (shrink)

It is clear enough that utilitarianism contributed to the softening of many penal systems in the world by arguing that very cruel punishments should be excluded every time a less cruel one would be just as effective. But does utilitarianism as such oppose the death penalty ? It is well known that Beccaria and Bentham criticized capital punishment on utilitarian grounds. But the fact that John Stuart Mill held a speech in favour of the death penalty at the House of (...) Commons in 1868 suggests that there is no necessity for a utilitarian thinker to oppose it. Otherwise, it would be possible to claim that John Stuart Mill betrayed, so to speak, the principle of utility by defending such a punishment. But nothing, it seems, allows us to say so. On the contrary, we would like to suggest that Mill’s disagreement with Bentham and Beccaria originates from his own empirical judgement on the following question : is death penalty the most cruel punishment for murder ? In other words, whether we like it or not, there is no way we can hold that Mill was less faithful than Beccaria and Bentham to the principle of utility when supporting the death penalty. (shrink)

The fact that physical laws often admit certain kinds of space-time symmetries is often thought to be problematic for substantivalism --- the view that space-time is as real as the objects it contains. The most prominent alternative, relationism, avoids these problems but at the cost of giving abstract objects (rather than space-time points) a pivotal role in the fundamental metaphysics. This incurs related problems concerning the relation of the physical to the mathematical. In this paper I will present a version (...) of substantivalism that respects Leibnizian theses about space-time symmetries, and argue that it is superior to both relationism and the more orthodox form of substantivalism. (shrink)

The result of combining classical quantificational logic with modal logic proves necessitism – the claim that necessarily everything is necessarily identical to something. This problem is reflected in the purely quantificational theory by theorems such as ∃x t=x; it is a theorem, for example, that something is identical to Timothy Williamson. The standard way to avoid these consequences is to weaken the theory of quantification to a certain kind of free logic. However, it has often been noted that in order (...) to specify the truth conditions of certain sentences involving constants or variables that don’t denote, one has to apparently quantify over things that are not identical to anything. In this paper I defend a contingentist, non-Meinongian metaphysics within a positive free logic. I argue that although certain names and free variables do not actually refer to anything, in each case there might have been something they actually refer to, allowing one to interpret the contingentist claims without quantifying over mere possibilia. (shrink)

A few months after the publication of the French translation of his book Causing Death and Saving Lives, Jonathan Glover was kind enough to return to some of the theses defended in this book. In forty years, this work has become a classic of applied ethics in the English-speaking world. Glover tackled a series of questions involving the lives of men and women, including abortion, infanticide, suicide, euthanasia, the death penalty and war. We asked him here about the method he (...) considers the best in moral philosophy, and returned to his criticism of certain dominant ideas at the time. Jonathan Glover also discusses some of the positions of his former students Peter Singer and Jeff McMahan. (shrink)

In this paper, I propose a new argument against Gettier’s counterexamples to the thesis that knowledge is justified true belief. I claim that if there is no doxastic voluntarism, and if it is admitted that one has formed the belief that p at t1 if, at t0, one would be surprised to learn or discover that not–p, it can be plausibly argued that Gettiered beliefs simply cannot be formed.

One thousand fair causally isolated coins will be independently flipped tomorrow morning and you know this fact. I argue that the probability, conditional on your knowledge, that any coin will land tails is almost 1 if that coin in fact lands tails, and almost 0 if it in fact lands heads. I also show that the coin flips are not probabilistically independent given your knowledge. These results are uncomfortable for those, like Timothy Williamson, who take these probabilities to play a (...) central role in their theorizing. (shrink)

An increasing amount of contemporary philosophy of mathematics posits, and theorizes in terms of special kinds of mathematical modality. The goal of this paper is to bring recent work on higher-order metaphysics to bear on the investigation of these modalities. The main focus of the paper will be views that posit mathematical contingency or indeterminacy about statements that concern the `width' of the set theoretic universe, such as Cantor's continuum hypothesis. Within a higher-order framework I show that contingency about the (...) width of the set-theoretic universe refutes two orthodoxies concerning the structure of modal reality: the view that the broadest necessity has a logic of S5, and the "Leibniz biconditionals" stating that what is possible, in the broadest sense of possible, is what is true in some possible world. Nonetheless, I suggest that the underlying picture of modal set-theory is coherent and has attractions. (shrink)

Synthetic biology (SynBio) covers two main areas: application engineering, exemplified by metabolic engi- neering, and the design of life from artificial building blocks. As the general public is often reluctant to embrace synthetic approaches, preferring nature to artifice, its immediate future will depend very much on the public’s reaction to the unmet needs created by the pervasive demands of sustainability. On the other hand, this reluctance should not have a negative impact on research that will now take into account the (...) existence of the multiple transitions that cells face over time. The ages of life—birth, development, maturation, senescence and death—reflect specific key transitions and have, until now, rarely been taken into account in SynBio designs. This results in a mismatch between novelty and the very long evolutionary time that led to the existing chassis [remember that this is the common term used to describe the cellular framework as seen by synthetic biologists (de Lorenzo & Danchin, 2008)]. It also implies that, in general, transitions between growth stages will be taken into account with the appro- priate embodiment of highly specific processes. This is particularly important when adapting new models to their host, whether natural or artificial. Adaptation fol- lows two stages, short-term accommodation of new entities and long-term assimilation into the cell as a whole. This requires discrimination between classes of entities. We suggest that proteins playing the essential role of Maxwell’ demons, here named Maxwell’s dis- criminators (MxDs) to refer to their original function, will permit the assimilation and accommodation of artificial constructs. As a consequence, we can foresee that class discrimination, beyond mere recognition, will be implemented in SynBio 2.0, leading to an authentic par- adigm shift (Kuhn, 1996), based on conceptions that embody information as a genuine currency of reality. (shrink)

Prior to Kripke's seminal work on the semantics of modal logic, McKinsey offered an alternative interpretation of the necessity operator, inspired by the Bolzano-Tarski notion of logical truth. According to this interpretation, `it is necessary that A' is true just in case every sentence with the same logical form as A is true. In our paper, we investigate this interpretation of the modal operator, resolving some technical questions, and relating it to the logical interpretation of modality and some views in (...) modal metaphysics. In particular, we present an hitherto unpublished solution to problems 41 and 42 from Friedman's 102 problems, which uses a different method of proof from the solution presented in the paper of Tadeusz Prucnal. (shrink)

Assembly of minimal genomes revealed many genes encoding unknown functions. Three overlooked functional categories account for some of them. Cells are prone to make errors and age. As a first key function, discrimination between proper and changed entities is indispensable. Discrimination requires management of information, an authentic, yet abstract, cur- rency of reality. For example proteins age, sometimes very fast. The cell must identify, then get rid of old proteins without destroying young ones. Implementing discrimination in cells leads to the (...) second set of functions, usually ignored. Being abstract, information must nevertheless be embodied into material entities, with unavoidable idiosyncratic properties. This brings about novel unmet needs. Hence, the buildup of cells elicits specific but awkward material implementations, ‘kludges’ that become essential under particular settings, while difficult to identify. Finally, a third functional category char- acterizes the need for growth, with metabolic implementations allowing the cell to put together the growth of its cytoplasm, membranes, and genome, spanning different spatial dimensions. Solving this metabolic quandary, critical for engineering novel synthetic biology chassis, uncovered an unexpected role for CTP synthetase as the coordinator of nonhomothetic growth. Because a significant number of SynBio constructs aim at creating cell factories we expect that they will be attacked by viruses (it is not by chance that the function of the CRISPR system was identified in industrial settings). Substantiating the role of CTP, natural selection has dealt with this hurdle via synthesis of the antimetabolite 30-deoxy-30,40-didehydro- CTP, recruited for antiviral immunity in all domains of life. (shrink)

For Van Rensselaer Potter (1911–2001), Global Bio-Ethics is about building on the legacy of Aldo Leopold (1887–1948), one of the most notable forest managers of the twentieth century who brought to light the importance of pragmatism in the sciences and showed us a new way to proceed with environmental ethics. Following Richard Huxtable and Jonathan Ives's methodological 'Framework for Empirical Bioethics Research Projects' called 'Mapping, framing, shaping,' published in BMC Medicine Ethics (2019)), we propose operationalizing a framework for Global Bio-Ethics (...) by hybridizing approaches in empirical bioethics and ecosystem management. We explain this framework using the metaphor of forest management. This mixed approach is articulated through three phases: (1) mapping the “landscape” to build a working theory, (2) framing the “scene” to prepare the fieldwork, and (3) shaping bioethics “tools” to stimulate cooperation. Applying this methodology, an adaptive management cycle is outlined to help ensure that political processes are sustainable and socially acceptable, still based on strategic and ethical thinking, but also capable of reshaping failing policies. (shrink)

This article is part of a For-Discussion-Section of Methods of Information in Medicine about the paper "Biomedical Informatics: We Are What We Publish", written by Peter L. Elkin, Steven H. Brown, and Graham Wright. It is introduced by an editorial. This article contains the combined commentaries invited to independently comment on the Elkin et al. paper. In subsequent issues the discussion can continue through letters to the editor.

Science is founded on a method based on critical thinking. A prerequisite for this is not only a sufficient command of language but also the comprehension of the basic concepts underlying our understanding of reality. This constraint implies an awareness of the fact that the truth of the World is not directly accessible to us, but can only be glimpsed through the construction of mod- els designed to anticipate its behaviour. Because the relationship between models and reality rests on the (...) interpretation of founding postulates and in- stantiations of their predictions (and is therefore deeply rooted in language and culture), there can be no demarcation between science and non-science. However, critical thinking is essential to ensure that the link between models and reality is gradually made more adequate to reality, based on what has already been established, thus guaranteeing that science progresses on this basis and excluding any form of relativism. (shrink)

Anticiper les épidémies est le souhait le plus vif de toutes les institutions qui veillent sur la santé publique. Un raisonnement naïf permet de penser qu’il suffit de faire évoluer en laboratoire un organisme potentiellement pathogène pour savoir comment sa descendance pourra devenir plus virulente pour l’homme. Il est alors facile de faire croître cet organisme sur des cellules humaines, qu’il infecte mal pour commencer, puis de retenir ses descendants au fur et à mesure qu’ils deviennent plus infectieux. La vision (...) optimiste affirme alors que les caractériser permettra de construire des défenses appropriées. Bien des variations sur ce thème sont possibles, y compris avec l’aide de la synthèse artificielle de variants dont on saurait imaginer la pathogénicité pour l’homme. Depuis plus de deux décennies, des chercheurs développent des expériences de ce type, dite de « gain de fonction » (GdF). Leur interprétation repose sur l’illusion que nous savons prévoir l’évolution des êtres vivants. En réalité, ceux que nous observons aujourd’hui ont été sélectionnés au cours du temps précisément parce qu’ils conduisent toujours à des comportements imprévisibles. Une règle clé de l’évolution est que la vie, pour durer dans des circonstances qui ne peuvent être prévues, doit sans cesse faire émerger des formes innovantes. À ce caractère propre à la vie s’ajoute un imprévisible lié à l’impéritie humaine, cause de l’omniprésence des accidents de laboratoire. Or, en virologie spécialement, l’accident est la règle et non l’exception. Il faut ajouter que le caractère public de ces expériences les rend utilisables par toutes les structures malveillantes qui sont hélas répandues dans le monde. Il n’est pas difficile alors d’imaginer les conséquences catastrophiques des expériences de GdF. Nous proposons donc qu’elles soient purement et simplement interdites et que toute transgression soit sévèrement punie, en frappant d’abord au porte-monnaie, ce qui semble être la meilleure façon de faire dans nos sociétés devenues universellement vénales. (shrink)

To construct a synthetic cell we need to understand the rules that permit life. A central idea in modern biology is that in addition to the four entities making reality, matter, energy, space and time, a fifth one, information, plays a central role. As a consequence of this central importance of the management of information, the bacterial cell is organised as a Turing machine, where the machine, with its compartments defining an inside and an outside and its metabolism, reads and (...) expresses the genetic program carried by the genome. This highly abstract organisation is implemented using concrete objects and dynamics, and this is at the cost of repeated incompatibilities (frustration), which need to be sorted out by appropriate «patches». After describing the organisation of the genome into the paleome (sustaining and propagating life) and the cenome (permitting life in context), we describe some chemical hurdles that the cell as to cope with, ending with the specific case of the methionine salvage pathway. (shrink)

This is the first French translation of Galen’s De optima doctrina, which articulates his view “On the Best Teaching”. The translation is preceded by an introduction on the context in which this text was written, especially on the relationship of Galen towards scepticism in general and Favorinus of Arles in particular. Although it is hard to characterize this “treatise” in terms of its date of redaction and its form, nonetheless it yields clear information on Galen’s critiques with regards to the (...) “Platonists” and the “Pyrrhonists”. (shrink)

We regularly intentionally expose ourselves to fictions we take to be likely to elicit in us emotions we generally find unpleasant when prompted by actual states of affairs. This is the so-called “paradox of tragedy”. We contribute to solving the paradox of tragedy by denying that, when fiction-directed, most of these emotions are in themselves unpleasant. We first provide strong evidence that these emotions, such as fear, sadness, or pity, are often enjoyed when fiction-directed. We then advance an explanation of (...) what makes these fiction-directed emotions often not unpleasant, while their reality-directed counterparts are generally so. In the last section, we advance an explanation of what makes fiction-directed emotions often enjoyable, and argue that a complete solution to the paradox of tragedy should be pluralist. (shrink)

According to an influential idea in the philosophy of set theory, certain mathematical concepts, such as the notion of a well-order and set, are indefinitely extensible. Following Parsons (1983), this has often been cashed out in modal terms. This paper explores instead an extensional articulation of the idea, formulated in higher-order logic, that flat-footedly formalizes some remarks of Zermelo. The resulting picture is incompatible with the idea that the entire universe can be well-ordered, but entirely consistent with the idea that (...) the sets of any set-theoretic universe can be. (shrink)

Abstract In initial teacher training, the micro-teaching activities and retroaction have for goals to develop reflexive practitioners and competent professionals with a high professional identity. The double analyze of the teacher’s action – observation of teacher gestures and analysis of retroaction - requires two complementary methods to make the links between interactive and postactive phase. In this article, the authors describe the different training activities, and explain the research approach with an illustration of a concrete case. -/- En formation initiale (...) des enseignants, les activités de micro-enseignement et de rétroaction vidéo ont pour objectif de former des praticiens réflexifs et des professionnels compétents dotés d’une identité forte. La double lecture de l’action, via l’observation des gestes professionnels et l’analyse des traces de réflexivité survenues contenu lors des entretiens de rétroactions, nécessite de mettre en place deux méthodes complémentaires, ceci afin de faire les liens entre phase interactive et phase postactive. Dans cet article, après avoir détaillé le dispositif de formation, les auteurs exposent leurs démarches en les illustrant par le cas concret d’une future enseignante. (shrink)

Pasteur’s originality in the way he developed pure research is to have understood the importance, for society, of the underlying motivation. Curiosity, of course, is a strong motivation, which explains why we seek to understand the origin of life. But, in front of the immensity of the possible choices, why not, also, choose to start from questions of economic interest (diseases of beer and wine, diseases aVecting the silk industry . . . ) Finally, of course, health is a constant (...) preoccupation, but the diseases, which have no borders, often come from tropical countries and Asia especially. It is therefore necessary to settle there, but not to come and impose one’s point of view, but on the contrary to use the knowledge coming from the local culture in order to open new ways of understanding the reality of the world. (shrink)

The abstract basis of modern computation is the formal description of a finite state machine, the Universal Turing Machine, based on manipulation of integers and logic symbols. In this contribution to the discourse on the computer-brain analogy, we discuss the extent to which analog computing, as performed by the mammalian brain, is like and unlike the digital computing of Universal Turing Machines. We begin with ordinary reality being a permanent dialog between continuous and discontinuous worlds. So it is with computing, (...) which can be analog or digital, and is often mixed. The theory behind computers is essentially digital, but efficient simulations of phenomena can be performed by analog devices; indeed, any physical calculation requires implementation in the physical world and is therefore analog to some extent, despite being based on abstract logic and arithmetic. The mammalian brain, comprised of neuronal networks, functions as an analog device and has given rise to artificial neural networks that are implemented as digital algorithms but function as analog models would. Analog constructs compute with the implementation of a variety of feedback and feedforward loops. In contrast, digital algorithms allow the implementation of recursive processes that enable them to generate unparalleled emergent properties. We briefly illustrate how the cortical organization of neurons can integrate signals and make predictions analogically. While we conclude that brains are not digital computers, we speculate on the recent implementation of human writing in the brain as a possible digital path that slowly evolves the brain into a genuine (slow) Turing machine. (shrink)

Abstract In initial teacher training, the micro-teaching activities and retroaction have for goals to develop reflexive practitioners and competent professionals with a high professional identity. The double analyze of the teacher’s action – observation of teacher gestures and analysis of retroaction - requires two complementary methods to make the links between interactive and postactive phase. In this article, the authors describe the different training activities, and explain the research approach with an illustration of a concrete case. En formation initiale des (...) enseignants, les activités de micro-enseignement et de rétroaction vidéo ont pour objectif de former des praticiens réflexifs et des professionnels compétents dotés d’une identité forte. La double lecture de l’action, via l’observation des gestes professionnels et l’analyse des traces de réflexivité survenues contenu lors des entretiens de rétroactions, nécessite de mettre en place deux méthodes complémentaires, ceci afin de faire les liens entre phase interactive et phase postactive. Dans cet article, après avoir détaillé le dispositif de formation, les auteurs exposent leurs démarches en les illustrant par le cas concret d’une future enseignante. (shrink)

Trois questions principales sont examinées dans cette entrée encyclopédique : 1) Qu’est-ce que la suspension du jugement ? Quelle est la relation entre la suspension du jugement et l’enquête ? 3) Quelle est la valeur de la suspension du jugement ?

This paper explores what happens when artists fail to execute their goals. I argue that taxonomies of failure in general, and of failed-art in particular, should focus on the attempts which generate the failed-entity, and that to do this they must be sensitive to an attempt’s orientation. This account of failed-attempts delivers three important new insights into artistic practice: there can be no accidental art, only deliberate and incidental art; art’s intention-dependence entails the possibility of performative failure, but not of (...) failed-art; and art’s intention-dependence is perfectly compatible with the role that luck plays in artistic creation. (shrink)

The notion of antifragility, an attribute of systems that makes them thrive under variable conditions, has recently been proposed by Nassim Taleb in a business context. This idea requires the ability of such systems to ‘tinker’, i.e., to creatively respond to changes in their environment. A fairly obvious example of this is natural selection-driven evolution. In this ubiquitous process, an original entity, challenged by an ever-changing environment, creates variants that evolve into novel entities. Analyzing functions that are essential during stationary-state (...) life yield examples of entities that may be antifragile. One such example is proteins with flexible regions that can undergo functional alteration of their side residues or backbone and thus implement the tinkering that leads to antifragility. This in-built property of the cell chassis must be taken into account when considering construction of cell factories driven by engineering principles. (shrink)

It is widely agreed that fiction is necessarily incomplete, but some recent work postulates the existence of universal fictions—stories according to which everything is true. Building such a story is supposedly straightforward: authors can either assert that everything is true in their story, define a complement function that does the assertoric work for them, or, most compellingly, write a story combining a contradiction with the principle of explosion. The case for universal fictions thus turns on the intuitive priority we assign (...) to the law of non-contradiction. My goal in this paper is to show that our critical and reflective literary practices set constraints on story-telling which preclude universal fictions. I will raise four stumbling blocks for universal fictionalists: the gap between saying and making true, our actual interpretive reactions to story-level contradictions, the criteria we accept for what counts as a story in our literary practices, and the undesirability of the universal fictionalist’s closure principles. (shrink)