Wagner de Campos Sanz

  • Endereço para acessar este CV: http://lattes.cnpq.br/5046432111036307
  • Última atualização do currículo em 07/05/2018


Professor Visitante UAM Cidade do México 2018, Posdoc IHPST Paris 1 - Sorrbonne CNPq 2015, Professor visitante UNLP, Argentina, CAPES-CAF (2013 e 2014). Professor Visitante UDELAR, Uruguai, programa 720 (2012). Pesquisador Visitante na Universidade de Tubingen, bolsista CAPES-DAAD (2011). Professor Visitante UAM Madrid, bolsista Fundacion Carolina (2009). Pós Doutorado na Universidade de Tubingen (2008), bolsista CAPES. Doutorado em Filosofia pela Unicamp (2006). Mestrado em Lógica e Filosofia da Ciência pela Unicamp (1991). Especialização Latu Sensu em Psicologia Piagetina pela UFRGS (1985). Graduado como Tecnólogo Em Processamento de Dados pela UFRGS (1984). Atualmente é professor adjunto na Faculdade de Filosofia e na Pós-Graduação em Filosofia da UFG. Tem experiência na área de Filosofia, principalmente filosofia das ciências formais, com ênfase em Lógica, atuando sobre os seguintes temas: lógica, teoria da prova, filosofia das ciências formais, filosofia da linguagem. São também áreas de investigação mais recente a Lógica Jurídica e Estética e Crítica Literária, especialmente Tragédias Gregas. (Texto informado pelo autor)


Identificação


Nome
Wagner de Campos Sanz
Nome em citações bibliográficas
SANZ, W. C.;SANZ, WAGNER DE CAMPOS;Sanz, Wagner;DE CAMPOS SANZ, W.;DE CAMPOS SANZ, WAGNER


Formação acadêmica/titulação


2002 - 2006
Doutorado em Filosofia.
Universidade Estadual de Campinas, UNICAMP, Brasil.
Título: Uma Investigação Acerca das Regras para a Negação e o Absurdo em Dedução Natural, Ano de obtenção: 2006.
Orientador: Marcelo Esteban Coniglio.
Palavras-chave: Lógica; Teoria da Prova; Normalização; Dedução Natural; negação; Filosofia das Ciências Formais.
Grande área: Ciências Humanas
1989 - 1991
Mestrado em Lógica e Filosofia da Ciência.
Universidade Estadual de Campinas, UNICAMP, Brasil.
Título: Razão, Computação e Sistemas Formais,Ano de Obtenção: 1991.
Orientador: Carlos Alberto Lungarzo.
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil.
Palavras-chave: sistema formal; teorema de Gödel; razão; computação.
Grande área: Ciências Humanas
1984 - 1985
Especialização em Psicologia Piagetiana. (Carga Horária: 360h).
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
Título: Uma Investigação Sobre Seriação.
Orientador: Paulo Mosca.
1982 - 1984
Graduação em Tecnólogo Em Processamento de Dados.
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.


Pós-doutorado


2014 - 2015
Pós-Doutorado.
Institut de Philosophie et de Histoire des Sciecnces et des Techniques Pari, IHPST - PARIS 1, França.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Grande área: Ciências Humanas
2008 - 2008
Pós-Doutorado.
Wilhelm-Schickard-Institut für Informatik, Tubingen Univesitat, UNI TUBINGEN, Alemanha.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Grande área: Ciências Humanas
Grande Área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.
Grande Área: Ciências Humanas / Área: Filosofia / Subárea: Filosofia da Lingugaem.


Formação Complementar


2009 - 2009
Extensão universitária em Kelsen ao Alcance de Todos. (Carga horária: 20h).
Universidade Federal de Goiás, UFG, Brasil.


Atuação Profissional



Universidade Federal de Goiás, UFG, Brasil.
Vínculo institucional

1998 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Adjunto I, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

1998 - Atual
Vínculo: , Enquadramento Funcional: Adjunto IV, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

02/2007 - Atual
Ensino, Filosofia, Nível: Pós-Graduação

Disciplinas ministradas
Semântica Construtiva; Contrafactuais; Seminário de Pesquisa.
8/1999 - Atual
Pesquisa e desenvolvimento , Instituto de Ciências Humanas e Letras, Departamento de Filosofia.

5/1999 - Atual
Extensão universitária , Instituto de Ciências Humanas e Letras, Departamento de Filosofia.

Atividade de extensão realizada
Aprendendo Lógica Interativamente.
8/1998 - Atual
Ensino,

Disciplinas ministradas
Tópicos de Filosofia da Lógica
Tópicos de Estética
Introdução à Filosofia
Lógica

Universidad Autónoma de Madrid, UAM, Espanha.
Vínculo institucional

2012 - 2012
Vínculo: Pesquisador vistante, Enquadramento Funcional: Nenhum, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Udelar Programa 720.

Vínculo institucional

2009 - 2010
Vínculo: Pesquisador vistante, Enquadramento Funcional: Nenhum, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Bolsista Fundação Carolina ES - Bolsa Mobilidade Docentes Brasileiros


University of Tübingen, TUEBINGEN, Alemanha.
Vínculo institucional

2011 - 2011
Vínculo: Pesquisador vistante, Enquadramento Funcional: Nenhum, Carga horária: 40, Regime: Dedicação exclusiva.


Universidad de la Republica Uruguay, UDELAR, Uruguai.
Vínculo institucional

2012 - 2012
Vínculo: Pesquisador vistante, Enquadramento Funcional: Nenhum, Carga horária: 40, Regime: Dedicação exclusiva.


Universidade Católica de Pelotas, UCPEL, Brasil.
Vínculo institucional

1992 - 1998
Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor Adjunto, Carga horária: 30

Atividades

9/1994 - 7/1998
Pesquisa e desenvolvimento , Instituto Superior de Filosofia, .

8/1992 - 7/1998
Ensino,

