Do we need formal language when starting a logical system?

MATERNA, Pavel. Do we need formal language when starting a logical system? In A. Horák, K. Osolsobě, A. Rambousek, P. Rychlý. Slavonic Natural Language Processing in the 21st Century. Brno: Tribun EU, 2019, p. 156-161. ISBN 978-80-263-1545-2.

Basic information

Original name

Do we need formal language when starting a logical system?

Authors

MATERNA, Pavel (203 Czech Republic, guarantor, belonging to the institution)

Edition

Brno, Slavonic Natural Language Processing in the 21st Century, p. 156-161, 6 pp. 2019

Publisher

Tribun EU

---

Other information

Language

English

Type of outcome

Stať ve sborníku

Field of Study

10200 1.2 Computer and information sciences

Country of publisher

Czech Republic

Confidentiality degree

není předmětem státního či obchodního tajemství

Publication form

printed version "print"

RIV identification code

RIV/00216224:14330/19:00107940

Organization unit

Faculty of Informatics

ISBN

978-80-263-1545-2

Keywords in English

logical system; formal language; explication

Tags

International impact

---

Abstract

V originále

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.

---

Links

GA18-23891S, research and development project

Name: Hyperintensionální usuzování nad texty přirozeného jazyka Investor: Czech Science Foundation