In their introduction to the recent excellent volume Plato & Hesiod, the editors G.R. Boys-Stones and J.H. Haubold observe that when we think about the problematic relationship between Plato and the poets, we tend to narrow this down to that between Plato and Homer. Hesiod is practically ignored. Unjustly so, the editors argue. Hesiod provides a good opportunity to start thinking more broadly about Plato's interaction with poets and poetry, not in the least because the ‘second poet’ of Greece represents (...) a different type of poetry from Homer's heroic epics, that of didactic poetry. What goes for Plato and Hesiod goes for Proclus and Hesiod. Proclus , the productive head of the Neoplatonic school in Athens, took a great interest in poetry to which he was far more positively disposed than Plato had ever been. He wrote, for example, two lengthy treatises in reaction to Socrates' devastating criticism of poetry in the Republic as part of his commentary on that work in which he tries to keep the poets within the Platonic pale. This intriguing aspect of Proclus' thought has, as one might expect, not failed to attract scholarly attention. In Proclus' case too, however, discussions tend to concentrate on his attitude towards Homer . To some extent this is only to be expected, since much of the discussion in the Commentary on the Republic centres on passages from Homer. Proclus did not, however, disregard Hesiod: we still possess his scholia on the Works and Days, now available in a recent edition by Patrizia Marzillo. (shrink)

This paper investigates conceptions of explanation, teleology, and analogy in the works of Immanuel Kant (1724-1804) and Georges Cuvier (1769-1832). Richards (2000, 2002) and Zammito (2006, 2012, 2018) have argued that Kant’s philosophy provided an obstacle for the project of establishing biology as a proper science around 1800. By contrast, Russell (1916), Outram (1986), and Huneman (2006, 2008) have argued, similar to suggestions from Lenoir (1989), that Kant’s philosophy influenced the influential naturalist Georges Cuvier. In this article, I wish to (...) expand on and further the work of Russell, Outram, and Huneman by adopting a novel perspective on Cuvier and considering (a) the similar conceptions of proper science and explanation of Kant and Cuvier, and (b) the similar conceptions of the role of teleology and analogy in the works of Kant and Cuvier. The similarities between Kant and Cuvier show, contrary to the interpretation of Richards and Zammito, that some of Kant’s philosophical ideas, whether they derived from him or not, were fruitfully applied by some life scientists who wished to transform life sciences into proper sciences around 1800. However, I also show that Cuvier, in contrast to Kant, had a workable strategy for transforming the life sciences into proper sciences, and that he departed from Kant’s philosophy of science in crucial respects. (shrink)

Introduction to collection of papers by group of scholars and ACO missionaries brought together to discuss the developments within the ACO over the past hundred years during a conference that was organised by Dr Wilbert van Saane of Haigazian University in January 2021. I will briefly summarise what strikes me as characteristic of the ACO on the basis of these articles, and conclude with a discussion of how this may contribute to further reflection in Mission Studies and World Christianity.

This paper analyzes the historical context and systematic importance of Kant's hypothetical use of reason. It does so by investigating the role of hypotheses in Kant's philosophy of science. We first situate Kant’s account of hypotheses in the context of eighteenth-century German philosophy of science, focusing on the works of Wolff, Meier, and Crusius. We contrast different conceptions of hypotheses of these authors and elucidate the different theories of probability informing them. We then adopt a more systematic perspective to discuss (...) Kant's idea that scientific hypotheses must articulate real possibilities. We argue that Kant's views on the intelligibility of scientific hypotheses constitute a valuable perspective on scientific understanding and the constraints it imposes on scientific rationality. (shrink)

A shift towards more environmentally friendly and socially responsible food systems is a key step in the achievement of global sustainable development goals. To obtain significant results, however, it is essential to find participative ways to frame food sustainability objectives, so they can speak to a wide array of actors of change. This article addresses the promising potential of empowering actors across the food system to make a shift in their food choices, by facilitating the association of food sustainability values (...) with contemporary moral issues. In this context, a conceptual framework for a transition towards food sustainability is proposed, based upon the concept of the moral circle. This approach transcends the human-centred methods enacted in traditional sustainable development agendas, offering an alternative with a more holistic perspective. It is expected that emphasising moral reflection around sustainability might encourage societal participation in the creation of sustainable, fair and healthier food systems. (shrink)

