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

Can an AGI create a more intelligent AGI? Under idealized assumptions, for a certain theoretical type of intelligence, our answer is: “Not without outside help”. This is a paper on the mathematical structure of AGI populations when parent AGIs create child AGIs. We argue that such populations satisfy a certain biological law. Motivated by observations of sexual reproduction in seemingly-asexual species, the Knight-Darwin Law states that it is impossible for one organism to asexually produce another, which asexually produces another, and (...) so on forever: that any sequence of organisms (each one a child of the previous) must contain occasional multi-parent organisms, or must terminate. By proving that a certain measure (arguably an intelligence measure) decreases when an idealized parent AGI single-handedly creates a child AGI, we argue that a similar Law holds for AGIs. (shrink)

We define a notion of the intelligence level of an idealized mechanical knowing agent. This is motivated by efforts within artificial intelligence research to define real-number intelligence levels of compli- cated intelligent systems. Our agents are more idealized, which allows us to define a much simpler measure of intelligence level for them. In short, we define the intelligence level of a mechanical knowing agent to be the supremum of the computable ordinals that have codes the agent knows to be codes (...) of computable ordinals. We prove that if one agent knows certain things about another agent, then the former necessarily has a higher intelligence level than the latter. This allows our intelligence no- tion to serve as a stepping stone to obtain results which, by themselves, are not stated in terms of our intelligence notion (results of potential in- terest even to readers totally skeptical that our notion correctly captures intelligence). As an application, we argue that these results comprise evidence against the possibility of intelligence explosion (that is, the no- tion that sufficiently intelligent machines will eventually be capable of designing even more intelligent machines, which can then design even more intelligent machines, and so on). (shrink)

Legg and Hutter, as well as subsequent authors, considered intelligent agents through the lens of interaction with reward-giving environments, attempting to assign numeric intelligence measures to such agents, with the guiding principle that a more intelligent agent should gain higher rewards from environments in some aggregate sense. In this paper, we consider a related question: rather than measure numeric intelligence of one Legg- Hutter agent, how can we compare the relative intelligence of two Legg-Hutter agents? We propose an elegant answer (...) based on the following insight: we can view Legg-Hutter agents as candidates in an election, whose voters are environments, letting each environment vote (via its rewards) which agent (if either) is more intelligent. This leads to an abstract family of comparators simple enough that we can prove some structural theorems about them. It is an open question whether these structural theorems apply to more practical intelligence measures. (shrink)

We construct a machine that knows its own code, at the price of not knowing its own factivity.

In 2011, Hibbard suggested an intelligence measure for agents who compete in an adversarial sequence prediction game. We argue that Hibbard’s idea should actually be considered as two separate ideas: first, that the intelligence of such agents can be measured based on the growth rates of the runtimes of the competitors that they defeat; and second, one specific (somewhat arbitrary) method for measuring said growth rates. Whereas Hibbard’s intelligence measure is based on the latter growth-rate-measuring method, we survey other methods (...) for measuring function growth rates, and exhibit the resulting Hibbard-like intelligence measures and taxonomies. Of particular interest, we obtain intelligence taxonomies based on Big-O and Big-Theta notation systems, which taxonomies are novel in that they challenge conventional notions of what an intelligence measure should look like. We discuss how intelligence measurement of sequence predictors can indirectly serve as intelligence measurement for agents with Artificial General Intelligence (AGIs). (shrink)

A fundamental question asked in modal logic is whether a given theory is consistent. But consistent with what? A typical way to address this question identifies a choice of background knowledge axioms (say, S4, D, etc.) and then shows the assumptions codified by the theory in question to be consistent with those background axioms. But determining the specific choice and division of background axioms is, at least sometimes, little more than tradition. This paper introduces generic theories for propositional modal logic (...) to address consistency results in a more robust way. As building blocks for background knowledge, generic theories provide a standard for categorical determinations of consistency. We argue that the results and methods of this paper help to elucidate problems in epistemology and enjoy sufficient scope and power to have purchase on problems bearing on modalities in judgement, inference, and decision making. (shrink)

