Contents: Acknowledgements. Conventions. Preface. Biographical sketch. 1 Introduction. 2 The Contributions. 3 Early work in analysis. 4 The Theory of Science . 5. Later mathematical studies. A On Kantian Intuitions. B The Bolzano-Cauchy Theorem.

Many contemporary philosophers favor coherence theories of knowledge (Bender 1989, BonJour 1985, Davidson 1986, Harman 1986, Lehrer 1990). But the nature of coherence is usually left vague, with no method provided for determining whether a belief should be accepted or rejected on the basis of its coherence or incoherence with other beliefs. Haack's (1993) explication of coherence relies largely on an analogy between epistemic justification and crossword puzzles. We show in this paper how epistemic coherence can be understood in terms (...) of maximization of constraint satisfaction, in keeping with computational models that have had a substantial impact in cognitive science. A coherence problem can be defined in terms of a set of elements and sets of positive and negative constraints between pairs of those elements. Algorithms are available for computing coherence by determining how to accept and reject elements in a way that satisfies the most constraints. Knowledge involves at least five different kinds of coherence - explanatory, analogical, deductive, perceptual, and conceptual - each requiring different sorts of elements and constraints. (shrink)

In a series of publications beginning in the 1980s, John Etchemendy has argued that the standard semantical account of logical consequence, due in its essentials to Alfred Tarski, is fundamentally mistaken. He argues that, while Tarski's definition requires us to classify the terms of a language as logical or non-logical, no such division is guaranteed to deliver the correct extension of our pre-theoretical or intuitive consequence relation. In addition, and perhaps more importantly, Tarski's account is claimed to be incapable of (...) explaining an essential modal/epistemological feature of consequence, namely, its necessity and apriority. Bernard Bolzano (1781-1848) is widely recognized as having anticipated Tarski's definition in his Wissenschaftslehre (or Theory of Science ) of 1837. Because of the similarities between his account and Tarski's, Etchemendy's arguments have also been extended to cover Bolzano. The purpose of this article is to consider Bolzano's theory in the light of these criticisms. We argue that, due to important differences between Bolzano's and Tarski's theories, Etchemendy's objections do not apply immediately to Bolzano's account of consequence. Moreover, Bolzano's writings contain the elements of a detailed philosophical response to Etchemendy. (shrink)

This essay presents a new interpretation of Bolzano's account of necessary truth as set out in ?182 of the Theory of Science. According to this interpretation, Bolzano's conception is closely related to that of Leibniz, with some important differences. In the first place, Bolzano's conception of necessary truth embraces not only what Leibniz called metaphysical or brute necessities but also moral necessities (truths grounded in God's choice of the best among all metaphysical possibilities). Second, in marked contrast to Leibniz, Bolzano (...) maintains that there is still plenty of room for contingency even on this broader conception of necessity. (shrink)

Alongside his groundbreaking work in logic, Bernard Bolzano (1781?1848) made important contributions to ontology, notably with his theory of collections. Recent work has done much to elucidate Bolzano's conceptions, but his notion of a sum has proved stubbornly resistant to complete understanding. This paper offers a new interpretation of Bolzano's concept of a sum. I argue that, although Bolzano's presentation is defective, his conception is unexceptionable, and has important applications, notably in his work on the foundations of arithmetic.

This is the first full English translation of Bernard Bolzano's masterwork, the Theory of Science (1837)--a monumental and revolutionary study in logic, epistemology, heuristics, and scientific methodology. Each volume includes an introduction which illuminates the historical context of Bolzano's work and its continuing relevance.

In the works of Kant and his followers, the notion of form plays an important role in explaining the apriority, necessity and certainty of logic. Bernard Bolzano (1781–1848), an important early critic of Kant, found the Kantians' definitions of form imprecise and their explanations of the special status of logic deeply unsatisfying. Proposing his own conception of form, Bolzano developed radically different views on logic, truth in virtue of form, and other matters. This essay presents Bolzano's views in the light (...) of his criticisms of the Kantian logicians. (shrink)

