General language and modern logic
December 13, 2023 09:40 Source: "China Social Sciences" December 13, 2023 Issue 2793 Author: Song Wei

The 13th century of Ramon Lull (Ramon Lull) put forward such an idea in its book,That is, all scientific knowledge comes from some basic concepts or simple concepts。There are 54 basic concepts or simple concepts,The binding or synthesis of them is the "big method" that constitutes scientific knowledge。This idea in Luli can be said to be a concentrated Armonstramed science theory or a simplified early scientific model。But this is exactly the same "concentration" or "simplified",Makes Lu Li's 54 basic concepts or simple concepts not only have a feature of "initial word and record system",It also has a feature of "discovery and deduction tools"。Su Su's thoughts or similar envisions in the Luli style in the 17th century rationalists got positive response,The concept of "General Language" is officially appeared during this period。

November 20, 1629,René Descartes put forward a letter to a letter to my friend Marin Mersenne, a new grammar idea that can be used for most languages ​​and can be grasped within a few hours: "count all the thoughts of humans Sort or separate them into clear and simple thoughts,In my opinion, it is the biggest secret to gain reliable knowledge。If anyone wants to correctly explain what is human imagination、All ideas are composed of a simple concept,What I dare to count on is a kind of easy learning、Easy to say、Langue universelle。Bet365 lotto review The biggest advantage of this language is to help people make judgments,Because it is so clear because of its representation of things,It is almost impossible to make mistakes。"Obviously,Like Lu Li,Descartes also believes that human thought and knowledge can be synthesized by "simple concepts",The "simple concept" is "clear" and "almost impossible" "universal language"。Descartes' idea was further promoted by Gottfrid Leibniz。In the article "On General Text" in 1679,Libnitz thinks,"Alphabet can be developed by human thought,Analysis of the comparison of the letters and the words composed of these letters,All things can be found and judged "。That is to say,"If we have a type of marks that can be used to talk about all our concepts,Just like to talk about numbers in arithmetic or be as clear as the line segment in analytical geometry、Accurate、Detailed,Then we can talk about every problem dominated by the reasoning,Including all those questions that can be talked about in arithmetic and geometry。All scientific research that depends on reasoning can be transformed by a sign and through a algebra,The result of this is,Interested facts discovery will become straightforward,We don’t need to rack their brains in some difficult studies like now,Instead, you can get all possible knowledge from known materials "。No doubt,"Characteristica Universalis) thought,clearly highlights the important role of "marks" and "language" factors in the knowledge bet365 live casino games acquisition and constitutions,It can be regarded as the "language" version that is regarded as Aristotle's deductive science theory abstraction,It is the further deepening and development of the related thoughts of Luli and Cartescan。but but,Like Luli's "54 basic concepts or simple concepts", as Cartesian's "universal language",Labnitz's "universal text" idea is only staying in the ideal stage,Some substantial progress in the "universal language" seeking is the 19th -century Gottlob Frege and Giuseppe Peano。

Ferig, known as the "Father of Modern Logic", commented on Leibniz's "universal text" ideas in its "Conceptual Text: A Form Language for Pure Thought": "His idea is so grand,To achieve its attempts to hardly get out of the preparation stage ... But even if this goal worthy of pursuing cannot be achieved in one step,We don’t need to be slow、Step by step, feel desperate。"Fred's" Conceptual Text "is under this sober and optimistic guidance,"Slow and approaching" step out of the "universal language" goal。As Freder said,His "Conceptual Text" is a means invented by some scientific purposes,People don’t have to blame it because it is not suitable for other scientific purposes,If it is suitable for some purpose to some extent,People don't have to mind too much new things in this work,Because of the progress of the method, it is also promoting the progress of science。You can see,Fred's "Conceptual Text" as a "universal language" is not just "a symbolic method of a symbol of knowledge"Bet365 lotto review ,It is even "a tool for discovering or deducting"。The first -order logic axiom system proposed in its "Conceptual Text" (both contain a "symbolic method",It also includes a "discovery and deduction tool").,It can be said that his "conceptual text" is compared to Luri's "54 basic concepts or simple concepts"、Descartes' "General Language" and "General Text" of Leibniz,closer to a "universal language" that not only surpasses daily language, but also surpass any specific scientific language, including arithmetic language,It is also a "universal language" that is more "abstract", "symbolization" and "formalization"。Since there is no basic concept or concept that can be used independently,Concepts that only include non -content concepts or concepts that must be used with other concepts,So Freder's "Conceptual Text" can become a formal language that express "pure thought",By adding corresponding concepts and axioms, it can constitute a geometric language with intuitive content、Physical language and other different specific scientific languages。In this case,"Conceptual Text" can be regarded as an abstract、Symbol、Form、Highlight the "representation", "description" or "portrayal" of "language" factor,It is a kind of axioms on science or scientific knowledge、The ideal pursuit of interpretation。

