Kherian Galvão Cesar Gracher

Pós-doutorado

Formação complementar

Idiomas

Áreas de atuação

Organização de eventos

Participação em eventos

Produções bibliográficas

• GRACHER, K. . Identidade e Sistemas Conceituais. Metatheoria: Revista de Filosofía e Historia de la Ciencia , v. 9, p. 61-68, 2019.

• GRACHER, K. . Teria o Metro-Padrão um metro?. PRINCIPIA (FLORIANÓPOLIS. ONLINE) , v. 19, p. 465-474, 2016.

• GRACHER, K. . Identidade, Indiscernibilidade e Lógica. Fundamento: revista de filosofia , v. 1, p. 21-40, 2015.

• GRACHER, K. . Textos Selecionados de Lógica II. 1. ed. Pelotas: Editora UFPel, 2024. 248p .

• GRACHER, K. . Três Vezes Não: um estudo sobre as negações clássicas, paraconsistente e paracompleta. 1. ed. Londres: College Publications, 2022. v. 1. 250p .

• GRACHER, K. ; CFER, T. . Filosofia: ciências humanas e suas tecnologias. 1. ed. Sistema de Ensino Poliedro, 2015.

• GRACHER, K. . Introdução: Lógica, Lógicas, Filosofia da Lógica e Lógicas Filosóficas. In: Kherian Gracher. (Org.). Textos Selecionados de Lógica II. 1ed.Pelotas: Editora UFPel, 2024, v. , p. 11-15.

• GRACHER, K. ; Marques Segundo, L. H. . Como não impedir um presidente: uma resposta a Sagid Salles. In: Rodrigo Reis Lastra Cid. (Org.). Refutações: Ensaios em Política, Economia, Ética e Arte. 1ed.Porto Alegre: Editora Fi, 2020, v. , p. 187-190.

• GRACHER, K. . Nao, Não e Não: as negações e suas lógicas. In: Diego P. Fernandes; Rodrigo Lopez-Orellana. (Org.). El jardín de senderos que se bifurcan y confluyen: Filosofía, Lógica y Matemáticas. 1ed.Valparaíso: Selección de Textos, 2020, v. 8, p. 65-105.

• GRACHER, K. . Uma concepção minimal da Redução ao Absurdo. In: 12th Principia International Symposium, 2021, Florianópolis. Book of Abstracts, 2021.

• GRACHER, K. . 3 x Não: Um estudo sobre as negações clássica, paraconsistente e paracompleta. In: 11th Principia International Symposium, 2019, Florianópolis. Book of Abstracts, 2019.

• GRACHER, K. . Quasi-Truth and Possible Worlds. In: 10th Principia International Symposium, 2017, Florianópolis. Caderno de Resumos, 2017.

• GRACHER, K. . Modality and Quasi-Truth: A Possible-World Semantics for Quasi-Truth Theory. In: 3rd Filomena, 2017, Natal. Caderno de Resumos, 2017.

• GRACHER, K. . Troubles With The Concept of Identity. In: Ninth Principia International Symposium, 2015, Florianópolis. Ninth Principia International Symposium, 2015.

• GRACHER, K. . São as propriedades essenciais triviais e não-triviais explicitamente definíveis?. In: II Congresso da Sociedade Brasileira de Filosofia Analítica, 2012, Fortaleza. Caderno de Resumo, 2012. p. 75-76.

• GRACHER, K. . Será a crença na própria falibilidade uma crença infalível?. In: V Encontro Nacional de Pesquisa em Filosofia, 2012, Ouro Preto. Caderno de Resumo, 2012.

• GRACHER, K. ; MIRANDA, S. R. N. . O Problema do Valor do Conhecimento. In: XX Seminário de Iniciação Científica da UFOP, 2012, Ouro Preto. Anais do SIC-UFOP, 2012.

• GRACHER, K. . Distinguindo Propriedades Essenciais e Necessárias. In: IV Encontro Nacional de Pesquisa em Filosofia da UFOP, 2011, Ouro Preto. Caderno de Resumo, 2011.

• GRACHER, K. . Desconstruindo a ideia de uma eugenia liberal. In: XIII Encontro Nacional de Pesquisa na Graduação em Filosofia da USP, 2010, São Paulo. Caderno de Resumo, 2010.

• GRACHER, K. ; Alves Júnior, Douglas Garcia. . Kant e a Fundamentação da Paz Perpétua. In: XVIII Seminário de Iniciação Científica da UFOP, 2010, Ouro Preto. Anais do SIC-UFOP, 2010.