…all men begin… by wondering that things are as they are…as they do about…the incommensurability of the diagonal of the square with the side; for it seems wonderful to all who have not yet seen the reason, that there is a thing which cannot be measured even by the smallest unit. But we must end in the contrary and, according to the proverb, the better state, as is the case in these instances too when men learn the cause; for there (...) is nothing which would surprise a geometer so much as if the diagonal turned out to be commensurable. (shrink)

Russell, in his History of Western Philosophy, wrote that modern analytical philosophy had its origins in the construction of modern functional analysis by Weierstrass and others. As it turns out, Bolzano, in the first four decades of the nineteenth century, had already made important contributions'to the creation of "Weierstrassian" analysis, some of which were well known to Weierstrass and his circle. In addition, his mathematical research was guided by a methodology which articulated many of the central principles of modern philosophical (...) analysis. That Russell was able to discover philosophical content within mathematical analysis was thus not surprising, for it had been carefully put there in the first place. Bolzano can and should, accordingly, be viewed as a founder of modern analytical philosophy, and not necessarily as an uninfluential one. This paper considers his work in mathematical and philosophical analysis against some of the relevant historical background. (shrink)

Russell, in his History of Western Philosophy, wrote that modern analytical philosophy had its origins in the construction of modern functional analysis by Weierstrass and others. As it turns out, Bolzano, in the first four decades of the nineteenth century, had already made important contributions'to the creation of "Weierstrassian" analysis, some of which were well known to Weierstrass and his circle. In addition, his mathematical research was guided by a methodology which articulated many of the central principles of modern philosophical (...) analysis. That Russell was able to discover philosophical content within mathematical analysis was thus not surprising, for it had been carefully put there in the first place. Bolzano can and should, accordingly, be viewed as a founder of modern analytical philosophy, and not necessarily as an uninfluential one. This paper considers his work in mathematical and philosophical analysis against some of the relevant historical background. (shrink)

Bernard Bolzano is increasingly recognized as one of the greatest nineteenth-century philosophers. A philosopher and mathematician of rare talent, he made ground-breaking contributions to logic, the foundations and philosophy of mathematics, metaphysics, and the philosophy of religion. Many of the larger features of later analytic philosophy first appear in his work: for example, the separation of logic from psychology, his sophisticated understanding of mathematical proof, his definition of logical consequence, his work on the semantics of natural kind terms, or his (...) anticipations of Cantor's set theory, to name but a few. To his contemporaries, however, he was best known as an intelligent and determined advocate for reform of Church and State. Based in large part on a carefully argued utilitarian practical philosophy, he developed a program for the non-violent reform of the authoritarian institutions of the Hapsburg Empire, a program which he himself helped to set in motion through his teaching and other activities. Rarely has a philosopher had such a great impact on the political culture of his homeland. Persecuted in his lifetime by secular and ecclesiastical authorities, long ignored or misunderstood by philosophers, Bolzano's reputation has nevertheless steadily increased over the past century and a half. Much discussed and respected in Central Europe for over a century, he is finally beginning to receive the recognition he deserves in the English-speaking world. This book provides a comprehensive and detailed critical introduction to Bolzano, covering both his life and works. (shrink)

Largely ignored in Germany during the nineteenth century, Bolzano was certainly better known in Austria, in particular among Brentano’s students, who enthusiastically studied his Theory of science. In this respect it makes sense to speak of Bolzano as belonging to a tradition of Austrian philosophy. Yet an examination of the reception of Bolzano’s ideas among Brentano’s students indicates that he was not always well understood. This article discusses a particular case, Twardowski’s reaction to Bolzano’s theory of representation.

This paper surveys Bolzano's Beyträge zu einer begründeteren Darstellung der Mathematik (Contributions to a better-grounded presentation of mathematics) on the 200th anniversary of its publication. The first and only published issue presents a definition of mathematics, a classification of its subdisciplines, and an essay on mathematical method, or logic. Though underdeveloped in some areas (including,somewhat surprisingly, in logic), it is nonetheless a radically innovative work, where Bolzano presents a remarkably modern account of axiomatics and the epistemology of the formal sciences. (...) We also discuss the second, unfinished and unpublished issue, where Bolzano develops his views on universal mathematics. Here we find the beginnings of his theory of collections, for him the most fundamental of the mathematical disciplines. Though not exactly the same as the later Cantorian set theory, Bolzano's theory of collections was used in very similar ways in mathematics, notably in analysis. In retrospect, Bolzano's debut in philosophy was a remarkably successful one, though its fruits would only become generally known much later. (shrink)

