アフィリエイト広告を利用しています

広告

posted by fanblog

2024年09月11日

フォーマットのシフト15ーモンターギュ文法のシュガーリング

(46) Die Hilfsregelungen
(REFL) C (a, a) > C (a, REFL (A)) für C: (A) (A) prop atomic.
(M) für jedes atomares C und Variable x,
C(d (p * x))>C(d (Mx))
C (d (p * x), b) > C (d (Mx), b)
C (a, d (p * x)) > C (a, d (Mx)), wenn a kein Mx enthält;
p * x ist irgendein x, p (x), p (p (x)) und d (c) ist c, Vetter (c), Mutter (Vetter (c)).

Die Regelung (M) erzeugt z.B.,

schlafen (x) > schlafen (Mx);
lieben (Vetter (p (x)), p (x)) > lieben (Vetter (Mx), p (x));
verwenden (p (q (x)), p (x)) > verwenden (p (q (x)), Mx).
(SPECTRUM) C (a) > C (a {PRON (A), die-N (A)}) für C: (A)α.

Die Operationen S und N.
(THERE) S (A) > es_ist_INDEF-N (A).

(Q) S((肺:A)B)>
S (B [{INDEF-N (A), ein-N (A), ein gewisses N (A)} / Mx])
S ((Πx: A) B) >
S (B [{jedes-N (A), ein-N (A), jedes-N(A)} / Mx])
wenn es ein Mk in B gibt.
(C) S ((肺: A) B) > (S (A))_und_(S(B))
S (Πx: A) B) > wenn_(S(A))_(S(A))_(S(B))
(R) N ((肺: A) B) > (N (A)) - REL (x: A) - (S(B))

(N0) N(C) > C
(VI) S (C (a)) > a_VF (C)
(V2) S (C (a, b)) > a_VF (C) _ACC (b)
(Al) S (C (a)) > a_VF (sein) _C
(T0) c > c
(T1) c (a) > GEN (a, c)

Die Sugaringsregelungen nehmen die morphologischen Operatoren VF (verb form), ACC (accusative), GEN (genetive), INDEF (indifinite article), PRON (personal pronoun of type A), INDEF-A (“A” preceded by “a” or “an”),PRON (A) (personal pronoun of type A) und REL (x: A) (relative pronoun).
 Die Pronomen und die Phrasen haben ähnliche Quasikategorisierungen.

(47)
PRON < (X) (x) x: (X: set) (X) X,
the < (X) (x) X: (X: set) (X) X.

Hier handelt es sich darum, zu illustrieren, wie der abhängige Bereich der Anapher erzeugt wird. Die Proposition "verwenden" (p(z), p(q(z))), die im Kontext “z: (肺: Mann) (輩: Bleistift) besitzen (x, y)"> geformt wird, enthält freie Erscheinungen der Variable z, die ein Objekt im Kontext erwähnt. Kraft der Propositionen wie Typentheorie werden die Abhängigkeit der Anapher und die Präsuppositionen in solchem Sinn bewertet, daß man die Wahrheit einer gegebenen Propositionen präsupponieren kann, um eine weitere Proposition zu formen.

(48) B: prop (A: true) bedeutet B: prop (x: A).

 Um ein Text darzustellen, wird es schon erklärt, daß die volle Darstellung eines indikativen Satzes keine Proposition, sondern ein Urteil der Form a: A ist. Für einen gegebenen indikativen Satz kann der Beweis im allgemeinen als keine Konstante, sondern als eine Variable wieder hergestellt werden. Das Text wird als das Kontext der folgenden Form dargestellt.

(49) x1:A1,...,xn:An,

wo jede Proposition Ak abhängig vom vorausgehenden Kontext ist. Die intuitionistische Logik nimmt diesen Weg an, um die Dynamischheit eines Textes zu behandeln.

花村嘉英(2005)「計算文学入門−Thomas Mannのイロニーはファジィ推論といえるのか?」より
この記事へのコメント
コメントを書く

お名前:

メールアドレス:


ホームページアドレス:

コメント:

※ブログオーナーが承認したコメントのみ表示されます。

この記事へのトラックバックURL
https://fanblogs.jp/tb/12700652
※ブログオーナーが承認したトラックバックのみ表示されます。

この記事へのトラックバック
ファン
検索
<< 2024年09月 >>
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30          
最新記事
写真ギャラリー
最新コメント
タグクラウド
カテゴリーアーカイブ
プロフィール
花村嘉英さんの画像
花村嘉英
花村嘉英(はなむら よしひさ) 1961年生まれ、立教大学大学院文学研究科博士後期課程(ドイツ語学専攻)在学中に渡独。 1989年からドイツ・チュービンゲン大学に留学し、同大大学院新文献学部博士課程でドイツ語学・言語学(意味論)を専攻。帰国後、技術文(ドイツ語、英語)の機械翻訳に従事する。 2009年より中国の大学で日本語を教える傍ら、比較言語学(ドイツ語、英語、中国語、日本語)、文体論、シナジー論、翻訳学の研究を進める。テーマは、データベースを作成するテキスト共生に基づいたマクロの文学分析である。 著書に「計算文学入門−Thomas Mannのイロニーはファジィ推論といえるのか?」(新風舎:出版証明書付)、「从认知语言学的角度浅析鲁迅作品−魯迅をシナジーで読む」(華東理工大学出版社)、「日本語教育のためのプログラム−中国語話者向けの教授法から森鴎外のデータベースまで(日语教育计划书−面向中国人的日语教学法与森鸥外小说的数据库应用)」南京東南大学出版社、「从认知语言学的角度浅析纳丁・戈迪默-ナディン・ゴーディマと意欲」華東理工大学出版社、「計算文学入門(改訂版)−シナジーのメタファーの原点を探る」(V2ソリューション)、「小説をシナジーで読む 魯迅から莫言へーシナジーのメタファーのために」(V2ソリューション)がある。 論文には「論理文法の基礎−主要部駆動句構造文法のドイツ語への適用」、「人文科学から見た技術文の翻訳技法」、「サピアの『言語』と魯迅の『阿Q正伝』−魯迅とカオス」などがある。 学術関連表彰 栄誉証書 文献学 南京農業大学(2017年)、大連外国語大学(2017年)
プロフィール
×

この広告は30日以上新しい記事の更新がないブログに表示されております。