从外延认识逻辑及逻辑学

概念由内涵和外延两部分组成，内涵由定义来明确，外延用划分来明确，可用欧拉图形式化地表示。定义和划分都是思维方法，各有规则。划分是在对概念的限制基础上进行，限制与修饰不同，前者增加内涵缩小外延，后者则不然。在语言上，前者表达为限制性定语，后者为修饰性定语。

所有的命题都可以形式化，都有其逻辑结构，所以，所有逻辑推理必然遵循形式规律。虽谓形式逻辑，但实际上并不存在非形式逻辑，故形式逻辑即逻辑。数学和逻辑学本就是形而上学，无需称之为形式数学和形式逻辑学，但从修辞来说，称形式数学和形式逻辑学亦无妨，起强调作用而非限制性定语的作用。

有逻辑学专家指出要证明“所有的命题都可形式化”，可是我不会证明，不知道有没有高手能证明？

但即使不能证明也无妨，因为现在的彼逻辑也不是解决不可形式化命题的推理的逻辑，此逻辑非彼逻辑且为异类，此逻辑属于形而上学而彼逻辑不属于形而上学。