The contribution of logical reasoning to the learning of mathematics in primary school

It has often been claimed that children's mathematical understanding is based on their ability to reason logically, but there is no good evidence for this causal link. We tested the causal hypothesis about logic and mathematical development in two related studies. In a longitudinal study, we showed that (a) 6‐year‐old children's logical abilities and their working memory predict mathematical achievement 16 months later; and (b) logical scores continued to predict mathematical levels after controls for working memory, whereas working memory scores failed to predict the same measure after controls for differences in logical ability. In our second study, we trained a group of children in logical reasoning and found that they made more progress in mathematics than a control group who were not given this training. These studies establish a causal link between logical reasoning and mathematical learning. Much of children's mathematical knowledge is based on their understanding of its underlying logic.     

Modal structuralism simplified

Since Benacerraf’s ‘What Numbers Could Not Be,’ there has been a growing interest in mathematical structuralism. An influential form of mathematical structuralism, modal structuralism, uses logical possibility and second order logic to provide paraphrases of mathematical statements which don’t quantify over mathematical objects. These modal structuralist paraphrases are a useful tool for nominalists and realists alike. But their use of second order logic and quantification into the logical possibility operator raises concerns. In this paper, I show that the work of both these elements can be done by a single natural generalization of the logical possibility operator.     

Statistics between inductive logic and empirical science

Inductive logic generalizes the idea of logical entailment and provides standards for the evaluation of non-conclusive arguments. A main application of inductive logic is the generalization of observational data to theoretical models. In the empirical sciences, the mathematical theory of statistics addresses the same problem. This paper argues that there is no separable purely logical aspect of statistical inference in a variety of complex problems. Instead, statistical practice is often motivated by decision-theoretic considerations and resembles empirical science.     

Logical probability,mathematical statistics,and the problem of induction

Summary In this paper I want to discuss some basic problems of inductive logic, i.e. of the attempt to solve the problem of induction by means of a calculus of logical probability. I shall try to throw some light upon these problems by contrasting inductive logic, based on logical probability, and working with undefined samples of observations, with mathematical statistics, based on statistical probability, and working with representative random samples.     

How to think about informal proofs

It is argued in this study that (i) progress in the philosophy of mathematical practice requires a general positive account of informal proof; (ii) the best candidate is to think of informal proofs as arguments that depend on their matter as well as their logical form; (iii) articulating the dependency of informal inferences on their content requires a redefinition of logic as the general study of inferential actions; (iv) it is a decisive advantage of this conception of logic that it accommodates the many mathematical proofs that include actions on objects other than propositions; (v) this conception of logic permits the articulation of project-sized tasks for the philosophy of mathematical practice, thereby supplying a partial characterisation of normal research in the field.     

逻辑现代化:今天的理解与实践——王宪钧先生诞辰100周年纪念大会逻辑现代化专题研讨侧记

<正>王宪钧先生毕生致力于提高中国的逻辑教学与研究的水平,三十余年前率先提出"逻辑课程现代化"的口号,对当时的逻辑界有振聋发聩之功。此后"逻辑现代化"成为我国逻辑学发展的主旋律。时至今日,三十年的"逻辑现代化"实现或完成了什么,在新的形势下,"逻辑现代化"有什么新的内涵或重点,或简言之,我们今后该如何发展?这些问题需要逻辑界的总结与共识。为此,王宪钧先生诞辰     

On the Referential Indeterminacy of Logical and Mathematical Concepts

Hartry Field has recently examined the question whether our logical and mathematical concepts are referentially indeterminate. In his view, (1) certain logical notions, such as second-order quantification, are indeterminate, but (2) important mathematical notions, such as the notion of finiteness, are not (they are determinate). In this paper, I assess Fields analysis, and argue that claims (1) and (2) turn out to be inconsistent. After all, given that the notion of finiteness can only be adequately characterized in pure second-order logic, if Field is right in claiming that second-order quantification is indeterminate (see (1)), it follows that finiteness is also indeterminate (contrary to (2)). After arguing that Field is committed to these claims, I provide a diagnosis of why this inconsistency emerged, and I suggest an alternative, consistent picture of the relationship between logical and mathematical indeterminacy.     

Completeness and Categoricity,Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics

This paper is the second in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic semantics so as to shed new light on the relevant strengths and limits of higher-order logic.     

