logica ciencia formal

Logica ciencia formal
La palabra lógica proviene del vocablo griego logos, que significa "pensamiento", aunque también se ha entendido como "palabra", "razón" y "ciencia".
la lógica seríauna ciencia o tratado del pensamiento.Hay que advertir que esta definición es demasiado amplia para caracterizar a la lógica, a nuestra disciplina sólo le interesa estudiar un aspecto o una parte delrazonamiento, que llamaremos aspecto o ciencia formal.
la lógica es una disciplina formal porque se ocupa de las meras formas o estructuras del pensamiento. Investiga cómo se encuentra estructurado elpensamiento con el fin de estudiar las leyes o principios que reglamentan la validez lógica del propio razonamiento. Cuando la lógica estudia las proposiciones o juicios, como por ejemplo: cuando en laclase de aritmética se explica que "dos naranjas más tres naranjas suman cinco naranjas", no se habla en sí de las naranjas, sino de la suma: "2 + 3 = 5". En esta operación se ha abstraído o eliminado elcontenido para quedarse con la forma.
La aritmética, como la lógica, son disciplinas que manejan formas: sumas, símbolos, en el caso de las matemáticas; conceptos, juicios, razonamientos, símboloslógicos (como las conectivas lógicas), en el caso de la lógica.
De esta manera, tanto la lógica como la matemática son ciencias formales, de acuerdo con la naturaleza de los objetos que estudian.
Comodisciplina formal que es, la lógica tiene como tarea construir lenguajes formales que contengan claridad, cualidad y precisión.
La lógica estudia unas formas de pensamiento llamadas juicios oenunciados como éstos:
• "Venus es un planeta."
• "El oro es un metal”.
no repara en los contenidos diversos que cada uno de ellos expresa, pues desde el punto de vista de sus objetos (o contenidos)éstos serían de interés para otras ciencias particulares como: la geografía, la mineralogía y la zoología, respectivamente.
Para la lógica estos juicios o enunciados no son más que ejemplos de...