Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie



1.1 Inventar und Syntax


13


Definition 1-5. Stelligkeit

μ ist i-stellig

gdw

(i)   μ FUNK und es gibt j N, so dass μ = f oder

(ii)   μ PRA und es gibt j N, so dass μ = rPij1 oder

(iii) μ = ' 1 und i = 2 oder

(iv) μ = rund i = 1 oder

(v) μ JUNK{ r— } und i = 2 oder

(vi) Es gibt Π QUANT und ξ VAR und μ = rΠξ^l und i = 1 oder

(vii) μ PERF und i = 1.

Definition 1-6. DieMenge der Terme (TERM; Metavariablen: θ, θ', θ*, ...)

TERM = {R | R AUS und

(i) KONST PAR VAR R und

(ii) Wenn {θ0, ., θn-ι} R und φ FUNK n-stellig, dann ⅛(θ0, ., θn-)π
R}.

Hinweis: Leerzeichen dienen hier und im Folgenden nur der besseren Lesbarkeit, sie sind

kein Teil der Ausdrucke. So steht etwa T3.1(c0, c0, c1)^l fur rf3.1(c0,c0,c1)^l.

Definition 1-7. Atomare und funktorale Terme (ATERMundFTERM)

(i) ATERM = KONST PAR VAR,

(ii) FTERM = TERMATERM.

Definition 1-8. Die Menge der Quantoren (QUANTOR)

QUANTOr = {rΠξ' | Π QUANT und ξ VAR}.

Definition 1-9. Die Menge der Formeln (FORM; Metavariablen: Α, Β, Γ, Δ, Α', Β', Γ', Δ', Α*,
Β*, Γ*, Δ*, .
)

FORM = {R | R AUS und

(i)   Wenn {θ0, ., θn-1} TERM und Φ PRA n-stellig, dann rφ(θ0, ., θn,1)^l

R,

(ii) Wenn Δ R, dann r—Δ R,

(iii) Wenn Δ0, Δ1 R und ψ JUNK{ r1}, dann r0 ψ Δι)^l R, und

(iv) Wenn Δ R und ξ VAR und Π QUANT, dann rΠξΔ"1 R}.



More intriguing information

1. Trade and Empire, 1700-1870
2. Manufacturing Earnings and Cycles: New Evidence
3. The Structure Performance Hypothesis and The Efficient Structure Performance Hypothesis-Revisited: The Case of Agribusiness Commodity and Food Products Truck Carriers in the South
4. Shifting Identities and Blurring Boundaries: The Emergence of Third Space Professionals in UK Higher Education
5. AN EXPLORATION OF THE NEED FOR AND COST OF SELECTED TRADE FACILITATION MEASURES IN ASIA AND THE PACIFIC IN THE CONTEXT OF THE WTO NEGOTIATIONS
6. The purpose of this paper is to report on the 2008 inaugural Equal Opportunities Conference held at the University of East Anglia, Norwich
7. Has Competition in the Japanese Banking Sector Improved?
8. A Duality Approach to Testing the Economic Behaviour of Dairy-Marketing Co-operatives: The Case of Ireland
9. Managing Human Resources in Higher Education: The Implications of a Diversifying Workforce
10. Economies of Size for Conventional Tillage and No-till Wheat Production
11. The name is absent
12. An Economic Analysis of Fresh Fruit and Vegetable Consumption: Implications for Overweight and Obesity among Higher- and Lower-Income Consumers
13. Nach der Einführung von Arbeitslosengeld II: deutlich mehr Verlierer als Gewinner unter den Hilfeempfängern
14. The name is absent
15. Connectionism, Analogicity and Mental Content
16. LOCAL PROGRAMS AND ACTIVITIES TO HELP FARM PEOPLE ADJUST
17. Can we design a market for competitive health insurance? CHERE Discussion Paper No 53
18. A Rational Analysis of Alternating Search and Reflection Strategies in Problem Solving
19. The Role of Evidence in Establishing Trust in Repositories
20. The name is absent