The 11th Annual Conference of the Iranian Association for Logic
|
16 February 2024 |
سخنرانی ماهيانه: 26 دی 1401
|
02 January 2023 |
سخنرانی ماهيانه: 25 مهر 1401
|
01 January 2023 |
سخنرانی ماهيانه: 28 آذر 1401
|
01 January 2023 |
چیست آنچه ما آن را «اثبات ریاضیاتی» مینامیم؟
|
25 July 2020 |
درستی جملات گودلی و راسری
|
22 June 2020 |
در بارهی زمان: پنجرهای جدید به دنیای منطقهای زیرشهودی
|
12 February 2020 |
کریپکی و معنای نامها
|
19 January 2020 |
دربارهی استدلالی غیرصوری در مقالهی کلاسیکِ گودل (۱۹۳۱)
|
23 November 2019 |
Godel and God
|
11 November 2019 |
وامداری سهروردی به ابنسینا در نظریۀ قیاس
|
05 October 2019 |
افسانه گرایی و استعاره در فلسفه ریاضی
|
20 August 2019 |
دانلود سخنرانی تحلیل پل تام از قضایای حقیقیه
|
20 August 2019 |
Recanati on Communication of First-person Thought
|
20 August 2019 |
پیوند منطق و معرفتشناسی نزد ابنسینا
|
20 August 2019 |
برهان صديقين به روايت علامه طباطبايي
|
20 August 2019 |
ابهام و زبان ایدهآل، رویای فرگه
|
20 August 2019 |
مروری بر برخی اثبات های جدید برای قضیه ناتمامیت گودل
|
20 August 2019 |
منطق رواقی: گذشته و حال
|
20 August 2019 |
ابن سینا علیه افلاطونگرایی در ریاضیات
|
20 August 2019 |