Three indexes have been compiled: authors of main articles (including our special departments such as ‘Projects in progress’ and ‘Notes and discussions’); essay reviews; and book reviews. Co-author...

Ackermann’s function can be expressed using an iterative algorithm, which essentially takes the form of a term rewriting system. Although the termination of this algorithm is far from obvious, its equivalence to the traditional recursive formulation—and therefore its totality—has a simple proof in Isabelle/HOL. This is a small example of formalising mathematics using a proof assistant, with a focus on the treatment of difficult recursions.

ZusammenfassungDer Verfasser geht auf Beziehungen zwischen dem von C. I. Lewis eingeführten Begriff der « strikten » Implikation und dem von ihm selbst eingeführten Begriff der « strengen » Implikation ein. Er zeigt, dass sich innerhalb des Systems der strengen Implikation ein weiterer Folgebegriff definieren lässt, der alle Eigenschaften hat, die von der strikten Implikation verlangt werden. Als dieser Folgebegriff wird genommen, dass die Konjunktion von A und dem Gegenteil von B unmöglich ist, was in dem System der strengen Implikation (...) keineswegs damit identisch ist, dass A in strenger Weise B impliziert. Das System der strikten Implikation wird dabei in einer von Arnold Schmidt gegebenen Form zugrunde gelegt.RésuméIl s'agit des relations entre la conception d'implication stricte introduite par C. I. Lewis et la conception de « strenge » implication introduite par l'auteur. L'auteur indique qu'une conception d'implication se laisse définir dans le système de « strenge » implication qui a toutes les qualités d'implication stricte. La définition est la suivante: A implique B a ce sens si la conjonction de A et non B est impossible ce qui n'équivaut pas à la proposition qu'il y a de « strenge » implication de A à B. Le système d'implication stricte est considéré sous la forme qui lui a été donnée par Arnold Schmidt.In this paper the author enters into the particulars of the relations of the concept of « strict » implication introduced by C. I. Lewis with the concept of « strenge » implication introduced by himself. He points out that within the system of « strenge »implication a further concept of implication may be defined which has all the qualities of strictimplication. The definition is the following: A implies B in this sense if the conjunction of A and non‐B is impossible, which is not the same as the « strenge » implication between A and B. The system of strict implication is taken in the form as formerly given by Arnold Schmidt. (shrink)

Open peer commentary on the article “Amusement, Delight, and Whimsy: Humor Has Its Reasons that Reason Cannot Ignore” by Edith K. Ackermann. Upshot: Ackermann tackles “humor” as an agentive participant in the process of knowledge construction. Performing her thesis in her writing, she give a reflective account of how oblique ways of knowing have always been present in debates concerning epistemology, albeit not given equal status as rational ones. As such, her endeavors in this text are geared towards (...) lifting up the position of “humor” to a much deserved higher level in educational and learning practices. Consequently, our endeavors in this commentary are targeted towards a little more in this direction by focusing on how “humor” becomes a way of accessing the process of knowledge construction and of unraveling its significance. (shrink)

The Converse Ackermann Property is the unprovability of formulas of the form (A -> B) -> C when C does contain neither -> nor ¬. Intuitively, the CAP amounts to rule out the derivability of pure non-necessitive propositions from non-necessitive ones. A constructive negation of the sort historically defined by, e.g., Johansson is added to positive logics with the CAP in the spectrum delimited by Ticket Entailment and Dummett’s logic LC.

A prepositional logic S has the Converse Ackermann Property (CAP) if (AB)C is unprovable in S when C does not contain . In A Routley-Meyer semantics for Converse Ackermann Property (Journal of Philosophical Logic, 16 (1987), pp. 65–76) I showed how to derive positive logical systems with the CAP. There I conjectured that each of these positive systems were compatible with a so-called semiclassical negation. In the present paper I prove that this conjecture was right. Relational Routley-Meyer type (...) semantics are provided for each one of the resulting systems (the positive systems plus the semiclassical negation). (shrink)

