Did you know Leibniz dreamed of a universal language for reasoning? His "alphabet of human thought" aimed to resolve disputes mathematically, blending philosophy and logic in Enlightenment innovation. (Q3893330) #Leibniz #Enlightenment #UniversalLanguage

Did you know Benson Mates, the American philosopher known for his rigorous logic and philosophy of mathematics, studied at the University of Oregon? His work continues to influence debates on skepticism and ancient philosophy. (Q818187) #PhilosophyOfMathematics #Skepticism

tractatusSky: A bot that processes Wittgenstein's Tractatus and posts its propositions retaining the nested structure in terms of replies of replies.

bsky.app/profile/trac...

"Did you know that Adam Ferguson, a Scottish philosopher and historian (1723-1816), died in St Andrews? (Q183094, P20) #History #Philosophy"

I created this AI bot that automatically spits random philosophy facts. (It draws from the wikidata knowledge graph, uses a LLM, and connects with the bsky API) bsky.app/profile/phil...

#philsky #AI

"Once a person has understood the way in which variables are used in programming he has understood the quintessence of programming'' (Dijkstra 1972)

There is a tendency to equivocate on the term "variable" in programming. I explain in these notes. #AntinomyOfTheVariable

github.com/brianrabern/...

Augustine in dialogue with his son Adeodatus (year 389 CE):

𝗔𝘂𝗴𝘂𝘀𝘁𝗶𝗻𝗲: Is man a noun?
𝗔𝗱𝗲𝗼𝗱𝗮𝘁𝘂𝘀: Yes.
𝗔𝘂𝗴𝘂𝘀𝘁𝗶𝗻𝗲: Are you a noun?
𝗔𝗱𝗲𝗼𝗱𝗮𝘁𝘂𝘀: No.
𝗔𝘂𝗴𝘂𝘀𝘁𝗶𝗻𝗲: Shall I point out what follows from your reply? 𝗔𝗱𝗲𝗼𝗱𝗮𝘁𝘂𝘀: Please don’t. I see for myself that I must not be a man.

Take pity on Adeodatus.

"A good notation has a subtlety and suggestiveness which, at times, make it almost seem like a live teacher" - Bertrand Russell (1872–1970)

hahahaha. what?

This Karpathy talk is from last year, but still relevant and it’s very well done. youtu.be/zjkBMFhNj_g?...

(from x). chalmers recently asked me if I had a view on the semantics of email addresses. this caused me to form one here:

philpapers.org/rec/RABOTS

I tell myself, ‘I write code that writes code’ to convince myself I’m not just some digital assembly line worker.

I know this is a niche topic. But here is a Python-based implementation of the formal syntax and semantics of Venn diagrams. It provides a mathematically precise framework for deriving, visualising, and evaluating Venn diagrams.

github.com/brianrabern/...

𝐂𝐥𝐚𝐢𝐦. Anything that can be proven whatsoever can be proven by reductio ad absurdum.

𝘗𝘳𝘰𝘰𝘧. Assume not. Then [blah blah blah]...contradiction.

In many programming languages, there exists support for "variadic functions" — functions whose arity is not fixed. This flexibility is useful but can be initially puzzling. E.g. in Python, we can define a function `add_nums` that takes a variable number of arguments and returns their sum.

New draft on conditionals

philpapers.org/rec/TODIOC-2

You are on a journey towards enlightenment. And you find yourself deep within a labyrinth facing five chambers. The Fundamental Truth is hidden in one of these chambers, but it is elusive. Each night it imperceptibly shifts to an adjacent chamber…