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)

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.

Paul Thom's book presents Kilwardby's science of logic as a body of demonstrative knowledge about inferences and their validity, about the semantics of non-modal and modal propositions, and about the logic of genus and species. This science is thoroughly intensional. It grounds the logic of inference on "that in virtue of which" the inference holds. It bases the truth conditions of propositions on relations between conceptual entities. It explains the logic of genus and species through the notion of essence. (...) Thom interprets this science as a formal logic of intensions with its own proof theory and semantics. This comprehensive reconstruction of Kilwardby's logic shows the medieval master to be one of the most interesting logicians of the thirteenth century. (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)

De milieuproblematiek staat pas sinds kort op de agenda als een fenomeen dat de mensheid bedreigt. Toch blijkt het negentiende-eeuwse gedachtegoed van Karl Marx verrassende inzichten te bieden om deze actuele problemen te duiden. Marx laat zien dat het menselijk ingrijpen in de natuur leidt tot zelfvervreemding: de mens ondermijnt zijn bestaan als een wezen dat zelf deel uitmaakt van de natuur. Deze zelfvervreemding cumuleert in de kapitalistische samenleving. Marx lezend zien we dat de milieuproblematiek geen historische vergissing is, maar (...) fundamenteel samenhangt met de mens als redelijk wezen. Onze beheersingsrede heeft geleid tot de vervreemding van de natuur. Toch geeft dezelfde rede die de mens de vrijheid biedt zich boven het ecologische evenwicht te verheffen, hem de mogelijkheid zich te verzoenen met de natuur. Marx verwijst naar dit dubbele gezicht van de rede als hij stelt dat het 'rijk van de vrijheid' in de schoot van het kapitalisme wordt geboren. In dit boek onderzoekt Paul Cobben welke aanzetten de huidige samenleving biedt om vorm te geven aan de verzoening met de natuur. Paul Cobben is emeritus hoogleraar geschiedenis van de moderne filosofie aan Tilburg University. Momenteel is hij gastonderzoeker aan de Vrije Universiteit Amsterdam en redacteur van de serie 'Critical Studies in German Idealism'. Van zijn hand verscheen o.a. 'Value in Capitalist Society. Rethinking Marx's Criticism of Capitalism' (2015)."-- Publisher information. (shrink)

The Renaissance was a period of great intellectual change and innovation as philosophers rediscovered the philosophy of classical antiquity and passed it on to the modern age. Renaissance philosophy is distinct both from the medieval scholasticism, based on revelation and authority, and from philosophers of the seventeenth and eighteenth centuries who transformed it into new philosophical systems. Despite the importance of the Renaissance to the development of philosophy over time, it has remained largely understudied by historians of philosophy and professional (...) philosophers. This anthology aims to correct this by providing scholars and students of philosophy with representative translations of the most important philosophers of the Renaissance. Its purpose is to help readers appreciate philosophy in the Renaissance and its importance in the history of philosophy. The anthology includes translations from philosophers from the thirteenth to the seventeenth centuries, and it ranges from works on moral and political philosophy, to metaphysics, epistemology, and natural philosophy, thereby providing historians and students of philosophy with a sense for the nature, breadth, and complexity of philosophy in the Renaissance. Each translation is accompanied by an introduction by a historian of Renaissance philosophy, as well as select secondary sources, in order to encourage further study. (shrink)

Paul Helm investigates what religious faith is and what makes it reasonable.

Logic brings elementary logic out of the academic darkness into the light of day. Paul Tomassi makes logic fully accessible for anyone trying to come to grips with the complexities of this challenging subject. This book is written in a patient and user-friendly way which makes both the nature and value of formal logic crystal clear. This textbook proceeds from a frank, informal introduction to fundamental logical notions to a system of formal logic rooted in the best of our (...) natural deductive reasoning in daily life. The book includes plenty of exercise to put the students' reading to test, summay boxes of key points, a glossary and many illustrations. This book will be useful to any student who needs a patient and comprehensible introduction to what otherwise can be a daunting subject. (shrink)

We sometimes strive to achieve difficult goals when our evidence suggests that success is unlikely – not just because it will require strength of will, but because we are targets of prejudice and discrimination or because success will require unusual ability. Optimism about one’s prospects can be useful for persevering in these cases. That said, excessive optimism can be dangerous; when our evidence is unfavourable, we should be at most agnostic about whether we will succeed. This paper explores the nature (...) and rational significance of agnostic practical commitments. Most importantly, the rationality of striving against the odds can depend on investing in a plan for failure: a plan B. I aim to make headway on an account of what backup plans are, how they are related to primary plans, and whether the standard norms of plan rationality apply to our agnostic commitments. (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 relationship between abstract formal procedures and the activities of actual physical systems has proved to be surprisingly subtle and controversial, and there are a number of competing accounts of when a physical system can be properly said to implement a mathematical formalism and hence perform a computation. I defend an account wherein computational descriptions of physical systems are high-level normative interpretations motivated by our pragmatic concerns. Furthermore, the criteria of utility and success vary according to our diverse purposes and (...) pragmatic goals. Hence there is no independent or uniform fact to the matter, and I advance the ‘anti-realist’ conclusion that computational descriptions of physical systems are not founded upon deep ontological distinctions, but rather upon interest-relative human conventions. Hence physical computation is a ‘conventional’ rather than a ‘natural’ kind. (shrink)

The Oxford Handbook of Epistemology contains 19 previously unpublished chapters by today's leading figures in the field. These chapters function not only as a survey of key areas, but as original scholarship on a range of vital topics. Written accessibly for advanced undergraduates, graduate students, and professional philosophers, the Handbook explains the main ideas and problems of contemporary epistemology while avoiding overly technical detail.

Many of our most important goals require months or even years of effort to achieve, and some never get achieved at all. As social psychologists have lately emphasized, success in pursuing such goals requires the capacity for perseverance, or "grit." Philosophers have had little to say about grit, however, insofar as it differs from more familiar notions of willpower or continence. This leaves us ill-equipped to assess the social and moral implications of promoting grit. We propose that grit has an (...) important epistemic component, in that failures of perseverance are often caused by a significant loss of confidence that one will succeed if one continues to try. Correspondingly, successful exercises of grit often involve a kind of epistemic resilience in the face of failure, injury, rejection, and other setbacks that constitute genuine evidence that success is not forthcoming. Given this, we discuss whether and to what extent displays of grit can be epistemically as well as practically rational. We conclude that they can be (although many are not), and that the rationality of grit will depend partly on features of the context the agent normally finds herself in. In particular, grit-friendly norms of deliberation might be irrational to use in contexts of severe material scarcity or oppression. (shrink)