New Light on Peirce's Conceptions of Retroduction,Deduction, and Scientific Reasoning

We examine Charles S. Peirce's mature views on the logic of science, especially as contained in his later and still mostly unpublished writings (1907–1914). We focus on two main issues. The first concerns Peirce's late conception of retroduction. Peirce conceived inquiry as performed in three stages, which correspond to three classes of inferences: abduction or retroduction, deduction, and induction. The question of the logical form of retroduction, of its logical justification, and of its methodology stands out as the three major threads in his later writings. The other issue concerns the second stage of scientific inquiry, deduction. According to Peirce's later formulation, deduction is divided not only into two kinds (corollarial and theorematic) but also into two sub-stages: logical analysis and mathematical reasoning, where the latter is either corollarial or theorematic. Save for the inductive stage, which we do not address here, these points cover the essentials of Peirce's latest thinking on the logic of science and reasoning.     

Erhard Weigel's Contributions to the Formation of Symbolic Logic

The aspects of Erhard Weigel's Analysis Aristotelica ex Euclide restituta (1658) that foreshadowed and helped form some characteristics of symbolic logic are highlighted: first, the idea of a pure form of a logical syllogism or of a mathematical proof and, second, a tentative arithmetisation of some aspects of logic. Also, Weigel's emphasis on the role of symbols and figures in the process of mathematical proof is discussed.     

A note on mathematical pluralism and logical pluralism

Mathematical pluralism notes that there are many different kinds of pure mathematical structures—notably those based on different logics—and that, qua pieces of pure mathematics, they are all equally good. Logical pluralism is the view that there are different logics (consequence relations), which are, in an appropriate sense, equally good. Some, such as Shapiro (Varieties of logic, Oxford University Press, Oxford, 2014), have argued that mathematical pluralism entails logical pluralism. In this brief note I argue that this does not follow. There is a crucial distinction to be drawn between the preservation of truth (simpliciter) and the preservation of truth-in-a-structure; and once this distinction is drawn, this suffices to block the argument. The paper starts by clarifying the relevant notions of mathematical and logical pluralism. It then explains why the argument from the first to the second does not follow. A final section considers a few objections.

     

A New–old Characterisation of Logical Knowledge

We seek means of distinguishing logical knowledge from other kinds of knowledge, especially mathematics. The attempt is restricted to classical two-valued logic and assumes that the basic notion in logic is the proposition. First, we explain the distinction between the parts and the moments of a whole, and theories of ‘sortal terms’, two theories that will feature prominently. Second, we propose that logic comprises four ‘momental sectors’: the propositional and the functional calculi, the calculus of asserted propositions, and rules for (in)valid deduction, inference or substitution. Third, we elaborate on two neglected features of logic: the various modes of negating some part(s) of a proposition R, not only its ‘external’ negation not-R; and the assertion of R in the pair of propositions ‘it is (un)true that R’ belonging to the neglected logic of asserted propositions, which is usually left unstated. We also address the overlooked task of testing the asserted truth-value of R. Fourth, we locate logic among other foundational studies: set theory and other theories of collections, metamathematics, axiomatisation, definitions, model theory, and abstract and operator algebras. Fifth, we test this characterisation in two important contexts: the formulation of some logical paradoxes, especially the propositional ones; and indirect proof-methods, especially that by contradiction. The outcomes differ for asserted propositions from those for unasserted ones. Finally, we reflect upon self-referring self-reference, and on the relationships between logical and mathematical knowledge. A subject index is appended.     

Perfect validity,entailment and paraconsistency

This paper treats entailment as a subrelation of classical consequence and deducibility. Working with a Gentzen set-sequent system, we define an entailment as a substitution instance of a valid sequent all of whose premisses and conclusions are necessary for its classical validity. We also define a sequent Proof as one in which there are no applications of cut or dilution. The main result is that the entailments are exactly the Provable sequents. There are several important corollaries. Every unsatisfiable set is Provably inconsistent. Every logical consequence of a satisfiable set is Provable therefrom. Thus our system is adequate for ordinary mathematical practice. Moreover, transitivity of Proof fails upon accumulation of Proofs only when the newly combined premisses are inconsistent anyway, or the conclusion is a logical truth. In either case Proofs that show this can be effectively determined from the Proofs given. Thus transitivity fails where it least matters — arguably, where it ought to fail! We show also that entailments hold by virtue of logical form insufficient either to render the premisses inconsistent or to render the conclusion logically true. The Lewis paradoxes are not Provable. Our system is distinct from Anderson and Belnap's system of first degree entailments, and Johansson's minimal logic. Although the Curry set paradox is still Provable within naive set theory, our system offers the prospect of a more sensitive paraconsistent reconstruction of mathematics. It may also find applications within the logic of knowledge and belief.     

