The paper discusses Bernard Bolzano’s epistemological approach to believing and knowing with regard to the epistemic requirements of an axiomatic model of science. It relates Bolzano’s notions of believing, knowing and evaluation to notions of infallibility, immediacy and foundational truth. If axiomatic systems require their foundational truths to be infallibly known, this knowledge involves both evaluation of the infallibility of the asserted truth and evaluation of its being foundational. The twofold attempt to examine one’s assertions and to do so by (...) searching for the objective grounds of the truths asserted lies at the heart of Bolzano’s notion of knowledge. However, the explanatory task of searching for grounds requires methods that cannot warrant infallibility. Hence, its constitutive role in a conception of knowledge seems to imply the fallibility of such knowledge. I argue that the explanatory task contained in Bolzanian knowing involves a high degree of epistemic virtues, and that it is only through some salient virtue that the credit of infallibility can distinguish Bolzanian knowing from a high degree of Bolzanian believing. (shrink)

A response to critics, Douglas Patterson and Mark Textor, on Künne's modest theory of truth in *Conceptions of Truth*.

Lecture notes from Husserl's logic lectures published during the last 20 years offer a much better insight into his doctrine of the forms of meaning than does the fourth Logical Investigation or any other work published during Husserl's lifetime. This paper provides a detailed reconstruction, based on all the sources now available, of Husserl's system of logical grammar. After having explained the notion of meaning that Husserl assumes in his later logic lectures as well as the notion of form of (...) meaning as it features in ‘doctrine of the forms of meaning’, I present a system of rules that describes all the various forms of meaning that Husserl singles out in his lectures. (shrink)

This paper explores a novel notion of self-explanation that combines ideas from two sources: the tripartite account of explanation, according to which a proposition can help explain another either in the capacity of a reason why the latter obtains or in the capacity of an explanatory link, and the notion of an empty-base explanation, which generalizes the ideas of explanation by zero-grounding and explanation by status. After having introduced these ideas and the novel notion of self-explanation, I argue that the (...) latter has the potential to resist extant arguments against the possibility of self-explanation. In the remainder of the paper, I discuss candidates for such self-explanatory propositions and suggest possible applications for Humeanism about laws of nature, the debate on the grounds of ground, the rationalist tradition, and philosophical theology. (shrink)

This paper concentrates on some aspects of the history of the analyticsynthetic distinction from Kant to Bolzano and Frege. This history evinces considerable continuity but also some important discontinuities. The analytic-synthetic distinction has to be seen in the first place in relation to a science, i.e. an ordered system of cognition. Looking especially to the place and role of logic it will be argued that Kant, Bolzano and Frege each developed the analytic-synthetic distinction within the same conception of scientific rationality, (...) that is, within the Classical Model of Science: scientific knowledge as cognitio exprincipiis. But as we will see, the way the distinction between analytic and synthetic judgments or propositions functions within this model turns out to differ considerably between them. (shrink)

Prolegomena to Pure Logic (1900) is the definitive statement of Husserl’s early logic. But what does it say that logic is? I argue that Husserl in the Prolegomena thinks logic is its own discipline, namely the “doctrine of science” (Wissenschaftslehre), but has two conflicting ideas of what that is. One idea—expressed by the book’s general argument, and which I call Husserl’s Austrian Semanticism about logic—is that the Wissenschaftslehre is the positive science explaining what science is (which turns out just to (...) be the study of meaning) plus the dependent art that, applying the science, teaches us how to scientifically know. The other idea—expressed by the book’s opening chapter, and which I call Husserl’s German Idealism about logic—is that the Wissenschaftslehre is the purely reflective self-knowing of science, independent of science’s positive expansion. These two ideas are incompatible. Thus, the Prolegomena is ambivalent on what logic is. But since the ambivalence only deepens the significance of Husserl’s early logic, the ambivalence should be embraced. (shrink)

Logical semantics includes once again structured meanings in its repertoire. The leading idea is that semantic and syntactic structure are more or less isomorphic. A key motive for reintroducing sensitivity to semantic structure is to obtain fine‐grained meanings, which are individuated more finely than in possible‐world semantics, namely up to necessary equivalence. Just getting the truth‐conditions right is deemed insufficient for a full semantic analysis of sentences. This paper surveys some of the most recent contributions to the program of structured (...) meaning, while providing historical background. I suggest that to make substantial advances the program needs to solve the problem of propositional unity and develop an intensional mereology of abstract objects. (shrink)

