形式逻辑是什么学科，什么是形式逻辑？

　　形式逻辑学科，又称逻辑数学、逻辑统计学或逻辑数论。是由柏拉图(Barracuda)在其《理想国》一书中提出的。它是一个以统计学为基础的学科。而根据数理统计的基本理论，在数学中运用形式逻辑，可使得应用对象满足一定的形式要求；可使得应用对象满足基本的形式要求。逻辑学与数学有着密切关系。由于数理统计是研究一组问题、一个定理或某种公式在数学中使用时所产生的逻辑观、方法和思想等，因此为研究这些问题提供了丰富而有价值的信息，且这些信息可以为其他数学知识提供基础。

1、基本概念

　　形式逻辑（形式美),就是通过逻辑来证明数学中的数学定理和公式的过程。形式美指形式命题与内容的命题。其一般特点包括：首先，形式美具有一种特殊的本质特征——语言为表现形式之一；其次，形式美只是一种特殊思维模式与表达形式之分。形式美的本质特征主要表现在它具有一种独立于形式美的独特符号表示——一个命题就可以被用来证明它具有一种独立于形式美的特殊形式；再者，任何命题都具有某种形式感，具有一定形式要求；最后.形式美是形式逻辑学科不可或缺和不可替代之美，其存在价值在于通过形式美对现实世界中各方面情况进行客观反映及说明时产生审美感受与表象美，这种审美感受是一种对事物内在本质进行观察并加以抽象归纳后作出结论而体现出人的主观能动性的反映过程――这个过程中所要实现的理性追求和精神追求就象人内心潜意识发出的声音一样具有深刻意义上的唯一性，而这种唯一性与其产生或发展所依赖的客观条件密切相关。形式美就是要在形式逻辑研究与实践中，运用形式逻辑理论去分析与认识世界，探索自然和社会和谐发展进程之中人们所面临和具有普遍意义上对各种事物本质进行探索和认识并加以科学评价和处理活动。

2、主要理论假说

　　柏拉图的主要理论假说（又称柏拉图假说）主要有:1)在几何关系中构造的三元正则用逻辑数论原理加以证明。2)若若将定理中的每个字代入几何关系中，则证明某字为正解。3)若将定理与数论相结合则证明是有效证明。4)若将命题与其在图形中所代表的图形相结合则证明是无解。5)若在数学中将几何关系与数理统计相结合则证明是等价关系；若把数理统计与几何关系相结合则证明是矛盾关系。

3、逻辑推理与数学关系

　　逻辑推理与数学关系的实质是逻辑推理必须使用一定的数学法则。它们都可以使用形式逻辑分析过程。但他们的推理都必须在实践当中去检验结果的正确性和可靠性。逻辑推理中所使用的一些数学方法，如定义、演绎、定理、积分方法、数学分析等也都与数学关系密切。它们所起作用是：在证明与分析问题中可以运用形式逻辑方法，推理出一个正确的结论；在应用数学方法时，推理出一个正确的结论；而在分析问题时，推理出一个正确答案。