68) João Vitor Schmidt
(UnB)
Axioms and Postulates as Speech Acts (joint work with Giorgio Venturi)
Dia: 05 de dezembro, 2023
Local: Anf. 14
Horário: 17h-18h
67) Irina Starikova
(UFMG)
Proof by contradiction in the context of mathematical thought experiments
Dia: 10 de novembro, 2023
Local: Anf. 14
Horário: 16h-17h
66) Newton Marques Peron
(UFFS)
Algumas abordagens multivaloradas para raciocínios envolvendo ficção
Dia: 10 de outubro, 2022
Local: Sala de Reuniões (FIL-UnB)
Horário: 14h30-16h
65) Rodolfo Ertola Biraben
(CLE-UNICAMP)
Sobre semiretículos distributivos
Dia: 04 de fevereiro, 2020
Local: Sala 09 (FIL-UnB)
Horário: 16h-18h
64) Rodolfo Ertola Biraben
(CLE-UNICAMP)
Sobre os fragmentos da lógica intuicionista
Dia: 03 de fevereiro, 2020
Local: Sala 09 (FIL-UnB)
Horário: 19h-21h
63) Itala M. Loffredo D'Ottaviano
(IFCH-CLE-UNICAMP)
Para além das Colunas de Hércules, uma história da paraconsistência: de Heráclito a Newton da Costa
Dia: 19 de novembro, 2019
Local: Sala de Reuniões (FIL-UnB)
Horário: 19h30-21h
62) Marcelo Esteban Coniglio
(IFCH-CLE-UNICAMP)
Maximalidade e maximalidade forte entre lógicas finitamente valoradas de Lukasiewicz com filtros de valores distinguidos
Dia: 22 de outubro, 2019
Local: Sala de Reuniões (FIL-UnB)
Horário: 17h-18h30
61) Marcelo Esteban Coniglio
(IFCH-CLE-UNICAMP)
Teoria de modelos baseada em estruturas pragmáticas para lógicas paraconsistentes 3-valoradas de primeira ordem: o caso de QCiore
Dia: 24 de outubro, 2019
Local: Sala de Reuniões (FIL-UnB)
Horário: 14h-15h30
60) Aldo Figallo-Orellano
(Universidad Nacional del Sur (AR) & Unicamp)
A noção algébrica das teorias máximas consistentes de Leon Henkin
Dia: 25 de setembro, 2019
Local: Sala de Reuniões (FIL-UnB)
Horário: 19h-20h30
59) Jean-Yves Béziau (UFRJ)
O conjunto vazio
Dia: 21 de agosto, 2019
Local: a determinar
Horário: 15h-16h30
58) Daniel Nagase (USP)
Kant, Frege e o alcance dos conceitos
Dia: 24 de julho, 2019
Local: Sala de Reuniões (Departamento de Filosofia - UnB)
Horário: 16h-18h00h
57) Wagner Sanz (UFG)
Semântica sem verdade e sem prova
Dia: 16 de julho, 2019
Local: Sala de Reuniões (Departamento de Filosofia - UnB)
Horário: 15h-16h30h
56) Michela Bordignon (UFABC)
Movimento e contradição: dialética e dialeteísmo
Dia: 08 de julho, 2019
Local: Sala de Reuniões (Departamento de Filosofia - UnB)
Horário: 19h-20h30h
55) Diego Fernandes (UFG)
Medidas de expressividade para lógicas modelo-teóricas
Dia: 30 de abril, 2019
Local: Sala de Reuniões (Departamento de Filosofia - UnB)
Horário: 18h-20h
54) Alfredo Roque Freire (Unicamp)
Bi-interpretações em teoria de conjuntos
Dia: 19 de março, 2019
Local: Sala de Reuniões (FIL-UnB)
Horário: 18h30-20h
53) Gregory Chaitin (UFRJ)
From Gödel incompleteness to biological creativity
Dia: 19 de dezembro, 2018
Local: Pavilhão Anísio Teixeira (PAT - AT - 108)
Horário: 16h-18h
52) Edelcio G. de Souza (USP)
Lógica e geometria
Dia: 23 de novembro, 2018
Local: Sala de Reuniões (FIL-UnB)
Horário:17h00-18h
51) Piergiorgio Odifreddi
How Gödel became Gödel
Dia: 23 de outubro, 2018
Local: Auditório (Mat-UnB)
Horário: 15h30-17h
50) Graham Priest (CUNY)
Evans’ Argument and Vague Objects
Dia: 9 de maio, 2018
Local: Sala de Reuniões (FIL-UnB)
Horário: 19h00 - 20h30
49) Graham Priest (CUNY)
Everything and Nothing
Dia: 8 de maio, 2018
Local: Sala de Reuniões (FIL-UnB)
Horário: 18h30 - 20h
48) Emiliano Boccardi (UNICAMP)
The Delusive Illusion of Passage
Dia: 28 de novembro, 2017
Local: A determinar
Horário: 17h00-18h30
47) Emiliano Boccardi (UNICAMP)
Time as Motion
Dia: 29 de novembro, 2017
Local: A determinar
Horário: 17h00-18h30
46) Alfredo Roque Freire (UNICAMP)
Existem traduções? Uma crítica às implicações da subdeterminação das traduções em Quine.
Dia: 24 de outubro, 2017
Local: A determinar
Horário: 17h00-19h00
43) Abílio Rodrigues (UFMG)
Uma abordagem epistêmica para a paraconsistência: a lógica da evidência e verdade
Dia: 24 de agosto, 2017
Local: Sala de Reuniões (FIL-UnB)
Horário: 14h-16h
42) Cassiano Terra Rodrigues (PUCSP)
Lógica e quantificação no século XIX
Dia: 18 de agosto, 2017
Local: Auditório BSA N
Horário: 19h-20h
41) Nelson G. Gomes (PPGFIL-UnB/CNPQ)
Negação e contradição
Dia: 5 de junho, 2017
Local: Sala de Reuniões (FIL-UnB)
Horário: 16h-17h
40) Daniel Ventura (UFG)
Tipos com Interseção em Computação
Dia: 25 de maio, 2017
Local: Sala de Reuniões (FIL-UnB)
Horário: 14h-15h
39) Fernando Ferreira (Universidade de Lisboa)
Ziguezague e a aritmética de Frege
Dia: 12 de maio, 2017
Local: Antiga Secretaria do FIL
Horário: 18h-19h
38) Edelcio G. de Souza (USP)
O conceito de paradedução
Dia: 12 de maio, 2017
Local: Antiga Secretaria do FIL
Horário:17h30-18h
37) Fabien Schang (Universidade Estadual de Maringá)
Partition Semantics and its Normal Forms
Dia: 12 de maio, 2017
Local: Antiga Secretaria do FIL
Horário:17h-17h30
36) Flávio L. C. de Moura (CIC-UnB)
Formal Proofs for Undergraduates
Dia: 17 de abril, 2017
Local: Sala de Reuniões (FIL-UnB)
Horário:16h-18h
35) Hilan Bensusan (FIL-UnB)
A metafísica da contingência
Dia: 30 de dezembro, 2016
Local: Sala 09 (FIL-UnB)
Horário:16h-18h
34) Fabien Schang (HSE, Moscow)
Epistemic Pluralism
Dia: 09 de dezembro, 2016
Local: Sala de Reuniões
Horário:16h-18h
MINICURSO: Introduction to Philosophical Logic
Fabien Schang (HSE, Moscow)
Dia: 12 de dezembro, 2016
Horário:16h-18h
Local: FIL-UnB (Antiga Secretaria, subsolo)
1. Introduction to Philosophical Logic (Part 1: The Ways of Disagreement)
Dia: 13 de dezembro, 2016
Horário: 16h-18h
Local: FIL-UnB (Sala da Reuniões)
2. Introduction to Philosophical Logic (Part 2: Pluralist Pluralism)
33) Walter Carnielli (CLE, IFCH-UNICAMP)
Sobre deuses, enigmas e o pluralismo lógico
Dia: 10 de novembro, 2016
Local: CPAI (ICC Ala Centro, Sala BSS-383)
Horário: 19h-21h
32) Matthias Schirn (MCMP, University of Munich)
Truth: Frege and Deflationism
Dia: 08 de novembro, 2016
Local: Sala de Reuniões (FIL-UnB)
Horário: 19h-21h
31) Mauricio Ayala-Rincón (CIC-MAT/UnB)
Automação da Terminação
Dia: 25 de outubro, 2016
Local: Sala de Reuniões (FIL-UnB)
Horário: 17h00-19h00
30) Hugo L. Mariano (USP)
Identidade entre lógicas
Dia: 27 de setembro, 2016
Local: Sala de Reuniões (FIL-UnB)
Horário: 19h00-21h00
29) André Leclerc (UnB-UFC-CNPq)
Discurso Ficcional e Artefatos Abstratos
Dia: 23 de agosto, 2016
Local: Sala de Reuniões (FIL-UnB)
Horário: 19h00-21h00
28) Yuri Balashov (University of Georgia)
Time, Persistence and temporal experience
Dia: 07 de julho, 2016
Local: Sala de Reuniões (FIL-UnB)
Horário: 14h00-16h00
27) Daniel Durante (UFRN)
Sem divergência lógica não há divergência metafísica e vice-versa
Dia: 14 de junho, 2016
Local: Sala de Reuniões (FIL-UnB)
Horário: 16h00-17h30
26) Evandro L. Gomes (UEM)
Impasses filosóficos acerca da não trivialidade explicativa em contextos teóricos
Dia: 17 de maio, 2016
Local: Memorial Darcy Ribeiro
Horário: 14h00-16h00
25) Alfredo Roque Freire (UNICAMP)
Classes e conjuntos
Dia: 26 de abril, 2016
Local: Sala de Reuniões (FIL-UnB)
Horário: 17h00-18h30
24) Daniele Nantes (MAT-UnB)
Lógica Equacional e Criptografia
Dia: 29 de março, 2016
Local: Sala de Reuniões (FIL-UnB)
Horário: 17h00-19h00
23) L. S. F. Olavo (FIS-UnB)
Modelagem de Teorias Científicas e a noção de Verdade Aproximada
Dia: 01 de dezembro, 2015
Local: Sala 2 da Pós (FIL-UnB)
Horário: 16h30-18h
22) Jairo José da Silva (CNPq/UNESP)
O conceito de completude lógica: Hilbert e Husserl
Dia: 07 de outubro, 2015
Local: Sala de Reuniões
Horário: 14h30-16h00
21) Fabien Schang (Moscow, Russia)
Logical disagreements and their galaxies
Dia: 08 de setembro, 2015
Local: Sala de Reuniões (FIL-UnB)
Horário: 16h30-18h
20) Edgar Almeida (UNICAMP)
Bases à Verdade de Sentenças Aritméticas
Dia: 25 de agosto, 2015
Local: Sala de Reuniões (FIL-UnB)
Horário: 16h30-18h
19) Giorgio Venturi (UNICAMP)
Mathematical explanation and its practice
Dia: 17 de junho, 2015
Local: Sala de Reuniões (FIL-UnB)
Horário: 16h30-18h
18) André Porto (UFG)
Mutação semântica e o problema da parada em Wittgenstein
Dia: 04 de maio, 2015
Local: Sala de Reuniões (FIL-UnB)
Horário: 16h15-18h
17) Walter Carnielli (UNICAMP)
O que a Lógica deixa de não ser
Dia: 09 de abril, 2015
Local: Sala de Reuniões (FIL-UnB)
Horário: 19h-20h
16) Jean-Yves Béziau (UFRJ/ UC San Diego)
Um círculo quadrado não é uma contradição
Dia: 17 de março, 2015
Local: Sala da Pós-Graduação (01)
Horário: 16h30-18h
15) David Rey (Universitat de Barcelona - Espanha)
Temporal operators, double indexing and expressability
Dia: 05 de dezembro, 2014
Local: Sala de Reuniões (FIL-UnB)
Horário: 19h-21h
14) José Veríssimo Teixeira da Mata (Câmara dos Deputados - Brasil)
Da Interpretação: aspectos de uma permanência
Dia: 06 de junho, 2014
Local: Sala de Reuniões (FIL-UnB)
Horário: 19h-21h
13) Edélcio G. de Souza (USP - Brasil)
Sobre estruturas abstratas de consequência
Dia: 27 de maio, 2014
Local: Sala de Reuniões (FIL-UnB)
Horário: 19h-21h
12) Danilo Marcondes (PUCRJ - Brasil)
Ceticismo e Lógica
Dia: 13 de maio, 2014
Local: Sala de Reuniões (FIL-UnB)
Horário: 19h-21h
11) Décio Krause (UFSC - Brasil)
A lógica da lógica quântica
Dia: 24 de outubro, 2013
Local: Sala de Reuniões (FIL-UnB)
Horário: 19h-21h
10) Alexandre Madeira (U. Aveiro - Portugal)
Towards logics hybridization
Dia: 03 de outubro, 2013
Local: Sala de Reuniões (FIL-Universidade de Brasília)
Horário: 19h-21h
9) Rodrigo Bonifácio (CIC-UnB - Brasil)
Raciocínio sobre programas e cálculo lambda
Dia: 12 de julho, 2013
Local: Sala de Reuniões (FIL-UnB)
Horário: 19h-21h
8) Décio Krause (UFSC - Brasil)
A teoria de quase-conjuntos
Dia: 18 de junho, 2013
Local: Sala de Reuniões (FIL-UnB)
Horário: 19h-21h
7) E. H. Haeusler (PUC-RJ - Brasil)
Lógica de Descrição Intuicionista e Formalização de Legislação
Dia: 24 de maio, 2013
Local: Sala de Reuniões (FIL-UnB)
Horário: 14h-16h
6) Claus Akira Horodynski Matsushigue (MAT-UnB - Brasil)
Lógica e Fundamentos da Matemática
Dia: 17 de maio, 2013
Local: Sala de Reuniões (FIL-UnB)
Horário: 19h-21h
5) Diogo Dias (PUC-SP - Brasil)
Aspectos históricos e filosóficos das lógicas paraconsistentes
Dia: 10 de maio, 2013
Local: Sala de Reuniões (FIL-UnB)
Horário: 19h-21h
4) Claudia Nalon (CIC-UnB - Brasil)
Resolução para lógicas modais normais
Dia: 25 de abril, 2013
Local: Sala de Reuniões (FIL-UnB)
Horário: 19h-21h
3) Oliver Kutz (Univesität Bremen - Alemanha)
Connecting Logics
Dia: 18 de abril, 2013
Local: Sala de Reuniões (FIL-UnB)
Horário: 19h-21h
2) María Manzano (Universidad de Salamanca - Espanha)
Logic and Fiction
Dia: 12 de abril, 2013
Local: Sala de Reuniões (FIL-UnB)
Horário: 19h-21h
1) Graham Priest (City University of New York - EUA)
Dialetheism: What is it all About?
Dia: 08 de abril, 2013
Local: Sala do mestrado (FIL-UnB)
Horário: 16h-18h