You are here: Home › Post Tagged with: "logic"

logic

philosophy
The Philosophy of Ludwig Wittgenstein

The Philosophy of Ludwig Wittgenstein

Harald Sack
On April 26, 1889, Austrian-British philosopher Ludwig Wittgenstein was born. He worked primarily in logic, the philosophy of mathematics, the philosophy of mind, and the philosophy of language. He is considered one of the world‘s most famous philosophers. Wittgenstein‘s influence has been felt in nearly every field of the humanities and social sciences. “My work consists of two parts: of the one which is here, and of everything which I have not…
Read more
mathematics
Gottlob Frege and the Formula Language of Pure Thinking

Gottlob Frege and the Formula Language of Pure Thinking

Harald Sack
On November 8, 1848, German mathematician, logician and philosopher Gottlob Frege was born. He is considered as one of the fathers of modern mathematical logic and has developed the Begriffsschrift, an approach to put classical philosophical logic into a formal mathematical language. While he was mainly ignored by the intellectual world when he published his writings, Giuseppe Peano [7] and Bertrand Russell [8] introduced his work to later generations of logicians and philosophers. Unless…
Read more
mathematics
Jan Łukasiewicz – Multivalued Logic and Polish Notation

Jan Łukasiewicz – Multivalued Logic and Polish Notation

Harald Sack
On December 21, 1878, Polish logician and philosopher Jan Łukasiewicz was born. His work centered on philosophical logic, mathematical logic, and history of logic. However, he is best known for Polish notation and Łukasiewicz logic. Jan Łukasiewicz – Youth and Education Łukasiewicz grew up in Lwów and was the only child of Paweł Łukasiewicz, a captain in the Austrian army, and Leopoldina, née Holtzer, the daughter of a civil servant. He finished his gymnasium studies…
Read more
philosophy
Étienne de Condillac and the Importance of Language in Logical Reasoning

Étienne de Condillac and the Importance of Language in Logical Reasoning

Harald Sack
On September 30, 1714, French philosopher and epistemologist Étienne Bonnot de Condillac was born. A leading advocate in France of the ideas of John Locke de Condillac further emphasized the importance of language in logical reasoning, stressing the need for a scientifically designed language and for mathematical calculation as its basis.[4] “The art of reasoning is nothing more than a language well arranged.” – Étienne de Condillac, as quoted in [5]  Étienne de Condillac…
Read more
computer science
John McCarthy and the Raise of Artificial Intelligence

John McCarthy and the Raise of Artificial Intelligence

Tabea Tietz
On September 4, 1927, American computer scientist and cognitive scientist John McCarthy was born. He was one of the founders of the discipline of artificial intelligence. He coined the term “artificial intelligence” (AI), developed the Lisp programming language family, significantly influenced the design of the ALGOL programming language, popularized timesharing, and was very influential in the early development of AI. “Intelligence has two parts, which we shall call the epistemological and the…
Read more
mathematics
Giuseppe Peano and the Axiomatization of Mathematics

Giuseppe Peano and the Axiomatization of Mathematics

Harald Sack
On August 27, 1858, Italian mathematician and philosopher Giuseppe Peano was born. He is the author of over 200 books and papers, and is considered the founder of mathematical logic and set theory. The standard axiomatization of the natural numbers is named the Peano axioms in his honor. These axioms have been used nearly unchanged in a number of metamathematical investigations, including research into fundamental questions of consistency and completeness of number…
Read more
philosophy
Immanuel Kant – Philosopher of the Enlightenment

Immanuel Kant – Philosopher of the Enlightenment

Harald Sack
On February 12, 1804, the great German philosopher Immanuel Kant passed away. He is widely considered to be a central figure of modern philosophy. He argued that human concepts and categories structure our view of the world and its laws, and that reason is the source of morality. His thought continues to hold a major influence in contemporary thought, especially in fields such as metaphysics, epistemology, ethics, political philosophy, and aesthetics. The problem…
Read more
mathematics
Alfred Tarski and the Undefinability of Truth

Alfred Tarski and the Undefinability of Truth

Harald Sack
On January 14, 1902, Polish-American mathematician and logician Alfred Tarski was born. A prolific author he is best known for his work on model theory, metamathematics, and algebraic logic, he also contributed to abstract algebra, topology, geometry, measure theory, mathematical logic, set theory, and analytic philosophy. For my Semantic Web Technologies lecture series I always introduce my students to model-theoretic semantics as means to enable a formal representation of meaning for languages. I…
Read more
computer science
George Boole – The Founder of Modern Logics

George Boole – The Founder of Modern Logics

Harald Sack
On December 8, 1864, British mathematician and logician George Boole passed away. He is best known as the inventor of the prototype of what is now called Boolean logic, which became the basis of the modern digital computer. Thus, Boole also is regarded as one of the founders of the field of computer science. “It appeared to me that, although Logic might be viewed with reference to the idea of quantity, it…
Read more
mathematics
Augustus de Morgan and Formal Logic

Augustus de Morgan and Formal Logic

Harald Sack
On June 27, 1806, British mathematician and logician Augustus De Morgan was born. He formulated De Morgan‘s laws and introduced the term mathematical induction, a method of mathematical proof typically used to establish a given statement for all natural numbers. As a computer scientist, I am of course familiar with De Morgan‘s laws, which are fundamental for Boolean logic. De Morgan‘s laws are merely transformation rules for two of the basic operators…
Read more
Relation Browser
Timeline
0 Recommended Articles:
0 Recommended Articles: