Prof. Dr. Joao Marcos

Profil

Derzeitige StellungProfessor W-2 und Äquivalente
FachgebietTheoretische Philosophie,Grundlagen der Mathematik, Logik, Mengenlehre
Keywordssemantics, formal philosophy, Non-classical logics, abstract consequence relations, logical frameworks
Auszeichnungen

: Bessel Prize

Aktuelle Kontaktadresse

LandBrasilien
OrtNatal
Universität/InstitutionUniversidade Federal do Rio Grande do Norte (UFRN)
Institut/AbteilungDepartamento de Informatica e Matematica Aplicada

Gastgeber*innen während der Förderung

Prof. Dr. Heinrich WansingInstitut für Philosophie II, Ruhr-Universität Bochum, Bochum
Beginn der ersten Förderung01.02.2017

Programm(e)

2016Friedrich Wilhelm Bessel-Forschungspreis-Programm

Projektbeschreibung der*des Nominierenden

Professor João Marcos is among the world's leading experts on non-classical logics. The philosopher is well known for his investigation of an important class of inconsistency-tolerant logical systems called “logics of formal inconsistency”. The syntax of such systems allows one to encode the meta-theoretical notions of consistency (and inconsistency) in the object language. Professor Marcos has also made important contributions to the study of generalized conceptions of the compositionality of meaning.