Disciplinas ministradas
Lógica
Teoria do Conhecimento
Metodologia da Pesquisa
Cosmologia
Filosofia da Ciência
Filosofia da Linguagem
Teoria da Computação
9/1996 - 12/1997
Direção e administração, Instituto Superior de Filosofia, Especialização Em Lógica e Filosofia da Ciência.

Cargo ou função
Coordenador de Curso.
8/1993 - 12/1997
Ensino, Especialização Em Lógica e Filosofia da Ciências I, Nível: Pós-Graduação

Disciplinas ministradas
Introdução à Filosofia da Ciência
Lógica I
Didática da Lógica
Introdução à Filosofia da Linguagem
8/1994 - 12/1994
Ensino,

Disciplinas ministradas
Teoria da Computação

Universidade Regional do Noroeste do Estado do Rio Grande do Sul, UNIJUI, Brasil.
Vínculo institucional

1992 - 1992
Vínculo: Professor Visitante, Enquadramento Funcional: Outro, Carga horária: 4

Atividades

3/1992 - 7/1992
Ensino,

Disciplinas ministradas
Lógica


Linhas de pesquisa


1.
Teoria da Prova
2.
História da Teoria da prova
3.
Teoria da Prova
4.
Lógicas Relevantes
5.
Filosofia da Linguagem
6.
Filosofia das Ciências Formais


Projetos de pesquisa


2011 - 2015
Semântica Construtiva
Descrição: Projeto em semântica filosófica que propõe-se a adotar uma perspectiva de cunho pragmático sobre a linguagem similar ao inferencialismo, mas adota uma pespectiva teórica construtivista similar a semântica de provas com a diferença de que o conceito de prova é substituído como conceito primário pelo conceito de consequência dedutiva..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (3) .
Integrantes: Wagner de Campos Sanz - Coordenador.Número de orientações: 2
2008 - Atual
O Enredo Trágico
Descrição: Do séc. XVIII ao XIX surge uma nova área de investigação filosófica a chamada Filosofia do Trágico. Supostamente, essa nova área de investigação partiria da interpretação da tragédia antiga e alcançaria a formulação de certos princípios estéticos e metafísicos trágicos. Nossa tese é a de que a apropriação das tragédias clássicas para esse fim é resultante de um ambiente cultural e intelectual que atribui uma interpretação às tragédias clássicas que não se sustenta com base na investigação histórica e estética das mesmas..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) .
Integrantes: Wagner de Campos Sanz - Coordenador.
2007 - 2010
Argumentos e Hipóteses
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (3) .
Integrantes: Wagner de Campos Sanz - Coordenador / José Gonzalo Armijos Palácios - Integrante.


Revisor de periódico


2014 - Atual
Periódico: Logic Journal of the IGPL (Online)


Áreas de atuação


1.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.
2.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Epistemologia/Especialidade: Filosofia das Ciências Formais.
3.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica/Especialidade: Teoria da Prova.
4.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Estética.
5.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Filosofia da Linguagem.
6.
Grande área: Ciências Sociais Aplicadas / Área: Direito / Subárea: Teoria do Direito/Especialidade: Lógica Jurídica.


Idiomas


Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Inglês
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Francês
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.


Produções



Produção bibliográfica
Citações

SCOPUS

Artigos completos publicados em periódicos

1.
SANZ, WAGNER DE CAMPOS2016SANZ, WAGNER DE CAMPOS. A Criticism of Kripke?s Semantic for Intuitionistic Logic. O QUE NOS FAZ PENSAR (PUCRJ), v. 25, p. 99, 2016.

2.
DE CAMPOS SANZ, WAGNER2015DE CAMPOS SANZ, WAGNER; OLIVEIRA, HERMÓGENES . On Dummett?s verificationist justification procedure. Synthese (Dordrecht. Online), v. 1, p. 1, 2015.

3.
DE CAMPOS SANZ, W.2013DE CAMPOS SANZ, W.; Piecha, T. ; SCHROEDER-HEISTER, P. . Constructive semantics, admissibility of rules and the validity of Peirce's law. Logic Journal of the IGPL (Online), v. 21, p. 200-200, 2013.

4.
SANZ, WAGNER DE CAMPOS2012SANZ, WAGNER DE CAMPOS. KOLMOGOROV E A LÓGICA DE PROBLEMAS I. Notae Philosophicae Scientiae Formalis, v. 1, p. 184, 2012.

5.
Pereira, Luiz C.2010Pereira, Luiz C. ; Haeusler, Edward H. ; Costa, Vaston G. ; Sanz, Wagner . A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic. Studia Logica, v. 96, p. 95-108, 2010.

6.
SANZ, W. C.;SANZ, WAGNER DE CAMPOS;Sanz, Wagner;DE CAMPOS SANZ, W.;DE CAMPOS SANZ, WAGNER2009 SANZ, W. C.; PIECHA, THOMAS . INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES. The Review of Symbolic Logic, v. 2, p. 550, 2009.

7.
Costa, Vaston G.2009Costa, Vaston G. ; Costa, Vaston G. ; Sanz, Wagner ; Haeusler, Edward H. ; Pereira, Luiz C. ; Haeusler, Edward H. ; Pereira, Luiz C. ; Sanz, Wagner . Peirce's Rule in a Full Natural Deduction System. Electronic Notes in Theoretical Computer Science, v. 256, p. 5-18, 2009.

8.
SANZ, W. C.;SANZ, WAGNER DE CAMPOS;Sanz, Wagner;DE CAMPOS SANZ, W.;DE CAMPOS SANZ, WAGNER2008 SANZ, W. C.. Falsity preservation. CLE e-Prints (Online), v. 8, p. 2, 2008.

9.
SANZ, W. C.;SANZ, WAGNER DE CAMPOS;Sanz, Wagner;DE CAMPOS SANZ, W.;DE CAMPOS SANZ, WAGNER2008SANZ, W. C.. Negação e Falsidade. O Que nos Faz Pensar, v. 23, p. 153-162, 2008.

