Wagner de Campos Sanz

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.

Informações coletadas do Lattes em 23/12/2023

Acadêmico

Formação acadêmica

Doutorado em Filosofia

2002 - 2006

Universidade Estadual de Campinas
Título: Uma Investigação Acerca das Regras para a Negação e o Absurdo em Dedução Natural
, Ano de obtenção: 2006. 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

Mestrado em Lógica e Filosofia da Ciência

1989 - 1991

Universidade Estadual de Campinas
Título: Razão, Computação e Sistemas Formais
, Ano de Obtenção: 1991.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

Especialização em Psicologia Piagetiana

1984 - 1985

Universidade Federal do Rio Grande do Sul
Título: Uma Investigação Sobre Seriação
Orientador: Paulo Mosca

Graduação em Tecnólogo Em Processamento de Dados

1982 - 1984

Universidade Federal do Rio Grande do Sul

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.

Idiomas

Inglês

Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.

Espanhol

Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.

Português

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Francês

Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.

Áreas de atuação

Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.

Grande área: Ciências Humanas / Área: Filosofia / Subárea: Epistemologia/Especialidade: Filosofia das Ciências Formais.

Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica/Especialidade: Teoria da Prova.

Grande área: Ciências Humanas / Área: Filosofia / Subárea: Estética.

Grande área: Ciências Humanas / Área: Filosofia / Subárea: Filosofia da Linguagem.

Grande área: Ciências Sociais Aplicadas / Área: Direito / Subárea: Teoria do Direito/Especialidade: Lógica Jurídica.

Organização de eventos

SANZ, W. C. ; Sautter, Frank Thomas ; Lassalle Casanave, Abel . XVII Coloquio Conesul de Filosofia das Ciencias Formais. 2013. (Congresso).

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

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

Participação em eventos

II Congreso Colombiano de Lógica, Epistemología y Filosofía de la Ciencia. The BHK Interpretation for Implication: A Critical Remark. 2012. (Congresso).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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).

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

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

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

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

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

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

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

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

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

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

Participação em bancas

Aluno: Hermogenes Herbert Pereira

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

Aluno: Toni Cesar Pinto Barros

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

Aluno: Diego Pinheiro Fernandes

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

Aluno: Ian Nascimento Ferreira

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

Aluno: Marcos Carvalho Lopes

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

Aluno: Rafael Rodrigues Testa

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

Aluno: Cecilia Reis Englander Lustosa

Joinet, J.B.;SANZ, W. C.; Dowek, G.;Pereira, L.C.P.DHaeusler, E.H.. On Some Relations Between Natural Deduction and Sequent Calculus. 2014. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Maria Fernanda Pallares Colomar

Pereira, L.C.P.D; Mediros, M.P.N.; CHATEAUBRIAND, O.;Haeusler, E.H.SANZ, W. C.. Cálculo de Seqüentes De Sucedente Múltiplo Para a Lógica Intuicionista de Primeira Ordem. 2007.

Aluno: Victor Luis Barroso Nascimento

Pereira, L.C.P.D.;SANZ, W. C.; Piecha, T.. Estudos Fundacionais em Semânticas Prova-teóricas. 2022. Exame de qualificação (Doutorando em Programa de Pós-Graduação em Filosofia (Mestrado em Doutorado)) - Universidade do Estado do Rio de Janeiro.

Aluno: Hermogenes Herbert Pereira

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

Aluno: Toni Cesar Pinto Ferreira Barros

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

Aluno: Gilberto Gomes Pereira

Corbacho, A. Q.;SANZ, WAGNER DE CAMPOS; de Souza, J. B.. 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.

Aluno: VINÍCIUS VECCHI DE SOUZA

Pereira, R.R.; Correia, A;SANZ, W. C.. NEOLIBERALISMO Conceitos reflexões e crítica. 2023. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal de Goiás.

Aluno: [Nome removido após solicitação do usuário]

SANZ, W. C.; Santos Neto, A. B.; Chaves, R.A.. O Desdobramento dos Princípios de Igualdade e Liberdade sobre o Estado de Bem-Estar Social. 2022. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal de Goiás.

Aluno: Glauciene Oliveira Soares

PALÁCIOS, J. G. A.; Lassalle Casanave, Abel;SANZ, W. C.. 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.

Aluno: Diego Pinheiro Fernandes

