XXIII Colóquio Conesul
de Filosofia das Ciências Formais


De Mathematicae atque philosophicae Elegantia

EDIÇÃO FESTIVA PARA ABEL LASSALLE CASANAVE

Local e Data:

Filosofia PUC-Rio – Gávea/Rio de Janeiro
28 de outubro de 2019 a 30 de outubro de 2019

Participantes:

  • Oswaldo CHATEAUBRIAND (Pontifícia Universidade Católica do Rio de Janeiro)
  • Tamires DAL MAGRO (Universidade Federal de Campinas)
  • Róbson Ramos DOS REIS (Universidade Federal de Santa Maria)
  • Oscar M. ESQUISABEL (Universidad Nacional de La Plata)
  • Paulo FARIA (Universidade Federal do Rio Grande do Sul)
  • Eduardo GIOVANINNI (Universidad Nacional del Litoral)
  • Edward H. HAEUSLER (Pontifícia Universidade Católica do Rio de Janeiro)
  • Abel LASSALLE CASANAVE (Universidade Federal da Bahia)
  • Javier LEGRIS (Universidad de Buenos Aires)
  • Bruno LOPES (Universidade Federal Fluminense)
  • Jorge Alberto MOLINA (Universidade de Santa Cruz do Sul)
  • Marco Aurélio OLIVEIRA DA SILVA (Universidade Federal da Bahia)
  • Marco PANZA (CNRS/IHPST - Université Paris I)
  • Luiz Carlos PEREIRA (Universidade do Estado do Rio de Janeiro)
  • André PORTO (Universidade Federal de Goiás)
  • Nastassja PUGLIESE (Universidade Federal do Rio de Janeiro)
  • Wagner SANZ (Universidade Federal de Goiás)
  • Frank Thomas SAUTTER (Universidade Federal de Santa Maria)
  • Gisele SECCO (Universidade Federal de Santa Maria)
  • José SEOANE (Universidad de La República)
  • Marcos SILVA (Universidade Federal de Alagoas)
  • Paulo VELOSO (Universidade Federal do Rio de Janeiro)

Instituição Promotora:

  • Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio)

Comissão Organizadora:

  • Luiz Carlos PEREIRA
  • Gisele SECCO

Comissão Científica:

  • Oscar M. ESQUISABEL
  • Frank Thomas SAUTTER

Programação:

Exibir +

Segunda-feira 28 de outubro

10:00 – Cerimônia de Abertura

10:30h – Demostración, deducción lógica y consecuencia lógica / Oswaldo Chateaubriand

11:15 – Três modelos de análise filosófica / Nastassja Pugliese

Pausa para o almoço

14h – A Concepção Estândar de Prova e o Problema de Kant / André Porto

15h – Kant, Raggio e GL / Paulo Estrella Faria

Pausa para o café

16:30 – Demostración euclidiana y ambigüedad perceptual / José Seoane

17:30 – Qué podría haber sido la universalidad para Euclides / Marco Panza

18:30 – Coquetel de lançamento de Por construção de conceitos: em torno da filosofia kantiana da matemática, de Abel Lassalle Casanave

 

Terça-feira 29 de outubro

10h – Mesa redonda Quaestiones de Logica

Uma nota sobre resultados de speepdup em sistemas dedutivos / Edward Hermann Haeusler

Duas negações ecumênicas / Luiz Carlos Pereira

(Mediador: Bruno Lopes)

11:15h – Nota sobre las variedades del conocimiento simbólico / Javier Legris

Intervalo para almoço

14h – Álgebra y clasificación de problemas geométricos: una herencia cartesiana / Eduardo N. Giovannini

15h – Semejanza, identidad de forma e indiscernibilidad en Leibniz / Oscar M. Esquisabel

Pausa para café

16:30 – Sobre resolução de problemas e a possibilidade de revisão da lógica / Marcos Silva

17:30 – Teoria de Problemas / Wagner Sanz

Debatedor: Paulo Veloso

 

Quarta-feira 30 de outubro

10h – O estatuto do objeto geométrico em Al-Nayziri e Alberto Magno / Marco Aurélio Oliveira da Silva

11h – La interpretación de Boecio de los indemostrables de los estoicos en su comentario a los Tópicos de Cicerón / Jorge Alberto Molina

Intervalo para almoço

14h – Sobre representação diagramática e o quadrilátero de Saccheri / Tamires Dal Magro

15h – Ignorabimus, vida afortunada e generalidade / Róbson Ramos dos Reis

16h – Recta / Frank Thomas Sautter

17– Relações de estilo: filosofia, matemática, prova / Gisele Dalva Secco

18h – Nota de Encerramento – Abel Lassalle Casanave

Downloads:

© 2021 Direitos Reservados.