Léon Probst

Flagship Springer Nature journal flips to diamond open access at the OLH We’re excited to announce the launch of a major new journal, following news of another mass editorial resignation (read open letter) at Springer Nature. This week, the Editors-in-Chief and Associate …

The Journal of Philosophical Logic is dead (again!?). Long live Philosophical Logic! https://www.openlibhums.org/news/875/

Mateusz {\L}e{\l}yk, James Walsh: Descending sequences in reflection hierarchies https://arxiv.org/abs/2512.05263 https://arxiv.org/pdf/2512.05263 https://arxiv.org/html/2512.05263

Lorenzo Rossi will be talking about Supervaluational Truth and Quantifiers such as 'finitely many' and 'most'.

It's this Friday, 5th December, at 4:30pm CET!

Here is the link to the abstract: www.usi.ch/en/feeds/32641

Lorenzo Rossi (University of Turin) will give the talk “Supervaluational Truth and Quantifiers" as part of the Lugano Philosophy Colloquia. Don't miss it on Friday, December 5, at 4.30 pm (CET)!

For Zoom link: events.isfi@usi.ch
For more: usi.ch/it/feeds/32641

Juvenal Murwanashyaka: Friedman's $ \mathsf{WD} $ is not parameter-free sequential https://arxiv.org/abs/2509.14222 https://arxiv.org/pdf/2509.14222 https://arxiv.org/html/2509.14222

💥 Lugano Philosophy Colloquia, Fall 2025

The schedule is available now!
Check out usi.ch/en/feeds/32641 for the full program.

To stay updated on our incoming events, visit usi.ch/en/education... or subscribe to our mailing list.

For any questions: events.isfi@usi.ch

Ali Enayat, Mateusz {\L}e{\l}yk, Albert Visser
Completions of Restricted Complexity I, Weak Arithmetical Theories
https://arxiv.org/abs/2508.14758

📌Framed Moments
Workshop: Variations on Metamathematics
3-4 July, 2025

Léon Probst organises a workshop on "The Variations on Metamathematics", aiming to discuss some of the questions within the notion of intensionality.

Room SI-006, Black Building, USI West Campus, 3-4 July.

For more info: leon.probst@usi.ch

For more information, visit: www.usi.ch/it/feeds/31822

Taishi Kurahashi
Refinements of provability and consistency principles for the second incompleteness theorem
https://arxiv.org/abs/2507.00955

Taishi Kurahashi, Albert Visser
Extensional Independence
https://arxiv.org/abs/2506.13524

Harvey M. Friedman, Albert Visser
When Bi-interpretability implies Synonymy
https://arxiv.org/abs/2506.01028

"An obvious alternative is to explore theories of properties based on non-wellfounded set theories and the conceptions on which they are based."

Here is the link to the complete abstract!

usi.ch/en/feeds/31005

🗣Carlo Nicolai will give the talk, "On Non-Wellfounded Instantiation", as part of the Lugano Philosophy Colloquia.

Don't miss it on April 15 at 5.30pm (CET)!

For Zoom link: events.isfi@usi.ch
For more: ftl.usi.ch/it/feeds/14780

Haruka Kogure, Taishi Kurahashi
Doubly partially conservative sentences
https://arxiv.org/abs/2503.12373

Albert Visser
On a Question of Hamkins'
https://arxiv.org/abs/2502.09109

Lev D. Beklemishev, Daniyar S. Shamkanov, Ivan N. Smirnov
Fragments of arithmetic and cyclic proofs
https://arxiv.org/abs/2502.06639

Looks like libgen.is is back!

Haruka Kogure, Taishi Kurahashi
A variety of partially conservative sentences
https://arxiv.org/abs/2412.08208