Léon Probst
@leonprobst.bsky.social
PhD student in philosophy at ISFI in USI, doing logic and philo of math
https://leon-probst.myportfolio.com/
https://leon-probst.myportfolio.com/
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
It's this Friday, 5th December, at 4:30pm CET!
Here is the link to the abstract: www.usi.ch/en/feeds/32641
December 4, 2025 at 2:54 PM
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
It's this Friday, 5th December, at 4:30pm CET!
Here is the link to the abstract: www.usi.ch/en/feeds/32641
Reposted by Léon Probst
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: [email protected]
For more: usi.ch/it/feeds/32641
For Zoom link: [email protected]
For more: usi.ch/it/feeds/32641
November 24, 2025 at 4:33 PM
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: [email protected]
For more: usi.ch/it/feeds/32641
For Zoom link: [email protected]
For more: usi.ch/it/feeds/32641
Reposted by Léon Probst
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
September 18, 2025 at 6:39 AM
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
Reposted by Léon Probst
💥 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: [email protected]
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: [email protected]
September 11, 2025 at 3:01 PM
💥 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: [email protected]
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: [email protected]
Reposted by Léon Probst
Ali Enayat, Mateusz {\L}e{\l}yk, Albert Visser
Completions of Restricted Complexity I, Weak Arithmetical Theories
https://arxiv.org/abs/2508.14758
Completions of Restricted Complexity I, Weak Arithmetical Theories
https://arxiv.org/abs/2508.14758
August 21, 2025 at 5:18 AM
Ali Enayat, Mateusz {\L}e{\l}yk, Albert Visser
Completions of Restricted Complexity I, Weak Arithmetical Theories
https://arxiv.org/abs/2508.14758
Completions of Restricted Complexity I, Weak Arithmetical Theories
https://arxiv.org/abs/2508.14758
Reposted by Léon Probst
📌Framed Moments
Workshop: Variations on Metamathematics
3-4 July, 2025
Workshop: Variations on Metamathematics
3-4 July, 2025
July 13, 2025 at 12:41 PM
📌Framed Moments
Workshop: Variations on Metamathematics
3-4 July, 2025
Workshop: Variations on Metamathematics
3-4 July, 2025
Reposted by Léon Probst
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: [email protected]
For more information, visit: www.usi.ch/it/feeds/31822
Room SI-006, Black Building, USI West Campus, 3-4 July.
For more info: [email protected]
For more information, visit: www.usi.ch/it/feeds/31822
June 30, 2025 at 2:15 PM
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: [email protected]
For more information, visit: www.usi.ch/it/feeds/31822
Room SI-006, Black Building, USI West Campus, 3-4 July.
For more info: [email protected]
For more information, visit: www.usi.ch/it/feeds/31822
Reposted by Léon Probst
Taishi Kurahashi
Refinements of provability and consistency principles for the second incompleteness theorem
https://arxiv.org/abs/2507.00955
Refinements of provability and consistency principles for the second incompleteness theorem
https://arxiv.org/abs/2507.00955
July 2, 2025 at 4:09 AM
Taishi Kurahashi
Refinements of provability and consistency principles for the second incompleteness theorem
https://arxiv.org/abs/2507.00955
Refinements of provability and consistency principles for the second incompleteness theorem
https://arxiv.org/abs/2507.00955
Reposted by Léon Probst
June 17, 2025 at 4:02 AM
Reposted by Léon Probst
Harvey M. Friedman, Albert Visser
When Bi-interpretability implies Synonymy
https://arxiv.org/abs/2506.01028
When Bi-interpretability implies Synonymy
https://arxiv.org/abs/2506.01028
June 3, 2025 at 4:32 AM
Harvey M. Friedman, Albert Visser
When Bi-interpretability implies Synonymy
https://arxiv.org/abs/2506.01028
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
Here is the link to the complete abstract!
usi.ch/en/feeds/31005
April 14, 2025 at 2:22 PM
"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
Here is the link to the complete abstract!
usi.ch/en/feeds/31005
Reposted by Léon Probst
🗣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: [email protected]
For more: ftl.usi.ch/it/feeds/14780
Don't miss it on April 15 at 5.30pm (CET)!
For Zoom link: [email protected]
For more: ftl.usi.ch/it/feeds/14780
April 9, 2025 at 5:10 PM
🗣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: [email protected]
For more: ftl.usi.ch/it/feeds/14780
Don't miss it on April 15 at 5.30pm (CET)!
For Zoom link: [email protected]
For more: ftl.usi.ch/it/feeds/14780
Reposted by Léon Probst
Haruka Kogure, Taishi Kurahashi
Doubly partially conservative sentences
https://arxiv.org/abs/2503.12373
Doubly partially conservative sentences
https://arxiv.org/abs/2503.12373
March 18, 2025 at 5:47 AM
Haruka Kogure, Taishi Kurahashi
Doubly partially conservative sentences
https://arxiv.org/abs/2503.12373
Doubly partially conservative sentences
https://arxiv.org/abs/2503.12373
Reposted by Léon Probst
February 14, 2025 at 6:01 AM
Reposted by Léon Probst
Lev D. Beklemishev, Daniyar S. Shamkanov, Ivan N. Smirnov
Fragments of arithmetic and cyclic proofs
https://arxiv.org/abs/2502.06639
Fragments of arithmetic and cyclic proofs
https://arxiv.org/abs/2502.06639
February 11, 2025 at 5:23 AM
Lev D. Beklemishev, Daniyar S. Shamkanov, Ivan N. Smirnov
Fragments of arithmetic and cyclic proofs
https://arxiv.org/abs/2502.06639
Fragments of arithmetic and cyclic proofs
https://arxiv.org/abs/2502.06639
Looks like libgen.is is back!
Library Genesis
Library Genesis is a scientific community targeting collection of books on natural science disciplines and engineering.
libgen.is
January 15, 2025 at 1:14 PM
Looks like libgen.is is back!
Reposted by Léon Probst
Haruka Kogure, Taishi Kurahashi
A variety of partially conservative sentences
https://arxiv.org/abs/2412.08208
A variety of partially conservative sentences
https://arxiv.org/abs/2412.08208
December 12, 2024 at 5:06 AM
Haruka Kogure, Taishi Kurahashi
A variety of partially conservative sentences
https://arxiv.org/abs/2412.08208
A variety of partially conservative sentences
https://arxiv.org/abs/2412.08208