Do we need formal language when starting a logical system?
| Autoři | |
|---|---|
| Rok publikování | 2019 |
| Druh | Článek ve sborníku |
| Konference | Slavonic Natural Language Processing in the 21st Century |
| Fakulta / Pracoviště MU | |
| 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: |