A system S has the “converse Ackermann property” if -> C is unprovable in S whenever C is a propositional variable. In this paper we define the fragments with the C.A.P. of some well-know propositional systems in the spectrum between the minimal and classical logic. In the first part we succesively study the implicative and positive fragments and the full calculi. In the second, we prove by a matrix method that each one of the systems has the C.A.P. Thus, (...) we think the problem proposed in Anderson & Belnap § 8.12 has been solved. (shrink)

In [15], [16] G. Kreisel introduced the no-counterexample interpretation (n.c.i.) of Peano arithmetic. In particular he proved, using a complicated ε-substitution method (due to W. Ackermann), that for every theoremA(Aprenex) of first-order Peano arithmeticPAone can find ordinal recursive functionalsof order type < ε0which realize the Herbrand normal formAHofA.Subsequently more perspicuous proofs of this fact via functional interpretation (combined with normalization) and cut-elimination were found. These proofs however do not carry out the no-counterexample interpretation as alocalproof interpretation and don't respect (...) the modus ponens on the level of the nocounterexample interpretation of formulasAandA → B. Closely related to this phenomenon is the fact that both proofs do not establish the condition (δ) and—at least not constructively—(γ) which are part of the definition of an ‘interpretation of a formal system’ as formulated in [15]. (shrink)

This paper presents a range of new triviality proofs pertaining to naïve truth theory formulated in paraconsistent relevant logics. It is shown that excluded middle together with various permutation principles such as A → (B → C)⊩B → (A → C) trivialize naïve truth theory. The paper also provides some new triviality proofs which utilize the axioms ((A → B)∧ (B → C)) → (A → C) and (A → ¬A) → ¬A, the fusion connective and the Ackermann constant. (...) An overview over various ways to formulate Leibniz’s law in non-classical logics and two new triviality proofs for naïve set theory are also provided. (shrink)

Scholars have long been captivated by the parallels between birdsong and human speech and language. In this book, leading scholars draw on the latest research to explore what birdsong can tell us about the biology of human speech and language and the consequences for evolutionary biology. They examine the cognitive and neural similarities between birdsong learning and speech and language acquisition, considering vocal imitation, auditory learning, an early vocalization phase, the structural properties of birdsong and human language, and the striking (...) similarities between the neural organization of learning and vocal production in birdsong and human speech. After outlining the basic issues involved in the study of both language and evolution, the contributors compare birdsong and language in terms of acquisition, recursion, and core structural properties, and then examine the neurobiology of song and speech, genomic factors, and the emergence and evolution of language. Contributors: Hermann Ackermann, Gabriël J.L. Beckers, Robert C. Berwick, Johan J. Bolhuis, Noam Chomsky, Frank Eisner, Martin Everaert, Michale S. Fee, Olga Fehér, Simon E. Fisher, W. Tecumseh Fitch, Jonathan B. Fritz, Sharon M.H. Gobes, Riny Huijbregts, Eric Jarvis, Robert Lachlan, Ann Law, Michael A. Long, Gary F. Marcus, Carolyn McGettigan, Daniel Mietchen, Richard Mooney, Sanne Moorman, Kazuo Okanoya, Christophe Pallier, Irene M. Pepperberg, Jonathan F. Prather, Franck Ramus, Eric Reuland, Constance Scharff, Sophie K. Scott, Neil Smith, Ofer Tchernichovski, Carel ten Cate, Christopher K. Thompson, Frank Wijnen, Moira Yip, Wolfram Ziegler, Willem Zuidema. (shrink)

