Carlos Roberto Teixeira Alves

É DOUTOR em Filosofia com ênfase em Lógica e Teoria da Ciência pela PUC-SP; PÓS-DOUTOR em Psicologia Social pelo IP-USP-SP INSTITUTO DE PSICOLOGIA da USP na área da Teo ria da Linguagem; MESTRE em FILOSOFIA pela PUC-SP, com ênfase na Lógica, em especial SEMÂNTICA DA VERDADE de ALFRED TARSKI. Ministrou aula de Lógica e Ética na ESPG - ESCOLA SUPERIOR DA PROCURADORIA GERAL DO ESTADO DE SÃO PAULO. Professor do Programa de Pós-Graduação do IP-USP-SP na disciplina PST5955-1 - Lógica e a Natureza da Verdade. É PESQUISADOR-COLABORADOR junto ao Grupo de Pesquisa em Política Ambiental, do IEA/USP. É PESQUISADOR-COLABORADOR do Grupo de Estudos em Psicologia Social e Mundo Contemporâneo: Paradigmas Estratégias (LAPSI-PST), do IP/USP. Atualmente é DOCENTE do MNPEF - PROGRAMA DE PÓS-GRADUAÇÃO EM ENSINO DE FÍSICA da UFF UNIVERSIDADE FEDERAL FLUMINENSE; é DOCENTE do INSTITUTO FEDERAL DO RIO DE JANEIRO, campus de Volta Redonda, onde ministra FILOSOFIA DA CIÊNCIA e FILOSOFIA DA FÍSICA nas graduações de LICENCIATURA EM FÍSICA e em MATEMÁTICA e na Pós-Graduação lato sensu em ENSINO DE CIÊNCIAS e ENSINO DE MATEMÁTICA. Tem experiência na área de Filosofia, com ênfase em Lógica e Teoria da Ciência. Tem diversos livros e artigos publicados na área da Lógica e da Teoria da Ciência, autor do livro 'PARADOXOS - O mentiroso e outras histórias' em co-autoria com o Prof Dr Lafayette de Moraes, UNICAMP-SP, além de obras ficcionais diversas que concorreram a prêmios nacionais de literatura.

Informações coletadas do Lattes em 21/10/2025

Acadêmico

Formação acadêmica

Doutorado em Filosofia

2011 - 2015

Pontifícia Universidade Católica de São Paulo
Título: EXPLICITAÇÃO DA NOÇÃO TARSKIANA DE SATISFATIBILIDADE NO CÁLCULO DE CLASSES DE 1º ORDEM?
PROF. DR. IVO ASSAD IBRI. Coorientador: PROF. DR. EDELCIO GONÇALVES DE SOUZA. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Alfred Tarski; satisfatibilidade; lógica; calculo de predicados.Grande área: Ciências HumanasGrande Área: Ciências Humanas / Área: Filosofia / Subárea: Lógica. Setores de atividade: Pesquisa e desenvolvimento científico.

Mestrado em Filosofia

2009 - 2011

Pontifícia Universidade Católica de São Paulo
Título: TARSKI ANOTADO - estudo dos §2 e §3 do artigo O Conceito de Verdade nas Linguagens Formalizadas
, Ano de Obtenção: 2011.Edelcio Gonçalves de Souza.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: formalized languages; semantic of the truth; Alfred Tarski; semântica da verdade; metalinguagem.Grande área: Ciências Exatas e da TerraGrande Área: Lingüística, Letras e Artes / Área: Lingüística / Subárea: Filosofia da Linguagem. Grande Área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.

Graduação em FILOSOFIA

2003 - 2007

Faculdade de São Bento de São Paulo
Título: Conceitos Básicos de Lógica Modal
Orientador: Lafayette de Moraes

Formação complementar

2010 - 2010

CONSTRUINDO UMA ESCOLA INTERDISCIPLINAR. (Carga horária: 6h). , Editora Dom Bosco, EDB, Brasil.

Áreas de atuação

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

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

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

Participação em eventos

