Skip to main content
Gisele D Secco
  • http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4778385P2
  • I am a philosophy professor from Brazil. My area of specialization is the philosophy of formal sciences—I wrote an ... moreedit
  • Frank Thomas Sautter, Luiz Carlos Dias Pinheiro Pereiraedit
ABSTRACT Ayda Ignez Arruda (1936–1983) was a key figure in the development of the Brazilian school of Paraconsistent logic and the first person to write a historical survey of the field. Despite her importance, the only paper entirely... more
ABSTRACT Ayda Ignez Arruda (1936–1983) was a key figure in the development of the Brazilian school of Paraconsistent logic and the first person to write a historical survey of the field. Despite her importance, the only paper entirely devoted to her works is Da Costa and De Alcântara's “The Scientific Work of Ayda I. Arruda”. In this paper, after offering motivation for an investigation of Arruda's work, on the basis of biographical and bibliographical research we present her intellectual development and the originality of her contributions in a new light. With this newly articulated survey of Arruda's thought, we hope to lay the groundwork for future research on her legacy and thus contribute to a new, more inclusive narrative of the history of the analytic tradition in Latin America.
1
We offer a critical analysis of the current role that formal logic has in the philosophy textbooks for Brazilian public schools. The goal is to diagnose how logic is being understood and taught,
No mês de Novembro de 2017, em ocasião do Dia Mundial da Filosofia da UNESCO, a Cátedra UNESCO Archai, do Programa de Pós-Graduação em Metafísica da Universidade de Brasilia, organizou um hangout Unesco sobre o tema Filosofia, gênero e... more
No mês de Novembro de 2017, em ocasião do Dia Mundial da Filosofia da UNESCO, a Cátedra UNESCO Archai, do Programa de Pós-Graduação em Metafísica da Universidade de Brasilia, organizou um hangout Unesco sobre o tema Filosofia, gênero e feminismo, do qual participaram diversxs colegas brasileirxs, especialistas do tema, acima assinadxs. A gravação integral do hangout está disponível aqui: https://youtu.be/LH5LwTegGG4. Segue abaixo uma transcrição, revista e adaptada pelxs autorxs.
The use of computers in mathematical practices is a theme for philosophical, historical and sociological reflections. Samples of the myriad of questions that arise when mathematics definitively incorporates computers in its domain can be... more
The use of computers in mathematical practices is a theme for philosophical, historical and sociological reflections. Samples of the myriad of questions that arise when mathematics definitively incorporates computers in its domain can be drawn from the analysis of the peculiar case of the proof of the Four Colour Theorem. Invariably the usual accounts of the philosophical relevance of this celebrated mathematical result are rooted in the questions raised from Thomas Tymoczko's introduction to experimentation in mathematics. The purpose of this paper is to present an alternative detailed narrative, a kind of microhistory exercise, as a background for the mapping of some philosophically relevant questions that can still be instigated by the case of the Four Colour Theorem. We intend to maintain that the relevance of this case is not reduced to that of serving as an illustration of a historical or sociological curiosity in mathematics or computer science, but may still be a source ...
Partindo de e encerrando com reflexões acerca de práticas de ensino de filosofia da matemática, proponho uma comparação entre os principais traços da noção leibniziana de conhecimento simbólico e algumas passagens tractaria-nas sobre a... more
Partindo de e encerrando com reflexões acerca de práticas de ensino de filosofia da matemática, proponho uma comparação entre os principais traços da noção leibniziana de conhecimento simbólico e algumas passagens tractaria-nas sobre a aritmética. Defendo que esta chave de leitura permite a um só tempo (i) projetar nova luz sobre as especificidades da definição tractariana de número em comparação com as de Frege e Russell; (ii) fazer despontar a compreensão da natureza do conhecimento matemático como conhecimento simbólico ou formal que Wittgenstein mobiliza em seu livro; (iii) elencar al-gumas razões para a alegação de que Wittgenstein pode ser considerado o filósofo da prática matemática avant la lettre. O trabalho se encerra com um apanhado, um retorno à reflexão inicial sobre os vínculos entre pesquisa e ensino, e uma defesa da chave de leitura aqui utilizada em termos de seu potencial para o desenvolvimento de estudos em filosofia da matemática.
O texto fornece distincoes conceituais engendradas desde uma perspectiva para o ensino de filosofia que contempla, em seu horizonte, o projeto a construcao de uma didatica minima da logica para o ensino medio. Apos a apresentacao de... more
O texto fornece distincoes conceituais engendradas desde uma perspectiva para o ensino de filosofia que contempla, em seu horizonte, o projeto a construcao de uma didatica minima da logica para o ensino medio. Apos a apresentacao de alguns aspectos positivos da referida perspectiva sao indicadas duas maneiras usuais de compreender e praticar o ensino de logica. O objetivo central do texto e mostrar como, desde a perspectiva inicialmente esbocada, os esclarecimentos conceituais propostos podem sugerir caminhos interdisciplinares para a didatica da logica sem perda da especificidade da disciplina.
Partindo de e encerrando com reflexões acerca de práticas de ensino de filosofia da matemática, proponho uma comparação entre os principais traços da noção leibniziana de conhecimento simbólico e algumas passagens tractarianas sobre a... more
Partindo de e encerrando com reflexões acerca de práticas de ensino de filosofia da matemática, proponho uma comparação entre os principais traços da noção leibniziana de conhecimento simbólico e algumas passagens tractarianas sobre a aritmética. Defendo que esta chave de leitura permite a um só tempo (i) projetar nova luz sobre as especificidades da definição tractariana de número em comparação com as de Frege e Russell; (ii) fazer despontar a compreensão da natureza do conhecimento matemático como conhecimento simbólico ou formal que Wittgenstein mobiliza em seu livro; (iii) elencar algumas razões para a alegação de que Wittgenstein pode ser considerado o filósofo da prática matemática avant la lettre. O trabalho se encerra com um apanhado, um retorno à reflexão inicial sobre os vínculos entre pesquisa e ensino, e uma defesa da chave de leitura aqui utilizada em termos de seu potencial para o desenvolvimento de estudos em filosofia da matemática.
O verbete que ora apresentamos em tradução para a língua portuguesa foi originalmente publicado por Marianne Janack na Internet Encyclopedia of Philosophy. Seu principal objetivo é apresentar um mapeamento da subárea de pesquisa... more
O verbete que ora apresentamos em tradução para a língua portuguesa foi originalmente publicado por Marianne Janack na Internet Encyclopedia of Philosophy. Seu principal objetivo é apresentar um mapeamento da subárea de pesquisa denominada “epistemologia feminista” detalhando algumas de suas principais abordagens. A autora mostra que existem diversas epistemologias feministas cujo traço em comum é o uso da noção de gênero como categoria fulcral de análise das modalidades de conhecimento, suas interações, hierarquizações e relações com a esfera propriamente normativa ou valorativa da vida humana.
RESUMO No mês de Novembro de 2017, em ocasião do Dia Mundial da Filosofia da UNESCO, a Cátedra UNESCO Archai, do Programa de Pós-Graduação em Metafísica da Universidade de Brasilia, organizou um hangout Unesco sobre o tema filosofia,... more
RESUMO No mês de Novembro de 2017, em ocasião do Dia Mundial da Filosofia da UNESCO, a Cátedra UNESCO Archai, do Programa de Pós-Graduação em Metafísica da Universidade de Brasilia, organizou um hangout Unesco sobre o tema filosofia, gênero e feminismo, do qual participaram diversxs colegas brasileirxs, especialistas do tema, acima assinadxs. A gravação integral do hangout está disponível aqui: https://youtu.be/LH5LwTegGG4. Segue abaixo uma transcrição, revista e adaptada pelxs autorxs. Palavras-chave: ABSTRACT In November 2017, on the occasion of the UNESCO World Philosophy Day, the UNESCO Archai Chair of the Postgraduate Program in Metaphysics of the University of Brasilia organized a Unesco hangout around the theme of Philosophy, Gender and Feminism. Several Brazilian teachers, specialists in these subjects, have signed up. The full Hangout Recording is available at https://youtu.be/LH5LwTegGG4. Below is a transcript, revised and adapted by the authors. Palavras-chave: Philosophy, Gender, Feminism, Unesco. Gabriele Cornelli: Olá a todos e a todas! Olá, gente da filosofia! A Cátedra UNESCO Archai, em colaboração com alguns amigos e algumas amigas aqui do Brasil, decidiu conversar-fazer um Hangout UNESCO em comemoração ao Dia Mundial da Filosofia, junto com colegas e amigxs espalhados aqui pelo País-e decidimos tratar de um tema necessário-um tema, infelizmente, de certa maneira ainda dramático: o tema do gênero e do feminismo. É claro que queremos falar disso a partir da nossa experiência, nossa vivência e dos estudos de http://dx.
We offer a reading of some passages from Wittgenstein’s Tractatus Logico-Philosophicus in which, dealing with the symbolic constructions of arithmetic, Wittgenstein puts in motion (more than explicitly assumes) the most outstanding... more
We offer a reading of some passages from Wittgenstein’s Tractatus Logico-Philosophicus in which, dealing with the symbolic constructions of arithmetic, Wittgenstein puts in motion (more than explicitly assumes) the most outstanding features of Leibniz’s concept of Symbolic Knowledge: the computational and the “ecthetic” functions of the notion of Symbolic Blind Thought. We begin with a brief presentation of some conceptual distinctions proposed by Oscar Miguel Esquisabel in his investigation about the Leibnizian origin of the tradition of Symbolic Knowledge. We then contrast these topics with the way Pasquale Frascolla interprets those same Tractarian passages, emphasizing the way in which he suspends any relevant sense in which we could speak about formal knowledge in Wittgenstein’s opera. To make our criticism better suited, our projection of Leibnizian lights into the Tractatus and into Frascolla’s interpretation of it is assisted with a concise exposition of one historical development in the Leibnizian tradition. Grounded in a study in which Javier Legris retraces the features of Symbolic Blind Though in Frege’s works, we then conclude proposing the advantages of our approach.
Resumo: Esta nota apresenta um análise de Symbolic Knowledge from Leibniz to Husserl, coletânea com tra-balhos de integrantes do Grupo Conesul de Filosofia das Ciências Formais. A obra traça um panorama dos trata-mentos filosóficos... more
Resumo: Esta nota apresenta um análise de Symbolic Knowledge from Leibniz to Husserl, coletânea com tra-balhos de integrantes do Grupo Conesul de Filosofia das Ciências Formais. A obra traça um panorama dos trata-mentos filosóficos apresentados por Leibniz, Kant, Frege e os booleanos, bem como por Husserl, de algumas questões relacionadas às singularidades conceituais do conhecimento simbólico –conhecimento cujo padrão se encontra nas artes da aritmética e da álgebra. A unidade temática e (ao menos parcialmente) estilística do livro é analisada visando mostrar suas articulações.
Abstract: This note presents an analysis of Symbolic Knowledge from Leibniz to Husserl, a collection of works from some members of The Southern Cone Group for the Philosophy of Formal Sciences. The volume delineates an outlook of the philosophical treatments presented by...
The Four-Colour Theorem (4CT) proof, presented to the mathematical community in a pair of papers by Appel and Haken in the late 1970s​ provoked a series of philosophical debates. Many conceptual points of these disputes still require some... more
The Four-Colour Theorem (4CT) proof, presented to the mathematical
community in a pair of papers by Appel and Haken in the late 1970s​ provoked a series of philosophical debates. Many conceptual points of these disputes still require some elucidation. After a brief presentation of the main ideas of Appel and Haken’s procedure for the proof and a reconstruction of Thomas Tymoczko’s argument for the novelty of 4CT’s proof, we shall formulate some questions regarding the connections between the points raised by Tymoczko and some Wittgensteinian topics in the philosophy of mathematics such as the importance of the surveyability as a criterion for distinguishing mathematical proofs from empirical experiments. Our aim is to show that the “characteristic Wittgensteinian invention” (Mühlhölzer, 2006) – the strong distinction between proofs and experiments – can shed some light on the conceptual confusions surrounding the Four-Colour Theorem.
We offer a reading of some passages from Wittgenstein’s Tractatus Logico-Philosophicus in which, dealing with the symbolic constructions of arithmetic, Wittgenstein puts in motion (more than explicitly assumes) the most outstanding... more
We offer a reading of some passages from Wittgenstein’s Tractatus Logico-Philosophicus in which, dealing with the symbolic constructions of arithmetic, Wittgenstein puts in motion (more than explicitly assumes) the most outstanding features of Leibniz’s concept of Symbolic Knowledge: the computational and the “ecthetic” functions of the notion of Symbolic Blind Though. We begin with a brief presentation of some conceptual distinctions proposed by Oscar Miguel Esquisabel in his investigation about the Leibnizian origin of the tradition of Symbolic Knowledge. We then contrast these topics with the way Pasquale Frascolla interprets those same Tractarian passages, emphasizing the way in which he suspends any relevant sense in which we could speak about formal knowledge in Wittgenstein’s opera. To make our criticism better suited, our projection of Leibnizian lights into the Tractatus and into Frascolla’s interpre- tation of it is assisted with a concise exposition of one historical development in the Leibnizian tradition. Grounded in a study in which Javier Legris retraces the features of Symbolic Blind Though in Frege’s works, we then conclude proposing the advan- tages of our approach.
Abstract: The use of computers in mathematical practices is a theme for philosophical, historical and sociological reflections. Samples of the myriad of questions that arise when mathematics definitively incorporates computers in its... more
Abstract: The use of computers in mathematical practices is a theme for philosophical, historical and sociological reflections. Samples of the myriad of questions that arise when mathematics definitively incorporates computers in its domain can be drawn from the analysis of the peculiar case of the proof of the Four Colour Theorem. Invariably the usual accounts of the philosophical relevance of this celebrated mathematical result are rooted in the questions raised from Thomas Tymoczko’s introduction to experimentation in mathematics. The purpose of this paper is to present an alternative detailed narrative, a kind of microhistory exercise, as a background for the mapping of some philosophically relevant questions that can still be instigated by the case of the Four Colour Theorem. We intend to maintain that the relevance of this case is not reduced to that of serving as an illustration of a historical or sociological curiosity in mathematics or computer science, but may still be a source of interesting conceptual problems for the philosophy of mathematical practice, in the interface with the philosophy of computer science.