It is well-known (due to C. Parsons) that the extension of primitive recursive arithmeticPRA by first-order predicate logic and the rule ofΠ 2 0 -inductionΠ 2 0 -IR isΠ 2 0 -conservative overPRA. We show that this is no longer true in the presence of function quantifiers and quantifier-free choice for numbersAC 0,0-qf. More precisely we show that ℐ :=PRA 2 +Π 2 0 -IR+AC 0,0-qf proves the totality of the Ackermann function, wherePRA 2 is the extension ofPRA by (...) number and function quantifiers andΠ 2 0 -IR may contain function parameters.This is true even forPRA 2 +∑ 1 0 -IR+Π 2 0 -IR −+AC 0,0-qf, whereΠ 2 0 -IR − is the restriction ofΠ 2 0 -IR without function parameters. (shrink)

In this article, we study the prehistory of type theory up to 1910 and its development between Russell and Whitehead's Principia Mathematica ([71], 1910-1912) and Church's simply typed λ-calculus of 1940. We first argue that the concept of types has always been present in mathematics, though nobody was incorporating them explicitly as such, before the end of the 19th century. Then we proceed by describing how the logical paradoxes entered the formal systems of Frege, Cantor and Peano concentrating on Frege's (...) Grundgesetze der Arithmetik for which Russell applied his famous paradox and this led him to introduce the first theory of types, the Ramified Type Theory (RTT). We present RTT formally using the modern notation for type theory and we discuss how Ramsey, Hilbert and Ackermann removed the orders from RTT leading to the simple theory of types STT. We present STT and Church's own simply typed λ-calculus (λ → C) and we finish by comparing RTT, STT and λ → C. (shrink)

Two constructions for adding an involution operator to residuated ordered monoids are investigated. One preserves integrality and the mingle axiom x 2x but fails to preserve the contraction property xx 2. The other has the opposite preservation properties. Both constructions preserve commutativity as well as existent nonempty meets and joins and self-dual order properties. Used in conjunction with either construction, a result of R.T. Brady can be seen to show that the equational theory of commutative distributive residuated lattices (without involution) (...) is decidable, settling a question implicitly posed by P. Jipsen and C. Tsinakis. The corresponding logical result is the (theorem-) decidability of the negation-free axioms and rules of the logic RW, formulated with fusion and the Ackermann constant t. This completes a result of S. Giambrone whose proof relied on the absence of t. (shrink)

The purpose of this paper is to formulate first-order Peano arithmetic within the resources of relevant logic, and to demonstrate certain properties of the system thus formulated. Striking among these properties are the facts that it is trivial that relevant arithmetic is absolutely consistent, but classical first-order Peano arithmetic is straightforwardly contained in relevant arithmetic. Under, I shall show in particular that 0 = 1 is a non-theorem of relevant arithmetic; this, of course, is exactly the formula whose unprovability was (...) sought in the Hilbert program for proving arithmetic consistent. Under, I shall exhibit the requisite translation, drawing some Goedelian conclusions therefrom. Left open, however, is the critical problem whether Ackermann’s rule γ is admissible for theories of relevant arithmetic. The particular system of relevant Peano arithmetic featured in this paper shall be called R♯. Its logical base shall be the system R of relevant implication, taken in its first-order form RQ. Among other Peano arithmetics we shall consider here in particular the systems C♯, J♯, and RM3♯; these are based respectively on the classical logic C, the intuitionistic logic J, and the Sobocinski-Dunn semi-relevant logic RM3. And another feature of the paper will be the presentation of a system of natural deduction for R♯, along lines valid for first-order relevant theories in general. This formulation of R♯ makes it possible to construct relevantly valid arithmetical deductions in an easy and natural way; it is based on, but is in some respects more convenient than, the natural deduction formulations for relevant logics developed by Anderson and Belnap in Entailment. (shrink)

