[Návštěvník (112.0.*.*)]Odpovědi [Číňan ] | Čas :2022-07-13 | (1) Od Aristotela až do Leibnize pojal vytvoření "univerzálního jazyka" (tj. formálního jazyka), který později dokončil Frege. Studiu logiky v tomto období dominoval poloformální jazyk.
(2) Fregeho následné studium logiky používá formální jazyky. Z toho vyplývá, že vývoj logiky lze do značné míry považovat za aktualizaci a rozšíření logického jazyka. (3) Před začátkem 20. století nebyla Čína schopna používat písmena k reprezentaci proměnných, ani písmena k reprezentaci pojmů. To nejen bránilo rozvoji matematiky v Číně, ale také bránilo vzniku logiky v Číně. Před počátkem 20. století tedy Čína neměla žádnou logiku. Logika zde odkazuje jak na logiku v Aristotelově smyslu, tak na logiku v Leibnizově smyslu. (4) Výše uvedený logický jazyk je považován za jeden ze dvou pilířů studia logiky a rozvoj logiky je do značné míry považován za rozšíření jazyka používaného v logice. A tento stále se rozšiřující logický jazyk poskytuje mocnější nástroj pro myšlení a uvažování lidí. Proto z hlediska vývoje jazyka vývoj logiky v 21. století stále závisí na vývoji logického jazyka. To znamená, že aby se logika mohla rozvíjet v 21. století, musí být nejprve studován jazyk používaný v logice. Zda je však tento vývoj stále založen na existujících formálních jazycích, je důležitou otázkou, kterou musí dále studovat výzkumní pracovníci v oblasti logiky..Například, zda význam "formalizace" v budoucnu je stále obsahem třetí části našeho článku atd., Tyto otázky musí být hluboce studovány logickými pracovníky v 21. století... |
|