WEKO3
アイテム
{"_buckets": {"deposit": "3438f40d-8277-44b9-b663-f7222a4791fd"}, "_deposit": {"created_by": 3, "id": "10801", "owners": [3], "pid": {"revision_id": 0, "type": "depid", "value": "10801"}, "status": "published"}, "_oai": {"id": "oai:sucra.repo.nii.ac.jp:00010801", "sets": ["182"]}, "author_link": ["16418"], "item_118_biblio_info_8": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2007", "bibliographicIssueDateType": "Issued"}, "bibliographicPageEnd": "71", "bibliographicPageStart": "1", "bibliographic_titles": [{"bibliographic_title": "科学研究費補助金基盤研究(C)(2)研究成果報告書 平成16-18年度"}]}]}, "item_118_date_31": {"attribute_name": "作成日", "attribute_value_mlt": [{"subitem_date_issued_datetime": "2009-09-28", "subitem_date_issued_type": "Created"}]}, "item_118_description_17": {"attribute_name": "関連サイト", "attribute_value_mlt": [{"subitem_description": "http://kaken.nii.ac.jp/ja/p/16520005 | http://kaken.nii.ac.jp/ja/p/16520005", "subitem_description_type": "Other"}]}, "item_118_description_18": {"attribute_name": "識別番号 その他", "attribute_value_mlt": [{"subitem_description": "KAKEN: 16520005", "subitem_description_type": "Other"}]}, "item_118_description_19": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "本研究は、実体の本質に由来する種的様相(sortal modality)が重要な実在的様相のひとつであると考える立場から、種的様相にまつわる推論を適切な形で処理できる種的様相論理(Sortal Modal Logic)の形式体系を構成すること、そしてその形式体系を前提として、実体と種をその中心的位置に組み込んだ、実体主義的存在論の体系を構築することを目的として行われた。前者に関しては、ロウ(E.J.Lowe)の(第一階)種的論理((1st Order)Sortal Logic)の体系に様相演算子を付加してその固有公理を様相化したうえで二つの様相的固有公理をさらに追加し、その基礎論理を様相論理S5の公理系へと拡張することによって得られる種的様相論理の体系SS5を構成した。そしてその形式存在論的意義についてアリストテレスの様相三段論法と比較しながら考察した結果、その体系が実体主義的な存在論を体現していることが確認された。後者に関しては、まず、種的実体様相と実体の持続に由来する時間的実体様相との間に次のような並行性が成立することを見出した:(1)分類・生起・傾向命題と過去・現在・未来命題とがそれぞれ、一種の必然性・現実性・可能性を表すde copula的述定様相を含む命題として性格づけられる。(2)それらの述定様相はそれぞれ、それに対応する内包的真理様相の源泉を表す十分条件となる。(3)未来命題と傾向命題は真理値を持たない場合があり得るのに対し、それ以外の命題はそうではない。そしてこの相違は、単純部分論理(Simple Partial Logic)における外延的な真理様相演算子によって表され得る。そのうえで、これらの並行性に基づきながら、具体的事象の最も基底的レベルにおいて不可欠なde copula的述定様相として種的実体様相と時間的実体様相とを位置づけることにより、実体を基礎的存在者として認定する存在論的体系の骨格を定めた。", "subitem_description_type": "Abstract"}]}, "item_118_description_29": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"subitem_description": "text", "subitem_description_type": "Other"}]}, "item_118_description_30": {"attribute_name": "フォーマット", "attribute_value_mlt": [{"subitem_description": "application/pdf", "subitem_description_type": "Other"}]}, "item_118_other_language_22": {"attribute_name": "その他の言語", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_118_relation_7": {"attribute_name": "著者 外部リンク", "attribute_value_mlt": [{"subitem_relation_name": [{"subitem_relation_name_text": "http://s-read.saitama-u.ac.jp/researchers/pages/researcher/suwVsVBx"}], "subitem_relation_type_id": {"subitem_relation_type_id_text": "http://s-read.saitama-u.ac.jp/researchers/pages/researcher/suwVsVBx", "subitem_relation_type_select": "URI"}}]}, "item_118_text_3": {"attribute_name": "著者 ローマ字", "attribute_value_mlt": [{"subitem_text_value": "Kachi, Daisuke"}]}, "item_118_text_32": {"attribute_name": "アイテムID", "attribute_value_mlt": [{"subitem_text_value": "KK000472"}]}, "item_118_text_35": {"attribute_name": "公開日(XooNIps)", "attribute_value_mlt": [{"subitem_text_value": "Sep 28, 2009 15:48:20"}]}, "item_118_text_36": {"attribute_name": "最終更新日(XooNIps)", "attribute_value_mlt": [{"subitem_text_value": "Sep 30, 2009 17:59:02"}]}, "item_118_text_37": {"attribute_name": "更新履歴(XooNIps)", "attribute_value_mlt": [{"subitem_text_value": "Sep 30, 2009 インデックス を変更"}, {"subitem_text_value": "Sep 30, 2009 フリーキーワード, キーワード を変更"}]}, "item_118_text_38": {"attribute_name": "登録者(XooNIps)", "attribute_value_mlt": [{"subitem_text_value": "sucra_jim4"}]}, "item_118_text_39": {"attribute_name": "閲覧数(XooNIps)", "attribute_value_mlt": [{"subitem_text_value": "1181"}]}, "item_118_text_4": {"attribute_name": "著者 所属", "attribute_value_mlt": [{"subitem_text_value": "埼玉大学教養学部"}]}, "item_118_text_40": {"attribute_name": "ダウンロード数(XooNIps)", "attribute_value_mlt": [{"subitem_text_value": "2159"}]}, "item_118_text_41": {"attribute_name": "XooNIps_インデックス", "attribute_value_mlt": [{"subitem_text_value": "sucra_jim4|Public/埼玉大学/教養学部|Public/ジャンル別/研究報告書/埼玉大学/科研報告書|Public/主題別/人文学/哲学"}]}, "item_118_text_42": {"attribute_name": "XooNIps_ITEM_KEY", "attribute_value_mlt": [{"subitem_text_value": "7107"}]}, "item_118_text_5": {"attribute_name": "著者 所属(別言語)", "attribute_value_mlt": [{"subitem_text_value": "Faculty of Liberal Arts, Saitama University"}]}, "item_118_text_6": {"attribute_name": "著者 役割", "attribute_value_mlt": [{"subitem_text_value": "研究代表者"}]}, "item_118_text_9": {"attribute_name": "年月次", "attribute_value_mlt": [{"subitem_text_value": "2007-3"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "加地, 大介"}, {"creatorName": "カチ, ダイスケ", "creatorNameLang": "ja-Kana"}], "nameIdentifiers": [{"nameIdentifier": "16418", "nameIdentifierScheme": "WEKO"}, {"nameIdentifier": "suwVsVBx", "nameIdentifierScheme": "研究者総覧", "nameIdentifierURI": "http://s-read.saitama-u.ac.jp/researchers/pages/researcher/suwVsVBx"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-01-23"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "KK000472.pdf", "filesize": [{"value": "9.2 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 9200000.0, "url": {"label": "KK000472.pdf", "url": "https://sucra.repo.nii.ac.jp/record/10801/files/KK000472.pdf"}, "version_id": "85be2110-2528-4404-8fde-d792d6c34a5e"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "jpn"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "research report", "resourceuri": "http://purl.org/coar/resource_type/c_18ws"}]}, "item_title": "種的様相論理に基づく形式存在論", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "種的様相論理に基づく形式存在論"}]}, "item_type_id": "118", "owner": "3", "path": ["182"], "permalink_uri": "https://sucra.repo.nii.ac.jp/records/10801", "pubdate": {"attribute_name": "公開日", "attribute_value": "2009-09-28"}, "publish_date": "2009-09-28", "publish_status": "0", "recid": "10801", "relation": {}, "relation_version_is_last": true, "title": ["種的様相論理に基づく形式存在論"], "weko_shared_id": -1}
種的様相論理に基づく形式存在論
https://sucra.repo.nii.ac.jp/records/10801
https://sucra.repo.nii.ac.jp/records/10801aea22d2c-512a-4845-afaa-267464b5657d
名前 / ファイル | ライセンス | アクション |
---|---|---|
KK000472.pdf (9.2 MB)
|
|
Item type | 研究報告書 / Research Paper(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2009-09-28 | |||||
タイトル | ||||||
タイトル | 種的様相論理に基づく形式存在論 | |||||
言語 | ||||||
言語 | jpn | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_18ws | |||||
資源タイプ | research report | |||||
著者 |
加地, 大介
× 加地, 大介 |
|||||
著者 ローマ字 | ||||||
Kachi, Daisuke | ||||||
著者 所属 | ||||||
埼玉大学教養学部 | ||||||
著者 所属(別言語) | ||||||
Faculty of Liberal Arts, Saitama University | ||||||
著者 役割 | ||||||
研究代表者 | ||||||
書誌情報 |
科学研究費補助金基盤研究(C)(2)研究成果報告書 平成16-18年度 p. 1-71, 発行日 2007 |
|||||
年月次 | ||||||
2007-3 | ||||||
関連サイト | ||||||
内容記述タイプ | Other | |||||
内容記述 | http://kaken.nii.ac.jp/ja/p/16520005 | http://kaken.nii.ac.jp/ja/p/16520005 | |||||
識別番号 その他 | ||||||
内容記述タイプ | Other | |||||
内容記述 | KAKEN: 16520005 | |||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | 本研究は、実体の本質に由来する種的様相(sortal modality)が重要な実在的様相のひとつであると考える立場から、種的様相にまつわる推論を適切な形で処理できる種的様相論理(Sortal Modal Logic)の形式体系を構成すること、そしてその形式体系を前提として、実体と種をその中心的位置に組み込んだ、実体主義的存在論の体系を構築することを目的として行われた。前者に関しては、ロウ(E.J.Lowe)の(第一階)種的論理((1st Order)Sortal Logic)の体系に様相演算子を付加してその固有公理を様相化したうえで二つの様相的固有公理をさらに追加し、その基礎論理を様相論理S5の公理系へと拡張することによって得られる種的様相論理の体系SS5を構成した。そしてその形式存在論的意義についてアリストテレスの様相三段論法と比較しながら考察した結果、その体系が実体主義的な存在論を体現していることが確認された。後者に関しては、まず、種的実体様相と実体の持続に由来する時間的実体様相との間に次のような並行性が成立することを見出した:(1)分類・生起・傾向命題と過去・現在・未来命題とがそれぞれ、一種の必然性・現実性・可能性を表すde copula的述定様相を含む命題として性格づけられる。(2)それらの述定様相はそれぞれ、それに対応する内包的真理様相の源泉を表す十分条件となる。(3)未来命題と傾向命題は真理値を持たない場合があり得るのに対し、それ以外の命題はそうではない。そしてこの相違は、単純部分論理(Simple Partial Logic)における外延的な真理様相演算子によって表され得る。そのうえで、これらの並行性に基づきながら、具体的事象の最も基底的レベルにおいて不可欠なde copula的述定様相として種的実体様相と時間的実体様相とを位置づけることにより、実体を基礎的存在者として認定する存在論的体系の骨格を定めた。 | |||||
その他の言語 | ||||||
言語 | eng | |||||
資源タイプ | ||||||
内容記述タイプ | Other | |||||
内容記述 | text | |||||
フォーマット | ||||||
内容記述タイプ | Other | |||||
内容記述 | application/pdf | |||||
作成日 | ||||||
日付 | 2009-09-28 | |||||
日付タイプ | Created | |||||
アイテムID | ||||||
KK000472 |