10.
SANZ, W. C.;SANZ, WAGNER DE CAMPOS;Sanz, Wagner;DE CAMPOS SANZ, W.;DE CAMPOS SANZ, WAGNER2007SANZ, W. C.. A Note on Gentzen's LJ and NJ Systems Isomorphism. Logic Journal of the IGPL (Online), v. 15, p. 767-774, 2007.

11.
SANZ, W. C.;SANZ, WAGNER DE CAMPOS;Sanz, Wagner;DE CAMPOS SANZ, W.;DE CAMPOS SANZ, WAGNER2006SANZ, W. C.. A Short Note on Gentzen's LJ and NJ Systems Isomorphism. CLE e-Prints (Online), v. 6, p. 24/08/2006, 2006.

12.
SANZ, W. C.;SANZ, WAGNER DE CAMPOS;Sanz, Wagner;DE CAMPOS SANZ, W.;DE CAMPOS SANZ, WAGNER2006SANZ, W. C.. Acerca da Natureza das Hipóteses. Representaciones (Córdoba), v. 2, p. 147-162, 2006.

13.
SANZ, W. C.;SANZ, WAGNER DE CAMPOS;Sanz, Wagner;DE CAMPOS SANZ, W.;DE CAMPOS SANZ, WAGNER2005SANZ, W. C.. A Natural Deduction System Preserving Falsity. Energeia (Buenos Aires), v. 4, p. 215-220, 2005.

14.
SANZ, W. C.;SANZ, WAGNER DE CAMPOS;Sanz, Wagner;DE CAMPOS SANZ, W.;DE CAMPOS SANZ, WAGNER2004 SANZ, W. C.. Relating Intuitionist Negation and Triviality. Logic Journal of the IGPL (Online), v. 12, p. 581-599, 2004.

15.
SANZ, W. C.;SANZ, WAGNER DE CAMPOS;Sanz, Wagner;DE CAMPOS SANZ, W.;DE CAMPOS SANZ, WAGNER2004SANZ, W. C.. Da Natureza das Hipóteses e suas Conseqüências. Fragmentos de Cultura (Goiânia), v. 14, p. 2051-2062, 2004.

16.
SANZ, W. C.;SANZ, WAGNER DE CAMPOS;Sanz, Wagner;DE CAMPOS SANZ, W.;DE CAMPOS SANZ, WAGNER2000SANZ, W. C.. Aspectos do princípio de Indução no Programa de Hilbert. Cuadernos del Sur (UNS), v. 30, p. 103-114, 2000.

17.
SANZ, W. C.;SANZ, WAGNER DE CAMPOS;Sanz, Wagner;DE CAMPOS SANZ, W.;DE CAMPOS SANZ, WAGNER2000SANZ, W. C.. Problemas do Condicional: Relevância. Philósophos (UFG), v. 5, p. 175-185, 2000.

18.
SANZ, W. C.;SANZ, WAGNER DE CAMPOS;Sanz, Wagner;DE CAMPOS SANZ, W.;DE CAMPOS SANZ, WAGNER1998SANZ, W. C.. Sentido e Regra de Redução na Prova de Consistência da Aritmética de Gentzen. Dissertatio (UFPel), Pelotas/RS, v. 6, p. 55-65, 1998.

19.
SANZ, W. C.;SANZ, WAGNER DE CAMPOS;Sanz, Wagner;DE CAMPOS SANZ, W.;DE CAMPOS SANZ, WAGNER1998SANZ, W. C.. O Conceito de Prova Finitária em Gentzen. Episteme (Porto Alegre), Porto Alegre/RS, v. 3, n.7, p. 293-302, 1998.

20.
SANZ, W. C.;SANZ, WAGNER DE CAMPOS;Sanz, Wagner;DE CAMPOS SANZ, W.;DE CAMPOS SANZ, WAGNER1997SANZ, W. C.. Estudando o Hauptsatz I. Revista da UCPel, Pelotas/RS, v. 7, n.1, p. 67-86, 1997.

21.
SANZ, W. C.;SANZ, WAGNER DE CAMPOS;Sanz, Wagner;DE CAMPOS SANZ, W.;DE CAMPOS SANZ, WAGNER1996SANZ, W. C.. O Grau de Parentesco entre a Lógica e a Computação. Revista da UCPel, Pelotas/RS, v. 6, n.1, p. 31-39, 1996.

Capítulos de livros publicados
1.
SANZ, W. C.. Postulados, diagramas acción!. In: O. Esquisabel & F. Sautter. (Org.). Conocimiento Simbólico e Conocimiento Grafico. Histori y Teoria. 1ed.Buenos Aires: Academia Nacional de Ciência da Argentina CEFEP, 2014, v. , p. 1-.

2.
SANZ, WAGNER DE CAMPOS. Enunciar e Mostrar: Derivações Como Diagramas. In: Abel Lassalle Casanave; Frank Thomas Sautter. (Org.). Visualização nas Ciências Formais. London: College Publications, 2012, v. SN, p. 115-130.

Textos em jornais de notícias/revistas
1.
SANZ, WAGNER DE CAMPOS. Piano e a Enxada. Revista UFG (Impresso), Editora da UFG, Goiânia, p. 185 - 189, 01 jul. 2011.

2.
SANZ, W. C.. O Natural e o Deformado. Jornal O Popular, Goiânia - GO, p. 10 - 10, 02 mar. 2001.

3.
SANZ, W. C.. O Que é Virtual?. Diário Popular, Pelotas/RS, 25 abr. 1997.

4.
SANZ, W. C.. Petição de Princípio. Diário Popular, Pelotas/RS, 08 abr. 1997.

5.
SANZ, W. C.. Um Governador em Palpos-de-aranha. Diário Popular, Pelotas/RS, 04 abr. 1997.

6.
SANZ, W. C.. O Ocidente. Diário Popular, Pelotas/RS, 15 fev. 1997.

7.
SANZ, W. C.. A Razão de Estado é uma Razão?. Diário Popular, Pelotas/RS, 07 fev. 1997.

