It is known that many relevant logics can be conservatively extended by the truth constant known as the Ackermann constant. It is also known that many relevant logics can be conservatively extended by Boolean negation. This essay, however, shows that a range of relevant logics with the Ackermann constant cannot be conservatively extended by a Boolean negation.

It is shown that there are exactly six normal DeMorgan monoids generated by the identity element alone. The free DeMorgan monoid with no generators but the identity is characterised and shown to have exactly three thousand and eighty-eight elements. This result solves the "Ackerman constant problem" of describing the structure of sentential constants in the logic R.

The aim of this paper is to provide a proof-theoretic characterization of relevant logics including fusion and fission connectives, as well as Ackermann’s truth constant. We achieve this by employing the well-established methodology of labelled sequent calculi. After having introduced several systems, we will conduct a detailed proof-theoretic analysis, show a cut-admissibility theorem, and establish soundness and completeness. The paper ends with a discussion that contextualizes our current work within the broader landscape of the proof theory of relevant logics.

An Ackermann constant is a formula of sentential logic built up from the sentential constant t by closing under connectives. It is known that there are only finitely many non-equivalent Ackermann constants in the relevant logic R. In this paper it is shown that the most natural systems close to R but weaker than it-in particular the non-distributive system LR and the modalised system NR-allow infinitely many Ackermann constants to be distinguished. The argument in each (...) case proceeds by construction of an algebraic model, infinite in the case of LR and of arbitrary finite size in the case of NR. The search for these models was aided by the computer program MaGIC (Matrix Generator for Implication Connectives) developed by the author at the Australian National University. (shrink)

Here we study two connexive logics based on one of the conditionals introduced by Church in [4] and on some negations defined through falsity constants in the sense of Ackermann in [1].

Sentential constants have been part of the R environment since Church [1]. They have had diverse uses in explicating relevant ideas and in sim- plifying them technically. Of most interest have been the Ackermann pair of constants t; f, functioning conceptually as a least truth, and as a greatest , under the ordering of propositions under true impli- cation. Also interesting have been the Church constants F; T, functioning similarly as least greatest propositions.

This paper gives an account of Anderson and Belnap’s selection criteria for an adequate theory of entailment. The criteria are grouped into three categories: criteria pertaining to modality, those pertaining to relevance, and those related to expressive strength. The leitmotif of both this paper and its prequel is the relevant legitimacy of disjunctive syllogism. Relevant logics are commonly held to be paraconsistent logics. It is shown in this paper, however, that both E and R can be extended to explosive logics (...) which satisfy all of Anderson and Belnap’s selection criteria, provided the truth-constant known as the Ackermann constant is available. One of the selection criteria related to expressive strength is having an “enthymematic” conditional for which a deduction theorem holds. I argue that this allows for a new interpretation of Anderson and Belnap’s take on logical consequence, namely as committing them to pluralism about logical consequence. (shrink)

The Pythagorean Life is the most extensive surviving source on Pythagoreanism, and has wider interest as an account of the religious aspirations of late antiquity. "...admirably clear translation and sensible introduction"--The Classical...

The main object of this article is to give two novel proofs of the admissibility of Ackermann’s rule (γ) for the propositional relevant logic R. The results are established as corollaries of cut elimination for systems of tableaux for R. Cut elimination, in turn, is established both nonconstructively (as a corollary of completeness) and constructively (using Gentzen-like methods). The extensibility of the techniques is demonstrated by showing that (γ) is admissible for RQ* (R with constant domain quantifiers). The status (...) of the admissibility of (γ) for RQ* was, to the best of the author’s knowledge, an open problem. Further extensions of these results will be explored in the sequel(s). (shrink)

Robert John Ackermann deals decisively with the problem of relativism that has plagued post-empiricist philosophy of science. Recognizing that theory and data are mediated by data domains (bordered data sets produced by scientific instruments), he argues that the use of instruments breaks the dependency of observation on theory and thus creates a reasoned basis for scientific objectivity. Originally published in 1985. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished (...) backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905. (shrink)