A shift towards more environmentally friendly and socially responsible food systems is a key step in the achievement of global sustainable development goals. To obtain significant results, however, it is essential to find participative ways to frame food sustainability objectives, so they can speak to a wide array of actors of change. This article addresses the promising potential of empowering actors across the food system to make a shift in their food choices, by facilitating the association of food sustainability values (...) with contemporary moral issues. In this context, a conceptual framework for a transition towards food sustainability is proposed, based upon the concept of the moral circle. This approach transcends the human-centred methods enacted in traditional sustainable development agendas, offering an alternative with a more holistic perspective. It is expected that emphasising moral reflection around sustainability might encourage societal participation in the creation of sustainable, fair and healthier food systems. (shrink)

The paper uses the formalism of indexed categories to recover the proof of a standard final coalgebra theorem, thus showing existence of final coalgebras for a special class of functors on finitely complete and cocomplete categories. As an instance of this result, we build the final coalgebra for the powerclass functor, in the context of a Heyting pretopos with a class of small maps. This is then proved to provide models for various non-well-founded set theories, depending on the chosen axiomatisation (...) for the class of small maps. (shrink)

Ernst Mayr argued that the emergence of biology as a special science in the early nineteenth century was possible due to the demise of the mathematical model of science and its insistence on demonstrative knowledge. More recently, John Zammito has claimed that the rise of biology as a special science was due to a distinctive experimental, anti-metaphysical, anti-mathematical, and anti-rationalist strand of thought coming from outside of Germany. In this paper we argue that this narrative neglects the important role played (...) by the mathematical and axiomatic model of science in the emergence of biology as a special science. We show that several major actors involved in the emergence of biology as a science in Germany were working with an axiomatic conception of science that goes back at least to Aristotle and was popular in mid-eighteenth-century German academic circles due to its endorsement by Christian Wolff. More specifically, we show that at least two major contributors to the emergence of biology in Germany—Caspar Friedrich Wolff and Gottfried Reinhold Treviranus—sought to provide a conception of the new science of life that satisfies the criteria of a traditional axiomatic ideal of science. Both C.F. Wolff and Treviranus took over strong commitments to the axiomatic model of science from major philosophers of their time, Christian Wolff and Friedrich Wilhelm Joseph Schelling, respectively. The ideal of biology as an axiomatic science with specific biological fundamental concepts and principles thus played a role in the emergence of biology as a special science. (shrink)

Recently, the second author, Briseid, and Safarik introduced nonstandard Dialectica, a functional interpretation capable of eliminating instances of familiar principles of nonstandard arithmetic—including overspill, underspill, and generalizations to higher types—from proofs. We show that the properties of this interpretation are mirrored by first-order logic in a constructive sheaf model of nonstandard arithmetic due to Moerdijk, later developed by Palmgren, and draw some new connections between nonstandard principles and principles that are rejected by strict constructivism. Furthermore, we introduce a variant of (...) the Diller–Nahm interpretation with two different kinds of quantifiers, similar to Hernest’s light Dialectica interpretation, and show that one can obtain nonstandard Dialectica by weakening the computational content of the existential quantifiers—a process called herbrandization. We also define a constructive sheaf model mirroring this new functional interpretation, and show that the process of herbrandization has a clear meaning in terms of these sheaf models. (shrink)

Kant’s views on animals have received much attention in recent years. According to some, Kant attributed the capacity for objective perceptual awareness to non-human animals, even though he denied that they have concepts. This position is difficult to square with a conceptualist reading of Kant, according to which objective perceptual awareness requires concepts. Others take Kant’s views on animals to imply that the mental life of animals is a blooming, buzzing confusion. In this article I provide a historical reconstruction of (...) Kant’s views on animals, relating them to eighteenth-century debates on animal cognition. I reconstruct the views of Buffon and Reimarus and show that (i) both Buffon and Reimarus adopted a conceptualist position, according to which concepts structure the cognitive experience of adult humans, and (ii) that both described the mental life of animals as a blooming, buzzing confusion. Kant’s position, I argue, is virtually identical to that of Reimarus. Hence Kant’s views on animals support a conceptualist reading of Kant. The article further articulates the historical antecedents of the Kantian idea that concepts structure human cognitive experience and provides a novel account of how the ideas of similarity and difference were conceptualized in eighteenth-century debates on animal cognition. (shrink)

