Results for ' Interpolación'

5 found
Order:
  1. Dos Teoremas de interpolación.Franklin Galindo - 2016 - Divulgaciones Matematicas 17 ( 2):15-42.
    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 afirma que si A y B son fórmulas, donde A no es una contradicción, B no es válida, y B es una consecuencia lógica de A, entonces existe una fórmula C que esta escrita en el lenguaje común al de (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. Conocer no es como predecir una secuencia numérica impredecible.Diego Alonso Becerra - 2020 - Scientia in Verba Magazine 6 (1):65-73.
    En su libro Mind and nature Gregory Bateson elabora un argumento que él llama ‘convencional’ para concluir que “nunca podremos ser capaces de reclamar conocimiento definitivo en asunto alguno [final knowledge of anything whatsoever]”. La conclusión es correcta, pero el argumento es engañoso y desorienta más de lo que ayuda. Además, Bateson, disimuladamente, introduce algunas afirmaciones falsas en medio de premisas verdaderas. Revisarlo nos permitirá aclarar algunos malentendidos comunes en filosofía de la ciencia, además de ser la excusa perfecta para (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Algunos tópicos de Lógica matemática y los Fundamentos de la matemática.Franklin Galindo - manuscript
    En este trabajo matemático-filosófico se estudian cuatro tópicos de la Lógica matemática: El método de construcción de modelos llamado Ultraproductos, la Propiedad de Interpolación de Craig, las Álgebras booleanas y los Órdenes parciales separativos. El objetivo principal del mismo es analizar la importancia que tienen dichos tópicos para el estudio de los fundamentos de la matemática, desde el punto de vista del platonismo matemático. Para cumplir con tal objetivo se trabajará en el ámbito de la Matemática, de la Metamatemática (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Bunge y la validez de la adición.Luis Estrada González & Christian Romero-Rodríguez - 2022 - In German Guerrero-Pino (ed.), Ciencia, Realismo y materialismo. Universidad del Valle. pp. 191-202.
    En The paradox of Addition and its dissolution (1969), Mario Bunge presenta algunos argumentos para mostrar que la Regla de Adición puede ocasionar paradojas o problemas semánticos. Posteriormente, Margáin (1972) y Robles (1976) mostraron que las afirmaciones de Bunge son insostenibles, al menos desde el punto de vista de la lógica clásica. Aunque estamos de acuerdo con las críticas de Margáin y Robles, no estamos de acuerdo en el diagnóstico del origen del problema y tampoco con la manera en la (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. Bunge y la validez de la adición.Estrada-González Luis & Romero-Rodríguez Christian - 2022 - In German Guerrero-Pino (ed.), Ciencia, Realismo y materialismo. Universidad del Valle. pp. 191-202.
    En The paradox of Addition and its dissolution (1969), Mario Bunge presenta algunos argumentos para mostrar que la Regla de Adición puede ocasionar paradojas o problemas semánticos. Posteriormente, Margáin (1972) y Robles (1976) mostraron que las afirmaciones de Bunge son insostenibles, al menos desde el punto de vista de la lógica clásica. Aunque estamos de acuerdo con las críticas de Margáin y Robles, no estamos de acuerdo en el diagnóstico del origen del problema y tampoco con la manera en la (...)
    Download  
     
    Export citation  
     
    Bookmark