In this article from 1928, translated here for the first time, Tanabe Hajime examines the concept of self-evidence, mainly in the light of Husserl and Brentano. The author starts out by establishing, through a preliminary analysis of the Cartesian cogito, two criteria for self-evidence, namely adequate fulfillment of the intention of Sosein, and the coextension of Dasein and Sosein (being-there, or existence, and being-such, or essence/properties). He then proceeds to consider four domains of knowledge through the prism of the question (...) of their claim to self-evidence: knowledge of mathematical objects, categorial intuition, the ontological proof for the existence of God and finally, outer perception. Dedicating the last paragraph to a critical assessment of Husserl’s account of perception, the author concludes that all self-evidence is founded on inner perception. Outlining a creative appropriation of phenomenology while elucidating the conditions for certainty, this text constitutes an important milestone in a period leading up to Tanabe’s break with Nishida as well as to his critique of Heidegger, thus laying the groundwork for his independent philosophical stance. (shrink)

It is widely recognized that Frege's systematic conception of science has a major impact on his work. I argue that central to this conception and its impact is Frege's Simplicity Requirement that a scientific system must have as few primitive truths as possible. Frege states this requirement often, justifies it in several ways, and appeals to it to motivate important aspects of his broader views. Acknowledging its central role illuminates several aspects of his work in new ways, including his treatment (...) of truth values, logical concepts, and the dependence relations that induce a ‘natural order’ of truths. (shrink)

Philosophers of mathematics commonly distinguish between explanatory and non-explanatory proofs. An important subclass of mathematical proofs are proofs by induction. Are they explanatory? This paper addresses the question, based on general principles about explanation. First, a recent argument for a negative answer is discussed and rebutted. Second, a case is made for a qualified positive take on the issue.

The view that mathematics deals with ideal objects to which we have epistemic access by a kind of perception has troubled many thinkers. Using ideas from Husserl’s phenomenology, I will take a different look at these matters. The upshot of this approach is that there are non-material objects and that they can be recognized in a process very closely related to sense perception. In fact, the perception of physical objects may be regarded as a special case of this more universal (...) way of recognizing objects of any kind. (shrink)

Frege’s account, according to which the problem of how thoughts are apprehended should be a part of psychology, has led scholars to the idea that every consideration regarding subjectivity is absent in this author. From the latter follows a certain way of conceiving the relation between Frege and Husserl which establishes an absolute chasm between both authors regarding the topic mentioned. In the present contribution an extremely different view is defended, namely, that Frege plays an intermediate role between 19th century (...) Platonism and husserlian phenomenology. The main focus of the argument is the commitment between naturalism and idealism which characterizes Platonism before Frege and the beginning of its overcoming carried out by him. (shrink)

In this paper I discuss Künne’s Modest Theory of truth, and develop a variation on a worry that Field expresses with respect to Horwich’s related view. The worry is not that deflationary accounts are false, but rather that, because they take propositions as truth-bearers, they are not philosophically interesting. Compatibly with the intuitions of ordinary speakers, we can understand proposition so that the proposals do account for a property that such truth-bearers have. Nevertheless, we saliently apply the truth-concept also to (...) entities such as utterances or assertions , and the de flationary accounts do not provide a similarly deflationary account for those applications. In fact, there are good reasons to suspect that no such account would be forthcoming; we need something more substantive or in flationary there. (shrink)

In this article, I shed some light on Meinong’s motivations for the theory of objects. I argue that one of its basic principles, the principle of indifference, is driven by an intuition common to many Austrian philosophers, which is that something must first be somehow pre-given in order to simply address the issue of its being or non-being. Meinong’s way of spelling out this intuition, I suggest, is to show that there are homeless objects, that is, objects that are not (...) dealt with by any of the existing sciences. Therefore, the indispensability of the theory of objects lies in the plausibility of the thesis that there are such homeless objects. I analyse and evaluate two Meinongian arguments supporting this thesis, I explain how Meinong came to believe that they support the indispensability of the theory of objects, and I stress some advantages of this account over Brentano’s intentionality thesis. (shrink)

Attempts to articulate the real meaning or ultimate significance of a famous theorem comprise a major vein of philosophical writing about mathematics. The subfield of mathematical logic has supplie...