One shortcoming of the chain rule is that it does not iterate: it gives the derivative of f(g(x)), but not (directly) the second or higher-order derivatives. We present iterated differentials and a version of the multivariable chain rule which iterates to any desired level of derivative. We first present this material informally, and later discuss how to make it rigorous (a discussion which touches on formal foundations of calculus). We also suggest a finite calculus chain rule (contrary to Graham, Knuth (...) and Patashnik's claim that "there's no corresponding chain rule of finite calculus"). (shrink)

We study the structure of families of theories in the language of arithmetic extended to allow these families to refer to one another and to themselves. If a theory contains schemata expressing its own truth and expressing a specific Turing index for itself, and contains some other mild axioms, then that theory is untrue. We exhibit some families of true self-referential theories that barely avoid this forbidden pattern.

We propose that, for the purpose of studying theoretical properties of the knowledge of an agent with Artificial General Intelligence (that is, the knowledge of an AGI), a pragmatic way to define such an agent’s knowledge (restricted to the language of Epistemic Arithmetic, or EA) is as follows. We declare an AGI to know an EA-statement φ if and only if that AGI would include φ in the resulting enumeration if that AGI were commanded: “Enumerate all the EA-sentences which you (...) know.” This definition is non-circular because an AGI, being capable of practical English communication, is capable of understanding the everyday English word “know” independently of how any philosopher formally defines knowledge; we elaborate further on the non-circularity of this circular-looking definition. This elegantly solves the problem that different AGIs may have different internal knowledge definitions and yet we want to study knowledge of AGIs in general, without having to study different AGIs separately just because they have separate internal knowledge definitions. Finally, we suggest how this definition of AGI knowledge can be used as a bridge which could allow the AGI research community to import certain abstract results about mechanical knowing agents from mathematical logic. (shrink)

We provide an intuitive motivation for the hyperreal numbers via electoral axioms. We do so in the form of a Socratic dialogue, in which Protagoras suggests replacing big-oh complexity classes by real numbers, and Socrates asks some troubling questions about what would happen if one tried to do that. The dialogue is followed by an appendix containing additional commentary and a more formal proof.

A variation of Fitch’s paradox is given, where no special rules of inference are assumed, only axioms. These axioms follow from the familiar assumptions which involve rules of inference. We show (by constructing a model) that by allowing that possibly the knower doesn’t know his own soundness (while still requiring he be sound), Fitch’s paradox is avoided. Provided one is willing to admit that sound knowers may be ignorant of their own soundness, this might offer a way out of the (...) paradox. (shrink)

Do we live in a computer simulation? I will present an argument that the results of a certain experiment constitute empirical evidence that we do not live in, at least, one type of simulation. The type of simulation ruled out is very specific. Perhaps that is the price one must pay to make any kind of Popperian progress.

I present an argument that for any computer-simulated civilization we design, the mathematical knowledge recorded by that civilization has one of two limitations. It is untrustworthy, or it is weaker than our own mathematical knowledge. This is paradoxical because it seems that nothing prevents us from building in all sorts of advantages for the inhabitants of said simulation.

Elementary patterns of resemblance notate ordinals up to the ordinal of Pi^1_1-CA_0. We provide ordinal multiplication and exponentiation algorithms using these notations.

In their thought-provoking paper, Legg and Hutter consider a certain abstrac- tion of an intelligent agent, and define a universal intelligence measure, which assigns every such agent a numerical intelligence rating. We will briefly summarize Legg and Hutter’s paper, and then give a tongue-in-cheek argument that if one’s goal is to become more intelligent by cultivating music appreciation, then it is bet- ter to use classical music (such as Bach, Mozart, and Beethoven) than to use more recent pop music. The (...) same argument could be adapted to other media: books beat films, card games beat first-person shooters, parables beat dissertations, etc. We leave it to the reader to decide whether this argument tells us something about classical music, something about Legg-Hutter intelligence, or something about both. (shrink)

Can you find an xy-equation that, when graphed, writes itself on the plane? This idea became internet-famous when a Wikipedia article on Tupper’s self-referential formula went viral in 2012. Under scrutiny, the question has two flaws: it is meaningless (it depends on fonts) and it is trivial. We fix these flaws by formalizing the problem.

Reinhardt’s conjecture, a formalization of the statement that a truthful knowing machine can know its own truthfulness and mechanicalness, was proved by Carlson using sophisticated structural results about the ordinals and transfinite induction just beyond the first epsilon number. We prove a weaker version of the conjecture, by elementary methods and transfinite induction up to a smaller ordinal.

In his dissertation, Wadge defined a notion of guessability on subsets of the Baire space and gave two characterizations of guessable sets. A set is guessable if and only if it is in the second ambiguous class, if and only if it is eventually annihilated by a certain remainder. We simplify this remainder and give a new proof of the latter equivalence. We then introduce a notion of guessing with an ordinal limit on how often one can change one’s mind. (...) We show that for every ordinal $\alpha$, a guessable set is annihilated by $\alpha$ applications of the simplified remainder if and only if it is guessable with fewer than $\alpha$ mind changes. We use guessability with fewer than $\alpha$ mind changes to give a semi-characterization of the Hausdorff difference hierarchy, and indicate how Wadge’s notion of guessability can be generalized to higher-order guessability, providing characterizations of ${\mathbf{\Delta}}^{0}_{\alpha}$ for all successor ordinals $\alpha\gt 1$. (shrink)

A suprise may occur if we use a similar strategy to the Liar's paradox to mathematically formalize "This sentence does not contain the symbol X".

A biologically unavoidable sequence is an infinite gender sequence which occurs in every gendered, infinite genealogical network satisfying certain tame conditions. We show that every eventually periodic sequence is biologically unavoidable (this generalizes König's Lemma), and we exhibit some biologically avoidable sequences. Finally we give an application of unavoidable sequences to cellular automata.

Monoclonal antibodies are essential biomedical research and clinical reagents that are produced by companies and research laboratories. The NIAID ImmPort (Immunology Database and Analysis Portal) resource provides a long-term, sustainable data warehouse for immunological data generated by NIAID, DAIT and DMID funded investigators for data archiving and re-use. A variety of immunological data is generated using techniques that rely upon monoclonal antibody reagents, including flow cytometry, immunofluorescence, and ELISA. In order to facilitate querying, integration, and reuse of data, standardized terminology (...) for describing monoclonal antibody reagents and their targets needs to be used for annotating data submitted to ImmPort. (shrink)

Samuel Butler is usually remembered for Erewhon, widely considered among the best English satires. He also contributed to philosophical biology in works that collectively compose the nineteenth century's finest statement of the evolutionary argument associated with the name of Lamarck. In writing on evolution, Butler was not presenting science for a popular audience but deliberately intervening in the scientific argument about Darwinism. Surprised by the success of his first venture in philosophical biology, Life and Habit, Butler committed himself to (...) the project of developing an alternative to Darwinism, which he did in three additional volumes, and these are the works canvassed in this “delayed book review.”. (shrink)

Our paper examines Gloria Anzaldúa’s critical appropriation of Mexican philosophical sources, especially in the writing of Borderlands/La Frontera. We demonstrate how Anzaldúa developed a transnational Philosophy of Mexicanness, effectively contributing to what has been recently characterized as the “multi-generational project to pursue philosophy from and about Mexican circumstances” (Vargas). More specifically, we recover “La Mexicana en la Chicana” by paying careful attention to Anzaldúa’s Mexican sources, both those she explicitly cites and those we have discovered while conducting archival research using (...) the Gloria Evangelina Anzaldúa Papers from the Benson Latin American Collection at the University of Texas at Austin. The three sections of our paper: 1) define the terms Mexican and philosophy in conversation with Anzaldúa’s work, 2) examine the Mexican philosophical sources that Anzaldúa cites in Borderlands/La Frontera, and 3) present the other major Mexican philosophical influences on Anzaldúa that we have found in her archive. The eight Mexican philosophical sources we discuss here include: José Vasconcelos (1882-1959), Miguel León-Portilla (1926-2019), Juana Armanda Alegría (1938- ), Octavio Paz (1914-1998), Samuel Ramos (1897-1959), Rosario Castellanos (1925-1974), Sor Juana Inés de La Cruz (1648-1695), and Jorge Carrión (1913-2005). (shrink)

