Many philosophers have written in the past as though it were nearly obvious to rational reflection that the existence of evil in this world is incompatible with the presumed properties of the Christian God, and they have assumed a proof of incompatibility to be easy to construct. An informal underpinning for this line of thought is easy to develop. Surely God in his benevolence finds evil to be evil, and hence has both the desire and the means, provided by his (...) omnipotence and omniscience, to eradicate it. But it remains a brute fact that evil exists. While this seems plausible enough at first glance, and seems damaging to the rationality of Christian belief, attempts to pin down a definite proof of incompatibility have encountered difficulties. The root difficulty is perhaps that the surface plausibility of incompatibility is ultimately mistaken. In what he calls a Free Will Defence against natural atheology, Alvin Plantinga has presented what seems a definitive proof, on rather modest assumptions, of the logical compatibility of God's nature and the existence of evil. Logic alone can neither prove nor disprove God's existence, since the defence rests on the empirical assumption that evil exists in this world. What Plantinga shows, put very simply, is that God may have created a world as good as any that an omnipotent, omniscient, and benevolent being might have created given that human beings must exist in that world. Whether Christianity ought to court logical rationality may seem highly dubious, but on the supposition that it does, Plantinga's proof that the existence of God is logically compatible with the existence of evil seems to me to settle the issue of whether Christianity is a possible object of rational belief, at least insofar as the problem of evil is considered the major obstacle to rationality of belief. Perhaps it is now clear that I do not intend here to attack the validity or the significance of Plantinga's proof. At the same time, I think it possible to argue for Plantinga's conclusion on other grounds, grounds that seem to me philosophically more appealing, and grounds that are manifestly compatible with the Biblical record. After briefly summarizing Plantinga's argument, I shall propose an alternative free will defence that circumvents some of the presuppositions of his arguments, an alternative that may be attractive to philosophers who are not interested in an ontology involving Plantinga's conception of possible worlds. (shrink)

My purpose in this paper is to examine a pitfall in empiricistic analysis which has not been widely discussed, perhaps because it lies implicit in what may seem a harmless facet of such analysis. The kind of analysis I have in mind is analysis of any variety which seeks to reduce understanding of any object, concept event, institution, or whatever, and its appropriate properties, to understanding of discrete elements and their properties out of which the analytically reduced can be constructed. (...) Let us call the entity analysed into elements the molar object, and restrict elements hereafter to some set of discrete elements of some molar object which have been obtained by an analysis of the kind to be discussed. What I will have to say will apply most directly to the reductionist analyses of an older logical empiricism, but I hope to make it clear that more recent linguistic analyses encounter the same difficulty. (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 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)

LCo with the Converse Ackermann Property is defined as the result of restricting Contraction in LC. Intuitionistic and Superintuitionistic Negation is shown to be compatible with the CAP.

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)

Following a suggestion of Feys, we use “rigorous implication” as a translation of Ackermann's strenge Implikation ([1]). Interest in Ackermann's system stems in part from the fact that it formalizes the properties of a strong, natural sort of implication which provably avoids standard implicational paradoxes, and which is consequently a good candidate for a formalization of entailment (considered as a narrower relation than that of strict implication). Our present purpose will not be to defend this suggestion, but rather (...) to present some information about rigorous implication. In particular, we show first that the structure of modalities (in the sense of Parry [4]) in Ackermann's system is identical with the structure of modalities in Lewis's S4, and secondly that (Ackermann's apparent conjecture to the contrary notwithstanding) it is possible to define modalities with the help of rigorous implication. (shrink)

It is proved that Ackermann’s rule δ is admissible in a wide spectrum of relevant logics satisfying certain syntactical properties.

A restriction of R-Mingle with the variable-sharing property and the Ackermann properties is defined. From an intuitive semantical point of view, this restriction is an alternative to Anderson and Belnap’s logic of entailment E.

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...

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.

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)

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)

In this paper, I shall examine attempts to furnish formal models for deductive scientific explanation. All such attempts have had certain defects. The most serious of these defects is to be found in the fact that the extant models seem to be formally restrictive in ways that do not allow any obvious generalization of their conditions which will encompass the full range of all those scientific explanations which must be considered plausible candidates for translation into deductive models.