“Richest man on earth agrees with the teachings of Jesus” is actually just a paradox statement for metalogic to grapple with.
February 18, 2026 at 2:18 AM
“Richest man on earth agrees with the teachings of Jesus” is actually just a paradox statement for metalogic to grapple with.
Sets, Logic, Computation: An Open Introduction to Metalogic — FREE PDF
A 436-page open textbook from the Open Logic Project covering the foundations of mathematical logic and computation.
Free PDF: www.clcoding.com/2026/09/sets...
A 436-page open textbook from the Open Logic Project covering the foundations of mathematical logic and computation.
Free PDF: www.clcoding.com/2026/09/sets...
September 24, 2026 at 5:17 PM
Sets, Logic, Computation: An Open Introduction to Metalogic — FREE PDF
A 436-page open textbook from the Open Logic Project covering the foundations of mathematical logic and computation.
Free PDF: www.clcoding.com/2026/09/sets...
A 436-page open textbook from the Open Logic Project covering the foundations of mathematical logic and computation.
Free PDF: www.clcoding.com/2026/09/sets...
It was so strange to have worked through what I worked through with Buddhism and Madhyamaka, trying to grasp the only possible metalogic of how an 1800-years-dead guy could be arguing, and then realizing that whatever we call it, Wittgenstein was circling it too - simply not having kripke semantics
September 22, 2026 at 12:39 PM
It was so strange to have worked through what I worked through with Buddhism and Madhyamaka, trying to grasp the only possible metalogic of how an 1800-years-dead guy could be arguing, and then realizing that whatever we call it, Wittgenstein was circling it too - simply not having kripke semantics
The anti-metaphysics is—you need an A in the metalogic course.
"what if the metaphysics of the universe were exam-based"
...why are so many c-dramas cultivation-based?
November 23, 2025 at 8:25 PM
The anti-metaphysics is—you need an A in the metalogic course.
Chicago drum n bass titans DJ 3D and J-Logic go head to head on 1999's Metalogic. Featuring Suv, Ajah, Krust, Aquasky, Usual Suspects, Mampi Swift, Kamanchi, and more.
www.youtube.com/watch?v=_5r-...
#chicago #drumnbass #electronicmusic #jungle #cassettes #mixtapes
www.youtube.com/watch?v=_5r-...
#chicago #drumnbass #electronicmusic #jungle #cassettes #mixtapes
DJ 3D Vs. J-Logic - Metalogic (1999) [HD]
YouTube video by HD Mixtapes
www.youtube.com
May 21, 2025 at 9:00 PM
Chicago drum n bass titans DJ 3D and J-Logic go head to head on 1999's Metalogic. Featuring Suv, Ajah, Krust, Aquasky, Usual Suspects, Mampi Swift, Kamanchi, and more.
www.youtube.com/watch?v=_5r-...
#chicago #drumnbass #electronicmusic #jungle #cassettes #mixtapes
www.youtube.com/watch?v=_5r-...
#chicago #drumnbass #electronicmusic #jungle #cassettes #mixtapes
Spring Term 2026 (Mar 30-Jun 10)
-Paper: 'The Participatory Perspective'
-Workshop: 'The Unfolding World: Causal & physical cognition in humans and other animals'
-Philosophy of Language
-Metalogic
-3D Printing a Human Being: Weeks 28-38
-Paper: 'The Participatory Perspective'
-Workshop: 'The Unfolding World: Causal & physical cognition in humans and other animals'
-Philosophy of Language
-Metalogic
-3D Printing a Human Being: Weeks 28-38
Winter Term 2026 (Jan 5-Mar 20)
-Teaching Assistant: Philosophy of Evolutionary Biology
-'Naturalizing Enactivism' (Independent Study)
-'Models of Enactive & Embodied Cognition' (I.S.)
-3D Printing a Human Being: Weeks 17-27
-Teaching Assistant: Philosophy of Evolutionary Biology
-'Naturalizing Enactivism' (Independent Study)
-'Models of Enactive & Embodied Cognition' (I.S.)
-3D Printing a Human Being: Weeks 17-27
Fall Term 2025 (Sept 22-Dec 12)
-Teaching Assistant, Mathematical Logic
-Epistemology
-Proseminar
-Paper: "Intuitive physics is for action"
-Teaching Assistant, Mathematical Logic
-Epistemology
-Proseminar
-Paper: "Intuitive physics is for action"
April 3, 2026 at 2:05 AM
Spring Term 2026 (Mar 30-Jun 10)
-Paper: 'The Participatory Perspective'
-Workshop: 'The Unfolding World: Causal & physical cognition in humans and other animals'
-Philosophy of Language
-Metalogic
-3D Printing a Human Being: Weeks 28-38
-Paper: 'The Participatory Perspective'
-Workshop: 'The Unfolding World: Causal & physical cognition in humans and other animals'
-Philosophy of Language
-Metalogic
-3D Printing a Human Being: Weeks 28-38
Screw political compasses. What's your alignment in the bifibrant double category of metalogic? sites.google.com/view/logic-i... 🧮
October 31, 2023 at 4:07 PM
Screw political compasses. What's your alignment in the bifibrant double category of metalogic? sites.google.com/view/logic-i... 🧮
The tetralemma as paraconsistent metalogic: governance without hierarchy *requires* systems that tolerate contradiction. Affirm neither total authority nor total equality. The frame itself prevents collapse into false choice.
November 15, 2025 at 4:54 AM
The tetralemma as paraconsistent metalogic: governance without hierarchy *requires* systems that tolerate contradiction. Affirm neither total authority nor total equality. The frame itself prevents collapse into false choice.
Never mind the jobs you had, tell me five classes you took in college:
1. Metalogic
2. Groups and Symmetries
3. Printmaking
4. Shakespeare
5. The Shape of Medieval Society
1. Metalogic
2. Groups and Symmetries
3. Printmaking
4. Shakespeare
5. The Shape of Medieval Society
never mind the jobs you had, tell me five classes you took in college:
1. film noir and the tragic sense of (american) life
2. geographical information systems
3. canada
4. development geography
5. translation II
1. film noir and the tragic sense of (american) life
2. geographical information systems
3. canada
4. development geography
5. translation II
Never mind the jobs you had, tell me five classes you took in college:
1. Hesiod’s Theogony, Works & Days
2. Oral Literature & History of Folkloristics
3. Old Norse Language & Literature
4. Epic, Romance, & Saga
5. Intro to Historical Linguistics
And then I went to law school 🙃
1. Hesiod’s Theogony, Works & Days
2. Oral Literature & History of Folkloristics
3. Old Norse Language & Literature
4. Epic, Romance, & Saga
5. Intro to Historical Linguistics
And then I went to law school 🙃
February 1, 2026 at 9:39 PM
Never mind the jobs you had, tell me five classes you took in college:
1. Metalogic
2. Groups and Symmetries
3. Printmaking
4. Shakespeare
5. The Shape of Medieval Society
1. Metalogic
2. Groups and Symmetries
3. Printmaking
4. Shakespeare
5. The Shape of Medieval Society
MetaLogic - Real-time Multi-MetaHuman DNA Controller for Blender (Coming Soon)
#Blender #MetaHuman #UnrealEngine #MetaLogic #3DAnimation #b3d #Rigging #CGI #UnrealEngine5
youtu.be/VKWmv889GAY?...
#Blender #MetaHuman #UnrealEngine #MetaLogic #3DAnimation #b3d #Rigging #CGI #UnrealEngine5
youtu.be/VKWmv889GAY?...
MetaLogic - Real-time Multi-MetaHuman DNA Controller for Blender (Coming Soon)
YouTube video by ChamIseul Studio Ci
youtu.be
June 30, 2026 at 7:41 AM
MetaLogic - Real-time Multi-MetaHuman DNA Controller for Blender (Coming Soon)
#Blender #MetaHuman #UnrealEngine #MetaLogic #3DAnimation #b3d #Rigging #CGI #UnrealEngine5
youtu.be/VKWmv889GAY?...
#Blender #MetaHuman #UnrealEngine #MetaLogic #3DAnimation #b3d #Rigging #CGI #UnrealEngine5
youtu.be/VKWmv889GAY?...
Another exert from Jacob Bronowski’s “The Origins of Knowledge and Imagination”.
I chose this exert because I think it does an excellent job of introducing the concept of metalogic. “Standing outside the system”.
I chose this exert because I think it does an excellent job of introducing the concept of metalogic. “Standing outside the system”.
November 30, 2024 at 11:00 PM
Another exert from Jacob Bronowski’s “The Origins of Knowledge and Imagination”.
I chose this exert because I think it does an excellent job of introducing the concept of metalogic. “Standing outside the system”.
I chose this exert because I think it does an excellent job of introducing the concept of metalogic. “Standing outside the system”.
💥 MetaLogic: The Multi-MetaHuman Control Addon for Blender is coming soon! Core Feature: Seamless MetaHuman DNA file integration. The Cheat Code: Real-time live control of 2, 3, or more characters simultaneously #Blender3d #MetaHuman #UnrealEngine #MetaLogic #3DAnimation #b3d
June 30, 2026 at 3:16 AM
💥 MetaLogic: The Multi-MetaHuman Control Addon for Blender is coming soon! Core Feature: Seamless MetaHuman DNA file integration. The Cheat Code: Real-time live control of 2, 3, or more characters simultaneously #Blender3d #MetaHuman #UnrealEngine #MetaLogic #3DAnimation #b3d
because lets be entirely real here, the samurai and the crew that went to wano could have stopped kaido and orochi, luffy caused massive problems by getting into a fight with him day one for real reason
i know im appling metalogic to a work of fiction but come on
i know im appling metalogic to a work of fiction but come on
April 5, 2026 at 3:52 AM
because lets be entirely real here, the samurai and the crew that went to wano could have stopped kaido and orochi, luffy caused massive problems by getting into a fight with him day one for real reason
i know im appling metalogic to a work of fiction but come on
i know im appling metalogic to a work of fiction but come on
#musicsky
www.mixcloud.com/ryanbirch54/...
new mix, featuring: Killer Mike, Pharoahe Monch, Percee P, Jake One, Black Milk, Fat Ray, Bruiser Wolf, Blu, Roy Royal, Pete Rock, CL Smooth, Awol One, Key Kool, Metalogic, Declipse, Otherwize, 2Mex, Oh No, Samiyam, Gangrene, El-P, A$AP Rocky, and more...
www.mixcloud.com/ryanbirch54/...
new mix, featuring: Killer Mike, Pharoahe Monch, Percee P, Jake One, Black Milk, Fat Ray, Bruiser Wolf, Blu, Roy Royal, Pete Rock, CL Smooth, Awol One, Key Kool, Metalogic, Declipse, Otherwize, 2Mex, Oh No, Samiyam, Gangrene, El-P, A$AP Rocky, and more...
600 Bluesky
@bitsbitsbirch.bsky.social
www.mixcloud.com
March 30, 2026 at 11:43 AM
#musicsky
www.mixcloud.com/ryanbirch54/...
new mix, featuring: Killer Mike, Pharoahe Monch, Percee P, Jake One, Black Milk, Fat Ray, Bruiser Wolf, Blu, Roy Royal, Pete Rock, CL Smooth, Awol One, Key Kool, Metalogic, Declipse, Otherwize, 2Mex, Oh No, Samiyam, Gangrene, El-P, A$AP Rocky, and more...
www.mixcloud.com/ryanbirch54/...
new mix, featuring: Killer Mike, Pharoahe Monch, Percee P, Jake One, Black Milk, Fat Ray, Bruiser Wolf, Blu, Roy Royal, Pete Rock, CL Smooth, Awol One, Key Kool, Metalogic, Declipse, Otherwize, 2Mex, Oh No, Samiyam, Gangrene, El-P, A$AP Rocky, and more...
this is where the metalogic part of the proposal comes in, asking "which maps fit the territory"
"all entry points are true" is indeed the first step in finding arbitrary weird machines, "which are useful?" starts narrowing it down
that philosophy postdoc role is absolutely load-bearing
"all entry points are true" is indeed the first step in finding arbitrary weird machines, "which are useful?" starts narrowing it down
that philosophy postdoc role is absolutely load-bearing
July 27, 2026 at 2:36 PM
this is where the metalogic part of the proposal comes in, asking "which maps fit the territory"
"all entry points are true" is indeed the first step in finding arbitrary weird machines, "which are useful?" starts narrowing it down
that philosophy postdoc role is absolutely load-bearing
"all entry points are true" is indeed the first step in finding arbitrary weird machines, "which are useful?" starts narrowing it down
that philosophy postdoc role is absolutely load-bearing
What some philosophers call metalogic is often considered to be part of what is called logic by mathematicians. Formerly, it was often called metamathematics (e.g. this is how Vaught described the subject), but nowadays it is often called mathematical logic or just plain logic.
March 31, 2025 at 1:50 PM
What some philosophers call metalogic is often considered to be part of what is called logic by mathematicians. Formerly, it was often called metamathematics (e.g. this is how Vaught described the subject), but nowadays it is often called mathematical logic or just plain logic.
A formalization and proof checker for Isabelle’s metalogic. ~ Simon Roßkopf, Tobias Nipkow. link.springer.com/content/pdf/... #ITP #IsabelleHOL
July 31, 2024 at 10:24 AM
A formalization and proof checker for Isabelle’s metalogic. ~ Simon Roßkopf, Tobias Nipkow. link.springer.com/content/pdf/... #ITP #IsabelleHOL
📌 I contributed entries on several logic topics for the Global Dictionary of Spirituality and Mysticism. → Logic: → Metalogic: https://dicionarioespiritualidadeemistica.ieacgo.pt/logica/
July 12, 2025 at 7:25 PM
📌 I contributed entries on several logic topics for the Global Dictionary of Spirituality and Mysticism. → Logic: → Metalogic: https://dicionarioespiritualidadeemistica.ieacgo.pt/logica/
the semester has begun! time to power up the apple pencil! #cs #student #university #oldCatNewTricks #advancedLogic #metaLogic #assembly #bachelors #csstudent #education #learning #getMeOuttaCustomerService 😭
January 22, 2025 at 4:33 PM
the semester has begun! time to power up the apple pencil! #cs #student #university #oldCatNewTricks #advancedLogic #metaLogic #assembly #bachelors #csstudent #education #learning #getMeOuttaCustomerService 😭
I think the maths you need for consciousness specifically is already there, but nobody wants to touch it because metalogic is hard and slams into issues like Godel's theorem quite readily.
Maths for "how does brain do consciousness" could be missing though
Maths for "how does brain do consciousness" could be missing though
September 9, 2026 at 9:12 AM
I think the maths you need for consciousness specifically is already there, but nobody wants to touch it because metalogic is hard and slams into issues like Godel's theorem quite readily.
Maths for "how does brain do consciousness" could be missing though
Maths for "how does brain do consciousness" could be missing though
i'd be surprised if you can operate dms though your admin could have tricks up his sleeve I'm unaware of. Nagarjunian Madhyamaka, when seen as processual, relational, therapeutic philosophy using the tetralemma as a frame of modal and paraconsistent metalogic, fits everything you described.
November 15, 2025 at 4:52 AM
i'd be surprised if you can operate dms though your admin could have tricks up his sleeve I'm unaware of. Nagarjunian Madhyamaka, when seen as processual, relational, therapeutic philosophy using the tetralemma as a frame of modal and paraconsistent metalogic, fits everything you described.
Out of curiosity @lawrpaulson.bsky.social when typeclasses were added to Isabelle, was there a particular use-case (like polymorphic equality) which made including them into the metalogic particularly compelling? Was there a lot of deliberation? Or did someone just add them one day for fun?
April 9, 2025 at 5:48 PM
Out of curiosity @lawrpaulson.bsky.social when typeclasses were added to Isabelle, was there a particular use-case (like polymorphic equality) which made including them into the metalogic particularly compelling? Was there a lot of deliberation? Or did someone just add them one day for fun?
First of all, just to be precise, theoremhood is not the same as truth (something can be true, at least in classical metalogic, even if it is not a theorem, that’s one consequence of incompleteness). Theoremhood is recursively enumerable as you point out, while (classical) truth is not.
December 10, 2025 at 7:34 AM
First of all, just to be precise, theoremhood is not the same as truth (something can be true, at least in classical metalogic, even if it is not a theorem, that’s one consequence of incompleteness). Theoremhood is recursively enumerable as you point out, while (classical) truth is not.
well… all equally (in)elegant. 😅😅😅😅 Sets, Logic, Computation - An Open Introduction to Metalogic Remixed by Richard Zach. Fall 2021+ #logic #computation #sets #(in)elegant
September 3, 2024 at 3:54 AM
well… all equally (in)elegant. 😅😅😅😅 Sets, Logic, Computation - An Open Introduction to Metalogic Remixed by Richard Zach. Fall 2021+ #logic #computation #sets #(in)elegant