| [Besökare (112.0.*.*)]svar [Kinesisk ] | Tid :2022-07-13 |  (1) Från Aristoteles och framåt, tills Leibniz tänkte på inrättandet av ett "universellt språk" (dvs. formellt språk), som senare slutfördes av Frege. Studien av logik under denna period dominerades av halvformellt språk.
(2) Freges efterföljande studier av logik använder formella språk. Av detta följer att utvecklingen av logik i stor utsträckning kan betraktas som en uppdatering och förlängning av logikspråket.
(3) Före början av 1900-talet hade Kina inte kunnat använda bokstäver för att representera variabler, och inte heller kunde bokstäver representera begrepp. Detta hindrade inte bara utvecklingen av matematik i Kina utan hindrade också framväxten av logik i Kina. Så före början av 1900-talet hade Kina ingen logik. Logik hänvisar här både till logik i Aristoteles mening och till logik i Leibniz mening.
(4) Det logiska språk som fastställts ovan betraktas som en av de två pelarna i studiet av logik, och utvecklingen av logik anses till stor del vara en förlängning av det språk som används i logiken. Och detta ständigt växande logiska språk ger ett kraftfullare verktyg för människors tänkande och resonemang. Därför, ur språkutvecklingens synvinkel, beror utvecklingen av logik i det 21: a århundradet fortfarande på utvecklingen av logiskt språk. Det vill säga, för att logiken ska kunna utvecklas under 2000-talet måste först och främst det språk som används i logiken studeras. Huruvida denna utveckling fortfarande är baserad på befintliga formella språk är dock en viktig fråga som behöver studeras ytterligare av logikforskare.Till exempel, om betydelsen av "formalisering" i framtiden fortfarande är innehållet i den tredje delen av vår artikel etc., måste dessa frågor studeras djupt av logiska arbetare under 2000-talet... |
|
