In der von mir geäußerten Meinung, daß Ihre inversen Operationen metalogische Begriffe sind, bin ich unsicher geworden, nachdem ich aus der Lektüre Ihres BuchesBDürr, Karl!1930@Neue Beleuchtung einer Theorie von Leibniz. Grundzüge des Logikkalküls, Darmstadt, 1930, das mich sehr interessiert hat, ersehen habe, daß Sie mit „enthalten“ nicht die metalogische Folgebeziehung, sondern die Implikation meinen.
Über Metalogik nenne ich Ihnen folgende Arbeiten der Polen:
TarskiPTarski, Alfred, 1901–1983, poln.-am. Mathematiker und Logiker, Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften.B (Monatsh. Math.u. Phys.I, XXXVII Bd., 2.Heft).
TarskiPTarski, Alfred, 1901–1983, poln.-am. Mathematiker und Logiker, Über einige fundamentale Begriffe der MetamathematikB (Comptes Rendus des séances de la Société des SciencesI Varsovie XXIII. 1930. Classe III.)
LukasiewiczPLukasiewicz, Jan@Łukasiewicz, Jan, 1878–1956, poln. Philosoph, verh. mit Regina Łukasiewicz u. TarskiPTarski, Alfred, 1901–1983, poln.-am. Mathematiker und Logiker, Untersuchungen über den Aussagenkalkül.B ebendort.I
LesnieweskiPLesniewski@Le\'sniewski, Stanisław, 1886–1939, poln. Philosoph, Über die Grundlagen der Ontologie.B ebendort.I
symbol, Grundzüge eines neuen Systems der Grundlagen der MathematikB, (Fundamenta MathematicaeI, XIV, 1921).
LukasiewiczPLukasiewicz, Jan@Łukasiewicz, Jan, 1878–1956, poln. Philosoph, verh. mit Regina Łukasiewicz, Philosophische Bemerkungen zu mehrwertigen Systemen des AussagenkalkülsB (Comptes RendusI wie oben).
Falls die Arbeiten Ihnen dort nicht zugänglich sind, schicke ich Ihnen gerne leihweise meine Sonderdrucke.
Mit den besten Grüßen
