Channels

Browse by category.

Attic Philosophy

@atticphilosophy

30K subscribers · 235 videos

VideosCommentersAboutReleasesChangelogDiscussionsPledgersWorkflow

Learning target not published yet.

In Liquid Gold

Indexing availability

videos.

Public uploads longer than three minutes.

21 public
  • 31:39
    Automated Theorem Proving | How Computers Do Logic

    May 16, 2026 · 2.5K views

  • 14:23
    Resolution Proofs in Logic

    Feb 28, 2026 · 1.8K views

  • 14:17
    Conjunctive Normal Form

    Feb 16, 2026 · 1.1K views

  • 20:23
    Introduction to Type Theory

    Jan 17, 2026 · 8.6K views

  • 29:15
    The Tools you need for Uni in 2025

    Oct 14, 2025 · 995 views

  • 30:40
    Knights and Knaves logic puzzle

    Aug 17, 2025 · 2.2K views

  • 17:39
    Higher Order Logic

    Jul 26, 2025 · 20K views

  • 40:14
    Type Theory in Computer Science, Linguistics, Logic

    Jul 7, 2025 · 46K views

  • 26:24
    Where do academic ideas come from? + 20k subs!!!

    Jun 16, 2025 · 1.2K views

  • 21:59
    Academic Research with Consensus

    May 17, 2025 · 998 views

  • 12:26
    Proofs are Programs

    Apr 26, 2025 · 16K views

  • 20:45
    Meaning in Logic

    Apr 5, 2025 · 12K views

  • 12:56
    How to focus for research

    Mar 8, 2025 · 1.1K views

  • 32:44
    The biggest new ideas in philosophy

    Jan 13, 2025 · 6.6K views

  • 20:43
    Using AI for research

    Nov 25, 2024 · 1.4K views

  • 36:07
    Truthmaker Semantics

    Oct 14, 2024 · 5.2K views

  • 23:09
    Possible worlds semantics

    Sep 8, 2024 · 7K views

  • 40:44
    15k Subscribers Q&A

    Jul 22, 2024 · 1K views

  • 26:36
    Axioms in logic

    Jun 16, 2024 · 14K views

  • 16:26
    How to Learn Online in 2024

    May 5, 2024 · 2.4K views

  • 19:58
    Descartes Mind-Body Dualism

    Mar 30, 2024 · 11K views

shorts.

Direct uploads up to three minutes.

3 public
  • 2:27
    Type theory in 2 minutes

    Aug 5, 2025 · 4.4K views

  • 1:53
    Proof terms in logic #logic #computerscience #proof

    May 14, 2025 · 3K views

  • 0:58
    Using AI search for research #academia #research

    May 8, 2025 · 1.4K views