2009-08-11から1日間の記事一覧

"truth values and proof theory" (Greg Restall)

Studia Logicaに掲載予定、著者のweb siteから取得可能。 推論主義の立場から「真理値とは何か」を説明しています。要約すると以下の通りです。 "Mutiple conclusion"論文に倣って、ある文の「否定を主張 (negate)」することと、それを「却下する (reject)」…

朝はよく晴れるが、夕方は曇り。 出勤して各種書類、とりあえず懸案をいくつか片付ける。それから原稿書きの続き。21時半に帰宅、夕食は牛すじトマトソースパスタの残り。