Do we need formal language when starting a logical system?
| Authors | |
|---|---|
| Year of publication | 2019 |
| Type | Article in Proceedings |
| Conference | Slavonic Natural Language Processing in the 21st Century |
| MU Faculty or unit | |
| Citation | |
| Keywords | logical system; formal language; explication |
| Description | 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. |
| Related projects: |