Lógica Matemática
2,611 Followers
Recent papers in Lógica Matemática
Este Comentário Número 9 à Teoria da Objetividade tem como objetivo demonstrar a quantidade de lados que compõem o ponto esférico que ocorria antes do surgimento do Universo e confirmar que não é possível a construção de uma esfera... more
RESUMEN En la primera parte de este artículo se realiza una revisión de las principales causas que han dado lugar a la vinculación exclusiva del álgebra con el lenguaje simbólico y los niveles medios y superiores de escolarización: se... more
Ponencia en 1er Congreso Latinoamericano de Psicología e innovación para el cambio social. El psicoanalisis ha sido confundido como una rama de la psicologia. Veremos como el analisis trabaja con la lógica sobre lo que se produce por la... more
¿Qué ha pasado con el problema del cardinal del continuo después de Gödel (1938) y Cohen (1964)? Intentos de responder esta pregunta pueden encontrarse en los artículos de José Alfredo Amor (1946-2011), "El Problema del continuo después... more
Excelente libro Max Fernández de Castro, Asunción Preisser, Luis Felipe Segura y Yolanda Torres Falcón, de la UAM.
En este artículo se presentan dos demostraciones del teorema de interpolación: Una para la lógica proposicional y otra para la lógica de primer orden. Ambas se realizan en el contexto de la teoría de modelos. El teorema de interpolación... more
Resumen: MARLO'S LOGICAL DIAGRAMS FOR VISUAL AND HETEROGENEOUS REASONING: VALID IN MATHEMATICAL AND ARISTOTHELIC LOGIC.
Dejas de ser un fanático de la matemática formal: cuando al conocer otras grandes manifestaciones del intelecto humano éstas logran impresionarte a tal grado que no dudas en afirmar o concluir: ”las matemáticas NO es el prototipo de la... more
La lógica matemática es matemática en cuanto que usa herramientas matemáticas. En este sentido, la lógica matemática es matemática en el mismo sentido que lo es, digamos, la mecánica newtoniana. En ambos casos, el método es matemático,... more
Lógicas no clásicas. Una introducción de Antonio Benítez funciona como una elegante introducción formal al estudio riguroso y sistemático de las lógicas no clásicas más llamativas desde el siglo pasado. Esta obra, a la que vamos a pasar... more
Tipo de publicación: Reseña Titulo del trabajo: “Sáenz, Jorge; Gil, Fanny; López, Belkis; Romero; Neptalí; Bethelmy, José. Fundamentos de la matemática, Editorial Hipotenusa, Barquisimeto, 2006, 414 pp.” Titulo de la revista: Episteme NS... more
Libro de Pablo Fernández Gallardo y José Luis Fernández Pérez
Presentación brindada en la cuarta escuela de lógica y conjuntos.
Se brinda una implementación del algoritmo Davis–Putnam–Logemann–Loveland (DPLL) en el asistente de pruebas de Coq, así como la demostración de la correctud del algoritmo.
Se brinda una implementación del algoritmo Davis–Putnam–Logemann–Loveland (DPLL) en el asistente de pruebas de Coq, así como la demostración de la correctud del algoritmo.
Resumen. En este artículo analizamos la noción de objeto matemático que tenían en la antigüedad clásica griega Platón y Aristóteles. En particular tratamos de probar que es erróneo interpretar la doble connotación que dicha noción exhibe... more
En el ámbito de la lógica matemática existe un problema sobre la relación lógica entre dos versiones débiles del Axioma de elección (AE) que no se ha podido resolver desde el año 2000 (aproximadamente). Tales versiones están relacionadas... more
The aim of this work is to study the notion of negation.In order to acomplish our goal first we analyse the idea of negation as a philosophical one that requires other philosophical notions as analogy, category, sincategorematic, ...... more
Ejercicios de lógica matemática para el razonamiento humano.
Libro de Carlos Ivorra Castillo
La relación que existe entre la lógica y la filosofía es muy antigua, es incluso más antigua que la misma sistematización de la lógica llevada a cabo por Aristóteles. Por ejemplo, en los diálogos platónicos se puede observar una y otra... more
Estudio de la obra lógica y matemática de Gödel
Ejercicios de Tautologías, Cálculo de Predicados (L0), Circuito Lógico y Teorema de Completez.
Tal trabalho visa não só dilucidar a dilatação temporal em um buraco negro ao trazer à teoria o elemento imagético, mas também através de uma abordagem totalmente inovadora sobre o referido objeto de estudo trazer a tona diversas... more
Resumo: Neste artigo extremamente sintético delimito possíveis investigações a se fazerem a respeito da matemática e suas possíveis atribuições metafísicas através da explanação do que é o conjunto vazio, levando-nos a uma das possíveis... more
Hablar de aspectos que surgen de la socialización sobre pedagogía de la ternura, es hacer reseña a una mejor demarcación, de lo que se concibe por ternura. Y esto, debido a la tergiversación histórica anotada en el mundo de lo que... more
En el artículo en cuestión, Frege, padre de la lógica simbólica, intenta fundamentarla desde una teoría lingüístico-metafísica. Este comentario trata de mostrar el inevitable fracaso de esta empresa.
Septiembre 2016
Septiembre 2016
Sea (P,≤) un conjunto parcialmente ordenado y sea S un subconjunto de P . Una cota superior de S es un elemento c ∈ P tal que s ≤ c para todo s ∈ S. Una cota inferior de S es un elemento d ∈ P tal que d ≤ s para todo s ∈ S. Una cota... more
Resumen: El estudio de los "cardinales grandes" es uno de los principales temas de investigación de la teoría de conjuntos y de la teoría de modelos que ha contribuido con el desarrollo de dichas disciplinas. Existe una gran variedad de... more
Prólogo del Libro II: La nouvelle fiducie.
RESUMO: Este presente artigo visa explorar as relações entre lógica matemática e psicanálise, utilizando-se de conceitos iniciais, e com o objetivo de entender melhor um dos conceitos basilares para a psicanálise, o-nome-do-pai. Palavras... more
Estudiamos la lógica de Lukasiewicz infinitovalorada repasando algunos puntos importantes para demostrar el teorema de completud débil. Para ello estudiamos la algebraización mediante MV-álgebras (también veremos las álgebras de... more
As ciências fazem modelos do mundo, assim como a lógica pode ser interpretada como a ciência que faz modelos sobre o raciocínio correto.
Primer tomo del tratado Crítica de la razón fiduciaria. Libro primero: Fiduciae causa. Este extenso tratado versa sobre el más enigmático de los contratos. Obra en tres tomos. Revisada por pares. Máxima calificación en suficiencia... more
Hablar de aspectos que surgen de la socialización sobre pedagogía de la ternura, es hacer reseña a una mejor demarcación, de lo que se concibe por ternura. Y esto, debido a la tergiversación histórica anotada en el mundo de lo que... more
Los Estudiantes de Ingeniería y Ciencias, necesitan adentrarse en un contexto tecnico dentro del lenguaje matemático, por lo que he preparado este pequeño trabajo para dar a concer como debería entenderse a las proposiciones mediante los... more
Trabajo escrito con respecto a la Lógica matemática de grado básico.
Un abogado defiende el caso de un terrateniente, que presenta el siguiente problema: requiere plantar árboles bonsái en uno de sus terrenos (con forma cuadrada el terreno), pero una empresa de embutidos pretende invadirlos con el pretexto... more