時間的様相の論理と意味論

时间方面的逻辑和语义

• 批准号: 08710004
• 负责人: 加地 大介
• 金额: $ 0.64万
• 依托单位: Saitama University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1996
• 资助国家: 日本
• 起止时间: 1996 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-08710004/
• 关键词: 時間; 様相; 論理; 意味論; 部分論理; ウカシェ-ヴィチ; 決定論; 三値論理

ウカシェ-ヴィチの死後40周年の記念学会「Lukasiewicz in Dublin(ダブリンのウカシェ-ヴィチ)」で「Was Lukasiewicz Wrong?:Three-valued Logic and Determinism(ウカシェ-ヴィチは間違っていたか?:三値論理と決定論)」という題目で発表を行い、それを論文にして会議録の編集委員会に提出した。また、日本科学哲学会で「部分論理と時間様相」という題目で発表を行い、これも同学会へ論文として提出した。これらの考察を通じて認識されてきたことは、時間様相とは、因果様相とも真理様相とも異なる独特の様相であり、世界の部分性に由来する存在論的な様相であるということである。まず第一に、時間様相における可能性は、矛盾を許容するという点で真理様相(および因果様相)における可能性よりも弱い可能性であり、したがってルイスタイプの様相論理、時制論理、超付値論理などの、古典論理のト-トロジーを保存するような論理学によってはその論理を捉えられないという結論を得た。そこで、時間様相の論理学として最も適切なものとして、部分論理にウカシェ-ヴィチの定義による様相演算子を加えた体系Lを提示した。また、時間様相は因果様相、真理様相に比べて最も外延的な様相であるので、その論理学に対する意味論としては、時間の分岐モデルに基づく可能世界意味論や超付値による意味論などの内包的な意味論を採る必要はなく、真理表による外延的な意味論が適用できるということを主張した。

Youdaoplaceholder0 -ヴィチ 40 years after the death of ヴィチ memorial society "Lukasiewicz in Dublin(ダブリ <e:1> ウカシェ-ヴィチ)" で "Was Lukasiewicz Wrong?:Three-valued Logic and Determinism (ウ カ シ ェ - ヴ ィ チ は breach between っ て い た か? : three numerical logical と Determinism) "と い う topic で 発 table を い, そ れ を paper に し て compiling committee meeting record の に proposed し た. ま た, Japan will で science philosophy "part of the logical と time others phase" と い う topic で 発 table を い, こ れ も homecoming へ paper と し て proposed し た. こ れ ら の investigation を tong じ て know さ れ て き た こ と は, others in time phase と は, causal others in phase と も truth others と も different な る unique の others in phase で あ り, の world some sex に origin す る ontological な others in phase で あ る と い う こ と で あ る. First に ま ず, others in time phase に お け は る possibility, contradictions を allowable す る と い う point で truth others in phase (お よ び causal others in phase) に お け る possibility よ り も weak い possibility で あ り, し た が っ て ル イ ス タ イ プ の when others in logical, logical, super pay nt logical な ど の, classical narrative の ト - ト ロ ジ ー を save す る よ う な logic に よ っ て Youdaoplaceholder0 そ そ theorize を catch えられな と と う う conclusion を た た. そ こ で, others in time phase の logic と し て も most appropriate な も の と し て, some narrative に ウ カ シ ェ - ヴ ィ チ の definition に よ る を add others in phase in operator え た system L を prompt し た. ま た, others in time phase は causal others in phase, truth others in phase に than べ て most も extension な others in phase で あ る の で, そ の logic に す seaborne る mean theory と し て は, time の branching モ デ ル に base づ く theory of possible world means や overpay numerical に よ る mean theory な ど の insourcing な mean theory を mining る necessary は な く, truth table に よ る が epitaxial な mean theory applicable で き る と Youdaoplaceholder0 う とを contends that た.