Conditionals, quantification, and strong mathematical induction
type: Item
instance of: scholarly article
title: Conditionals, quantification, and strong mathematical induction
zbMATH Open document ID: 0739.03012
DOI: 10.1007/BF00250543
author: Daniel H. Cohen
published in: Journal of Philosophical Logic
publication date: 1992-06-26T00:00:00Z
review text: The paper deals with the formalization of the principle of strong mathematical induction: (SMI) If a number has a property whenever all of its predecessors do, then all numbers have that property. According to the author, a formalization of (SMI) using material implication \(\supset\) as the only conditional connective is heuristically problematic, since it (i) results in a nested conditional in the antecedent of a conditional, (ii) fails to make a distinction between on the one hand conditionals that are involved in universal generalizations and on the other hand implications, and (iii) allows it to do without a separate base case. It is suggested to translate (SMI) into a language with two kinds of conditional connectives, viz. the so-called `conditional assertion' / (for the conditional that comes with a universal quantifier) and relevant implication \(\to\). Moreover, a base case covering 0 is introduced. The paper does not offer much as far as (SMI) itself is concerned. The motivation for / has nothing to do with (SMI) in particular; however, the use of / in addition to \(\to\) of course provides a remedy for (i) and (ii). No motivation is given for the use of relevant implication. Clearly the intended implication for (SMI) is \(\supset\). If \(\supset\) is to be replaced by \(\to\), then the addition of a base case indeed ``is obvious, if not altogether forced'' (p. 323).
Mathematics Subject Classification ID: 03B47
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 20838
zbMATH Keywords: principle of strong mathematical induction
zbMATH Keywords: conditional assertion
zbMATH Keywords: relevant implication
reviewed by: Heinrich Wansing
MaRDI profile type: Publication
cites work: Q4405129
cites work: A new axiomatization of Belnap's conditional assertion
cites work: Axiomatizing Belnap's conditional assertion
cites work: Q4077984
cites work: Q5616117
full work available at URL: https://doi.org/10.1007/bf00250543
OpenAlex ID: W2068604419
description: scientific article; zbMATH DE number 20838