12º ENCONTRO INTERNACIONAL SOBRE PRAGMATISMO.A CONCEITUAÇÃO DO CONTINUUM, DA ANTIGUIDADE ATÉ C. S. PEIRCE. 2009. (Encontro).

11º ENCONTRO INTERNACIONAL SOBRE PRAGMATISMO.A SOLUÇÃO DE PEIRCE PARA O 'PARADOXO DO MENTIROSO'. 2008. (Encontro).

CLE 30 Years - XV Brazilian Logic Conference - XIV Latin-American Symposium on Mathematical Logic.Uma Formalização da Auto-Refer~encia e a Construção do Paradoxo do Mentiroso. 2008. (Simpósio).

COLÓQUIO CESIMA ANO X. ALGUNS ASPECTOS DA LÓGICA MODAL NA ANTIGUIDADE E IDADE MÉDIA. 2006. (Congresso).

COLÓQUIO CESIMA ANO X. A MODALIDADE A RESPEITO DOS FUTUROS CONTINGENTES EM ARISTÓTELES, DE INTERPRETATIONE 9. 2006. (Congresso).

IX Encontro Nacional de Pesquisa na Graduação em Filosofia da Universidade de são Paulo.A QUEStÂO DOS FUTUROS CONTINGENTES EM ARISTÓTELES, DE INTERPRETATIONE 9. 2006. (Encontro).

VIII SEMANA SÃO BENTO DE FILOSOFIA. 2006. (Encontro).

A PACIÊNCIA DO LOGOS. 2005. (Encontro).

A REFLEXÃO SOBRE A NEGATIVIDADE: DE HERÁCLITO A PARMÊNIDES. 2005. (Encontro).

EM DEFESA DA VIDA: A QUESTÃO DO ABORTO.A CONDIÇÃO NÃO-RACIONAL DO ABORTO. 2005. (Encontro).

PROVOCATIVE QUESTIONS ABOUT PRAGMATISM. 2005. (Encontro).

TEATRO TRÁGICO E POLÍTICA. 2005. (Encontro).

VI SEMANA SÃO BENTO DE FILOSOFIA. 2004. (Encontro).

X SIMPÓSIO INTERDISCIPLINAR DE ESTUDOS GRECO-ROMANOS. 2003. (Simpósio).

Orientou

Emiliane Ricas

HIGIENE NA ESCOLA: CONCEITOS E CRIAÇÃO DE MANUAL PRÁTICO; 2017; Monografia; (Aperfeiçoamento/Especialização em ESPECIALIZAÇÃO NO ENSINO DE CIÊNCIAS NATURAIS) - Instituto Federal de Educação, Ciência e Tecnologia do Rio de Janeiro; Orientador: Carlos Roberto Teixeira Alves;

Produções bibliográficas