• GRACHER, K. . O ceticismo antigo como resposta ao dogmatismo filosófico. In: XIII Encontro de Pesquisa na Graduação em Filosofia da Unicamp, 2009, Campinas. Caderno de Resumos, 2009. p. 63-64.

• GRACHER, K. . Argumentação e ceticismo como solução ao dogmatismo filosófico. In: II Encontro Nacional de Filosofia da UFOP, 2009, Ouro Preto. Caderno de Resumos, 2009.

• GRACHER, K. . Quasi-Truth and Possible Worlds. SOUTH AMERICAN JOURNAL OF LOGIC , 2023.

• GRACHER, K. . Que Mário? Uma Introdução à Filosofia da Linguagem. 2024. (Apresentação de Trabalho/Conferência ou palestra).

• GRACHER, K. . Uma análise da falibilidade. 2024. (Apresentação de Trabalho/Seminário).

• GRACHER, K. . How not to formally define a negation?. 2023. (Apresentação de Trabalho/Conferência ou palestra).

• GRACHER, K. . New Light on the Tetrahedron of Opposition and its Nameless Corner. 2022. (Apresentação de Trabalho/Comunicação).

• GRACHER, K. . What is a paraconsistent negation?. 2022. (Apresentação de Trabalho/Conferência ou palestra).

• GRACHER, K. . Revisitando as reduções ao absurdo. 2022. (Apresentação de Trabalho/Comunicação).

• GRACHER, K. . Uma concepção minimal da Redução ao Absurdo. 2021. (Apresentação de Trabalho/Simpósio).

• GRACHER, K. . A Logic With Three Negations. 2021. (Apresentação de Trabalho/Conferência ou palestra).

• GRACHER, K. . Lógicas Clássica e Não-Clássicas e Suas Negações. 2020. (Apresentação de Trabalho/Conferência ou palestra).

• GRACHER, K. . Uma Lógica com Três Negações. 2019. (Apresentação de Trabalho/Simpósio).

• GRACHER, K. . Lógicas Clássicas e Não-Clássicas. 2019. (Apresentação de Trabalho/Conferência ou palestra).

• GRACHER, K. . Justifique Sua Resposta: uma introdução à teoria da argumentação. 2019. (Apresentação de Trabalho/Conferência ou palestra).

• GRACHER, K. . 3 x Não: Um estudo sobre as negações clássica, paraconsistente e paracompleta. 2019. (Apresentação de Trabalho/Simpósio).

• GRACHER, K. . Reductio ad Absurdum e Negações. 2019. (Apresentação de Trabalho/Comunicação).

• ARROYO, R. W. ; GRACHER, K. . Building Quantum Theories. 2019. (Apresentação de Trabalho/Comunicação).

• GRACHER, K. . Quasi-Truth and Possible Worlds. 2017. (Apresentação de Trabalho/Simpósio).

• GRACHER, K. . Modality and Quasi-Truth: A Possible-World Semantics for Quasi-Truth Theory. 2017. (Apresentação de Trabalho/Congresso).

• GRACHER, K. . Quase-Verdade e Mundos Possíveis. 2017. (Apresentação de Trabalho/Conferência ou palestra).

• GRACHER, K. . Quantum Superpositions: a (different) modal logic approach. 2017. (Apresentação de Trabalho/Conferência ou palestra).

• GRACHER, K. . Problemas com a identidade. 2015. (Apresentação de Trabalho/Comunicação).

• GRACHER, K. . Os clássicos que me perdoem, mas (talvez) a identidade não seja tão fundamental.... 2015. (Apresentação de Trabalho/Comunicação).

• GRACHER, K. . Troubles With The Concept of Identity. 2015. (Apresentação de Trabalho/Simpósio).

• GRACHER, K. . Teria o Metro-Padrão um Metro?. 2014. (Apresentação de Trabalho/Conferência ou palestra).

• GRACHER, K. . São as propriedades essenciais triviais e não-triviais explicitamente definíveis?. 2012. (Apresentação de Trabalho/Congresso).

• GRACHER, K. . Será a crença na própria falibilidade uma crença infalível?. 2012. (Apresentação de Trabalho/Comunicação).

• GRACHER, K. . O Problema do Valor do Conhecimento. 2012. (Apresentação de Trabalho/Outra).

• GRACHER, K. . Desconstruindo a ideia de uma eugenia liberal. 2010. (Apresentação de Trabalho/Comunicação).

