Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie



Definitionsverzeichnis 269

Definition 3-4. KonjunktoreinfOhrungsfunktion (KEF).................................................................................128

Definition 3-5. Konjunktorbeseitigungsfunktion (KBF)................................................................................128

Definition 3-6. BisubjunktoreinfOhrungsfunktion (BEF) .............................................................................. 128

Definition 3-7. Bisubjunktorbeseitigungsfunktion (BBF) ............................................................................. 128

Definition 3-8. AdjunktoreinfOhrungsfunktion (AEF) .................................................................................. 129

Definition 3-9. Adjunktorbeseitigungsfunktion (ABF) ................................................................................. 129

Definition 3-10. NegatoreinfOhrungsfunktion (NEF) ................................................................................... 129

Definition 3-11. Negatorbeseitigungsfunktion (NBF) ................................................................................. 129

Definition 3-12. UniversalquantoreinfOhrungsfunktion (UEF) .................................................................... 129

Definition 3-13. Universalquantorbeseitigungsfunktion (UBF) ................................................................... 130

Definition 3-14. PartikularquantoreinfOhrungsfunktion (PEF) .................................................................... 130

Definition 3-15. Partikularquantorbeseitigungsfunktion (PBF)................................................................... 130

Definition 3-16. Identitatseinfuhrungsfunktion (IEF)..................................................................................130

Definition 3-17. Identitatsbeseitigungsfunktion (IBF).................................................................................131

Definition 3-18. Zuordnung der Menge der regelgemaβen Annahme- und Folgerungsfortsetzungen einer

Sequenz (RGF) .................................................................................................................................... 131

Definition 3-19. Die Menge der regelgemaβen Sequenzen (RGS)...............................................................133

Definition 3-20. Ableitung........................................................................................................................... 135

Definition 3-21. Deduktive Konsequenzschaft ............................................................................................ 139

Definition 3-22. Logische Beweisbarkeit ..................................................................................................... 140

Definition 3-23. Konsistenz ......................................................................................................................... 140

Definition 3-24. Inkonsistenz....................................................................................................................... 140

Definition 3-25. Deduktive Konsequenz fur Mengen .................................................................................. 140

Definition 3-26. Logische Beweisbarkeit fur Mengen ................................................................................. 140

Definition 3-27. Der Abschluss einer Aussagenmenge unter deduktiver Konsequenz ................................ 140

Definition 5-1. Interpretationsfunktion ....................................................................................................... 212

Definition 5-2. Modell................................................................................................................................. 212

Definition 5-3. Belegung ............................................................................................................................. 212

Definition 5-4. Belegungsvariante .............................................................................................................. 212

Definition 5-5. Termdenotationsfunktionen fur Modelle und Belegungen ................................................. 213

Definition 5-6. Termdenotationsoperation (TD) ......................................................................................... 213

Definition 5-7. Erfullungsfunktionen fur Modelle ....................................................................................... 214

Definition 5-8. Vierstelliger modelltheoretischer Erfullungspradikator ('..,..,.., = ..')...............................215

Definition 5-9. Vierstellige modelltheoretische Erfullung fur Mengen ........................................................ 227

Definition 5-10. Modelltheoretische Konsequenz ....................................................................................... 227

Definition 5-11. Allgemeingultigkeit ........................................................................................................... 227



More intriguing information

1. Demographic Features, Beliefs And Socio-Psychological Impact Of Acne Vulgaris Among Its Sufferers In Two Towns In Nigeria
2. The Economic Value of Basin Protection to Improve the Quality and Reliability of Potable Water Supply: Some Evidence from Ecuador
3. Experimental Evidence of Risk Aversion in Consumer Markets: The Case of Beef Tenderness
4. Initial Public Offerings and Venture Capital in Germany
5. The Nobel Memorial Prize for Robert F. Engle
6. Are class size differences related to pupils’ educational progress and classroom processes? Findings from the Institute of Education Class Size Study of children aged 5-7 Years
7. The name is absent
8. Distortions in a multi-level co-financing system: the case of the agri-environmental programme of Saxony-Anhalt
9. The name is absent
10. The East Asian banking sector—overweight?