The aim of this editorial introduction is twofold. First, Sects. 1–8 offer a critical introduction to the metaphysical character of physicalism. In those sections, I present and evaluate different ways in which proponents of physicalism have made explicit the metaphysical dependence that is said to hold between the non-physical and the physical. Some of these accounts are found to be problematic; others are shown to be somewhat more promising. In the end, some important lessons are drawn and different options for (...) physicalists are presented. Second, in Sect.9, the six papers that comprise the special issue are introduced and summarized. (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 is a teaching and learning guide to accompany "Explanation in Mathematics: Proofs and Practice".

Mathematicians distinguish between proofs that explain their results and those that merely prove. This paper explores the nature of explanatory proofs, their role in mathematical practice, and some of the reasons why philosophers should care about them. Among the questions addressed are the following: what kinds of proofs are generally explanatory (or not)? What makes a proof explanatory? Do all mathematical explanations involve proof in an essential way? Are there really such things as explanatory proofs, and if so, how do (...) they relate to the sorts of explanation encountered in philosophy of science and metaphysics? (shrink)

There is currently an explosion of interest in grounding. In this article we provide an overview of the debate so far. We begin by introducing the concept of grounding, before discussing several kinds of scepticism about the topic. We then identify a range of central questions in the theory of grounding and discuss competing answers to them that have emerged in the debate. We close by raising some questions that have been relatively neglected but which warrant further attention.

A variety of projects in proof theory of relevance to the philosophy of mathematics are surveyed, including Gödel's incompleteness theorems, conservation results, independence results, ordinal analysis, predicativity, reverse mathematics, speed-up results, and provability logics.

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.

This paper studies the notions of conceptual grounding and conceptual explanation (which includes the notion of mathematical explanation), with an aim of clarifying the links between them. On the one hand, it analyses complex examples of these two notions that bring to the fore features that are easily overlooked otherwise. On the other hand, it provides a formal framework for modeling both conceptual grounding and conceptual explanation, based on the concept of proof. Inspiration and analogies are drawn with the recent (...) research in metaphysics on the pair metaphysical grounding–metaphysical explanation, and especially with the literature in philosophy of science on the pair causality-causal explanation. (shrink)

This paper studies the notions of conceptual grounding and conceptual explanation (which includes the notion of mathematical explanation), with an aim of clarifying the links between them. On the one hand, it analyses complex examples of these two notions that bring to the fore features that are easily overlooked otherwise. On the other hand, it provides a formal framework for modeling both conceptual grounding and conceptual explanation, based on the concept of proof. Inspiration and analogies are drawn with the recent (...) research in metaphysics on the pair metaphysical grounding–metaphysical explanation, and especially with the literature in philosophy of science on the pair causality-causal explanation. (shrink)

Though the divide between reason-based and causal-explanatory approaches in psychiatry and psychopathology is old and deeply rooted, current trends involving multi-factorial explanatory models and evidence-based approaches to interpersonal psychotherapy, show that it has already been implicitly bridged. These trends require a philosophical reconsideration of how reasons can be causes. This paper contributes to that trajectory by arguing that Donald Davidson’s classic paradigm of 1963 is still a valid option.

The paper focusses on two claims about metaphysical structure: Atomism and Fundamentalism. The first of these claims says that there are mereological atoms, i.e. minimal elements in the mereological structure of reality. The second says that there are fundamental truths, i.e. minimal elements in the grounding structure of reality. A philosopher who defended both of these claims was Bernard Bolzano; the present paper is an exploration of his views on the matter.

It is sometimes mentioned that Bernard Bolzano’s work on grounding anticipates many insights of the current debate on metaphysical grounding. The present paper discusses a certain part of Bolzano’s theory of grounding that has thus far not been discussed in the literature. This part does not so much anticipate what are nowadays common assumptions about grounding, but rather goes beyond them. Central to the discussion will be a thesis of Bolzano’s by which he tries to establish a connection between grounding (...) and unification. The paper spells out this thesis in detail and discusses the assumptions on which it rests. Next to this mainly historical aim, the paper also presents reasons why philosophers who are not interested in the historical Bolzano should find the thesis interesting by relating it to a certain view on unification and explanation that has been put forward by Kim. A final part of the paper provides a critical evaluation of the thesis against the background of current accounts of grounding. (shrink)

In the 18th and 19th centuries two transitions took place in the development of mathematical analysis: a shift from the geometric approach to the formula-centered approach, followed by a shift from the formula-centered approach to the concept-centered approach. We identify, on the basis of Bolzano's Purely Analytic Proof [Bolzano 1817], the ways in which Bolzano's approach can be said to be concept-centered. Moreover, we conclude that Bolzano's attitude towards the geometric approach on the one hand and the formula-centered approach on (...) the other were of a different nature; the for­mer being one of rejection, the latter of non-participation. Bolzano supports his concept-centered methodology by philosophical views, which were partially shared by mathematicians with a formula-centered approach to analysis. (shrink)

In Poggiolesi we have introduced a rigorous definition of the notion of complete and immediate formal grounding; in the present paper our aim is to construct a logic for the notion of complete and immediate formal grounding based on that definition. Our logic will have the form of a calculus of natural deduction, will be proved to be sound and complete and will allow us to have fine-grained grounding principles.

In recent years, metaphysics has undergone what some describe as a revolution: it has become standard to understand a vast array of questions as questions about grounding, a metaphysical notion of determination. Why should we believe in grounding, though? Supporters of the revolution often gesture at what I call the Argument from Explanatoriness: the notion of grounding is somehow indispensable to a metaphysical type of explanation. I challenge this argument and along the way develop a “reactionary” view, according to which (...) there is no interesting sense in which the notion of grounding is explanatorily indispensable. I begin with a distinction between two conceptions of grounding, a distinction which extant critiques of the revolution have usually failed to take into consideration: grounding qua that which underlies metaphysical explanation and grounding qua metaphysical explanation itself. Accordingly, I distinguish between two versions of the Argument from Explanatoriness: the Unexplained Explanations Version for the first conception of grounding, and the Expressive Power Version for the second. The paper’s conclusion is that no version of the Argument from Explanatoriness is successful. (shrink)

This paper presents evidence that ‘because’ is importantly ambiguous between two closely related senses covering what are usually called causal explanations, on the one hand, and grounding or metaphysical explanations, on the other hand. To this end, it introduces the lexical categories of monosemy, polysemy and homonymy; describes a test for polysemy; and discusses the results of the test when applied to ‘because’. It also shows how to understand so-called hybrid explanations in light of the semantic facts established by the (...) analysis. (shrink)

This paper is aimed at understanding one central aspect of Bolzano's views on deductive knowledge: what it means for a proposition and for a term to be known a priori. I argue that, for Bolzano, a priori knowledge is knowledge by virtue of meaning and that Bolzano has substantial views about meaning and what it is to know the latter. In particular, Bolzano believes that meaning is determined by implicit definition, i.e. the fundamental propositions in a deductive system. I go (...) into some detail in presenting and discussing Bolzano's views on grounding, a priori knowledge and implicit definition. I explain why other aspects of Bolzano's theory and, in particular, his peculiar understanding of analyticity and the related notion of Ableitbarkeit might, as it has invariably in the past, mislead one to believe that Bolzano lacks a significant account oï a priori knowledge. Throughout the paper, I point out to the ways in which, in this respect, Bolzano's antagonistic relationship to Kant directly shaped his own views. (shrink)

The aim of this paper is to provide a definition of the the notion of complete and immediate formal grounding through the concepts of derivability and complexity. It will be shown that this definition yields a subtle and precise analysis of the concept of grounding in several paradigmatic cases.

This essay focuses on a recently prominent notion of ground which is distinctive for how it links metaphysics to explanation. Ground is supposed to serve both as the common factor in diverse in virtue of questions as well as the structuring relation in the project of explaining how some phenomena are “built” from more fundamental phenomena. My aim is to provide an opinionated synopsis of this notion of ground without engaging with others. Ground, so understood, generally resists illumination by appeal (...) to more familiar models of explanation. Nevertheless, its distinctive explanatory and metaphysical aspects guide us on characterizing its explanatory logic and its metaphysical features. Some issues concerning the meta-question of what grounds ground are explored, as well as some recent skeptical challenges to ground. (shrink)

The phrase ‘in virtue of’ is a mainstay of metaphysical discourse. In recent years, many philosophers have argued that we should understand this phrase, as metaphysicians use it, in terms of a concept of metaphysical dependence called ‘grounding’.This dissertation explores a range of central issues in the theory of grounding. Chapter 1 introduces the intuitive concept of grounding and discusses some compulsory questions in the theory of grounding. Chapter 2 focusses on scepticism on grounding, according to which the recent philosophical (...) interest in the topic is misguided. In chapter 3 I discuss grounding’s explanatory roles. Chapter 4 focusses on the claim that if an entity is grounded then it is an ontological free lunch. Chapter 5 discusses and rejects the claim that groundingis a relation between facts. This conclusion raises a problem: if grounding is not a relation between facts it becomes difficult to specify the connections between grounding and explanation and grounding and necessity. But not only is it desirable to specify these relations, it is essential for establishing that grounding is able to play the explanatory roles that are discussed in chapter 3. Chapter 6 responds to this problem by outlining an approach to grounding based on David Lewis’s (2003) theory of truthmaking. Against this backdrop I discuss, in chapter 7, some issues in the logic of grounding. (shrink)

In this paper, I provide a thorough discussion and reconstruction of Bernard Bolzano’s theory of grounding and a detailed investigation into the parallels between his concept of grounding and current notions of normal proofs. Grounding (Abfolge) is an objective ground-consequence relation among true propositions that is explanatory in nature. The grounding relation plays a crucial role in Bolzano’s proof-theory, and it is essential for his views on the ideal buildup of scientific theories. Occasionally, similarities have been pointed out between Bolzano’s (...) ideas on grounding and cut-free proofs in Gentzen’s sequent calculus. My thesis is, however, that they bear an even stronger resemblance to the normal natural deduction proofs employed in proof-theoretic semantics in the tradition of Dummett and Prawitz. (shrink)

In spite of its significance for everyday and philosophical discourse, the explanatory connective has not received much treatment in the philosophy of logic. The present paper develops a logic for based on systematic connections between and the truth-functional connectives.

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

The essay is a partial investigation into the semantics of the explanatory connective ‘because’. After three independently plausible assumptions about ‘because’ are presented in some detail, it is shown how their interaction generates a puzzle about ‘because’, once they are combined with a common view on conceptual analysis. Four possible solutions to the puzzle are considered.

It is shown that the standard definitions of truth-functionality, though useful for their purposes, ignore some aspects of the usual informal characterisations of truth-functionality. An alternative definition is given that results in a stronger notion which pays attention to those aspects.

The article is primarily concerned with the notion of a truth-maker. An explication for this notion is offered, which relates it to other notions of making something such-and-such. In particular, it is shown that the notion of a truth-maker is a close relative of a concept employed by van Inwagen in the formulation of his Consequence Argument. This circumstance helps understanding the general mechanisms of the concepts involved. Thus, a schematic explication of a whole battery of related notions is offered. (...) It is based on an explanatory notion, introduced by the sentential connector “because”, whose function is examined in some detail. Finally, on the basis of the explication proposed, an argument is developed to the effect that the objects usually regarded as truth-makers are not apt to play this role. (shrink)

In my paper I am concerned with Peter van Inwagen's Consequence Argument. I focus on its probably best known version. In this form it crucially employs the notion of rendering a proposition false, anotion that has never been made sufficiently clear. The main aim of my paper is to shed light on thisnotion. The explications offered so far in thedebate all are based on modal concepts. Iargue that for sufficient results a ``stronger'', hyper-intensional concept is needed, namely the concept expressed (...) by the word ``because''. I show that my analysis is superior to the prior ones. On the basis of this analysis I further explain why van Inwagen''s argument fails. (shrink)

This compelling reevaluation of the relationship between logic and knowledge affirms the key role that the notion of judgement must play in such a review. The commentary repatriates the concept of judgement in the discussion, banished in recent times by the logical positivism of Wittgenstein, Hilbert and Schlick, and the Platonism of Bolzano. The volume commences with the insights of Swedish philosopher Per Martin-Löf, the father of constructive type theory, for whom logic is a demonstrative science in which judgement is (...) a settled feature of the landscape. His paper opens the first of four sections that examine, in turn, historical philosophical assessments of judgement and reason; their place in early modern philosophy; the notion of judgement and logical theory in Wolff, Kant and Neo-Kantians like Windelband; their development in the Husserlian phenomenological paradigm; and the work of Bolzano, Russell and Frege. The papers, whose authors include Per Martin-Löf, Göran Sundholm, Michael Della Rocca and Robin Rollinger, represent a finely judged editorial selection highlighting work on philosophers exercised by the question of whether or not an epistemic notion of judgement has a role to play in logic. The volume will be of profound interest to students and academicians for its application of historical developments in philosophy to the solution of vexatious contemporary issues in the foundation of logic. ​. (shrink)

This dissertation investigates grounding, the relation of non-causal determination whereby one fact obtains in virtue of some other fact or facts. Although considerations of grounding have been central throughout Western philosophy, the last 15-20 years have seen a renaissance of systematic work on grounding in analytic philosophy. The aim of the dissertation is to contribute to our understanding of the nature of grounding and its relation to other central phenomena in metaphysics. -/- Chapter 1 of the dissertation provides a brief (...) presentation of grounding and introduces some distinctions of relevance to later chapters. Chapter 2 discusses the question of whether grounding can be reduced. Four reductive accounts – in terms of fundamentality and supervenience, essence, reduction, and metaphysical laws respectively – are considered. All of these accounts are found to be subject to objections and are consequently rejected. -/- Chapter 3 considers the relation between grounding and another important phenomenon in metaphysics, namely ontological dependence. The question of the relation between the two is approached through an investigation of their modal connection (or lack thereof). It is argued that on the common assumption that grounding is a factive relation, ontological dependence can be shown to be neither necessary nor sufficient for grounding. Furthermore, to get any form of modal connection between the two relations, one needs to move to a non-factive conception of grounding or consider generic ontological dependence and accept a potentially controversial principle about the modal behaviour of grounding. Even then, the modal connection between grounding and ontological dependence is weak and subject to qualifications. -/- Chapter 4 develops and defends the novel notion of metaphysically opaque grounding. It is commonly assumed that grounding is an especially intimate and powerful connection and enables a form of explanation that is particularly strict and illuminating. An arguably related idea is that grounding is necessarily connected with the core features of things – their essences or natures. Metaphysically opaque grounding constitutes a form of grounding that falsifies both of these ideas. Chapter 4 makes the notion of metaphysically opaque grounding precise, motivates the idea that there are genuine cases of such grounding, explores its consequences for the theory of grounding, and defends the notion from potential objections, concluding that there are currently no strong reasons to rule out opaque grounding. (shrink)

Modern formal logic, which is based on Kant’s logical project, interprets logical consequence as formal, which leads to substantive paradoxes that combine any thoughts at all and so to the loss of consequence as such. Beginning with A. Tarski, modern history of logic brings the problem of logical consequence into the realmof search for the relation of consequence, or grounding. In his doctoral dissertation on the nature of logical formality J. MacFarlane claims that the paradoxes of formal theories of logical (...) consequence stem from the loss of grounding by the transcendental system of logic in the post­Kantian logical tradition. Arguably, analysis of logical terminology of consequence in Kant’s seminal works — Critique of Pure Reason, Critique of the Power of Judgment — in comparison with the terminology of earlier works, Prolegomena and lectures on logic attributed to him will clarify the question of the relation oflogical consequence in the formal and non­formal sense. The key concept of consequence in Kant’s terminology is Folgerung, which denotes ‘following’ in logical and non­logical contexts. I have also analysed related concepts: Folge, Abfolge, folglich etc., established dif- ferences between logical terms with similar meaning ‘inference’ (Schluss) and ‘conclusion’ (Konklusion). Finally, I make an attempt to formulate the problem of logical consequence in formal logic through the logical terms Schlussfolge, Folgerung and Konsequenz. On the strength of my analysis I propose to consider Kant’s consequence (Folgerung) to be a concept of transcendental logic that reflects the relation of consequence and grounds formal consequence. (shrink)

After sketching an argument for radical anti-realism that does not appeal to human limitations but polynomial-time computability in its definition of feasibility, I revisit an argument by Wittgenstein on the surveyability of proofs, and then examine the consequences of its application to the notion of canonical proof in contemporary proof-theoretical-semantics.

Bolzano incorporated Kant's distinction between intuitions and concepts into the doctrine of propositions by distinguishing between conceptual (Begriffssätze an sich) and intuitive propositions (Anschauungssätze an sich). An intuitive proposition contains at least one objective intuition, that is, a simple idea that represents exactly one object; a conceptual proposition contains no objective intuition. After Bolzano, philosophers dispensed with the distinction between conceptual and intuitive propositions. So why did Bolzano attach philosophical importance to it? I will argue that, ultimately, the value of (...) the distinction lies in the fact that conceptual and intuitive truths have different objective grounds: if a conceptual truth is grounded at all, its ground is a conceptual truth. The difference in grounds between conceptual and intuitive truths motivates Bolzano's criticism of Kant's view that intuition plays the fundamental role in mathematics, a conceptual science by Bolzano's lights. (shrink)

In the course of the last few decades, Bolzano has emerged as an important player in accounts of the history of philosophy. This should be no surprise. Few authors stand at a more central junction in the development of modern thought. Bolzano's contributions to logic and the theory of knowledge alone straddle three of the most important philosophical traditions of the 19th and 20th centuries: the Kantian school, the early phenomenological movement and what has come to be known as analytical (...) philosophy. This paper identifies three Bolzanian theoretical innovations that warrant his inclusion in the analytical tradition: the commitment to ‘logical realism’, the adoption of a substitutional procedure for the purpose of defining logical properties and a new theory of a priori cognition that presents itself as an alternative to Kant's. All three innovations concur to deliver what counts as the most important development of logic and its philosophy between Aristotle and Frege. In the final part of the paper, I defend Bolzano against a common objection and explain that these theoretical innovations are also supported by views on syntax, which though marginal are both workable and philosophically interesting. (shrink)

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)

We define the term \a set T of sentential-logical formulae grounds a sentential-logical formula A from a syntactic point of view\ in such a way that A is a syntactic sentential-logical consequence of T, and specific additional syntactic requirements regarding T and A are fulfilled. These additional requirements are developed strictly within the syntactics of sentential-logical languages, the three most important being new, namely: to be atomically minimal, to be minimal in degree, and not to be conjunction-like. Our approach is (...) independent of any specific sentential-logical calculus. (shrink)