This essay examines Gloria Anzaldúa’s critical appropriation of two Mexican philosophers in the writing of Borderlands/La Frontera: Samuel Ramos and Octavio Paz. We argue that although neither of these authors is cited in her seminal work, Anzaldúa had them both in mind through the writing process and that their ideas are present in the text itself. Through a genealogical reading of Borderlands/La Frontera, and aided by archival research, we demonstrate how Anzaldúa’s philosophical vision of the “new mestiza” is a (...) critical continuation of the broader tradition known as la filosofía de lo mexicano, which flourished during a golden age of Mexican philosophy (1910–1960). Our aim is to open new directions in Latinx and Latin American philosophy by presenting Anzaldúa’s Borderlands/La Frontera as a profound scholarly encounter with two classic works of Mexican philosophy, Ramos’ Profile of Man and Culture in Mexico and Paz’s The Labyrinth of Solitude. (shrink)

This article examines Gloria Anzaldúa’s critical appropriation of Mexican philosophical sources, especially in the writing of Borderlands/La Frontera. We argue that Anzaldúa effectively contributed to la filosofía de lo mexicano by developing an Inter-American Philosophy of Mexicanness. More specifically, we recover “La Mexicana en la Chicana” by paying careful attention to Anzaldúa’s Mexican sources, both those she explicitly cites and those we have discovered while conducting archival research using the Gloria Evangelina Anzaldúa Papers at the Benson Latin American Collection at (...) the University of Texas at Austin. The eight Mexican philosophical sources we examine and discuss here are: José Vasconcelos (1882-1959), Miguel León-Portilla (1926-2019), Juana Armanda Alegría (1938- ), Octavio Paz (1914-1998), Samuel Ramos (1897-1959), Rosario Castellanos (1925-1974), Sor Juana Inés de La Cruz (1648-1695), and Jorge Carrión (1913-2005). (shrink)

