\brief{Rudolf Carnap an Friedrich Sauer, 10. November 1930}{November 1930} %Wien, den 10. November 1930. \anrede{Sehr geehrter Herr Doktor Sauer!} \haupttext{Ihre Karte, in der Sie Ihr Interesse für die exakte Methode der Philosophie kundtun, hat mich sehr erfreut. Selbstverständlich bin ich gerne bereit, Ihnen meine ,,Logistik``\IC{\logistik} zum Autorpreis zu beschaffen. Ich lasse sie Ihnen vom Verlag\II{\springerverlag} zuschicken und bitte Sie, den Betrag von RM 7,30 auf mein Postcheckkonto München 58567 zu überweisen. Ein Nachweis für die Notwendigkeit der Typentheorie ist im strengen Sinne nicht leicht zu führen. Man kann zeigen -- vgl. Logistik\IC{\logistik} \textsection{}\,9 c -- , daß die bisherige Logik, die keine Typenregel aufstellt, zu Widersprüchen führt, die bei Anwendung der Typenregel nicht auftreten. Weiter ist als historisches Faktum festzustellen, daß bisher noch kein System der Logik veröffentlicht worden ist, dem es gelingt die Widersprüche auszuschalten, ohne eine Typenregel aufzustellen. (Ansätze zu einem solchen System, das aber in anderer Beziehung zu Komplikationen führt, hat Behmann\IN{\behmann} versucht). Wenn Sie beim Studium des ,,Aufbaues``\IC{\konstitutionstheorie} oder der ,,Logistik``\IC{\logistik} auf Schwierigkeiten stoßen, so bin ich zu Erklärungen jederzeit gerne bereit. \blockade{ksl. Notiz} Mit ergebenstem Gruß} \grussformel{Ihr\\ \blockade{ksl.}} \ebericht{Brief, msl. Dsl., 1 Seite, \href{https://doi.org/10.48666/870641}{RC 029-25-05}; Briefkopf: gestempelt \original{Prof. Dr. Rudolf Carnap \,/\, Wien XIII/5 \,/\, Stauffergasse 4}, msl. \original{Wien, den 10.\,November 1930}.}