Lmst

Yay for the editors of Journal of Philosophical Logic for collectively quitting Springer & starting something better!

And yay for @openlibhums for funding this new-but-venerable diamond #openaccess journal.

"All of the editors-in-chief and associate editors of Springer Nature’s Journal of Philosophical Logic have announced their immediate or pending resignation and the launch, as of today, of a new “diamond” open access journal, Philosophical Logic."

https://dailynous.com/2025/12/10/editors-at-springers-journal-of-philosophical-logic-resign-launch-new-open-access-journal/
#philosophy #logic

Confira a letra da música “Growing Pains Iii” de Logic
#Logic #GrowingPainsIii
https://daletra.com.br/logic/letra/growing-pains-iii.html

🐹 A 1961 Relay Computer Running in Your Browser

https://minivac.greg.technology/

#computers #emulation #hardware #software #logic #relays

Clues by Sam, Dec 12th 2025

Difficulty: Hard
My time: <9 minutes
🟩🟨🟩🟨
🟩🟨🟩🟩
🟩🟩🟩🟩
🟩🟩🟩🟩
🟩🟩🟩🟨

Consulta la letra de la canción “Everybody” de Logic
#Logic #Everybody
https://daletra.net/logic/letras/everybody.html

Fifteen studies of thousands of people from four countries found that more politically conservative individuals rated slippery-slope arguments as being more logical than did politically liberal individuals.

Summary: https://www.psypost.org/conservatives-are-more-prone-to-slippery-slope-thinking/

Original paper: https://journals.sagepub.com/doi/10.1177/01461672251391893

#Science #Psychology #Politics #Argument #SlipperySlope #Ideology #Intuition #Logic

Clues by Sam [Dec 11th 2025]

https://piefed.social/c/dailygames/p/1559604/clues-by-sam-dec-11th-2025

I'm happy that my proposal for an introductory course on Homotopy Type Theory / Univalent Foundations at the European Summer School in Logic, Language and Information 2026 in Prague was accepted!

A great opportunity to make use of @egbertrijke's recently published book, @MartinEscardo's lecture notes (in Agda!) and @danielgratzer and @carloangiuli's book draft!

Links for the curious:
- Egbert's book: https://doi.org/10.1017/9781108933568 & https://arxiv.org/abs/2212.11082
- Martín's notes: https://cs.bham.ac.uk/~mhe/HoTT-UF-in-Agda-Lecture-Notes/index.html
- Daniel and Carlo's book draft: https://www.danielgratzer.com/papers/type-theory-book.pdf

#logic #typetheory

Confira a letra da música “Yuck” de Logic
#Logic #Yuck
https://daletra.com.br/logic/letra/yuck.html

...we know that giving people various cues can make up for their poor understanding of the #logic of conditionals.

For instance, adding a scenario to a familiar conditional makes people far more likely to realize how others would test it...if it's a rule: https://dx.doi.org/10.3791/67794