This presentation aims to clarify the historical and theoretical background of the studies included in this issue of Philosophiques, which focus on the work of Husserl during the period of Halle . After a brief description of Husserl’s early years of apprenticeship in philosophy between 1876 and his studies with Brentano in Vienna, I identify several steps that marked the development of his philosophy from his arrival in Halle to the publication of the Logical Investigations : his studies under the (...) direction of C. Stumpf, the publication of the first volume of Philosophy of Arithmetic, the researches belonging to the project of the second volume of this work, the abandonment of this project and the development of the phenomenology of the Logical Investigations. The last part of this paper is an examination of the philosophical issues underlying the disputatio on D. W. Smith’s recent book on Husserl’s philosophy. (shrink)

This paper deals with two issues. First, it identifies structured propositions with logical procedures. Second, it considers various rigorous definitions of the granularity of procedures, hence also of structured propositions, and comes out in favour of one of them. As for the first point, structured propositions are explicated as algorithmically structured procedures. I show that these procedures are structured wholes that are assigned to expressions as their meanings, and their constituents are sub-procedures occurring in executed mode. Moreover, procedures are not (...) mere aggregates of their parts; rather, procedural constituents mutually interact. As for the second point, there is no universal criterion of the structural isomorphism of meanings, hence of co-hyperintensionality, hence of synonymy for every kind of language. The positive result I present is an ordered set of rigorously defined criteria of fine-grained individuation in terms of the structure of procedures. Hence procedural semantics provides a solution to the problem of the granularity of co-hyperintensionality. (shrink)

RÉSUMÉ: Dans cet article, j’entreprends de clarifier le projet (frégéen) d’une logique de l’arithmétique -- tel qu’il a été discuté par Natorp et Rickert -- en distinguant trois questions directrices. Le nombre est-il un objet logique? L’arithmétique est-elle réductible à la logique? Est-il possible de déduire les opérations arithmétiques de lois purement logiques? Ma thèse est que la distinction rigoureuse de ces trois questions permet de lever une grande partie des obscurités qui affectent en généralle programme d’une logique de l’arithmétique. (...) La contribution néo-kantienne à ce programme se trouve du même coup éclairée d’une lumière nouvelle.ABSTRACT: In this article, I try to shed light on the (Fregean) project of a logic of arithmelic-as discussed by Natorp and Rickert-by outlining three main questions. Is the number a logical object? Is arithmetic reducible to logic? Is it possible to deduce the arithmetical operations from purely logical laws? I argue that rigorous distinction between these three questions makes it possible to elucidate many problems affecting the program of a logic of arithmetic. The Neo-Kantian contribution to this program is at the same time considered in a new light. (shrink)

Throughout more than two millennia philosophers adhered massively to ideal standards of scientific rationality going back ultimately to Aristotle’s Analytica posteriora . These standards got progressively shaped by and adapted to new scientific needs and tendencies. Nevertheless, a core of conditions capturing the fundamentals of what a proper science should look like remained remarkably constant all along. Call this cluster of conditions the Classical Model of Science . In this paper we will do two things. First of all, we will (...) propose a general and systematized account of the Classical Model of Science. Secondly, we will offer an analysis of the philosophical significance of this model at different historical junctures by giving an overview of the connections it has had with a number of important topics. The latter include the analytic-synthetic distinction, the axiomatic method, the hierarchical order of sciences and the status of logic as a science. Our claim is that particularly fruitful insights are gained by seeing themes such as these against the background of the Classical Model of Science. In an appendix we deal with the historiographical background of this model by considering the systematizations of Aristotle’s theory of science offered by Heinrich Scholz, and in his footsteps by Evert W. Beth. (shrink)

This paper concentrates on some aspects of the history of the analytic-synthetic distinction from Kant to Bolzano and Frege. This history evinces considerable continuity but also some important discontinuities. The analytic-synthetic distinction has to be seen in the first place in relation to a science, i.e. an ordered system of cognition. Looking especially to the place and role of logic it will be argued that Kant, Bolzano and Frege each developed the analytic-synthetic distinction within the same conception of scientific rationality, (...) that is, within the Classical Model of Science: scientific knowledge as cognitio ex principiis . But as we will see, the way the distinction between analytic and synthetic judgments or propositions functions within this model turns out to differ considerably between them. (shrink)

In this paper I investigate the idea that in conceptual analysis we are in a substantial way concerned with revealing metaphysical grounds. I argue that a recent proposal fails, according to which we aim to reveal what complex concepts are grounded in. The notion ofcomposition, rather than that ofgrounding, is the best way to understand the intuitive hierarchy of concepts. In an analysis we reveal thecomponentsorpartsof complex concepts and their structure. Finally, I propose an alternative role for grounding in our (...) accounts of analysis: in analyses we reveal truths about the composition of concepts that serve as grounds for truths about theirfunctions, which are what we want to understand. (shrink)