8.
SANZ, W. C.. Calor pra Mouro!. Diário Popular, Pelotas/RS, 17 jan. 1997.

9.
SANZ, W. C.. O Keynesianismo. Diário Popular, Pelotas/RS, 11 jan. 1997.

10.
SANZ, W. C.. Penso, Logo Existo. Diário Popular, Pelotas/RS, 21 dez. 1996.

11.
SANZ, W. C.. A Universidade e a Sociedade Pós-Industrial. Diário Popular, Pelotas/RS, 29 nov. 1996.

12.
SANZ, W. C.. Medida de Profilaxia. Diário Popular, Pelotas/RS, 22 nov. 1996.

13.
SANZ, W. C.. O Acaso na Ciência. Diário Popular, Pelotas/RS, 22 out. 1996.

14.
SANZ, W. C.. Os Limites da Ciência Econômica. Diário Popular, Pelotas/RS, 09 set. 1996.

15.
SANZ, W. C.. Filosofia e Ciência: Um Comentário. Diário Popular, Pelotas/RS, 26 jul. 1996.

16.
SANZ, W. C.. As Deduções do Xangô de Baker Street. Diário Popular, Pelotas/RS, 18 jul. 1996.

17.
SANZ, W. C.. Números em Debate. Diário Popular, Pelotas/RS.

Trabalhos completos publicados em anais de congressos
1.
SANZ, WAGNER DE CAMPOS; PIECHA, THOMAS ; Schroeder-Hesiter, P. . La Validez Construtiva de la Ley de Peirce. In: V Jornadas GEP Argentina, 2012, Buenos Aires. Actas de las V Jornadas Peirce Argentina. Buenos Aires, 2012. v. 1. p. 1-1.

2.
PIECHA, THOMAS ; Sanz, Wagner . Inversion of Logical Rules by Definitional Reflection. In: Proof, Computation, Complexity PCC 2010 International Workshop, 2010, Berna. Proceedings Proof, Computation, Complexity PCC 2010 International Workshop. Berna: Technical report IAM-10-001, 18-19 June 2010, 2010. v. 1. p. 1-2.

3.
Piecha, T. ; SANZ, W. C. . Inversion and the Admissibility of Logical Rules. In: 7th Panhellenic Logic Symposium, 2009, Patras. Proceedings of the .... Patras: Patras University Press, 2009. v. 1. p. 147-151.

4.
Costa, V. G. ; SANZ, W. C. ; Haeusler, E.H. ; Pereira, L.C.P.D . Peirce's Rule in a Full Natural Deduction System. In: Fourth Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2009), 2009, Brasilia. Electronic Notes in Theoretical Computer Science, 2009. v. 256. p. 5-18.

5.
SANZ, W. C.. Big Bound. In: Natural Deduction Meeting, 2001, Rio de Janeiro. Abstracts and Invited Talks, 2001. p. sem paginação.

6.
SANZ, W. C.. Fórmulas Relevantes em uma Derivação em C'. In: XII Encontro Brasileiro de Lógica, 1999, Itatiaia. Anais do XII Encontro Brasileiro de Lógica, 1999. p. 40.

Resumos publicados em anais de congressos
1.
PIECHA, THOMAS ; SANZ, WAGNER DE CAMPOS . Constructive Semantics and Classical Logic. In: 14TH CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE, 2011, Nancy. Volume of Abstracts. Nancy, 2011. v. 1. p. 56-56.

2.
SANZ, WAGNER DE CAMPOS; PIECHA, THOMAS . The BHK Interpretation and Extensions of NJ. In: 14TH CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE, 2011, Nancy. Volume of Abstracts. Nancy, 2011. v. 1. p. 58-58.

3.
PIECHA, THOMAS ; SANZ, WAGNER DE CAMPOS . On the constructive meaning of implication in classical and intuitionistic logic. In: Workshop on Logical Constants, ESSLLI 2011, 2011, Liubliana. Slides and handouts of the Workshop, 2011.

4.
Fernandes, D. P. ; SANZ, WAGNER DE CAMPOS . Condicionais Contra-factuais: Do Problema da CoSustentabilidade e Da Ambiguidade das Suposições CrençaConflitante. In: 7th Principia, 2011, Florianópolis. Volume of Abstracts, 2011.

5.
Fernandes, D. P. ; SANZ, WAGNER DE CAMPOS . Counterfactuals: the Ramsey test as an adequacy criterion and the problem of minimalit. In: XVI Encontro Brasileiro de Lógica, 2011, Petrópolis. Volume de Abstracts. Rio de Janeiro, 2011. v. 1. p. 48-48.

6.
SANZ, WAGNER DE CAMPOS; PIECHA, THOMAS . A Criticism of BHK Interpretation. In: Logic Colloquium 2010 - ASL European Meeting, 2011, Paris. Bulletin of Symbolic Logic. Poughkeepsie, NY: ASL, 2010. v. 17. p. 292-292.

7.
SANZ, WAGNER DE CAMPOS; PIECHA, THOMAS . Constructive semantics and classical logic. In: XVI Encontro Brasileiro de Lógica, 2011, Petrópolis. Volume de Resumos. Rio de Janeiro, 2011. v. 1. p. 42-42.

8.
Sanz, Wagner; PIECHA, THOMAS . A Criticism of BHK Interpretation. In: Logic Colloquium 2010 - ASL European Meeting, 2010, Paris. Contributed Talks. Paris: Jussieu, Paris 7, 2010. v. 1. p. 1-1.

9.
SANZ, W. C.. O Que é Harmonia para Regras de Introdução/Eliminação. In: V Colóquio Principia, 2009, Florianópolis. Coleção Rumos da Epistemologia. Florianópolis: Nel UFSC, 2009. v. 9. p. 224-227.

10.
CORCORAN, J. ; SANZ, W. C. . Disbelief Logic Complements Belief Logic. In: ASL Annual Meeting, 2008, Irvine. The Bulletin of Symbolic Logic, 2008. v. 14. p. 436-436.

