Tubidy
    Provability Predicates, and Beyond (The Power and Limits of Logic, 12)

    Provability Predicates, and Beyond (The Power and Limits of Logic, 12)

    25:06 |
    Download MP3

    Related Videos

    Philosophy & What Matters. Ep. 2: Existence with Greg Restall (UniMelbourne) 58:56

    Philosophy & What Matters. Ep. 2: Existence with Greg Restall (UniMelbourne)

    Is it logical to believe in God? with Prof Greg Restall (Bigger Questions Ep 60) 27:31

    Is it logical to believe in God? with Prof Greg Restall (Bigger Questions Ep 60)

    Assertions, Denials, Questions, Answers & the Common Ground—an online talk at the Dianoia Institute 1:00:54

    Assertions, Denials, Questions, Answers & the Common Ground—an online talk at the Dianoia Institute

    PAP 20201 WORLD LOGIC DAY - Talks by Dave Ripley and Greg Restall 1:58:25

    PAP 20201 WORLD LOGIC DAY - Talks by Dave Ripley and Greg Restall

    Greg Restall -- An Inferentialist Account of Identity and Modality 1:04:09

    Greg Restall -- An Inferentialist Account of Identity and Modality

    Greg Restall, "Proofs and Models in Philosophical Logic," (BLC 2021) 1:04:40

    Greg Restall, "Proofs and Models in Philosophical Logic," (BLC 2021)

    Ep 191b: How do we learn to have better conversations about God (Part 2) 27:32

    Ep 191b: How do we learn to have better conversations about God (Part 2)

    Is it Logical to Believe in God? - Greg Restall - 6-7 July 2024 27:47

    Is it Logical to Believe in God? - Greg Restall - 6-7 July 2024

    Models, and Soundness for Predicate Logic (The Power and Limits of Logic, 2) 34:57

    Models, and Soundness for Predicate Logic (The Power and Limits of Logic, 2)

    The Language of Predicate Logic (The Power and Limits of Logic, 1a) 41:10

    The Language of Predicate Logic (The Power and Limits of Logic, 1a)

    Geometric Models for Relevant Logics—An online talk at the Melbourne Logic Group 56:13

    Geometric Models for Relevant Logics—An online talk at the Melbourne Logic Group

    Register machines compute the recursive functions (The Power and Limits of Logic, 8) 31:59

    Register machines compute the recursive functions (The Power and Limits of Logic, 8)

    "Truth-Makers, Entailment and Necessity" and "Postscript" by Greg Restall (Truthmaking 3/11) 4:17:18

    "Truth-Makers, Entailment and Necessity" and "Postscript" by Greg Restall (Truthmaking 3/11)

    Logic: Language and Information 2 (Coursera) Video Chat 31:07

    Logic: Language and Information 2 (Coursera) Video Chat

    Identity and Functions (The Power and Limits of Logic, 4) 31:28

    Identity and Functions (The Power and Limits of Logic, 4)

    Countability and Diagonalisation (The Power and Limits of Logic, 5) 16:29

    Countability and Diagonalisation (The Power and Limits of Logic, 5)

    Non-Recursive Functions (The Power and Limits of Logic, 9) 30:48

    Non-Recursive Functions (The Power and Limits of Logic, 9)

    Compactness and Countable Models (The Power and Limits of Logic, 6) 19:49

    Compactness and Countable Models (The Power and Limits of Logic, 6)

    Provability Predicates, and Beyond (The Power and Limits of Logic, 12) 25:06

    Provability Predicates, and Beyond (The Power and Limits of Logic, 12)

    Proofs for Predicate Logic (The Power and Limits of Logic, 1b) 29:44

    Proofs for Predicate Logic (The Power and Limits of Logic, 1b)