In this paper I investigate the idea that in conceptual analysis we are in a substantial way concerned with revealing metaphysical grounds. I argue that a recent proposal fails, according to which we aim to reveal what complex concepts are grounded in. The notion ofcomposition, rather than that ofgrounding, is the best way to understand the intuitive hierarchy of concepts. In an analysis we reveal thecomponentsorpartsof complex concepts and their structure. Finally, I propose an alternative role for grounding in our (...) accounts of analysis: in analyses we reveal truths about the composition of concepts that serve as grounds for truths about theirfunctions, which are what we want to understand. (shrink)

Bernard Bolzano offers a criterion of individuation for ideas, according to which ideas are distinct if and only if they represent different objects or are composed differently. It fails to individuate ideas that are both simple and fail to represent, in particular syncategorematic ideas and logical constants. However, Bolzano also provides the means to close this gap. He suggests that we can distinguish ideas if they are not substitutable for each other in propositions, which we can, in turn, distinguish in (...) terms of their truth-values. This paper explicates this suggestion and develops it into an improved individuation criterion for ideas: ideas also are distinct if we cannot replace them for one another in propositions salva veritate. (shrink)

In his booklet "Contributions to a better founded presentation of mathematics" of 1810 Bernard Bolzano made his first serious attempt to explain the notion of a rigorous proof. Although the system of logic he employed at that stage is in various respects far below the level of the achievements in his later Wissenschaftslehre, there is a striking continuity between his earlier and later work as regards the methodological constraints on rigorous proofs. This paper tries to give a perspicuous and critical (...) account of the fragmentary logic of Beyträge, and it shows that there is a tension between that logic and Bolzano's methodological ban on ?kind crossing? (shrink)

This explorative article is organized around a set of questions concerning the concept of a function. First, a summary of certain general facts about functions that are a common coin in contemporary logic is given. Then Frege's attempt at clarifying the nature of functions in his famous paper Function and Concept and in his Grundgesetze is discussed along with some questions which Freges' approach gave rise to in the literature. Finally, some characteristic uses of functional notions to be found in (...) the work of Bernard Bolzano and in Edmund Husserl's early work are presented and elucidated. (shrink)

This paper analyzes and evaluates Bolzano's remarks on the apagogic method of proof with reference to his juvenile booklet "Contributions to a better founded presentation of mathematics" of 1810 and to his ?Theory of science? (1837). I shall try to defend the following contentions: (1) Bolzanos vain attempt to transform all indirect proofs into direct proofs becomes comprehensible as soon as one recognizes the following facts: (1.1) his attitude towards indirect proofs with an affirmative conclusion differs from his stance to (...) indirect proofs with a negative conclusion; (1.2) by Bolzano's lights arguments via consequentia mirabilis only seem to be indirect. (2) Bolzano does not deny that indirect proofs can be perfect certifications (Gewissmachungen) of their conclusion; what he denies is rather that they can provide grounds for their conclusions. (2.1) They cannot do the latter, since they start from false premises and (2.2) since they make an unnecessary detour. (3) The far-reaching agreement between his early and late assessment of apagogical proofs (in the Beyträge of 1810 and the Wissenschaftslehre of 1837) is partly due to the fact that he develops his own position always against the background of Wolff's and Lambert's views. (shrink)

This article introduces the first English translation of one of Tanabe’s early essays on metaphysics. It questions the relation of the universal to the particular in context of logic, phenomenology, Neo-Kantian epistemology, and classical metaphysics. Tanabe provides his reflections on the nature of the concept of universality and its constitutive relation to phenomenal particulars through critical analyses of the issue as it is discussed across various schools of philosophy including: British Empiricism, the Marburg School, the Austrian School, the Kyoto School, (...) and Platonism. In this essay, Tanabe reveals his ability to think metaphysically the ground for the possibility of reasoning and dares to voice his own thought beyond references to the most prominent thinkers of his time from distinct intellectual traditions in both the east and the west. This essay, therefore, demonstrates that his strong tendency to move beyond the received epistemology and phenomenology of the European intellectual tradition to metaphysics was already present in the early days of his academic life and thereby marks a more general contribution of the Kyoto School of Philosophy to distinct European schools of thought in the early twentieth century. (shrink)

