Switch to: References

Add citations

You must login to add citations.
  1. Traditional Logic and Computational Thinking.J. -Martín Castro-Manzano - 2021 - Philosophies 6 (1):12.
    In this contribution, we try to show that traditional Aristotelian logic can be useful (in a non-trivial way) for computational thinking. To achieve this objective, we argue in favor of two statements: (i) that traditional logic is not classical and (ii) that logic programming emanating from traditional logic is not classical logic programming.
    Download  
     
    Export citation  
     
    Bookmark  
  • Silogística estadística usando términos.J. -Martín Castro-Manzano - 2021 - Universitas Philosophica 38 (76):171-187.
    En esta contribución proponemos una representación de un fragmento de la silogística estadística de Thompson usando la lógica de términos de Sommers. El resultado es una interpretación terminista de la silogística estadística.
    Download  
     
    Export citation  
     
    Bookmark  
  • Interpolation in Term Functor Logic.J. -Martín Castro-Manzano - forthcoming - Critica:53-69.
    Given some links between Lyndon’s Interpolation Theorem, term distribution, and Sommers and Englebretsen’s logic, in this contribution we attempt to capture a sense of interpolation for Sommers and Englebretsen’s Term Functor Logic. In order to reach this goal we first expound the basics of Term Functor Logic, together with a sense of term distribution, and then we offer a proof of our main contribution.
    Download  
     
    Export citation  
     
    Bookmark  
  • El pons scholastiscorum.J. Martín Castro Manzano & Jorge Medina-Delgadillo - 2020 - Dianoia 65 (85):55-72.
    Resumen En esta contribución ofrecemos una interpretación del pons asinorum que se basa en una lógica de términos contemporánea. Esto nos permite revitalizar la idea del pons asinorum para generar el -políticamente correcto- pons scholasticorum, una versión terminística del pons asinorum que conecta la inventio medii con el dictum de omni et nullo.In this contribution we offer an interpretation of the pons asinorum by using a contemporary term logic. This interpretation allows us to revitalize the concept of the pons asinorum (...)
    Download  
     
    Export citation  
     
    Bookmark