ダウンロード数: 934

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
sano.pdf177.38 kBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド言語
dc.contributor.author佐野, 勝彦ja
dc.contributor.alternativeSANO, Katsuhikoen
dc.contributor.transcriptionサノ, カツヒコja-Kana
dc.date.accessioned2008-05-22T02:13:13Z-
dc.date.available2008-05-22T02:13:13Z-
dc.date.issued2008-01-31-
dc.identifier.issn1883-9177-
dc.identifier.urihttp://hdl.handle.net/2433/56992-
dc.description.abstractThe purpose of this paper is to argue that hybrid formalism fits naturally into David Lewis's counterfactual logic and their introduction is a desirable step. This hybridization enables us to regard the inference "The pig is Mary; Mary is pregnant; therefore the pig is pregnant" as a process of updating local information (which depends on the given situation) by using global information (independent of the situation). Our hybridization also has the following technical merits: (i) It preserves the completeness and decidability of Lewis's logic; and (ii) it allows us to characterize the Limit Assumption by a proof-rule with some side-condition.en
dc.format.mimetypeapplication/pdf-
dc.language.isojpn-
dc.publisher京都大学文学部科学哲学科学史研究室ja
dc.publisher.alternativeDepartment of Philosophy and History of Science Faculty of Letters, Kyoto Universityen
dc.subject.ndc401-
dc.title<特集:モデル> 条件法論理に基づく情報更新の論理ja
dc.title.alternative<Special Issue: Models> Hybrid Counterfactual Logic for Information Updatingen
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAA12164361-
dc.identifier.jtitle科学哲学科学史研究ja
dc.identifier.volume2-
dc.identifier.spage1-
dc.identifier.epage15-
dc.textversionpublisher-
dc.sortkey01-
dc.identifier.selfDOI10.14989/56992-
dcterms.accessRightsopen access-
dc.identifier.pissn1883-9177-
dc.identifier.jtitle-alternativePHS Studiesen
出現コレクション:第2号

アイテムの簡略レコードを表示する

Export to RefWorks


出力フォーマット 


このリポジトリに保管されているアイテムはすべて著作権により保護されています。