A Basic Overview of Logic

1. Law of Identity, Law of Non-Contradiction, and Law of the Excluded Middle:
   

   • Law of Identity: A thing is what it is; represented as "A is A." Originated with Aristotle, an ancient Greek philosopher.

   • Law of Non-Contradiction: Contradictory statements cannot both be true at the same time and in the same sense. Also developed by Aristotle.

   • Law of the Excluded Middle: Every proposition is either true or false, with no middle ground. Attributed to Aristotle as well.

1. Principle of Sufficient Reason:
   

   • Everything has a reason or cause, and there is an explanation for why things are the way they are. Associated with Gottfried Wilhelm Leibniz, a German philosopher and mathematician.

1. Principle of Bivalence:
   

   • Every declarative statement is either true or false; no other truth values exist for a statement. A foundational idea in classical logic, without a single originator.

1. Principle of Validity and Principle of Soundness:
   

   • Principle of Validity: If the premises of an argument are true, the conclusion must also be true. Developed as part of formal deductive logic, with contributions from ancient and medieval logicians, including Aristotle, Euclid, and later figures like Alfred North Whitehead and Bertrand Russell.

   • Principle of Soundness: Goes beyond validity and focuses on the truth of premises. A concept within formal logic that has evolved over time.

1. Principle of Consistency:
   

   • Involves avoiding contradictions in one's beliefs or arguments. Discussed by various philosophers and logicians throughout history, with no single originator.

1. Principle of Relevance:
   

   • Emphasises the importance of presenting relevant information and reasoning in arguments. Attributed to the general principles of good argumentation, without a single originator.

These principles have evolved and been refined over centuries through the contributions of various philosophers, logicians, and thinkers from different cultures and historical periods. They form the foundational concepts for clear and coherent thinking, critical reasoning, and the assessment of arguments in the field of logic.