The History of Ideas is presently enjoying a certain renaissance after a long period of disrepute. Increasing quantities of digitally available historical texts and the availability of computational tools for the exploration of such masses of sources, it is suggested, can be of invaluable help to historians of ideas. The question is: how exactly? In this paper, we argue that a computational history of ideas is possible if the following two conditions are satisfied: (i) Sound Method . A computational history (...) of ideas must be built upon a sound theoretical foundation for its methodology, and the only such foundation is given by the use of models , i.e., fully explicit and revisable interpretive frameworks or networks of concepts developed by the historians of ideas themselves. (ii) Data Organisation. Interpretive models in our sense must be seen as topic-specific knowledge organisation systems (KOS) implementable (i.e. formalisable) as e.g. computer science ontologies. We thus require historians of ideas to provide explicitly structured semantic framing of domain knowledge before investigating texts computationally, and to constantly re-input findings from the interpretive point of view. In this way, a computational history of ideas maximally profits from computer methods while also keeping humanities experts in the loop. We elucidate our proposal with reference to a model of the notion of axiomatic science in 18th -19th century Europe. (shrink)

This article explains Kant’s claim that sciences must take, at least as their ideal, the form of a ‘system’. I argue that Kant’s notion of systematicity can be understood against the background of de Jong & Betti’s Classical Model of Science (2010) and the writings of Georg Friedrich Meier and Johann Heinrich Lambert. According to my interpretation, Meier, Lambert, and Kant accepted an axiomatic idea of science, articulated by the Classical Model, which elucidates their conceptions of systematicity. I show that (...) Kant’s critique of the mathematical method is compatible with his adherence to this axiomatic conception of science. I further show that systematicity furthers traditionally accepted logical ideals of scientific knowledge, which explains why Meier and Kant think that sciences must be ‘systematic’. (shrink)

We argue that an adequate treatment of verb phrase anaphora must depart in two major respects from the standard approaches. First of all, VP anaphors cannot be resolved by simply identifying the anaphoric VP with an antecedent VP. The resolution process must establish a syntactic/semantic parallelism between larger units that the VPs occur in. Secondly, discourse structure has a significant influence on the reference possibilities of VPA. This influence must be accounted for. We propose a treatment which meets these requirements. (...) It builds on a discourse grammar which characterizes discourse cohesion by means of a syntactic/semantic matching procedure which recognizes parallel structures in discourse. It turns out that this independently motivated procedure yields the resolution of VPA as a side effect. (shrink)

We introduce constructive and classical systems for nonstandard arithmetic and show how variants of the functional interpretations due to Gödel and Shoenfield can be used to rewrite proofs performed in these systems into standard ones. These functional interpretations show in particular that our nonstandard systems are conservative extensions of E-HAω and E-PAω, strengthening earlier results by Moerdijk and Palmgren, and Avigad and Helzner. We will also indicate how our rewriting algorithm can be used for term extraction purposes. To conclude the (...) paper, we will point out some open problems and directions for future research, including some initial results on saturation principles. (shrink)

Within eighteenth-century debates on animal cognition we can distinguish at least three main theoretical positions: (i) Buffon’s mechanism, (ii) Reimarus’ theory of instincts, and (iii) the sensationalism of Condillac and Leroy. In this paper, I adopt a philosophical perspective on this debate and argue that in order to fully understand the justification Buffon, Reimarus, Condillac, and Leroy gave for their respective theories, we must pay special attention to the theoretical virtues these naturalists alluded to while justifying their position. These theoretical (...) virtues have received little to no attention in the literature on eighteenth-century animal cognition, but figure prominently in the justification of the mechanist, instinctive, and sensationalist theories of animal behavior. Through my philosophical study of the role of theoretical virtues in eighteenth-century debates on animal cognition, we obtain a deeper understanding of how theoretical virtues were conceptualized in eighteenth-century science and how they influenced the justification of theories of animal cognition. (shrink)