• GRACHER, K. . Kant e a Fundamentação da Paz Perpétua. 2010. (Apresentação de Trabalho/Outra).

• GRACHER, K. . O ceticismo antigo como resposta ao dogmatismo filosófico. 2009. (Apresentação de Trabalho/Comunicação).

• VIVELIN, K. ; GRACHER, K. . Argumentos a favor do compatibilismo. Pelotas: NEFPFIL Online, 2021 (Revisão Científica).

• MCKENNA, M. ; COATES, D. J. ; GRACHER, K. . Compatibilismo. Pelotas: NEFPFIL Online, 2021 (Revisão Científica).

• MENZIES, P. ; BEEBEE, H. ; GRACHER, K. . Teorias Contrafactuais da Causação. Pelotas: NEFPFIL Online, 2021 (Revisão Científica).

• TALBERT, M. ; GRACHER, K. . Responsabilidade Moral. Pelotas: NEFPFIL Online, 2021 (Revisão Científica).

• CARROLL, J. W. ; CRUZ, A. S. G. S. ; EUGENIO, G. A. ; GRACHER, K. . As Leis da Natureza. Pelotas: NEFPFIL Online, 2021. (Tradução/Artigo).

Outras produções

Projetos de pesquisa

• 2022 - Atual

  Estudos Sobre Lógicas Modais Não-Clássicas, Descrição: Este projeto visa desenvolver um conjunto de lógicas modais erigidas sobre um sistema que seja capaz de lidar com três tipos de negações distintas, sendo elas: a negação clássica, negação paraconsistente e a negação paracompleta. Em Gracher (2020), quatro sistemas proposicionais (e suas versões em primeira-ordem) foram oferecidos, chamados de ?KG?, nos quais as três negações supracitadas são introduzidas de modo independente. Nesses sistemas, diferentemente de outros da literatura, podemos investigar os três tipos de negações, compreendendo suas relações e seus comportamentos em um único sistema. Podemos, no entanto, perguntar: como tais negações se comportam e se relacionam em contextos modais? Os resultados a serem obtidos por esta pesquisa visam desenvolver as extensões modais dos Sistemas KG, oferecendo assim um conjunto de lógicas simples e capazes de lidar, simultaneamente, com paraconsistência e paracompletude em contextos modais sem que, com isso, haja a perda de resultados obtidos na lógica clássica ou trivialização do sistema.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Kherian Galvão Cesar Gracher - Coordenador / Jean Yves Beziau - Integrante., Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Bolsa.

• 2016 - 2020

  Três Vezes Não:um estudo sobre as negações clássica, paraconsistente e paracompleta, Descrição: Poderia haver um único sistema de lógica que permita trabalharmos simultaneamente com as negações clássica, paraconsistente e paracompleta? Essas três negações foram separadamente estudadas em lógicas cujas negações levam seus nomes. Inicialmente iremos restringir nossa análise às lógicas proposicionais, analisando a negação clássica, ¬c, tal como tratada pela Lógica Proposicional Clássica (LPC); a negação paraconsistente, ¬p, como tratada através da hierarquia de Cálculos Proposicionais Paraconsistentes Cn; e a negação paracompleta, ¬q, como tratada pela hierarquia de Cálculos Proposicionais Paracompletos Pn. Ainda que possamos chamar os três conectivos de ``negações'', suas propriedades são distintas de acordo com cada sistema (que, por sua vez, também preservam características metateóricas distintas). Em ``Logics that are both paraconsistent and paracomplete'' (1989), Newton da Costa propôs um sistema com características aproximadas ao que buscamos. Na hierarquia de Cálculos Proposicionais Não-Aléticos Nn, apenas uma negação é introduzida (como primitiva), chamada de ``não-alética'' (¬n), cujo funcionamento pode preservar as propriedades da negação clássica, ou paraconsistente ou paracompleta -- dependendo do bom ou mau comportamento da fórmula a ela conectada. No entanto, como veremos, na hierarquia Nn não podemos reiterar negações com comportamentos diferentes a uma mesma fórmula (e.g., ¬p ¬c A ou ¬q ¬c ¬p A), ou mesmo analisar uma fórmula como ¬c A --> ¬p A. Em vista desses problemas, podemos realmente dizer que a hierarquia Nn nos permite compreender as relações e interações dos três tipos de negações? Para tratarmos disso, posto o problema inicial, apresentaremos quatro sistemas axiomáticos (KG) nos quais, diferente de Nn, as três negações são diretamente introduzidas -- oferecendo também uma semântica e um método de provas por tableaux analíticos. Através dos Sistemas KG mostraremos como as negações interagem, obtendo teoremas não demonstráveis em LPC, Cn, Pn e Nn. Por fim, ofereceremos também uma extensão em primeira ordem para os Sistemas KG.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Kherian Galvão Cesar Gracher - Integrante / Décio Krause - Coordenador / Newton Carneiro Affonso da Costa - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa.

