More's Latin reply to Bugenhagen, given here with a facing English translation, is a comparatively brief but intense rebuttal of the principal points of Lutheran teaching concerning scripture ant tradition, faith and works, grace and free will, clerical celibacy, and the sacraments. It presents arguments elaborated at much greater length in More's other polemical works. _Supplication of Souls_ refutes _A Supplication for the Beggars_, an anticlerical pamphlet by Simon Fish which Henry VIII seems to have regarded with some favor. More (...) places his response in the mouths of the souls in purgatory. In the first book, he contemptuously demolished Fish's loose railery with accurate statistics and historical analysis. In the second, he defends the traditional doctrine of purgatory with brief arguments drawn from reason and a detailed analysis of scriptural passages. _Letter against Frith_ answers John Frith's Zwinglian arguments against the physical presence of Christ in the more. Written to an unknown correspondent, it is the briefest and mildest of More's polemical works and anticipates arguments presented moer elaborately in More's _The Answer to a Poisoned Book_. Besides full introductions and commentaries, a glossary, and an index, this volume contains seven appendices giving the works to which More is replying and other thematic, historical, and bibliographical matter closely related to the three works by More. (shrink)

Richard Rorty is well known as a propagandist of pragmatism and of a "post-philosophical" culture in which many traditional philosophical debates are dismissed as outrightly fruitless. The paper is mainly concerned with Rorty's dismissal of the realism-antirealism debate. The shift from argument to propaganda which is typical of much of Rorty's reasoning is critically investigated from different perspectives. In particular, it is argued that Rorty cannot convincingly establish a pragmatist position beyond realism and antirealism, and that pragmatism seems to (...) be inadequate with respect to scientific practice. Finally, the fruitfulness of the realism-antirealism debate is defended. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:BOOK REVIEWS 453 PAUL HENRY (19o6-1984) Paul Henry was a renowned scholar of Plotinus and Neo-Platonism. Born in Louvain, the son of a chemistry professor at the university there, he was sent to school in England during World War I. He then returned to Belgium, and studied philosophy and theology at Louvain, and joined the Society of Jesus. He did further studies in Paris in Middle Eastern culture, and (...) studied Arabic in Syria, Lebanon, and Palestine. In Rome he did further studies and received an S.T.D. from the Pontifical Gregorian University, as well as a Licentiate in Sacred Scripture from the Pontifical Gregorian University. He was appointed professor at the Institut Catholique in Paris. He published several fundamental studies on Plotinus and the development of NeoPlatonism in Western thought. He and Hans Rudolf Schwyzer of Zurich collaborated on the critical edition of Plotinus's Enneads,and he and his former student, Pierre Hadot, produced the critical edition of the theological treatises of Marius Victorinus. Paul Henry made his first visit to the United States in 1952 where he was a visiting professor at Fordham. At a meeting of the American Philosophical Association that year he met Richard Popkin. They became close friends. This led to Henry being invited to be a visiting professor at the University of Iowa, to give the Foster lecture on the immortality of the soul at the University of California, Berkeley, and to his later being appointed a regular professor at the University of California, San Diego. He also was a visiting professor at the University of Pennsylvania, Duke, Northwestern, the College of New Rochelle and St. John's University in New York. Paul Henry was an important consultant and adviser to the JournaloftheHistoryofPhilosophy in its early years. With his vast erudition, his understanding of the different kinds of scholarship being undertaken in Europe and America, in Catholic and non-Catholic institutions, he was able to assist us in finding the best scholarly articles, the best referees and reviewers of materials in many fields. Paul Henry was a person of immense charm, vivacity and humanity. He was able to break down barriers between people of differing backgrounds, and to form deep, abiding friendships with students and scholars all over the world. He took great interest in a variety of ventures to increase learning and understanding in intellectual history. His concerns ranged from early Christian thought, pagan Neo-Platonism, the fusion of the two in Victorinus and Augustine, up to leading intellectual ideas in modern European thought such as the structuralism of LeviStrauss and the theology of Teilhard de Chardin. He encouraged young and maturing scholars in America and Europe, and tried to bring out the very best of their abilities. He encouraged the understanding of different thought systems, the appreciation of their strengths and weaknesses. And, perhaps as much as any one in the post-second-World-War period, he encouraged frank and open discussions between Catholic and non-Catholic scholars, and thereby built many bridges. Those who knew him have profited immensely from his learning, wisdom and humanity. Those who worked to launch and develop the Journal are especially grateful for his help and support in the early days of this venture. We hope that his scholarship will encourage many others to develop fresh understandings of Neo-Platonism and its importance in the philosophical, theological and scientific world, from ancient times to the present. He will be sorely missed, but he has left a great legacy to those working in the history of philosophy. RICHARD H. POPKIN... (shrink)

