Study Map
All Domains/Formal Sciences/Field/Formal Logic
Back to field
Discipline within Formal Sciences

Formal Logic

Logic hình thức

Formal Logic studies symbolic systems of reasoning and their applications to mathematics, computer science, and philosophy. It provides rigorous methods for analyzing arguments and proving theorems.

Key Questions

  • •What are valid forms of reasoning?
  • •How do we formalize mathematical proofs?
  • •What are the limits of logical systems?

Subfields & Specializations (3)

Propositional Logic

Logic mệnh đề

Logic of propositions

Predicate Logic

Logic vị từ

Logic with quantifiers

Modal Logic

Logic tình thái

Logic of necessity and possibility