#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

#AI may exacerbate bad academic habits:

Science summaries from large language models ( #LLMs) were nearly five times more likely than human-authored summaries to contain broad generalizations (95% CI [3.06, 7.70], p < 0.001).

And newer language models over-generalized more; not less!

https://doi.org/10.1098/rsos.241776

#sciComm #philSci #metascience #logic #edu #academia

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