{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T14:51:24Z","timestamp":1649170284417},"reference-count":3,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":11515,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1982,9]]},"abstract":"<jats:p><jats:italic>G<\/jats:italic> is the system of propositional modal logic whose axioms are all tautologies and all sentences \u25a1(<jats:italic>A<\/jats:italic> \u2192 <jats:italic>B<\/jats:italic>) \u2192 (\u25a1<jats:italic>A<\/jats:italic> \u2192 \u25a1<jats:italic>B<\/jats:italic>) and \u25a1(\u25a1<jats:italic>A<\/jats:italic> \u2192 <jats:italic>A<\/jats:italic>) \u2192 \u25a1<jats:italic>A<\/jats:italic> and whose rules are modus ponens and necessitation. For the connections between G and provability in formal systems, see [3] and [2].<\/jats:p><jats:p>A <jats:italic>letterless<\/jats:italic> sentence is a modal sentence that contains no sentence letters at all. In [1] the author showed (in effect) the existence of simple normal forms in <jats:italic>G<\/jats:italic> for letterless sentences: every letterless sentence is equivalent in <jats:italic>G<\/jats:italic> to a truth-functional compound of sentences \u22c4<jats:sup>r<\/jats:sup> \u22a4 (\u22c4<jats:sup>0<\/jats:sup><jats:italic>B<\/jats:italic> = <jats:italic>B<\/jats:italic>; \u22c4<jats:sup>r+1<\/jats:sup><jats:italic>B<\/jats:italic> = \u22c4 \u22c4<jats:sup>r+1<\/jats:sup> B. \u22a4 is the 0-ary connective that is always evaluated as true; we assume that the language contains \u22a4 as a primitive.)<\/jats:p><jats:p>A family of sets {<jats:italic>H<\/jats:italic><jats:sub>n<\/jats:sub>}<jats:sub>n\u2208\u03c9<\/jats:sub> of modal sentences that contain no sentence letters other than some fixed one (say <jats:italic>p<\/jats:italic>) was introduced by Solovay in [3]: <jats:italic>H<\/jats:italic><jats:sub>0<\/jats:sub> = the set of sentences equivalent in <jats:italic>G<\/jats:italic> to one of <jats:italic>p<\/jats:italic>, \u2212<jats:italic>p<\/jats:italic>, \u22a4, and \u22a5; <jats:italic>H<\/jats:italic><jats:sub>n+x<\/jats:sub> = the set of sentences equivalent in <jats:italic>G<\/jats:italic> to a truth-functional combination of sentences \u22c4<jats:sup>r<\/jats:sup><jats:italic>B<\/jats:italic>, where <jats:italic>r<\/jats:italic> \u2208 \u03c9 and <jats:italic>B<\/jats:italic> \u2208 <jats:italic>H<\/jats:italic><jats:sub>n<\/jats:sub>. (This definition of the <jats:italic>H<\/jats:italic><jats:sub>n<\/jats:sub>'s differs inessentially from the one given in [3].) Since <jats:italic>r<\/jats:italic> may = 0, <jats:italic>H<\/jats:italic><jats:sub>n<\/jats:sub> \u2286 <jats:italic>H<\/jats:italic><jats:sub>n+1<\/jats:sub> and thus if <jats:italic>m<\/jats:italic> \u2264 n, <jats:italic>H<\/jats:italic><jats:sub>m<\/jats:sub> \u2286 <jats:italic>H<\/jats:italic><jats:sub>n<\/jats:sub>; every modal sentence containing no letter other than <jats:italic>p<\/jats:italic> is in some <jats:italic>H<\/jats:italic><jats:sub>n<\/jats:sub>. It follows from the normal form theorem for letterless sentences that every letterless sentence is in <jats:italic>H<\/jats:italic><jats:sub>1<\/jats:sub>.<\/jats:p><jats:p>In [3] Solovay stated without proof a result about the sets <jats:italic>H<\/jats:italic><jats:sub>n<\/jats:sub>: for every <jats:italic>n, H<\/jats:italic><jats:sub>n<\/jats:sub> \u228a H<jats:sub>n+1<\/jats:sub>; equivalently, for every <jats:italic>n<\/jats:italic>, there is a sentence containing no letter other than <jats:italic>p<\/jats:italic> not in <jats:italic>H<\/jats:italic><jats:sub>n<\/jats:sub>. Thus the existence of a normal form for letterless sentences is a <jats:italic>very<\/jats:italic> special feature of these sentences, for Solovay's result shows that normal forms like those obtainable for letterless sentences are not to be found in general. He takes this result to be one reason for regarding the Lindenbaum algebra in G of sentences containing no letter other than <jats:italic>p<\/jats:italic> as much more complicated than that of letterless sentences.<\/jats:p>","DOI":"10.2307\/2273593","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T18:00:58Z","timestamp":1146938458000},"page":"638-640","source":"Crossref","is-referenced-by-count":0,"title":["On the nonexistence of certain normal forms in the logic of provability"],"prefix":"10.1017","volume":"47","author":[{"given":"George","family":"Boolos","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200044005_ref002","volume-title":"The unprovability of consistency: an essay in modal logic","author":"Boolos","year":"1979"},{"key":"S0022481200044005_ref001","first-page":"779","volume":"41","author":"Boolos","year":"1976","journal-title":"On deciding the truth of certain statements involving the notion of consistency"},{"key":"S0022481200044005_ref003","doi-asserted-by":"publisher","DOI":"10.1007\/BF02757006"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200044005","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T16:47:29Z","timestamp":1558716449000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200044005\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982,9]]},"references-count":3,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1982,9]]}},"alternative-id":["S0022481200044005"],"URL":"https:\/\/doi.org\/10.2307\/2273593","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1982,9]]}}}