MORAES, L. ; ALVES, C. R. T. . PARADOXOS ? ABORDAGEM HISTÓRICA. Cognitio (PUCSP) , v. 8, p. 249-264, 2010.
MORAES, L. ; ALVES, C. R. T. ; Silva, A. A. . A SOLUÇÃO DE PEIRCE PARA O 'PARADOXO DO MENTIROSO'. Cognitio-Estudos (PUC-SP. Online) , v. 6, p. 36-46, 2009.
MORAES, L. ; ALVES, C. R. T. . A MODALIDADE A RESPEITO DOS FUTUROS CONTINGENTES EM ARISTÓTELES, DE INTERPRETATIONE 9. Cognitio (PUCSP) , v. 10, p. 243-266, 2009.
ALVES, C. R. T. . O TEOREMA DE ESTRASBURGO. 1. ed. Rio de Janeiro: UICLAP, 2023. v. 1. 230p .
ALVES, C. R. T. . O DIA VERMELHO. 1. ed. Rio de Janeiro: UICLAP, 2021. v. 1. 693p .
ALVES, C. R. T. ; MORAES, L. . PARADOXOS: O MENTIROSO E OUTRAS HISTÓRIAS. 1º. ed. CURITIBA: Editora Champagnat, 2013. v. 1. 310p .
ALVES, C. R. T. . A PERGUNTA DE TALES. 2. ed. Florianópolis: Bookess, 2013. v. 1. 42p .
ALVES, C. R. T. . A PERGUNTA DE TARSKI. 2. ed. Florianópolis: Bookess, 2013. v. 1. 84p .
ALVES, C. R. T. ; MORAES, L. . GOTTLOB FREGE E O ENSINO DA MATEMÁTICA. In: Paulo Eduardo de Oliveira. (Org.). FILOSOFIA E EDUCAÇÃO: APROXIMAÇÕES E CONVERGÊNCIAS. 1ºed.CURITIBA: Círculo de Estudos Bandeirantes, 2012, v. 1, p. 1-438.
ALVES, C. R. T. ; MORAES, L. . ALGUNS ASPECTOS DA HISTÓRIA DA LÓGICA PARACONSISTENTE. In: JAIR MINORO ABE. (Org.). ASPECTOS DE LÓGICA E TEORIA DA CIÊNCIA. 1ºed.São Paulo: INSTITUTO DE ESTUDOS AVANÇADOS DA USP, 2011, v. 1, p. 1-311.
ALVES, C. R. T. ; MORAES, L. . ALGUNS ASPECTOS DA LÓGICA MODAL NA ANTIGUIDADE E IDADE MÉDIA. In: Ana Maria Alfonso-Goldfarb, Márcia Helena Mendes Ferraz e Luciana Zaterka. (Org.). ATAS CESIMA Ano X. 1ed.São Paulo: Editora Livraria da Física / Thomson Gale, 2005, v. II, p. 197-205.
ALVES, C. R. T. . A FORMALIZATION OF THE SELF-REFERENCE AND CONSTRUCTION OF THE LIAR?S PARADOX. The Bulletin of Symbolic Logic, Los Angeles, USA, p. 332 - 332, 01 set. 2009.
Silva, A. A. ; MORAES, L. ; ALVES, C. T. . A CONCEITUAÇÃO DO CONTINUUM, DA ANTIGUIDADE ATÉ C. S. PEIRCE. Cognitio (PUCSP) , 2011.
MORAES, L. ; ALVES, C. R. T. . SOLUÇÃO DE PEIRCE AO PARADOXO DO MENTIROSO. Cognitio (PUCSP) , 2011.
ALVES, C. R. T. . RETÓRICA E DISCURSO PERSUASIVO. 2023. (Apresentação de Trabalho/Seminário).
ALVES, C. R. T. . Ordem e Informação em Motins Supremacistas: O Discurso Vazio de Bolsonaro e o Fundamento Místico de sua Autoridade. 2023. (Apresentação de Trabalho/Seminário).
ALVES, C. R. T. . DISCURSO JURÍDICO E TEORIA DA ARGUMENTAÇÃO. 2022. (Apresentação de Trabalho/Conferência ou palestra).
ALVES, C. R. T. . SEMIÓTICA NO ESPAÇO FORENSE DO DISCURSO DE CONSTRUÇÃO DO JUÍZO E DE TOMADA DE DECISÃO. 2022. (Apresentação de Trabalho/Conferência ou palestra).
ALVES, C. R. T. . Fatos e Imagens na Comunicação Contemporânea. Lógica e Informação. 2021. (Apresentação de Trabalho/Seminário).
TASSARA, E. T. O. ; ALVES, C. R. T. . Fatos e Imagens na Comunicação Contemporânea. Lógica e Informação, 8 de dezembro de 2021. 2021. (Apresentação de Trabalho/Conferência ou palestra).
ALVES, C. R. T. . Fluir de Paradoxos: Verdade e Informação na Contemporaneidade. 2018. (Apresentação de Trabalho/Seminário).
ALVES, C. R. T. . ATIVIDADE CULTURAL 'IF CINE'. 2016. (Apresentação de Trabalho/Outra).
ALVES, C. R. T. . O 'PARADOXO DE FERMI': O MAIS PROVÁVEL É QUE ESTAMOS SOZINHOS NO UNIVERSO. 2016. (Apresentação de Trabalho/Conferência ou palestra).
ALVES, C. R. T. . A TECNOLOGIA MITOLÓGICA: A MANIPULAÇÃO DELIBERADA DOS NÚMEROS PARA 'VENDER' A IDEIA DE SUCESSO CIENTÍFICO. 2016. (Apresentação de Trabalho/Conferência ou palestra).
ALVES, C. R. T. . TEORIA DA ARGUMENTAÇÃO E FALÁCIAS. 2015. (Apresentação de Trabalho/Seminário).
ALVES, C. R. T. . O Computador Consciente: Sonhos e Limites - Uma Palavra da Filosofia. 2015. (Apresentação de Trabalho/Conferência ou palestra).
ALVES, C. R. T. . O PENSAMENTO A RESPEITO DA LUZ, DESDE ARISTÓTELES ATÉ A INTERPRETAÇÃO NEWTONIANA. 2015. (Apresentação de Trabalho/Conferência ou palestra).
ALVES, C. R. T. . A CONSTRUÇÃO DA PESQUISA NO ENSINO MÉDIO E TÉCNICO. 2014. (Apresentação de Trabalho/Conferência ou palestra).
ALVES, C. R. T. ; MORAES, L. . O Conceito de Número entre os Lógicos do Fim do Século XIX. 2012. (Apresentação de Trabalho/Comunicação).
MORAES, L. ; ALVES, C. R. T. . O surgimento da lógica paraconsistente em 1948. 2012. (Apresentação de Trabalho/Conferência ou palestra).
ALVES, C. R. T. ; MORAES, L. . A SOLUÇÃO DE JASKOWSKI DO PARADOXO DO MENTIROSO. 2011. (Apresentação de Trabalho/Comunicação).
ALVES, C. R. T. . 'A JUSTIÇA NO PENSAMENTO DE ARISTÓTELES: ARETÉ E A TRADIÇÃO GREGA DO EQUILÍBRIO E DA VIDA DIGNA. 2011. (Apresentação de Trabalho/Conferência ou palestra).
ALVES, C. R. T. . TÓPICA E SILOGISMO DIALÉTICO. 2011. (Apresentação de Trabalho/Conferência ou palestra).
ALVES, C. R. T. . FREUD E MARX - COMO PRODUTORES DE DISCURSIVIDADE. 2010. (Apresentação de Trabalho/Conferência ou palestra).
MORAES, L. ; Silva, A. A. ; ALVES, C. R. T. . A CONCEITUAÇÃO DO CONTINUUM, DA ANTIGUIDADE ATÉ C. S. PEIRCE. 2009. (Apresentação de Trabalho/Comunicação).
MORAES, L. ; ALVES, C. R. T. . Uma Formalização da Auto-Referência e a Construção do Paradoxo do Mentiroso. 2008. (Apresentação de Trabalho/Comunicação).
MORAES, L. ; ALVES, C. R. T. ; Silva, A. A. . A SOLUÇÃO DE PEIRCE PARA O 'PARADOXO DO MENTIROSO'. 2008. (Apresentação de Trabalho/Comunicação).
ALVES, C. R. T. . A QUESTÃO DOS FUTUROS CONTINGENTES EM ARISTÓTELES, DE INTERPRETATIONE 9. 2006. (Apresentação de Trabalho/Comunicação).
MORAES, L. ; ALVES, C. R. T. . ALGUNS ASPECTOS DA LÓGICA MODAL NA ANTIGUIDADE E IDADE MÉDIA. 2006. (Apresentação de Trabalho/Comunicação).
MORAES, L. ; ALVES, C. T. . A MODALIDADE A RESPEITO DOS FUTUROS CONTINGENTES EM ARISTÓTELES, DE INTERPRETATIONE 9. 2006. (Apresentação de Trabalho/Comunicação).
ALVES, C. R. T. . A CONDIÇÃO NÃO-RACIONAL DO ABORTO. 2005. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções

