Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie



1.1 Inventar und Syntax

Definition 1-2. Die Menge der Grundausdrucke (GAUS)
GAUS = UINV.

Nun wird die Existenz einer passenden Verkettungsoperation fur Ausdrucke postuliert,
wobei - wie bereits bemerkt - offen gelassen wird, wie diese im Einzelnen auszugestalten
ist. Dazu wird zuerst die Verkettung fur Grundausdrucke und dann, nach der Definition
der Menge der Ausdrucke und der Ausdruckslangenfunktion, die allgemeine Verkettung
von beliebigen Ausdrucken reguliert.

Postulat 1-2. Verkettung von Grundausdrucken7

Die durch Juxtaposition angezeigte Ausdrucksverkettungsoperation ist wohldefiniert und es
gilt:

(i) Fur alle k, j N{0}: Wenn {μ0, .., μk-1} GAUS und {μ'0, .., μ'j} GAUS,
dann:
rμ0... μk-1 = rμ'0... μ'j∙.1 gdw j = k und fur alle ik gilt: μi = μ'i,

(ii) Wenn μ GAUS, dann gibt es kein k N{0, 1}, so dass {μ0, ., μk-1} GAUS und
μ =
'μ ...μ , und

(iii) Fur alle k N{0}: Wenn {μ0, ., μk-1} GAUS, dann ist rμ0...μk-1 ≠ 0 und
'μ. ...μ {rμc...μ }.

Mit der Darstellung durch Juxtaposition wird bereits die Assoziativitat der Ausdrucksver-
kettungsoperation vorausgesetzt. Diese Eigenschaft kann daher als implizit postuliert be-
trachtet werden. Als Obermenge zu allen im weiteren Verlauf zu definierenden grammati-
schen Kategorien wird nun die Menge aller Ausdrucke und im Anschluss die
Langenfunktion fur Ausdrucke definiert:

Definition 1-3. Die Menge der Ausdrucke (AUS; Metavariablen: μ, τ, μ', τ', μ*, τ*, .)

AUS = {'μ ...μ | k N{0} und {μo, ., μfcJ GAUS}.

Definition 1-4. Ausdruckslange (AUSL)

AUSL = {(μ, k) | μ AUS, k N{0} und es gibt {μo, ., μ^} GAUS mit μ = ' μ ... li }

Hier und im Folgenden setzen wir voraus, dass gilt: Wenn k N{0} und {a0, ., ak-1} X, wobei X
{X}, dann gilt fur alle i k: ai {a0, ., ak-1}.



More intriguing information

1. The name is absent
2. Fiscal Reform and Monetary Union in West Africa
3. Julkinen T&K-rahoitus ja sen vaikutus yrityksiin - Analyysi metalli- ja elektroniikkateollisuudesta
4. Does Presenting Patients’ BMI Increase Documentation of Obesity?
5. A Bayesian approach to analyze regional elasticities
6. Three Strikes and You.re Out: Reply to Cooper and Willis
7. Stakeholder Activism, Managerial Entrenchment, and the Congruence of Interests between Shareholders and Stakeholders
8. Before and After the Hartz Reforms: The Performance of Active Labour Market Policy in Germany
9. Unemployment in an Interdependent World
10. Evolving robust and specialized car racing skills
11. The name is absent
12. Palvelujen vienti ja kansainvälistyminen
13. Bargaining Power and Equilibrium Consumption
14. Strengthening civil society from the outside? Donor driven consultation and participation processes in Poverty Reduction Strategies (PRSP): the Bolivian case
15. Climate change, mitigation and adaptation: the case of the Murray–Darling Basin in Australia
16. ISSUES AND PROBLEMS OF IMMEDIATE CONCERN
17. The Veblen-Gerschenkron Effect of FDI in Mezzogiorno and East Germany
18. Experience, Innovation and Productivity - Empirical Evidence from Italy's Slowdown
19. Improvements in medical care and technology and reductions in traffic-related fatalities in Great Britain
20. Synthesis and biological activity of α-galactosyl ceramide KRN7000 and galactosyl (α1→2) galactosyl ceramide