A study of pre-modern logics using modern formal tools view Grant

abstract

  • Se pretende entender, por medio de las herramientas de la lógica moderna, las propiedades de las lógicas premodernas. Ello permitirá entender las diferencias y los distintos estadios intermedios de estos sistemas con respecto a la lógica moderna y contemporánea, con lo cual se podrá en un futuro entender más fácilmente y con mayor precisión las contribuciones de cada uno de estos sistemas al estado actual del conocimiento de la lógica.
  • The aim is to understand, by means of the tools of modern logic, the properties of pre-modern logics. This will make it possible to understand the differences and the different intermediate stages of these systems with respect to modern and contemporary logic, so that in the future the contributions of each of these systems to the current state of knowledge of logic can be understood more easily and with greater precision.

date/time interval

  • 2006-01-01 - 2015-01-01

keywords

  • Completeness
  • First-order Logic
  • Intermediate
  • Logic
  • Modern Logic
  • Natural Deduction
  • Predicate Logic
  • Premodern
  • Subsystem
  • Theorem