Why notes
Recently, the entire ML mathematical model derivation, when probabilistic model of the part, always feel part of this deduction, pushing pushing, will own a confusion derived not come out, then the effect is not very good, the reason is their foundation a bit worse, retarder can only move forward, but also feel that their logic skills is to be improved, although I also write code, used to think, write code that makes a person very logical and rigorous , through my writing this 2 years, there is a lift, but it does not seem so exaggerated, I feel to write code like writing a little more, words and sentences, paragraphs, the design of these details will be even more important.
Of course, would like a wave stroke, the semantics of logic in the traditional sense, in the end what is more, every day talking about no logic, no logic, that in the end what is the semantics of logic, then the whole wave to the series of notes, in fact, is to do a year ago, when more just as a note, not a deep understanding, now rewrite turn, found cognitive level, really improve a lot, but more life and work of those feelings.
Another point, is written into the blog to show a diversity of it, can not always algorithm, code for these hard power, soft stuff, conceptual, or intuitive, perhaps even more important. Early look at Einstein Collected Works, he had said, in fact, the truth comes from your heart . very profound meaning.
Zhashui it, ah .. a little technical, this is called multitasking .
What is the logic Section
First, the "logic" Interpretation
"Logic" transliteration from English, first appeared in Yan Fu's translation, "Muller Logic", was derived from the ancient Greek "logos" was meant thinking, words, rational, law and so on.
Example 1, the earth moves around the sun, which is a logical (objective law of development of things) of nature
Example 2, speak, write articles should be in line with the law (logical thinking)
Example 3, students need to learn logic (logic of this discipline)
Second, the study of logic
Law form the structure of thinking, thinking
1, a form of thinking = logical constants structure of logical variables
Example 4, if n is an even number, then it can be divisible by 2
Analysis: in the form of "if P, then Q", "If, then" as logical constants, P, Q is a logical variables.
Example 5, all life is movement, are all living life, so that all living things are moving.
Analysis: the form: "all M is P", "S are all M", so that "all S are M". "All," YES logical constants, the SMP logical variables.
Specific contents of the logical variables received thinking, constants thought content does not vary.
And rational knowledge of three basic forms (concepts, judgments, reasoning) corresponding to the main structure of the three basic forms of thinking form: concepts, judgments, reasoning.
The concept is a reflection of the nature of thinking in the form of an object or attribute-specific attributes.
Proposition is thinking the object has been concluded (yes or no) form of thinking.
Reasoning is introduced in the form of one or more propositions thinking of a proposition.
2, the structure of the law in the form of thinking
The basic law: the law of identity, the law of contradiction, excluded middle and so on.
Third, logical type
Traditional logic, modern logic
1, a conventional logic
Refers to Aristotle's first and only Middle Ages, the modern development of the mid-19th century mathematical logic produces a logic theory before.
Features:
The main means of natural language research logical problems; the study of reasoning, thinking to everyday common type of object.
Such as "instrumentalism" syllogism.
2, modern logic
The late 19th century, Leibniz thought processing logic mathematically, the reasoning becomes calculus. After developing into a variety of logical theory in combination with mathematics, philosophy, linguistics and computer science.
Features:
The use of artificial language (sign language) study of logical problems; grasp of the study has been achieved by establishing formal system.
For example, propositional logic, narrow predicate logic, modal logic, axiomatic set theory and so on.
The nature and role of the second logic
First, the nature of logic
(Subject) basic, (the application) basic
1, the basic
Seven basic disciplines: logic, mathematics, physics, astrophysics, astronomy, earth science and space science, chemistry, life sciences.
Knowledge of the first five Division: logic, mathematics, sciences (natural, social, technological), history, humanities (language) philosophy.
2, instrumental
Hegel: Any science is the application logic
Aristotle "tool on the" Bacon "new tool", the logical laws of thought is all understanding, expression tools.
Second, the role of logic
1, to enhance the quality of thinking
Through training, act in accordance with correct thinking, to: thinking faster, more accurate, more rigorous, more open and more efficient.
2 capacity, improve language, reasoning, speculative
Chairman Mao: "The article, the file should have accuracy (concept, judgment, reasoning), bright, vivid (word chapter problem).
Many shortcomings of file:
(1) The concept is not clear
(2) Analyzing inappropriate
(3) use the concept, it is determined that reasoning, and lack of logic
(4) do not pay attention to the word chapter
3, to improve the recognition, the ability to refute the fallacy and sophistry
Negotiations with the customer, the debate is much more likely to use it.
4, improve the ability to understand things and engage in scientific research
5, foster innovation