1922
Symbolic logic or algebra.
The three main divisions of logic are formal logic, informal logic, and symbolic logic. Formal logic focuses on the structure and form of arguments, using systems like propositional and predicate logic. Informal logic deals with everyday reasoning and argumentation, emphasizing the content and context of arguments. Symbolic logic uses mathematical symbols to represent logical expressions, allowing for precise manipulation and analysis of logical statements.
Boolean logic was invented by George Boole, an English mathematician, philosopher, and logician. He developed this mathematical framework in the mid-19th century, laying the groundwork for modern computer science and digital circuit design. Boole's work focused on the use of symbolic logic to represent logical expressions and operations. His seminal book, "The Laws of Thought," published in 1854, formalized these concepts.
tesla
He invented what is now simply known as Boolean logic. It is what is used in modern computers.
Journal of Symbolic Logic was created in 1936.
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
A. H Basson has written: 'Introduction to symbolic logic' -- subject(s): Logic, Symbolic and mathematical, Symbolic and mathematical Logic
Check out the related links section for the history of symbolic logic. And traditional 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
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.
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