ALVES, C. R. T. . TÓPICA E SILOGISMO DIALÉTICO. 2012. (Curso de curta duração ministrado/Especialização).

ALVES, C. R. T. . ASPECTOS DA IMPORTÂNCIA DA PARADOXALIDADE NOS MODELOS MATEMÁTICOS. 2010. (Curso de curta duração ministrado/Outra).

ALVES, C. R. T. . CURSO DE TEORIA DA ARGUMENTAÇÃO. 2009. (Desenvolvimento de material didático ou instrucional - AULAS-TEXTO).

ALVES, C. R. T. . LÓGICA APLICADA À INVESTIGAÇÃO CRIMINAL. 2007. .

ALVES, C. R. T. . CURSO DE TÉCNICAS ADMINISTRATIVAS PRÁTICAS PARA O PEQUENO EMPRESÁRIO. 2006. (Desenvolvimento de material didático ou instrucional - AULAS-TEXTO).

Projetos de pesquisa

2015 - 2015

TIPOLOGIA DOS TESTES EXPERIMENTAIS DE VERIFICAÇÃO DA TEORIA DA RELATIVIDADE GERAL - 100 ANOS DE SUCESSO DO MODELO: MOMENTO DE UM TRATAMENTO SOB PERSPECTIVA DIDÁTICA, Descrição: Pesquisa bibliográfica e compilação direcionada de material relevante, segundo a perspectiva de construir uma exposição didática dos testes da Teoria Geral da Relatividade. Objetivo Geral do Trabalho Construir uma exposição didática dos testes de verificação da Relatividade geral, dos mais simples aos mais complexos, a fim de orientar o aprendizado da Teoria da relatividade Geral. Especificadamente, deseja-se com o projeto conseguir explicitar uma tipologia dos ensaios próprios de verificação da Teoria Geral da Relatividade. Além de estabelecer uma historiografia que mostre como o avanço tecnológico permitiu a prática de novos ensaios, consegue-se uma organização de como se desenvolveu a pesquisa baseada em relatividade no séc XX. , Situação: Desativado; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Carlos Roberto Teixeira Alves - Coordenador.

