Logic is the study and appraisal of Arguments, it is a discipline that is concerned with the systematic investigation of the form of valid inference, that is : to check if one can go from the premises to the conclusions.

“Logic” is about reasoning, it is about HOW we reach a certain conclusion or conclusions based on a set of premises.
In general, Logic deals with arguments, a rational agent ought to provide good arguments in favor of his cause.
Good arguments should be valid, that is: the conclusion should follow from the premises, should have premises that are as evident as possible to the parties involved in the argumentation. And finally, the argument should avoid formal and informal fallacies at all cost.
A fallacious argument, even if its conclusion seems to follow from the premises, ought to be rejected.
We will look first at two similar arguments, one of which is a valid argument, and the other invalid.
Premise 1: All animals reproduce
Premise 2: Cats are animals
Conclusion: Therefore, all Cats reproduce
Premise 1: All cats reproduce
Premise 2: Cats are animals
Conclusion: Therefore, all Animals reproduce
The first argument is deductively valid, while the second is invalid, You may ask : Why ?
Well, even though the conclusion in the second argument is true, it does not mean necessarily that the conclusion follows from the 2 given premises.
In other words, you cannot (by any means) , infer that “animals reproduce”, from the premises “cats reproduce” and “cats are animals”.
In other words, you need to revise and correct your argument, or add in more premises to be able to produce that conclusion.
In the coming lessons we will learn techniques devised to validate different types of arguments, that is : to know whether an argument is valid or invalid.
But for now, let us look at some types of Logic, that we will study together in the coming lessons .
Syllogistic Logic / Aristotelian Logic / Traditional Logic / Term Logic
This system was developed by Aristotle (the famous philosopher), it studies Syllogisms and rules to determine whether a Syllogistic argument is logically valid or invalid. This is considered the simplest type of logic , we will learn how to use venn diagrams, and other simple techniques to check their validity.
This Logic uses words like “All”, “Some” , “No”, “Not”.
Premise 1: All Cats are Animals
Premise 2: All Animals Reproduce
Conclusion: Therefore, All Cats Reproduce
Premise 1: Some Cats are Black
Premise 2: No Black is White
Conclusion: Therefore, Some Cats are Not White
Propositional Logic / Truth-Functional Logic / Sentential Logic
Also called, Propositional Calculus, This system was developed by Chrysippus of Soli Χρύσιππος ὁ Σολεύς around 3rd century BC.
This system uses logical tools or propositions like : AND , OR, IF.. THEN , NOT ...etc.
Premise 1: If a Cat is White then It is not Black
Premise 2: The Cat is White
Conclusion: Therefore, The Cat is not Black
Premise 1: If it is an Animal AND Alive then it Reproduces
Premise 2: If it is a Cat then it is an Animal
Premise 3: It is a Cat
Premise 4: It is Alive
Conclusion: Therefore, it Reproduces
Predicate Logic / First-Order Logic / Quantificational Logic
The foundations of this system were developed separately by Gottlob Frege and Charles Sanders Peirce.
It is basically extending propositional logic, while using the tools and quantifiers like “all” and “some” we find in Syllogistic Logic. This system is very powerful and useful.
Premise 1: If some cats are white then some cats are not black
Premise 2: Some cats are white
Conclusion: Therefore, Some cats are not black
Premise 1: If an Animal is Alive Then it reproduces.
Premise 2: All cats are animals.
Premise 3: Some cats are alive.
Conclusion: Therefore, Some cats reproduce
Modal Logic (Necissity, Contingency and Possibility Logic)
The early modal system was founded by Avicenna, and used in the writings of philosophers like William of Ockham and others. While the modern modal system was developed by Clarence Irving Lewis .
The modal system builds on Predicate and Propositional Logics, and adds tools and rules that are concerned with Possibility and Necessity , like “It is possible that…” and “It must be …” or “it is necessary that…” , and so on and so forth.
Premise 1: It is possible that a Cat is White
Premise 2: Bill is a Cat
Conclusion: Therefore, it is possible that Bill is White.
Premise 1: if it is an Animal AND Alive then It is necessary that it reproduces.
Premise 2: A cat is an Animal.
Premise 3: Bill is a Cat.
Premise 4: It is possible that a Bill is Alive.
Conclusion: Therefore, it is possible that Bill reproduces.
Imperative Logic
This system studies arguments that use imperatives, it tries to validate or invalidate imperative reasoning, with the consideration of imperatives, this type of logic comes with a lot of paradoxes that are looked into by mathematicians, logicians and philosophers like Jules Henri Poincaré and others.
Imperative Logic allows for statements that are not declarative, but rather imperative, like : “Do this !” or “Don’t do That !” ...etc. While it uses tools and propositions we have seen in previous types of logic.
Premise 1: If it is an Animal AND it is a White Then Adopt it !
Premise 2: All Cats are Animals
Premise 3: Bill is a Cat
Premise 4: Bill is White
Conclusion: Therefore, Adopt it !
Deontic Logic
This system is concerned with permission and obligation, and studies statements like “You can” and “He must” or “Ought to”, “it is permissible to” ...etc. Like imperative Logic, it builds on previous types of logic.
Premise 1: If it is a cat then you ought to adopt it
Premise 2: It is a cat
Conclusion: Therefore, You ought to adopt it
Belief Logic
It extends other logical systems, and is concerned with statements like “I believe that …” or “I do not think that …”.
Premise 1: If the Cat is White then Don’t Believe it’s Black
Premise 2: The Cat is white
Conclusion: Therefore, Don’t believe it’s black.
Many-Valued Logic:
Many-valued Logic is a system of Logic that builds on propositional logic, but has many truth values instead of two.
In classical two-valued logics we have previously discussed, a statement can only be True or False.
In many-valued logic, statements have more than two truth values, for example : in a three-valued system, a statement can be “True”, “False” or “half-True, Half-False”.
Systems can also be four-valued, five-valued..etc:
There are finite-valued systems, where the number of possible truth values is finite (discrete, like the three-valued system we have just seen in the previous example), and there are also infinite-valued systems, where the number of possible truth values is infinite. Examples of infinite-valued Logics are : Probability Logic and Fuzzy Logic.
Premise 1: If a Cat is White then it is not Black
Premise 2:A Cat is Gray (i.e half-white, half-black)
Conclusion:Therefore, the Cat is Half-White and Half-Black.
In the previous argument, White is neither True nor False, it is Half-True, Half-false since the cat is Gray. This kind of half-true half-false statements is allowed in many-valued logical systems.
There are also other types of Logic like : Paraconsistent Logic, Intuitionist Logic and Relevance Logic.
We will do our best to cover them in these lessons.