Samuel Alexander was a central figure of the new wave of realism that swept across the English-speaking world in the early twentieth century. His Space, Time, and Deity (1920a, 1920b) was taken to be the official statement of realism as a metaphysical system. But many historians of philosophy are quick to point out the idealist streak in Alexander’s thought. After all, as a student he was trained at Oxford in the late 1870s and early 1880s as British Idealism was (...) beginning to flourish. This naturally had some effect on his philosophical outlook and it is said that his early work is overtly idealist. In this paper I examine his neglected and understudied reactions to British Idealism in the 1880s. I argue that Alexander was not an idealist during this period and should not be considered as part of the British Idealist tradition, philosophically speaking. (shrink)

This essay focuses on theories of creativity from six historical figures, while noting comparisons to several others. In Ancient Greece: (i) Plato advances the thesis that the poet is a passive vessel inspired by a muse. (ii) Aristotle replies with the antithesis that the poet creates through skilled activity. (iii) Longinus provides the synthesis. Plato is right that poets are passively inspired with original ideas – though the source is natural genius instead of some muse. But Aristotle is also right (...) that the poet must actively employ skill. In early modern Europe: (iv) Margaret Cavendish argues that through creativity women can enjoy some freedom and happiness despite oppression. (v) Alexander Gerard and Immanuel Kant both inherit the Longinian synthesis. Gerard says we form original ideas through remote associations. (vi) Kant notices that although the genius must be passive in the origination of ideas, she must also be active in the very same process, because she merits acclaim for her originality. Kant designs his theory of genius to resolve this Paradox of Creative Agency. (shrink)

