Logic

Gregor Reisch, Logic presents its main themes. Margarita Philosophica, 1503 or 1508. In the engraving, two dogs named veritas (truth) and falsitas (falsehood) chase a rabbit named problema (problem). Logic runs behind the dogs, armed with the sword syllogismus (syllogism). In the bottom left corner, the philosopher Parmenides can be seen in a cave.

Logic is the study of reasoning. The rules of logic let philosophers make logical deductions about the world. Logic helps people decide whether something can be true or false.

Logic is often written in syllogisms, which are one type of logical proof. A syllogism is made from a collection of statements used to logically prove the final statement, called the conclusion. One popular example of a logical syllogism was written by the Classical Greek philosopher Aristotle:

All men are mortal.
Socrates is a man.
Therefore, Socrates is mortal.

The conclusion is the final statement. This syllogism connects the first two statements to make a logical deduction: Socrates is mortal.

The syllogism is made from three logical statements or propositions. These statements are short sentences describing a small step in a logical argument. The small statements make up the argument, the same way atoms make up molecules. When logic is correct, the statements are said to "follow" from each other.

Statements have a truth value, meaning they can be proved to be true or false, but not both. Illogical statements or mistakes in logic are called logical fallacies.

Symbolic logic

Logical statements can be written in a special type of short hand writing, which includes the symbols of the symbolic logic. These symbols are used to describe logical reasoning in an abstract way. For example:^[1]^[2]

[math]\displaystyle{ \land }[/math] is read like "and", meaning both statements apply.
[math]\displaystyle{ \lor }[/math] is read like "or", meaning at least one of the statements applies.
[math]\displaystyle{ \rightarrow }[/math] is read like "implies", "are," or "If ... then ...". It represents the result of a logical statement.
[math]\displaystyle{ \lnot }[/math] is read like "not", or "it is not the case that ...".
[math]\displaystyle{ \therefore }[/math] is read like "therefore", which is used to mark the conclusion of a logical argument.
[math]\displaystyle{ () }[/math] is read like "parentheses". They group logical statements together. Statements in parentheses should always be considered first, following the order of logical operations.

Here is the previous syllogism written in symbolic logic.

[math]\displaystyle{ \rm((human\rightarrow mortal)\land(Socrates\rightarrow human))\rightarrow(Socrates\rightarrow mortal) }[/math]

By replacing the English words with letters, one can make the syllogism even simpler.

[math]\displaystyle{ ((a\rightarrow b)\land(c\rightarrow a))\rightarrow(c\rightarrow b) }[/math]

Similar to mathematical symbols for operations like addition and subtraction, symbolic logic separates abstract logic from the English-language meaning of the original statements. With these abstract symbols, people can study pure logic without the use of a specific written language.

The syllogism is now written in the most abstract and simple way possible. Any distracting elements, such as English language words, have been removed. Anyone who understands logical symbolism can understand this argument.

Logical proof

A logical proof is a list of statements put in a specific order to prove a logical point. Each statement in the proof is either an assumption made for the sake of argument, or has been proven to follow from earlier statements in the proof. All proofs must start with some assumptions, such as "men exist" in the above syllogism. A proof shows that one statement, the conclusion, follows from the starting assumptions. With a proof, we can prove that "Aristotle is mortal" logically follows from "Aristotle is a man" and "All men are mortal".

Some statements are always true. That kind of statement is called tautology. One popular classical tautology, credited to the philosopher Parmenides of Elea, says "That which is, is. That which is not, is not." This essentially means that true statements are true and false statements are false. Due to their simple nature, tautologies may not always be helpful in building logical arguments.

A tautology is represented in symbolic logic as [math]\displaystyle{ (a \lor \lnot a) }[/math], meaning "Either a or not a." Assuming that there are no unmentioned possibilities, this covers every possible case. Another symbol used to represent a tautology is [math]\displaystyle{ \top }[/math].^[1]

Uses

Because logic is a tool used to think more rationally, it can be used in countless ways. Symbolic logic is employed far and wide, from philosophical treatises to complicated mathematical equations. Computers use the rules of logic to run algorithms, which let computer programs make decisions based on data.

Logic is critical to pure mathematics, statistics, and data analysis. Logic is also studied in philosophy. People who study math create proofs that use logical rules to show that mathematical theorems are correct. There is an area of mathematics called mathematical logic that studies logic using mathematics.

Logic Media

Logic studies valid forms of inference like modus ponens.
Formal logic needs to translate natural language arguments into a formal language, like first-order logic, to assess whether they are valid. In this example, the letter "c" represents Carmen while the letters "M" and "T" stand for "Mexican" and "teacher". The symbol "∧" has the meaning of "and".
Argument terminology used in logic
The square of opposition is often used to visualize the relations between the four basic categorical propositions in Aristotelian logic. It shows, for example, that the propositions "All S are P" and "Some S are not P" are contradictory, meaning that one of them has to be true while the other is false.
Gottlob Frege's Begriffschrift introduced the notion of quantifier in a graphical notation, which here represents the judgment that \forall x. F(x) is true.
Bertrand Russell 1949.jpg

Bertrand Russell made various contributions to mathematical logic.^[3]
Conjunction (AND) is one of the basic operations of Boolean logic. It can be electronically implemented in several ways, for example, by using two transistors.