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. The name is absent
2. AN EMPIRICAL INVESTIGATION OF THE PRODUCTION EFFECTS OF ADOPTING GM SEED TECHNOLOGY: THE CASE OF FARMERS IN ARGENTINA
3. Individual tradable permit market and traffic congestion: An experimental study
4. Ability grouping in the secondary school: attitudes of teachers of practically based subjects
5. The purpose of this paper is to report on the 2008 inaugural Equal Opportunities Conference held at the University of East Anglia, Norwich
6. Computational Experiments with the Fuzzy Love and Romance
7. The name is absent
8. EMU: some unanswered questions
9. Making International Human Rights Protection More Effective: A Rational-Choice Approach to the Effectiveness of Ius Standi Provisions
10. Analyzing the Agricultural Trade Impacts of the Canada-Chile Free Trade Agreement