{"entities":{"Q1177650":{"pageid":1188399,"ns":120,"title":"Item:Q1177650","lastrevid":69835176,"modified":"2026-04-13T10:40:11Z","type":"item","id":"Q1177650","labels":{"en":{"language":"en","value":"Conditionals, quantification, and strong mathematical induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 20838"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177650$9EA5F135-AAC2-41E5-B684-8001843FF418","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac0e8bee8f3ea45f7025d0583dcb42cf9f0f62b8","datavalue":{"value":{"text":"Conditionals, quantification, and strong mathematical induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1177650$CF8938EB-D064-4F67-BE5C-EA67F24F0789","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e8597e029091fb347a7d424f0e5ea494a71fe75","datavalue":{"value":"0739.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177650$27A9EDE9-C6A9-4631-B800-CBABC5D81FC8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3e1463337a513966c7df686100296f5b3135bf3","datavalue":{"value":"10.1007/BF00250543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177650$9BCB9A04-A518-4636-A838-1A65E05B0260","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d85d29c5decb8554648b53834fa5b49b14b3898d","datavalue":{"value":{"entity-type":"item","numeric-id":1075313,"id":"Q1075313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177650$C1DDCAEA-AB15-4F34-BDDA-59F62431266E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177650$776CC887-4484-4670-A962-08B24E3097DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1177650$35FB999D-D5EA-4311-8C29-697BD6F30E40","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a0821427ae598fd17f6bd069a789e485aab2543c","datavalue":{"value":"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).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177650$8C4D40FB-B0E4-4231-B852-7C68BDD2F74F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177650$C7C32785-EFD9-4CD8-94D5-7F264A18C810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177650$4FEAE0A3-858F-4B95-A7AE-EF118FA9B045","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"586c31aedd4b9190b4675cf622cab4ec97c3d319","datavalue":{"value":"20838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177650$6DCDDC22-5486-4DDB-9FB9-7509D8217088","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9175875fe41e1ca7acb8f39262d7d1c9f3f6b021","datavalue":{"value":"principle of strong mathematical induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177650$94B05F03-DBF5-4C18-8080-46684242BC53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5944be0e36bd9391dd05f128b8ff6c40384e17f","datavalue":{"value":"conditional assertion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177650$98CD559C-A889-4190-B01B-56D39ADD67FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2c3921d666dde100f7140651a610dee9b25f20f","datavalue":{"value":"relevant implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177650$5606ABDF-5A99-492E-BA8D-EEF9866EBA24","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4ac137399d9f2a1340fb827cf9bcada44aa811f7","datavalue":{"value":{"entity-type":"item","numeric-id":496328,"id":"Q496328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177650$7A06149C-2FFF-4A10-A23D-F4E9A137E197","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177650$439A1A3F-075F-4E98-AA46-1E5680460010","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7defca3d39ec31133fe19b5ed2159dc566c136dd","datavalue":{"value":{"entity-type":"item","numeric-id":4405129,"id":"Q4405129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177650$F8510A3F-CADA-420E-8878-076CC08FDC74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04b6cfede599ba3726177cbae1cb59e7e9cd4481","datavalue":{"value":{"entity-type":"item","numeric-id":1075314,"id":"Q1075314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177650$9F3A085C-45C3-44BC-8D01-4406E42EED50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa363f69ac7b6a611eb691342e852b8215d1261","datavalue":{"value":{"entity-type":"item","numeric-id":1226999,"id":"Q1226999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177650$B1A8C4E1-CD68-4B0C-A261-D733B5A66D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b698b009fdbc19342ee3cf4dca8fe2d035620a40","datavalue":{"value":{"entity-type":"item","numeric-id":4077984,"id":"Q4077984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177650$CC092236-0006-4F86-95DE-862378D1DC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d322c0810b1e6df167c3a55404deee204e1247c3","datavalue":{"value":{"entity-type":"item","numeric-id":5616117,"id":"Q5616117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177650$B20BFFE1-9FAA-4639-A528-901A68DDF9C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8a2af49fdb4a47c44317392ab8eed4e6c9be5f5","datavalue":{"value":"https://doi.org/10.1007/bf00250543","type":"string"},"datatype":"url"},"type":"statement","id":"Q1177650$04632EC5-B04B-4836-9FA3-C04FC175C7EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"40855616a3792a1439b03d3cd7b5484a4c39f827","datavalue":{"value":"W2068604419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177650$11C924CA-0711-4A9A-BC5D-3D39187DD85E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2c3a28ecd953cd559af193624cc38c7a08e6ae6","datavalue":{"value":{"entity-type":"item","numeric-id":4394887,"id":"Q4394887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b2ff5e23e934de6d52d2619171dec9ed54a1ae3","datavalue":{"value":{"amount":"+0.664065957069397","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1177650$881E7002-9242-478C-8A3A-31F670A89DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"add424b5fb4252367fb8ddba535c3d17f35ed52c","datavalue":{"value":{"entity-type":"item","numeric-id":5575526,"id":"Q5575526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fd4da8a3fac7ae00f537bf1abf25c7a2abda366","datavalue":{"value":{"amount":"+0.6440004706382751","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1177650$CCF46364-F374-41A9-808C-BC87417A134E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb737d6d9030df662912a8c2631c4c805475eb57","datavalue":{"value":{"entity-type":"item","numeric-id":3237137,"id":"Q3237137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19bd1d700fd36fa1b21fefbee44af113ed45a7f4","datavalue":{"value":{"amount":"+0.642754852771759","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1177650$3BEA259E-F17D-4CB7-8B38-757D3518EEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"415d96de2a8674bf1c33d76d4d5c204c72af227a","datavalue":{"value":{"entity-type":"item","numeric-id":3832558,"id":"Q3832558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42a5cd44e88f4b03955676a8e095259089b21ffe","datavalue":{"value":{"amount":"+0.6372042894363403","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1177650$E16E0E41-A6E4-4C7E-B098-61B144237C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52b16e57af6bce31f884500621ec55acd9a05cae","datavalue":{"value":{"entity-type":"item","numeric-id":4883903,"id":"Q4883903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb3cbdf31a1daf39de2350f7c0065942fd0bf5b8","datavalue":{"value":{"amount":"+0.6302630305290222","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1177650$00361374-6C6D-40DB-BA92-1099EB6B7A18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Conditionals, quantification, and strong mathematical induction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Conditionals,_quantification,_and_strong_mathematical_induction"}}}}}