juca’s homepage

I’m an undergraduate student in Philosophy at UFSC with a bachelor’s degree in Mathematics (UFSC, 2023).

Regarding my research interests, they mainly center around Logic, Philosophy of Science and Physics, with a substantial part of it notably lying at the intersection of Mathematical Physics and Philosophy of Physics.

In general, I’m interested in (how to) address some philosophical problems, and scientific problems featuring foundational aspects, employing both mathematical methods and philosophical methods. This approach is sometimes referred to as Mathematical Philosophy.

Specifically, I’m studying the notions of equivalence, reduction and unification of physical theories under the supervision of Prof. Jonas R. Becker Arenhart in the Research Group in Logic and Foundations of Science. In addition, we’re examining the connection between these notions and the so-called syntax-semantics debate.

research interests

My research interests lie in the following topics:

  • Foundations of Physics: logical/philosophical investigations of physical theories;
  • Philosophy of Science: syntax-semantics debate, equivalence of scientific theories;
  • Operator Algebras: C*-algebras, mathematical foundations of Quantum Mechanics;
  • Dualities: Stone-type dualities and other bridges between Algebra and Geometry.

short cv

My education trajectory until now is:

  • B.A. in Philosophy, UFSC (2024-current)
  • B.Sc. in Mathematics, UFSC (2018-2023)
    • Completed the 756-hour PAM honors track
    • Emphasis in Mathematical Physics and (Mathematical) Logic
    • Final project: “Dualidade de Stone: uma odisseia lógico-matemática” [pdf]
    • Supervisors: Prof. Luiz G. Cordeiro, Prof. Jonas R. Becker Arenhart

And here are some of my current academic/professional activities:

  • Undergraduate Research Project in Operator Algebras, UFSC (2025-current)
    • Title: “Formalização da Mecânica Quântica II: o contexto quântico”
    • Supervisor: Prof. Luiz G. Cordeiro
  • Undergraduate Research Project in Logic and Foundations of Science, UFSC (2024-current)
    • Funded by the PIBIC/CNPq undergraduate research program
    • Title (main): tba
    • Parallel study in Mathematical Physics further exploring Classical Mechanics
    • Title (math project): “Simetrias e Mecânica Clássica: as várias faces de uma teoria científica”
    • Supervisors: Prof. Jonas R. Becker Arenhart, Prof. Eliezer Batista
  • Reading Group in Logic and Foundations of Science, UFSC (2023-current)
    • Supervisor: Prof. Jonas R. Becker Arenhart