In Section 1, the author argues that Bolzano does not have a Meinongian view of merely possible objects, not even in the context of his theory of intentionality. In section 2, it is argued that Williamson’s necessitist conception, according to which there is a merely possible golden mountain, was not anticipated by Bolzano. An eternalist reconstruction is rejected as well. The argument takes recourse to Bolzano’s semantics of temporal statements, which also underlies his argument for the eternity of substances and (...) makes it plausible to assume that Bolzano had a perdurantist view, according to which there are merely possible objects just in case there are actual objects whose generation is to be metaphysically explained, in terms of grounding, by recourse to a merely possible object’s being replaced by an actual object. Furthermore, it is argued that merely possible objects à la Bolzano are not substances, in his narrow sense of the term, and that his case for such objects in connection with his view of generation is less than convincing. However, section 3 argues that Bolzano’s conception combines with his view of substance to yield an interesting perdurantist conception of personal identity. (shrink)

Twardowski'sOn the Content and Object of Presentations(1894) is one of the most influential works that Austrian philosophy has left to posterity. The manuscriptLogik(1894–1895) supplements that work and allows us to reconstruct Twardowski's theory of judgement. These texts raise several issues, in particular whether Twardowski accepts propositions and states of affairs in his theory of judgement and whether his theory is acceptable. This article presents Twardowski's theory, shows that he accepts states of affairs, that he has a notion of proposition, and (...) that his theory is interesting and sophisticated. (shrink)

Bernard Bolzano (1781–1848) is commonly thought to have attempted to develop a theory of size for infinite collections that follows the so-called part–whole principle, according to which the whole is always greater than any of its proper parts. In this paper, we develop a novel interpretation of Bolzano’s mature theory of the infinite and show that, contrary to mainstream interpretations, it is best understood as a theory of infinite sums. Our formal results show that Bolzano’s infinite sums can be equipped (...) with the rich and original structure of a non-commutative ordered ring, and that Bolzano’s views on the mathematical infinite are, after all, consistent. (shrink)

This volume will be of particular interest to researchers working in the history, and in the philosophy, of logic and mathematics, and more generally, to ...

Inference versus consequence , an invited lecture at the LOGICA 1997 conference at Castle Liblice, was part of a series of articles for which I did research during a Stockholm sabbatical in the autumn of 1995. The article seems to have been fairly effective in getting its point across and addresses a topic highly germane to the Uppsala workshop. Owing to its appearance in the LOGICA Yearbook 1997 , Filosofia Publishers, Prague, 1998, it has been rather inaccessible. Accordingly it is (...) republished here with only bibliographical changes and an afterword. (shrink)

That uses of language not only can, but even normally do, have the character of actions was a fact largely unrealised by those engaged in the study of language before the present century, at least in the sense that there was lacking any attempt to come to terms systematically with the action-theoretic peculiarities of language use. Where the action-character of linguistic phenomena was acknowledged, it was normally regarded as a peripheral matter, relating to derivative or nonstandard aspects of language which (...) could afford to be ignored. (shrink)

As it is presently employed, grounding permits grounding many things from one ground. In this paper, I show why this is a mistake by pushing for a uniqueness principle on grounding. After arguing in favor of this principle, I say something about it and kinds of grounding, discuss a similar principle, and consider its import on a formal feature of grounding, ontology, and ontological simplicity.

Logicism is the view that mathematical truths are logical truths. But a logical truth is commonly thought to be one with a universally valid form. The form of “7 > 5” would appear to be the same as “4 > 6”. Yet one is a mathematical truth, and the other not a truth at all. To preserve logicism, we must maintain that the two either are different subforms of the same generic form, or that their forms are not at all (...) what they appear. The historical record shows that Russell pursued both these options, but that the struggle with the logical paradoxes pushed him away from the first kind of response and toward the second. An object cannot itself have a kind of inner logical complexity that makes a proposition have a different logical form merely in virtue of being about it, nor can their representatives in logical forms be single things different for different forms, at least not without postulating too many such objects and thereby creating Cantorian diagonal paradoxes. There are only apparent objects which are actually fragments of logical forms, different in different cases. (shrink)

The majority of the papers in the present volume were presented at, or prepared in conjunction with, meetings of the Seminar for Austro-German Philosophy, a group of philosophers interested in the work of Brentano and Husserl and of the...