This edition provides the first complete English translation of Bernard Bolzano's four-volume Wissenschaftslehre or Theory of Science, a masterwork of theoretical philosophy. First published in 1837, the Wissenschaftslehre is a monumental, wholly original study in logic, epistemology, heuristics, and scientific methodology. Unlike most logical studies of the period, it is not concerned with the "psychological self-consciousness of the thinking mind." Instead, it develops logic as the science of "propositions in themselves" and their parts, especially the relations between these entities. It (...) offers, for the first time in the history of logic, a viable definition of consequence, and a novel view of probability. Giving constant attention to Bolzano's predecessors and contemporaries, with particular emphasis on Kant, this richly documented work is also a valuable source for the history of logic and philosophy. (shrink)

Bernard Bolzano of Prague was one of the few thinkers of his time who combined real talent in mathematics and philosophy. He was especially drawn to the common ground between these fields, interested in questions of method and what would today be called foundations . Interestingly, he was neither a professional mathematician nor a professional philosopher. As a young man, he had decided that his first priority must be to work for the reform and improvement of society. This led him, (...) after much reflection, to become a priest and to occupy a newly-created chair in religious science at the Charles University in 1805. In this post, he was widely known as what would later be called a dissident, denouncing abuses of power and the ills that were the consequence of the still largely feudal institutions and attitudes of the Austrian Empire, and inspiring a generation of students to transform these institutions from within. While his activities brought him a large and committed following, they also gained him powerful enemies in Vienna and Rome, who eventually convinced the Emperor to remove him from his post in December of 1819. Amazingly, during these years of energetic public life, in which he suffered horribly from lung disease and a variety of other ailments, Bolzano remained quite active as a mathematician. As his notebooks attest, he read the latest mathematical literature voraciously and systematically.1 He also made a number of important discoveries, especially in the foundations of real analysis, and published four mathematical works between 1810 and 1817 [Bolzano, 1810; 1816; 1817a; 1817b].2 After his dismissal, he continued his work, pursuing his earlier inquiries with greater depth and precision, …. (shrink)

This paper is devoted to an examination of Bolzano’s notion of necessary existence, which has so far received relatively little attention in the literature. We situate Bolzano’s ideas in their historical context and show how he proposed to correct various flaws of his predecessors’ definitions. Further, we relate Bolzano’s conception to his metaphysical and theological assumptions, arguing that some consequences of his definition which have been deemed counterintuitive by some of his interpreters turn out to be more reasonable given the (...) broadly Leibnizian background of his metaphysics. Finally, we consider some difficulties that arise from Bolzano’s evolving views on freedom, which, at least in his early thought, was intimately linked with contingency. In an appendix, we discuss a recent debate on Bolzano’s notion of necessary truth between Textor and Rusnock that has some bearing on our overall line of interpretation of Bolzano’s notion of necessary existence. (shrink)

The impressive volume before us started out as an attempt to write “the history of epistemology since Kant, the way Carnap would have written it had he been Hegel.” Coffa began his project in 1981 while a fellow at the Center for Philosophy of Science in Pittsburgh and had finished a “good penultimate draft” when he suddenly died, after a brief illness, on 30 Dec., 1984. The title alludes to Edmund Wilson’s classic study of revolutionary ideology, To the Finland Station. (...) This is no accident and would be presumptuous in a lesser work. The two studies cover roughly the same period, from the late eighteenth century to the first part of the present one, and they are both sparkling narratives that boldly project a large picture and then fill it in with canny detail. Coffa begins with Kant, the villain of the piece, and ends with a group of thinkers “in the neighborhood of Vienna” who came to terms with the restrictive framework they had inherited from Kant, finally overcoming it in favor of a new philosophy in which meaning, rather than mind, played the central role. (shrink)

