Schlagwort-Archiv: Logik

It might be a class, but not the whole.

The set of all people who are confused by set theory might confuse them.


Expect lots of weird symbols and stuff, as the project is on formal logic. 😉

Ramon: New! Fresh! A Blog!


A logical theory may be tested by its capacity for dealing with puzzles, and it is a wholesome plan, in thinking about logic, to stock the mind with as many puzzles as possible, since these
serve much the same purpose as is served by experiments in physical science.

Bertrand Russell: On Denoting


We do not live in the age of logic,
we live in the age of deception.

a friend


Die Hierachie der Propositionen ist praktisch nirgendwo erforderlich und hat bloß für die Auflösung von Paradoxien Bedeutung; [...]

Alfred North Whitehead & Bertrand Russell: Principia Mathematica: Vorwort und Einleitungen, Teil V. (Seite 80 der Deutschen Übersetzung, Suhrkamp 2008)


Mensen namen maar gewoon aan dat de aardappel gekookt zou worden, omdat de vorige aardappel dat ook deed. Terwijl er maar één aardappel hoeft te zijn die niet wordt gekookt, en dan is de hele onderbouwing onder je stamppot weg.

De Speld: Koken op deductie: maak logisch onontkoombare gerechten!

Rest in Proof.

In 1998, a chapter on realizability by his hand came out in the Handbook of Proof Theory. Characteristically, Anne’s text had been finished a few years before, faithfully meeting his deadline, but delays by other authors kept him updating, somewhat grumblingly, with all new results in the area. What he published had to be the complete state of the art.

Johan van Benthem and Dick de Jongh: Anne Troelstra (1939-2019)

Ältere Beiträge «