Stephen Mumford and Alexander Bird disagree about which properties are powers and, correspondingly, about the extent of the philosophical work to which powers may be put. Unfortunately, there is an important respect in which these authors are talking past each other and so the reason for their disagreement remains obscured. I highlight what has gone wrong in their recent exchange, attempt to clear up the confusion and pinpoint the true source of their disagreement. My hope is to redirect the efforts (...) of these authors and their followers onto more pressing foundational issues in the metaphysics of powers. (shrink)

Samuel Alexander was one of the first realists of the twentieth century to defend a theory of categories. He thought that the categories are genuinely real and grounded in the intrinsic nature of Space-Time. I present his reduction of the categories in terms of Space-Time, articulate his account of categorial structure and completeness, and offer an interpretation of what he thought the nature of the categories really were. I then argue that his theory of categories has some advantages over (...) competing theories of his day, and finally draw some important lessons that we can learn from his realist yet reductionist theory of categories. (shrink)

Aristotle says that ὑπαρχειν has as many senses as ‘to be true’ (PrA. , A, 36, 48b2-9) and as many ways as there are different categories. (PrA., A, 37, 49a6-9) This may mean that for every ‘is’ there is a ὑπαρχειν. Τhe reason is that Aristotle uses ὑπαρχειν in converse direction of ‘is’. The equal statement of ‘A is B’ with ὑπαρχειν is ‘B ὑπαρχει to A.’ Allen Bāck points to the difference between the use of the verb with (...) dative case and its use with a subject alone in Greek language. When it is used with the dative, it retains its basic meaning, that is, ‘be already present’ or ‘exist really.’ ‘So to say that P belongs to S is to say that P exists in S, or, if you like, that P has its being in S.’ He believes that Aristotle uses this construction to insist that primary substances alone are the fundamental being and all other things only are ‘in’ substances. Thus, when the verb is used with the dative, it expresses dependent substance relation. But when it is used with a subject alone, e.g. in ‘S ὑπάρχει,’ it expresses that the subject really exists. (OI., 17a24 and 17b2) Thus, while it is the subject which is said to be the predicate, it is the predicate which ὑπάρχει to the subject. The formula of ‘τὸ Α ὑπάρχει τῷ Β’ is equivalent to ‘τὸ Β ἐστι Α.’ He uses the word for the predication of a category on substance (e.g. Met., α, 993b24-25; Met., Z, 1029a15-16; Cat., 5, 3b24-25), the predication of secondary substance on primary substance (e.g. Met., Z, 1038b21-23; Cat., 5, 2a14-19), the predication of primary substance on nothing else but itself (e.g. Met., Z, 1040b23-24), the belonging of a verb to the subject, the belonging of axioms to a single science (Met., 1005a22-23) , the belonging of PNC to all things that are (Met., IV, 3) , in the sense of really existing (Cael. 297b22, Met., 1041b4. Cf. B503, 125-126) or merely in the sense of the predication of a predicate on a subject (e.g. OI., I, 5, 17a22-24) and especially and much more repeatedly than anywhere else in his discussion of syllogism. (e.g. PrA., A, 36, 48a40-b2; PrA., B, 22, 67b28-30; PrA., A, 24a26-28) It is also used in some related senses like mere belonging (e.g. Met., A, 989a10-14; K, 1060a9-10) or to be there. (So., B, 5, 417b23-26) Some of its derived forms are also used by Aristotle. For example, ἐνυπαρχον in the sense of the thing that is ‘in’ something; (e.g. Met., A, 991a13-16; Met., Z, 1038b29-33 and 1039a3-5) ὑπερέχον in the sense of that which contains and ὑπερεχόμενον in the sense of that which is contained in something else. (e.g. Met., Δ, 1020b26-28) In a sense, the extent of the application of ὑπαρχειν is wider than ‘is’ since it is not restricted to the nominative form in which ‘is’ is used but is applicable to other cases as well: ‘For ‘That does not belong to this’ does not always mean that ‘This is not that’ but sometimes that ‘this is not of that’ or ‘for that.’ (PsA., A, 36, 48b28-33) Allen Bāck (B503, 124) points that in the Prior Analytics Aristotle uses ‘ὑπάρχει τῷ’ and ‘κατηγορεῖσθαι κατά’ interchangeably. (e.g. at 25b37-26a4) Referring to its converse construction in respect of μετέχει (if A belongs to B, then B participates in A) as a probable reason that it may have Platonist foundations. But the question is: why does Aristotle uses this construction (B belongs to A) instead of simply saying A is B? Alexander of Aphrodisias (Apr 54.21-29) wonders why Aristotle had to adhere to such artificial language, entirely unnatural for ordinary speakers of Greek. As Jonathan Barnes points out, all the three formulas of ‘τὸ Α ὑπάρχει τῷ Β,’ ‘τὸ Α κατηγορεῖται κατὰ τοῦ Β’ and ‘τὸ Α λέγεται κατὰ τοῦ Β’ are artificial in the sense that no Greek who wanted to say that pleasure was good would normally have expressed himself by way of any of them.’ Bāck thinks Aristotle may have used it ‘to stress the primacy of primary substances as the ultimate subjects.’ He also mentions the probability that it may be to emphasize that the terms are being coupled in predication without any existence condition, a suggestion he is not himself inclined with. Robin Smith notes for Aristotle that ‘belonging to’ construction is wider than ‘predicated of’ construction because it can be used for cases that cannot easily be treated as categorical sentences. While predication is restricted to cases in which the subject term is in the nominative case, belonging can indicate, as he quotes Mignucci (480-481), ‘any possible grammatical construction for a predicative relation’ . (shrink)

