atomarer Satz
Auch: Atomsatz, elementare/atomare Aussage, elementare/atomare Formel. Ein Satz, der nicht als Verknüpfung von Aussagesätzen dargestellt werden kann und daher keine ausssagenlogischen Operatoren (→ Aussagenlogik), z.B. nicht, und, oder, enthält. In der Sprache der → Prädikatenlogik ein Satz, der aus einer einfachen Prädikatkonstante und Individuenkonstanten besteht, also auch keine → Quantoren enthält. In der Nichttraditionellen Prädikationstheorie sind atomare Sätze aus Prädikatterminus, singulären Subjekttermini und Prädikationsoperator gebildet (vgl. Wessel 1998, 153ff.). So sind die Sätze Ein Elektron ist negativ geladen und Sokrates läuft atomare Sätze, die → Konjunktion (2) Ein Elektron ist negativ geladen und Sokrates läuft hingegen nicht. In Wittgensteins Tractatus logico-philosophicus ist ein a.S. ein Bild einer atomaren Tatsache.
Lit.: Carnap, R., Bedeutung und Notwendigkeit. 1972. Hieroth, F., Zur formalen Charakterisierung des Satzes. 1962. Wessel, H., Logik. 41998, Wittgenstein, L., Tractatus logico-philosophicus. Philosophische Untersuchungen. Leipzig 1990. MW