III Mirantão Days
- When: August 13-15th, 2018
- Where: Hotel Fazenda Renascer at Bocaina de Minas-MG
Program
13/08/18
18:00 – Reception
14/08/18
10:00 – Tito Palmeiro - Computadores, inteligência e filosofia
11:00 – Paulo Veloso - On Partitions and Relations
12-14 – Lunch
14:00 – Marcos Silva - Convert the king! On logical conflicts between realists and anti-realists
15:00 – Edward Hermann Haeusler - Some arguments and evidences that each propositional tautology has an small and easy proof
16:00–16:30 – Coffee break
16:30 – Bruno Lopes - Model checking proof DAGs in Dedukti
17:30 – Sheila Veloso - On General Graphical Model-Checkers
15/08/18
10:00 – Gisele Secco - Symbolic Knowledge in the Tractatus Logico-Philosophicus: a Leibnizian Variation
11:00 – Abel L. Casanave - Stendlund sobre Leibniz e Hilbert
12–14 – Almoço
14:00 – Valeria de Paiva - Linear Logic Based on Dependency-Relations (joint work with Torben Brauner)
15:00–15:30 – Coffee break
15:30 – Wagner Sanz (comentarist: Luiz Carlos) - Neither Truth nor Proof: Semantical Principles for Intuitionistic Propositional Logic (Heyting’s Propositional Logic) and Classical Propositional Logic
16:30 - Jean-Baptiste Joinet - Generalizando “Principios de Abstração” de Frege.
Support
- CAPES
- COFECUB