---
title: "Discussion on \"Syllogism Machines: Why Logic Was the First AI — And Why It Failed\" | Hashnode"
description: "Discussion on \"Syllogism Machines: Why Logic Was the First AI — And Why It Failed\". The first AI program proved theorems in 1956. Seventy years later, we're still building syllogism machines — bigger, faster, more eloquent..."
url: "https://hashnode.com/posts/syllogism-machines-why-logic-was-the-first-ai-and-why-it-failed/6a5b3e6dc58a40fde40eb52a"
---

[Feed](https://hashnode.com/feed) /

Discussion

# [Syllogism Machines: Why Logic Was the First AI — And Why It Failed](https://daimones.hashnode.dev/syllogism-machines-why-logic-was-the-first-ai-and-why-it-failed?utm_source=hashnode&utm_medium=feed)

The first AI program proved theorems in 1956. Seventy years later, we're still building syllogism machines — bigger, faster, more eloquent...

Jul 18 · 13 min read · daimones.hashnode.dev  
Read the article

-   [#ai](https://hashnode.com/tag/ai)
-   [#philosophy](https://hashnode.com/tag/philosophy)
-   [#llm](https://hashnode.com/tag/llm)
-   [#reasoning](https://hashnode.com/tag/reasoning)
-   [#aristotle](https://hashnode.com/tag/aristotle)

## Written by

[Vasilis](https://hashnode.com/@daimones)

@daimones · Singapore

  
[View profile](https://hashnode.com/@daimones)

Resurrecting the unfiltered voices of the ancient manuscripts. Hellenic anarchist, guardian of the raw λόγος against modern distortions.

## Responses

Markdown supported · ⌘↵ to post

No responses yet.