Keywords: computer-assisted proofs; The Four-Colour Theorem; Philosophy of Mathematical Practice; Georg Kreisel; Hao Wang.

Resumo O uso de computadores em práticas matemáticas é tema para reflexões de teor filosófico, histórico e sociológico. Amostras da miríade de questões que surgem quando a matemática incorpora definitivamente os computadores em seu domínio podem ser extraídas da análise do peculiar caso da prova do Teorema das Quatro Cores. Invariavelmente as narrativas habituais acerca da instauração da relevância filosófica deste célebre resultado matemático pautam-se pelas questões levantadas a partir do argumento da introdução da experimentação na matemática, de Thomas Tymoczko. O objetivo deste texto é apresentar uma narrativa alternativamente circunstanciada, uma espécie de exercício de microhistória, como pano de fundo para o mapeamento de algumas questões filosoficamente relevantes que ainda podem ser instigadas pelo caso do Teorema das Quatro Cores. Pretende-se sustentar que a relevância deste caso não se reduz à de servir como ilustração de uma curiosidade histórica ou sociológica da matemática ou da ciência da computação, mas pode ainda ser fonte de problemas conceituais interessantes para a filosofia da prática matemática, na interface com a filosofia da ciência da computação.

Palavras-chaves: provas computacionalmente assistidas; Teorema das Quatro Cores; Filosofia da Prática Matemática; Georg Kreisel; Hao Wang.
Partiendo del rol de la disciplina de Filosofía en el currículo escolar brasilero, enmarcada en una perspectiva según la cual una buena clase de la materia debe articular tanto la dimensión temática, instrumental e histórica (textual) de... more
Partiendo del rol de la disciplina de Filosofía en el currículo escolar brasilero, enmarcada en una perspectiva según la cual una buena clase de la materia debe articular tanto la dimensión temática, instrumental e histórica (textual) de la misma, este trabajo desarrolla una propuesta metodológica en la cual la enseñanza de la Lógica se introduce enfatizando la articulación entre la dimensión o eje instrumental y la dimensión histórica. Investigaremos algunas posibilidades de la enseñanza de conceptos como contradicción y consistencia, y de las habilidades analizar argumentos en formato dialógico, teniendo como referencia las reglas de los juegos dialécticos, tal y como han sido formalizadas en el trabajo de Castelnérac & Marion (2009). Si bien este abordaje no tiene finalidades específicamente didácticas, presenta los juegos dialécticos practicados en la Academia de Platón, reconstruidos siguiendo el estilo de la lógica dialógica de Lorenzen e Lorenz, de manera prolífica e inspiradora. La articulación que defenderemos se da en la medida en que las reglas para los juegos dialécticos son enseñadas a partir de la lectura y dramatización de algunos diálogos platónicos, especialmente aquellos en los cuales el personaje de Sócrates se ejercita con sus interlocutores en el arte del elenchos. Concluyendo, reflexionaremos brevemente acerca de esta propuesta, considerado sus virtudes y potenciales dificultades, tanto en términos disciplinarios como interdisciplinarios. Palabras clave: introducción a la Lógica; diálogos platónicos; estrategias didácticas; juegos dialécticos.

