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, s. 156-161. ISBN 978-80-263-1545-2.

Základní údaje

Originální název

Do we need formal language when starting a logical system?

Autoři

MATERNA, Pavel

Vydání

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

Nakladatel

Tribun EU

---

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10200 1.2 Computer and information sciences

Stát vydavatele

Česká republika

Utajení

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

Forma vydání

tištěná verze "print"

Označené pro přenos do RIV

Ano

Kód RIV

RIV/00216224:14330/19:00107940

Organizační jednotka

Fakulta informatiky

ISBN

978-80-263-1545-2

Klíčová slova anglicky

logical system; formal language; explication

Příznaky

Mezinárodní význam

---

Anotace

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.

---

Návaznosti

GA18-23891S, projekt VaV

Název: Hyperintensionální usuzování nad texty přirozeného jazyka Investor: Grantová agentura ČR, Hyperintensionální usuzování nad texty přirozeného jazyka