Research Group
in Analytic Philosophy
Andrés Díaz Rojas
Contact
adiazroj57@alumnes.ub.edu
Universitat de Barcelona
Departament de Filosofia
C/Montalegre, 6-8, 4th floor
Office: 4013
08001, Barcelona
Universitat de Barcelona
Departament de Filosofia
C/Montalegre, 6-8, 4th floor
Office: 4013
08001, Barcelona
Curriculum Vitae
Mathematical Logic and Foundations, Foundations of Physics
In mathematical logic, I am presently interested in descriptive set theory. I am particularly interested in the interpretation of certain functions and spaces from mathematical physics as subsets of Polish space and their classification in the Borel and projective hierarchies. I want to use this branch of mathematical logic to develop some of the foundational aspects of mathematical physics (namely, general relativity and quantum mechanics) and classify the complexity of some of the mathematical objects featuring in these theories. I wish to explore the extent to which this can be done with only weakened forms of the Axiom of Choice.
Philosophical Logic
In philosophical logic, I am interested in formal theories of truth. I am particularly interested in the regimentation of theories of truth which restrict the application of the Axiom of Choice. I want to explore the relationship between non-AC theories of truth and the pathological mathematical objects which appear in (non-AC) mathematical physics (in this context, a function whose complexity is not measurable by the classical descriptive set-theoretic methods is pathological).
I am presently in the process of developing a thesis topic in which I combine some of these interests in a meaningful way. My project is funded by a PREDOCS-UB grant, and is supervised by José Martínez Fernández.
Aside from research, I like classical music, literature, history, non-analytic philosophy, art, sports, etc.
In mathematical logic, I am presently interested in descriptive set theory. I am particularly interested in the interpretation of certain functions and spaces from mathematical physics as subsets of Polish space and their classification in the Borel and projective hierarchies. I want to use this branch of mathematical logic to develop some of the foundational aspects of mathematical physics (namely, general relativity and quantum mechanics) and classify the complexity of some of the mathematical objects featuring in these theories. I wish to explore the extent to which this can be done with only weakened forms of the Axiom of Choice.
Philosophical Logic
In philosophical logic, I am interested in formal theories of truth. I am particularly interested in the regimentation of theories of truth which restrict the application of the Axiom of Choice. I want to explore the relationship between non-AC theories of truth and the pathological mathematical objects which appear in (non-AC) mathematical physics (in this context, a function whose complexity is not measurable by the classical descriptive set-theoretic methods is pathological).
I am presently in the process of developing a thesis topic in which I combine some of these interests in a meaningful way. My project is funded by a PREDOCS-UB grant, and is supervised by José Martínez Fernández.
Aside from research, I like classical music, literature, history, non-analytic philosophy, art, sports, etc.
- Law, Bachelor of Laws - Queen Mary, University of London (2018 - 2022)
- Philosophy, Master of Arts - King's College London (2022 - 2023)
- Mathematical Logic, Master of Science - University of Barcelona (present)
- Analytic Philosophy (CCiL), Ph. D - University of Barcelona (present)
