所述形式逻辑，也称为逻辑理论或数学逻辑，决定推理的有效和正确形式。通过这种做法，我们试图区分正确与错误。
在形式逻辑中，符号会以尽可能最清晰的方式明确使用，因此无法对其进行操作。通过这种实践，可以发展自己的想法。
阿尔弗雷德·北·怀特海（Alfred North Whitehead）是形式逻辑的拥护者之一。资料来源：惠康信托
“逻辑”一词来自古希腊语λογικήlogikḗ，意思是“具有理智，辩证和议论性的理由”。逻辑是哲学和数学的分支之一，被认为在这些学科中很有用。
通常，逻辑研究思想的形式。与逻辑有关的第一批著作归功于希腊哲学家亚里士多德，这就是为什么他被称为这一思想领域的创始之父。
纵观历史，各种哲学家，数学家和逻辑学家都捍卫了形式逻辑。其中我们可以命名为数学家和逻辑学家阿隆佐教堂；哲学家，数学家和逻辑学家Gottlob Frege；以及数学家和哲学家阿尔弗雷德·诺斯·怀特海（Alfred North Whitehead）。
阿尔弗雷德·塔尔斯基（Alfred Tarski），库尔特·哥德尔（KurtGödel），贝特朗·罗素（Bertrand Russell）和威拉德·范·奥曼·奎因（Willard Van Orman Quine）等人也是出色的防守者。
研究对象
形式逻辑使用推理，概念，判断和论证等方面作为研究对象。从这些元素中，他分析和研究了所有语言和语义资源，以得出结论。
在这种意义上，可以确定的是，在形式逻辑中，从结构化的角度，从有效性或无效性的角度研究推理。
形式逻辑不是对推理过程的实证研究。它也不应与说服相混淆，因为它需要论据的结构来得出结论。
这种逻辑也称为理论或纯逻辑，它试图对演绎论点，陈述，命题和断言用句的内容或逻辑形式进行抽象研究。
对形式逻辑的模式进行详尽的研究将使每个人都确切地知道与他们的思维相关的过程。
特点
以下是区别形式逻辑与其他类型逻辑的最特殊特征：
-这是一门研究前提形式的科学，与其他仅研究材料的逻辑类型不同。
-这是没有问题的结构。
-它是在正式系统的子集下建立的。
-应用方法是如此高效，以至于通过形式逻辑，您可以分辨出是非与正确。
-由于分析了真实前提的结构，因此得出了正确推理或有效性的结论。
-研究和分析人们以直接思考，从而能够在每个人的头脑中建立新的模式。
-它的特点是具有象征意义。
-从形式科学的角度来看，它在数学，哲学，计算机科学和统计学中起着重要作用。
-由于对语义的研究，它与语法有关。
研究结构，这就是为什么将其与数学进行比较。
-它也与心理学有关，因为它专注于研究每个人的思想。
种类
道义逻辑
它来自古希腊语δέονdéon，意思是“到期”或“必要”。奥地利逻辑学家阿洛伊斯·霍夫勒（AloisHöffler）是这一概念的先驱，该概念指的是对规范的研究和分析。
二价逻辑
这是仅支持true和false值的逻辑类型。他不相信阴影，一切都是黑色或白色。在这种逻辑中，灰度是不可能的。
它的原理基于亚里士多德逻辑，即身份，无矛盾和被排除的第三方。
多价或多用途逻辑
这种逻辑的产生是哲学家JanŁukasiewicz和Emil Post进行的研究的结果，他们指出可以接受已经不常见的``true''和``false''以外的其他价值，并且这些价值实际上可以达到到无穷远。
从这个意义上讲，它不同于二价逻辑，后者仅允许两个值。研究表明多价或多价逻辑处理诸如可能性，必要性，非必要性，真相，虚假性和不可能性之类的值。
同样，这种形式逻辑也负责研究论证的哲学和结构方面。
例子
通过形式逻辑，可以在特定推理中增加真假的价值。
正如我们先前所解释的，形式逻辑并不专注于可以从一个参数中提取的所有可能性。它仅关注于这是对还是错。从这个意义上讲，下面我们列出一些基于形式逻辑的示例：
-布宜诺斯艾利斯是阿根廷的首都；那么，所有在布宜诺斯艾利斯出生的人都是阿根廷人。
-Joao会说葡萄牙语。Joao出生于葡萄牙。葡萄牙的每个人都说葡萄牙语。
-牛给牛奶。牛是哺乳动物。所有的哺乳动物都喝牛奶。
-佩德罗是白人，玛丽亚是黑发，所以有白人和棕色人。
-玛丽亚（María）在摇滚乐队中演奏。音乐家是在摇滚乐队中演奏的人。玛丽亚是一位音乐家。
-乔斯（Jose）有一头黑发。埃琳娜（Elena）有着棕色的头发。他们的女儿出生时可能是黑色或棕色头发。
-脚有五个脚趾。人类有右脚和左脚。每个人有十个脚趾。
-西班牙是一个国家。西班牙仍留在欧洲。所有西班牙人都是欧洲人。
-安娜是一个生物。安娜是凡人。所有生物都是凡人。
-何塞被水弄湿了。水弄湿了。
-玛丽亚吃了她的热菜。玛丽亚吃了热菜被烧死了。热食物燃烧。
-地球是宇宙的一部分。在宇宙中有行星。地球是行星。
-电灯点亮。街道上有电灯。电灯照亮了街道。
参考文献
- 新世界百科全书中的“形式逻辑”。于2019年4月21日从《新世界百科全书》中检索：newworldencyclopedia.org。
- Morton L. Schagrin Ge Hughes的“形式逻辑”于2019年4月21日从Britannica检索：britannica.com。
- 学院中的“逻辑及其分类”。于2019年4月23日从Academia：academia.edu检索。
- 哲学词典中的“形式逻辑”。于2019年4月23日从Philosophical Dictionary：Philosophy.org检索。
- 哲学词典中的“多价逻辑”。于2019年4月23日从Philosophical Dictionary：Philosophy.org检索。
- 随笔俱乐部中的“逻辑的一般方面”（2013年8月18日）。于2019年4月23日从俱乐部审判中检索：clubensayos.com。
- 维基百科中的“神奇逻辑” 。于2019年4月23日从Wikipedia检索：es.wikipedia.org。
- 维基百科中的“多用途逻辑” 。于2019年4月23日从Wikipedia检索：es.wikipedia.org。
- 维基百科中的“二价逻辑” 。于2019年4月23日从Wikipedia检索：es.wikipedia.org