11.
SANZ, W. C.. Diagramas e Provas. In: XIII Encontro Nacional de Filosofia Anpof, 2008, Canela. Livro de Atas. São Leopoldo: Editora Unisinos, 2008. p. 692-692.

12.
SANZ, W. C.. Falsity and The ZF Comprehension Principle. In: CLE 30 Anos/XV EBL/ XIV SLALM, 2008, Paraty RJ. Abstratcs. Campinas SP: CLE, 2008. v. único. p. 104-104.

13.
SANZ, W. C.. The Inversion Principle and The Interpretation of The Square of Oppositions. In: FIRST WORLD CONGRESS ON THE SQUARE OF OPPOSITION, 2007, Montreux/Suiça. HAND BOOK OF THE FIRST WORLD CONGRESS ON THE SQUARE OF OPPOSITION. Montreux/Suiça, 2007. p. 23-23.

14.
SANZ, W. C.. A Natural Deduction System Preserving Falsity. In: 2nd World Congress and School on Universal Logic, 2007, Xi' an. Handbook of the Second World Congress and School on Universal Logic. Xi'an, 2007. p. 69-69.

15.
SANZ, W. C.. Whta is Harmony for Elimination/Introduction Rules?. In: V Simpósio Internacional Principia, 2007, Florianópolis. Resumos. Florianopolis: Nucleo de Epistemologia e Logica, 2007. p. 171-172.

16.
SANZ, W. C.. A Natureza da Filosofia e o seu Ensino. In: XIV Semana da Filosofia da UFG e IX Semana de Integração Graduação e Pós-Graduação em Filosofia da UFG, 2007, Goiânia. Caderno de Resumos. Goiânia: Cegraf / UFG, 2007. p. 18-18.

17.
SANZ, W. C.. Quantos Heróis Cabem em uma Tragédia. In: O Cômico e o Trágico, 2006, Ouro Preto - MG. Livro de Resumos, 2006. p. 17-18.

18.
SANZ, W. C.. Dedução Natural = Cálculo de Sequentes. In: XIV Encontro da Sociedade Brasileira de Lógica, 2006, Itatiaia - RJ. Caderno de Resumos, 2006. p. sem paginação.

19.
SANZ, W. C.. Teoria de Conjuntos e os Princípios de Dedução Natural. In: XII Anpof, 2006, Salvador - BA. Livro de Atas, 2006. p. 554-554.

20.
SANZ, W. C.. A Natural Deduction System Preserving Falsity. In: XIII SLALM Latin American Symposium in Mathematical Logic, 2006, Oaxaca. Book of Abstracts, 2006. v. 1. p. 47-47.

21.
SANZ, W. C.. Uma Abordagem dos Conceitos Modais Modalidades More Philosophico. In: X Encontro do Cone Sul de Filosofia das Ciências Formais, 2006, Santa Maria. Caderno de Resumos, 2006. p. sem paginação.

22.
SANZ, W. C.. Acerca del Uso de Hipótesis. In: Sextas Jornadas Rolando Chuaqui Ketytlun en Matemática e Filosofía, 2004, Santiago do Chile - Chile. Abstracts, 2004. p. 10-10.

23.
SANZ, W. C.. Negação e Ex Falso Quodlibet. In: VII Encontro do Cone Sul de Filosofia das Ciências Formais, 2003, Santa Maria - RS. Caderno de Resumos, 2003. p. 24-24.

24.
SANZ, W. C.. Teoria da Prova e Regras para a Negação. In: II Colóquio Nacional de Filosofia da Lingugaem, 2003, Goiânia - GO. Resumos, 2003. p. 18-19.

25.
SANZ, W. C.. A Validade da Lógica Clássica do Ponto de Vista Intuicionista. In: Quintas Jornadas Rolando Chuaqui Kettlun, 2003, Santiago do Chile. Resúmenes de los Autores, 2003. p. 3-3.

26.
SANZ, W. C.. Negação e Contradição. In: XIII Encontro da Sociedade Brasileira de Lógica, 2003, Campinas - SP. Programa/Resumos, 2003. p. 86-87.

27.
SANZ, W. C.. Inferência e Significado. In: I Colóquio Nacional de Filosofia da Linguagem, 2002, Goiânia. Resumos de Trabalhos, 2002. p. 13-13.

Artigos aceitos para publicação
1.
PIECHA, THOMAS ; SANZ, W. C. ; SCHROEDER-HEISTER, P. . Failure of completeness in proof-theoretic semantics. Journal of Philosophical Logic, 2014.

2.
SANZ, WAGNER DE CAMPOS; PIECHA, THOMAS ; Schroeder-Hesiter, P. . A Critical Remark on the BHK Interpretation of Implication. Philosophia Scientiae, 2014.

Apresentações de Trabalho
1.
SANZ, WAGNER DE CAMPOS. Counterfactuals and Proof-Theory. 2013. (Apresentação de Trabalho/Conferência ou palestra).

2.
SANZ, WAGNER DE CAMPOS; PIECHA, THOMAS . The BHK Interpretation for Implication: A Critical Remark. 2012. (Apresentação de Trabalho/Comunicação).

3.
Sanz, Wagner. Compreensão e Significado. 2012. (Apresentação de Trabalho/Comunicação).

4.
SANZ, WAGNER DE CAMPOS. Quantificação e Espécies. 2012. (Apresentação de Trabalho/Comunicação).

5.
SANZ, WAGNER DE CAMPOS; Piecha, T. . Constructive Semantics and Classical Logic. 2011. (Apresentação de Trabalho/Comunicação).

6.
PIECHA, THOMAS ; SANZ, WAGNER DE CAMPOS . Constructive Semantics and Classical Logic. 2011. (Apresentação de Trabalho/Comunicação).

7.
SANZ, WAGNER DE CAMPOS; PIECHA, THOMAS . The BHK Interpretation and Extensions of NJ. 2011. (Apresentação de Trabalho/Comunicação).