Freg himself commented on his "conceptual text" and said: "Use Leibniz's special term,We can say that the logic of George Boole is a ‘(interpretation) reasoning calculation’Bet365 app download ,but not a ‘(universal) text language’ (lingua characteristica); Piano ’s mathematical logic is mainly a‘ (universal) text language ’,Attachment is a "(interpretation) reasoning calculation"; and my 'conceptual text' emphasizes these two。"" Frege's "conceptual text" is both a "(universal) text language" and a "(interpretation) reasoning calculation",The two functions and purposes of "universal language" (ie, as a "symbolic record method of a symbolism of knowledge" and "a tool for discovering or deducting") completely consistent,So it is usually regarded as from Lu Li、Descartes、One of the more ideal and perfect representatives of the "universal language" vision since Laibnitz。

It may be comparison of Piano's "(General) Text Language" here。The appearance and popularity of the two international auxiliary languages, Volapük and Esperanto in the late 19th century, made the "universal language" problem of "universal languages" become European philosophers and mathematicians at that time (including logicians). An important topic of discussion,and gradually form such a consensus,It should minimize the various natural language types used in scientific exchanges to avoid the "Babel effect"。It is in this context,Pianano proposed a transformation from Latin in 1903 that can be said like daily language、Written scientific communication language- "Latino Sine Flexione,and use this language and a new set of mathematics he created、Logic symbolic method bet365 Play online games Written his fifth edition of "Formulario Mathematico)。Some symbols in the book,such as ∈ (belonging to)、? 劢 (container)、∩ ∩、∪ (and)、-(negative)、∧ (取 取),, etc.,It has now become a common symbol of mathematics and logic。"Latin that changes non -aggressive" is proposed,great response in the academic community at that time,Soon it becomes a kind of English、French、German and other natural languages ​​and use it、Academic languages ​​that can be used for oral and written communication,At the same time, there are academic journals that specialize in using this language。Piano regards his work as a continuation of the idea of ​​Leibnitz's "universal text" thinking,It is also the realization of the dream of "universal language" for many scholars for several centuries。but but,By the 1930s,With Piano's death and the decline of international auxiliary language momentum,"Latin that changes non -aggressive" gradually lost its as a "can speak like daily language、The status of the scientific communication language written ",Its "simplicity" and "convenience" did not bring it true "universality",That is, it does not make it a "universal language" that can truly "characterize", "describe" or "portraying" scientific or scientific knowledge。Among them, the reason may be like Freder's comment,This kind of language from natural linguists can be transformed by the transformation of natural lingies, even if it can become a "symbolic method"Bet365 lotto review ,But it cannot be "a tool for discovery or deduction",and the latter is an indispensable element of "universal language"。

It is the continuous pursuit of "universal language" for a few centuries,With the generation of Freg's "conceptual text",A traditional logic with the traditional "universal language" -the first -order logic is also born。

 bet365 Play online games

Editor in charge: Zhang Jing
QR code icons 2.jpg
Key recommendation
The latest article
Graphics
bet365 live casino games

Friendship link:

Website filing number: Jinggong.com Anmi 11010502030146 Ministry of Industry and Information Technology:

All rights reserved by China Social Sciences Magazine shall not be reprinted and used without permission

General Editor Email: zzszbj@126.com This website contact information: 010-85886809 Address: 11-12, Building 1, Building 1, No. 15, Guanghua Road, Chaoyang District, Beijing: 100026