[Gość (112.0.*.*)]odpowiedzi [Chiński ] | Czas :2022-07-13 | (1) Począwszy od Arystotelesa, aż Leibniz wymyślił ustanowienie "uniwersalnego języka" (tj. języka formalnego), który został później uzupełniony przez Frege'a. Nauka logiki w tym okresie była zdominowana przez język półformalny.
(2) Późniejsze studia logiczne Frege'a używają języków formalnych. Wynika z tego, że rozwój logiki można w dużej mierze uznać za aktualizację i rozszerzenie języka logiki. (3) Przed początkiem 20 wieku Chiny nie były w stanie używać liter do reprezentowania zmiennych, ani liter do reprezentowania pojęć. To nie tylko utrudniło rozwój matematyki w Chinach, ale także utrudniło pojawienie się logiki w Chinach. Tak więc, przed początkiem 20 wieku, Chiny nie miały logiki. Logika odnosi się tutaj zarówno do logiki w sensie Arystotelesa, jak i do logiki w sensie Leibniza. (4) Język logiczny ustanowiony powyżej jest uważany za jeden z dwóch filarów badania logiki, a rozwój logiki jest w dużej mierze uważany za rozszerzenie języka używanego w logice. I ten stale rozwijający się język logiczny zapewnia potężniejsze narzędzie do myślenia i rozumowania ludzi. Dlatego, z punktu widzenia rozwoju języka, rozwój logiki w 21 wieku nadal zależy od rozwoju języka logicznego. Oznacza to, że aby logika mogła zostać rozwinięta w 21 wieku, przede wszystkim należy zbadać język używany w logice. Jednak to, czy ten rozwój nadal opiera się na istniejących językach formalnych, jest ważnym pytaniem, które musi zostać dokładniej zbadane przez badaczy logiki..Na przykład, czy znaczenie "formalizacji" w przyszłości jest nadal treścią trzeciej części naszego artykułu itp., Pytania te muszą być dogłębnie zbadane przez pracowników logiki w 21 wieku... |
|