Outras Atividades

Diagramas Lógicos de Leibniz a Peirce

Descrição:

O objetivo deste seminário de doutorado consiste em acompanhar a evolução do desenvolvimento de métodos diagramáticos de decisão, do século XVII até os dias de hoje. Essa exploração permitirá e virá acompanhada de apresentação de resultados originais, que culminarão em uma proposta de ontologia dos diagramas lógicos, obtida a partir de um tratamento mereológico dos diagramas.

Participantes:

  • Oscar M. ESQUISABEL (Universidad Nacional de La Plata)
  • Javier LEGRIS (Universidad de Buenos Aires)
  • Frank Thomas SAUTTER (Universidade Federal de Santa Maria)

Programação:

Exibir +

Unidade 1. Diagramas lógicos destituídos de suporte.

            1.1. Os diagramas lógicos de Leibniz.

            1.2. Os diagramas lógicos de Euler.

            1.3. Crítica aos diagramas lógicos destituídos de suporte.

Unidade 2. Diagramas lógicos e elementos extralógicos.

            2.1. Os diagramas lógicos de Venn.

            2.2. Diagramas lógicos mutilados, ekthesis, e a distinção sujeito-predicado.

            2.3. Crítica de Lewis Carroll a Venn.

Unidade 3. Diagramas lógicos com termos negativos.

            3.1. Aristóteles e os nomes indefinidos.

            3.2. Os diagramas lógicos de Keynes e a validade informacional.

            3.3. Os diagramas lógicos de Lewis Carroll.

Unidade 4. Diagramas lógicos com representações salientes.

            4.1. Grafos duais e as regras supremas dos silogismos.

            4.2. Método visual para a Lógica Proposicional Clássica.

Unidade 5. A distinção entre o simbólico e o visual.

            5.1. A linearização de Peirce.

            5.2. Linear K: uma linearização para a silogística.

Unidade 6. Ontologia dos diagramas lógicos.

Instituição Promotora:

  • Universidad Nacional de La Plata (UNLP)

Local e data:

La Plata, Argentina
Início: 05 de agosto de 2013
Término: 22 de agosto de 2013