排除と対象帰属写像の統合不能性
Abstract
暫定は、排除を論理規則や真理値の衝突としてではなく、対象帰属写像の統合不可能性として再構成する。 前で示した降下定理、次に応答操作が商写像Π̂に関して不変であることと、それが対象対上の写像へ因数分解することの同値性を基礎とし、一時では評価を対象対上写像として定義する。 この限りにおいて、同一対象に対する対立帰属は値の衝突ではなく、単一の対象帰属写像が構成できない事態として理解される。 その結果、矛盾は真理値内部の対立ではなく、評価写像の統合可能性が崩壊する点で生じる事態として再定位される。
Fields of Study & Subjects
Advanced Algebra and Logic
Logic
Reasoning
and Knowledge
Philosophy and Theoretical Science
Publication details
- Journal / source
- PhilPapers (PhilPapers Foundation)
- Publication date
- 3 March 2026
- Language
- JA
- Document type
- Book