Context: The idea for this article sprang from a desire to revive a conversation with the late Ernst von Glasersfeld on the heuristic function - and epistemological status - of forms of ideations that resist linguistic or empirical scrutiny. A close look into the uses of humor seemed a thread worth pursuing, albeit tenuous, to further explore some of the controversies surrounding the evocative power of the imaginal and other oblique forms of knowing characteristic of creative individuals. Problem: People generally (...) respond to humor, i.e., they are inclined to smile at things they find funny. People like to crack jokes, make puns, and, starting at age two, human infants engage in pretense or fantasy play. Research on creativity, on the other hand, has mostly scorned the trickster within. Cognitivists in particular are quick to relegate wit, whimsy, and even playfulness to the ranks of artful or poetic frivolities. Method: We use the emblems of the craftsman, the trickster, and the poet to highlight some of the oblique ways of knowing by which creative thinkers bring forth new insights. Each epitomizes dimensions intrinsic to the art of “possibilizing.” Taken together, they help us better understand what it means to be playful beyond curious, rigorous beyond reasonable, and why this should matter, even to constructivists! Results: The musings characteristic of creative individuals speak to intelligent beings’ ability to use glitches intentionally or serendipitously as a means to open up possibilities; to hold on to a thought before spelling it out; and to resist treating words or images as conventional and arbitrary signs regardless of their evocative power. To fall into nominalism, Bachelard insisted, is a poet’s nightmare! Implications: Psyche is image, said Jung, and when we feel alive we rely on the imaginal to guide our reason. Note that image is not here to be understood as a picture in the head or a photographic snapshot of the world. The imaginal does not represent, it brings forth what we understand beyond words. It does not lock us into a single mode. Instead, it is a call to be mindful, in Ellen Langer’s sense: in the present, mentally alert, and on the outlook for our psyche’s own surprising wisdom (sagacity. Constructivist content: Debates on the heuristic function and epistemological status of oblique ways of knowing have long occupied constructivist scholars. I can only guess whether my uses of Jung’s imaginal or Bachelard’s anti-nominalism would have amused or exasperated Ernst! I do know that, on occasion, Ernst the connoisseur, bricoleur, and translator allowed the rationalist-within to include the poet’s power to evoke as a legitimate form of rationality. He himself has written about oblique knowing as legit! (shrink)

A selection from the correspondence of the logician Wilhelm Ackermann (1896?1962) is presented in this article. The most significant letters were exchanged with Bernays, Scholz and Lorenzen, from which extensive passages are transcribed. Some remarks from other letters, with quotations, are also included.

Die Gründe, die C. I. Lewis [5], [6] bewogen haben, neben der gewöhnlichen Implikation eine strikte Implikation einzuführen, sind bekannt. In der vorliegenden Arbeit wird aus ähnlichen Gründen eine strenge Implikation eingeführt, die jedoch einen engeren Begriff darstellt als die strikte Implikation. Mit einer Arbeit von Arnold Schmidt [7] hat meine nur geringe Berührungspunkte, da der Verfasser sich mit der strikten Implikation beschäftigt. Für diese wird ein relativ einfaches Axiomensystem angegeben und gezeigt, wie man durch geeignete Definitionen von Notwendigkeit und (...) Möglichkeit bei eventueller Hinzufügung von Zusatzaxiomen die bekannten Systeme des Modalitätenkalküls erhält. Den Hauptteil meiner Arbeit bildet die Einführung meines Implikationsbegriffs; im zweiten Teil der Arbeit komme ich dann auf dieser Basis auch zu einer Einführung der Modalitäten.Um die Art der Einführung des Kalküls zu motivieren, wollen wir kurz auf das eingehen, das uns mehr oder weniger deutlich vorschwebt, wenn wir von der strengen Implikation sprechen. Die strenge Implikation, die wir durchA → Bwiedergeben, soll ausdrücken, daß zwischenAundBein logischer Zusammenhang besteht, daß der Inhalt vonBein Teil des Inhaltes vonAist, oder wie wir es sonst ausdrücken wollen. Das hat mit der Richtigkeit oder Falschheit vonAundBnichts zu tun. So würde man die Allgemeingültigkeit einer FormelA→ (B → A) ablehnen, da sie den Schluß vonAaufB → Aeinschließt und da die Richtigkeit vonAnichts damit zu tun hat, ob zwischenBundAein logischer Zusammenhang besteht. (shrink)

Die theoretische Logik, auch mathematische oder symbolische Logik genannt, ist eine Ausdehnung der fonnalen Methode der Mathematik auf das Gebiet der Logik. Sie wendet fUr die Logik eine ahnliche Fonnel­ sprache an, wie sie zum Ausdruck mathematischer Beziehungen schon seit langem gebrauchlich ist. In der Mathematik wurde es heute als eine Utopie gelten, wollte man beim Aufbau einer mathematischen Disziplin sich nur der gewohnlichen Sprache bedienen. Die groBen Fortschritte, die in der Mathematik seit der Antike gemacht worden sind, sind zum (...) wesentlichen Teil mit dadurch bedingt, daB es gelang, einen brauchbaren und leistungsfahigen Fonnalismus zu finden. - Was durch die Formel­ sprache in der Mathematik erreicht wird, das solI auch in der theoretischen Logik durch diese erzielt werden, namlich eine exakte, wissenschaftliche Behandlung ihres Gegenstandes. Die logischen Sachverhalte, die zwischen Urteilen, Begriffen usw. bestehen, finden ihre Darstellung durch Formeln, deren Interpretation frei ist von den Unklarheiten, die beim sprachlichen Ausdruck leicht auftreten konnen. Der Dbergang zu logischen Folgerungen, wie er durch das SchlieBen geschieht, wird in seine letzten Elemente zerlegt und erscheint als fonnale Umgestaltung der Ausgangsfonneln nach gewissen Regeln, die den Rechenregeln in der Algebra analog sind; das logische Denken findet sein Abbild in einem LogikkalkUl. Dieser Kalkiil macht die erfolgreiche Inangriffnahme von Problemen moglich, bei denen das rein inhaltliche Denken prinzipiell versagt. Zu diesen gehort z. B. (shrink)

Through close textual analysis, Ackermann (philosophy, U. of Massachusetts, Amherst) exposes the underlying unity and consistency in Nietzsche's thought. He challenges the common view that Nietzsche's work can best be understood as a collection of isolated insights and that each of several discrete periods of thought are based on a different set of values. Annotation copyrighted by Book News, Inc., Portland, OR.

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)