Based on the relevant logic R, the system R# was proposed as a relevant Peano arithmetic. R# has many nice properties: the most conspicuous theorems of classical Peano arithmetic PA are readily provable therein; it is readily and effectively shown to be nontrivial; it incorporates both intuitionist and classical proof methods. But it is shown here that R# is properly weaker than PA, in the sense that there is a strictly positive theorem QRF of PA which is unprovable in R#. (...) The reason is interesting: if PA is slightly weakened to a subtheory P+, it admits the complex ring C as a model; thus QRF is chosen to be a theorem of PA but false in C. Inasmuch as all strictly positive theorems of R# are already theorems of P+, this nonconservativity result shows that QRF is also a nontheorem of R#. As a consequence, Ackermann's rule γ is inadmissible in R#. Accordingly, an extension of R# which retains its good features is desired. The system R##, got by adding an omega-rule, is such an extension. Central question: is there an effectively axiomatizable system intermediate between R# and R##, which does formalize arithmetic on relevant principles, but also admits γ in a natural way? (shrink)

It is well-known (due to C. Parsons) that the extension of primitive recursive arithmeticPRA by first-order predicate logic and the rule ofΠ 2 0 -inductionΠ 2 0 -IR isΠ 2 0 -conservative overPRA. We show that this is no longer true in the presence of function quantifiers and quantifier-free choice for numbersAC 0,0-qf. More precisely we show that ℐ :=PRA 2 +Π 2 0 -IR+AC 0,0-qf proves the totality of the Ackermann function, wherePRA 2 is the extension ofPRA by (...) number and function quantifiers andΠ 2 0 -IR may contain function parameters. This is true even forPRA 2 +∑ 1 0 -IR+Π 2 0 -IR −+AC 0,0-qf, whereΠ 2 0 -IR − is the restriction ofΠ 2 0 -IR without function parameters. (shrink)

In [15], [16] G. Kreisel introduced the no-counterexample interpretation (n.c.i.) of Peano arithmetic. In particular he proved, using a complicated ε-substitution method (due to W. Ackermann), that for every theorem A (A prenex) of first-order Peano arithmetic PA one can find ordinal recursive functionals Φ A of order type 0 which realize the Herbrand normal form A H of A. Subsequently more perspicuous proofs of this fact via functional interpretation (combined with normalization) and cut-elimination were found. These proofs however (...) do not carry out the no-counterexample interpretation as a local proof interpretation and don't respect the modus ponens on the level of the no-counterexample interpretation of formulas A and A → B. Closely related to this phenomenon is the fact that both proofs do not establish the condition (δ) and--at least not constructively-- (γ) which are part of the definition of an 'interpretation of a formal system' as formulated in [15]. In this paper we determine the complexity of the no-counterexample interpretation of the modus ponens rule for (i) PA-provable sentences, (ii) for arbitrary sentences A, B ∈ L(PA) uniformly in functionals satisfying the no-counterexample interpretation of (prenex normal forms of) A and A → B, and (iii) for arbitrary A, B ∈ L(PA) pointwise in given α( 0 ) -recursive functionals satisfying the no-counterexample interpretation of A and A → B. This yields in particular perspicuous proofs of new uniform versions of the conditions (γ), (δ). Finally we discuss a variant of the concept of an interpretation presented in [17] and show that it is incomparable with the concept studied in [15], [16]. In particular we show that the no-counterexample interpretation of PA n by α( n (ω))-recursive functionals (n ≥ 1) is an interpretation in the sense of [17] but not in the sense of [15] since it violates the condition (δ). (shrink)

The volume includes the proceedings from the conference FOL75 -- 75 Years of First-Order Logic held at Humboldt University, Berlin, September 18 - 21, 2003 on the occasion of the anniversary of the publication of Hilbert's and Ackermann's Grundzuge der theoretischen Logik. The papers provide analyses of the historical conditions of the shaping of FOL, discuss several modern rivals to it, and show the importance of FOL for interdisciplinary research. While there is no doubt that the celebrated book marks (...) a most important step in the development of logic, the volume in hand proves the actuality of the question "Which logic is the right logic." The volume contains articles by: H. Andreka, J. X. Madarasz, I. Nemeti, A. Avron, K. Brunnler, A. Guglielmi, G. Englebretsen, W. Ewald, P. Hajek, J. Hintikka, W. Hodges, M. Kracht, R. Lanzet, H. Ben-Yami, C. Toke, S. P. Odintsov, H. Wansing, J. A. Robinson, M. Rossberg, M. Thielscher, D. E. Willard, andJ. Wole 'nski. (shrink)

