انجمن علمی فلسفه علم شریف
11.7K subscribers
1.34K photos
65 videos
245 files
1.08K links
انجمن‌ علمی فلسفه‌علم دانشگاه صنعتی شریف

ارتباط با ما:
@Philofscisharif

سایت گروه:
https://philsci.sharif.ir

کانال آرشیو فایل‌ها:
@philsharif_archive

آدرس گروه فلسفه علم:
https://maps.app.goo.gl/J75NkLxV9TJmi2WJ9
Download Telegram
Forwarded from Sharif Sophia
سلسله جلسات «اندیشه پیشرفت»

🔈 ارائه کننده: علی سلطان‌زاده
(دانشجوی دکتری فلسفه علم دانشگاه شریف)

زمان: دوشنبه‌ها

۲۴ آذرماه ۱۴۰۴
۱ دی‌ماه ۱۴۰۴
۸ دی‌ماه ۱۴۰۴
۱۵ دی‌ماه ۱۴۰۴
۲۲ دی‌ماه ۱۴۰۴
۲۹ دی‌ماه ۱۴۰۴

ساعت ۱۶:۳۰ تا ۱۸:۳۰

📍مکان: مجتمع خدمات فناوری دانشگاه شریف- واحد ۳۰۵

💢جهت کسب اطلاعات بیشتر و ثبت‌نام به آیدی تلگرام @SharifSophia مراجعه فرمایید.
3
absLotfi3.pdf
197.6 KB
📢🖍چکیده سخنرانی دوشنبه پژوهشکده فلسفه تحلیلی
سخنران: مرضیه لطفی، پژوهشگاه دانش های بنیادی
عنوان: آگاهی کیهانی و مسئله اشتقاق سوژه
⏱️زمان: دوشنبه  ۱ دی ماه ساعت ۱۶:۰۰ تا ۱۸:۰۰
مکان: میدان نیاوران، پژوهشگاه دانش های بنیادی، سالن شماره ۱ (تالار دکتر خسروشاهی)

شرکت برای عموم آزاد است
3
کارنپ، برگمان و ظهور متافیزیک
دکتر سیدمحمدحسن آیت‌الله زاده شیرازی
🎵صوت جلسه «کارنپ، برگمان و ظهور متافیزیک»

🎤سخنران: دکتر سید محمدحسن آیت‌الله‌زاده شیرازی

۱۴۰۴/۰۹/۲۶

انجمن علمی فلسفه علم شریف
13❤‍🔥5
سلسله جلسات سخنرانی انجمن علمی فلسفه علم شریف

◆ «مبانی فلسفی منطق شهودگرایانه»

دکتر محمّد اردشیر(استاد منطقِ دانشگاه صنعتی شریف)

◈زمان: سه شنبه ۲ دی ساعت ۱۷:۰۰
مکان: دانشگاه صنعتی شریف، گروه فلسفه علم، تالار دکتر گلشنی

⭕️ مهم! لطفا مشخصات خود را در این قسمت جهت ورود به دانشگاه شریف وارد کنید
(در غیر اینصورت متاسفانه حراست دانشگاه شریف، از ورود شما جلوگیری خواهد کرد).

ظرفیت مراجعین خارج از دانشگاه محدود می باشد.

انجمن علمی فلسفه علم شریف
23
انجمن علمی فلسفه علم شریف
◆ سلسله جلسات سخنرانی انجمن علمی فلسفه علم شریف ◆ «مبانی فلسفی منطق شهودگرایانه» ◆ دکتر محمّد اردشیر(استاد منطقِ دانشگاه صنعتی شریف) ◈زمان: سه شنبه ۲ دی ساعت ۱۷:۰۰ ◈مکان: دانشگاه صنعتی شریف، گروه فلسفه علم، تالار دکتر گلشنی ⭕️ مهم! لطفا مشخصات خود را…
◆ دکتر محمد اردشیر بهرستاقی، استاد تمام دانشکدهٔ ریاضی دانشگاه صنعتی شریف و پژوهشگر برجستهٔ منطق و ریاضیات شهودگرا، یکی از نظریه‌پردازان برتر ایران در حوزهٔ منطق ریاضی و فلسفهٔ ریاضیات است. ایشان با بیش از چهار دهه فعالیت آکادمیک و پژوهشی، توجهات خود را به تبیین و تعمیق درکِ منطق کلاسیک و شهودگرایانهٔ ریاضیات معطوف کرده‌اند.
دکتر اردشیر تحصیلات خود را در دانشگاه صنعتی شریف آغاز کرد و در سال ۱۳۵۹ مقطع کارشناسی برق و در سال ۱۳۶۹ کارشناسی ارشد ریاضیات را از این دانشگاه دریافت کرد. در سال ۱۳۷۴ دکترای ریاضی را از دانشگاه مارکت در ایالت ویسکانسین دریافت نمود.