8.
PIECHA, THOMAS ; SANZ, WAGNER DE CAMPOS . On the constructive meaning of implication in classical and intuitionistic logic. 2011. (Apresentação de Trabalho/Comunicação).

9.
SANZ, WAGNER DE CAMPOS. Os Deuses de Sófocles. 2011. (Apresentação de Trabalho/Comunicação).

10.
SANZ, W. C.. O Programa de Dummett. 2009. (Apresentação de Trabalho/Comunicação).

11.
SANZ, W. C.. Inversão por Reflexão Definicional e Admissibilidade das Regras Lógicas. 2009. (Apresentação de Trabalho/Comunicação).

12.
SANZ, W. C.. Contrariedade, Contradição e Negação. 2009. (Apresentação de Trabalho/Comunicação).

13.
SANZ, W. C.. A Noção de Construção Intuicionista. 2009. (Apresentação de Trabalho/Comunicação).

14.
Pereira, L.C.P.D ; Haeusler, E.H. ; Costa, V. G. ; SANZ, W. C. . Peirce's Rule in a Full Natural Deduction System. 2009. (Apresentação de Trabalho/Comunicação).

15.
SANZ, W. C.. Falsity and The ZF Comprehension Principle. 2008. (Apresentação de Trabalho/Comunicação).

16.
SANZ, W. C.; Piecha, T. . Inversion by Definitional Reflection and the Admissibility of Logical Rules. 2008. (Apresentação de Trabalho/Comunicação).

17.
SANZ, W. C.. Peirce Rule, Subformula Principle and Separabilty of Logical Constants. 2008. (Apresentação de Trabalho/Conferência ou palestra).

18.
SANZ, W. C.. Falsity preservation. 2008. (Apresentação de Trabalho/Conferência ou palestra).

19.
SANZ, W. C.. Prueba y Comprension. 2007. (Apresentação de Trabalho/Comunicação).

20.
SANZ, W. C.. What is Harmony For Introduction/Elimination Rules?. 2007. (Apresentação de Trabalho/Comunicação).

21.
SANZ, W. C.. Metafísica e Ficção. 2007. (Apresentação de Trabalho/Conferência ou palestra).

22.
SANZ, W. C.. A Natureza da Filosofia e seu Ensino. 2007. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções bibliográficas
1.
SANZ, WAGNER DE CAMPOS; DAMIAO, C. M. . V Colóquio Filosofia e Ficção: Phantasia e Phantasma. Goiânia 2011 (Caderno de Resumos).

2.
SANZ, WAGNER DE CAMPOS. Argumentações e Lógica. Rio de Janeiro: Revista O Que Nos Faz Pensar - Cadernos do Depto. Filosofia PUC-Rio, 2010. (Tradução/Artigo).

3.
SANZ, W. C.. Uma Investigação Acerca das Regras Para a Negação e o Absurdo em Dedução Natural. Campinas: Banco de Teses Unicamp, 2006 (Tese de Doutorado).

4.
Stival, S.D. ; SANZ, W. C. . A Evolução da Noção de Sistema Axiomático. Goiânia: Revista Philosophos, 2003. (Tradução/Artigo).


Produção técnica
Trabalhos técnicos
1.
SANZ, W. C.. Revisão técnica do livro: A Lógica Intuicionista uma Abordagem Filosófica. 1997.


Demais tipos de produção técnica
1.
HAEUSLER, E. H. ; SANZ, W. C. ; LOPES, B. . Why is this a proof. 2015. (Editoração/Livro).

2.
Sanz, Wagner. Discriminação, Preconceitos e Intolerância. 2012. (Desenvolvimento de material didático ou instrucional - Material Didático EAD Curso de Aperfeiçoamento).

Demais trabalhos
1.
SANZ, W. C.. Dilemas da Globalização. 2000 (Orelha de Livro) .

2.
SANZ, W. C.; BRITO, A. N. ; PALÁCIOS, J. G. A. . Designação Rígida Teoria Causal e Verdades Necessárias A Posteriori: A Contribuição de Saul Kripke. 2000 (Banca de monografia) .

3.
SANZ, W. C.. Monitoria da Disciplina de Lógica. 1999 (Monitoria) .



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
SANZ, WAGNER DE CAMPOS; Lassalle Casanave, Abel; Santos Neto, A. B.. Participação em banca de Toni Cesar Pinto Barros. Logica deontica: as practições em Castaneda e os paradoxos deonticos. 2014. Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás.

2.
SANZ, WAGNER DE CAMPOS; Pereira, Luiz C.; Costa, Vaston G.. Participação em banca de Hermogenes Herbert Pereira. Investigações em Semantica de Teoria da Prova. 2014. Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás.

3.
SANZ, WAGNER DE CAMPOS; Costa Leite, Alexandre; Sautter, Frank Thomas. Participação em banca de Diego Pinheiro Fernandes. As Teorias de Revisão de Crenças e os Condicionais Contrafactuais. 2012. Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás.

4.
SANZ, W. C.; PALÁCIOS, J. G. A.. Participação em banca de Ian Nascimento Ferreira. A Força Oculta: Um estudo sobre a causalidade em Hume. 2009. Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás.

5.
PALÁCIOS, J. G. A.; SANZ, W. C.. Participação em banca de Marcos carvalho Lopes. Sobre os Limites da Interpretação. 2007. Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás.

Teses de doutorado
1.
SANZ, W. C.; Wasserman, R.; Carnielli, W.; Chibeni, S.; Coniglio, M.. Participação em banca de Rafael Rodrigues Testa. Revisão de Crenças Paraconsistente. 2014. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

2.
Joinet, J.B.; SANZ, W. C.; Dowek, G.; Pereira, L.C.P.D; Haeusler, E.H.. Participação em banca de Cecilia Reis Englander Lustosa. On Some Relations Between Natural Deduction and Sequent Calculus. 2014. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

3.
Pereira, L.C.P.D; Mediros, M.P.N.; CHATEAUBRIAND, O.; Haeusler, E.H.; SANZ, W. C.. Participação em banca de Maria Fernanda Pallares Colomar. Cálculo de Seqüentes De Sucedente Múltiplo Para a Lógica Intuicionista de Primeira Ordem. 2007.

