https://logic-in-philosophy.sites.tau.ac.il/en/lectures/zvonimir-%C5%A1iki%C4%87-(rijeka)/philosophy-of-mathematics-essentials-%E2%80%93-finite-numbers-and-their-logic-(part-i) 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/zvonimir-%C5%A1iki%C4%87-(rijeka)/philosophy-of-mathematics-essentials-%E2%80%93-finite-numbers-and-their-logic-(part-ii) 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/zvonimir-%C5%A1iki%C4%87-(rijeka)/philosophy-of-mathematics-essentials-%E2%80%93-transfinite-numbers-and-their-mathematics 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/ofra-rechter-(tel-aviv)/proof-theory-%E2%80%93-the-roots-of-proof-theory%3A-foundational-background 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/ofra-rechter-(tel-aviv)/proof-theory-%E2%80%93-the-fruits-of-proof-theory%3A-some-consequences 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/edi-pavlovi%C4%87-(bayreuth)/proof-theory-%E2%80%93-sequent-calculi-and-their-properties 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/edi-pavlovi%C4%87-(bayreuth)-%26-norbert-gratzl-(lmu)/proof-theory-%E2%80%93-modal-logics 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/edi-pavlovi%C4%87-(bayreuth)-%26-norbert-gratzl-(lmu)/proof-theory-%E2%80%93-geometrization 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/edi-pavlovi%C4%87-(bayreuth)/proof-theory-%E2%80%93-modal-logics-%26-geometrization 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/nenad-smokrovi%C4%87-(rijeka)/game-theory-and-decision-theory-in-philosophy-and-logic-%E2%80%93-part-i 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/nenad-smokrovi%C4%87-(rijeka)/game-theory-and-decision-theory-in-philosophy-and-logic-%E2%80%93-part-ii 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/edi-pavlovi%C4%87-(bayreuth)/geometrization-%E2%80%93-lip-tutorial 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/edi-pavlovi%C4%87-(bayreuth)/game-theory-and-decision-theory-in-philosophy-and-logic-%E2%80%93-logic-of-agency 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/edi-pavlovi%C4%87-(bayreuth)/game-theory-and-decision-theory-in-philosophy-and-logic-%E2%80%93-action-and-obligation 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/ante-debeljuh-(rijeka)/lip-advanced-graduate-tutorial-%E2%80%93-the-basics-of-formal-epistemology 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/tom-kirkpatrick-(tau)/lip-advanced-graduate-tutorial-%E2%80%93-lex-specialis-derogat-legi-generali-%E2%80%93-the-logical-content 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/guy-lev-(tau)/lip-advanced-graduate-tutorial-%E2%80%93-boo-murder%2C-hurray-numbers%3A-expressivism-and-validity 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/paolo-mancosu/how-many-points-are-in-a-line-segment%3F-from-grosseteste-to-numerosities. 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/edi-pavlovi%C4%87/proof-theory-tutorial-(i)%3A-sequent-calculi-and-their-properties 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/edi-pavlovi%C4%87/proof-theory-tutorial-(ii)%3A-sequent-calculi-and-their-employment 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/ofra-rechter/%E2%80%98mathematical-intuition%E2%80%99-from-a-critical-point-view 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/giulio-fellin/constructive-reasoning-in-mathematics-and-logic%3A-foundations%2C-proof-techniques%2C-and-conservation 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/edi-pavlovi%C4%87/proof-theory-tutorial-(iii)%3A-geometrization 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/richard-zach/quasi-tutorial-on-hilbert%2C-consistency-proofs-and-epsilon-0 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/ofra-rechter/tutorial-section-ii%3A-%E2%80%98mathematical-intuition%E2%80%99-from-a-critical-finitary-point-view 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/peter-koellner/disagreements-in-mathematics%3A-the-case-of-ch-(continuum-hypothesis) 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/zvonimir-%C5%A1iki%C4%87/what-are-laws-and-what-are-they-for%3F 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/giulio-fellin/double-negation-shifts-as-conservation-criteria 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/nenad-smokrovi%C4%87/tutorial-%E2%80%93-modality-and-logical-omniscience 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/montgomery-link/g%C3%B6del%E2%80%99s-project-on-the-continuum 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/norbert-gratzl/living-within-one%E2%80%99s-means%2C-take-2 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/richard-zach/hilbert%2C-consistency-proofs-and-epsilon-0 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/michael-rathjen/searching-for-the-ideal-framework 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/edi-pavlovic/is%2C-ought%2C-and-cut 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/norbert-grazl/living-within-one%E2%80%99s-means 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/balthasar-grabmayr/on-the-limits-of-mathematics-and-their-philosophical-consequences 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/warren-goldfarb/remarks-on-%E2%80%9Cnotes-on-metamathematics-part-i%E2%80%9D 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/warren-goldfarb/on-g%C3%B6del%E2%80%99s-general-philosophical-outlook 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/assaf-kfoury/mathematical-logic-in-computer-science 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/michael-glanzberg/logic-and-logics-in-natural-language 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/douglas-blue/recent-foundational%2Fphilosophically-interesting-work-on-very-large-cardinals 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/volker-halbach/modal-predicates 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/sa%C5%A1a-popovi%C4%87/from-the-maxphil-notebooks%3A-g%C3%B6del%E2%80%99s-cantorian-set-theoretical-monadology 2025-11-20 https://logic-in-philosophy.sites.tau.ac.il/en/lectures/ante-debeljuh/knowledge-and-belief-in-distributed-systems 2025-11-20