Prêmios

2008

Medalha Emérita por Serviços, Departamento de Inteligência da Polícia Civil do Estado de São Paulo.

Histórico profissional

Experiência profissional

2024 - Atual

Universidade Federal Fluminense

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

2014 - Atual

Instituto Federal do Rio de Janeiro

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

2009 - 2014

Colégio de São Bento

Vínculo: Celetista formal, Enquadramento Funcional: Professor, Carga horária: 4

Outras informações:
PROFESSOR DE FILOSOFIA DO ENSINO FUNDAMENTAL E ENSINO MÉDIO PROFESSOR DE SOCIOLOGIA DO ENSINO MÉDIO

2008 - 2008

Colégio de São Bento

Vínculo: Celetista formal, Enquadramento Funcional: Professor, Carga horária: 4

2012 - 2014

ESCOLA ESTADUAL JOAQUIM EUGÊNIO LIMA NETO

Vínculo: , Enquadramento Funcional: COORDENADOR PEDAGÓGICO, Carga horária: 40

Outras informações:
Plano de Gestão pedagógica, projetos de atividades didáticas, projetos de recuperação de turmas e séries.

2006 - 2012

ESCOLA ESTADUAL JOAQUIM EUGÊNIO LIMA NETO

Vínculo: Servidor Público, Enquadramento Funcional: PROFESSOR, Carga horária: 10

Outras informações:
PROFESSOR DE FILOSOFIA ENSINO MÉDIO

Atividades

02/2006 - 06/2012
Ensino,Disciplinas ministradas, FILOSOFIA, SOCIOLOGIA

2009 - 2012

Colegio Mundo Atual

Vínculo: Celetista formal, Enquadramento Funcional: Professor, Carga horária: 7

Atividades

01/2009 - 06/2012
Ensino,Disciplinas ministradas, FILOSOFIA, SOCIOLOGIA, ÉTICA

2008 - 2008

Serviço Nacional de Aprendizagem Comercial - SP

Vínculo: Contrato temporário, Enquadramento Funcional: Professor Matemática Financeira, Carga horária: 15

Outras informações:
Matemática Comercial e Financeira - Curso Próprio.