Johannes Korbmacher
Ik ben wiskundig filosoof aan Utrecht University en werk op het snijvlak van logica, metafysica en epistemologie.
Ik ben lid van de logicagroep aan Utrecht University en redacteur bij Philosophical Logic .
Ik geef voornamelijk onderwijs in de opleidingen Kunstmatige Intelligentie en Filosofie. Ik heb een logicastudieboek voor de bacheloropleiding Kunstmatige Intelligentie geschreven, dat vrij toegankelijk is op https://logicalmethods.ai .
Recent cvContact
FenR, Utrecht University Newton House, 3e verdieping, Newtonlaan 201 3584 BH Utrecht, NederlandAndere profielen
Projecten
Ik beheer samen met anderen een website over waarmakersemantiek. De website bevordert deze benadering van hyperintensionele semantiek en biedt hulpmiddelen voor onderzoekers op dit gebied.
Dit door NWO gefinancierde project zet moderne digitale bewijshulpmiddelen in, met name generatieve AI en de bewijsassistent Lean, om vooruitgang te boeken bij open problemen in de waarmakersemantiek.