Add to ORKGZiel dieses Artikels ist es, die Natur von Propositionen, ihre Bestandteile und die Art ihrer Verknüpfung genauer zu analysieren und dadurch auch zu einer sehr viel präziseren und durchsichtigeren (nicht opaken) formalen Darstellung von Propositionen zu gelangen. Die Grundidee ist, Propositionen als Folgen von Erkenntnisoperationen zu konzipieren. Diese durchsichtigere Formalisierung hat eine Reihe von Vorteilen. Mit ihr können beispielsweise die Gehalte propositionaler Einstellungen in einem gewissen Sinne extensional dargestellt werden, so daß man in sie hineinquantifizieren kann - wodurch wiederum bestimmte Ausdrucksweisen der Alltagssprache formalisiert werden können, die bisher nicht zu formalisieren waren. Des weiteren werden Fragen ü...