A number of logicians and philosophers have turned their attention in recent years to the problem of developing a logic of interrogatives. Their work has thrown a great deal of light on the formal properties of questions and question-sentences and has led also to interesting innovations in our understanding of the structures of performatives in general and, for example, in the theory of presuppositions. When, however, we examine the attempts of logicians such as Belnap or Åqvist to specify what, precisely, (...) a question is, or what it is to ask or raise a question, then what we are offered is somewhat less illuminating. Two alternative reductionist accounts seem in particular to have gained most favor: questions are identified either as special sorts of statements, or as special sorts of requests. As we hope will become clear in what follows, neither of these accounts is even nearly adequate; and matters are not improved if questions are identified, by force majeure, as combinations of statements and requests. (shrink)

Both through his own work and that of his students, Franz Clemens Brentano had an often underappreciated influence on the course of 20 th - and 21 st -century philosophy. _The Routledge Handbook of Franz Brentano and the Brentano School_ offers full coverage of Brentano’s philosophy and his influence. It contains 38 brand-new essays from an international team of experts that offer a comprehensive view of Brentano’s central research areas—philosophy of mind, metaphysics, and value theory—as well as of the principal (...) figures shaped by Brentano’s school of thought. A General Introduction serves as an overview of Brentano and the contents of the volume and three separate bibliographies point students and researchers on to further avenues of inquiry. Systematic and detailed, _The Routledge Handbook of Franz Brentano and the Brentano School_ provides readers with a valuable reference to Brentano’s work, and to his lasting importance in the history of philosophy and in contemporary debates. (shrink)

I present an argument for an interpretation ofKant's views on the nature of the ‘content [Inhalt]’ of ‘cognition [Erkenntnis]’. In contrast to one of the longest standing interpretations ofKant's views on cognitive content, which ascribes toKant a straightforwardly psychologistic understanding of content, and in contrast as well to the more recently influential reading ofKant put forward byMcDowell and others, according to whichKant embraces a version ofRussellianism, I argue thatKant's views on this topic are of a much moreFregean bent than has (...) traditionally been admitted or appreciated. I conclude by providing a sketch of how a better grasp ofKant's views on cognitive content in general can help bring into sharper relief what is, and what is not, at stake in the recent debates over whether Kant accepts a particular kind of cognitive content—namely, non‐conceptual content. (shrink)

This open access book is a superb collection of some fifteen chapters inspired by Schroeder-Heister's groundbreaking work, written by leading experts in the field, plus an extensive autobiography and comments on the various contributions by Schroeder-Heister himself. For several decades, Peter Schroeder-Heister has been a central figure in proof-theoretic semantics, a field of study situated at the interface of logic, theoretical computer science, natural-language semantics, and the philosophy of language. -/- The chapters of which this book is composed discuss the (...) subject from a rich variety of angles, including the history of logic, the proper interpretation of logical validity, natural deduction rules, the notions of harmony and of synonymy, the structure of proofs, the logical status of equality, intentional phenomena, and the proof theory of second-order arithmetic. All chapters relate directly to questions that have driven Schroeder-Heister's own research agenda and to which he has made seminal contributions. The extensive autobiographical chapter not only provides a fascinating overview of Schroeder-Heister's career and the evolution of his academic interests but also constitutes a contribution to the recent history of logic in its own right, painting an intriguing picture of the philosophical, logical, and mathematical institutional landscape in Germany and elsewhere since the early 1970s. The papers collected in this book are illuminatingly put into a unified perspective by Schroeder-Heister's comments at the end of the book. Both graduate students and established researchers in the field will find this book an excellent resource for future work in proof-theoretic semantics and related areas. (shrink)

Modal metaphysics consumed much of the philosophical discussion at the turn of the century, yielding a number of epistemological insights. Modal analyses were applied within epistemology, yielding sensitivity and safety theories of knowledge as well as counterfactual accounts of the basing relation. The contemporary conversation has now turned to a new metaphysical notion – grounding – opening the way to a fresh wave of insights by bringing grounding into epistemology. In this paper, I attempt one such application, making sense of (...) the epistemic regress problem in terms of grounding. I argue that the relation that generates the epistemic regress is a grounding relation, showing that grounding can make sense of proposals by epistemic foundationalists and charting the course for similar applications to epistemic coherentism and epistemic infinitism. If it is right that grounding is involved in the epistemic regress, this points the way forward both for epistemologists and metaphysicians, revealing the prospects of solutions to the epistemic regress problem while providing grounding advocates with yet another example of grounding with which to theorize. (shrink)

A running commentary is offered on the first half of Frege’s Grundlagen der Arithmetik, §17, and suggests that Frege anticipated the method of demonstration used by Paul Bernays for the Deduction Theorem.