Logic is a system or mechanism that, when given any task or proposition, derives some result or conclusion according to certain rules, standards, and algorithms. Alternatively, it is a procedure or path.
Logic refers to the path and process.
It does not necessarily consist of one-to-one relationships.
One-to-many, many-to-many, and many-to-one relationships also exist.
A one-to-one relationship is a two-dimensional relationship.
However, today, science demands multi-dimensional analysis.
Logic is not a single path.
Each step needs to be verified. Logic cannot be verified simply by one-to-one correspondence. Logic is a means, a tool, not an end. Logic is a process, a procedure, and a method. Because logic is a process, it is composed of settings, order, arrangements, structure, assembly, reorganization, and verification. Logic can be said to be an algorithm and a program. Logic presupposes traceability. If traceability is not guaranteed, legitimacy is not recognized.
Logic is a procedure and a method. Logic can be regarded as a kind of programming language. Therefore, what makes logic valid are properties and literacy.
What disrupts logic are leaps, deviations, deceptions, substitutions, lies, falsehoods, fallacies, and impositions.
Logic must be based on definitions. Definitions must be based on recognition. Definitions require infallibility. The syntax and language use of definitions must not be contradictory.
Definitions are arbitrary, hence they are hypotheses.
Definitions are premises. What is the premise? How is it proven? Can it be understood? The issue of understandability. What do you believe? What is the basis? This determines what is self-evident.
Definitions are determined by premises. Premises are based on recognition.
Facts can only be proven by facts such as experiments and observations, which is positivism. Logic is merely a means and a procedure. Being logically infallible does not prove the validity of definitions and hypotheses. The infallibility of officials. No matter how precise a public works plan is, if the premise is wrong, miscalculation is inevitable.
The basis of logic is the premise. In other words, the validity of logic lies in the validity of the premise. The validity of the premise lies in understandability. The validity of logic is guaranteed by verifying that there are no contradictions before and after in each process.
Logic is established on the extension of recognition. Validity is guaranteed by placing the basis on recognition. Logic is proven by positivism. Existence, recognition, and logic are unified by sharing the starting point. Faith, philosophy, and science are integrated.
The premise of logic must be a fact. If the premise or the initial statement or proposition is wrong, even if it is logically infallible, it will lead to a wrong conclusion precisely because it is logically infallible.
Definitions must be based on facts. Definitions not based on facts separate the external world from the internal.
Logic not based on facts is delusion. Delusions not based on facts are impossible to prove and become uncontrollable.
For example, the threat of AI not based on facts is a delusion. Delusions lead to conjectures and become uncontrollable. Delusions based on rumors, gossip, and false reports can sometimes lead to catastrophic situations. The delusion that there is no war or invasion in today’s world. Delusions cannot protect true peace.
Modern logic is algorithms, systems, and programs. Inputs are validated by outputs. The validity of inputs is determined by the input data.
Therefore, logic is validated by initial assumptions, requirements definitions, algorithms, literacy, prompts, the quality and quantity of data, and data structures.
The typical example of modern logic is the algorithms and literacy of machine learning.
The issue of assumptions. Definitions are arbitrary and not given. The infallibility of logic is effective only with the validity of definitions.
Logic does not exist in isolation. Therefore, proving the infallibility of logic alone is insufficient to prove the validity of a theory.
What establishes logic are definitions and the procedures based on them. First, definitions. Since definitions are set arbitrarily, the purpose, motivation, and standpoint of the problem are crucial. Procedures involve the relationships between oneself and the problem, the problem and the result, and the result and oneself. It is necessary to verify each aspect of these relationships.
First, what purpose, position, and assumptions one stands on.
Next, what materials, resources, and data are based on.
The basis and credibility of those resources, materials, and data.
What procedures, processes, paths, and algorithms are based on.
These elements are integrated to establish logic.