What is the major difference between Symbolic logic and Aristotelian logic?
1. Traditional Aristotelian logic (also called Classical Deductive Logic or Categorical Syllogisms) is an ancient method of deductive reasoning. Historians say that Aristotle, that ancient Greek philosopher guy, was the first to talk about syllogisms. In ancient Greece, men often first presented their arguments in syllogisms, and then they gave their arguments in a more rhetorical form. Men were held to a higher standard back then. This branch of logic gave us such famous lines of reasoning as:
All men are mortal.
Socrates is a man.
Therefore, Socrates is mortal.
2. Modern Symbolic Logic is another method of deductive reasoning developed after the seventeenth century. Gottfried Leibniz and other logicians had a vision for a more simple and useful method for translating ordinary reasoning into a universal language of symbols. Among other things, this method can more quickly analyze longer arguments to see if they are valid. This method of deductive reasoning made logic even more "mathematical." It also made it uglier.
This translates into:
If p is true, then q is true.
p is true.
Therefore, q is true.
Symbolic logic or algebra.
1922
Classical Logic allows two truth values, True and False. Multivalued or "many-valued logic" allows other kinds of truth values and it allows there to be more than two truth values.
He invented what is now simply known as Boolean logic. It is what is used in modern computers.
You can think of the minus sign as the negation operator in symbolic logic. Take a positive number, for example 5. Negate it one to get -5, then, following the rule from logic that a double negation is the equivalent to doing nothing at all, --5=5. The same goes for any number x.
Check out the related links section for the history of symbolic logic. And traditional logic
George Boole is often considered the father of symbolic logic for his work in developing Boolean algebra, which laid the foundations for modern symbolic logic. His ideas were instrumental in the development of computer science and information technology.
Journal of Symbolic Logic was created in 1936.
A. H Basson has written: 'Introduction to symbolic logic' -- subject(s): Logic, Symbolic and mathematical, Symbolic and mathematical Logic
Robert Feys has written: 'Logistiek, geformaliseerde logica' -- subject(s): Logic, Symbolic and mathematical, Symbolic and mathematical Logic 'Modal logics' -- subject(s): Logic, Symbolic and mathematical, Modality (Logic), Symbolic and mathematical Logic
Symbolic logic or algebra.
Joseph Robert Schoenfield has written: 'Mathematical logic' -- subject(s): Logic, Symbolic and mathematical, Symbolic and mathematical Logic
J. P. Seldin has written: 'Studies in illative combinatory logic' -- subject(s): Combinatory logic, Logic, Symbolic and mathematical, Symbolic and mathematical Logic
Clifford R. Paulson has written: 'Language, philosophy and logic' -- subject(s): Logic, Symbolic and mathematical, Symbolic and mathematical Logic
Robert A. Magnuson has written: 'Symbolic logic retrieval users code' -- subject(s): Data processing, Logic, Symbolic and mathematical, Medical records, Symbolic and mathematical Logic 'Symbolic logic retrieval users guide' -- subject(s): Data processing, Logic, Symbolic and mathematical, Medical records, Symbolic and mathematical Logic
M. Ben-Ari has written: 'Mathematical logic for computer science' -- subject(s): Logic, Symbolic and mathematical, Symbolic and mathematical Logic
Abram Aronovich Stoliar has written: 'Introduction to elementary mathematical logic' -- subject(s): Logic, Symbolic and mathematical, Symbolic and mathematical Logic