2024年09月11日
フォーマットのシフト１１ーモンターギュ文法のシュガーリング
(23)
Urteil Wo bedeutet daß
A: prop - A ist eine Proposition.
A=B: prop A: prop, B: prop A und B sind gleiche Propositionen.
a: A A: prop a ist ein Beweis von A.
a=b: A A: prop, a: A, b: A a und b sind gleiche Beweise von A.
Der Urteil einer Form "A ist eine wohlgeformte Formel" entspricht der Form "A: prop” und der Urteil einer Form “A ist wahr” entspricht der Form “a: A”. Allerdings muß der Beweis für die Formalisierung einer Folge der Sätzen explizit gemacht werden.
(24) Ein Mann keucht.
wird formalisiert wie folgt.
(25) (∑x: Mann) keuchen (x).
Das entspricht der Formel der Prädikatenrechnungen wie (26).
(26) (∃x)(Mann (x) & keuchen (x)).
Der große Bereich kann auch verwendet werden.
(27) (∑x: D)(Mann (x) & keuchen (x)).
Solche Form ist allerdings für die richtige Formalisierung der Ausdrürcke wie “jeder” und “meist” gebraucht.
(28) Jeder Mann keucht.
(29) (Πx: Mann) keuchen (x).
Durch eine einfache Regelung (Q), die für "Sugaring" der quantifizierten Propositionen in die deutschen Sätze gegeben wird, und durch die Regelungen für “Sugaring” der atomaren Propositionen kann ein Satz (68) aus (69) abgeleitet werden. Die obengenannte Typentheorie ist polymorphisch.
(30) (Πx: Patient) (∑y: Thermometer) besitzen (x, y)
> Jeder Patient besitzt einen Thermometer.
(30) ist ein Beispiel mit zwei Quantoren. Das Zeichen “>” zwischen zwei Ausdrücken wird als “can be sugared into” gelesen.
花村嘉英（2005）「計算文学入門－Thomas Mannのイロニーはファジィ推論といえるのか？」より
Urteil Wo bedeutet daß
A: prop - A ist eine Proposition.
A=B: prop A: prop, B: prop A und B sind gleiche Propositionen.
a: A A: prop a ist ein Beweis von A.
a=b: A A: prop, a: A, b: A a und b sind gleiche Beweise von A.
Der Urteil einer Form "A ist eine wohlgeformte Formel" entspricht der Form "A: prop” und der Urteil einer Form “A ist wahr” entspricht der Form “a: A”. Allerdings muß der Beweis für die Formalisierung einer Folge der Sätzen explizit gemacht werden.
(24) Ein Mann keucht.
wird formalisiert wie folgt.
(25) (∑x: Mann) keuchen (x).
Das entspricht der Formel der Prädikatenrechnungen wie (26).
(26) (∃x)(Mann (x) & keuchen (x)).
Der große Bereich kann auch verwendet werden.
(27) (∑x: D)(Mann (x) & keuchen (x)).
Solche Form ist allerdings für die richtige Formalisierung der Ausdrürcke wie “jeder” und “meist” gebraucht.
(28) Jeder Mann keucht.
(29) (Πx: Mann) keuchen (x).
Durch eine einfache Regelung (Q), die für "Sugaring" der quantifizierten Propositionen in die deutschen Sätze gegeben wird, und durch die Regelungen für “Sugaring” der atomaren Propositionen kann ein Satz (68) aus (69) abgeleitet werden. Die obengenannte Typentheorie ist polymorphisch.
(30) (Πx: Patient) (∑y: Thermometer) besitzen (x, y)
> Jeder Patient besitzt einen Thermometer.
(30) ist ein Beispiel mit zwei Quantoren. Das Zeichen “>” zwischen zwei Ausdrücken wird als “can be sugared into” gelesen.
花村嘉英（2005）「計算文学入門－Thomas Mannのイロニーはファジィ推論といえるのか？」より
【このカテゴリーの最新記事】
-
no image
-
no image
-
no image
-
no image
-
no image
この記事へのコメント
コメントを書く
この記事へのトラックバックURL
https://fanblogs.jp/tb/12700646
※ブログオーナーが承認したトラックバックのみ表示されます。
この記事へのトラックバック