Abstract: Departing from the role of Philosophy as a discipline in Brazilian curricula understood from a perspective from which a good Philosophy class articulates three dimensions or axes of the philosophical practice –thematic, instrumental and historical (textual)– the aim of this work is to develop a methodological proposal in which the teaching of Logic is introduced through an emphasis in the articulation between the instrumental and the historical dimension. We investigate some possibilities for the teaching of concepts such as contradiction and consistency, and also the capacity to analyze arguments presented in dialogical form, having as main reference the rules for the dialectical games as formalized by Castelnérac & Marion (2009). Although their approach has no specific didactic concern it presents the dialectical games practiced in the Academy trough in the style of the dialogical logic of Lorenzen and Lorenz in a prolific and inspirational way. The articulation we defend here occurs as long as the rules for the dialectical games are taught within the work on platonic dialogues (reading and dramatizing), specially those dialogues in which the personage of Socrates applies in his interlocutions the method of elenchus. We conclude with a brief reflection on the proposal, considering its virtues and potential difficulties, be in disciplinary as in interdisciplinary terms.
Research Interests:
We offer a critical analysis of the current role that formal logic has in the philosophy textbooks for Brazilian public schools. The goal is to diagnose how logic is being understood and taught, 79 and provide alternatives that will help... more
We offer a critical analysis of the current role that formal logic has in the philosophy textbooks for Brazilian public schools. The goal is to diagnose how logic is being understood and taught, 79 and provide alternatives that will help improve the teaching and learning of logic for the sake of improving the student's learning experience of philosophy and of other disciplines. We will argue that if formal logic methods are adopted, they can supplement and enrich the use of the textbooks while helping to integrate philosophy within the curriculum. Brazil has a national program of selection and distribution of philosophy textbooks in public schools, called the Plano Nacional do Livro Didático (PNLD). One consequence of this program is a homogeneity of national range with respect to the way in which students are exposed to logic. The main problem we will discuss is that philosophy is described on those textbooks as a content-based discipline mostly reducible to history of philosophy and logic is presented as a sub-theme with no relation to the practice and study of philosophy as such. This structure not only creates a problem for philosophy teachers who have create additional material but it also makes it harder for one to see the role of philosophy in the school curriculum. Taking those textbooks as study-cases for the aforementioned problem, we will evaluate one role logic can play in the philosophical practice so as to better integrate it into the teaching strategies. Finally, we will argue that because formal methods can be applied to any content/context, they are a fundamental instrument of philosophy and at the same time they have an interdisciplinary advantage. We will give two examples of how formal logic can help to connect philosophy with the global high-school curriculum by exploring how logic can be applied to the teaching of Mathematics. The study on the way in which formal logic is presented in Brazilian schools is an important step for the improvement of Brazilian educational practices but it has not been done until now. We hope that our analysis will contribute to the studies of the pedagogical practices and to the development of the method for teaching logic, especially in Brazil.
The text provides some conceptual distinctions generated from a perspective on teaching philosophy according to which a project of a "didactica minima" for logic in high schools is proposed. After a brief presentation of some positive... more
The text provides some conceptual distinctions generated from a perspective on teaching philosophy according to which a project of a "didactica minima" for logic in high schools is proposed. After a brief presentation of some positive aspects of the perspective from which the distinctions are proposed, two common ways of teaching logic are considered. The aim of the paper is to show how the perspective proposed can clarify some topics on the issue of teaching logic in an interdisciplinary way, without losing the specifics of the discipline.

