Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Con este escrito se pretende dar a conocer varios puntos de vista de la importancia de
saber como aplicar la lgica ya sea para la formalizacin de algn proceso de alguna
ciencia factual.
Aristteles fue el primero en emplear el trmino Lgica para referirse al estudio de los
argumentos dentro del "lenguaje apofntico" como manifestador de la verdad en la
ciencia. Pensaba que la verdad se manifiesta en el juicio verdadero y el argumento vlido
en el silogismo: Silogismo es un argumento en el cual, establecidas ciertas cosas,
resulta necesariamente de ellas, por ser lo que son, otra cosa diferente.
Son todos los argumentos con bases solidas y justificadas un ejemplo seria El dia y la
noche son generados porque la tierra gira alrededor del sol
La lgica es importante porque nos ensea a pensar; y su utilidad radica en que nos
ayuda a desarrollar la capacidad de razonar.Sin embargo, existen otras razones que la
hacen valiosa, por ejemplo: proporciona las herramientas para resolver los problemas
que surgen entorno al pensamiento; facilita el paso de la simple opinin sobre las cosas
a tener un concepto bien estructurado y claro de ellas; indica como puede elaborarse un
pensamiento a partir de otro y lograr que sea correcto y verdadero; seala como
fundamentar racionalmente nuestras ideas y evitar el error, ayuda a caracterizar las
bases del conocimiento cientfico.
La finalidad practica de la lgica es conducir la actividad del entendimiento para que el
pensamiento sea coherente consigo mismo, tenga ilacin, sea claro, y sobre todo, este
en conformidad con la realidad. En otras palabras, la lgica establecer las condiciones
para que la mente, eliminando el error, alcance su fin supremo sea la verdad
LA LGICA
86. Todo hombre siempre que razona, en el sentido propio del trmino,
realiza una aproximacin a una tal clasificacin. Es verdad que la
contemplacin de un estado de cosas que se cree real puede hacer que el
contemplador crea algo adicional, sin hacer clasificacin alguna de tales
secuencias. Pero, en este caso, no critica el procedimiento, como tampoco
reflexiona distintivamente sobre que sea propio. Consecuentemente, no puede
ejercer control alguno sobre el mismo. Ahora bien, lo que es incontrolable no
est sujeto, en absoluto, a ninguna ley normativa, es decir, no es ni bueno ni
malo, ni favorece, ni deja de favorecer un fin. Sino que es slo la adopcin
deliberada de una creencia, como consecuencia de la verdad aceptada de alguna
otra proposicin, lo cual, propiamente hablando, es razonar. En este caso, la
creencia se adopta porque el razonador concibe que el mtodo por el que se ha
determinado, o no habra llevado en un caso anlogo a una conclusin falsa a
partir de premisas verdaderas, o, porque de adherirse firmemente a la misma,
habra llevado, a la larga, a una aproximacin indefinida a la verdad, o, al
menos, habra asegurado al razonador de conseguir, por ltimo, una
aproximacin tan cercana a la verdad como, en cualquier caso, puede estar
seguro de conseguir. En todo razonar hay, por lo tanto, una referencia ms o
menos consciente a un mtodo general, implicando algunos inicios de una
clasificacin de argumentos tal como el lgico pretende. A una tal clasificacin
de argumentos, antecedente a cualquier estudio sistemtico del tema, se la llama
la logica utens del razonador, en contraposicin al resultado del studio
cientfico, al que se llama logica docens. Vase "Razonar"36.
88. En general se acepta que hay una doctrina, que antecede propiamente a
lo que hemos llamado crtica. sta considera, por ejemplo, en qu sentido y
cmo puede haber alguna proposicin verdadera y proposicin falsa, y cules
son las condiciones generales a las que tiene que conformarse el pensamiento,
o los signos de cualquier tipo, con vistas a afirmar algo. Kant, que fue el primero
en elevar a rango prominente estas cuestiones, llam a esta
doctrina trascendentale Elementarlehre, pasando a integrar una amplia parte de
su Crtica de la razn pura. Pero la Grammatica speculativa de Scoto es un
intento interesante y anterior41. La palabra alemana usual es Erkenntnistheorie,
traducida algunas veces por epistemologa.
93. Los recursos a los usos del lenguaje son extremadamente comunes. Se
valen de ellos incluso los que, en lgica, utilizan una notacin algebraica "con
vistas a liberar a la mente de las trabas del lenguaje" (Schrder, Logik, i, p. iii)43.
Es difcil ver qu es lo que puede esperarse de tal proceder, a menos que sea
establecer una proposicin psicolgica vlida para todas las mentes. Pero, para
hacer esto, sera necesario mirar ms all de la pequea y muy peculiar clase de
las lenguas arias, a las que est confinado el conocimiento de la mayora de
estos escritores. Las lenguas semticas, con las que estn familiarizados algunos
de ellos, son demasiado similares a las arias, como para ampliar grandemente
su horizonte. Adems, incluso si se examinan otras lenguas, el valor de
cualquier inferencia lgica, a partir de las mismas, est muy capitidisminuido
por la costumbre de nuestros gramticos de ajustarlas forzosamente al lecho
procusteano44 de la gramtica aria.
Hay preguntas que merecen una respuesta, pero la respuesta puede no ser
exactamente la que usted esperaba.
Qu es lgica?
En la escuela primaria, se estudia cosas como lectura, escritura y aritmtica.
Aquellos asuntos son considerados bsicos para toda la educacin posterior:
El lugar de la lgica
La lgica no es psicologa. No describe lo que la gente piensa acerca de o
como consiguen en conclusin, ella describe la forma en que deberan
pensar si desean razonar correctamente. Ella se parece ms a la aritmtica
que a la historia, pues explica las reglas que hay que seguir para llegar a
conclusiones correctas, as como la aritmtica explica las reglas que una
persona debe seguir para llegar a respuestas correctas.
Pero decir que hay muchos tipos diferentes de lgica, una persona debe usar
la reglas de la lgica que existen. Los que dicen que hay otro tipo de lgica
expresen sus puntos de vista usando otra lgica. Es como si alguien afirmara
que hay dos (o ms) tipos de aritmtica la aritmticas en la que dos ms
dos son igual cuatro, y una segunda en la cual dos mas dos es igual a veinte
y dos. Cualquier persona que desprecie o menosprecia la lgica debe usar la
lgica en su ataque, lo cual anula su propio argumento. Esto puede quizs
mejor ser visto a travs de una discusin especfica de una de las leyes de la
lgica.
1 nota del traductor: este texto apareci en Trinity, en la edicin de julio / agosto de 1985.
Pedro advierte contra los que tuercen las Escrituras para su propia perdicin.
Un estudio de la lgica nos ayudar a evitar la distorsin de las Escrituras y
el tratar de hacer la implicacin de algo que ella no implica.
El estudio de la lgica nos ayudar a entender mejor todos los otros temas,
no solamente la teologa. Por lo tanto, como Dios dijo por medio del profeta
Isaas: venid y razonemos!
La lgica matemtica estudia los sistemas formales en relacin con el modo en el que codifican
nociones intuitivas de objetos matemticos como conjuntos, nmeros, demostraciones y
computacin.
La lgica matemtica suele dividirse en cuatro subcampos: teora de modelos, teora de la
demostracin, teora de conjuntos y teora de la recursin. La investigacin en lgica
matemtica ha jugado un papel fundamental en el estudio de los fundamentos de las
matemticas. Actualmente se usan indiferentemente como sinnimos las expresiones: lgica
simblica( o logstica), lgica matemtica, lgica teortica y lgica formal.1
La lgica estudia la forma del razonamiento, es una disciplina que por medio de reglas y
tcnicas determina si un argumento es vlido. La lgica es ampliamente aplicada en la filosofa,
matemticas, computacin, fsica. En la filosofa para determinar si un razonamiento es vlido
o no, ya que una frase puede tener diferentes interpretaciones, sin embargo la lgica permite
saber el significado correcto. En las matemticos para demostrar teoremas e inferir resultados
matemticas que puedan ser aplicados en investigaciones. En la computacin para revisar
programas. En general la lgica se aplica en la tarea diaria, ya que cualquier trabajo que se
realiza tiene un procedimiento lgico, por el ejemplo; para ir de compras al supermercado una
ama de casa tiene que realizar cierto procedimiento lgico que permita realizar dicha tarea. Si
una persona desea pintar una pared, este trabajo tiene un procedimiento lgico, ya que no
puede pintar si antes no prepara la pintura, o no debe pintar la parte baja de la pared si antes
no pint la parte alta porque se manchara lo que ya tiene pintado, tambin dependiendo si es
zurdo o derecho, l puede pintar de izquierda a derecha o de derecha a izquierda segn el
caso, todo esto es la aplicacin de la lgica.
La lgica es pues muy importante; ya que permite resolver incluso problemas a los que nunca
se ha enfrentado el ser humano utilizando solamente su inteligencia y apoyndose de algunos
conocimientos acumulados, se pueden obtener nuevos inventos innovaciones a los ya
existentes o simplemente utilizacin de los mismos.
El orden en que se presenta el documento es el siguiente: Primeramente se establece la
importancia de la lgica matemtica, despus definimos el concepto de proposicin. Se
establece el significado y utilidad de conectivos lgicos para formar proposiciones compuestas.
Ms tarde abordamos las proposiciones condicionales y bicondicionales. Definimos tautologa,
contradiccin y contingente, y proporcionamos una lista de las tautologas ms importantes,
as mismo explicamos a que se le llama proposiciones lgicamente equivalente apoyndonos
de tablas de verdad. Para finalizar; abordamos los mtodos de demostracin: directo y por
contradiccin, en donde incluye reglas de inferencia.
En este trabajo se trata adems de presentar las explicaciones con ejemplos que le sean
familiares. Nuestro objetivo es que el alumno aprenda a realizar demostraciones formales por
el mtodo directo y el mtodo por contradiccin. Ya que la mayora de los libros comerciales
nicamente se quedan en explicacin y demostracin de reglas de inferencia. Consideramos
que s el alumno aprende lgica matemtica no tendr problemas para aprender ciencias
exacta y ser capaz de programar computadoras, ya que un programa de computadora no es
otra cosa que una secuencia de pasos lgicos, que la persona establece para resolver n
problema determinado.
Es importante mencionar que en las demostraciones no hay un solo camino para llegar al
resultado. El camino puede ser mas largo o ms corto dependiendo de las reglas de inferencia
y tautologas que el alumno seleccione, pero definitivamente deber llegar al resultado. Puede
haber tantas soluciones como alumnos se tenga en clase y todas estar bien. Esto permite que
el estudiante tenga confianza en la aplicacin de reglas y frmulas. De tal manera que cuando
llegue a poner en practica esto, el sea capaz de inventar su propia solucin, porque en la vida
cada quien resuelve sus problemas aplicando las reglas de inferencia para relacionar los
conocimientos y obtener el resultado.u
Cul es la importancia de la aplicacin de la "Lgica matemtica" en el
proceso enseanza-aprendizaje?
La lgica matemtica dentro de la enseanza-aprendizaje es muy importante ya que a travs
de ella el estudiante desarrolla su intelecto mental por medio de la razn, cuya espectativa es
desarrollar formas precisas para que el alumno enfrente problemas de la vida diaria y sepa
como resolverlos mediante un pensamiento lgico matemtico.
Hoy da el docente dentro del contexto de la esnseanza se encuentra con serios problemas al
momento de empezar a trabajar y desarrollar la temtica numerica en los alumnos, esto ha
convertido en un pesar ya que debido al bajo rendimiento mental el estudiante no alcanza el
nivel adecuado para poder desenvolverse ante problemas de su diario vivir; de ello no tiene la
culpa el alumno, tampoco el padre de familia y mucho menos el docente, ya que el problema
que sobresale es la falta de una buena nutricion y es por ello que el intelecto de la razn se va
desarrollando lentamente en el estudiante, an cuando las didactica docente sea buena los
alumnos llevan su desarrollo lgico matematico al comps de su diario vivir y al ritmo de su
rendimiento emocional.
LA LOGICA MATEMTICA
La lgica estudia la forma del razonamiento, ya que se entiende como una disciplina que por
medio de reglas y tcnicas determina si un argumento es vlido. Como tambin podemos
decir, que es muy importante; ya que permite resolver incluso problemas a los que nunca nos
hemos enfrentado como seres humanos utilizando solamente la inteligencia y apoyndonos de
algunos conocimientos almacenados, se pueden obtener nuevos inventos descubiertos a los ya
existentes o simplemente utilizacin de los mismos; ya que en la vida del hombre la lgica es
de gran importancia, ya que es un instrumento necesario para obtener un conocimiento que
pueda ser calificado de vlido.
Por otro lado, en la lgica matemtica, nos da a entender, que en cuanto ms seamos capaces
de razonar ms podremos enfrentar ante un problema complejo y difcil, porque as podemos
llegar a conclusiones fiables.