L'écologie préénergétique des années 1905-1935 est à la recherche de ses objets d'étude. Des unités fondamentales de la nature (telles que formation végétale, association végétale, climax, biome, communauté biotique, écosystème) se trouvent en compétition et se succèdent les unes aux autres. Autour des années 1920 et 1930, la philosophie organiciste d'Alfred N. Whitehead, ainsi que la perspective évolutionniste d'Herbert Spencer et les propositions émergentistes de Samuel Alexander et Conwy L. Morgan, deviennent des références sous-jacentes au débat épistémologique concernant les (...) unités de base de l'écologie. Des auteurs comme Frederic E. Clements et John Phillips soutiendront plusieurs formes d'organicisme écologique, tandis que Henry A. Gleason interprétera l'association végétale comme le résultat d'une juxtaposition fortuite d'individus. Enfin, et paradoxalement, l'écosystème de Arthur G. Tansley, tout en faisant partie, à l'origine, d'une perspective anti-organiciste, deviendra l'unité fondamentale de programmes de recherche qui se voudront, au moins dans leurs intentions, émergentistes. (shrink)

Journal of Applied Philosophy, EarlyView.

Over the past 25 years, UK government policy exhortations to promote and increase exercise and physical activity levels in the population have increased in volume. In recent years, too, there has been growing sociological interest in exercise and physical activity embodiment issues, including within phenomenologically-inspired research into lived-body experiences. This article contributes original insights to a developing body of phenomenological-sociological empirical work in this domain, in addressing the lived experience of organised exercise in outdoor environments, and specifically in theorising the (...) role of ‘lived weather’ in contouring these experiences. It thus addresses the call by Vannini et al. (2012) to remedy the notable ‘absent-presence’ of weather in much social science research. Drawing upon data from a two-year multi-disciplinary, multi-institutional ethnographic study of a nationwide exercise programme in Wales, UK, this article examines participants’ (n = 146) lived experience of weather, and theorises their ‘weather learning’, and ‘weather work’, both of which emerged as highly salient in the findings. (shrink)

Weather experiences are currently surprisingly under-explored and under-theorised in sociology and sport sociology, despite the importance of weather in both routine, everyday life and in recreational sporting and physical–cultural contexts. To address this lacuna, we examine here the lived experience of weather, including ‘weather work’ and ‘weather learning’, in our specific physical–cultural worlds of distance-running, triathlon and jogging in the United Kingdom. Drawing on a theoretical framework of phenomenological sociology, and the findings from five separate auto/ethnographic projects, we explore the (...) ‘weather-worlds’ and weather work involved in our physical–cultural engagement. In so doing, we address ongoing sport sociological concerns about embodiment and somatic, sensory learning and ways of knowing. We highlight how weather work provides a key example of the phenomenological conceptualisation of the mind–body–world nexus in action, with key findings delineating weather learning across the meteorological seasons that contour our British weather-related training. (shrink)