A naturalistic scheme of primitive conceptual representations is proposed using the statistical measure of mutual information. It is argued that a concept represents, not the class of objects that caused its tokening, but the class of objects that is most likely to have caused it (had it been tokened), as specified by the statistical measure of mutual information. This solves the problem of misrepresentation which plagues causal accounts, by taking the representation relation to be determined via ordinal relationships between conditional (...) probabilities. The scheme can deal with statistical biases and does not rely on arbitrary criteria. Implications for the theory of meaning and semantic content are addressed. (shrink)

A naturalistic scheme of primitive conceptual representations is proposed using the statistical measure of mutual information. It is argued that a concept represents, not the class of objects that caused its tokening, but the class of objects that is most likely to have caused it (had it been tokened), as specified by the statistical measure of mutual information. This solves the problem of misrepresentation which plagues causal accounts, by taking the representation relation to be determined via ordinal relationships between conditional (...) probabilities. The scheme can deal with statistical biases and does not rely on arbitrary criteria. Implications for the theory of meaning and semantic content are addressed. (shrink)

This study reconstructs the relationship between philosophy and politics in the way in which Heidegger's failure as a politician influenced the redevelopment of philosophy in the 1930s. The author also explains how Heidegger's failure influenced the content and direction of his later work.

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

Studies the politics of Heidegger in terms of "thrownness" or "existential contingency". Attempts to think through Heidegger's philosophy in a manner that parallels his own dialogue with other key western thinkers.

Craig Callender, Jonathan Cohen and Markus Schrenk have recently argued for an amended version of the best system account of laws – the better best system account (BBSA). This account of lawhood is supposed to account for laws in the special sciences, among other desiderata. Unlike David Lewis's original best system account of laws, the BBSA does not rely on a privileged class of natural predicates, in terms of which the best system is formulated. According to the BBSA, a contingently (...) true generalization is a law of a special science S iff the generalization is an axiom (or a theorem) of the best system relative to the set of predicates used by special science S. We argue that the BBSA is, at best, an incomplete theory of special science laws, as it does not account for typical features of special science laws, such as attached ceteris paribus conditions and the idealized character of law statements in these disciplines. (shrink)

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

In climate science, observational gridded climate datasets that are based on in situ measurements serve as evidence for scientific claims and they are used to both calibrate and evaluate models. However, datasets only represent selected aspects of the real world, so when they are used for a specific purpose they can be a source of uncertainty. Here, we present a framework for understanding this uncertainty of observational datasets which distinguishes three general sources of uncertainty: (1) uncertainty that arises during the (...) generation of the dataset; (2) uncertainty due to biased samples; and (3) uncertainty that arises due to the choice of abstract properties, such as resolution and metric. Based on this framework, we identify four different types of dataset ensembles — parametric, structural, resampling, and property ensembles—as tools to understand and assess uncertainties arising from the use of datasets for a specific purpose. We advocate for a more systematic generation of dataset ensembles by using these sorts of tools. Finally, we discuss the use of dataset ensembles in climate model evaluation. We argue that a more systematic understanding and assessment of dataset uncertainty is needed to allow for a more reliable uncertainty assessment in the context of model evaluation. The more systematic use of such a framework would be beneficial for both scientific reasoning and scientific policy advice based on climate datasets. (shrink)

Despite their differences in origin, the three influential schools of twentieth-century continental cultural criticism--the Frankfurt School, existentialism, and poststructuralism--have long been treated as an ensemble and with critical hesitancy. Examining these schools as responses to the apparent collapse of Western civilization in the twentieth-century and as formidable intellectual challenges to the cultural legacies of the Enlightenment, this book provides a productive base for criticism and broadens our understanding of their histories and reception.

abstractThe paper explores a new interpretation of the consequentializing project. Three prominent interpretations are criticized for neglecting the explanatory dimension of moral theories. Instead...

