"自由逻辑"的搜尋報告

但是，不是冲着他的爱国立场，仅仅冲着他的言论自由逻辑，他的确值得同情。首先现在的台湾不是戒严时代而是号称民主“国家”的时代，有没有言论自由？其次，他认为他不是以自己的名字而是以笔名化名在博客发表此类言论，难道不可以？ ...

...狭义的“哲学逻辑”则可以指不同于经典逻辑或标准逻辑的其他现代逻辑分支，它的范围就是在第一章中哈克所谓的“扩展的逻辑”或“异常的逻辑”，前者包括模态逻辑、时态逻辑、道义逻辑、问题逻辑等，后者包括多值逻辑、直觉主义逻辑、量子逻辑、自由逻辑等。 ...

...经典逻辑，包括一阶逻辑和高阶逻辑；集合论；哥德尔不完全性定理；逻辑真；逻辑后承；模态逻辑；道义逻辑；认识逻辑；时间逻辑；直觉主义逻辑；自由逻辑；相干逻辑；多值逻辑；非单调逻辑；概率、逻辑与概率逻辑；条件；否定；量词；逻辑与自然语言。 ...

第八卷为《逻辑的多值与非单调转向》，共10章，主要介绍了逻辑学向多值与非单调转向过程中，一些新逻辑分支发展的情况，涉及多值逻辑、一致逻辑、量子逻辑、模糊逻辑、非单调逻辑、非单调推理和信仰变化、自由逻辑等。 第九卷为《逻辑学与计算机科学》， ...

认为“存在”不是一个真正的逻辑谓词，用量词理论来处理存在问题，这就是现代逻辑对存在问题的主流处理方式（当然，也有一些现代逻辑分支仍然认为存在是一个谓词，比如非经典逻辑中的自由逻辑就持此观点）。在这种处理方式下，存在被看做命题函项的可满足 ...