信念、知识及心理必然模态的新语义
逻辑
2020-05-25 v1 计算机科学中的逻辑
摘要
近来针对信念与认知逻辑中逻辑全知问题已有诸多拟议解法。尽管这些方案展现出令人印象深刻的精微与动机多样性，其要旨似乎共有一个主题——围绕 ubiquitous Kripke 语义之根基路径的细微修正。此外，运作于信念与知识内外之心理机制大体未被触及。本文直击逻辑全知问题核心，采取植根心理的路径，以所给感知、感受质与认知的“量子”为基岩，称我们的路径为“PQG 逻辑”，即 percept、qualia、cognition 逻辑之缩写。建于这些量子之上，我们达成信念、知识的新语义，外加心理必然与可能性的语义。借由这些概念，我们不仅能妥善处理逻辑全知问题，且可更深探究信念与知识的心理-逻辑本性。
引用
@article{arxiv.2005.10947,
title = {A Novel Semantics for Belief, Knowledge and Psychological Alethic Modality},
author = {Jonathan J. Mize},
journal= {arXiv preprint arXiv:2005.10947},
year = {2020}
}
备注
29 pg. & 2 figures