دکتر اردشیر نویسندهٔ کتاب «منطق ریاضی» است که در سال ۱۳۸۴ به عنوان کتاب برگزیدهٔ سال در ایران انتخاب شد.
علاوه‌براین، ایشان ترجمهٔ کتاب «فلسفهٔ براوئر» را انجام داده‌اند که دربارهٔ فلسفه و مبانی مکتب شهودگرایی در ریاضیات است و در سال ۱۳۸۷ توسط انتشارات هرمس منتشر شد.

◈ انجمن علمی فلسفه علم شریف در روز سه‌شنبه ۲ دی، میزبان دکتر محمّد اردشیر می‌باشد.
❤‍🔥237
فراخوان مقاله سیزدهمين همايش ساليانه انجمن منطق ايران

سیزدهمين همايش ساليانه انجمن منطق ايران در سال ۱۴۰۴ با حال و هوايی متفاوت و با بخشی ويژه با عنوان منطق در هوش مصنوعی برگزار می‌شود.
از همه پژوهشگران و علاقمندان دعوت می‌شود که مقالات خود را تا تاريخ ۳۰ آذر ۱۴۰۴ ۳۰ دی‌ماه ۱۴۰۴ در محورهای زير با در نظر گرفتن دستورالعمل ارسال مقالات همايش، برای دبیرخانه همايش (lc1404@ialogic.ir) ارسال نمايند.

✳️ سخنرانان مدعو (به ترتیب الفبا)
آبراهام، آجیت / دانشگاه سای (هندوستان)
براتکا، واسکو / دانشگاه بوندسوهر مونیخ
بیزو، ژان ایو / دانشگاه برزیل
مک‌فراسون، دوگالد / دانشگاه لیدز
یانگ، یو / دانشگاه ملی سنگاپور

✳️ رويکردهای نظری منطق
- منطق جديد (رياضی و فلسفی)
- منطق سنتی
- منطق تطبیقی
- منطق غيرصوری
- فلسفه منطق
✳️ رويکردهای کاربردی منطق
- تاريخ منطق
- آموزش منطق
- فلسفه تحليلی و زبانی
- روش‌شناسی علم
- تفکر انتقادی
✳️ منطق در هوش مصنوعی 
  • منطق در سیستم‌های خودمختار
  • مدل‌سازی تعاملات انسانی-رباتی با رویکرد منطقی
  • منطق‌های غیرکلاسیک در یادگیری ماشین
  • هوش مصنوعی توضیح‌پذیر (تلفیق منطق و یادگیری عمیق)
  • منطق‌های توصیفی و بازنمایی دانش
  • منطق و وب معنایی
  • استدلال‌ورزی چندعاملی
  • هوش مولد استدلال‌گر
  • خوانش استدلالی ماشینی
  • تفکر ماشینی
  • منطق برای سیستم‌های اخلاقی‌محور و حقوقی‌محور هوش مصنوعی
  • اعتبارسنجی و راستی‌آزمایی سیستم‌های هوش مصنوعی با ابزارهای منطقی
  • کاربرد منطق‌های توسعه‌یافته (موجهات، زمان، معرفت، پویا، پیش‌فرض و ...) در محیط‌های پویا 

✳️ دبیران علمی همایش
بهروز مینایی بیدگلی و نازنین روشندل توانا

