当前位置：首页 > 培训职业 > 正文

什么是型/形式逻辑

1. 形式逻辑是研究推理形式和证明形式的科学。它是研究推理的有效性和可靠性以进行论证和认知的科学。

2. 形式逻辑是从形式方面研究概念、判断、推理等思维形式结构及规律的。它是研究抽象思维的形式和规律的科学。

3. 逻辑学就是关于思维形式及其规律的科学，或者说，它是研究制定思维形式正确性的方法的科学。

4. 逻辑的研究对象是普遍领域内关于A、E、I、O关系旅旁碧的理论。

5. A、E、I、O分别指全称肯定判断、全称否定判断、特称肯定判断和特称否定判断四种，这是逻辑学界众所周知的。

6. 卢卡西维茨指出，亚里士多德构造的三段论原来不是一个推论，它们都不过是一些由前提的合取式作为前件、由结论作为后件的蕴涵式罢了。

7. 卢卡西维茨指出，亚里士多德把他认为不适于在真命题中既可作主项又可作谓项的那些类的词项从他的系统中排除掉了。

8. 卢卡西维茨指出，单一词项不可既作主项又作谓项，而“在亚里士多德所知的全部三段论的三个格中，都有一个词项一次作为主项出现，另一次作为谓项出现”。

9. 卢卡西维茨认为，亚里士多德逻辑是形式的但不是形式化的。形式化要求相同的思想应当总是用由严格相同的方式排列起来的词之严格相同的序列来表达。

10. 卢卡西维茨指出，亚里士多德三段论的抽象形式与具体形式之间的结构上的歧异。

11. 卢卡西维茨指出，亚里士多德在论证中的叙述方式，也不是形式化的，这表现在自然语言运用过多，过于冗肿，并且仅仅是一种直观的叙述。

12. 卢卡西维茨指出，人类抽象思维水平是一个不断提高的过程，亚里士多德是一个大百科全书式的学者，他的研究涉及了当时几乎全部的科学领域，这难免会把他所熟知的哲学、历史、政治、美学、动植物学揉合在他的逻辑著作里。

13. 卢卡西维茨指出，卢卡西维茨形式化的方式体现于排斥法和判定法的运用上。亚里士多德三段论共有256个式，其中有24个正确式，亚里士多德也运用排斥法排除了其他232个不正确的式，但他的排斥方法不是形式化的。

14. 卢卡西维茨指出，建立精确语言系统，就是指建立人工语言系统。在逻辑史上，莱布尼茨、布尔、弗雷格等人，当然也包括卢卡西维茨，做了大量的工作。

15. 卢卡西维茨指出，逻辑形式化是时代的呼唤。逻辑理论与计算机技术结合具有先天的优势，二者的互相作用，互相发展，必然导致具有自学习功能的智能化的计算机出现，从而实现莱布尼茨的预言。