Objective
There is a large family of non-classical logics that fall under the heading of substructurality. Among the logics in the substructural family, the recent philosophical literature pays particular attention to what can be termed “radically substructural logics”: non-transitive and non-reflexive reflexive logics as well as variants and hybrids of these obtained by metainferential ascent. The overall goal of PLEXUS is to advance the knowledge of radical 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. We see our project characterised by the following concepts: integration, cross-fertilization and knowledge sharing.
This general objective is articulated in three objectives:
1. Philosophical Foundations: investigate the main philosophical challenges raised by radically substructural logics.
2. Logic and applications: investigate proof-theoretic and model theoretic characterizations of radically substructural logics and their logico-linguistic applications.
3. The Metainferences Inventory and Metainferences Prover: develop a tool to measure naïve reasoners' preferences on metainferences and implement an automatic metainferences prover.
Programme(s)
- HORIZON.1.2 - Marie Skłodowska-Curie Actions (MSCA) Main Programme
Funding Scheme
HORIZON-AG-UN - HORIZON Unit Grant
Coordinator
31080 Pamplona
Spain
See on map
Participants (5)
1600-214 Lisboa
See on map
10124 Torino
See on map
75230 Paris Cedex 05
See on map
1012WX Amsterdam
See on map
09124 Cagliari
See on map
Partners (4)
C1425FQB Buenos Aires
See on map
3800 Victoria
See on map
11355 New York
See on map
WC2R 2LS London
See on map