Bernard Bolzano , one of the leading figures of the Bohemian Enlightenment, made important contributions both to mathematics and philosophy which were virtually unknown in his lifetime and are still largely unacknowledged today. As a mathematician, he was a pioneer in the clarification and rigorization of mathematical analysis; as a philosopher, he may be considered a forerunner of the analytic movement later to emerge with Frege and Russell.Rusnock's account of Bolzano's work is laid out in five chapters and two (...) appendices. The introductory first chapter consists of an overview of Bolzano's philosophy and his account of scientific theories. For Bolzano, the importance of such theories—as in mathematics—is their formal structure. Unlike his philosophical predecessors, Bolzano held that the goal of scientific presentation is not to maximize certainty, but rather to set out the objective order of truth.Chapter 2 is an analysis of Bolzano's early work, Contributions to a Better Founded Presentation of Mathematics, in which a number of his characteristic doctrines concerning mathematics are adumbrated. In sharp contradistinction to Kant, Bolzano thought that the methodology of mathematics is logic, and that mathematics should be founded independently of epistemology. In the Contributions Bolzano formulates a ‘thoroughgoing refutation of Kant's account of mathematical knowledge’, repudiating in particular …. (shrink)

The Prague Philosopher Bernard Bolzano (1781-1848) has long been admired for his groundbreaking work in mathematics: his rigorous proofs of fundamental theorems in analysis, his construction of a continuous, nowhere-differentiable function, his investigations of the infinite, and his anticipations of Cantor's set theory. He made equally outstanding contributions in philosophy, most notably in logic and methodology. One of the greatest mathematician-philosophers since Leibniz, Bolzano is now widely recognised as a major figure of nineteenth-century philosophy. Praised by Husserl as “one of (...) the greatest logicians of all times,” he has also been recognised by Michael Dummett as one of the first modern analytic philosophers and by Alberto Coffa as the founder of the “semantic tradition.” This volume contains English translations of the essay “On the Mathematical Method,” a concise introduction to Bolzano’s logic and philosophy of mathematics, as well as substantial selections from his correspondence with Franz Exner, Professor of Philosophy at the Charles University in Prague in the 1830s and 40s. It will be of interest to students of Austrian philosophy, the development of analytic philosophy, the philosophy of language, and the history and philosophy of logic and mathematics. (shrink)

The hatchet and the seed -- A tree with deep roots -- The critical tools -- A field crystallizes -- Destruction of nature -- Construction of nature -- Degradation and marginalization -- Conservation and control -- Environmental conflict -- Environmental identity and social movement -- Where to now?

The fundamental task of philosophy since the seventeenth century has been to determine whether the essential principles of both knowledge and action can be discovered by human beings unaided by an external agency. No one philosopher contributed more to this enterprise than Kant, whose Critique of Pure Reason shook the very foundations of the intellectual world. Kant argued that the basic principles of the natural sciences are imposed on reality by human sensibility and understanding, and thus that human beings are (...) also free to impose their own free and rational agency on the world. This volume is the only systematic and comprehensive account of the full range of Kant 's writings available, and the first major overview of his work to be published in more than a dozen years. An internationally recognized team of Kant scholars explore Kant 's conceptual revolution in epistemology, metaphysics, philosophy of science, moral and political philosophy, aesthetics, and the philosophy of religion. The volume also traces the historical origins and consequences of Kant 's work. (shrink)

Noam Chomsky and Frances Egan argue that David Marr’s computational theory of vision is not intentional, claiming that the formal scientific theory does not include description of visual content. They also argue that the theory is internalist in the sense of not describing things physically external to the perceiver. They argue that these claims hold for computational theories of vision in general. Beyond theories of vision, they argue that representational content does not figure as a topic within formal computational theories (...) in cognitive science. I demonstrate that Chomsky’s and Egan’s claims about Marr’s theory are false. Marr’s computational theory contains a mathematical theory of visual content, based on empirical psychophysical evidence. It also contains mathematical descriptions of distal physical surfaces and objects, and of their optic projection to the perceiver. Much computational research on vision contains these types of intentional and externalist components within the formal, mathematical, theories. Chomsky’s and Egan’s claims demonstrate inadequate study and understanding of Marr’s work and other research in this area. Computational theories of vision, by containing empirically based mathematical theories of visual content, to this extent present naturalizations of semantics. (shrink)

This edition includes a new introduction by Peter J. Gomes that reflects on the impact of this book in the years since it was written.