✳️ اعضای کمیته علمی (به ترتیب حروف الفبا)
- اردشیر لاریجانی، ابراهیم (دانشگاه علم و صنعت)
ـ اسلامی، اسفندیار (دانشگاه شهید باهنر کرمان)
- امیرخانی، مهناز (دانشگاه الزهرا)
- بهرامی، سعیده (پژوهشگاه دانش‌های بنیادی)
- حسینی، سیدحسن (دانشگاه صنعتی شریف)
- دست‌افشان، علیرضا (پژوهشگر و مدرس فلسفه تحلیلی)
- روشندل توانا، نازنین (دانشگاه صنعتی امیر کبیر)
- سراجی، پیام (خانه ریاضیات اصفهان)
- علائیان، مهدی (دانشگاه علم و صنعت)
- قاری، مقداد (دانشگاه اصفهان)
- مزینی، ناصر (دانشگاه علم و صنعت)
- مینایی بیدگلی، بهروز (دانشگاه علم و صنعت)

✳️ دبیر اجرایی همایش
ابراهیم اردشیر لاریجانی

✳️زمان و مکان برگزاری همايش
۲۷ و ۲۸ بهمن ۱۴۰۴؛ گروه هوش مصنوعی و رباتیک، دانشکده مهندسی کامپیوتر، دانشگاه علم و صنعت
7
◆ آلبوم تصویری رویداد«مبانی فلسفی منطقِ شهودگرایانه»
دکتر محمّد اردشیر

◈ سه شنبه ۲ دی ۱۴۰۴

انجمن علمی فلسفه علم شریف
35❤‍🔥5
◆ سخنرانی دکتر حسین شقاقی
(پژوهشگاه علوم انسانی و مطالعات فرهنگی)

عنوان: آگوستینوس در بیان ویتگنشتاین

زمان: چهارشنبه ۱۰ دی ماه ساعت ۱۳:۳۰

◈مکان: دانشگاه صنعتی شریف، گروه فلسفه علم، تالار دکتر گلشنی

⭕️ مهم! مشخصات خود را در این قسمت جهت ورود به دانشگاه وارد کنید.

انجمن علمی فلسفه علم شریف
5
Kheradnameh-No.3.pdf
16.5 MB
🏛 انجمن علمی-دانشجویی دانشگاه تهران، تقدیم می‌کند:

📰 شماره‌ی سوم گاهنامه‌ی علمی «خِرَدنامه» - دی‌ماه ۱۴۰۴


⬇️تیتر مطالب نشریه:

|باب علمی

- پرونده‌ی اصلی (فلسفه‌ی اخلاق):

• واکاوی و تلفیق یک دوگانگی طبیعی-ایدئولوژیکی در اخلاق: چارچوبی برای استدلال اخلاقی
• اخلاق هوش مصنوعی

- پرونده‌ی ویژه (فلسفه‌ی جنگ):

• جنگ و قتل

- تک‌نگاری-تک‌ترجمه:

• آیا بدیل‌های تصورنشده به‌واقع دسترس‌پذیر هستند؟
• قطعاتی از والتر بنیامین
• خاطرات برون‌سپرده

-جستارهای دانشجویی:

• «دیگریِ» قربانی: چهره‌ی زن در جنگ
• یک بررسی مادی: فضای فرهنگی هوش مصنوعی مولد
• فلسفه‌ی دانشگاهی: شکاف‌ها، چالش‌ها، پیامدها


|باب مصاحبه

• در جست‌وجوی بنیاد اخلاق: اخلاق در اندیشه‌ی هایدگر در گفت‌وگو با دکتر احمد رجبی
• مصاحبه با دکتر مریم نصر
• مصاحبه با دکتر سیدمحمد یارندی


|باب خبری-اجتماعی

• گزارش مراسم «بایستگی فلسفه در جهان امروز»
• گزارشی از وضعیت محمود خاتمی در ترم اول سال تحصیلی ۱۴۰۴-۱۴۰۵
• مقایسه‌ی کارنامه‌ی پژوهشی گروه‌های فلسفه‌ی دانشگاه‌های تهران، تربیت مدرس و کالیفرنیا ریورساید در پنج سال اخیر
• مسئله‌ی جذب استاد
• گزارش فعالیت‌های پاییز انجمن علمی-دانشجویی فلسفه‌ی دانشگاه تهران



💳 شناسنامه‌ی نشریه:

• صادرکننده‌ی مجوز: دانشگاه تهران

