Im Traktatus faßt Wittgenstein Wahrheit auf als eine Relation zwischen Zeichen und bezeichnetem Gegenstand, die miteinander verknüpft sind durch die Identität ihrer logischen Form. Die logische Form gilt als intuitiv einsehbar, sie zeigt sich, sie ist jedoch nicht sagbar. Nach den Philosophische Untersuchungen ist der Appell an die Intuition eine "unnötige Ausrede". Der Zusammenhang zwischen Regelausdruck und Regelfolgen wird nicht erklärt durch eine in beiden identische logische Form. Die Beziehung zwischen Sprache und Wirklichkeit wird überhaupt nicht mehr erklärt. Wittgenstein bezweifelt die Möglichkeit jedweder Metatheorie wissenschaftlicher Theorien, nicht jedoch den Sinn von Theorien in den Wissenschaften.

Es geht um Carnaps Konstitution der Qualitätsklassen (qual) mittels der Methode der Quasianalyse. Diese Konstitutionsmethode hat Carnap in seinem Werk Der logische Außau der Welt verwendet. Es wird gezeigt, daß Carnaps Qualitätsdefinition sowohl an technischen als auch an grundsätzlichen Mängeln scheitert. Des weiteren werden Verbesserungsvorschläge der Camapschen Methode, die von Brockhaus, Goodman, Moulines und Eberle gemacht worden sind, untersucht und als inadäquat nachgewiesen.

Feyerabend versucht, seinen Erkenntnisrelativismus für die Frage wie eine freie Gesellschaft beschaffen sein sollte, fruchtbar zu machen. Seine These ist, daß eine freie und demokratisehe Gesellschaft mit den Ideen des Rationalismus unvereinbar sei. Doch diese These ist falsch. Obwohl der Rationalismus im Abendland häufig als Ideologie der Intoleranz mißbraucht wurde, ist er doch ein unentbehrlicher Bestandteil von hochkomplexen demokratischen Gesellschaften. Diese benötigen zu ihrem Funktionieren Schutzstrukturen, welche nur auf der Basis des RationaHsmus legitimierbar sind.

Grundgedanke des paradigm case argument ist, Skepsis gegenüber Ansprüchen auf Tatsachenwissen durch Appell an den Sprachgebrauch zu widerlegen. Die naivsten Formen der Argumentation sind nicht schlüssig; in ihrer weiteren Verwendung und Diskussion ist sie daher in drei unterschiedHchen Richtungen modifiziert worden: durch sprachtheoretische Ergänzungen (zur Rolle von Standards, Lehrbeispielen, Hinweisdefinitionen, Verwendungskriterien, semantischen Beziehungen, Unterscheidungsfunktionen), zu ad hominem-Strategien sowie zu quasi-transzendentalphilosophischen Varianten (Bedeutung impliziert Wahrheit; Sprachbenutzung impliziert Überzeugung; Sprachspielbeherrschung enthält Wissen).

Eine prädikatenlogische Sprache erster Stufe sowie eine modallogische Sprache werden aufgebaut und miteinander verglichen. Für jede dieser Sprachen werden drei verschiedene modelltheoretische Interpretationsmethoden vorgeführt. Es wird gezeigt, daß, wenn man die prädikatenlogischen Sprachen als Versuche ansieht, Teile der Umgangssprache zu formalisieren, sie alle wesentlichen Eigenschaften intensionaler Sprachen aufweisen