| [Lankytojas (112.0.*.*)]Atsakymai [Kinijos ] | Laikas :2022-07-13 |  (1) Nuo Aristotelio iki Leibnizo sumanė sukurti "universalią kalbą" (t. Y. Formaliąją kalbą), kurią vėliau užbaigė Frege. Logikos tyrime šiuo laikotarpiu dominavo pusiau formali kalba.
(2) Vėlesnėse Frege logikos studijose vartojamos formalios kalbos. Iš to išplaukia, kad logikos plėtra didžiąja dalimi gali būti laikoma loginės kalbos atnaujinimu ir išplėtimu.
(3) Iki 20 a. pradžios Kinija negalėjo naudoti raidžių kintamiesiems pavaizduoti, taip pat negalėjo raidžių reikšti sąvokoms. Tai ne tik trukdė matematikos plėtrai Kinijoje, bet ir trukdė logikos atsiradimui Kinijoje. Taigi, iki 20-ojo amžiaus pradžios Kinija neturėjo logikos. Logika čia nurodo ir logiką Aristotelio prasme, ir logiką Leibnizo prasme.
(4) Pirmiau nustatyta loginė kalba laikoma vienu iš dviejų logikos tyrimo ramsčių, o logikos raida iš esmės laikoma logikoje vartojamos kalbos tąsa. Ir ši nuolat besiplečianti loginė kalba suteikia galingesnį įrankį žmonių mąstymui ir samprotavimui. Todėl kalbos raidos požiūriu logikos raida 21-ajame amžiuje vis dar priklauso nuo loginės kalbos raidos. Turiu galvoje, norint, kad logika būtų plėtojama 21-ajame amžiuje, pirmiausia reikia ištirti logikoje vartojamą kalbą. Tačiau ar šis vystymasis vis dar grindžiamas esamomis formaliomis kalbomis, yra svarbus klausimas, kurį turi toliau nagrinėti logikos tyrinėtojai.Pavyzdžiui, ar "formalizavimo" reikšmė ateityje vis dar yra trečiosios mūsų straipsnio dalies turinys ir pan., Šiuos klausimus turi giliai ištirti 21-ojo amžiaus logikos darbuotojai... |
|
