Causation The question, “What is causation?” may sound like a trivial question—it is as sure as common knowledge can ever be that some things cause another, that there are causes and they necessitate certain effects. We say that we know that what caused the president’s death was an assassin’s shot. But when asked why, we will most certainly reply that it is because the latter

Lewis Carroll: Logic Charles L. Dodgson (also known as Lewis Carroll), 1832-1898, was a British mathematician, logician, and the author of the ‘Alice’ books, Alice’s Adventures in Wonderland and Through the Looking Glass and What Alice Found There. His fame derives principally from his literary works, but in the twentieth century some of his mathematical and logical ideas found important applications. His approach to them

Socialism Socialism is both an economic system and an ideology (in the non-pejorative sense of that term). A socialist economy features social rather than private ownership of the means of production. It also typically organizes economic activity through planning rather than market forces, and gears production towards needs satisfaction rather than profit accumulation. Socialist ideology asserts the moral and economic superiority of an economy with

Plato: The Republic Since the mid-nineteenth century, the Republic has been Plato’s most famous and widely read dialogue.  As in most other Platonic dialogues the main character is Socrates.  It is generally accepted that the Republic belongs to the dialogues of Plato’s middle period.  In Plato’s early dialogues, Socrates refutes the accounts of his interlocutors and the discussion ends with no satisfactory answer to the

Robert Boyle (1627—1691) Robert Boyle was one of the most prolific figures in the scientific revolution and the leading scientist of his day. He was a proponent of the mechanical philosophy which sought to explain natural phenomena in terms of matter and motion, rather than appealing to Aristotelian substantial forms and qualities. He was a champion of experimental science, claiming that theory should conform to

Lambda Calculi Lambda calculi (λ-calculi) are formal systems describing functions and function application. One of them, the untyped version, is often referred to as the λ-calculus. This exposition will adopt this convention. At its core, the λ-calculus is a formal language with certain reduction rules intended to capture the notion of function application [Church, 1932, p. 352]. Through the primitive notion of function application, the