Luis Estrada González
Before joining the Institute as Research Associate C, he was a Mobilitas junior researcher in the Department of Philosophy at the University of Tartu (Estonia). I obtained a Doctorate in Contemporary Philosophy from the Autonomous University of the State of Morelos, a Master's Degree in Philosophy of Science from UNAM and a Bachelor's Degree in Philosophy from the Benemérita Universidad Autónoma de Puebla.
His main areas of research focus on the philosophy of logic, where he especially study the problems of logicity, general theories of logic (s) and criteria of logical constancy. From time to time he also explores the implications of these discussions in metaphysics and in the philosophies of language and mathematics.
Luis Estrada González
The logics in the Bochum Plan
Luis Estrada González
In this talk I will present the basic aspects of the Bochum Plan. This is a general theory of logics based on a theoretical model semantics similar to bivalued but not functional truth semantics for FDE logic, in which the formulas can be only true, only false, both true and false or neither true nor false . This implies that to give a complete evaluation of a formula it is necessary to give both its conditions of truth and its conditions of falsehood, neither of them is redundant. After giving the necessary details of this type of semantics, I will show how various non-classical logics can be obtained by tweaking the evaluation conditions --- and in particular, those of falsehood --- for some connectives. If there is time, I will outline some implications of the Bochum Plan for the debate about the meaning of logical connectives.