Daily Archives: March 9, 2019

Epsilon calculus

https://plato.stanford.edu/entries/epsilon-calculus/ https://math.stackexchange.com/questions/2487914/help-foundations-of-mathematics-the-hilbert-epsilon-operator-bourbaki-and-god https://math.stackexchange.com/questions/508910/some-confusion-about-theory-of-sets-by-bourbaki https://mathoverflow.net/questions/222494/what-was-hilberts-view-of-gödels-incompleteness-theorems Click to access BernaysLecture1.pdf Click to access 05-Slater-SAJL.pdf

Posted in Philosophie

Adding epsilon to intuitionnistic logic

https://www.researchgate.net/profile/Corey_Mulvihill/publication/317952409_Buying_Logical_Principles_with_Ontological_Coin_The_Metaphysical_Lessons_of_Adding_Epsilon_to_Intuitionistic_Logic/links/5952b843458515a207f7e84a/Buying-Logical-Principles-with-Ontological-Coin-The-Metaphysical-Lessons-of-Adding-Epsilon-to-Intuitionistic-Logic.pdf?origin=publication_detail https://philarchive.org/archive/DEVBLP http://virthost.vub.ac.be/lnaweb/ojs/index.php/LogiqueEtAnalyse/article/view/1237/1026 https://philarchive.org/archive/MULEAA Click to access ifcolog00011.pdf https://ncatlab.org/nlab/show/choice+operator https://www.iep.utm.edu/ep-calc/

Posted in Logique, Philosophie, Science-internelle

Hilbert’s epsilon operator

Click to access 0902.3749.pdf

Posted in Philosophie

Mieville : l’ontologie de Lesniwski

Click to access 20662251.pdf Click to access 00002255t.pdf https://plato.stanford.edu/entries/lesniewski/ https://dspace.ucalgary.ca/bitstream/handle/1880/46697/Urbaniak_2008.pdf;jsessionid=7997796B8284FE062A6CF7A121FCD721?sequence=1

Posted in Logique, Philosophie