In the present paper I investigate the role that analogy plays in eighteenth-century biology and in Kant’s philosophy of biology. I will argue that according to Kant, biology, as it was practiced in the eighteenth century, is fundamentally based on analogical reflection. However, precisely because biology is based on analogical reflection, biology cannot be a proper science. I provide two arguments for this interpretation. First, I argue that although analogical reflection is, according to Kant, necessary to comprehend the nature of (...) organisms, it is also necessarily insufficient to fully comprehend the nature of organisms. The upshot of this argument is that for Kant our understanding of organisms is necessarily limited. Second, I argue that Kant did not take biology to be a proper science because biology was based on analogical arguments. I show that Kant stemmed from a philosophical tradition that did not assign analogical arguments an important justificatory role in natural science. Analogy, according to this conception, does not provide us with apodictically certain cognition. Hence, sciences based on analogical arguments cannot constitute proper sciences. (shrink)

Biology in the Critical Philosophy and the Opus postumum Hein van den Berg. Parts of Chap. 2 have been previously published in Hein van den Berg (2011), “ Kant's Conception of Proper Science.” Synthese 183 (1): 7–26. Parts of Chap.

The present study examined the costs and benefits of native language similarity for non-native vocabulary learning. Because learning a second language is difficult, many learners start with easy words that look like their native language to jumpstart their vocabulary. However, this approach may not be the most effective strategy in the long-term, compared to introducing difficult L2 vocabulary early on. We examined how L1 orthographic typicality affects pattern learning of novel vocabulary by teaching English monolinguals either Englishlike or Non-Englishlike pseudowords (...) that contained repeated orthographic patterns. We found that overall, the first words that individuals learned during initial acquisition influenced which words they acquired later. Specifically, learning a new word in one session made it easier to acquire an orthographically similar word in the next session. Similarity among non-native words interacted with native language similarity, so that words that looked more like English were easier to learn at first, but they were less effective at influencing later word learning. This demonstrates that although native language similarity has a beneficial effect early on, it may reduce learners' ability to benefit from non-native word patterns during continued acquisition. This surprising finding demonstrates that making learning easier may not be the most effective long-term strategy. Learning difficult vocabulary teaches the learner what makes non-native words unique, and this general wordform knowledge may be more valuable than the words themselves. We conclude that native language similarity modulates new vocabulary acquisition and that difficulties during learning are not always to be avoided, as additional effort early on can pay later dividends. (shrink)

Kant’s teleology as presented in the Critique of Judgment is commonly interpreted in relation to the late eighteenth-century biological research of Johann Friedrich Blumenbach. In the present paper, I show that this interpretative perspective is incomplete. Understanding Kant’s views on teleology and biology requires a consideration of the teleological and biological views of Christian Wolff and his rationalist successors. By reconstructing the Wolffian roots of Kant’s teleology, I identify several little known sources of Kant’s views on biology. I argue that (...) one of Kant’s main contributions to eighteenth-century debates on biology consisted in demarcating biology from metaphysics. Kant rejected Wolffian views on the hierarchy of sciences, according to which propositions specifying the functions of organisms are derived from theological truths. In addition, Kant argued that organic self-organization necessitates a teleological description in order to show that self-organization does not support materialism. By demarcating biology and metaphysics, Kant made a small yet important contribution to establishing biology as a science. (shrink)

There is an increasing body of literature proposing to include animal welfare in the United Nations Sustainable Development Agenda. The main argument is the potential positive effect that improving the welfare of animals could have over the health and welfare of humans. However, recent literature suggests that the welfare interests of animals should also be considered. Based on these premises, an analysis of the practical implications of including animal welfare in the United Nations Sustainable Development Goals is granted. The aim (...) of this study is to address this by applying the case of animals in the agriculture and aquaculture systems. Animal farming inherently affects the welfare of a substantial number of sentient animals while, the welfare of farmed animals has been connected to human wellbeing and several environmental issues. The study highlights the feasibility of incorporating the welfare of farmed animals into a future version of the SDGs. It does so by developing a model based on a set of human-focused (anthropocentric) and animal-focused (sentientistic) targets for each of the 17 goals. It has been argued that expanding the scope of the SDGs from anthropocentrism to sentientism creates a synergy between human and animal welfare and, on top of that, is progress towards sustainability. (shrink)

