Classical second-order intensional logic with maximal propositions |
| |
Authors: | Charles B Daniels James B Freeman |
| |
Institution: | (1) Univ. of Victoria, Victoria, Australia |
| |
Abstract: | Conclusion By the standards presented in the Introduction, CMFC2 is deficient on at least one ontological ground: ‘∀’ is a syncategorematic
expression and so CMFC2 is not an ideal language. To some there may be an additional difficulty: any two wffs provably equivalent
in the classical sense are provably identical. We hope in sequel to present systems free of these difficulties, free either
of one or the other, or perhaps both.
This work was done with the aid of Canada Council Grant S74-0551-S1. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|