It's #Logic 11 update day, so while I wait excitedly for a whole new version number to drop, as we go from V10 to V11, what better way to pass the time than to copy text I sent to a Logic WhatsApp group and email list into #ElevenLabs, chuck some music under it and make a silly production out of it? In Logic obviously.
@Onj Hi Andre is this email/WhatsApp group for logic you mentioned in this post open for everyone to join or is it something that is private or not open for everyone to join.
Coming up in less than 18 hours, our two-day Proofs, Rules and Meanings extravaganza. Sophie, Viviane and Francisca have been working hard to organise a productive two days of logic, and our participants get to enjoy the fruits of their hard work very soon.
I think I’m ready for my talk at our two-day proof theory workshop, starting tomorrow: https://consequently.org/presentation/2024/lambda-mu-arche/ — I have a lot to pack in to 25 minutes, so the monster-sized handout contains some of the details I’ll skim over in the talk.
I have a new(ish) preprint on the arXiv! You can find "Invariants of structures" at https://arxiv.org/abs/2402.18063. This is a somewhat embellished version of one half of my PhD thesis. A talk which I gave about this subject in the fall of 2022 is available at https://www.youtube.com/watch?v=5TeGZZ_mepc.
In this new version, I have finally added an explicit description of something I've been telling people for years: My main result shows that any first-order property of finite structures can be computed by counting small substructures. Perhaps surprisingly, this comes as a result of synthesizing a categorical treatment of Bourbaki's notion of mathematical structure with Hilbert's classical result on symmetric polynomials.
@siblingpastry I’ve heard theoretical physicists talking about the possibility of many dimensions outside our reach. Maybe there could have been nothing here in our realm of perceivable space, while there was something elsewhere.
@ollicle That is quite a compelling way of looking at it yeah. Like the question of free will -- it's possible for free will to exist, without implying that we actually have it.
@fellwalker57@rzeta0 my intuition is also completely broken on this... because in my life, if P implies Q, P being false allows Q to be be true for other reasons. It is not the same as Q if P and only if P.
If mapping arguments improves critical thinking, then argument mapping skills should correlate with critical thinking skills, right?
Alas, they didn't correlate among 115 Advanced Placement students across 4 high schools who mapped arguments for universal basic income (from a Douglas Murray article).
I had a teacher who loved them. Sometimes she’d give us one to work on. After a while, she’d put up that same puzzle on the projector and explain how to solve it for anyone who didn’t find all of the answers.
Her enthusiasm for them made me a lifelong fan of them, too.
Does anyone have recommendations for a good beginners midi controller that's fairly cheap, ideally a 25-key one? I don't want to break the bank just yet, but I'm getting incredibly tired of Musical Typing and trying to play complex melodies on a MacBook's internal keyboard. #Musician#Logic#Midi
@KyleBorah@FreakyFwoof@TheQuinbox@tspivey Right, but I didn't want it because it was cheap. I wanted it because it was compact. Can't carry my full controller in my laptop bag. I guess what I want them to make is more like an M37 Pro. All of the features, just compact. Don't care if it costs more.
The major term (P): Revenge is a dish best served cold
The minor term (S): Gazpacho is a dish best served cold.
The middle term (M): Gazpacho is the best dish when served for revenge.
🤨 #syllogisms #logic
I think it is often mistaken to refer to Logic or Reason, but only because the two are so intimately associated. That, and it isn't always clear where one ends and the other begins.
It would be more useful to have a word like "Rea-gic", that carries both meanings at the same time...? 🤔
Toshiyasu Arai just put a preprint with a pretty big result in arxiv: "In this paper we give an ordinal analysis of a set theory with (\Pi_N)-Collection."
If right, he found the proof-theoretical ordinal of second-order arithmetic.
More than argument, #logic is the very structure of reality
“Philosophers have sometimes fallen into that trap, thinking that logic had nothing left to discover. But it is now known that logic can never complete its task. Whatever problems logicians solve, there will always be new problems for them to tackle, which cannot be reduced to the problems already solved.” #philosophy#knowledge#scientificmethod