How can we best reconstruct the origin of a notion, its development, and possible spread to multiple fields? We present a pilot study on the spread of the notion of conceptual scheme. Though the notion is philosophically important, its origin, development, and spread are unclear. Several purely qualitative and competing historical hypotheses have been offered, which rely on disconnected disciplinary traditions, and have never been tested all at once in a single comprehensive investigation fitting the scope of its subject matter. (...) As a step toward such an investigation, we trace the use of the bigram “conceptual scheme” in about 42,000 US journal articles in social sciences from 1888-1959 by using a novel method combining a quantitative procedure aided by basic computational techniques with qualitative elements informed by Betti and van den Berg (2014)’s ‘model approach to the history of ideas’. (shrink)

This study bases itself in the epistemological and methodological development of a broad and interdisciplinary dialogue where various voices in the form of different domains converse in order to establish an integrated whole. The research contributes to the actual corporative question regarding spirituality in the workplace, specifically aimed at the individual in the middle-career phase. This phase is characterised as a re-evaluation period aimed at personal and professional growth. A shift in emphasis to the meaning and sense of work is (...) linked to spiritual intelligence as spirituality can be described and understood as a type of intelligence. The study shows that the middle-career experience provides opportunity for an altered future view. Lifestyle coaching serves as facilitating process and offers guidance in answering existential questions which are included in the spiritual. The probable outcome promises to add meaning as a manifesting component in a dynamic and transforming life strategy. (shrink)

We propose a new method for the history of ideas that has none of the shortcomings so often ascribed to this approach. We call this method the model approach to the history of ideas. We argue that any adequately developed and implementable method to trace continuities in the history of human thought, or concept drift, will require that historians use explicit interpretive conceptual frameworks. We call these frameworks models. We argue that models enhance the comprehensibility of historical texts, and provide (...) historians of ideas with a method that, unlike existing approaches, is susceptible neither to common holistic criticisms nor to Skinner's objections that the history of ideas yields arbitrary and biased reconstructions. To illustrate our proposal, we discuss the so-called Classical Model of Science and draw upon work in computer science and cognitive psychology. (shrink)

Kant is well known for his restrictive conception of proper science. In the present paper I will try to explain why Kant adopted this conception. I will identify three core conditions which Kant thinks a proper science must satisfy: systematicity, objective grounding, and apodictic certainty. These conditions conform to conditions codified in the Classical Model of Science. Kant’s infamous claim that any proper natural science must be mathematical should be understood on the basis of these conditions. In order to substantiate (...) this reading, I will show that only in this way it can be explained why Kant thought (1) that mathematics has a particular foundational function with respect to the natural sciences and (2) as such secures their scientific status. (shrink)

One of the major issues in the debate about the future of health care is how to keep costs under control while meeting growing demands for care. Addressing that, especially on an international scale, is far from easy. How are we to determine what the demands for care will most likely be? Even if it is not possible to estimate the future number of dependent elderly persons with any precision, it is hard to ignore the most probable scenario: a substantial (...) increase in the number of the oldest old. (shrink)

This is the first in a series of papers on Predicative Algebraic Set Theory, where we lay the necessary groundwork for the subsequent parts, one on realizability [B. van den Berg, I. Moerdijk, Aspects of predicative algebraic set theory II: Realizability, Theoret. Comput. Sci. . Available from: arXiv:0801.2305, 2008], and the other on sheaves [B. van den Berg, I. Moerdijk, Aspects of predicative algebraic set theory III: Sheaf models, 2008 ]. We introduce the notion of a predicative category (...) with small maps and show that it provides a sound and complete semantics for constructive set theories like IZF and CZF. The main technical contribution of this paper is that it shows in detail that such categories can always be conservatively embedded in categories that are exact. These exactness properties play a crucial rôle in showing that predicative categories with small maps contain models of set theory and that they are closed under sheaves and realizability. We will prove the former statement in this paper as well, leaving a proof of the closure properties to the papers on realizability and sheaves as mentioned above. (shrink)

In this interview with Jan Hendrik van den Berg, the Dutch phenomenologist and psychiatrist addresses the origins of his work, his most significant influences, and the purpose of metabletic phenomenology in the modern age. In the course of the interview. Dr. Van den Berg provides a basic overview of his work, and highlights the central finding of his metabletic analyses: a loss of wonder before nature, which results from the more fundamental loss of genuine spirituality in the modern (...) world. (shrink)