📋 Tender Overview
Philosophical, Logical, And Experimental Routes To Substructurality
Defying The Laws Of Classical Reasoningit Is Agreed That Classical Logic (The Logic Devised By Frege At The Birth Of Modern Mathematical Logic) Provides A Sharp Characterisation Of Our Reasoning In Abstract Fields Like Mathematics. However, Classical Logic Seems To Be Inadequate In Relation To Several Phenomena Such As Vagueness, Conditionals Or Paradoxes. Substructural Logics – Logics Where Some Structural Rule, Like Weakening, Contraction Or Exchange, Can Fail – Are Alternatives To Classical Logic That Have Attracted A Lot Of Attention By Logicians In The Last Decade. The Eu-Funded Plexus Project Will Study These Logics With Particular Emphasis On "Radically Substructural Logics" – Non-Transitive And Non-Reflexive Logics. Specifically, Plexus Will Investigate The Main Philosophical Challenges Raised By Radically Substructural Logics, Their Proof-Theoretic And Model Theoretic Characterisations And Their Logico-Linguistic Applications.
Funded Under
Marie Sklodowska-Curie Actions (Msca)
Total Cost
€ 0,00
Eu Contribution
€ 556 600,00
Coordinated By
Universidad De Navarra
Spain
