Areté. Vol. 07 Núm. 2 (1995)

URI permanente para esta colecciónhttp://54.81.141.168/handle/123456789/182203

Tabla de Contenido
Artículos
  • La reforma baconiana del saber y la teología Bautista Ferro, Juan; 191-208
  • Juan Bautista Ferro o la cotidianidad del filosofar. Fragmentos de un testimonio Carrión, Roque; 209-225
  • Ferro y los procedimientos decisorios de la lógica Rosales Papa, Diógenes; 227-243
  • Metamorfosis del genio maligno Albizu, Edgardo; 245-263
  • Goethe recogido por Eckermann (Lecciones universales de grandes alemanes) Chiappo, Leopoldo; 265-280
  • Sobre la dirección del tiempo Guzmán Jorquera, Arsenio; 281-299
  • Descartes y la escolástica Secada, Jorge E; 301-330
  • El idealismo de Berkeley Sobrevilla, David; 331-352

    • Documentos
  • Discurso de orden, en homenaje a Juan Bautista Ferro Rivara de Tuesta, María Luisa; 355-361
  • Discurso de agradecimiento Bautista Ferro, Juan; 363-369
  • Juan Bautista Ferro Camino Macedo, Federico; 371-374
  • Conversaciones con Juan Bautista Ferro Miró Quesada, Francisco; 375-381
  • Recordando a Juan Bautista Ramírez de Ferro, Antonieta; 383-384
  • Juan Bautista Ferro. Nota biobibliográfica Castro Gargurevich, Atilio; Dávila, Dante; 385-387

    • Reseñas
  • Vigencia de Mariátegui Giusti, Miguel; 391-396
  • La aventura de Mariátegui: nuevas perspectivas Monteagudo Valdez, Cecilia; 397-402
  • Búsquedas de la filosofía en el Perú de hoy. Racionalidad, historia y convivencia social. Rivera, Victor Samuel; 403-410

    • Explorar

    Filtros

    19951

    Ajustes

    Temasearch.filters.applied.operator.equals: search.filters.subject.Lógica

    Resultados de Búsqueda

    Mostrando 1 - 1 de 1
    • No hay miniatura disponible
      ÍtemTexto completo enlazado
      Ferro y los procedimientos decisorios de la lógica
      (Pontificia Universidad Católica del Perú. Fondo Editorial, 1995) Rosales Papa, Diógenes
      El artículo es un esbozo general de los procedimientos decisorios parafórmulas monádicas de primer grado tratados por Juan Bautista Ferro. Seinicia con una breve semblanza de Ferro. Luego trata el problema de ladecisión, y presenta los procedimientos decisorios de Quine (QS, QL y QM),Georg H. Von Wright (VW), Bernays Schonfinkel (BS), S.C. Kleene y elprocedimiento decisorio Ferro Herbrand (FH). Cada uno de estos métodos muestra el esfuerzo por reducir la lógica cuan ti ficacional monádica de primer orden a la lógica proposicional; en este sentido, el método FH opera con mayores ventajas sobre los otros métodos.