关于建立立体逻辑方阵的构想

真假制约关系问题是逻辑学界研究的热点问题。包含两个自变元的联言命题与相容选言命题、充分条件假言命题、必要条件假言命题,通过前肢互否、后肢互否、双肢互否和非双肢互否等方式形成的各个命题之间,仍具有真假制约关系,可在此基础上建立立体逻辑方阵。

立体逻辑方阵再探

立体逻辑方阵可表示八个命题之间的真假制约关系。包含两个自变元的联言命题、相容选言命题、充分条件假言命题和必要条件假言命题,通过非双肢互否、前肢互否、后肢互否和双肢互否等方式形成的命题与其负命题之间也具有真假制约关系,这些真假制约关系仍可用立体逻辑方阵表示,这为立体逻辑方阵的建立进一步找到了实际依据。

复合命题推理与立体逻辑方阵

立体逻辑方阵不仅可表示八个复合命题之间的真假制约关系,还可表示八个复合命题推理之间的真假制约关系。即简单复合命题推理无效式和复杂复合命题推理无效式的异变形式及其否定形式之间有真假制约关系。这样,立体逻辑方阵的表记对象不仅限于复合命题,还扩展到复合命题推理,具有普遍适用性。

复合逻辑方阵研究的新探索——以立体逻辑方阵为例

根据逻辑方阵的表记对象和范围不断扩大的现实,需对逻辑方阵的图示方法进行复合化研究。构造一个反映八个逻辑形式的真值关系示意图——立体逻辑方阵,它和传统逻辑方阵极为类似,便于识记,也具有普适性特征。立体逻辑方阵还在拓宽推理类型、丰富和完善逻辑永真公式的形成系统等方面有重要的理论意义。