Nicomachean Ethics/NE, Book III, Chapters 1-5, provides Aristotle’s account of “Voluntary Movement.” It, thus, draws the Passion-Action distinction, only posited earlier in Categories, while also serving as the linchpin of NE’s discussion of Virtue, in explicitly connecting it to Right Reason. My explication of this text renders its terminology consistent with the Law of Excluded Middle and rebuts two criticisms of the Eudaimonistic Axiology on which it is based. These results are shown to be entailments of Aristotle’s doctrine that Voluntary (...) is (a) Relative. That categorization is then used to help treat a problematic case of Deliberation beyond his purview. (shrink)

In evolutionary biology, niche construction is sometimes described as a genuine evolutionary process whereby organisms, through their activities and regulatory mechanisms, modify their environment such as to steer their own evolutionary trajectory, and that of other species. There is ongoing debate, however, on the extent to which niche construction ought to be considered a bona fide evolutionary force, on a par with natural selection. Recent formulations of the variational free-energy principle as applied to the life sciences describe the properties of (...) living systems, and their selection in evolution, in terms of variational inference. We argue that niche construction can be described using a variational approach. We propose new arguments to support the niche construction perspective, and to extend the variational approach to niche construction to current perspectives in various scientific fields. (shrink)

In this article, we propose the Fair Priority Model for COVID-19 vaccine distribution, and emphasize three fundamental values we believe should be considered when distributing a COVID-19 vaccine among countries: Benefiting people and limiting harm, prioritizing the disadvantaged, and equal moral concern for all individuals. The Priority Model addresses these values by focusing on mitigating three types of harms caused by COVID-19: death and permanent organ damage, indirect health consequences, such as health care system strain and stress, as well as (...) economic destruction. It proposes proceeding in three phases: the first addresses premature death, the second long-term health issues and economic harms, and the third aims to contain viral transmission fully and restore pre-pandemic activity. -/- To those who may deem an ethical framework irrelevant because of the belief that many countries will pursue "vaccine nationalism," we argue such a framework still has broad relevance. Reasonable national partiality would permit countries to focus on vaccine distribution within their borders up until the rate of transmission is below 1, at which point there would not be sufficient vaccine-preventable harm to justify retaining a vaccine. When a government reaches the limit of national partiality, it should release vaccines for other countries. -/- We also argue against two other recent proposals. Distributing a vaccine proportional to a country's population mistakenly assumes that equality requires treating differently situated countries identically. Prioritizing countries according to the number of front-line health care workers, the proportion of the population over 65, and the number of people with comorbidities within each country may exacerbate disadvantage and end up giving the vaccine in large part to wealthy nations. (shrink)

In this paper, we examine a number of relevant logics’ variable sharing properties from the perspective of theories of topic or subject-matter. We take cues from Franz Berto’s recent work on topic to show an alignment between families of variable sharing properties and responses to the topic transparency of relevant implication and negation. We then introduce and defend novel variable sharing properties stronger than strong depth relevance—which we call cn-relevance and lossless cn-relevance—showing that the properties are satisfied by the weak (...) relevant logics and , respectively. We argue that such properties address a sort of semantic lossiness of strong depth relevance. (shrink)

I demonstrate here that it is possible for an event to be identical with one of its proper parts, refuting the key premise in Lawrence Lombard's argument for the essentiality of an event's time. I also propose and defend an alternative to his criterion of event identity.