PALÁCIOS, J. G. A.; Lassalle Casanave, Abel;SANZ, W. C.. 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.

Aluno: Helena Gomes Nogueira

SANZ, W. C.; PALÁCIOS, J. G. A.; Delbó, A.. 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.

Gomes, N.; Costa Leite, A.;Sanz, Wagner. Lógica. 2011. Universidade de Brasília.

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

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

Orientou

Hermogenes 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;

Toni Cézar Pinto Ferreira Barros

LÓGICA DEÔNTICA: AS PRACTIÇÕES EM CASTAEDA 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;

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;

[Nome removido após solicitação do usuário]

O Desdobramento dos Princípios de Igualdade e Liberdade sobre o Estado de Bem-Estar Social; 2022; Trabalho de Conclusão de Curso; (Graduação em Abi - Filosofia) - Universidade Federal de Goiás; Orientador: Wagner de Campos Sanz;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

Produções bibliográficas

SANZ, W. C. . Proof-search, analytic tableaux, models and counter-models, in Hypo constructive semantics for Minimal and Intuitionistic Propositional Logic. Journal of Applied Logics The IfCoLog Journal of Logics and their Applications , v. 9, p. 541-572, 2022.
SANZ, WAGNER DE CAMPOS . A Criticism of Kripke?s Semantic for Intuitionistic Logic. O QUE NOS FAZ PENSAR (PUCRJ) , v. 25, p. 99, 2016.
DE CAMPOS SANZ, WAGNER ; OLIVEIRA, HERMÓGENES . On Dummett?s verificationist justification procedure. Synthese (Dordrecht. Online) , v. 1, p. 1, 2015.
DE 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.
SANZ, WAGNER DE CAMPOS . KOLMOGOROV E A LÓGICA DE PROBLEMAS I. Notae Philosophicae Scientiae Formalis , v. 1, p. 184, 2012.
Pereira, 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.
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.
Costa, Vaston G. ; Sanz, Wagner ; Haeusler, Edward H. ; Pereira, Luiz C. . Peirce's Rule in a Full Natural Deduction System. Electronic Notes in Theoretical Computer Science , v. 256, p. 5-18, 2009.
SANZ, W. C. . Falsity preservation. CLE e-Prints (Online) , v. 8, p. 2, 2008.
SANZ, W. C. . Negação e Falsidade. O Que nos Faz Pensar , v. 23, p. 153-162, 2008.
SANZ, W. C. . A Note on Gentzen's LJ and NJ Systems Isomorphism. Logic Journal of the IGPL (Online) , v. 15, p. 767-774, 2007.
SANZ, W. C. . A Short Note on Gentzen's LJ and NJ Systems Isomorphism. CLE e-Prints (Online) , v. 6, p. 24/08/2006, 2006.
SANZ, W. C. . Acerca da Natureza das Hipóteses. Representaciones (Córdoba) , v. 2, p. 147-162, 2006.
SANZ, W. C. . A Natural Deduction System Preserving Falsity. Energeia (Buenos Aires) , v. 4, p. 215-220, 2005.
SANZ, W. C. . Relating Intuitionist Negation and Triviality. Logic Journal of the IGPL (Online) , v. 12, p. 581-599, 2004.
SANZ, W. C. . Da Natureza das Hipóteses e suas Conseqüências. Fragmentos de Cultura (Goiânia) , v. 14, p. 2051-2062, 2004.
SANZ, W. C. . Aspectos do princípio de Indução no Programa de Hilbert. Cuadernos del Sur (UNS) , v. 30, p. 103-114, 2000.
SANZ, W. C. . Problemas do Condicional: Relevância. Philósophos (UFG) , v. 5, p. 175-185, 2000.
SANZ, 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.
SANZ, W. C. . O Conceito de Prova Finitária em Gentzen. Episteme (Porto Alegre) , Porto Alegre/RS, v. 3, n.7, p. 293-302, 1998.
SANZ, W. C. . Estudando o Hauptsatz I. Revista da UCPel , Pelotas/RS, v. 7, n.1, p. 67-86, 1997.
SANZ, 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.
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-.
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.
SANZ, WAGNER DE CAMPOS . Piano e a Enxada. Revista UFG (Impresso), Editora da UFG, Goiânia, p. 185 - 189, 01 jul. 2011.
SANZ, W. C. . O Natural e o Deformado. Jornal O Popular, Goiânia - GO, p. 10 - 10, 02 mar. 2001.
SANZ, W. C. . O Que é Virtual?. Diário Popular, Pelotas/RS, 25 abr. 1997.
SANZ, W. C. . Petição de Princípio. Diário Popular, Pelotas/RS, 08 abr. 1997.
SANZ, W. C. . Um Governador em Palpos-de-aranha. Diário Popular, Pelotas/RS, 04 abr. 1997.
SANZ, W. C. . O Ocidente. Diário Popular, Pelotas/RS, 15 fev. 1997.
SANZ, W. C. . A Razão de Estado é uma Razão?. Diário Popular, Pelotas/RS, 07 fev. 1997.
SANZ, W. C. . Calor pra Mouro!. Diário Popular, Pelotas/RS, 17 jan. 1997.
SANZ, W. C. . O Keynesianismo. Diário Popular, Pelotas/RS, 11 jan. 1997.
SANZ, W. C. . Penso, Logo Existo. Diário Popular, Pelotas/RS, 21 dez. 1996.
SANZ, W. C. . A Universidade e a Sociedade Pós-Industrial. Diário Popular, Pelotas/RS, 29 nov. 1996.
SANZ, W. C. . Medida de Profilaxia. Diário Popular, Pelotas/RS, 22 nov. 1996.
SANZ, W. C. . O Acaso na Ciência. Diário Popular, Pelotas/RS, 22 out. 1996.
SANZ, W. C. . Os Limites da Ciência Econômica. Diário Popular, Pelotas/RS, 09 set. 1996.
SANZ, W. C. . Filosofia e Ciência: Um Comentário. Diário Popular, Pelotas/RS, 26 jul. 1996.
SANZ, W. C. . As Deduções do Xangô de Baker Street. Diário Popular, Pelotas/RS, 18 jul. 1996.
SANZ, W. C. . Números em Debate. Diário Popular, Pelotas/RS.
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.
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.
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.
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.
SANZ, W. C. . Big Bound. In: Natural Deduction Meeting, 2001, Rio de Janeiro. Abstracts and Invited Talks, 2001. p. sem paginação.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
SANZ, WAGNER DE CAMPOS ; PIECHA, THOMAS ; Schroeder-Hesiter, P. . A Critical Remark on the BHK Interpretation of Implication. Philosophia Scientiae , 2014.
PIECHA, THOMAS ; SANZ, W. C. ; SCHROEDER-HEISTER, P. . Failure of completeness in proof-theoretic semantics. Journal of Philosophical Logic , 2014.
SANZ, W. C. ; Viana, P. . Problemas e seus tipos na Geometria Euclidiana. 2022. (Apresentação de Trabalho/Comunicação).
SANZ, WAGNER DE CAMPOS . Counterfactuals and Proof-Theory. 2013. (Apresentação de Trabalho/Conferência ou palestra).
SANZ, WAGNER DE CAMPOS ; PIECHA, THOMAS . The BHK Interpretation for Implication: A Critical Remark. 2012. (Apresentação de Trabalho/Comunicação).
Sanz, Wagner . Compreensão e Significado. 2012. (Apresentação de Trabalho/Comunicação).
SANZ, WAGNER DE CAMPOS . Quantificação e Espécies. 2012. (Apresentação de Trabalho/Comunicação).
SANZ, WAGNER DE CAMPOS ; Piecha, T. . Constructive Semantics and Classical Logic. 2011. (Apresentação de Trabalho/Comunicação).
PIECHA, THOMAS ; SANZ, WAGNER DE CAMPOS . Constructive Semantics and Classical Logic. 2011. (Apresentação de Trabalho/Comunicação).
SANZ, WAGNER DE CAMPOS ; PIECHA, THOMAS . The BHK Interpretation and Extensions of NJ. 2011. (Apresentação de Trabalho/Comunicação).
PIECHA, THOMAS ; SANZ, WAGNER DE CAMPOS . On the constructive meaning of implication in classical and intuitionistic logic. 2011. (Apresentação de Trabalho/Comunicação).
SANZ, WAGNER DE CAMPOS . Os Deuses de Sófocles. 2011. (Apresentação de Trabalho/Comunicação).
SANZ, W. C. . O Programa de Dummett. 2009. (Apresentação de Trabalho/Comunicação).
SANZ, W. C. . Inversão por Reflexão Definicional e Admissibilidade das Regras Lógicas. 2009. (Apresentação de Trabalho/Comunicação).
SANZ, W. C. . Contrariedade, Contradição e Negação. 2009. (Apresentação de Trabalho/Comunicação).
SANZ, W. C. . A Noção de Construção Intuicionista. 2009. (Apresentação de Trabalho/Comunicação).
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).
SANZ, W. C. . Falsity and The ZF Comprehension Principle. 2008. (Apresentação de Trabalho/Comunicação).
SANZ, W. C. ; Piecha, T. . Inversion by Definitional Reflection and the Admissibility of Logical Rules. 2008. (Apresentação de Trabalho/Comunicação).
SANZ, W. C. . Peirce Rule, Subformula Principle and Separabilty of Logical Constants. 2008. (Apresentação de Trabalho/Conferência ou palestra).
SANZ, W. C. . Falsity preservation. 2008. (Apresentação de Trabalho/Conferência ou palestra).
SANZ, W. C. . Prueba y Comprension. 2007. (Apresentação de Trabalho/Comunicação).
SANZ, W. C. . What is Harmony For Introduction/Elimination Rules?. 2007. (Apresentação de Trabalho/Comunicação).
SANZ, W. C. . Metafísica e Ficção. 2007. (Apresentação de Trabalho/Conferência ou palestra).
SANZ, W. C. . A Natureza da Filosofia e seu Ensino. 2007. (Apresentação de Trabalho/Conferência ou palestra).
Salomão, R.M. ; SANZ, W. C. . Liberdade, igualdade, irmãs inimigas?. Goiania: Ermira: Cultura, Ideias e Redemoinhos, 2023. (Tradução/Artigo).
SANZ, W. C. ; Viana, P. . Problemas e seus tipos na Geometria Euclidiana. Salvador: XX EBL / SBL, 2022 (Caderno de Resumos).
SANZ, WAGNER DE CAMPOS ; DAMIAO, C. M. . V Colóquio Filosofia e Ficção: Phantasia e Phantasma. Goiânia 2011 (Caderno de Resumos).
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).
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).
Stival, S.D. ; SANZ, W. C. . A Evolução da Noção de Sistema Axiomático. Goiânia: Revista Philosophos, 2003. (Tradução/Artigo).

