Postdoctoral position (4y) on semantics of non-trivial contradictory logics, Bochum (Germany)

Within the framework of the ERC Advanced Grant "Contradictory Logics: A Radical Challenge to Logical Orthodoxy" (Prof. Heinrich Wansing), the following position is available at the Ruhr University Bochum, subject to the approval of the third party funding body: Post-doctoral position (4 years, 1.0. FTE).

For the sub-project on the semantics of non-trivial contradictory logics, a postdoctoral researcher with excellent knowledge of non-classical logic is sought. The project will study certain contra-classical logics, namely non-trivial inconsistent connexive logics, bi- and tri-lattice logics, logics with double negation as negation, and Abelian logics. The aim of the sub-project is to obtain a deep understanding of the inconsistency of these logics from the point of view of certain semantics, in particular from the area of constructive logic and conditional logic, and to semantically characterize the provable contradictions of these systems. We offer a productive internationally oriented research environment; the working language is English. This is a research position. In addition, support of project-related activities (workshops, hosting guests, etc.) is expected.