Sprachlogik

Mit der prazisen Ausarbeitung der Quantorenlogik durch Frege und Peanos Formalisierung, die die Zahlentheorie auf ein paar Axiome reduzierte, und seit es schliesslich Russell gelang, in seiner Beschreibungstheorie einen grossen Bereich der naturlichen Sprache der logischen Analyse zuganglich zu machen, konnte man hoffen, das, was in wissenschaftlichen und ausserwissenschaftlichen Satzen gemeint ist, fest umreissbar und eindeutig verfolgbar zu machen. Dass Grossrechenanlagen erstellt und formalisierte Systeme durch Algebraisierung diesen zugefuhrt werden konnten, fuhrte zu einer weiteren Beschleunigung der Vermischung von Logik, Sprachphilosophie und Wissenschaftstheorie. Dabei ergeben sich uberraschende Fallen und Zwickmuhlen. Die sechs Studien zur Logik, Sprachphilosophie und Wissenschaftstheorie, die in diesem Bande vereinigt sind, machen einige von ihnen deutlich, und die Grundfragen, an denen sie sich orientieren, handeln sie teils an eng begrenzten und daher gut uberschaubaren Texten, teils an historischen Verlaufen und teils an systematischen Fragestellungen ab."