The Curry-Howard isomorphism is a proof-theoretic result that establishes a connection between derivations in natural deduction and terms in typed lambda calculus. It is an important proof-theoretic result, but also underlies the development of type systems for programming languages. This fact suggests a potential importance of the result for a philosophy of code.

This paper examines the origin, range and meaning of the Principle of Action and Reaction in Kant’s mechanics. On the received view, it is a version of Newton’s Third Law. I argue that Kant meant his principle as foundation for a Leibnizian mechanics. To find a ‘Newtonian’ law of action and reaction, we must look to Kant’s ‘dynamics,’ or theory of matter. I begin, in part I, by noting marked differences between Newton’s and Kant’s laws of action and reaction. I (...) argue that these are explainable by Kant’s allegiance to a Leibnizian mechanics. I show (in part II) that Leibniz too had a model of action and reaction, at odds with Newton’s. Then I reconstruct how Jakob Hermann and Christian Wolff received Leibniz’s model. I present (in Part III) Kant’s early law of action and reaction for mechanics. I show that he devised it so as to solve extant problems in the Hermann-Wolff account. I reconstruct Kant’s views on ‘mechanical’ action and reaction in the 1780s, and highlight strong continuities with his earlier, pre-Critical stance. I use these continuities, and Kant’s earlier engagement with post-Leibnizians, to explain the un-Newtonian features of his law of action and reaction. (shrink)

This classic, provocative introduction to classical metaphysical questions focuses on appreciating the problems, rather than attempting to proffer answers.

Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.

Philosophy and Phenomenological Research, EarlyView.

ABSTRACTIn this paper, I will investigate the compatibility of different metaphysics of time with the powers view. At first sight, it seems natural to combine some sort of powers ontology with a dy...

Much early modern metaphysics grew with an eye to the new science of its time, but few figures took it as seriously as Emilie du Châtelet. Happily, her oeuvre is now attracting close, renewed attention, and so the time is ripe for looking into her metaphysical foundation for empirical theory. Accordingly, I move here to do just that. I establish two conclusions. First, du Châtelet's basic metaphysics is a robust realism. Idealist strands, while they exist, are confined to non-basic regimes. (...) Second, her substance realism seems internally coherent, so her foundational project appears successful.I have two aims in this paper. Historically, I show that du Châtelet's main source of inspiration was Christian... (shrink)

This paper examines the young Kant’s claim that all motion is relative, and argues that it is the core of a metaphysical dynamics of impact inspired by Leibniz and Wolff. I start with some background to Kant’s early dynamics, and show that he rejects Newton’s absolute space as a foundation for it. Then I reconstruct the exact meaning of Kant’s relativity, and the model of impact he wants it to support. I detail (in Section II and III) his polemic engagement (...) with Wolffian predecessors, and how he grounds collisions in a priori dynamics. I conclude that, for the young Kant, the philosophical problematic of Newton’s science takes a back seat to an agenda set by the Leibniz-Wolff tradition of rationalist dynamics. This results matters, because Kant’s views on motion survive well into the 1780s. In addition, his doctrine attests to the richness of early modern views of the relativity of motion. (shrink)

Introduction : reinterpreting landscapes in an evolving world -- The pastoral tradition as inherited motives -- From classical pastorals to pastoral landscapes : rebirth of the landscape idea through analytical narration -- Instances of pastoral motivation in contemporary landscape analytical practice -- Articulating analytical narratives of contemporary pastoral landscapes -- The landscape analyst's pastoral action.

"One of the few direct solutions that Nietzsche gives for the overcoming of nihilism is the facing of the thought of eternal recurrence. Being the heaviest of all thoughts, it may seem that through Heidegger’s filter it will become a sort of metaphysical concept, but his analysis may at least help us see it as an axis around which thought can pivot, at least for a moment. Kundera sees the contradiction between lightness and weight as the most problematic of all, (...) as it is difficult to see the burden as something positive when emancipation seems to always be an attempt to achieve total freedom, a search for lightness. We argue that “the heavy thought” makes us confront fatalism and affirm freedom, while lightness makes freedom by becoming impossible. The eternal recurrence is the idea that offers motivation to intervene in the chain of determinations and to influence them decisively. Keywords: eternal recurrence, lightness, weight, freedom, being, becoming. ". (shrink)