形式逻辑的四大范围通常指其研究的核心领域，包括以下四个方面：

一、基本概念与判断

1. 概念

   反映事物本质属性的思维形式，如“动物”“哺乳动物”等。概念具有内涵（含义、性质）和外延（包含范围）两个维度。

2. 判断

   由两个或两个以上概念通过关系词（如“所有”“存在”“有些”）组成的断定，例如“所有的哺乳动物都是胎生的”。

二、推理与论证

1. 演绎推理

   从一般性前提推出个别性结论的过程，如三段论：“所有人都会死，苏格拉底是人，所以苏格拉底会死”。

2. 归纳推理

   从个别性前提概括出一般性结论，例如观察到多个天鹅是白色的，归纳出“所有天鹅都是白色的”。

3. 论证

   通过推理和证据判断结论的正确性，包含“方法”（如归纳、演绎）和“标准”（如充足理由律）。

三、逻辑规律与原则

1. 同一律

   同一概念在同一时间内具有同一属性，避免混淆，例如“苹果是水果，橘子也是水果”。

2. 矛盾律

   同一概念在同一时间内不能既真又假，如“苹果是水果且不是水果”。

3. 排中律

   同一概念在同一时间内必须具有某属性或非该属性，例如“苹果是红色的或不是红色的”。

4. 充足理由律

   任何判断必须有充足理由支持，如“苏格拉底会死，因为所有人都会死”。

四、应用领域与学科基础

形式逻辑是多学科的基础，广泛应用于：

• 数学 ：证明定理的结构化方法

• 计算机科学 ：算法设计与程序验证

• 法律 ：论证合法性与推理过程

• 哲学 ：分析概念与判断的合理性

形式逻辑通过规范思维形式，确保推理的有效性，是科学思维与日常论证的重要工具。