Qualificações de Mestrado
1.
SANZ, WAGNER DE CAMPOS; Costa, Vaston G.; Costa Leite, A.. Participação em banca de Hermogenes Herbert Pereira. Investigações em Semantica de Teoria da Prova. 2013. Exame de qualificação (Mestrando em Filosofia) - Universidade Federal de Goiás.

2.
Corbacho, A. Q.; SANZ, WAGNER DE CAMPOS; de Souza, J. B.. Participação em banca de Gilberto Gomes Pereira. A personagem em transição: um estudo da trilogia Essa Terra, O Cachorro e o Lobo, Pelo Fundo da Agulha, de Antonio Torres. 2013. Exame de qualificação (Mestrando em Letras e Linguística) - Universidade Federal de Goiás.

3.
SANZ, WAGNER DE CAMPOS; Klotz, H. C.; Santos Neto, A. B.. Participação em banca de Toni Cesar Pinto Ferreira Barros. Logica deontica: as practições em Castaneda e os paradoxos deonticos. 2013. Exame de qualificação (Mestrando em Filosofia) - Universidade Federal de Goiás.

Trabalhos de conclusão de curso de graduação
1.
PALÁCIOS, J. G. A.; Lassalle Casanave, Abel; SANZ, W. C.. Participação em banca de Glauciene Oliveira Soares.Negação Construtiva em Nélson / Lopez-Escobar. 2009. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Filosofia) - Universidade Federal de Goiás.

2.
PALÁCIOS, J. G. A.; Lassalle Casanave, Abel; SANZ, W. C.. Participação em banca de Diego Pinheiro Fernandes.Critérios Formais para uma Argumentação Contrafactual. 2009. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Filosofia) - Universidade Federal de Goiás.

3.
SANZ, W. C.; PALÁCIOS, J. G. A.; Delbó, A.. Participação em banca de Helena Gomes Nogueira.Antígona e o Conceito de herói. 2007. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Filosofia) - Universidade Federal de Goiás.



Participação em bancas de comissões julgadoras
Concurso público
1.
Gomes, N.; Costa Leite, A.; Sanz, Wagner. Lógica. 2011. Universidade de Brasília.

2.
SANZ, W. C.; PALÁCIOS, J. G. A.; Curado, E.. Lógica e Filosofia da Ciência. 2009. Universidade Federal de Goiás.

3.
SANZ, W. C.; PALÁCIOS, J. G. A.; Curado, E.. Filosofia Antiga e medieval. 2009. Universidade Federal de Goiás.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
II Congreso Colombiano de Lógica, Epistemología y Filosofía de la Ciencia. The BHK Interpretation for Implication: A Critical Remark. 2012. (Congresso).

2.
V Colóquio Filosofia e Ficção. Os Deuses de Sófocles. 2011. (Congresso).

3.
Workshop on Logical Constants, ESSLLI 2011.On the constructive meaning of implication in classical and intuitionistic logic. 2011. (Outra).

4.
XIV Congress of Logic Methodology and Philosophy of Science. Constructive Semantics and Classical Logic. 2011. (Congresso).

5.
XIV Semana de Filosofia da UFU.Lógica e Compreensão. 2011. (Outra).

6.
XV Colóquio Conesul de Filosofia das Ciências Formais.Acerca da Teoria Geral de Problemas de Paulo Veloso. 2011. (Outra).

7.
XVI Encontro Brasileiro de Lógica.Constructive Semantics and Classical Logic. 2011. (Encontro).

8.
First Meeting on Logic in Centro-Oeste.Canonical Proofs and Validity. 2010. (Seminário).

9.
Semana de Ciências Humanas. O Sofrimento Feminino Não É Tragédia. 2010. (Congresso).

10.
XIV Colóquio Conesul de Filosofia das Ciências Formais. BHK e o Problema da Admissibilidade. 2010. (Congresso).

11.
III Colóquio Filosofia e Ficção.Metafísica e Ficção. 2007. (Outra).

12.
Novenas Jornadas Rolando Chuaqui Kettlun -Filosofía y Matemáticas.Falsity Preservation and Aristotelian Sylogistic. 2007. (Encontro).

13.
V Simpósio Internacional Principia.What is harmony for introduction/ elimination rules?. 2007. (Simpósio).

14.
XI Colóquio Conesul de Filosofia das Ciências Formais.Negação: Verdade ou Falsidade?. 2007. (Encontro).

15.
O Cômico e o Trágico.Quantos Heróis Cabem em uma Tragédia. 2006. (Encontro).

16.
X Encontro do Cone Sul de Filosofia das Ciências Formais.Uma Abordagem dos Conceitos Modais Modalidades More Philosophico. 2006. (Encontro).

17.
XII Anpof. Teoria dos Conjuntos e os Princípios de Dedução Natural. 2006. (Congresso).

18.
XIV Encontro da Sociedade Brasileira de Lógica. Dedução Natural = Cálculo de Seqüentes?. 2006. (Congresso).

19.
IX Encontro do Cone Sul de Filosofia das Ciências Formais.Acerca do Conceito de Hipótese. 2005. (Encontro).

20.
Semantics and Meaning.Um Sistema de Dedução Natural para Preservação da Falsidade. 2005. (Oficina).

21.
I Seminário de Filosofia de Edéia.Como Ser um Bom Homem. 2004. (Seminário).

22.
Sextas Jornadas Rolando Chuaqui Ketytlun en Matemática e Filosofía. Acerca del Uso de Hipótesis. 2004. (Congresso).

23.
VIII Encontro do Cone Sul de Filosofia das Ciências Formais.Identidade e Diferença. 2004. (Encontro).

24.
X Coloquio Sobre Pensamiento Formal: Verdad, Falsedad Y Negación.As Regras de Dedução Natural e os Axiomas do Cálculo Proposicional. 2004. (Simpósio).

