The two main branches of logic are formal logic (or logic low) and material logic (or logic high). The material logic deals with the semantic content of the argument. Formal logic is concerned with the form or structure of reasoning, classic logic is proper. Establish what the correct and valid forms of reasoning the truth of the premises and conclusions is a secondary concern for this branch.
Las dos ramas principales de la lógica son la lógica formal (o lógica menor) y la lógica material (o lógica mayor). La lógica material se ocupa del contenido semántico de la argumentación. La lógica formal se interesa por la forma o estructura de los razonamientos, es la lógica clásica propiamente dicha. Establecer cuáles son las formas correctas y válidas de los raciocinios, la verdad de las premisas y de las conclusiones es una preocupación derivada para esta rama.
