The relation between logic and philosophy of science, often taken for granted, is in fact problematic. Although current fashionable criticisms of the usefulness of logic are usually mistaken, there are indeed difficulties which should be taken seriously -- having to do, amongst other things, with different "scientific mentalities" in the two disciplines. Nevertheless, logic is, or should be, a vital part of the theory of science. To make this clear, the bulk of this paper is devoted to the key notion (...) of a "scientific theory" in a logical perspective. First, various formal explications of this notion are reviewed, then their further logical theory is discussed. In the absence of grand inspiring programs like those of Klein in mathematics or Hilbert in metamathematics, this preparatory ground-work is the best one can do here. The paper ends on a philosophical note, discussing applicability and merits of the formal approach to the study of science. (shrink)

During the first half of the twentieth century, mainstream answers to the foundational crisis, mainly triggered by Russell and Gödel, remained largely perfectibilist in nature. Along with a general naturalist wave in the philosophy of science, during the second half of that century, this idealist picture was finally challenged and traded in for more realist ones. Next to the necessary preliminaries, the present paper proposes a structured view of various philosophical accounts of mathematics indebted to this general idea, laying the (...) ground for a desirable integration of their strenghts. (shrink)

According to quasi-empiricism, mathematics is very like a branch of natural science. But if mathematics is like a branch of science, and science studies real objects, then mathematics should study real objects. Thus a quasi-empirical account of mathematics must answer the old epistemological question: How is knowledge of abstract objects possible? This paper attempts to show how it is possible.The second section examines the problem as it was posed by Benacerraf in Mathematical Truth and the next section presents a way (...) of looking at abstract objects that purports to demythologize them. In particular, it shows how we can have empirical knowledge of various abstract objects and even how we might causally interact with them. (shrink)

Derivationists, those wishing to explain the correctness and rigour of informal proofs in terms of associated formal proofs, are generally held to be supported by the success of the project of translating informal proofs into computer-checkable formal counterparts. I argue, however, that this project is a false friend for the derivationists because there are too many different associated formal proofs for each informal proof, leading to a serious worry of overgeneration. I press this worry primarily against Azzouni's derivation-indicator account, but (...) conclude that overgeneration is a major obstacle to a successful account of informal proofs in this direction. (shrink)

Summary I try to apply Lakatos's metacriterion of the rationality of normative philosophies of science to normative political theories, stressing that Lakatos's metacriterion is not only an extension of Popper's idea of tests by potentially falsifyingdescriptive basic judgments to tests by potentially falsifyingnormative judgments. Rather, its application is a test by demonstrating the tested theory's capability of reconstructing its own history as rational. Finally I argue that the tradition of utilitarian political theories is fittest to be confirmed by a Lakatosian (...) test. (shrink)

Imre Lakatos' views on the philosophy of mathematics are important and they have often been underappreciated. The most obvious lacuna in this respect is the lack of detailed discussion and analysis of his 1976a paper and its implications for the methodology of mathematics, particularly its implications with respect to argumentation and the matter of how truths are established in mathematics. The most important themes that run through his work on the philosophy of mathematics and which culminate in the 1976a paper (...) are (1) the (quasi-)empirical character of mathematics and (2) the rejection of axiomatic deductivism as the basis of mathematical knowledge. In this paper Lakatos' later views on the quasi-empirical nature of mathematical theories and methodology are examined and specific attention is paid to what this view implies about the nature of mathematical argumentation and its relation to the empirical sciences. (shrink)

On the basis of a wide range of historical examples various features of axioms are discussed in relation to their use in mathematical practice. A very general framework for this discussion is provided, and it is argued that axioms can play many roles in mathematics and that viewing them as self-evident truths does not do justice to the ways in which mathematicians employ axioms. Possible origins of axioms and criteria for choosing axioms are also examined. The distinctions introduced aim at (...) clarifying discussions in philosophy of mathematics and contributing towards a more refined view of mathematical practice. (shrink)

