32:24Damian Szmuc – The fragment of Classical Logic that respects the Variable-Sharing Principle
Advanced
A 32-minute video from Logic Supergroup: “Damian Szmuc – The fragment of Classical Logic that respects the Variable-Sharing Principle”.
Logic Supergroup
1.06K subscribers on YouTube
Shorts, livestreams, trailers and promos are never listed. Unless a curator approved this channel in full, only individually picked videos appear.
32:24
1:18:47Daniel Găină – Forcing and Calculi for Hybrid Logics
Advanced
A 79-minute video from Logic Supergroup: “Daniel Găină – Forcing and Calculi for Hybrid Logics”.
35:48Edson Bezerra – Squeezing arguments and the plurality of informal notions
Advanced
A 36-minute video from Logic Supergroup: “Edson Bezerra – Squeezing arguments and the plurality of informal notions”.
15:56Emmanuel Ofuasia – Decolonising Rigidity & the Challenge of Contexts in Classical Bivalent Logic ...
Advanced
A 16-minute video from Logic Supergroup: “Emmanuel Ofuasia – Decolonising Rigidity & the Challenge of Contexts in Classical Bivalent Logic ...”.
26:37Gabrielle Ramos García – What, if anything, can philosophical logic tell us about human rationality?
Advanced
A 27-minute video from Logic Supergroup: “Gabrielle Ramos García – What, if anything, can philosophical logic tell us about human rationality?”.
1:02:49Gisele Dalva Secco – Notes on the identity of the proofs of the Four-Color Theorem
Advanced
A 63-minute video from Logic Supergroup: “Gisele Dalva Secco – Notes on the identity of the proofs of the Four-Color Theorem”.
56:58Guillermo Badia & Grigory Olkhovikov – A Lindström theorem for predicate intuitionistic logic
Advanced
A 57-minute video from Logic Supergroup: “Guillermo Badia & Grigory Olkhovikov – A Lindström theorem for predicate intuitionistic logic”.
54:38Isabella McAllister – Belief revision about logics
Advanced
A 55-minute video from Logic Supergroup: “Isabella McAllister – Belief revision about logics”.
39:35Jason Parker – Polymorphic automorphisms and the Picard group
Advanced
A 40-minute video from Logic Supergroup: “Jason Parker – Polymorphic automorphisms and the Picard group”.
1:11:55Justin Bledin – Composing Truthmakers
Advanced
A 72-minute video from Logic Supergroup: “Justin Bledin – Composing Truthmakers”.
40:58Kameryn Williams – Potentialism about sets, potentialism about classes
Advanced
A 41-minute video from Logic Supergroup: “Kameryn Williams – Potentialism about sets, potentialism about classes”.
59:30Koji Tanaka – Empirical and Normative Arguments for Paraconsistency
Advanced
A 60-minute video from Logic Supergroup: “Koji Tanaka – Empirical and Normative Arguments for Paraconsistency”.
55:33Lorenzo Rossi – Truth and Quantification
A 56-minute video from Logic Supergroup: “Lorenzo Rossi – Truth and Quantification”.
1:03:23Marta Bílková – Belief based on inconsistent information
Advanced
A 63-minute video from Logic Supergroup: “Marta Bílková – Belief based on inconsistent information”.
57:00Melissa Fusco – A Two-Dimensional Logic for Two Paradoxes of Deontic Modality
Advanced
A 57-minute video from Logic Supergroup: “Melissa Fusco – A Two-Dimensional Logic for Two Paradoxes of Deontic Modality”.
52:46Michaela McSweeney – Logical Realism, Anti-Exceptionalism, and the Cost of Closure
Advanced
A 53-minute video from Logic Supergroup: “Michaela McSweeney – Logical Realism, Anti-Exceptionalism, and the Cost of Closure”.
1:10:25Ole Hjortland & Ben Martin – Metaphysical and Epistemological Anti-Exceptionalism
A 70-minute video from Logic Supergroup: “Ole Hjortland & Ben Martin – Metaphysical and Epistemological Anti-Exceptionalism”.
29:23Rashed Ahmad – Paradoxes and Restricting Cut
Advanced
A 29-minute video from Logic Supergroup: “Rashed Ahmad – Paradoxes and Restricting Cut”.
32:22Sandra M. López – Addressing logical omniscience by means of non-normal worlds semantics
Advanced
A 32-minute video from Logic Supergroup: “Sandra M. López – Addressing logical omniscience by means of non-normal worlds semantics”.
45:46Sankha S. Basu (Indraprastha Institute of Information Technology, Delhi): The Muchnik topos
Advanced
A 46-minute video from Logic Supergroup: “Sankha S. Basu (Indraprastha Institute of Information Technology, Delhi): The Muchnik topos”.
40:36Sara Ayhan – Reduction procedures and the meaning of proofs
Advanced
A 41-minute video from Logic Supergroup: “Sara Ayhan – Reduction procedures and the meaning of proofs”.
58:59Sara Ugolini – A logico-algebraic perspective on (non-classical) probability theory
Advanced
A 59-minute video from Logic Supergroup: “Sara Ugolini – A logico-algebraic perspective on (non-classical) probability theory”.
52:12Simon Goldstein & Kyle Blumberg – A Semantic Theory of Redundancy
Advanced
A 52-minute video from Logic Supergroup: “Simon Goldstein & Kyle Blumberg – A Semantic Theory of Redundancy”.
42:07Teresa Kouri Kissel – Carnap is not a pluralist (or monist, or nihilist)
Advanced
A 42-minute video from Logic Supergroup: “Teresa Kouri Kissel – Carnap is not a pluralist (or monist, or nihilist)”.
50:52Victoria Noquez – The Sierpinski Carpet as Final Coalgebra Obtained by Completing an Initial Algebra
Advanced
A 51-minute video from Logic Supergroup: “Victoria Noquez – The Sierpinski Carpet as Final Coalgebra Obtained by Completing an Initial Algebra”.
53:37Will Stafford – Proof-Theoretic Validity for Intuitionistic Logic
Advanced
A 54-minute video from Logic Supergroup: “Will Stafford – Proof-Theoretic Validity for Intuitionistic Logic”.
47:39Yao Tang – Recursive relations on the set of words with 2 letters
Advanced
A 48-minute video from Logic Supergroup: “Yao Tang – Recursive relations on the set of words with 2 letters”.