Do we need formal language when starting a logical system?

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři

MATERNA Pavel

Rok publikování 2019
Druh Článek ve sborníku
Konference Slavonic Natural Language Processing in the 21st Century
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Klíčová slova logical system; formal language; explication
Popis Some logicians believe that when they start building a logical system they have to define a formal language. In the present paper I show that not only is it not needed but actually is it impossible.
Související projekty: