| [Visitant (112.0.*.*)]respostes [Xinès ] | Temps :2022-07-13 |  (1) Des d'Aristòtil en endavant, fins que Leibniz va concebre l'establiment d'un "llenguatge universal" (és a dir, llenguatge formal), que més tard va ser completat per Frege. L'estudi de la lògica durant aquest període va estar dominat pel llenguatge semi-formal.
(2) Els estudis posteriors de Frege sobre lògica utilitzen llenguatges formals. D'això se'n dedueix que el desenvolupament de la lògica es pot considerar en gran mesura una actualització i extensió del llenguatge lògic.
(3) Abans de principis del segle XX, la Xina no havia estat capaç d'utilitzar lletres per representar variables, ni podia representar lletres per representar conceptes. Això no només va obstaculitzar el desenvolupament de les matemàtiques a la Xina, sinó que també va obstaculitzar l'aparició de la lògica a la Xina. Abans del segle XX, la Xina no tenia cap lògica. La lògica aquí es refereix tant a la lògica en el sentit Aristòtil com a la lògica en el sentit de Leibniz.
(4) El llenguatge lògic establert anteriorment es considera un dels dos pilars de l'estudi de la lògica, i el desenvolupament de la lògica es considera en gran mesura com una extensió del llenguatge utilitzat en lògica. I aquest llenguatge lògic en constant expansió proporciona una eina més poderosa per al pensament i el raonament de les persones. Per tant, des del punt de vista del desenvolupament del llenguatge, el desenvolupament de la lògica al segle XXI encara depèn del desenvolupament del llenguatge lògic. És a dir, perquè la lògica es desenvolupi al segle XXI, en primer lloc, s'ha d'estudiar el llenguatge utilitzat en lògica. No obstant això, si aquest desenvolupament encara es basa en els llenguatges formals existents és una qüestió important que cal estudiar més endavant pels investigadors de lògica..Per exemple, si el significat de "formalització" en el futur segueix sent el contingut de la tercera part del nostre article, etc., aquestes qüestions han de ser profundament estudiades pels treballadors de la lògica al segle XXI... |
|