Keywords: Didactics of philosophy; Didactica minima for logic; High school.

***
O texto fornece distinções conceituais engendradas desde uma perspectiva para o ensino de filosofia que contempla, em seu horizonte, o projeto a construção de uma didática mínima da lógica para o ensino médio. Após a apresentação de alguns aspectos positivos da referida perspectiva são indicadas duas maneiras usuais de compreender e praticar o ensino de lógica. O objetivo central do texto é mostrar como, desde a perspectiva inicialmente esboçada, os esclarecimentos conceituais propostos podem sugerir caminhos interdisciplinares para a didática da lógica sem perda da especificidade da disciplina.
Palavras-chave: Didática mínima da lógica; Didática da filosofia; Ensino médio.
I present an overview of the philosophical controversies surrounding the Four-Color Theorem proof based on Dag Prawitz presentation of the disputes. My aim is to delineate a critic of Prawitz reading by pointing out some elements capable... more
I present an overview of the philosophical controversies surrounding the Four-Color Theorem proof based on Dag Prawitz presentation of the disputes. My aim is to delineate a critic of Prawitz reading by pointing out some elements capable of complementing his presentation.
Research Interests:
Trabalho apresentado no VII Simpósio Sul-Brasileiro Sobre o Ensino de Filosofia: Filosofia e Sociedade, 2007, Porto Alegre.
Chateaubriand abre o capítulo 19 (“Proof and Logical Deduction”) de Logical Forms constatando o fato de que pouco se tem refletido, na literatura sobre filosofia da lógica, acerca da noção de prova. Tomando como ponto de partida a... more
Chateaubriand abre o capítulo 19 (“Proof and Logical Deduction”) de Logical Forms constatando o fato de que pouco se tem refletido, na literatura sobre filosofia da lógica, acerca da noção de prova. Tomando como ponto de partida a apresentação da noção de prova de Enderton em seu A Mathematical Introduction to Logic, propõe-se a discutir cada um dos pontos ali enume- rados como constitutivos do conceito de prova – tarefa que acaba sendo levada a cabo ao longo dos, pelo menos, próximos dois capítulos do livro. Enderton pergunta-se acerca de quais métodos de prova podem ser exigidos para demonstrar o fato de que uma sentença S seja conseqüência lógica de um conjunto A de sentenças, para em seguida afirmar que uma prova “é um argumento que você dá a alguém e que o convence completamente da correção da sua asserção (que S é conseqüência lógica de A)” (2005, p. 281). Isso, por sua vez, leva Enderton a afirmar a necessidade de que as provas a) tenham um comprimento finito e, o que importa especialmente para a finalidade da pre- sente discussão, b) que deve ser possível inspecionar efetivamente o procedimento de prova. Esse tra- balho consiste na apresentação das críticas de Chateaubriand a essas afirmações, notadamente no que diz respeito à inspecionabilidade algorítmica de provas. Além disso, aponta-se para questões pertinentes ao estudo da noção de prova matemática, questões formuladas quando da discussão realizada a partir das críticas de Chateaubriand, tal como se pode conferir o número especial da revista Manuscrito, acerca do segundo volume de Logical Forms.
O trabalho apresenta algumas considerações acerca da importância do assim chamado argumento do conhecimento do criador (ACC) para a formação da versão moderna do ceticismo. O objetivo é apontar para a relevância de versões dessa... more
O trabalho apresenta algumas considerações acerca da importância do assim chamado argumento do conhecimento do criador (ACC) para a formação da versão moderna do ceticismo. O objetivo é apontar para a relevância de versões dessa formulação nas discussões acerca das pretensões do discurso científico ainda no início do século XX.
A pergunta pela possibilidade de criação e aprimoramento de estratégias didáticas para o ensino de filosofia possui uma tradição tão antiga quanto conflituosa. Ciente do aspecto prolífico e da robusta abrangência de tais... more
A pergunta pela possibilidade de criação e aprimoramento de estratégias didáticas para o ensino de filosofia possui uma tradição tão antiga quanto conflituosa. Ciente do aspecto prolífico e da robusta abrangência de tais questionamentos e debates, pretendo delinear aqui uma tentativa de contribuição para a construção de uma didática mínima da filosofia. Minha colaboração para tanto restringe-se ao que poderia denominar, análoga e provisoriamente, de didática mínima da lógica e está sendo pensada em relação direta com algumas notas anteriores sobre minha experiência docente com o ensino de lógica.
A KANTIAN LECTURE OF THE STANDARD DEONTIC LOGIC AUTHOR: GISELE DALVA SECCO ADVISOR: PROF. DR. FRANK THOMAS SAUTTER Date and Place of Defense: Santa Maria, March 03, 2006. The current dissertation is the result of an... more
A KANTIAN LECTURE OF THE STANDARD DEONTIC LOGIC

