|
فراخوان جایزه سال منطق 1404
|
22 May 2025 |
|
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 |