In this paper, I argue against Penelope Maddy's set-theoretic realism by arguing (1) that it is perfectly consistent with mathematical Platonism to deny that there is a fact of the matter concerning statements which are independent of the axioms of set theory, and that (2) denying this accords further that many contemporary Platonists assert that there is a fact of the matter because they are closet foundationalists, and that their brand of foundationalism is in radical conflict with actual mathematical practice.

Many experiments with infants suggest that they possess quantitative abilities, and many experimentalists believe that these abilities set the stage for later mathematics: natural numbers and arithmetic. However, the connection between these early and later skills is far from obvious. We evaluate two possible routes to mathematics and argue that neither is sufficient: (1) We first sketch what we think is the most likely model for infant abilities in this domain, and we examine proposals for extrapolating the natural number concept (...) from these beginnings. Proposals for arriving at natural number by (empirical) induction presuppose the mathematical concepts they seek to explain. Moreover, standard experimental tests for children's understanding of number terms do not necessarily tap these concepts. (2) True concepts of number do appear, however, when children are able to understand generalizations over all numbers; for example, the principle of additive commutativity (a+b=b+a). Theories of how children learn such principles usually rely on a process of mapping from physical object groupings. But both experimental results and theoretical considerations imply that direct mapping is insufficient for acquiring these principles. We suggest instead that children may arrive at natural numbers and arithmetic in a more top-down way, by constructing mathematical schemas. (shrink)

In a recent article, Azzouni has argued in favor of a version of formalism according to which ordinary mathematical proofs indicate mechanically checkable derivations. This is taken to account for the quasi-universal agreement among mathematicians on the validity of their proofs. Here, the author subjects these claims to a critical examination, recalls the technical details about formalization and mechanical checking of proofs, and illustrates the main argument with aanalysis of examples. In the author's view, much of mathematical reasoning presents genuine (...) meaning-dependent mathematical characteristics that cannot be captured by formal calculi. ‘…there is a conflict between mathematical practice and the formalist doctrine.’ [Kreisel, 1969, p. 39]. (shrink)

As far as disputes in the philosophy of pure mathematics goes, these are usually between classical mathematics, intuitionist mathematics, paraconsistent mathematics, and so on. My own view is that of a mathematical pluralist: all these different kinds of mathematics are equally legitimate. Applied mathematics is a different matter. In this, a piece of pure mathematics is applied in an empirical area, such as physics, biology, or economics. There can then certainly be a disputes about what the correct pure mathematics to (...) apply is. Such disputes may be settled by the standard criteria of scientific theory selection (adequacy of empirical predications, simplicity, etc.) But what, exactly is it to apply a piece of pure mathematics? How is mathematics applied? By and large, philosophers of mathematics have cared more about pure mathematics than applied mathematics, and not a lot of thought has gone into this question. In this paper I will address the issue and some of its implications. (shrink)

