2013-10-01から1ヶ月間の記事一覧
講師 Nicholas J.J. Smith (Associate Professor, University of Sidney)日時 11月4日(月)13:00- 17:00 場所 京都大学文学研究科第一講義室 題目 Theories of vagueness and Fuzzy Logic (詳細は未定)
CAPE セミナー 講師 Nicholas J.J. Smith (Associate Professor, University of Sidney)日時 11月1日(金)16:30- 18:00 場所 京都大学文学研究科第一講義室 題目 Fuzzy Logic and Higher-Order Vagueness The major reason given in the philosophical lit…
日時:2013年10月31日(木)18:00から 場所:京都大学吉田キャンパス総合研究棟2号館第10演習室 http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm (34番の建物です)講演者:Prof. Dr. Matthias Schrin (ミュンヘン大学) 演題:Hilbert and Wittens…
10月31日・11月1日・11月4日と、京都大学で数学の哲学と論理学に関する研究会があります。ふるってご参加下さい。
休講:10/23 平常授業:10/30
本日紹介した反転原理についてはこちらが詳しいです。Natural Deduction: A Proof-Theoretical Study (Dover Books on Mathematics)作者: Dag Prawitz出版社/メーカー: Dover Publications発売日: 2006/03メディア: ペーパーバック購入: 1人 クリック: 18回…
授業要旨・宿題 こちらから 授業スライド こちらから
前回の復習 反転原理 証明の正規化 ダメットのハーモニー
授業第十六回目は、「論理結合子の意味とは何か」の続きで「反転原理」を取り上げます。前回紹介したように、トンクは体系を自明化するという本質的な欠陥を持っていましたが、トンクの導入規則は∨、除去規則は∧と同じであり、それ自身としては問題がないは…
授業で紹介したPrior の tonk の初出はこちら。 Prior, Arthur. "The runabout inference ticket." Analysis, 21, pp38-39, 1960-61.(link: http://www.jstor.org/pss/3326699)またベルナップの tonk の初出文献は以下の通りです。 Tonk, Plonk and Plink. N…
授業要約・宿題 こちらから 授業スライド こちらから
前回の復習 モデル論的意味論 証明論的意味論 論理結合子の条件 保存拡大性
今週10月22日(火)より以下の変更があります。 変更前:総合研究2号館第8 演習室 変更後:総合研究2号館第2 演習室 授業開始時間:16:40(めど) 授業終了時間:18:10(めど) 授業第十五回目の今回は、「論理結合子の条件」について、証明論的意味論の立場…
今週10月22日(火)より以下の変更でがあります。 変更前:総合研究2号館第8 演習室 変更後:総合研究2号館第2 演習室授業開始時間:16:40(めど) 授業終了時間:18:10(めど)
論理学教室の再度変更のお知らせ 論理学は後期授業から教室が変更になったのですが、学生が15人程度なのに総合研究2号館第8演習室と大分狭い部屋になり、プロジェクターもないため、ちょっと授業にならない状況でした。そのため、教務にお願いし、総合研究2…
本日は、月曜日の授業となるため、休講です。
スリングショット論法の典型例は以下を参照して下さい。真理と解釈作者: ドナルド・デイヴィドソン,野本和幸,金子洋之,植木哲也,高橋要出版社/メーカー: 勁草書房発売日: 1991/05/01メディア: 単行本購入: 2人 クリック: 53回この商品を含むブログ (30件) を…
授業スライド こちらから 授業要旨 こちらから 宿題 なし
前期の復習 命題論理の論理記号の導入・除去規則 述語論理の論理記号の導入・除去規則 論理結合子の意味とは? モデル論的意味論 証明論的意味論
後期から教室が変更になります: 変更前:文学部新館第4講義室 変更後:文学部新館第8演習室 前期は、最小述語論理という体系について、論理結合子の導入規則と除去規則を意味を考えずに紹介してきました。 授業第十五回目、後期初回の今回は、「論理結合子の…
ご迷惑をおかけしております。後期授業第一回は 10月8日(火) とします。