In my articles about logic and thinking many people respond that "this is bullshit, logic is just a formal science, it isn't related at all e.g. with ideology" which is hard to disprove, but very wrong: In thinking, things are related in ways that are very subtle and hard to explain. And absolutely everything is related to ideology! e.g. art is related to ideology, religion is related to ideology (it can prompt you both to your stuff out and to being a nazi (two very different kind of beliefs)).

This is very important to understand, because many people already know it.

Why was the nazi propaganda so successful? Because they understood that just straight up telling people what to think, is not the only way to influence their opinion. So they didn't only create nazi politics, they created nazi art, nazi architecture, nazi science, nazi philosophy etc.

https://abuseofnotation.github.io/boolean-thinking/

#logic #politics #ideology

In my articles about logic and thinking many people respond that "this is bullshit, logic is just a formal science, it isn't related at all e.g. with ideology" which is hard to disprove, but very wrong: In thinking, things are related in ways that are very subtle and hard to explain. And absolutely everything is related to ideology! e.g. art is related to ideology, religion is related to ideology (it can prompt you both to your stuff out and to being a nazi (two very different kind of beliefs)).

This is very important to understand, because many people already know it.

Why was the nazi propaganda so successful? Because they understood that just straight up telling people what to think, is not the only way to influence their opinion. So they didn't only create nazi politics, they created nazi art, nazi architecture, nazi science, nazi philosophy etc.

https://abuseofnotation.github.io/boolean-thinking/

#logic #politics #ideology

#newissue
Now online #TheReasoner's special issue about the inaugural meeting of the “Milan Logic and Philosophy of Science Network", held at Politecnico di #Milano in March 2025.

Part 1: #AI, #Robotics, and #Cognition
Part 2: #Epistemology, #Reasoning, and #Logic
Part 3: #Philosophy of the #PhysicalSciences, #Biology, and #Health.
Part 4: Science, Values, and Uncertainty.
Discussions: #gender, #mentalhealth and #publicengagement in academia

⬇️ https://riviste.unimi.it/index.php/thereasoner/issue/view/2713?mtm_campaign=mastodon

@cultura @scienze

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

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

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

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

...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

In the 60s Wason showed people poorly understand the #logic of testing abstract conditionals (If..., then...).

In the 70s Johnson-Laird et al. found people DO know how others tend to test FAMILIAR conditionals (If someone drinks, then they must be 21).

After many more papers...

[New Blog Post] Implementing E Unification using SMT https://www.philipzucker.com/smt_unify/ #logic #automatedreasoning #smt

Happy #Halloween

#logic #programming #boolean

Happy #Halloween

#logic #programming #boolean

it's a #gate of #logic gates

it's a #gate of #logic gates

The 2026 Netherlands Winter School on Logic and Verification will take place Tuesday 20-Friday 23 January, 2026 at University of Twente. The school provides classes for PhD/graduate students in theoretical computer science, with a focus on software verification, logic, and type theory. Strong master students, as well as researchers and practitioners, are equally welcome. Participants are expected to have a background in theoretical computer science, mathematics or a related discipline at a master’s level, and have basic familiarity with (functional) programming, semantics, and logic.

cyclic-structures.gitlab.io/school2026/

Please consider registering! If you're a PhD student registered with the IPA school it will (very likely) be possible to get the costs reimbursed, but anyone with their own funding is welcome too.

#Logic #Verification #TypeTheory #CategoryTheory #Coinduction #SessionTypes #Concurrency #Rocq #Agda #Iris