Can music be considered a language of the emotions? The most common view today is that this is nothing but a Romantic cliché. Mainstream philosophy seems to view the claim that 'Music is the language of the emotions' as a slogan that was once vaguely defended by Rousseau, Goethe, or Kant, but that cannot be understood literally when one takes into consideration last century’s theories of language, such as Chomsky's on syntax or Tarski's on semantics (Scruton 1997: ch. 7, see (...) also Davies 2003: ch. 8, and Kania 2012). In this chapter, I will show why this common view is unwarranted, and thus go against nowadays philosophical mainstream by defending what I call the musicalanguage hypothesis. In Section 1, I will introduce the musicalanguage hypothesis and present, based on empirical evidence, some of the many similarities between language and music and explain why we should take them seriously. I will introduce a framework that aims to explain the communicative power of music using what we already know about linguistic communication (1.1). I will then outline several working hypotheses about musical grammar, musical meaning, and affective meaning (1.2), and thus defend that music is indeed very close to literally be a language of the emotions. In Section 2, I will detail some of the methodology, expectations, and preliminary results of a cross-cultural study on musical grammar that I am presently conducting between South India (Chennai) and Switzerland (Geneva and Lausanne)4. This empirical study focuses on two musical idioms and their grammatical features: Western classical music of the Common Period (ca. 1600-1900) and South Indian classical music (also know as Carnatic music). The main hypothesis of this study is that you need to master the grammar of a musical idiom in order to properly understand its musical meanings. (shrink)

