Research Projects

Research Projects

ECOS-Sud A22H01 - Consecuencia lógica y modelos multivaluados (2023-2025)
Directors:
Eduardo Barrio (University of Buenos Aires)
Paul Egré (Institut Jean Nicod, École Normale Supérieure)

Funded by:
Evaluation-orientation de la COopération Scientifique, France
MinCyT, Argentina
PLEXUS - Philosophical, Logical, and Experimental Routes to Substructurality (2023-2026)
Director:
Pablo Cobreros (Pamplona, Universidad de Navarra)

Funded by:
European Union's Marie Sklodowska-Curie
Action under the Horizon
Europe Research Innovation Programme
(Project 1010866295)
Official Website

The overall goal of PLEXUS is to advance the knowledge of radically substructural logics and deepen our understanding of the broader phenomenon of substructurality, by coordinating the efforts of researchers across the globe, across generations, and across traditions.

An Edition of Seminars on the Theory of Truth by American Philosopher Saul Kripke (2018-2020)

Directors:
Romina Padro (Saul Kripke Center at CUNY)
Eduardo Barrio (University of Buenos Aires)

Funded by:
National Endowment for the Humanities

 

Saul Kripke is a towering figure in contemporary philosophy, widely held to be one of the greatest living philosophers and logicians. This project, if funded, will bring to publication a series of previously unpublished seminars on the theory of truth, which develop ideas first sketched in his legendary paper “Outline of a Theory of Truth” (1975).

 

The Logics of Truth: operational and substructural approaches (2015-2017)

Directors:
Ole Thomassen Hjortland (Munich Center for Mathematical Philosophy)
Eduardo Barrio (University of Buenos Aires)

Funded by:
DFG (Germany) and The Ministry of Science (Argentina)

In this project, we will explore: i) the precise sense in which operational and substructural approaches weaken classical logic. ii) to what extent these proposals are revenge-free and what are the prospects of achieving such a goal. iii) whether the problem of restricted quantification can be satisfactorily dealth with in paracomplete and paraconsistent theories. iv) if it is possible to provide plausible philosophical interpretations of non-contractive consequence relations and in particular whether the is a plausible reading of the quantifiers. v) in what sense the cut-free approaches are classical and in what sense they are not.

 

Truth, paradoxes and modalities (2014-2015)

Directors:
Hannes Leitgeb (Munich Center for Mathematical Philosophy)
Eduardo Barrio (University of Buenos Aires)

Funded by:
DAAD (Germany) and The Ministry of Science (Argentina)

 

The main goal of this project will be to find answers to questions that might lead this topic into some new directions, such us: (i) Does the truth predicate have explanatory power after all, contra the deflationist approach to truth? Could a good theory of truth have no standard models? And if one considers the second-order case with standard semantics, could a good theory of truth have no models while being consistent? (ii) Is there a theory of truth capable of dealing with semantic paradoxes and revenge problems in which every classical principle is valid? Or does the best explanation of these phenomena involve adopting a different notion of logical consequence? (iii) Is there a consistent, systematic, and philosophically illuminating way of expressing intensional notions such as necessity and knowledge in terms of predicates? How can the notorious paradoxes that have been claimed to affect such a treatment of intensional notions be avoided?

 

Truth, open-endedness and Inexpressibility (2012-2013)

Directors:
Volker Halbach (Oxford University)
Eduardo Barrio (University of Buenos Aires)

Funded by:
The British Academy

The aim of the project is to establish a collaboration between two active research groups (“Reflection and Incompleteness”, which is based in Oxford and funded by the AHRC and “Unrestricted Quantification, Expressiveness and Contextualism”, which is based in Buenos Aires and funded by the Argentinian National Research Council for Science and Technology). There is much overlap between the agendas of our research projects, and we would benefit from an opportunity to exchange our results and facilitate a longstanding cooperation between the groups. Although the senior members of each group have already had some limited opportunity to visit each other, the project would be particularly beneficial for the younger members of each group for whom the opportunities to travel from Oxford to Buenos Aires are much more limited. Three specific areas of overlap in our research projects concern type-free theories of truth, the expressive limitations caused by open endedness of the set-theoretic universe and the means of overcoming them.