Outras produções

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

HAEUSLER, E. H. ; SANZ, W. C. ; LOPES, B. . Why is this a proof. 2015. (Editoração/Livro).

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

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) .

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

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

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 produções C, T & A: 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.

Histórico profissional

Experiência profissional

1998 - Atual

Universidade Federal de Goiás

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

1998 - Atual

Universidade Federal de Goiás

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

Atividades

02/2007
Ensino, Filosofia, Nível: Pós-Graduação,Disciplinas ministradas, Semântica Construtiva; Contrafactuais; Seminário de Pesquisa.
08/1999
Pesquisa e desenvolvimento, Instituto de Ciências Humanas e Letras, Departamento de Filosofia.,Linhas de pesquisa
05/1999
Extensão universitária , Instituto de Ciências Humanas e Letras, Departamento de Filosofia.,Atividade de extensão realizada, Aprendendo Lógica Interativamente.
08/1998
Ensino,,Disciplinas ministradas, Tópicos de Filosofia da Lógica, Tópicos de Estética, Introdução à Filosofia, Lógica

2012 - 2012

Universidad Autónoma de Madrid

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

Outras informações:
Udelar Programa 720.

2009 - 2010

Universidad Autónoma de Madrid

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

2011 - 2011

University of Tübingen

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

2012 - 2012

Universidad de la Republica Uruguay

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

1992 - 1998

Universidade Católica de Pelotas

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

Atividades

09/1994 - 07/1998
Pesquisa e desenvolvimento, Instituto Superior de Filosofia.,Linhas de pesquisa
08/1992 - 07/1998
Ensino,,Disciplinas ministradas, Lógica, Teoria do Conhecimento, Metodologia da Pesquisa, Cosmologia, Filosofia da Ciência, Filosofia da Linguagem, Teoria da Computação
09/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.
08/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
08/1994 - 12/1994
Ensino,,Disciplinas ministradas, Teoria da Computação

1992 - 1992

Universidade Regional do Noroeste do Estado do Rio Grande do Sul

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

Atividades

03/1992 - 07/1992
Ensino,,Disciplinas ministradas, Lógica