Researchers display confirmation bias when they persevere by revising procedures until obtaining a theory-predicted result. This strategy produces findings that are overgeneralized in avoidable ways, and this in turn binders successful applications. (The 40-year history of an attitude-change phenomenon.

My first paper on the Is/Ought issue. The young Arthur Prior endorsed the Autonomy of Ethics, in the form of Hume’s No-Ought-From-Is (NOFI) but the later Prior developed a seemingly devastating counter-argument. I defend Prior's earlier logical thesis (albeit in a modified form) against his later self. However it is important to distinguish between three versions of the Autonomy of Ethics: Ontological, Semantic and Ontological. Ontological Autonomy is the thesis that moral judgments, to be true, must answer to a realm (...) of sui generis non-natural PROPERTIES. Semantic autonomy insists on a realm of sui generis non-natural PREDICATES which do not mean the same as any natural counterparts. Logical Autonomy maintains that moral conclusions cannot be derived from non-moral premises.-moral premises with the aid of logic alone. Logical Autonomy does not entail Semantic Autonomy and Semantic Autonomy does not entail Ontological Autonomy. But, given some plausible assumptions Ontological Autonomy entails Semantic Autonomy and given the conservativeness of logic – the idea that in a valid argument you don’t get out what you haven’t put in – Semantic Autonomy entails Logical Autonomy. So if Logical Autonomy is false – as Prior appears to prove – then Semantic and Ontological Autonomy would appear to be false too! I develop a version of Logical Autonomy (or NOFI) and vindicate it against Prior’s counterexamples, which are also counterexamples to the conservativeness of logic as traditionally conceived. The key concept here is an idea derived in part from Quine - that of INFERENCE-RELATIVE VACUITY. I prove that you cannot derive conclusions in which the moral terms appear non-vacuously from premises from which they are absent. But this is because you cannot derive conclusions in which ANY (non-logical) terms appear non-vacuously from premises from which they are absent Thus NOFI or Logical Autonomy comes out as an instance of the conservativeness of logic. This means that the reverse entailment that I have suggested turns out to be a mistake. The falsehood of Logical Autonomy would not entail either the falsehood Semantic Autonomy or the falsehood of Ontological Autonomy, since Semantic Autonomy only entails Logical Autonomy with the aid of the conservativeness of logic of which Logical Autonomy is simply an instance. Thus NOFI or Logical Autonomy is vindicated, but it turns out to be a less world-shattering thesis than some have supposed. It provides no support for either non-cognitivism or non-naturalism. (shrink)

The last century has seen many disciplines place a greater priority on understanding how people reason in a particular domain, and several illuminating theories of informal logic and argumentation have been developed. Perhaps owing to their diverse backgrounds, there are several connections and overlapping ideas between the theories, which appear to have been overlooked. We focus on Peirce’s development of abductive reasoning [39], Toulmin’s argumentation layout [52], Lakatos’s theory of reasoning in mathematics [23], Pollock’s notions of counterexample [44], and argumentation (...) schemes constructed by Walton et al. [54], and explore some connections between, as well as within, the theories. For instance, we investigate Peirce’s abduction to deal with surprising situations in mathematics, represent Pollock’s examples in terms of Toulmin’s layout, discuss connections between Toulmin’s layout and Walton’s argumentation schemes, and suggest new argumentation schemes to cover the sort of reasoning that Lakatos describes, in which arguments may be accepted as faulty, but revised, rather than being accepted or rejected. We also consider how such theories may apply to reasoning in mathematics: in particular, we aim to build on ideas such as Dove’s [13], which help to show ways in which the work of Lakatos fits into the informal reasoning community. (shrink)

We argue that there are mutually beneficial connections to be made between ideas in argumentation theory and the philosophy of mathematics, and that these connections can be suggested via the process of producing computational models of theories in these domains. We discuss Lakatos’s work (Proofs and Refutations, 1976) in which he championed the informal nature of mathematics, and our computational representation of his theory. In particular, we outline our representation of Cauchy’s proof of Euler’s conjecture, in which we use work (...) by Haggith on argumentation structures, and identify connections between these structures and Lakatos’s methods. (shrink)

Argumentation is important for sharing knowledge and information. Given that the receiver of an argument purportedly engages first and foremost with its content, one might expect trust to play a negligible epistemic role, as opposed to its crucial role in testimony. I argue on the contrary that trust plays a fundamental role in argumentative engagement. I present a realistic social epistemological account of argumentation inspired by social exchange theory. Here, argumentation is a form of epistemic exchange. I illustrate my argument (...) with two real-life examples: vaccination hesitancy, and the undermining of the credibility of traditional sources of information by authoritarian politicians. (shrink)

We see no grounds for insisting that, because the concept natural number is abstract, its foundations must be innate. It is possible to specify domain general learning processes that feed into more abstract concepts of numerical infinity. By neglecting the messiness of children's slow acquisition of arithmetical concepts, Rips et al. present an idealized, unnecessarily insular, view of number development.

The thirty year long friendship between Imre Lakatos and the classic scholar and historian of mathematics Árpád Szabó had a considerable influence on the ideas, scholarly career and personal life of both scholars. After recalling some relevant facts from their lives, this paper will investigate Szabó's works about the history of pre-Euclidean mathematics and its philosophy. We can find many similarities with Lakatos' philosophy of mathematics and science, both in the self-interpretation of early axiomatic Greek mathematics as Szabó reconstructs it, (...) and in the general overview Szabó provides us about the turn from the intuitive methods of Greek mathematicians to the strict axiomatic method of Euclid's Elements. As a conclusion, I will argue that the correct explanation of these similarities is that in their main works they developed ideas they had in common from the period of intimate intellectual contact in Hungarian academic life in the mid-twentieth century. In closing, I will recall some relevant features of this background that deserve further research. (shrink)

Based on the material in the Lakatos Archive, this paper reconstructs, and then re-assesses, Lakatos’ epistemological project by placing it in the context of the debate on the role of reason in the history of science, and of the justification of rationality as a normative notion. It is claimed that Lakatos’ most fruitful ideas come from a peculiar philosophical combination of Hegelian historicism and Popperian fallibilism. The original tension, however, cannot be ultimately resolved. As a consequence, the problems that Lakatos (...) has to deal with in his attempt to justify a set of genuinely epistemological canons of scientific rationality that are not reducible to psychology or sociology of knowledge stand as a warning for any normative philosophy of science that takes history at its face value.Author Keywords: Lakatos; History; Method; Rationality. (shrink)

In this paper we look at some of the ingredients and processes involved in the understanding of mathematics. We analyze elements of mathematical knowledge, organize them in a coherent way and take note of certain classes of items that share noteworthy roles in understanding. We thus build a conceptual framework in which to talk about mathematical knowledge. We then use this representation to describe the acquisition of understanding. We also report on classroom experience with these ideas.

Résumé Dans cet article, nous discuterons de l’intégration du numérique à la sémiotique et proposerons qu’une modélisation conceptuelle puisse offrir un pont de dialogue entre ces deux domaines classiquement cloisonnés. Plus précisément, nous avancerons l’hypothèse que tout projet de recherche qui en appellera à l’informatique soit une démarche scientifique que s’il construit une théorie qui contient, en plus des modèles classiques que sont les modèles formel, computationnel et physique, un modèle conceptuel. Ce lieu, où les chercheur-es conceptualisent les multiples dimensions (...) de leur objet de recherche, sera alors défini en tant que socle d’une relation solide entre la sémiotique et l’informatique. Nous verrons que les différentes définitions du modèle conceptuel convergent vers la thèse soutenant que la connaissance scientifique met en œuvre une instance de conceptualisation qui doit identifier les diverses dimensions du problème en plus de devoir s’exprimer de manière à ce qu’elle soit communicable entre les membres des communautés épistémiques. Nous verrons, enfin, qu’un projet de recherché sémiotique exige la construction d’un tel modèle afin de décrire, généraliser et sélectionner des problèmes et que ce même modèle, conceptuel, sera aussi nécessaire si le ou la sémioticien-ne utilise l’informatique dans le cadre de sa recherche.fr. (shrink)

Three big philosophical problems about consciousness are: Why does it exist? How do we explain and understand it? How can we explain brain-consciousness correlations? If functionalism were true, all three problems would be solved. But it is false, and that means all three problems remain unsolved (in that there is no other obvious candidate for a solution). Here, it is argued that the first problem cannot have a solution; this is inherent in the nature of explanation. The second problem is (...) solved by recognizing that (a) there is an explanation as to why science cannot explain consciousness, and (b) consciousness can be explained by a different kind of explanation, empathic or “personalistic” explanation, compatible with, but not reducible to, scientific explanation. The third problem is solved by exploiting David Chalmers“principle of structural coherence”, and involves postulating that sensations experienced by us–visual, auditory, tactile, and so on–amount to minute scattered regions in a vast, multi dimensional “space” of all possible sensations, which vary smoothly, and in a linear way, throughout the space. There is also the space of all possible sentient brain processes. There is just one, unique one-one mapping between these two spaces that preserves continuity and linearity. It is this which provides the explanation as to why brain processes and sensations are correlated as they are. I consider objections to this unique-matching theory, and consider how the theory might be empirically confirmed. (shrink)

The paper offers a new understanding of induction in the empirical sciences, one which assimilates it to induction in geometry rather than to statistical inference. To make the point a system of notions, essential to logically sound induction, is defined. Notable among them are arbitrary object and particular property. A second aim of the paper is to bring to light a largely neglected set of assumptions shared by both induction and deduction in the empirical sciences. This is made possible by (...) appealing to the logic of common nouns and applying it to the logic of natural-kind terms.This strategy yields a new insight into the concept of natural kinds. While the strategy reveals deep affinity between empirical induction and deduction it also reveals two problems peculiar to induction. This helps to explain the intuition that induction is the more problematic of the two. The paper does not set out ‘to solve the problem of induction’. 1The paper has benefited from the support and critical comments of several friends: Steven Davis, Kevin Dunbar, Anil Gupta, Michael Hallett, Ray Jackendoff and Storrs McCall. Two friends, however, deserve special thanks, Michael Makkai and Gonzalo Reyes. Many of the points made in the paper, otherwise unacknowledged, are due to their generosity and patience. In fact, the paper can be seen as an application of the logic of kinds on which Gonzalo Reyes has been working for several years. (shrink)

Jim Mackenzie; Evers & Walker and Forms of Knowledge, Journal of Philosophy of Education, Volume 19, Issue 2, 30 May 2006, Pages 199–209, https://doi.org/10.

In this paper a dialogical account of begging the question is applied to various contexts which are not obviously dialogues: - reading prose, working through a deductive system, presenting a legal case, and thinking to oneself. The account is then compared with that in chapter eight of D. Walton'sBegging the Question (New York; Greenwood, 1991).

Jim Mackenzie; Authority, Journal of Philosophy of Education, Volume 22, Issue 1, 30 May 2006, Pages 57–65, https://doi.org/10.1111/j.1467-9752.1988.tb00177.x.

This contribution defends two claims. The first is about why thought experiments are so relevant and powerful in mathematics. Heuristics and proof are not strictly and, therefore, the relevance of thought experiments is not contained to heuristics. The main argument is based on a semiotic analysis of how mathematics works with signs. Seen in this way, formal symbols do not eliminate thought experiments (replacing them by something rigorous), but rather provide a new stage for them. The formal world resembles the (...) empirical world in that it calls for exploration and offers surprises. This presents a major reason why thought experiments occur both in empirical sciences and in mathematics. The second claim is about a looming aporia that signals the limitation of thought experiments. This aporia arises when mathematical arguments cease to be fully accessible, thus violating a precondition for experimenting in thought. The contribution focuses on the work of Vladimir Voevodsky (1966–2017, Fields medalist in 2002) who argued that even very pure branches of mathematics cannot avoid inaccessibility of proof. Furthermore, he suggested that computer verification is a feasible path forward, but only if proof is not modeled in terms of formal logic. (shrink)

This paper argues that in at least some cases, one proof of a given theorem is deeper than another by virtue of supplying a deeper explanation of the theorem — that is, a deeper account of why the theorem holds. There are cases of scientific depth that also involve a common abstract structure explaining a similarity between two otherwise unrelated phenomena, making their similarity no coincidence and purchasing depth by answering why questions that separate, dissimilar explanations of the two phenomena (...) cannot correctly answer. The connections between explanation, depth, unification, power, and coincidence in mathematics and science are compared. (shrink)

This paper seeks to determine the intuitive meaning of the concept of information by indicating its essential (definitional) features and relations with other concepts, such as that of knowledge. The term “information” – as with many other concepts, such as “process”, “force”, “energy” and “matter” – has a certain established meaning in natural languages, which allows it to be used, in science as well as in everyday life, without our possessing any somewhat stricter definition of it. The basic aim here (...) is thus to explicate what it amounts to in the context of its intuitive meaning as encountered in natural languages, what the subject of cognition implicitly presumes when using the term, and to which ontological situations it can be applied. I demonstrate that the essential features of the notion of information include the presence of a material medium, its transformation, the recording and reading of information encoded in the medium, and the grasp of what is recorded, coded and transmitted as an intentional object, where the latter is construed in terms broadly in line with the ontologies of Husserl and Ingarden. Along the way, a number of issues relating to the notion of information are also pointed out: the problem of informational identity, of the existence of virtual objects, and of the choice of an adequate information carrier, as well as formal-ontological problems, including those which concern relations between information carriers and intentional objects. (shrink)

In the spirit of James and Dewey, I ask what one might want from a theory of knowledge. Much Anglophone epistemology is centered on questions that were once highly pertinent, but are no longer central to broader human and scientific concerns. The first sense in which epistemology without history is blind lies in the tendency of philosophers to ignore the history of philosophical problems. A second sense consists in the perennial attraction of approaches to knowledge that divorce knowing subjects from (...) their societies and from the tradition of socially assembling a body of transmitted knowledge. When epistemology fails to use the history of inquiry as a laboratory in which methodological claims can be tested, there is a third way in which it becomes blind. Finally, lack of attention to the growth of knowledge in various domains leaves us with puzzles about the character of the knowledge we have. I illustrate this last theme by showing how reflections on the history of mathematics can expand our options for understanding mathematical knowledge. (shrink)

. Heuristic is a central concept of Lakatos' philosophy both in his early works and in his later work, the methodology of scientific research programs. The term itself, however, went through significant change of meaning. In this paper I study this change and the ‘metaphysical’ commitments behind it. In order to do so, I turn to his mathematical heuristic elaborated in Proofs and Refutations. I aim to show the dialogical character of mathematical knowledge in his account, which can open a (...) door to hermeneutic studies of mathematical practice. (shrink)

Es wird ausgegangen von den in den empirischen Wissenschaften vorkommenden Satzarten. Die Abhängigkeit der Kennzeichnungen "vollständig" bzw. "hinreichend verifiziert" von den Kriterien der benützten Überprüfungsverfahren wird untersucht. Die irrigen Voraussetzungen extremer Verallgemeinerungen, wie der "Verifikations-these" Wittgensteins und der "asymmetrischen Falsifikationstheorie" Poppers, werden aufgezeigt. Die methodologische Symmetrie von Verifikation und Falsifikation wird durch den Hinweis auf die gleicherweise unerläßliche Bedeutung der induktiven Schritte und des kontrollierenden Aufsuchens von Unverträglichkeiten für den wissenschaftlichen Fortschritt begründet. Unter Berücksichtigung dieser Kriterien werden empirische Allsätze als (...) die Beschreibung der realen Ordnung empirischer Phänomene gedeutet. (shrink)

The uses and interpretation of reductio ad absurdum argumentation in mathematical proof and discovery are examined, illustrated with elementary and progressively sophisticated examples, and explained. Against Arthur Schopenhauer’s objections, reductio reasoning is defended as a method of uncovering new mathematical truths, and not merely of confirming independently grasped mathematical intuitions. The application of reductio argument is contrasted with purely mechanical brute algorithmic inferences as an art requiring skill and intelligent intervention in the choice of hypotheses and attribution of contradictions deduced (...) to a particular assumption in a contradiction’s derivation base within a reductio proof structure. (shrink)