Logica Formal

Es la parte de la logica que se dedica al estudio de la inferencia mediante la construcción de lenguajes formales sistemas deductivos y semanticas formales.
Su objetivo se refiere a lo pensado, al objeto o tema a que se refieren nuestros pensamientos. Nos muestra como y de que manera un pensamiento se relaciona con otro.