Logica Formal

1. Lógica Formal (Tarea Nº 1)

1.1 Concepto de Lógica

La lógica es una ciencia formal que estudia los principios de la demostración e inferencia válida. Así como el objeto de estudio tradicional de la química es la materia, y el de la biología la vida, el de la lógica es la inferencia. La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas. La lógica investiga los principios por los cuales algunas inferencias son aceptables, y otras no. Cuando una inferencia es aceptable, lo es por su estructura lógica, y no por el contenido específico del argumento o el lenguaje utilizado. Por esta razón la lógica se considera una ciencia formal, como la matemática, en vez de una ciencia empírica.

1.2 Concepto etimológico de la Lógica

La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de λόγος (logos), «palabra, pensamiento, idea, argumento, razón o principio».

1.3 Objeto material y objeto formal de la lógica

LOGICA FORMAL: la podemos definir como la disciplina filosófica que tiene como objeto de estudio los principios y métodos que se emplean para distinguir o diferenciar el razonamiento correcto del incorrecto.

• Su Objeto Material es la estructura del pensamiento en sus tres formas: concepto, juicio y razonamiento.

• Su Objeto Formal es la forma o estructura de los razonamientos para distinguir los "correctos" de los "incorrectos", no hace referencia a su contenido o materia (o sea, si son "verdaderos" o "falsos").

1.4 Relación reciproca entre la Lógica y las ciencias especiales

La lógica está relacionada con todas las ciencias, porque como dijo Cohen, es el aspecto formal de todo cuanto existe. En forma general diríamos:

• Desde el punto de vista formal todas las ciencias están integradas por conceptos, juicios y razonamientos, los cuales son la parte fundamental del objeto de la lógica.

• Así mismo, les proporciona a todas las ciencias la teoría para las demostraciones científicas. No se puede hablar de ciencia si esta no está organizada conforme a las leyes de la lógica.

• La metodología es lógica aplicada, inferida de numerosos casos científicos. Dichos procesos lógicos se deben observar si se desea obtener el conocimiento científico.

De manera especial, está vinculada con la matemática, la psicología, la lingüística, la filosofía, computación, ciencia, gramática, y con la teoría del conocimiento.

LA LÓGICA Y DERECHO:

Se podría señalar que esta tendencia ponía la existencia de un marcado paralelismo entre la lógica y derecho, pues aquella estudia la validez de los conceptos , juicios y razonamientos desde el punto de vista formal , y el Derecho , tendría por objeto el estudio de los mencionados aspectos , pero desde el punto de vista de las conductas puras , consideradas estas como meras formas , las cuales están expresadas en lasnormas. Sus principales requisitos eran dos: ser coherentes y no contradictorias, para observar los postulados hilberlianos en el desarrollo de la lógica matemática. Esta concepción sentó las bases al ulterior desarrollo de la lógica deóntica

LÓGICA Y CIENCIA:

Estudia problemas y leyes del pensar formal, no define lo verdadero de lo falso. Entre lo verdadero y lo falso, hay una competencia del razonamiento aplicado y la experiencia. Esta lógica estudia las condiciones del pensar científico y metodológico y las condiciones de verdad de las teorías científicas, así como su alcance y límites.

LÓGICA Y PSICOLOGÍA:

Existe una gran diferencia entre estas dos ciencias, la relación que pueda existir seria que prescindirían del sujeto que elabora su lógica y su psicología. La diferencia que existe entre ambas ciencias es que la psicología estudia el sujeto pensante y sus procesos psicológicos que ocurren en el estando también el proceso del pensar; mientras que la lógica, como se ha descrito anteriormente, se ocupa del pensamiento elaborado y formulado, ya que estudia los pensamientos mismos, los analiza, los estructura y encadena el enlace que pueden tener dichos pensamientos.

LÓGICA Y TEORÍA DEL CONOCIMIENTO:

Consiste en aplicar la lógica y la filosofía del conocimiento para rodear la teoría del conocimiento, se ocupa de la definición del saber y de los conocimientos relacionados entre estas dos ciencias. Los tipos del conocimiento posibles y el grado con que las fuentes y los criterios resultan ciertas, así como la relación exacta entre el que conoce y el objeto conocido.

LÓGICA Y GRAMÁTICA:

Los lenguajes tienen lógica, porque la lógica y la gramática trabajan ambiguamente para descifrar una oración, decidir si la composición de la oración es correcta. Para esto hay que estudiar la lengua y la lógica. La interacción que puede haber entre la lógica y la gramática es como un romance entre las dos para que funcione bien un idioma. Como es muy complejo este tema, se cita el siguiente ejemplo para obtener más o menos una idea de la fusión de estas dos ciencias juntas.

LÓGICA Y 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ógica matemática es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no valido un argumento dado. El razonamiento lógico se emplea en matemáticas para demostrar teoremas; en ciencias de la computación para verificar si son o no correctos los programas; en las ciencias física y naturales, para sacar conclusiones deexperimentos; y en las ciencias sociales y en la vida cotidiana, para resolver una multitud de problemas. Ciertamente se usa en forma constante el razonamiento lógico para realizar cualquier actividad.

La relación de la lógica con la matemática desarrollo el intento de buscar un lenguaje en que los problemas derivados de la validez o invalidez de los razonamientos, fuesen tratados como un simple cálculo, un problema que consistiría en mirar si estaba o no de acuerdo con la tabla. Con George Boole en 1847, se inició la construcción sistemática de la lógica matemática, él fue

...