25.
Filosofia de Las Ciencias Formales.Negação e Trivialidade. 2003. (Simpósio).

26.
II Colóquio Nacional de Filosofia da Lingugaem.Teoria da Prova e Regras para a Negação. 2003. (Encontro).

27.
Quintas Jornadas Rolando Chuaqui Kettlun. A Validade da Lógica Clássica do Ponto de Vista Intuicionista. 2003. (Congresso).

28.
VII Encontro do Cone Sul de Filosofia das Ciências Formais.Negação e Ex Falso Quodlibet. 2003. (Encontro).

29.
XIII Encontro da Sociedade Brasileira de Lógica. Negação e Contradição. 2003. (Congresso).

30.
X Semana de Filosofia UFG.O Que é "do falso segue-se qualquier coisa"?. 2003. (Simpósio).

31.
I Colóquio Nacional de Filosofia da Linguagem.Inferência e Significado. 2002. (Encontro).

32.
III Encontro de Filosofia e História da Ciência do Cone Sul.Conseqüência Lógica e Teoria da Prova. 2002. (Encontro).

33.
Natural Deduction Meeting.Big Bound. 2001. (Encontro).

34.
VIII Jornadas de Epistemologia e Historia de La Ciencia. O Problemático Sentido Finitário das Proposições da Aritmética. 1997. (Congresso).


Organização de eventos, congressos, exposições e feiras
1.
SANZ, W. C.; Sautter, Frank Thomas ; Lassalle Casanave, Abel . XVII Coloquio Conesul de Filosofia das Ciencias Formais. 2013. (Congresso).

2.
DAMIAO, C. M. ; SANZ, WAGNER DE CAMPOS ; Arruda, R. S. . V Colóquio Filosofia e Ficção: Phantasia e Phantasma. 2011. (Congresso).

3.
Sanz, Wagner. Fisrt Meeting on Login in Centro-Oeste. 2010. (Congresso).



Orientações



Orientações e supervisões concluídas
Dissertação de mestrado
1.
Hermógenes Herbert Pereira Oliveira. Investigações em Semântica de Teoria da Prova. 2013. Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Wagner de Campos Sanz.

2.
Toni Cezar Pinto Ferreira Barros. LÓGICA DEÔNTICA: AS PRACTIÇÕES EM CASTAÑEDA E OS PARADOXOS DEÔNTICOS. 2013. Dissertação (Mestrado em Programa de Pós-Graduação em Filosofia) - Universidade Federal de Goiás, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Wagner de Campos Sanz.

3.
Diego Pinheiro Fenandes. As Teorias de Revisão de CRenças e os Condicionais Contrafactuais. 2012. Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Wagner de Campos Sanz.

Trabalho de conclusão de curso de graduação
1.
Glauciene de Oliveeira Soares. Negação Construtiva em Nelson / Lopez-Escobar. 2009. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Filosofia) - Universidade Federal de Goiás. Orientador: Wagner de Campos Sanz.

2.
Diego Pinheiro Fernandes. Critérios Formais para uma Argumentação Contrafactual. 2009. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Filosofia) - Universidade Federal de Goiás. Orientador: Wagner de Campos Sanz.

3.
Renner Gustavo da Silva Souza. A Poética Clássica de Aristóteles e os Conceitos de Mimese, Peripécia e Reconhecimento. 2007. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Filosofia) - Universidade Federal de Goiás. Orientador: Wagner de Campos Sanz.

4.
Helena Gomes Nogueira. Antígona e o Conceito de Herói. 2007. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Filosofia) - Universidade Federal de Goiás. Orientador: Wagner de Campos Sanz.

Iniciação científica
1.
Gustavo Vieira Vilar Garcia. Prescrições e normas jurídicas: do dever ser ao dever fazer. 2012. Iniciação Científica. (Graduando em Filosofia) - Universidade Federal de Goiás, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Wagner de Campos Sanz.

2.
Saulo Paulo de Tarso Sena Lima. Lógica Jurídica e Conflitos Normativos. 2011. Iniciação Científica. (Graduando em Direito) - Universidade Federal de Goiás. Orientador: Wagner de Campos Sanz.

3.
Diego Pinheiro Fernandes. Critérios Formais para uma Argumentação Contrafactual. 2009. Iniciação Científica. (Graduando em Bacharelado em Filosofia) - Universidade Federal de Goiás. Orientador: Wagner de Campos Sanz.

4.
Glauciene Soares. A Negação de López-escobar. 2008. Iniciação Científica. (Graduando em Bacharelado em Filosofia) - Universidade Federal de Goiás. Orientador: Wagner de Campos Sanz.

5.
Diego Fernandes. O Problema dos Condicionais Contrafactuais. 2008. Iniciação Científica. (Graduando em Bacharelado em Filosofia) - Universidade Federal de Goiás, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Wagner de Campos Sanz.

6.
Diego Pinheiro Fernandes. O Problema das Asserções Contrafactuais. 2007. Iniciação Científica. (Graduando em Bacharelado em Filosofia) - Universidade Federal de Goiás, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Wagner de Campos Sanz.

7.
Glauciene de Oliveira Soares. A Negação Construtiva de Nelson / Lopez-Escobar. 2007. Iniciação Científica. (Graduando em Bacharelado em Filosofia) - Universidade Federal de Goiás. Orientador: Wagner de Campos Sanz.



Educação e Popularização de C & T



Livros e capítulos
1.
SANZ, W. C.. Postulados, diagramas acción!. In: O. Esquisabel & F. Sautter. (Org.). Conocimiento Simbólico e Conocimiento Grafico. Histori y Teoria. 1ed.Buenos Aires: Academia Nacional de Ciência da Argentina CEFEP, 2014, v. , p. 1-.


Apresentações de Trabalho
1.
SANZ, WAGNER DE CAMPOS. Counterfactuals and Proof-Theory. 2013. (Apresentação de Trabalho/Conferência ou palestra).




Página gerada pelo Sistema Currículo Lattes em 17/10/2018 às 21:30:50