{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,13]],"date-time":"2023-08-13T07:10:48Z","timestamp":1691910648433},"reference-count":13,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2015,8,18]],"date-time":"2015-08-18T00:00:00Z","timestamp":1439856000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2015,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper is a study of the opening section of Gentzen\u2019s first publication of 1932,<jats:italic>\u00dcber die Existenz unabh\u00e4ngiger Axiomensysteme zu unendlichen Satzsystemen<\/jats:italic>, a text which shows the relevance of Hertz\u2019s work of the 1920\u2019s for the young Gentzen. In fact, Gentzen borrowed from Hertz the analysis of the notion of consequence, which was given in terms of the rules of thinning (<jats:italic>Verd\u00fcnnung<\/jats:italic>) and cut (<jats:italic>Schnitt<\/jats:italic>) on sequents (there called \u201csentences\u201d(<jats:italic>S\u00e4tze<\/jats:italic>)). Moreover, following Hertz again, he also judged it necessary to justify the forms of inference of the system by providing a semantics for them, so that it became possible to make precise the informal notion of consequence, and to show that the inference rules adopted are correct and sufficient.<\/jats:p>","DOI":"10.1017\/s1755020315000222","type":"journal-article","created":{"date-parts":[[2015,8,18]],"date-time":"2015-08-18T08:58:00Z","timestamp":1439888280000},"page":"662-679","source":"Crossref","is-referenced-by-count":4,"title":["EARLY STRUCTURAL REASONING. GENTZEN 1932"],"prefix":"10.1017","volume":"8","author":[{"given":"ENRICO","family":"MORICONI","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2015,8,18]]},"reference":[{"key":"S1755020315000222_ref13","doi-asserted-by":"publisher","DOI":"10.2178\/bsl\/1344861886"},{"key":"S1755020315000222_ref10","volume-title":"The Collected Papers of Gerhardt Gentzen","author":"Szabo","year":"1969"},{"key":"S1755020315000222_ref9","doi-asserted-by":"publisher","DOI":"10.2178\/bsl\/1182353872"},{"key":"S1755020315000222_ref8","first-page":"213","volume-title":"II Pisa Colloquium on Logic, Language and Epistemology","author":"Moriconi","year":"2014"},{"key":"S1755020315000222_ref7","doi-asserted-by":"publisher","DOI":"10.1007\/BF01565428"},{"key":"S1755020315000222_ref5","doi-asserted-by":"publisher","DOI":"10.1007\/BF01448897"},{"key":"S1755020315000222_ref1","first-page":"19","volume-title":"Second Pisa Colloquium in Logic, Language and Epistemology","author":"Arndt","year":"2014"},{"key":"S1755020315000222_ref3","doi-asserted-by":"publisher","DOI":"10.1080\/01445340.2010.522365"},{"key":"S1755020315000222_ref11","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/978-3-319-11041-7_17","volume-title":"Dag Prawitz on Proofs and Meaning, Studia Logica series Outstanding Contributions to Logic","author":"Tennant","year":"2015"},{"key":"S1755020315000222_ref4","first-page":"78","volume-title":"Interpreting G\u00f6del: Critical Essays","author":"Franks","year":"2013"},{"key":"S1755020315000222_ref6","doi-asserted-by":"publisher","DOI":"10.1007\/BF01201353"},{"key":"S1755020315000222_ref12","first-page":"667","volume-title":"Handbook of the History of Logic","volume":"5","author":"von Plato","year":"2009"},{"key":"S1755020315000222_ref2","first-page":"1","volume-title":"Contributions to Logic and Methodology in Honor of J.M. Boche\u0144ski","author":"Bernays","year":"1965"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020315000222","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,13]],"date-time":"2023-08-13T06:51:09Z","timestamp":1691909469000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020315000222\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8,18]]},"references-count":13,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2015,12]]}},"alternative-id":["S1755020315000222"],"URL":"https:\/\/doi.org\/10.1017\/s1755020315000222","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,8,18]]}}}