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 (203 Česká republika, garant, domácí).
• Vydání: Brno, Slavonic Natural Language Processing in the 21st Century, od s. 156-161, 6 s. 2019.
• Nakladatel: Tribun EU

Další údaje

• Originální 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"
• 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

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