Lexikon der Argumente

 

I 108
Logische Prozedur/Geach: Eine logische Prozedur ist nicht linguistisch, sondern sollte als eine Funktion betrachtet werden. Argumente und Werte müssen jeweils einer bestimmten Kategorie angehören.
Bsp Negation ist eine logische Prozedur.
Satznegation: hat Sätze als Argumente und Werte.
Prädikatnegation: hat Prädikate als Argumente und Werte.
Einsetzen: Das Einsetzen des Namens "Peter" als logisches Subjekt ist selbst eine logische Prozedur: sie hat ein einstelliges Prädikat (non-place predicable) als Argument und liefert einen Satz als Wert. usw.
Das zeigt schon, wie logische Prozeduren definiert werden können:
"P wird für Q in E' eingesetzt, sodass man E erhält", heißt:
"Es gibt einen Ausdruck E'' der der Wert von P für das Argument E ist und E' ist der Wert von Q für E'' als Argument". Vgl. >Identität/Geach, vgl. >Aussagenlogik, >Modallogik, >Mehrwertige Logik, >Epistemische Logik, >Quantifikation, >Formalisierung.