- UFSM - Universidade Federal de Santa Maria, Philosophy, Faculty MemberUniversidade Federal do Rio Grande do Sul, Philosophy, Faculty Memberadd
- Philosophy Of Language, Philosophy Of Mathematics, Philosophy of Logic, Didática da filosofia, Didática da Lógica, Philosophy of Science, and 22 moreSemantics, History of Logic, Didactics of Mathematics, Filosofia da matemática, Abstração, History of Philosophy, Paolo Rossi, History, Psychology, Wittgenstein, Teaching Philosophy, History of Analytic Philosophy, Gottfried Wilhelm Leibniz, Ordinary Language Philosophy, Galileo Galilei, Thought Experiments, Epistemology, Knowledge Transfer, Epistemology (Anthropology), Anthropology of Science, Logic And Foundations Of Mathematics, and Early Wittgensteinedit
- I am a philosophy professor from Brazil. My area of specialization is the philosophy of formal sciences—I wrote an ... moreI am a philosophy professor from Brazil.
My area of specialization is the philosophy of formal sciences—I wrote an MA thesis on conceptual, philosophical aspects of the standard system for deontic logic (UFSM 2006) and Ph.D. dissertation on the philosophical controversies surrounding the Four-Color Theorem proof (PUC-Rio 2013, also awarded in 2014 as the best Brazilian thesis in philosophy).
Since the end of my Ph.D. I have been teaching logic, philosophy of mathematics and philosophical methodology in undergraduate and graduate programs.
The varieties of connections between computer science and mathematical practices, such as proving and calculating, were my main research interests until recently.
I am currently developing a research project called *The interplay between diagrams and computers in the proofs of the Four-Color Theorem*, which I started during to my sabbatical year in France, trough a CAPES-Cofecub project at the Université Jean-Moulin Lyon 3. I have no financial support for this research.
I have taught introduction to logic and to philosophy since I was an undergraduate student. In recent years, as a tenured professor, I’ve dedicated myself to preparing High School teachers (especially running a project called PIBID Interdisciplinar UFRGS Campus do Vale—2014-2016), focusing on the development of logic skills as an interdisciplinary means to teach philosophy.
While working at UFRGS (Universidade Federal do Rio Grande do Sul, from 2013 to 2018) I also organized four editions (2014-2017) of a Workshop on Teaching Philosophy; I organized the first conference *Vozes Femininas na Filosofia* (2017), and together with Ana Rieger Schmidt and Inara Zanuzzi, edited a homonym volume (2018).
I am an associate member of the Grupo Conesul de Filosofia das Ciências Formais (GCFCF), a member of the Association for the Philosophy of Mathematical Practice (APMP—I also organized the Fourth APMP Meeting in Salvador/Brazil, in 2017) and one of the founding members of the Rede Brasileira de Mulheres na Filosofia. I am also part of the *New Voices of Women in the HIstory of Philosophy* and the *Extending New Narratives in the History of Philosophy*. During 2018, when back to UFSM, I’ve organized a translation group of texts written by women philosophers and a seminar on rewriting the philosophical canon.
My area of interest lies mostly in the articulation between the philosophy of formal sciences, the rewriting of the philosophical canon and issues regarding logic as an interdisciplinary tool for teaching practices in Brazilian high schools.edit
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.
Research Interests:
Research Interests: Art and Multidisciplinar
Research Interests:
Research Interests:
Research Interests: Humanities and Art
1
Research Interests:
Research Interests:
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,
Research Interests:
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.
Research Interests:
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 ...
Research Interests:
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.
Research Interests:
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.
Research Interests:
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.
Research Interests:
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...
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...
Research Interests:
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.
Research Interests:
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.
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.
Research Interests:
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.
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.
Research Interests:
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.
Research Interests:
Research Interests:
Research Interests:
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.
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.
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.