Question

Determine the natural of logic?

Answer 1

In any Natural Language there are the elements of what may be called its Natural Logic:

a collection of terms and rules that come with Natural Language that allows us to reason and argue in it.

Examples of such logical terms are: "and", "or", "not", "true", "false", "if", "therefore", "every", "some", "necessary", "possible", "therefore", "is the same as", "any (arbitrary)" and "one (specific)", and quite a few more. Examples of such logical rules, that are here formulated in terms of what one may write down on the strength of what one already has written down (pretending for the moment that natural language is written rather than spoken) are: "If one has written down that if one statement is true then another statement is true, and if one has written down that the one statement is true, then one may write down (in conclusion) that the other statement is true" (thus: "if it rains then it gets wet and it rains, therefore it gets wet") and "If one has written down that every so-and-so is such-and-such, and this is a so-and-so, then one may write down that this is a such-and-such" (thus: "if every Greek is human and Socrates is a Greek, therefore Socrates is human").