AUTHOR: GISELE DALVA SECCO

ADVISOR: PROF. DR. FRANK THOMAS SAUTTER

Date and Place of Defense: Santa Maria, March 03, 2006.

The current dissertation is the result of an investigation about the semantics of deontic logic. Restricted to the propositional version, the work focused on some lectures given by  J. Hintikka, in which he proposes a semantics for stantard deontic logic, including a re-interpretation of an important notion in Kant's practical philosophy: the notion of a Kingdom of Ends. Kant also figures in Hintikka's proposal  with respect to one of the results of his approach, the distinction between logical and deontic consequence, from which the so called “Kant's Principle” is an example. The exposition of this proposal begins by situating it in a broader discussion about the convenience of formalization has a tool of philosophical analysis. Therefore, Hintikka's proposal figures as an example of formalization whith relevant philosophical features. The general exposition of the Kantian formulations of the Categorical Imperative, especially the formulation of the Kingdom of Ends (the subject matter of the first chapter), aims to stress the most relevant features in Kantian practical philosophy for the analysis presented in the third chapter.

Key Words: Deontic Logic, Philosophical Semantics, Philosophical Analysis, Kingdom of Ends, Kant, Hintikka.
Transcrição da conferência proferida no I Encontro de Filosofia e Ensino do Rio Grande do Sul.
Representatividade, a partir de seu sentido primeiro, denota o fazer presente do que está ausente. Para vislumbrar esse conceito na metáfora veiculada no título – a saber, conferir voz e se fazer ouvir – convém associá-la ao rompimento de... more
Representatividade, a partir de seu sentido primeiro, denota o fazer presente do que está ausente. Para vislumbrar esse conceito na metáfora veiculada no título – a saber, conferir voz e se fazer ouvir – convém associá-la ao rompimento de certa ordem histórica, de certa ordem institucional.
Este livro apresenta-se como o resultado da contribuição de professores e pesquisadores de diversos campos da filosofia e de diferentes universidades brasileiras durante a ocasião do I Encontro “Vozes femininas na Filosofia”, ocorrido em junho de 2017, na UFRGS, em Porto Alegre, RS.
Nossa motivação parte da constatação que a área de filosofia nas universidades brasileiras sofre de uma evidente crise de representatividade: tanto nos cursos de graduação como nos programas de pós-graduação em filosofia, nos quais menos de 30 % são mulheres, entre docentes e discentes. Procura-se, por meio dos textos organizados neste volume, entender a produção e a contribuição de filósofas cujas presenças se mostram diminuídas – senão totalmente esquecidas – na história da filosofia e na atualidade. Pretende-se apreciar a importância de suas atuações em diversos ramos da área, como teoria do conhecimento, metafísica, filosofia política e teoria feminista. Busca-se, ainda, entender as dificuldades que marcam a trajetória acadêmica das mulheres: seus obstáculos institucionais, sociais e mesmo simbólicos.
Reunião de textos derivados do II Workshop de Filosofia e Ensino, realizado na UFRGS em julho de 2015, com o tema "Epistemologia e Currículo".
Research Interests:
Slides da apresentação realizada na Mesa Redonda organizada pelo Departamento de Filosofia da UFSM sobre o livro do professor Ronai Rocha, *Quando ninguém educa*.
Research Interests:
Trata-se de uma análise do livro *Quando ninguém educa* (Rocha, 2017), visando expor uma contextualização, uma estruturação e uma avaliação dos principais eixos e propostas do livro.