忍者ブログ
来週、ぼくが演習を担当している初級論理学の試験があるので、それに向けてのスタディ・ガイドを用意しているのですが、量化文(「すべての」とか「ある」が現れる文章ですね)が現れる議論の例をチャールズ・ラトウィッジ・ドッジソンの『記号論理』から採ろうと思ったら、同じ例を戸田山さんがすでに『論理学をつくる』でつかっているのを発見し「なんだよー」って感じです。

あと、命題論理の健全性の(真理木にもとづいた)証明を『論理本』流に階層の概念をつかって書き下ろしたところ、「こんなん、初級論理学の受講生は誰も読まないよ」というものになってしまったので、結果、戸田山さんのやりかた(真理木の健全性を、真理木の経路の充足可能性=開放経路と真理木規則の真理保全性に帰着させる)を踏襲することになりそう。なんか、くやしい。
PR
この記事にコメントする
お名前
メールアドレス
URL
コメント
カレンダー
02 2017/03 04
S M T W T F S
1 2 3 4
5 6 7 8 9 10 11
12 13 15 16 17 18
19 20 22 23 24
27 28 29 30 31
最新トラックバック
メール
ブログ作成者(はやし)に直接訴えたいことがある、という場合は、下のアドレスにメールをどうぞ。

thayashi#ucalgary.ca
(#を@に置換してください)

ブログ内検索
Google
WWW を検索 このブログ内を検索

はやしのブログ内で紹介された
 書籍の検索はこちら
 音盤の検索はこちら
ランダムおすすめ
(忍者ブログに引越してから、うまくうごかなくなってしまいました。いつか、直します)
Randombook
このブログで紹介したことのある本をランダム表示。
Randomusic
このブログで紹介したことのある音をランダム表示。
自分がらみのリンク
はやしのブログ書籍一覧
このブログで言及された書籍の一覧。
はやしのブログ音盤一覧
このブログで言及された音盤の一覧。
最近のおすすめ本
最近のおすすめ音

Copyright © [ はやしのブログ ]
No right reserved except those which belong to someone else.
Special Template : 忍者ブログ de テンプレート and ブログアクセスアップ
Special Thanks : 忍者ブログ
Commercial message : [PR]