Diskussion:Prädikativ
Letzter Kommentar: vor 14 Jahren von Claude J
Hallo, es müsste hier eine Begriffserklärung geben, denn es gibt nicht nur das linguistische prädikativ, sondern auch das der Programmiersprache.
Ich habe den Begriff "prädikative Logik" nachschauen wollen, da hilft mir diese BKL nicht weiter. --Franczeska 21:36, 13. Jul. 2008 (CEST)
- Das ist die Prädikatenlogik, siehe auch Prädikat (Logik). Die Begriffsklärung stimmt nicht ganz, weil Prädikativ (Grammatik) ein Substantiv ist und prädikativ (formale Logik/Informatik) ein Adjektiv. Eine "prädikative Programmiersprache" ist, glaube ich, dasselbe wie eine logische Programmiersprache, aber ich finde keine gut zitierbare Quelle dazu. Das scheint sich aber direkt aus dem Begriff aus der Logik herzuleiten. In einer prädikativen Sprache wird mit logischen Aussagen programmiert. Z.B. diese sogenannten Expertensysteme, die vor ein paar Jahren so gehypt wurden und von denen heute niemand mehr etwas wissen will.--87.162.15.151 09:11, 16. Feb. 2009 (CET)
Prädikativ (bzw. imprädikativ) ist auch ein Begriff der Beweistheorie.--Claude J 15:15, 20. Dez. 2009 (CET)