è«–ç†ã¨ã‚®ãƒªã‚·ãƒ£èªžé †ã®ãƒˆãƒªãƒ“ã‚¢ - 言語ゲームä¼çµ±çš„ã«ã€ã‚®ãƒªã‚·ãƒ£ä¸‰æ®µè«–法ã¯ã“ã‚“ãªé¢¨ã«æ›¸ãã¾ã™ã€‚ 大å‰æ: å…¨ã¦ã®äººé–“ã¯æ»ã«ã¾ã™ã€‚(å…¨ã¦ã® B 㯠A) å°å‰æ: ソクラテスã¯äººé–“ã§ã™ã€‚(å…¨ã¦ã® C 㯠B) çµè«–: ソクラテスã¯æ»ã«ã¾ã™ã€‚(å…¨ã¦ã® C 㯠A) ãªã‚“ã‹é•å’Œæ„Ÿã‚ã‚Šã¾ã›ã‚“ã‹ï¼Ÿãªã‚“ã‹é †ç•ªãŒã¡ãã¯ãã§ã™ã。ãªãœã‚‚ã£ã¨è‡ªç„¶ã« å…¨ã¦ã® A 㯠B å…¨ã¦ã® B 㯠C ゆãˆã«å…¨ã¦ã® A 㯠C ã¨æ›¸ã‹ãªã„ã®ã§ã—ょã†ã‹ï¼Ÿä¼çµ±çš„ãªè«–ç†å¦ã«ã¯ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã§ä½¿ã†è«–ç†å¦ã¨ã¯å¾®å¦™ã«é•ã†è€ƒãˆæ–¹ãŒå‡ºã¦ãã¾ã™ã€‚ã“ã®èªžé †ã«ã¤ã„ã¦ã‚‚ã€æ˜”ã®äººã¯ãƒã‚«ã ã‹ã‚‰ã‚ã–ã‚ã–難ã—ã„書ã方をã—ãŸã®ã ã¨æ€ã£ã¦ã„ã¾ã—ãŸã€‚ã¨ã“ã‚ãŒä½•ã¨ã€ã“ã‚Œã«ã¯ã¡ã‚ƒã‚“ã¨ã—ãŸç†ç”±ãŒã‚ã£ãŸã®ã§ã™ã€‚ãªã‚“ã§ã‚‚ã€ã“ã‚Œã¯ã‚®ãƒªã‚·ãƒ£èªžã§æ›¸ã„ãŸã¨ãã«è‡ªç„¶ãªèªžé †ã«ãªã£ã¦ã„ã‚‹ãã†ã§ã™ã€‚ ギリシア語ã§ã¯ã€ä¸»èªžã¨è¿°èªžã®è«–ç†ã®è¨˜è¿°ãŒé€†ã ãã†ã§ã™ã€‚ã“ã®èªžé †ã‚’ç„¡ç†ã‚„り当ã¦ã¯ã‚ã‚‹ã¨ã“ã‚“ãªé¢¨ã«ãªã‚Šã¾ã™ã€‚ 大å‰æ: æ»ã¬ã‚‚ã®ã®ä¸ã«
オンラインã§å…¥æ‰‹ã§ãã‚‹æ•°ç†è«–ç†å¦ãƒ»æ•°å¦åŸºç¤Žè«–ã®ãƒ†ã‚スト
http://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20090708
ヒビルテ
Perspective in Logics, Lecture Notes in Logic 無料化 - ã‚ã„ã¾ã„ãªæœ¬æ—¥ã®ç§ blog
ProofWeb - kururu_goedel’s diary
é–‰åœã€å¼±ã„ラムダ計算ã€å¼±ã„è«–ç† - 檜山æ£å¹¸ã®ã‚マイラ飼育記 (ã¯ã¦ãªBlog)
Amazon.co.jp: ãƒã‚¸ã‚«ãƒ«ãƒ»ãƒ‡ã‚£ãƒ¬ãƒ³ãƒž ゲーデルã®ç”Ÿæ¶¯ã¨ä¸å®Œå…¨æ€§å®šç†: ジョン・W・ドーソンJr (è‘—), æ‘上ç¥å (翻訳), å¡©è°·è³¢ (翻訳): 本
The Mercury Project: Comparing Mercury and Haskell
monad.me.uk
The S combinator and 99 Prolog problems
A declarative logic programming system
The Haskell Road to Logic, Maths and Programming
Wadler: History of logic and programming languages
{{#tags}}- {{label}}
{{/tags}}