• صاحب‌امتیاز: انجمن علمی-دانشجویی فلسفه‌ی دانشگاه تهران

• مدیرمسئول: فاطمه قهرمانی اردهایی

• سردبیر: سیدصالح سیدپور مقدم

• هیئت تحریریه (به‌ترتیب حروف الفبا):
سوگند بیگلری
ساره تقی‌پور
اشکان توکلی
فرزاد جوانمردی
آیدا سرکنی
سیدصالح سیدپور مقدم
فاطمه قهرمانی اردهایی
علی نعمتی


• ناظران علمی (به‌ترتیب حروف الفبا):
آرش باقری محمدآبادی
میرحسین خندانی
حامد زمانی پزوه
ایمان کریمی

• نویسندگان (به‌ترتیب حروف الفبا):
ساره تقی‌پور
میلاد خرقه‌انداز
میرحسین خندانی
حمید ساسانی
آیدا سرکنی
ریحانه عبدالله‌پور
علی محمودآبادی
علی نعمتی

• مترجمان (به‌ترتیب حروف الفبا):
معین رمضانی
سیدصالح سیدپور مقدم
محمدصدرا کنگازیان
سیده‌مائده عرضاوی
محمد نیک‌سرشت

• مصاحبه‌گران (به‌ترتیب حروف الفبا):
سوگند بیگلری
اشکان توکلی
آیدا سرکنی
سیدصالح سیدپور مقدم
فاطمه قهرمانی اردهایی

• ویراستار:
ساره تقی‌پور

• صفحه‌آرا و گرافیست:
محمدجواد رحیمی

• طراحان جلد:
محمدجواد رحیمی
امیررضا ورمزیاری

• تصویرگران:
مهسا بختیاری
سوگند سیفی
مژده عبدالحسین
افسانه حیدری


🆔 @AnjomanPhUT
Please open Telegram to view this post
VIEW IN TELEGRAM
6❤‍🔥1
Forwarded from CS Talks
انجمن علمی علوم کامپیوتر دانشگاه تهران برگزار می‌کند:

🔷 محاسبه به عنوان مفهومی انتزاعی

🔶 از دوران ابتدایی که ریاضیات را با یادگیری جمع و تفریق و ضرب و تقسیم شروع کردیم، تا زمانی که در دوران دبیرستان به‌دنبال حل معادلات درجه اول و دوم بودیم، شهودی از مفهوم محاسبه را در ذهن داشتیم.
این برای ما بسیار آشنا است که هنگام تلاش برای حل یک مسئله باید دنباله‌ای از گام‌ها را انجام داده تا به نتیجه برسیم. در واقع هر مسئله‌ای در ریاضیات متوسطه اول چنین شکلی داشته است.
این همان شهود ما از فرایند محاسبه است. اما آیا این شهود کافی است؟
مشکلات وقتی آشکار می‌شوند که ما به‌دنبال مسائل محاسبه‌ناپذیر بر اساس این شهود بگردیم.

👤 علی دستجردی، دانشجوی علوم ‌کامپیوتر دانشگاه تهران

📍مکان: دانشکده‌ی ریاضی، آمار و علوم ‌کامپیوتر، کلاس ۲۲۱
📅 تاریخ
: یک‌شنبه ۷ دی
🕑 زمان
: ساعت ۱۷:۱۵

🔓 ورود برای عموم آزاد است.

✍️ لطفاً جهت هماهنگی با حراست دانشگاه، فرم مربوطه را پر کنید

🔗 @CS_Talks_UT
3❤‍🔥1
📌سخنرانی پیش‌ِروی گروه فلسفه‌ دانشگاه تربیت مدرس:

تبیین علمی و تفسیر دینی: تاملی در باب رابطه علم و دین

👤سخنران:
لطف‌الله نبوی
(دانشگاه تربیت مدرس)

🗓زمان:
دوشنبه ۱۴۰۴/۱۰/۰۸، ساعت ۱۰ الی ۱۲

📍مکان:
دانشگاه تربیت مدرس، دانشکده علوم انسانی، طبقه چهارم، سالن رئیسی

خواهشمندیم جهت شرکت در این سخنرانی، تا پایان روز جمعه ۵‌ دی‌ماه، از طریق این لینک اقدام به ثبت‌نام نمایید.
10