• 2014 - 2016

  É a Identidade Fundamental?, Descrição: Tradicionalmente a identidade é adotada como uma noção fundamental de nosso arcabouço conceitual e como um componente metafísico fundamental das entidades. Mas logo ao fazermos essa afirmação nos deparamos com dois problemas: O que é a identidade? E por que ela seria fundamental? Estas perguntas irão nos guiar à discussão conduzida por Otávio Bueno (2014), Décio Krause e Jonas Arenhart (2015). Bueno defende que há quatro aspectos que fazem a identidade ser fundamental: (1) A identidade é pressuposta em todo sistema conceitual; (2) é requerida para uma caracterização mínima de indivíduo; (3) não pode ser definida; e (4) a identidade é requerida para a quantificação. Por outro lado, Krause e Arenhart recusam a tese de que a identidade seja fundamental, respondendo aos argumentos de Bueno. Neste trabalho iremos tratar desse debate. Na introdução iremos tratar do primeiro problema ? O que é a identidade? ?, mostrando como este conceito é tradicionalmente compreendido, tanto suas características metafísicas como também seu tratamento formal. Posteriormente iremos tratar de cada um dos quatro aspectos defendidos por Bueno e atacados por Krause e Arenhart. Além da exposição crítica de cada posição iremos também oferecer outros argumentos para o debate atual. Ao final iremos esboçar uma posição alternativa às defendidas ao longo do texto.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (1) . , Integrantes: Kherian Galvão Cesar Gracher - Integrante / Décio Krause - Coordenador., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa.

• 2014 - Atual

  Lógica e Fundamentos da Ciência, Descrição: Os trabalhos de investigação sobre variados aspectos envolvendo os fundamentos da ciência, com especial ênfase à física, realizados pelos membros do grupo têm sido mencionados na literatura e reconhecidos por grupos atuantes de várias instituições do país e do exterior. Todos os membros têm trabalhos publicados nas principais revistas da área e em outras publicações (como livros, capítulos de livros e atas de congressos), e têm participado ativamente de eventos e demais atividades de pesquisa em vários locais no Brasil e do exterior.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (1) / Doutorado: (14) . , Integrantes: Kherian Galvão Cesar Gracher - Integrante / Décio Krause - Coordenador / Newton Carneiro Affonso da Costa - Integrante / Félix Flores Pinheiro - Integrante / Lauro de Matos Nunes Filho - Integrante / Raoni W. Arroyo - Integrante / Jonas R. Becker Arenhart - Integrante.

• 2011 - 2012

  A Definição de Conhecimento, Descrição: Tradicionalmente o conhecimento é definido contendo três condições necessárias e conjuntamente suficientes, nomeadamente, crença verdadeira e justificada (dá-se o nome a esta definição como "tripartida"). Em 1963 o filósofo americano Edmund Gettier publicou um artigo intitulado "Is Justified True Belief Knowledge?", no qual apresenta contraexemplo a definição tripartida e demonstra que suas condições não são conjuntamente suficientes para o conhecimento. Esta pesquisa visa analisar a definição tripartida e os contraexemplos de Gettier, as tentativas contemporâneas de definição do conhecimento e um problema secundário, conhecido como o problema do valor do conhecimento.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Kherian Galvão Cesar Gracher - Integrante / Sérgio Ricardo Neves de Miranda - Coordenador., Financiador(es): Universidade Federal de Ouro Preto - Bolsa.

• 2010 - 2011

  Pensando uma ordem cosmopolita: uma analise da obra Para a Paz Perpétua, de Immanuel Kant., Descrição: Análise da obra "Para a Paz Perpétua" do filósofo alemão Immanuel Kant, com o intuito de responder questões de cunho mais básico e expositivo da obra kantiana - como a explicação conceitual acerca do que é a "paz perpétua" para Kant - como análises mais profundadas, como se o tratado proposto na obra é passível de ser efetivada em um estado e se é capaz de levar a paz.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Kherian Galvão Cesar Gracher - Integrante / Douglas Garcia Alves Júnior - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Bolsa.