We are witnessing increasing use of the Internet, particular social media, to criticize (perceived or actual) moral failings and misdemeanors. This phenomenon of so-called ‘online public shaming’ could provide a powerful tool for reinforcing valuable social norms. But it also threatens unwarranted and severe punishments meted out by online mobs. This paper analyses the dangers associated with the informal enforcement of norms, drawing on Locke, but also highlights its promise, drawing on recent discussions of social norms. We then consider two (...) crucial conditions that online public shaming must meet in order to be justifiable: proportionality and accountability. We argue that these requirements are in fact frequently violated, rendering most cases of online public shaming unjustified. While the use of online public shaming against others’ vices has some apparent virtues, it is currently rarely justified, given its own vices. (shrink)

The philosophical problem of mental causation concerns a clash between commonsense and scientific views about the causation of human behaviour. On the one hand, commonsense suggests that our actions are caused by our mental states—our thoughts, intentions, beliefs and so on. On the other hand, neuroscience assumes that all bodily movements are caused by neurochemical events. It is implausible to suppose that our actions are causally overdetermined in the same way that the ringing of a bell may be overdetermined by (...) two hammers striking it at the same time. So how are we to reconcile these two views about the causal origins of human behaviour? One philosophical doctrine effects a nice reconciliation. Neuralism, or the token-identity theory, states that every particular mental event is a neurophysiological event and that every action is a physically specifiable bodily movement. If these identities hold, there is no problem of causal overdetermination: the apparently different causal pathways to the behaviour are actually one and the same pathway viewed from different perspectives. This attractively simple view is enjoying a recent revival in fortunes. (shrink)

Reasons and reasoning were central to the work of Paul Grice, one of the most influential and admired philosophers of the late twentieth century. In the John Locke Lectures that Grice delivered in Oxford at the end of the 1970s, he set out his fundamental thoughts about these topics; Aspects of Reason is the long-awaited publication of those lectures. This immensely rich work, powerfully evocative of the mind of its author, will refresh and illuminate discussions in many areas of (...) contemporary philosophy. (shrink)

This is a collection in translation of essays by Paul Ricoeur which presents a comprehensive view of his philosophical hermeneutics, its relation to the views of his predecessors in the tradition and its consequences for the social sciences. The volume has three parts. The studies in the first part examine the history of hermeneutics, its central themes and the outstanding issues it has to confront. In Part II, Ricoeur's own current, constructive position is developed. A concept of the text (...) is formulated as the implications of the theory are pursued into the domains of sociology, psychoanalysis and history. Many of the essays appear here in English for the first time; the editor's introduction brings out their background in Ricoeur's thought and the continuity of his concerns. The volume will be of great importance for those interested in hermeneutics and Ricoeur's contribution to it, and will demonstrate how much his approach offers to a number of disciplines. (shrink)

The ethical issues raised by cybersecurity practices and technologies are of critical importance. However, there is disagreement about what is the best ethical framework for understanding those issues. In this paper we seek to address this shortcoming through the introduction of a principlist ethical framework for cybersecurity that builds on existing work in adjacent fields of applied ethics, bioethics, and AI ethics. By redeploying the AI4People framework, we develop a domain-relevant specification of five ethical principles in cybersecurity: beneficence, non-maleficence, autonomy, (...) justice, and explicability. We then illustrate the advantages of this principlist framework by examining the ethical issues raised by four common cybersecurity contexts: penetration testing, distributed denial of service attacks (DDoS), ransomware, and system administration. These case analyses demonstrate the utility of this principlist framework as a basis for understanding cybersecurity ethics and for cultivating the ethical expertise and ethical sensitivity of cybersecurity professionals and other stakeholders. (shrink)

In this chapter a new problem about rule-following is outlined, one that is distinct both from Kripke’s and Wright’s versions of the problem. This new problem cannot be correctly responsed to, as Kripke’s can, by invoking Wright’s Intentional Account of rule-following. The upshot might be called, following Kant, an antinomy of pure reason: we both must — and cannot — make sense of someone’s following a rule. The chapter explores various ways out of this antinomy without here endorsing any of (...) them. (shrink)

Foreword William Schweiker Paul Tillich, one of the great Protestant theologians of the twentieth century, addresses in Morality and Beyond a basic problem ...