Die Arbeit behandelt das Verhältnis von Beobachtungs- und theoretischer Sprache anhand der Typenlogik und der Erkenntnistheorie Bertrand Russells. Seine Typentheorie wird auf seine Erkenntnistheorie angewandt. Seine Typentheorie macht deutlich, warum schon aus formalen Gründen eine theoriefreie Beobachtungssprache unmöglich ist.

Klappentext

Die Arbeit behandelt das Verhältnis von Beobachtungs- und theoretischer Sprache anhand der Typenlogik und der Erkenntnistheorie Bertrand Russells. Seine Typentheorie wird auf seine Erkenntnistheorie angewandt. Seine Typentheorie macht deutlich, warum schon aus formalen Gründen eine theoriefreie Beobachtungssprache unmöglich ist.

Inhalt

Aus dem Inhalt: Russells Erkenntnistheorie setzt eine Gesamtsprache voraus, innerhalb derer dann logische, semantische Unterscheidungen vorgenommen werden. Die Vorgabe einer erfahrungsunabhängigen Sprache wie der Typenlogik heisst Theorie bereits im Ansatz.