Kowa: /* Definition (Gellert, Kästner, Neuber (1979)){{Quelle|Gellert, Kästner, Neuber (1979)}} */

2016-08-16T09:54:12Z

Definition (Gellert, Kästner, Neuber (1979)){{Quelle|Gellert, Kästner, Neuber (1979)}}

← Nächstältere Version		Version vom 16. August 2016, 09:54 Uhr
Zeile 8:		Zeile 8:
	==Definition ([[Gellert, Kästner, Neuber (1979)]])<ref>{{Quelle\|Gellert, Kästner, Neuber (1979)}}</ref>==		==Definition ([[Gellert, Kästner, Neuber (1979)]])<ref>{{Quelle\|Gellert, Kästner, Neuber (1979)}}</ref>==

	''Theorie der Prädikate beliebiger Stellenzahl und Stufe; zugleich Erweiterung der [[Aussagenlogik]], die dadurch entsteht, daß man den ''inneren Aufbau'' einfachster [[Aussage]]n berücksichtigt, die von der Form »das Prädikat $P$ tifft auf die Dinge $a_1, \ldots, a_n$ zu« sind, und daß man [[Quantifizierung]]en in die Betrachtung einbezieht.''		''Theorie der Prädikate beliebiger Stellenzahl und Stufe; zugleich Erweiterung der [[Aussagenlogik]], die dadurch entsteht, daß man den '''inneren Aufbau''' einfachster [[Aussage]]n berücksichtigt, die von der Form »das Prädikat $P$ tifft auf die Dinge $a_1, \ldots, a_n$ zu« sind, und daß man [[Quantifizierung]]en in die Betrachtung einbezieht.''

	[...]		[...]

	''Je nach Art der erlaubten Quantifizierung unterscheidet man verschiedene P.en: in der ''P. der ersten Stufe'' dürfen nur [[Individuen]]variablen quantifiziert werden, in der ''P. der zweiten Stufe'' dürfen Individuenvariablen und ~~Prödikate~~ der ersten Stufe quantifiziert werden; allgemein dürfen in der ''P. der $(n+1)$-ten Stufe'' Individuenvariablen und Prädikate bis $n$-ter Stufe quantifiziert werden.''		''Je nach Art der erlaubten Quantifizierung unterscheidet man verschiedene P.en: in der '''P. der ersten Stufe''' dürfen nur [[Individuen]]variablen quantifiziert werden, in der '''P. der zweiten Stufe''' dürfen Individuenvariablen und Prädikate der ersten Stufe quantifiziert werden; allgemein dürfen in der '''P. der $(n+1)$-ten Stufe''' Individuenvariablen und Prädikate bis $n$-ter Stufe quantifiziert werden.''

	==Quellen==		==Quellen==

Kowa: Die Seite wurde neu angelegt: „{{Qualität |correctness = 4 |extent = 1 |numberOfReferences = 5 |qualityOfReferences = 5 |conformance = 5 }} ==Definition (Gel…“

2016-08-16T09:52:24Z

Die Seite wurde neu angelegt: „{{Qualität |correctness = 4 |extent = 1 |numberOfReferences = 5 |qualityOfReferences = 5 |conformance = 5 }} ==Definition (Gel…“

Neue Seite

{{Qualität
|correctness = 4
|extent = 1
|numberOfReferences = 5
|qualityOfReferences = 5
|conformance = 5
}}
==Definition ([[Gellert, Kästner, Neuber (1979)]])<ref>{{Quelle|Gellert, Kästner, Neuber (1979)}}</ref>==

''Theorie der Prädikate beliebiger Stellenzahl und Stufe; zugleich Erweiterung der [[Aussagenlogik]], die dadurch entsteht, daß man den ''inneren Aufbau'' einfachster [[Aussage]]n berücksichtigt, die von der Form »das Prädikat $P$ tifft auf die Dinge $a_1, \ldots, a_n$ zu« sind, und daß man [[Quantifizierung]]en in die Betrachtung einbezieht.''

[...]

''Je nach Art der erlaubten Quantifizierung unterscheidet man verschiedene P.en: in der ''P. der ersten Stufe'' dürfen nur [[Individuen]]variablen quantifiziert werden, in der ''P. der zweiten Stufe'' dürfen Individuenvariablen und Prödikate der ersten Stufe quantifiziert werden; allgemein dürfen in der ''P. der $(n+1)$-ten Stufe'' Individuenvariablen und Prädikate bis $n$-ter Stufe quantifiziert werden.''

==Quellen==
<references/>

[[Kategorie:Logik]]

Prädikatenlogik - Versionsgeschichte

Kowa: /* Definition (Gellert, Kästner, Neuber (1979)){{Quelle|Gellert, Kästner, Neuber (1979)}} */

Kowa: Die Seite wurde neu angelegt: „{{Qualität |correctness = 4 |extent = 1 |numberOfReferences = 5 |qualityOfReferences = 5 |conformance = 5 }} ==Definition (Gel…“