Reassessing logical hylomorphism and the demarcation of logical constants

The paper investigates the propriety of applying the form versus matter distinction to arguments and to logic in general. Its main point is that many of the currently pervasive views on form and matter with respect to logic rest on several substantive and even contentious assumptions which are nevertheless uncritically accepted. Indeed, many of the issues raised by the application of this distinction to arguments seem to be related to a questionable combination of different presuppositions and expectations; this holds in particular of the vexed issue of demarcating the class of logical constants. I begin with a characterization of currently widespread views on form and matter in logic, which I refer to as ‘logical hylomorphism as we know it’—LHAWKI, for short—and argue that the hylomorphism underlying LHAWKI is mereological. Next, I sketch an overview of the historical developments leading from Aristotelian, non-mereological metaphysical hylomorphism to mereological logical hylomorphism (LHAWKI). I conclude with a reassessment of the prospects for the combination of hylomorphism and logic, arguing in particular that LHAWKI is not the only and certainly not the most suitable version of logical hylomorphism. In particular, this implies that the project of demarcating the class of logical constants as a means to define the scope and nature of logic rests on highly problematic assumptions.     

Wittgenstein and logic

In his Tractatus Logico-Philosophicus Ludwig Wittgenstein (1889–1951) presents the concept of order in terms of a notational iteration that is completely logical but not part of logic. Logic for him is not the foundation of mathematical concepts but rather a purely formal way of reflecting the world that at the minimum adds absolutely no content. Order for him is not based on the concepts of logic but is instead revealed through an ideal notational series. He states that logic is “transcendental”. As such it requires an ideal that his philosophical method eventually forces him to reject. I argue that Wittgenstein’s philosophy is more dialectical than transcendental.     

Modality,Si! Modal Logic,No!

This article is oriented toward the use of modality in artificial intelligence (AI). An agent must reason about what it or other agents know, believe, want, intend or owe. Referentially opaque modalities are needed and must be formalized correctly. Unfortunately, modal logics seem too limited for many important purposes. This article contains examples of uses of modality for which modal logic seems inadequate.I have no proof that modal logic is inadequate, so I hope modal logicians will take the examples as challenges.Maybe this article will also have philosophical and mathematical logical interest.     

The cost of closure: logical realism,anti-exceptionalism,and theoretical equivalence

Philosophers of science often assume that logically equivalent theories are theoretically equivalent. I argue that two theses, anti-exceptionalism about logic (which says, roughly, that logic is not a priori, that it is revisable, and that it is not special or set apart from other human inquiry) and logical realism (which says, roughly, that differences in logic reflect genuine metaphysical differences in the world) make trouble for this commitment, as well as a closely related commitment to theories being closed under logical consequence. I provide three arguments. The first two show that anti-exceptionalism about logic provides an epistemic challenge to both the closure and the equivalence claims; the third shows that logical realism provides a metaphysical challenge to both the closure and the equivalence claims. Along the way, I show that there are important methodological upshots for metaphysicians and philosophers of logic, in particular, lessons about certain conceptions of naturalism as constraining the possibilities for metaphysics and the philosophy of logic.

     

The Evolution of Principia Mathematica; Bertrand Russell's Manuscripts and Notes for the Second Edition

This paper deals with Popper's little-known work on deductive logic, published between 1947 and 1949. According to his theory of deductive inference, the meaning of logical signs is determined by certain rules derived from ‘inferential definitions’ of those signs. Although strong arguments have been presented against Popper's claims (e.g. by Curry, Kleene, Lejewski and McKinsey), his theory can be reconstructed when it is viewed primarily as an attempt to demarcate logical from non-logical constants rather than as a semantic foundation for logic. A criterion of logicality is obtained which is based on conjunction, implication and universal quantification as fundamental logical operations.