The current global COVID-19 pandemic has led to a deep and multidimensional crisis across all sectors of society. As countries contemplate their mobility and social-distancing policy restrictions, we have a unique opportunity to re-imagine the deliberative frameworks and value priorities in our food systems. Pre-pandemic food systems at global, national, regional and local scales already needed revision to chart a common vision for sustainable and ethical food futures. Re-orientation is also needed by the relevant sciences, traditionally siloed in their disciplines (...) and without adequate attention paid to how the food system problem is variously framed by diverse stakeholders according to their values. From the transdisciplinary perspective of food ethics, we argue that a post-pandemic scheme focused on bottom-up, regional, cross-sectoral and non-partisan deliberation may provide the re-orientation and benchmarks needed for not only more sustainable, but also more ethical food futures. (shrink)

Consider the set of inferences that are acceptable to use in all our theory building endeavors. Call this set of inferences the universal theory building toolkit, or just ’the toolkit’ for short. It is clear that the toolkit is tightly connected to logic in a variety of ways. Beall, for example, has argued that logic just is the toolkit. This paper avoids making a stand on that issue and instead investigates reasons for thinking that, logic or not, the toolkit is (...) substructural. It is presented as a dialogue for the simple reason that it summarizes a range of dialogues on this subject that the author has had with various folks over the past few years. The method I use to investigate the toolkit is inspired in both philosophical and technical details by Alasdair Urquhart’s work on semantics for relevance logics from the early 1970s. (shrink)

In their Introduction to Logic, Copi and Cohen suggest that students construct a formal proof by "working backwards from the conclusion by looking for some statement or statements from which it can be deduced and then trying to deduce those intermediate statements from the premises. What follows is an elaboration of this suggestion. I describe an almost mechanical procedure for determining from which statement(s) the conclusion can be deduced and the rules by which the required inferences can be made. This (...) method is designed to forestall the quandary in which many beginners find themselves: not knowing how to get started. (shrink)

-/- The closing paragraph of Cormac McCarthy’s The Road hums with mystery. Some find it suggestive of renewal, though only vaguely. Others contend that it does little to ameliorate the novel’s pessimism. Still others find it offers both lamentation and hopefulness, while some pass it over in silence. As an admirer with a taste for puzzle solving, here I offer a new interpretation revealing a surprisingly optimistic denouement.

This essay presents a heterodox reading of the issue of solipsism in Wittgenstein’s Tractatus Logico-Philosophicus, out of which the whole of the TLP can be re-read. Inspired by, though not dependent on, the themes of virtuality and singularity found in Deleuze’s ‘transcendental empiricism’, Wittgenstein’s concept of ‘logical space’ is here complexly related to the paradoxes of the ‘metaphysical subject’ and ‘solipsism,’ within which the strictures of sense are defined, and through which the logico-pictorial scaffolding of the TLP precipitates its own (...) systematic dissolution. It shows how nonsense envelopes not only not idle chatter, and metaphysical confusion, but sense itself. (shrink)

Things strike me in a variety ways. F and F# sound slightly different, ripe and unripe tomatoes neither look nor taste nor smell the same, and silk feels smoother than corduroy. In each case, I distinguish an experience of something on the basis of what it is like to be its subject. That is to say, in philosophical parlance, if not quite the vernacular, its “quale,” leads me to categorize it and, thus, respond appropriately to its stimulus. The function of (...) a quale being established, we must define it along with its subject and, as Sartre maintained, their relation. How should we understand the subject and predicate terms and the copula in sentences such as ‘He is listening to Chopin’ or ‘She is seeing the sights of Paris’? Elaborating upon adverbialism, I shall argue that the subject of experiencing is a hylomorphic compound that is temporarily identical to the 'accidental compound' that it forms along with a qualified passion. I begin by explicating the adverbialist’s treatment of qualitative consciousness and defending it against the charge of circularity. (shrink)

It has been contended that an event as a whole does not occur but, rather, is only occurring when any one of its temporal parts occurs1 I shall consider here the mereological implications of drawing a distinction between the time of an event’s occurrence- its duration- and the times of its occurring- the duration of any one of its proper temporal parts. In particular, I intend to see whether it allows one to avoid having co-located events in one’s ontology.