Igor de Camargo e Souza Câmara

Doutorando (2018) em Ciẽncia da Computação pela Universidade de São Paulo, com período sanduíche na Technische Universität Dresden (Alemanha). Mestre em Filosofia pela Universidade Estadual de Campinas (UNICAMP). Bacharel (2014) e Licenciado (2015) em Filosofia pela Universidade de São Paulo (USP). Foi bolsista (Pibic - RUSP) de iniciação científica. Seus campos de interesse e pesquisa são lógica, inteligência artificial, representação de conhecimento e linguística computacional.

Informações coletadas do Lattes em 14/09/2025

Acadêmico

Formação acadêmica

Doutorado em andamento em Ciencia da Computacao

2018 - Atual

Universidade de São Paulo
Título: Lógicas de Descrição e Tipicalidade
Orientador: em Technische Universität Dresden ( Franz Baader)
com Renata Wassermann. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Lógicas de Descrição; Representação de Conhecimento; Tipicalidade.Grande área: Ciências Exatas e da Terra

Mestrado em Filosofia

2016 - 2018

Universidade Estadual de Campinas
Título: Condicionais Contrafatuais e Contrapossíveis, Ano de Obtenção: 2018
Walter Alexandre Carnielli.Coorientador: Juliana Bueno-Soler. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Lógica; Condicionais; Contrafatuais; Lógicas não clássicas.Grande área: Ciências HumanasGrande Área: Ciências Humanas / Área: Filosofia / Subárea: Lógica Matemática.

Graduação em Filosofia

2010 - 2014

Universidade de São Paulo
Título: Representação, Verdade e Relativismo na filosofia de Richard Rorty
Orientador: Caetano Ernesto Plastino

Ensino Médio (2º grau)

2006 - 2008

Colégio Oswald

Formação complementar

2018 - 2018

Álgebra Linear. (Carga horária: 60h). , Universidade de São Paulo, USP, Brasil.

2017 - 2017

Algorithms: 4 Courses Specialization (Coursera). (Carga horária: 80h). , Stanford University, STANFORD, Estados Unidos.

2017 - 2017

Introdução à Ciência da Computação com Python Parte 2 - Coursera. (Carga horária: 15h). , Universidade de São Paulo, USP, Brasil.

2017 - 2017

Introdução à Ciência da Computação com Python Parte 1 - Coursera. (Carga horária: 20h). , Universidade de São Paulo, USP, Brasil.

2017 - 2017

Miracles of Human Language: An Introduction to Linguistics - Coursera. (Carga horária: 25h). , Leiden University, LEIDEN, Holanda.

2013 - 2013

Introduction to Logic (Coursera-Online). (Carga horária: 40h). , Stanford University, STANFORD, Estados Unidos.

2012 - 2012

Empirismo e Pragmatismo Contemporâneos. (Carga horária: 8h). , Universidade de São Paulo, USP, Brasil.

Idiomas

Inglês

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

Francês

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

Alemão

Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.

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

Participação em eventos

IV Conference of the Brazilian Society for Analytic Philosophy. Counterpossible Conditionals and Formal Inconsistencies. 2016. (Congresso).

21 SIICUSP.Representação, Verdade e Relativismo na filosofia de Richard Rorty. 2013. (Simpósio).

3 Ciclo Pensamento Alemão no século XX. 2011. (Outra).

Produções bibliográficas

PIROZELLI, PAULO ; CÂMARA, IGOR . NATURAL LANGUAGE AT A CROSSROADS: FORMAL AND PROBABILISTIC APPROACHES IN PHILOSOPHY AND COMPUTER SCIENCE. MANUSCRITO , v. 45, p. 50-81, 2022.
CÂMARA, I. C. S. . Demonstração, Verdade e Entendimento no Conhecimento Matemático: um Estudo de Caso a Partir do Teorema das Quatro Cores. REVISTA PERSPECTIVA FILOSÓFICA , v. 46, p. 12-36, 2020.
Real, Livy ; Rodrigues, Ana ; Vieira e Silva, Andressa ; Albiero, Beatriz ; Thalenberg, Bruna ; Guide, Bruno ; Silva, Cindy ; de Oliveira Lima, Guilherme ; Câmara, Igor C. S. ; Stanojevi¿, Milo¿ ; Souza, Rodrigo ; de Paiva, Valeria . SICK-BR: A Portuguese Corpus for Inference. Lecture Notes in Computer Science. 13ed.: Springer International Publishing, 2018, v. , p. 303-312.
REAL, L. ; RODRIGUES, A. V. E. ; THALENBERG, B. ; GUIDE, B. ; SILVA, C. ; CÂMARA, I. C. S. ; LIMA, G. O. ; SOUZA, R. ; PAIVA, Valeria de . Building a NLI Corpus for Portuguese. In: Widening NLP, 2018, New Orleans. roceedings of WiNLP. New Orleans: NAACL, 2018. v. 1.
REAL, L. ; SILVA, A. V. E. ; RODRIGUES, A. ; THALENBERG, B. ; GUIDE, B. ; CÂMARA, I. C. S. ; LIMA, G. O. ; SOUZA, R. ; PAIVA, V. . A brief description of SICK-BR. In: OpenCor, 2018, Canela. Proceedings of OpenCor. Canela: Latin American and Iberian Languages Open Corpora Forum (OpenCor), 2018. v. 1. p. 1-10.
CÂMARA, I. C. S. . Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of ELI⊥. 2022. (Apresentação de Trabalho/Conferência ou palestra).
CÂMARA, I. C. S. . Topics in Description Logics of Typicality and Quantification Neglect. 2021. (Apresentação de Trabalho/Congresso).
REAL, L. ; RODRIGUES, A. ; SILVA, A. V. E. ; ALBIERO, B. ; THALENBERG, B. ; GUIDE, B. ; SILVA, C. ; LIMA, G. O. ; CÂMARA, I. C. S. ; SOUZA, R. ; PAIVA, V. . Building a NLI corpus for Portuguese. 2018. (Apresentação de Trabalho/Congresso).
CÂMARA, I. C. S. . What would be a logic for counterpossibles?. 2017. (Apresentação de Trabalho/Conferência ou palestra).
CÂMARA, I. C. S. . Counterpossible and Impossible Worlds. 2017. (Apresentação de Trabalho/Simpósio).
CÂMARA, I. C. S. . Counterpossible Conditionals and Formal Inconsistencies. 2016. (Apresentação de Trabalho/Congresso).
Câmara, Igor C. S. . Representação, Verdade e Relativismo na Filosofia De Richard Rorty.. 2014. (Apresentação de Trabalho/Simpósio).
CÂMARA, I. C. S. . Notas sobre ciência e epistemologia em Richard Rorty. 2013. (Apresentação de Trabalho/Outra).