Principios escenciales del codigo civil colombiano­

Lógica formal
La lógica formal es la parte de la lógica que, a diferencia de la lógica informal, se dedica al estudio de la inferencia mediante la construcción de lenguajes formales, sistemas deductivos y semánticas formales. La idea es que estas construcciones capturen las características esenciales de las inferencias válidas en los lenguajes naturales, pero que al ser estructuras formales ysusceptibles de análisis matemático, permiten realizar demostraciones rigurosas sobre ellas.
La lógica formal no debe ser confundida con la lógica matemática, antes llamada lógica simbólica, que es una subdisciplina de la lógica formal.
Lógica informal
La lógica informal, o lógica no formal, es el estudio de los argumentos, tal como se presentan en la vida diaria, en oposición al estudio de losargumentos en una forma técnica o artificial, que corresponde a la lógica formal. Esta parte de la lógica se dedica principalmente a diferenciar entre formas correctas e incorrectas en que se desarrolla el lenguaje y el pensamiento cotidiano, en especial al estudio de los procesos para obtener conclusiones a partir de información dada. Parte del principio que el pensamiento y el lenguaje humanoes a menudo incorrecto, o tendencioso. Se le atribuyen sus inicios a Aristóteles, que hizo el primer estudio de las falacias lógicas, que se encuentran en la vida cotidiana.
Lógica matemática
La lógica matemática es una parte de la lógica y las matemáticas, que consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La lógicamatemática guarda estrechas conexiones con la ciencias de la computación y la lógica filosófica.
La lógica matemática estudia los sistemas formales en relación con el modo en el que codifican nociones intuitivas de objetos matemáticos como conjuntos, números, demostraciones y computación.
La lógica matemática suele dividirse en cuatro subcampos: teoría de modelos, teoría de la demostración, teoría deconjuntos y teoría de la recursión. La investigación en lógica matemática ha jugado un papel fundamental en el estudio de los fundamentos de las matemáticas.
La lógica matemática fue también llamada lógica simbólica. El primer término todavía se utiliza como sinónimo suyo, pero el segundo se refiere ahora a ciertos aspectos de la teoría de la demostración.
La lógica matemática no es la «lógica delas matemáticas» sino la «matemática de la lógica». Incluye aquellas partes de la lógica que pueden ser modeladas y estudiadas matemáticamente.
Desde una perspectiva del derecho aplicado, o desde la investigación socio-jurídica, podemos encontrar algunos antecedentes lejanos de la norma material y la norma procesal en el tiempo. Así por ejemplo, la ley de las Doce Tablas, el más antiguo códigode Derecho romano fue establecida para aplacar las reclamaciones de los plebeyos, que mantenían que sus libertades no se encontraban protegidas de forma conveniente por el derecho escrito, al menos tal y como lo aplicaban los jueces patricios, se buscaba entonces que se diera seguridad a los derechos de los plebeyos, por lo tanto, la norma material de las Doce Tablas buscaba esa confianza queexiste cuando se tienen claro los procedimientos a seguir ante un conflicto determinado. La preocupación por la seguridad de que los fallos de los jueces respeten valores como la equidad y la justicia, son tan remotos como la humanidad misma, recorriéndose un largo camino que busca establecer con claridad y de forma anticipada los procedimientos que se deben aplicar ante determinados casos, oconflictos.
En el siglo V a. C los sofistas ponen en discusión el origen divino del derecho. Surgió así la pregunta sobre si la justicia y las leyes se fundamentaban en la naturaleza o eran el producto de una convención establecida por el hombre, si lo cierto era lo primero, entonces las normas en el tiempo no necesitaban analizarse, era algo inocuo, si estas eran eternas entonces, no se justificaba...