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

I never understand why people object to the notion of a possible world. Is a probability space silly/useless?

see rich text facets: docs.bsky.app/docs/advance...

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...

jjj

It more that Wikidata doesn’t “know” very much about philosophy of music. And the LLM is instructed to not venture out beyond what was extracted from Wikidata.

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

Built with the constraints of being free, truthful, and easy to generalize, it leverages publicly available APIs and services. It was designed to operate without any paid infrastructure, using open-source technologies for both querying and content generation. And just for fun to play with some AI.

It then leverages the OpenAI API to convert the raw RDF data into grammatically correct posts. The atproto API interfaces with Bluesky to post the generated content.

Written in Python, the bot uses SPARQLWrapper to query Wikidata, a large open knowledge graph containing structured data on philosophical entities in RDF format.

The raw data is then fed to a large language model, which formats it into a polished, grammatically correct post following specific guidelines. The fact is then automatically posted on Bluesky.

It randomly selects a type of philosophy-related entity (like a philosopher or philosophical concept). Then picks an entity from that category and chooses a random relation to extract a fact...

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/...

See Augustine's De Magistro. Translation from King, P. 1995. 𝘈𝘨𝘢𝘪𝘯𝘴𝘵 𝘵𝘩𝘦 𝘈𝘤𝘢𝘥𝘦𝘮𝘪𝘤𝘪𝘢𝘯𝘴 𝘢𝘯𝘥 𝘛𝘩𝘦 𝘛𝘦𝘢𝘤𝘩𝘦𝘳. Hackett Publishing Company (p. 112).

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.

related (kind of): what is chess notation, mathematically. semprag.org/index.php/sp...

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

I’m thinking e.g. about the different issues addressed in these two volumes

philpapers.org/rec/BURMNE-2

philarchive.org/rec/BALTSO-32

Both issues you are discussing fall under “metasemantics,” as they concern the grounds that determine meaning. There is another use of “metasemantics” that addresses issues related to the aims of semantic theory and the form a theory must take, etc. I prefer to call the latter “semantic metatheory”

I get flux; not sure how to interpret these numbers. But 👀

hahahaha. what?

[1hr Talk] Intro to Large Language Models YouTube video by Andrej Karpathy

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

Why isn’t the tree more like this? might[[should [Robert leave]]] (Just curious if your stipulation of the modal operating on the modal is plausible? If it’s just cuz that’s the question, then fine. )

You might find these notes on “From Description Logic to Web Ontology
Language” interesting drive.google.com/file/d/1Ffqe...

Brian Rabern, On the Semantics of Email Addresses - PhilPapers At the turn of the century, electronic mail emerged as a core mode of communication, fundamentally transforming the way individuals and organizations interact. In this digital age, one ubiquitous repr...

(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.

The Jupyter notebook has an overview : brianrabern.github.io/VennSynSem/i...

Venn diagrams

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/...