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 quick and the dead: when reaction beats intention
2. Social Irresponsibility in Management
3. Transport system as an element of sustainable economic growth in the tourist region
4. REVITALIZING FAMILY FARM AGRICULTURE
5. The name is absent
6. On Dictatorship, Economic Development and Stability
7. What Drives the Productive Efficiency of a Firm?: The Importance of Industry, Location, R&D, and Size
8. The name is absent
9. Informal Labour and Credit Markets: A Survey.
10. DEMAND FOR MEAT AND FISH PRODUCTS IN KOREA
11. A production model and maintenance planning model for the process industry
12. Placenta ingestion by rats enhances y- and n-opioid antinociception, but suppresses A-opioid antinociception
13. Spatial patterns in intermunicipal Danish commuting
14. The name is absent
15. FUTURE TRADE RESEARCH AREAS THAT MATTER TO DEVELOPING COUNTRY POLICYMAKERS
16. Parent child interaction in Nigerian families: conversation analysis, context and culture
17. How does an infant acquire the ability of joint attention?: A Constructive Approach
18. The name is absent
19. Constructing the Phylomemetic Tree Case of Study: Indonesian Tradition-Inspired Buildings
20. Eigentumsrechtliche Dezentralisierung und institutioneller Wettbewerb