Project Sherlock

Philosophy

Logic

The formal structure of valid inference.

9 topics · 1 curated work

Topics

Curated reading

1

Go deeper

Primary sources and full treatments.

  • Gödel, Escher, BachDouglas Hofstadter, 1979

    Follows self-reference through logic, art and music to argue that meaning and mind emerge from formal systems looping back on themselves.

    Book

Elsewhere in Philosophy