It is well-known (due to C. Parsons) that the extension of primitive recursive arithmeticPRA by first-order predicate logic and the rule ofΠ 2 0 -inductionΠ 2 0 -IR isΠ 2 0 -conservative overPRA. We show that this is no longer true in the presence of function quantifiers and quantifier-free choice for numbersAC 0,0-qf. More precisely we show that ℐ :=PRA 2 +Π 2 0 -IR+AC 0,0-qf proves the totality of the Ackermann function, wherePRA 2 is the extension ofPRA by (...) number and function quantifiers andΠ 2 0 -IR may contain function parameters. This is true even forPRA 2 +∑ 1 0 -IR+Π 2 0 -IR −+AC 0,0-qf, whereΠ 2 0 -IR − is the restriction ofΠ 2 0 -IR without function parameters. (shrink)

A repackaged edition of the revered author's classic work that examines the four types of human love: affection, friendship, erotic love, and the love of God—part of the C. S. Lewis Signature Classics series. C.S. Lewis—the great British writer, scholar, lay theologian, broadcaster, Christian apologist, and bestselling author of Mere Christianity, The Screwtape Letters, The Great Divorce, The Chronicles of Narnia, and many other beloved classics—contemplates the essence of love and how it works in our daily lives in one of (...) his most famous works of nonfiction. Lewis examines four varieties of human love: affection, the most basic form; friendship, the rarest and perhaps most insightful; Eros, passionate love; charity, the greatest and least selfish. Throughout this compassionate and reasoned study, he encourages readers to open themselves to all forms of love—the key to understanding that brings us closer to God. (shrink)

One of the very few accounts in English of German idealism, this ambitious work advances and revises our understanding of both the history and the thought of the classical period of German philosophy. As he traces the structure and evolution of idealism as a doctrine, Frederick Beiser exposes a strong objective, or realist, strain running from Kant to Hegel and identifies the crucial role of the early romantics—Hölderlin, Schlegel, and Novalis—as the founders of absolute idealism.

