Logik: Sammelbezeichnung für die Junktoren, Quantoren u. a. Operatoren (wie z. B. die einstelligen Operatoren »notwendig« und »möglich« der Modallogik), mit deren Hilfe Aussagen zu zusammengesetzten Aussagen zusammengefügt werden. Die formale Logik interessiert sich v. a. für die durch die logischen Partikel definierte Struktur von Aussagen und Aussageformen.
Universal-Lexikon. 2012.