Form and Structure in Mathematical Reasoning

Descrição:

O presente workshop investiga o papel essencial desempenhado pelas noções de forma e estrutura na caracterização das teorias matemáticas. Esta investigação tem como foco tanto os aspectos lógicos e semânticos (como a noção de verdade) quanto os aspectos que pertencem à prática  matemática (por exemplo, a noção de prova).

Participantes:

  • Méven CADET (IHPST - Université Paris I)
  • Oswaldo CHATEAUBRIAND (Pontifícia Universidade Católica do Rio de Janeiro)
  • Kate HODESDON (Laboratoire d)
  • Abel LASSALLE CASANAVE (Universidade Federal da Bahia)
  • Pierre WAGNER (CNRS/IHPST - Université Paris I)

Programação:

Exibir +

Lundi 13 octobre

9h00 - 10h00 Abel Lassalle Casanave (Universidade Federal de Bahia), Intuitive and symbolic knowledge in Hilbert’s program.

10h15 - 11h15 Pierre Wagner (Université Paris 1 Panthéon-Sorbonne, IHPST), Carnap’s notions of structure.

11h30 - 12h30 Méven Cadet (Université Paris 1 Panthéon-Sorbonne, IHPST), In what sense is Frege's second Ideography formal ?

 

Mardi 14 octobre

9h30 - 10h30 Oswaldo Chateaubriand (Pontifícia Universidade Católica do Rio de Janeiro), Mathematical reasoning and the logical analysis of proof.

11h15 - 12h15 Kate Hodesdon (Laboratoire d'Histoire des Sciences et de Philosophie, Archives Henri-Poincaré), Structuralism and mathematical representation.

Instituição Promotora:

  • CNRS/IHPST – Université Paris I (CNRS/IHPST - Université Paris I)

Agências Financiadoras:

  • Comité Français d’Evaluation de la Coopération Universitaire et Scientifique avec le Brésil (COFECUB)
  • Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Local e data:

Paris
Início: 13 de outubro de 2014
Término: 14 de outubro de 2014

Comissão Organizadora:

  • Alberto NAIBO
  • Marco PANZA
© 2021 Direitos Reservados.