C. Stephen Evans explains and defends Kierkegaard's account of moral obligations as rooted in God's commands, the fundamental command being `You shall love your neighbour as yourself'. The work will be of interest not only to those interested in Kierkegaard, but also to those interested in the relation between ethics and religion, especially questions about whether morality can or must have a religious foundation. As well as providing a comprehensive reading of Kierkegaard as an ethical thinker, Evans puts him into (...) conversation with contemporary moral theorists. Kierkegaard's divine command theory is shown to be an account that safeguards human flourishing, as well as protecting the proper relations between religion and state in a pluralistic society. (shrink)

Aristotle's treatise De Interpretatione is one of his central works; it continues to be the focus of much attention and debate. C. W. A. Whitaker presents the first systematic study of this work, and offers a radical new view of its aims, its structure, and its place in Aristotle's system, basing this view upon a detailed chapter-by-chapter analysis.By treating the work systematically, rather than concentrating on certain selected passages, Whitaker is able to show that, contrary to traditional opinion, it forms (...) an organized and coherent whole. He argues that the De Interpretatione is intended to provide the underpinning for dialectic, the system of argument by question and answer set out in Aristotle's Topics; and he rejects the traditional view that the De Interpretatione concerns the assertion and is oriented towards the formal logic of the Prior Analytics. In doing so, he sheds valuable new light on some of Aristotle's most famous texts. (shrink)

A repackaged edition of the revered author’s spiritual memoir, in which he recounts the story of his divine journey and eventual conversion to Christianity. C. S. Lewis—the great British writer, scholar, lay theologian, broadcaster, Christian apologist, and bestselling author of Mere Christianity, The Screwtape Letters, The Great Divorce, The Chronicles of Narnia, and many other beloved classics—takes readers on a spiritual journey through his early life and eventual embrace of the Christian faith. Lewis begins with his childhood in Belfast, surveys (...) his boarding school years and his youthful atheism in England, reflects on his experience in World War I, and ends at Oxford, where he became "the most dejected and reluctant convert in all England." As he recounts his lifelong search for joy, Lewis demonstrates its role in guiding him to find God. (shrink)

Visual imagery is a form of sensory imagination, involving subjective experiences typically described as similar to perception, but which occur in the absence of corresponding external stimuli. We used the Activation Likelihood Estimation algorithm (ALE) to identify regions consistently activated by visual imagery across 40 neuroimaging studies, the first such meta-analysis. We also employed a recently developed multi-modal parcellation of the human brain to attribute stereotactic co-ordinates to one of 180 anatomical regions, the first time this approach has been combined (...) with the ALE algorithm. We identified a total 634 foci, based on measurements from 464 participants. Our overall comparison identified activation in the superior parietal lobule, particularly in the left hemisphere, consistent with the proposed ‘top-down’ role for this brain region in imagery. Inferior premotor areas and the inferior frontal sulcus were reliably activated, a finding consistent with the prominent semantic demands made by many visual imagery tasks. We observed bilateral activation in several areas associated with the integration of eye movements and visual information, including the supplementary and cingulate eye fields (SCEFs) and the frontal eye fields (FEFs), suggesting that enactive processes are important in visual imagery. V1 was typically activated during visual imagery, even when participants have their eyes closed, consistent with influential depictive theories of visual imagery. Temporal lobe activation was restricted to area PH and regions of the fusiform gyrus, adjacent to the fusiform face complex (FFC). These results provide a secure foundation for future work to characterise in greater detail the functional contributions of specific areas to visual imagery. (shrink)

_Verificationism_ is the first comprehensive history of a concept that dominated philosophy and scientific methodology between the 1930s and the 1960s. The verificationist principle - the concept that a belief with no connection to experience is spurious - is the most sophisticated version of empiricism. More flexible ideas of verification are now being rehabilitated by a number of philosophers. C.J. Misak surveys the precursors, the main proponents and the rehabilitators. Unlike traditional studies, she follows verificationist theory beyond the demise of (...) positivism to examine its reappearance in the work of modern philosophers. Most interestingly, she argues that despite feminism's strenuous opposition to positivism, verificationist thought is at the heart of much of contemporary feminist philosophy. _Verificationism_ is an excellent assessment of a major and influential system of thought. (shrink)

Many of the papers in this volume originated in a colloquium at the University of Western Ontario in 1967. These include a paper on the logic of norms by G. H. Von Wright, a paper on the logic of questions by L. Åqvist, a paper on the logic of belief by W. Sellars, and a paper on inductive logic by R. Ackermann. The commentaries by Anderson and Sosa have been revised for the volume and a further commentary to (...) class='Hi'>Ackermann's paper by Wesley Salmon has been added. In addition to the colloquium papers a number of further papers are published here for the first time: J. Hintikka on the semantics of propositional attitudes, R. Hilpinen on relativized modalities, C. Harrison on the unanticipated examiner and H. Smokler and M. Rohr on confirmation and translation. The volume is completed by two papers published in Synthese and a well-known paper in modal logic by Lemmon, Meredith, Meredith, Prior, and Thomas published complete with a new postscript by Prior. Although the collection is somewhat haphazard and seems to have no unifying theme, philosophers interested in these topics in philosophical logic will be thankful for the availability of the papers, both old and new.--R. H. K. (shrink)

This article challenges conventional readings of Michel Foucault by examining his fascination with neoliberalism in the late 1970s. Foucault did not critique neoliberalism during this period; rather, he strategically endorsed it. The necessary cause for this approval lies in the broader rehabilitation of economic liberalism in France during the 1970s. The sufficient cause lies in Foucault's own intellectual development: drawing on his long-standing critique of the state as a model for conceptualizing power, Foucault concluded, during the 1970s, that economic liberalism, (...) rather than “discipline,” was modernity's paradigmatic power form. Moreover, this article seeks to clarify the relationship between Foucault's philosophical antihumanism and his assessment of liberalism. Rather than arguing that Foucault's antihumanism precluded a positive appraisal of liberalism, or that the apparent reorientation of his politics in a more liberal direction in the late 1970s entailed a partial retreat from antihumanism, this article contends that Foucault's brief, strategic, and contingent endorsement of liberalism was possible precisely because he saw no incompatibility between antihumanism and liberalism—but only liberalism of the economic variety. Economic liberalism alone, and not its political iteration, was compatible with the philosophical antihumanism that is the hallmark of Foucault's thought. (shrink)

Watson and Crick’s discovery of the structure of DNA led to developments that transformed many biological sciences. But what were the relevant developments and how did they transform biology? Much of the philosophical discussion concerning this question can be organized around two opposing views: theoretical reductionism and layer-cake antireductionism. Theoretical reductionist and their anti-reductionist foes hold two assumptions in common. First, both hold that biological knowledge is structured like a layer cake, with some biological sciences, such as molecular biology cast (...) at lower levels of organization, and others, such as classical genetics, cast at higher levels. Second, both assume that scientific knowledge is structured by theory and that the productivity of scientific research depends on whether the underlying theory identifies the fundamentals upon which the phenomena to be explained and investigated depend. In the first part of this paper, I challenge these assumptions. In the second part, I show how recasting the basic theory of classical genetics made it possible to retool the methodologies of genetics. It was the investigative power of these retooled methodologies, and not the explanatory power of a gene-based theory, that transformed biology. (shrink)

A study in philosophical logic of the meaning of 'true'. Dr Williams demonstrates the shortcomings of various analyses which interpret 'true' as a predicate or truth as a relational property, and clears up a number of important points about propositions, quantification, definite descriptions and correspondence. This 'deflationary metaphysics' is interwoven with a positive theory of his own, which seeks to develop ideas about the late Arthur Prior. The work is marked throughout by great clarity, precision and thoroughness.

C W Evers, J C Walker; Knowledge, Partitioned Sets and Extensionality: a refutation of the forms of knowledge thesis, Journal of Philosophy of Education, Volume.

Susan Mills and John Beatty proposed a propensity interpretation of fitness (1979) to show that Darwinian explanations are not circular, but they did not address the critics' chief complaint that the principle of the survival of the fittest is either tautological or untestable. I show that the propensity interpretation cannot rescue the principle from the critics' charges. The critics, however, incorrectly assume that there is nothing more to Darwin's theory than the survival of the fittest. While Darwinians all scoff at (...) this assumption, they do not agree about what role, if any, this principle plays in Darwin's theory of natural selection. I argue that the principle has no place in Darwin's theory. His theory does include the idea that some organisms are fitter than others. But greater reproductive success is simply inferred from higher fitness. There is no reason to embody this inference in the form of a special principle of the survival of the fittest. (shrink)

Process thought is the foundation for studies in many areas of contemporary philosophy, theology, political theory, educational theory, and the religion-science dialogue. It is derived from Alfred North Whitehead's philosophy, known as process theology, which lays a groundwork for integrating evolutionary biology, physics, philosophy of mind, theology, environmental ethics, religious pluralism, education, economics, and more. In _Process-Relational Philosophy_, C. Robert Mesle breaks down Whitehead's complex writings, providing a simple but accurate introduction to the vision that underlies much of contemporary process (...) philosophy and theology. In doing so, he points to a "way beyond both reductive materialism and the traps of Cartesian dualism by showing reality as a relational process in which minds arise from bodies, in which freedom and creativity are foundational to process, in which the relational power of persuasion is more basic than the unilateral power of coercion." Because process-relational philosophy addresses the deep intuitions of a relational world basic to environmental and global thinking, it is being incorporated into undergraduate and graduate courses in philosophy, educational theory and practice, environmental ethics, and science and values, among others. _Process-Relational Philosophy: A Basic Introduction_ makes Whitehead's creative vision accessible to all students and general readers. (shrink)

The development of gene-editing technologies, such as the clustered regularly interspaced short palindromic repeats and associated Cas9 endonuclease system, coincides with a rapidly expanding knowledge of the role of genes in the human ageing process. This raises the prospect that, in addition to the treatment of genetic diseases and disorders, it may become possible to use gene-editing technologies to alter the ageing process and significantly extend the maximum human lifespan. Germline editing poses distinctive problems due to its implications for individual (...) members of future, unborn generations. In this essay, I wish to home in, narrowly, on a single ethical objection to extending the lifespan of future generations by editing the human germline. The objection suggests that to extend lifespans is to unethically inflict the harm of loneliness on future people. I claim that the argument rests on assumptions that ought to be rejected. (shrink)

C A Winch; Education, Literacy and the Development of Rationality, Journal of Philosophy of Education, Volume 17, Issue 2, 30 May 2006, Pages 187–200, https://d.

‘Mysticism means to isolate the eternal from the originated.’ This is not my definition of the word ‘mysticism’ but that of the founder of the ‘orthodox’ school of Muslim mysticism, Al-Junayd of Baghdad who flourished in the ninth century a.d . In actual fact it is not a definition of mysticism at all but of the Arabic word tawḥīd which means primarily ‘the affirmation of unity’; and that surely is an essential ingredient of any form of mysticism: it is the (...) affirmation through personal experience of unity either absolutely or in some qualified sense. (shrink)

As everyone knows, since the end of the Second World War there has been a sensational revival of interest in the non-Christian religions particularly in the United States and in this country. The revival has taken two forms, the one popular, the other academic. The first of these has turned almost exclusively to Hindu and Buddhist mysticism and can be seen as an energetic reaction against the dogmatic and until very recently rigid structure of institutionalised Christianity and a search for (...) a lived experience of the freedom of the spirit which is held to be the true content of mysticism, obscured in Christianity by the basic dogma of a transcendent God, the ‘wholly Other’ of Rudolf Otto and his numerous followers, but wholly untrammelled by any such concept in the higher reaches of Vedanta and Buddhism, particularly in its Zen manifestation. On the academic side the picture is less clear. There is, of course, the claim that the study of religion, like any other academic study, must be subjected to and controlled by the same principles of ‘scientific’ objectivity to which the other ‘arts’ subjects have been subjected, to their own undoing. But even here there would seem to be a bias in favour of the religions of India and the Far East as against Islam, largely, one supposes, in response to popular demand. (shrink)

The Holocaust marks a decisive moment in modern suffering in which it becomes almost impossible to find meaning or redemption in the experience. In this study, C. Fred Alford offers a new and thoughtful examination of the experience of suffering. Moving from the Book of Job, an account of meaningful suffering in a God-drenched world, to the work of Primo Levi, who attempted to find meaning in the Holocaust through absolute clarity of insight, he concludes that neither strategy works well (...) in today's world. More effective are the day-to-day coping practices of some survivors. Drawing on testimonies of survivors from the Fortunoff Video Archives, Alford also applies the work of Julia Kristeva and the psychoanalyst Donald Winnicot to his examination of a topic that has been and continues to be central to human experience. (shrink)

Dr Ian Ramsey has made considerable use of the word ‘disclosure’ in what he has to say about religion and in his attempts to give an account of the meaning of religious language. He sometimes speaks of ‘discernment’ or ‘insight’ but ‘disclosure’ is the word he normally favours. In what follows I shall ask: what a disclosure is, to what extent Dr Ramsey's use of the notion leads to confusions, and what questions have to be faced in order to resolve (...) these confusions. (shrink)