Seminário Teoria de Conjuntos

Olá para todos.

O programa do seminário sobre teoria de conjuntos que será apresentado pelo Henrique e pelo Guilherme está no link
http://dl.dropbox.com/u/5959592/seminario_set_theory.htm.

O seminário terá início no dia 31/8, quarta-feira, 16h na sala 4094.

Na terça, 30/8, 16h, veremos alguns resultados metateóricos:

Correção SL:
http://dl.dropbox.com/u/5959592/correcao_hunter28.4.pdf

Completude Henkin SL:
http://dl.dropbox.com/u/5959592/henkin_prop_1.pdf
http://dl.dropbox.com/u/5959592/henkin_prop_2.pdf

Consistência FOL
http://dl.dropbox.com/u/5959592/consistencia_fol.pdf

Correção FOL (usando quantificação objetual)
http://dl.dropbox.com/u/5959592/correcao_obj.pdf

Completude Henkin
http://dl.dropbox.com/u/5959592/completude_QS.pdf

Löwenheim-Skolem
http://dl.dropbox.com/u/5959592/low_sk.pdf

Completude com identidade
http://dl.dropbox.com/u/5959592/completude_identidade.pdf

2nd Colloquium on Metaphysical Logic

2nd Colloquium on Metaphysical Logic

Local: Sala F1052, FAFICH, UFMG
Data: 18 e 19 de agosto de 2011

P R O G R A M A Ç Ã O

Quinta-feira, 18 de agosto de 2011
Manhã – Moderador: Prof. Abílio Rodrigues – UFMG
9h30 às 10h30
Palestrante: Prof. Túlio Aguiar – UFMG
Título: Causation and Physics: is there possibility of reconciliation?
10h45 às 11h45
Palestrante: Prof. Alessandro Bandeira – UFRRJ
Título: The formal role of the truth-values in Frege's Logic
Tarde – Moderador: Prof. Mauro Engelmann – UFMG
14h às 15h
Palestrante: Prof. Guido Imaguire – UFRJ
Título:  Some Remarks on Nominalism
15h15 às 16h15
Palestrante: Prof. Ernesto Perini – UFMG
Título: How not to build an ontological dispute - some remarks on the
relationship between truth-conditional semantics and ontology
16h30 às 17h30
Palestrante: Prof. Pedro Santos – UNIFESP
Título: Grounding Mereology

Sexta-feira, 19 de agosto de 2011
Manhã – Moderador: Prof. Pedro Santos – UNIFESP
9h30 às 10h30
Palestrante: Prof. Rodrigo Bacellar – USP
Título: The elimination of sets
Palestrante: Prof. André Porto – UFG
Título: A new theory of space
10h45 às 11h45
Tarde – Moderador: Prof. Rodrigo Bacellar – USP
14h às 15h
Palestrante: Prof. Desidério Murcho – UFOP
Título: There is no Logic
15h15 às 16h15
Palestrante: Prof. Gonzalo Rodriguez-Pereyra – University of Oxford
Título: Resemblance Nominalism, conjunctions and truthmakers

Comissão Organizadora:
Prof. Abílio Rodrigues Filho – UFMG
Prof. Rodrigo Bacellar – USP
Prof. Túlio Aguiar – UFMG

Comitê científico:
Prof. Abílio Rodrigues Filho – UFMG
Prof. Guido Imaguire – UFRJ
Prof. Mauro Engelmann – UFMG
Prof. Rodrigo Bacellar – USP