Author: Miguel Sánchez-Mazas
Publisher:
ISBN:
Category : Logic, Symbolic and mathematical
Languages : es
Pages : 162

Get Book Here

Book Description

Author: Miguel A. Quintanilla
Publisher:
ISBN:
Category : Algebra, Boolean
Languages : es
Pages : 230

Get Book Here

Book Description

Author: Paul Lorenzen
Publisher: Walter de Gruyter GmbH & Co KG
ISBN: 3112311736
Category : Mathematics
Languages : es
Pages : 172

Get Book Here

Book Description
No detailed description available for "Lógica Formal".

Author: Alberto Moreno
Publisher:
ISBN:
Category : Logic, Symbolic and mathematical
Languages : es
Pages : 96

Get Book Here

Book Description

Author: Andoni Ibarra
Publisher: BRILL
ISBN: 9004457615
Category : Business & Economics
Languages : en
Pages : 432

Get Book Here

Book Description

Author: Juan Carlos Sarmiento Reyes
Publisher: U. Externado de Colombia
ISBN: 9587728971
Category : Mathematics
Languages : es
Pages : 9

Get Book Here

Book Description
El presente libro es principalmente un texto guía para iniciarse en el estudio de la lógica formal y la lógica matemática. Está concebido de manera especial para estudiantes y profesores universitarios de ciencias sociales y humanas, por el tipo de ejemplos y ejercicios que evocan regularmente los lenguajes propios de estas disciplinas. El autor innova en algunas de las formas tradicionales de la enseñanza y el aprendizaje de la lógica conceptual, simbólica y diagramática, de tal manera que los contenidos temáticos puedan ser más asequibles al aprendiz en aquellos asuntos que presentan regularmente mayor dificultad. Este texto, sin embargo, tiene otra particularidad. No solo avanza en el manejo técnico de la lógica clásica sino que indaga desde la filosofía de la lógica y desde algunas de las lógicas no-ortodoxas sobre la importancia y la necesidad de continuar descubriendo, creando y desarrollando otras formas de pensar que se aproximen más al trabajo de los científicos sociales. Particularmente, de otras maneras de razonar que le apuesten a formalizar en menor medida los lenguajes naturales del humano y de 10 humano, al tiempo que, en justa reciprocidad, \'informalicen\' en alguna importante proporción las formas más acartonadas de la lógica hegemónica inculcada en \'Occidente\'. La lógica tradicional, según el autor, se presenta en muchos ámbitos como una impostura frente a la riqueza, variabilidad y complejidad de la racionalidad humana, de cara a los mundos posibles. Considera que la concepción clásica de la lógica adopta un monismo, a veces disfrazado de neutralidad ontológica, epistemológica y axiológica, a partir del cual se ha asumido que hay una única forma de razonar correctamente. Ese monismo lógico estaría afincado, a su vez, en alguna cosmovisión monocular, en la creencia de que \'el mundo\' es real de una sola manera. Estas y otras ideas, por supuesto controvertibles, son sugeridas al lector en algunos de los apartados de este escrito.

Author:
Publisher:
ISBN:
Category :
Languages : es
Pages :

Get Book Here

Book Description

Author: Luis De Ledesma Otamendi
Publisher: Editorial Ra-Ma
ISBN: 9788478979387
Category : Computers
Languages : es
Pages : 180

Get Book Here

Book Description
"La fuerza de la Lógica Formal reside en su capacidad para... deducir precisa y, en muchos casos, mecánicamente, ciertas expresiones simbólicas nuevas a partir de otras anteriores. Las expresiones inferidas son los teoremas" Así se abre el texto: con los símbolos y leyes lógicas que nos enseñarán a usar el sentido común y nuestra capacidad de razonar sobre la realidad. Con ellos, demostraremos teoremas con rigor y, mejor aún, aprenderemos a verificar con precisión que son realmente válidos. Estamos así en pleno centro de las Teorías de primer orden, la base de toda lógica; aparecen sus raíces sanas y fuertes desde hace más de un siglo y se muestran resultados históricos tanto por su propia importancia como por su papel en el desarrollo de la ciencia moderna. Con tales mimbres y a partir de su propio trabajo científico y experiencia docente en Lógica, el autor ha hecho de estas primeras nociones una base para el desarrollo posterior del texto. El lector que se sitúa en este punto inicial comienza el tránsito a lo largo de una línea de la que no se separará y que le conduce con claridad hasta los fundamentos y las primeras nociones de la programación lógica y PROLOG. Para el camino se le proporciona todo el equipaje necesario, pero nada más. Tendrá que asomarse a nuevos sistemas formales con su correspondiente teoría y nada será superfluo porque pronto verá cómo dicha teoría tiene la potencia necesaria para ir haciendo la Lógica cada vez más algorítmica. Este libro no es sobre la historia. Tales libros, salvo ejercicios de estilo, tienen la servidumbre de presentarse como un todo acabado. Sin embargo, el autor no ha olvidado que a todos nos gusta saber cómo han surgido las cosas y por qué alguien demostró lo que demostró. Por eso, ha procurado que el lector nunca olvide que está en un camino, ha añadido los comentarios que ha creído oportunos y ha escrito con la intención de facilitar la lectura en la medida de lo posible. Este es un texto pensado para estudiantes y profesores inclinados a las matemáticas, la lógica y los fundamentos de su automatización, alumnos de primeros cursos de Lógica y aquellos programadores de PROLOG que no han tenido la oportunidad de asomarse a la base sobre la que descansa su trabajo. "El libro tiene un aire a la vez nuevo y tradicional que lo hace muy recomendable para aquellos a los que está destinado" Eugenio Roanes Lozano, Reseña en el Boletín de la Sociedad "Puig Adam" de Profesores de Matemáticas.

Author: University of Texas. Library. Latin American Collection
Publisher:
ISBN:
Category : Latin America
Languages : en
Pages : 770

Get Book Here

Book Description

Author: Alfredo Deaño
Publisher: Alianza Editorial Sa
ISBN: 9788420686813
Category : Philosophy
Languages : es
Pages : 424

Get Book Here

Book Description
La Introduccion a la logica formal pretende ofrecer unos fundamentos de logica que, sin ceder en su rigor tecnico, tienen una finalidad marcadamente didactica, acentuada con la incorporacion de un capitulo de ejercicios resueltos al final de la obra. Al analizar con detalle los problemas filosoficos suscitados por las investigaciones mas recientes, la obra rompe el tono criptico y cabalistico de los manuales que consideran la logica como un juego cerrado. De anadidura, la claridad expositiva y el talento literario del autor logran la dificil meta de que los temas propios de la logica resulten atrayentes y aun divertidos.