言語学（意味論）(春学期）

• 授業の概要：意味論とは(言語研究へのさまざまなアプローチ）
  • 受講生の自己紹介
  • PowerPoint に以下の内容を簡単に記載
  • 所属（学部・学科・専修など）・学年・学籍番号・氏名・そのほか自分についての情報
  • この授業を受講することにした理由・きっかけ
  • この授業に期待するところなど
  • これまでの言語学・言語研究についての読書・学習経験など（授業だけに限らず、自分（たち）で本を読んだことなども含めて）
  • 言語学・言語研究と自分の専門分野・将来の進路・職業などとの関連性
  • そのほか、担当教員へのメッセージ
  • 少人数のグループでPowerPointを使って相互に自己紹介
  • PowerPoint のファイルに以下の名前をつけて保存：（保存先は「マイ ドキュメント」または Work (H: )
    OSF-2009-04-08-氏名.ppt
    半角 全角
  • 『課題提出用フォルダ』に提出

• 授業の概要：prolog の初歩・処理系としてのprolog
  • 処理系としての prolog
  • 基本操作
    • SWI-prolog の起動：『スタート』 => 『プログラム』 => 『SWI-prolog』 => 『SWI-prolog』
    • SWI-prolog の終了：halt
    • データ（fact）の登録：assert
    • データ（fact）の一覧：listing
    • データ（fact）の削除：retract
    • データ（fact）の問い合わせ：
  • 知識表現としての prolog
  • 練習1
    • male(john)
    • male(peter)
    • female(mary)
    • female(susan)
  • 練習2
    • gender(john, male)
    • gender(mary, female)
    • gender(peter, male)
    • gender(susan, female)

• 授業の概要：プログラミング言語としてのprolog・状況記述としてのファイル
  • 処理系としての prolog
  • ファイルの読み込み
  • データ（factとrule）の組み合わせ
  • 知識表現としての prolog
  • 練習3
    • male(john).
    • male(peter).
    • female(mary).
    • female(susan).
    • adult(john).
    • adult(mary).
    • child(peter).
    • child(susan).
    • man(X) :- male(X), adult(X).
    • woman(X) :- female(X), adult(X).
    • boy(X) :- male(X), child(X).
    • girl(X) :- female(X), child(X).
  • 練習4
    • husbandof(X,Y) :- spouseof(X,Y), gender(X, male).
    • wifeof(X,Y) :- spouseof(X,Y), gender(X,female).
    • spouseof(paul, susan).
    • spouseof(susan, paul).
    • brotherof(X,Y) :- siblingof(X,Y), gender(X, male).
    • sisterof(X,Y) :- siblingof(X,Y), gender(X, female).
    • siblingof(mary, john).
    • siblingof(john, mary).
    • sonof(X,Y) :- childof(X,Y), gender(X, male).
    • daughterof(X,Y) :- childof(X,Y), gender(X, female).
    • childof(john, paul).
    • childof(john, susan).
    • childof(mary, paul).
    • childof(mary, susan).
    • fatherof(X,Y) :- parentof(X,Y), gender(X, male).
    • motherof(X,Y) :- parentof(X,Y), gender(X, female).
    • parentof(X,Y) :- childof(Y,X).
    • gender(john, male).
    • gender(paul, male).
    • gender(susan, female).
    • gender(mary, female).

• 担当教員体調不良のため休講（補講の予定は未定）

• 振り替え休日：全学休講

• 授業の概要：述語論理(述語と項）
  • 形式言語としての述語論理
    • 「論理」：話の筋道・議論の流れ・出来事の経緯
    • 「論理」：妥当な推論の形式化
    • 「論理」：形式言語（厳密な統語論・意味論が規定されている記号の体系）としての論理
  • 状況の記述
    • 述語論理のほかに、素性構造（素性名と素性値の組み合わせによる素性記述の集まり）による表現も可能。
    • 素性構造 =｛素性記述・素性記述・素性記述・...・素性記述｝
    • 素性記述 = 素性名 + 素性値
      • ｛＜性別 男性＞・＜年齢 25才＞・＜身長 170cm＞・＜年収 800万＞｝
      • [event_type kissing] ・ [kisser John] ・ [kissee Mary] ・ [tense past]
      • [event kiss> ・ [agent John] ・ [patient Mary] ・ [tense past]
  • 命題論理と述語論理の相違点
    • 命題論理では命題は最小の単位で、それより小さな部分に分割されない。
    • 述語論理では命題は述語と項からなる。
      • 命題 = 一項述語 + 項
      • 命題 = 二項述語 + 項(1) + 項(2)
      • 命題 = 三項述語 + 項(1) + 項(2) + 項(3)
  • 例題：以下の英語の文があらわす＜意味＞を prolog と述語論理で表してみよう。
    1. Mary snored.
    2. John kissed Mary.
    3. Mary met John in New York.
    4. Mary arrived in Beijing from New York via Tokyo.
  • Translation Key:
    • Sx: x snored.
    • Kxy: x kissed
    • Mxyz: x met y in z.
    • Axyzr: x arrived in y from z via r.
    • m: Mary
    • j: John
    • n: New York
    • b: Beijing
    • t: Tokyo

• 授業の概要：述語論理(連言・選言・含意・等価）
  • 命題論理と述語論理の共通点
    • 命題と命題が組み合わさって（より大きな）命題が出来上がる。
    • その組み合わせ方としては、
      • ¬ 否定 / not
        Φ という記号のならびが命題であるとき、¬ Φ という記号のならびも命題である。
      • ∧ 連言 / and
        Φ という記号のならびが命題で Ψ という記号の並びが命題であるとき、（Φ ∧ Ψ） という記号のならびも命題である。
      • ∨ 選言 / or
        Φ という記号のならびが命題で Ψ という記号の並びが命題であるとき、（Φ ∨ Ψ） という記号のならびも命題である。
      • → 含意 / if ... then ...
        Φ という記号のならびが命題で Ψ という記号の並びが命題であるとき、（Φ → Ψ） という記号のならびも命題である。
      • ⇔ 等価 / ... if and only if ...
        Φ という記号のならびが命題で Ψ という記号の並びが命題であるとき、（Φ ⇔ Ψ） という記号のならびも命題である。
  • 例題：以下の英語の文があらわす＜意味＞を述語論理で表してみよう。
    1. John is nicer than Peter.
       Translation Key:
       • Nxy: x is nicer than y
       • j: John
       • p: Peter
    2. Charles is nice, but Elsa isn't.
       Translation Key:
       • Nx: x is nice
       • c: Charles
       • e: Elsa
    3. Charles is boring or irritating.
       Translation Key:
       • Bx: x is boring
       • Ix: x is irritating
       • c: Charles
    4. Marion is a happy woman.
       Translation Key:
       • Hx: x is happy
       • Wx: x is a woman
       • m: Marion

• 授業の概要：述語論理(全称命題と存在命題）
  • 全称命題の標準形：
    ∀x(Sx -> Wx)
    for all x, if Sx then Wx
    すべての x について、Sx ならば Wx （が成り立つ）
  • 存在命題の標準形：
    ∃x(Sx ∧ Wx)
    for some x, Tx and Kx
    ある x について, Tx かつ Kx （が成り立つ）
• 提出課題1：
  下記の英文とその意味を述語論理で表した式を記入しなさい。
  1. Mary is a teacher.
  2. Mary is kind.
  3. Mary is not a student. / It is not the case that Mary is a student.
  4. Mary is wise.
  5. Paul is a teacher,
  6. Paul is not kind. / It is not the case that Paul is kind.
  7. Paul is not a student. / It is not the case that Paul is a student.
  8. Paul is not wise. / It is not the case that Paul is wise.
  9. Alex is not a teacher. / It is not the case that Alex is a teacher.
  10. Alex is not kind. / It is not the case that Alex is kind.
  11. Alex is a student.
  12. Alex is wise.
  13. Joe is not a teacher. / It is not the case that Joe is a teacher.
  14. Joe is kind.
  15. Joe is a student.
  16. Joe is wise.
• 提出課題2：
  下記の英文とその意味を述語論理で表した式を記入しなさい。
  1. All teachers are nasty.
  2. Some students are friendly.
  3. Every student loves Marion.
  4. Some teachers love Marion.
  5. Some politicians are honest.
  6. All politicians are ambitious.
  7. It is not the case that all ambitious politicans are honest.
  8. All female students are wise.
  9. Some male teachres are kind.

• 授業の概要：形式言語としての述語論理(全称と存在）形式言語としての述語論理(定項と不定項）
• 提出課題1：
  下記の英文とその意味を述語論理で表した式を記入しなさい。
  1. Every thing is bitter or sweet.
  2. Either every thing is bitter or every thing is sweet.
  3. A whale is a mammal.
  4. Theodor is a whale.
  5. Theodor is a mammal.
  6. If Theodor is a whale, then Theodor is a mammal.
  7. Mary Ann has a new bicycle.
  8. Mary Ann owns a new bicycle.
  9. Mary Ann owns Haruurara.
  10. Mary Ann owns a horse.
  11. Mary Ann owns an old horse.
  12. Everybody loves somebody.
  13. Every person loves some person.
  14. There is somebody who is loved by everybody.
  15. Every person loves John.
  16. John is loved by every person.
  17. Elsie did not get anything from Charles.

• 授業の概要：動詞(句)の意味と名詞（句）の意味
  • [John walks.] => Wj :translation key Wx: x walks. j:john
  • [John] => j
  • [walks] => Wx から x を抜いたもの たとえば W□
  • [John] => j
  • [Mary snores.] => Sm:translation key Sx: x snores. m:mary
  • [Mary] => m
  • [John] => j
  • [snores.] => Sx から x を抜いたもの たとえば S□
  • [dies] => D
  • [John] => j
  • [Every man dies.] => ∀x(Mx -> Dx)
  • [every man] => ∀x(Mx -> Dx) から D を抜いたもの
    たとえば ∀x(Mx -> □x)
  • □: placeholder

• 授業の概要：統語論（文法のモデル）の復習
  • 有限状態文法のモデル：状態遷移図としての文法の表現とその解釈
  • 句構造文法のモデル：句構造規則 + 語彙記述 = 句構造文法
  • 句構造文法の例1（句構造規則と語彙記述）：
    1. S -> NP 　 VP
    2. NP -> PropN
    3. VP -> IV
    4. VP -> TV 　 NP
    5. John: NP
    6. Mary: NP
    7. walks: IV
    8. snores: IV
    9. kissed: TV
    10. kicked: TV
  • 範疇文法のモデル：範疇の再帰的定義・語彙に対する範疇の割り当て・cancellation と三段論法
  • 基本となる category として S と NP を定める。
  • category の組み合わせ方として ／ (slash) と ＼ (backslash) を定める。
    1. ( S／S )
    2. ( S／NP )
    3. ( NP／S )
    4. ( NP／NP )
    5. ( S＼S )
    6. ( S＼NP )
    7. ( NP＼S )
    8. ( NP＼NP )
    9. ( (S／S)／S )
    10. ( (S／S)／NP )
    11. ( (S／NP)／S )
    12. ( (S／NP)／NP )
    13. ( (NP／S)／S )
    14. ( (NP／S)／NP )
    15. ( (NP／NP)／S )
    16. ( (NP／NP)／NP )
  • 単語（と句）に対してcategoryを割り当てる。
    1. John: NP
    2. Mary: NP
    3. snores:(NP＼S)
    4. kissed:((NP＼S)／NP)
  • これにより、単語（と句）の適切なならびに対してcategoryが割り当てられる。
  • cancellation
    • backslash cancellation:
      • 一般にαに属する単語（の並び）と（α＼β）に属する単語（の並び）を連結するとβに属する単語の並びが得られる。
      • 直感的に言い換えると、（α＼β）とは左にαが来るとβとなる category のこと。左にαが来るとβとなる category の左に実際にαが来ると全体としてβとなる、というのがbackslash cancellation。
    • slash cancellation
      • 一般に（β／α）に属する単語（の並び）とαに属する単語（の並び）を連結するとβに属する単語の並びが得られる。
      • 直感的に言い換えると、（β／α）とは右にαが来るとβとなる category のこと。右にαが来るとβとなる category の右に実際にαが来ると全体としてβとなる、というのがslash cancellation。
• 出席確認課題：次の英文のあらわす意味を述語論理で表しなさい。
  1. John loves himself.
  2. Every man loves himself.
  3. John and Mary love each other.
  4. John and Mary love themselves.
  5. Every man loves every woman.

• 授業の概要：λ-abstraction / λ-conversion
  • λ-abstraction / lambda-abstraction
  • Sx に対して λx[Sx] と書くと S□ を考える。
  • Wx に対して λx[Wx] と書くと W□ を考える。
  • ∀x(Mx -> Dx) に対して λQ[∀x(Mx -> Qx)] と書くと ∀x(Mx -> □x) を考える。
  • λ-conversion / lambda-conversion
  • λx[Sx] j => Sj
  • λx[Wx] m => Wm
  • λQ[∀x(Mx -> Qx)] D => ∀x(Mx -> Dx)
  • λ-abstraction / λ-conversion の解釈
  • 形式言語としての述語論理の高階論理への拡張としての解釈
  • 記号列に対する置換操作としての解釈
  • 関数適用としての解釈
  • 練習問題
  • 関数とは値と値の間の対応付けのうち、一定の条件を満たすもの
    f = λ[(x × x)]
  • x -> f(x) = (x × x)
  • 1 -> 1 = f(1)
  • 2 -> 4 = f(2)
  • 3 -> 9 = f(3)
  • 4 -> 16 = f(4)
  • 5 -> 25 = f(5)
  • f(3) = λx[(x × x)] (3) = [(□ × □)] (3) = (3 × 3) = 9
• 授業の概要：動詞(句)の意味と名詞（句）の意味
  • 動詞句の意味
  • John snores.
    Sj
    Sx: x snores.
    j: John
  • John loves Mary.
    Ljm
    Lxy: x loves y.
    j: John m: Mary
  • John loves himself.
    Ljj
    Lxy: x loves y.
    j: John
  • snores: S / λx(Sx)
    
  • loves Mary: λx(Lxm)
    
  • loves himself: λx(Lxx)
    
  • 名詞句の意味
  • John loves himself.
    Ljj
    Lxy: x loves y.
    j: John
  • Every man snores.
    ∀x(Mx -> Sx)
    Sx: x snores. Mx: x is a man.
  • Every man loves Mary.
    ∀x(Mx -> Lxm)
    Lxy: x loves y.
    Mx: x is a man.
    m: Mary
  • Every man loves himself.
    ∀x(Mx -> Lxx)
    Lxy: x loves y.
    Mx: x is a man.
  • every man: λP(∀x(Mx -> Px))
    
  • John: j / λP(Pj)
    

• 授業の概要：
  • 命題論理の統語論（述語論理にも大部分適用可能）
    1. 基本的命題を表す記号はそのままで命題となる。
    • p, q, r, ...
      p1, q2, r3, ....
    2. Φ という記号のならびが命題であり、ψ という記号のならびも命題であるとき、以下の記号の並びもまた命題である。
       1. ¬ 否定 / not
          Φ という記号のならびが命題であるとき、¬ Φ という記号のならびも命題である。
       2. ∧ 連言 / and
          Φ という記号のならびが命題で Ψ という記号の並びが命題であるとき、（Φ ∧ Ψ） という記号のならびも命題である。
       3. ∨ 選言 / or
          Φ という記号のならびが命題で Ψ という記号の並びが命題であるとき、（Φ ∨ Ψ） という記号のならびも命題である。
       4. → 含意 / if ... then ...
          Φ という記号のならびが命題で Ψ という記号の並びが命題であるとき、（Φ → Ψ） という記号のならびも命題である。
       5. ⇔ 等価 / ... if and only if ...
          Φ という記号のならびが命題で Ψ という記号の並びが命題であるとき、（Φ ⇔ Ψ） という記号のならびも命題である。
    3. これ以外に命題となる記号のならびはない。
  • 例題：p, q, r, s が基本的命題を表す記号であるとき、以下の記号のならびが命題であるかどうか検討しなさい。
    1. p
    2. ¬ q
    3. p ∧ q
    4. ( p ∨ q )
    5. ( p ∨ q ∧ r)
    6. ( ( p ∨ q ) ∧ ( r -> s) )
  • 命題論理の意味論
    1. 基本的命題は true または false である。
    • eval(p) = true
    • eval(q) = false
    • eval(r) = false
    • eval(s) = true
    2. Φ という記号のならびが命題であり、ψ という記号のならびも命題であるとき、以下の記号の並びの真偽値は以下のとおり。
       1. ¬ 否定 / not
          eval(Φ)=true のとき eval(¬ Φ)= false となる。
          eval(Φ)=false のとき eval(¬ Φ)= true となる。
       2. ∧ 連言 / and
          eval (Φ) = true かつ eval (ψ) = true のとき eval（(Φ ∧ Ψ)）= true となる。
          それ以外のとき eval（'Φ ∧ Ψ)）= false となる。
       3. ∨ 選言 / or
          eval (Φ) = true または eval (ψ) = true のとき eval（(Φ ∨ Ψ)）= true となる。
          それ以外のとき eval（(Φ ∧ Ψ)）= false となる。
       4. → 含意 / if ... then ...
          eval (Φ) = true かつ eval (ψ) = false のとき eval（(Φ → Ψ)）= false となる。
          それ以外のとき eval（(Φ ∧ Ψ)）= true となる。
       5. ⇔ 等価 / ... if and only if ...
          eval (Φ) = true のとき eval (ψ) = true で eval (Φ) = false のとき eval (ψ) = false ならば
          eval（(Φ ∧ Ψ)）= true となる。それ以外の場合 eval（(Φ ∧ Ψ)）= false となる。
    3. これ以外に命題となる記号のならびはない。
  • 例題：eval(p) = true, eval(q) = false, eval(r) = false, eval(s) = true であるとき、以下の記号のならびの真偽値を検討しなさい。
    1. p
    2. ¬ q
    3. (p ∧ q)
    4. ( p ∨ q )
    5. ( (p ∨ q) ∧ r)
    6. ( ( p ∨ q ) ∧ ( r -> s) )
  • 文の等位接続と接続詞の意味論
    • and や or はどのような記号と対応するだろうか？
  • 例題：次の英文を命題論理と述語論理であらわしなさい。semantics-出席番号-氏名-2009-07-01.txt として提出。
    1. John walks and Mary sleeps.
       Translation Key for Propositional Logic:
       p: John walks.
       q: Mary sleeps.
       Translation Key for Predicate Logic:
       Wx: x walks.
       Sx: x sleeps.
       j: John
       m: Mary
    2. John loves Mary or Mary hates John.
       Translation Key for Propositional Logic:
       p: John loves Mary.
       q: Mary hates John.
       Translation Key for Predicate Logic:
       Lxy: x loves y.
       Hxy: x hates y.
       j: John
       m: Mary

• 授業の概要：等位接続の統語論と意味論
  1. 文の等位接続：次の英文を命題論理と述語論理であらわしなさい。
     1. John walks and Mary sleeps.
        Translation Key for Propositional Logic:
        p: John walks.
        q: Mary sleeps.
        Translation Key for Predicate Logic:
        Wx: x walks.
        Sx: x sleeps.
        j: John
        m: Mary
     2. John walks and Mary walks.
        Translation Key for Propositional Logic:
        p: John walks.
        q: Mary wals.
        Translation Key for Predicate Logic:
        Wx: x walks.
        j: John
        m: Mary
     3. John loves Mary or Mary hates John.
        Translation Key for Propositional Logic:
        p: John loves Mary.
        q: Mary hates John.
        Translation Key for Predicate Logic:
        Lxy: x loves y.
        Hxy: x hates y.
        j: John
        m: Mary
     4. John loves Mary or John loves Susan.
        Translation Key for Propositional Logic:
        p: John loves Mary.
        q: John loves Susan.
        Translation Key for Predicate Logic:
        Lxy: x loves y.
        j: John
        m: Mary
        s: Susan
  2. 固有名詞の等位接続：次の英文を命題論理と述語論理であらわしなさい。
     1. John and Mary walk.
        Translation Key for Propositional Logic:
        p: John walks.
        q: Mary walks.
        Translation Key for Predicate Logic:
        Wx: x walks.
        j: John
        m: Mary
     2. John loves Mary or Susan.
        Translation Key for Propositional Logic:
        p: John loves Mary.
        q: John loves Susan.
        Translation Key for Predicate Logic:
        Lxy: x loves y.
        j: John
        m: Mary
        s: susan
  3. 動詞句の等位接続：次の英文を命題論理と述語論理であらわしなさい。
     1. John walks and sleeps.
        Translation Key for Propositional Logic:
        p: John walks.
        q: John sleeps.
        Translation Key for Predicate Logic:
        Wx: x walks.
        Sx: x sleeps.
        j: John
     2. John loves Mary or hates Susan.
        Translation Key for Propositional Logic:
        p: John loves Mary.
        q: John hates Susan.
        Translation Key for Predicate Logic:
        Lxy: x loves y.
        Hxy: x hates y.
        j: John
        m: Mary
        m: Susan
  4. 他動詞句の等位接続：次の英文を命題論理と述語論理であらわしなさい。
     1. John loves or hates Mary.
        Translation Key for Propositional Logic:
        p: John loves Mary.
        q: John hates Mary.
        Translation Key for Predicate Logic:
        Lxy: x loves y.
        Hxy: x hates y.
        j: John
        m: Mary
  5. 名詞句の等位接続：次の英文を命題論理と述語論理であらわしなさい。
     1. Every student and some teacher walk.
        Translation Key for Propositional Logic:
        p: Every student walks.
        q: Some teacher walks.
        Translation Key for Predicate Logic:
        Wx: x walks.
        Sx: x is a student.
        Tx: x is a teacher.
     2. John loves every student and some teacher.
        Translation Key for Propositional Logic:
        p: John loves every student.
        q: John loves some teacher.
        Translation Key for Predicate Logic:
        Lxy: x loves y.
        Sx: x is a student.
        Tx: x is a teacher.

• 授業の概要：
  • 縮退した等位構造の統語論・意味論
  • 様相論理の初歩

• 授業の概要
  • 構成的意味論としてのモンタギュー文法
  • 統語論と意味論の準同型
  • 意味注記付範疇文法のモデル：範疇の再帰的定義・語彙に対する範疇の割り当て・cancellation と三段論法
  • 基本となる category として S と NP を定める。
  • category の組み合わせ方として ／ (slash) と ＼ (backslash) を定める。
    1. ( S／S )
    2. ( S／NP )
    3. ( NP／S )
    4. ( NP／NP )
    5. ( S＼S )
    6. ( S＼NP )
    7. ( NP＼S )
    8. ( NP＼NP )
    9. ( (S／S)／S )
    10. ( (S／S)／NP )
    11. ( (S／NP)／S )
    12. ( (S／NP)／NP )
    13. ( (NP／S)／S )
    14. ( (NP／S)／NP )
    15. ( (NP／NP)／S )
    16. ( (NP／NP)／NP )
  • 単語（と句）に対してcategory と semantic annotation を割り当てる。
    1. John: NP => j
    2. Mary: NP => m
    3. walks:(NP＼S) => λxWx
    4. kissed:((NP＼S)／NP) => λyλxKxy
  • これにより、単語（と句）の適切なならびに対してcategoryが割り当てられる。
  • cancellation
    • backslash cancellation:
      • 一般にαに属する単語の並びと（α＼β）に属する単語の並びを連結するとβに属する単語の並びが得られる。このとき、 β に属する単語の並びの semantic annotation は α に属する単語の並びの semantics annotation に対して（α＼β）に属する単語の並びの semantics annotation を関数適用したものとなる[semantics（β）= semantics (α)・semantics ((α＼β))]。あるいは、β に属する単語の並びの semantic annotation は (α＼β) に属する単語の並びの semantics annotation に対して α に属する単語の並びの semantics annotation を関数適用したものとなる。[semantics （β）= semantics (β＼α)・semantics β]
      • 直感的に言い換えると、（α＼β）とは左にαが来るとβとなる category のこと。左にαが来るとβとなる category の左に実際にαが来ると全体としてβとなる、というのがbackslash cancellation。
    • slash cancellation
      • 一般に（β／α）に属する単語の並びとαに属する単語の並びを連結するとβに属する単語の並びが得られる。このとき、β に属する単語の並びの semantic annotation は （β／α） に属する単語の並びの semantics annotation に対して α に属する単語の並びの semantics annotation を関数適用したものとなる。[semantics（β）= semantics ((β／α）)・semantics (α)]
      • 直感的に言い換えると、（β／α）とは右にαが来るとβとなる category のこと。右にαが来るとβとなる category の右に実際にαが来ると全体としてβとなる、というのがslash cancellation。
• 出席確認課題：意味注記付範疇文法を前提として、可能な範囲で以下の英文を分析してみましょう。
  1. Some students love Mary.
  2. All students love themselves.
  3. Some students love themselves.

規則として表現する研究分野です。述語論理に代表される記号論理の式は，可能な限り正確かつ系統的な表現をするためにめに有効な道具となります。しかしながら，言語表現の「意味」の中には，明確に捉えられなかったり，規則的に捉えきれない要素も含まれています。そのような現象を扱う研究分野を語用論（もしくは運用論）と呼びます。この授業では，道具となる記号論理の基礎をまず学び，それを利用して出来るだけ広い範囲での意味の記述・分析を明確に行えることを目指します。

前期は言語学の中での意味論の位置づけについて論じた後，特に述語論理に基づく形式意味論の導入を行います。記号論理学，特に述語論理についてすでに若干の知識があるか並行して関連科目を履修中なら理解しやすいかも知れませんが，特に前提とはせず初学者でも無理なく理解できるように進めます。また，述語論理に基づく宣言的プログラミング言語prologの実習を並行して行うことで，述語論理に対する直感的な理解を深める一助とします。

後期は意味論と語用論の関係を考察してから，基本的な概念である推意・前提・言語行為（もしくは発話行為）を学びます。これらはもともと言語哲学で議論されていた概念ですが，語用論では言語使用に重点がおかれます。後半は基本的概念を元に，文以上の単位の意味の分析を行うためには何を考えなければいけないのか検討します。

概略以下のような流れを予定していますが、進行に応じて調整を行います。詳細についてはこのweb page に記載します。

前期は言語学の中での意味論の位置づけについて論じた後、特に述語論理に基づく形式意味論の導入を行う。記号論理学、特に述語論理についてすでに若干の知識があるか、並行して関連科目を履修中の学生は理解しやすいかもしれないが、特に前提とはせず、初学者でも無理なく理解できるように進める。また、述語論理に基づく宣言的プログラミング言語prologの実習を並行して行うことで、述語論理に対する直感的な理解を深める一助とする。

第1回：意味論とは(言語研究へのさまざまなアプローチ）
第2回：知識表現と状況記述としての述語論理
第3回：prolog の初歩・簡単な状況記述・処理系としてのprolog
第4回：prolog の初歩・状況記述としてのファイル・プログラミング言語としてのprolog
第5回：形式言語としてのprolog(functorとargument）
第6回：形式言語としての述語論理(述語と項）
第7回：形式言語としての述語論理(連言・選言・含意・等価）
第8回：形式言語としての述語論理(全称と存在）
第9回：形式言語としての述語論理(定項と不定項）
第10回：命題論理と述語論理
第11回：文の意味と述語論理
第12回：動詞(句)の意味と名詞（句）の意味
第13回：接続詞の意味
第14回：構成的意味論・形式意味論・モンタギュー文法
第15回：統語論と意味論の接続

特に指定しません。

出席を重視します。平常点・課題提出状況などを勘案して総合的に評価します。

途中で休むと講義の内容がわからなくなるので，出来るだけ欠席しないようにしてください。受け身でなく，真剣に取り組むことを望みます。練習問題を通じ，論理式や意味の記述に慣れていって貰います。最初のうちは難しく感じても，コツがつかめるようになれば理解も一段と増すと思われますので，途中であきらめないでください。

言語学・論理学の知識を前提としませんが，言語学関連科目（特に統語論の初歩）をすでに学んでいるか，並行して履修していると理解し易くなるでしょう。