☆☆形式意味論Formal Semantics☆☆
■ このスレッドは過去ログ倉庫に格納されています
日本には言語学でやってる研究者少ないかな( ・´ω・`) それこそが日本語言語研究者が馬鹿者だらけだという証拠なのだよ。 まあそれは言い過ぎとして、文系言語学者にはやぱりとっつきにくいんでしょな〜 形式的な論理を考える抜くこともできなくて何が論理的だよ
どんだけいい加減なんだよ学問的にさ 成果が出にくい分野だからな。
専門家が少ないのもしょうがない。 >>1
Formal Semanticsってスレタイ見て
てっきりRichard Montague関係のスレかと思っちゃった。
彼の論文集の書名だから。
でもスレの趣旨はMontague限定じゃないってことなのね。
例えばBarwiseらのSituation Theoryとか
Categorial Grammar (Lambek Calculus)とか
その発展みたいなType-theoretical Grammar(例えばMaritin-LoefのITTをベースにしたもの)なんかの話題も
OKって思っていいんだよね? >>10
> そですけどこの話題で伸びますかなぁ
確かにそこは不安だねぇ
なにしろ日本じゃこっちの人は少ないからねぇ
まあスレ落ちない程度にボチボチ投稿があれば良しでいいんじゃないの?
そういえば暫く前(今年に入ってからだったと思うが)に
Lambekさんがお亡くなりになったんだよね
Categoriesメイリング・リストで訃報を見た覚えがある
ところでこっち方面では全くの素人なんですが
現在だとこっち方面(Natural Languagesに対するFormal Semantics)での
世界的なスーパースターって誰になるんですか?
van Benthemはこの分野だと思っていいのかな?
そうならば彼なんか書くものの独創性も生産性も群を抜いてるから
彼がスーパースター(の1人)ってことになるのかな? ぼくも形式意味論にちょっと興味持って少し勉強してたんですが、
この分野についてあんまり情報がすくないので、
なにかないかとスレ建ててみました。
van Benthemの名前は形式意味論、論理学への入門書紹介とかでよく見るような気がしますね。
>>11氏はどのような分野のひとですか?
日本で形式意味論となると、実際言語学でなくて、言語哲学か情報系の学部のほうが近いように思われますが。
僕はまだ身が固まってないようなです。 >>12
> >>11氏はどのような分野のひとですか?
情報系ですがアカデミアの人間じゃないです
なので記号論理(型理論や様相論理)とか計算機言語の意味論とかは趣味でやってるって感じです 形式意味論ってRegular GrammarとかCFGとか? 確実にどんな人でも可能な嘘みたいに金の生る木を作れる方法
時間がある方はみてもいいかもしれません
グーグル検索⇒『金持ちになりたい 鎌野介メソッド』
HROR5 ■ このスレッドは過去ログ倉庫に格納されています