Any account of “what is special about the human brain” (Passingham 2008) must specify the neural basis of our unique ability to produce speech and delineate how these remarkable motor capabilities could have emerged in our hominin ancestors. Clinical data suggest that the basal ganglia provide a platform for the integration of primate-general mechanisms of acoustic communication with the faculty of articulate speech in humans. Furthermore, neurobiological and paleoanthropological data point at a two-stage model of the phylogenetic evolution of this (...) crucial prerequisite of spoken language: (i) monosynaptic refinement of the projections of motor cortex to the brainstem nuclei that steer laryngeal muscles, presumably, as part of a “phylogenetic trend” associated with increasing brain size during hominin evolution; (ii) subsequent vocal-laryngeal elaboration of cortico-basal ganglia circuitries, driven by human-specificFOXP2mutations.;>This concept implies vocal continuity of spoken language evolution at the motor level, elucidating the deep entrenchment of articulate speech into a “nonverbal matrix” (Ingold 1994), which is not accounted for by gestural-origin theories. Moreover, it provides a solution to the question for the adaptive value of the “first word” (Bickerton 2009) since even the earliest and most simple verbal utterances must have increased the versatility of vocal displays afforded by the preceding elaboration of monosynaptic corticobulbar tracts, giving rise to enhanced social cooperation and prestige. At the ontogenetic level, the proposed model assumes age-dependent interactions between the basal ganglia and their cortical targets, similar to vocal learning in some songbirds. In this view, the emergence of articulate speech builds on the “renaissance” of an ancient organizational principle and, hence, may represent an example of “evolutionary tinkering” (Jacob 1977). (shrink)

Studie over de filosofie van de in Oostenrijk geboren Engelse wijsgeer.

The fact that simplicity has been linked with induction by many philosophers of science, some of whom have proposed or supported criteria of “inductive simplicity,” means that the problem must be given some serious attention. I take “inductive simplicity” as a title, however, only by way of concession to these historical treatments, since it is precisely the burden of my paper to show that there is no such thing. So much for the conclusion. I shall spend the remainder of my (...) time arguing for it. (shrink)

In this paper, I am going to cast doubt on an idea that is shared, explicitly or implicitly, by most contemporary pragmatic theories: that the inferential interpretation procedure described by Grice, neo-Griceans, or post-Griceans applies only to the interpretation of ostensive stimuli. For this special issue, I will concentrate on the relevance theory (RT) version of this idea. I will proceed by putting forward a dilemma for RT and argue that the best way out of it is to accept that (...) the relevance-theoretic comprehension procedure ap- plies to certain non-ostensive stimuli, contrary to what is generally claimed within RT. In particular, I will argue that relevance theorists should accept that (ceteris paribus) non- ostensive emotional expressions in interactions guarantee a presumption of relevance such that they are interpreted through the relevance-theoretic comprehension procedure. This leads me to propose what I call 'the expressive principle of relevance'. (shrink)

Cognitive niche construction is the process whereby organisms create and maintain cause–effect models of their niche as guides for fitness influencing behavior. Extended mind theory claims that cognitive processes extend beyond the brain to include predictable states of the world. Active inference and predictive processing in cognitive science assume that organisms embody predictive (i.e., generative) models of the world optimized by standard cognitive functions (e.g., perception, action, learning). This paper presents an active inference formulation that views cognitive niche construction as (...) a cognitive function aimed at optimizing organisms' generative models. We call that process of optimization extended active inference. (shrink)

