Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie



1 Zum grammatischen Rahmen

(ii) Die abzahlbar unendliche Menge PAR = {xi | i N}, wobei fur alle i, j N mit i ≠ j:
xi ≠ Xj und xi {xii}, (die Menge der Parameter; Metavariablen: β, β', β*, ..),

(iii) Die abzahlbar unendliche Menge VAR = {xi | i N}, wobei fur alle i, j N mit i ≠ j:
xi ≠ X
j und xi {xii}, (die Menge der Variablen; Metavariablen: ξ, ζ, ω, ξ', ζ', ω', ξ*,
ζ*, ω*, .),

(iv) Die abzahlbar unendliche Menge FUNK = {fi,j∙ | i N{0} und j N}, wobei fur alle
i, k
N{0} und j, l N mit (i, j) ≠ (k, l): fij ≠ fkl und fij {f,j}, (die Menge der
Funktoren; Metavariablen:
φ, φ', φ*, ..),

(v) Die abzahlbar unendliche Menge PRA = {=} {Pi,j| i N{0} und j N}, wobei
{=} c≡ {P
ii.j | i N{0} und j N} und fur alle i, k N{0} und j, l N mit (i, j) ≠
(k,
l): Pij ≠ Pk.l und Pii.j {Pii.j}, (die Menge der Pradikatoren; Metavariablen: Φ, Φ',
Φ*, ∙∙∙),

(vi) Die Funfermenge JUNK = {—, →, →, , } (die Menge der Junktoren; Metavariab-
len:
ψ, ψ', ψ*, ..),

(vii) Die Zweiermenge QUANT = {Λ, V} (die Menge der Quantifikatoren; Metavariablen:
∏, ∏', ∏*, .),

(viii) Die Zweiermenge PERF = {Sei, Also} (die Menge der Performatoren; Metavariab-
len:
Ξ, Ξ', Ξ*, ...) und

(ix) Die Dreiermenge HZ = {(} {)} {,} (die Menge der Hilfszeichen).

Die metasprachlichen Ausdrucke, durch die die Elemente der Mengen PERF und HZ be-
zeichnet
werden, werden im Folgenden auβerdem als metasprachliche Performatoren und
Hilfszeichen
verwendet, gleiches gilt fur den Identitatspradikator. Um Konfusionen zu
vermeiden und die intuitive Lesbarkeit zu erhohen, werden daher im Folgenden Quasian-
fuhrungszeichen ('π, n') verwendet, wenn objektsprachliche Ausdrucke bezeichnet wer-
den sollen. Als allgemeine Metavariablen fur objektsprachliche Ausdrucke dienen: μ, τ,
μ', τ', μ*, τ*, .. Das Inventar von L soll nun einfach die Menge aus den in Postulat 1-1
geforderten Mengen sein:

Definition 1-1. Das Inventar von L (INV)

INV = {KONST, PAR, VAR, FUNK, PRA, JUNK, QUANT, PERF, HZ}.

Die Syntax von L enthalt die Kategorien der Terme, Quantoren, Formeln und Satze ge-
maβ der weiter unten angegebenen Definitionen. Zunachst wird jedoch die Menge der
Grundausdrucke etabliert:



More intriguing information

1. On Evolution of God-Seeking Mind
2. BODY LANGUAGE IS OF PARTICULAR IMPORTANCE IN LARGE GROUPS
3. Les freins culturels à l'adoption des IFRS en Europe : une analyse du cas français
4. The Distribution of Income of Self-employed, Entrepreneurs and Professions as Revealed from Micro Income Tax Statistics in Germany
5. The name is absent
6. Temporary Work in Turbulent Times: The Swedish Experience
7. Problems of operationalizing the concept of a cost-of-living index
8. Modellgestützte Politikberatung im Naturschutz: Zur „optimalen“ Flächennutzung in der Agrarlandschaft des Biosphärenreservates „Mittlere Elbe“
9. Neighborhood Effects, Public Housing and Unemployment in France
10. The name is absent
11. The name is absent
12. The name is absent
13. THE EFFECT OF MARKETING COOPERATIVES ON COST-REDUCING PROCESS INNOVATION ACTIVITY
14. Needing to be ‘in the know’: strategies of subordination used by 10-11 year old school boys
15. Density Estimation and Combination under Model Ambiguity
16. The economic doctrines in the wine trade and wine production sectors: the case of Bastiat and the Port wine sector: 1850-1908
17. The name is absent
18. A Rare Case Of Fallopian Tube Cancer
19. Modelling Transport in an Interregional General Equilibrium Model with Externalities
20. Fiscal Sustainability Across Government Tiers