In this chapter, we start by spelling out three important features that distinguish expressives—utterances that express emotions and other affects—from descriptives, including those that describe emotions (Section 1). Drawing on recent insights from the philosophy of emotion and value (2), we show how these three features derive from the nature of affects, concentrating on emotions (3). We then spell out how theories of non-natural meaning and communication in the philosophy of language allow claims that expressives inherit their meaning from specificities (...) of emotions—namely, from being felt, evaluative attitudes toward propositional or non-propositional contents (4). (shrink)

The first English translation of the major political works of Benjamin Constant (1767-1830), one of the most important of the French political figures in the aftermath of the revolution of 1789, and a leading member of the liberal opposition to Napoleon and later to the restored Bourbon monarchy. The texts included in this volume are widely regarded as one of the classic formulations of modern liberal doctrine.

Autism Spectrum Condition presents a challenge to social and relational accounts of the self, precisely because it is broadly seen as a disorder impacting social relationships. Many influential theories argue that social deficits and impairments of the self are the core problems in ASC. Predictive processing approaches address these based on general purpose neurocognitive mechanisms that are expressed atypically. Here we use the High, Inflexible Precision of Prediction Errors in Autism approach in the context of cultural niche construction to explain (...) atypicalities of the relational self, specifically its minimal, extended, and intersubjective aspects. We contend that the social self in ASC should not be seen as impaired, but rather as an outcome of atypical niche construction. We unpack the scientific, ethical, and practical consequences of this view, and discuss implications for how the challenges that autistic persons face should be approached. (shrink)

Context: The idea to write this paper sprang up in a casual conversation that led to the question of how the word “experience” would be translated into German. Distinctions between the German “Erleben” and “Erfahren,” and their intricacies with “Erkennen” and “Anerkennen,” soon led to the conviction that this was a thread worth pursuing. Problem: Much has been written about the nature of experience, but there is little consensus, to this day, regarding the role of consciousness in the process of (...) experiencing. Although RC acknowledges the significance of tacit or sensorimotor knowledge in the individual’s practical operating, it cannot admit it as a basis to the formation of conceptual structures that, by definition, are conscious. Method: Drawing from our backgrounds in epistemology and psychology, and a shared interest in Piaget’s psychogenetic approach, we investigate the origins and development of human experience, in this case the mastery of space, time, causation, and object-permanency. We focus on how “noticeable encounters” are gauged, reflected upon, and ultimately worked through, consciously or unconsciously, by the “experiencer.” Results: A child’s abilities to enact a certain action pattern in a given situation no more demonstrates a re-presentation of the pattern than does recognition in the case of objects. In his studies with children, Piaget has shown that the Kantian categories of space, time object, and “causality” are co-constitutive of the child’s own motion – and its felt impact – as a means to make the world cohere. Of importance here are the concepts of “effective causality,” felicitous encounters, and agency. Implications: Understanding the circumstances under which some “lived” events, whether self-initiated or striking as if out of nowhere, become noticeable and able affect a person’s life is a daunting task. This joint essay is no more than a conversation-starter and an invitation to further explore the intricacies between agency and causation, sensation and cognition, and, yes, motions and emotions in the making of consciousness itself. (shrink)

Philosophical writings on the free energy principle in the life sciences often give the impression that minimising free energy is sufficient for life. But minimising free energy is not a sufficient condition for life. In fact, one can perfectly well conceive of a system that actively minimises its free energy, and for this very reason moves inexorably towards death. So, where does the assumption of this entailment relation come from? There is indeed an entailment relation, but it goes the other (...) way around: life entails minimising free energy. Put another way, if you exist, now, under the right conditions, it is because you’ve done something like minimising your free energy. However, the question of whether you will exist tomorrow cannot be settled purely by resorting to the fact that you will minimise your free energy to get there. The simple point I make in this paper is that the free energy principle is not concerned with the sufficient conditions of existence, but rather with what must have been the case, given that you exist. It’s not about figuring out what it takes to be alive; it’s about figuring out what took you there. (shrink)