رفتن به محتوای اصلی
جستجوی پیشرفته
عبارات جستجو
نوع محتوا

مطابقت کامل
جستجو در برچسب‌ها
گزینه های تاریخ
پس از به روز رسانی
قبلا به روز شده
ایجاد شده پس از
ایجاد شده قبل از

نتایج جستجو

نتایج یافت شده 7

تصحیف «فصل القرآن» به «فضل القرآن» در روایت «ان کان ابن مسعودلا یقرأ علی قرائتنا»

۴۲. تعدد قرائات (۱۴۰۱/۰۵/۲۵)

دیروز برخی از نکات مطرح شد و برخی ماند. یکی کلمه «فضل» بود که در کافی شریف آمده بود. گفت با ربیعة الرای محضر امام علیه‌السلام رفتیم، «فذکرنا فضل القرآن». من عرض کردم این‌که امام علیه‌السلام سریع بفرمایند: «فقال علیه‌السلام ان کان ابن مسعود لایقرأ علی قرائتنا...

منطق
زبان شناسی
نشانه شناسی

پیشگفتار(خلاصه)

۱۵. فقه هوش مصنوعی (۱۴۰۲/۱۱/۱۲)

محال بودن هوش اشراق‌محور برای پایه مصنوعی، ترسیم زبان صوری در اتاق چینی و مثال بدیل آن: کودک و جدول ضرب، انواع نمادهاو سه گونه معنا برای هر نماد، عدم موفقیت فرگه در صوری‌سازی منطق گزاره‌ها

اتاق چینی
قضیه شخصیه
قضیه اتمی
قضیه طبیعیه
سطح پنج گانه زبان
منطق ریاضی
منطق گزاره‌ها
سمانتیک منطق
درک معنا
زبان صوری
علم نشانه شناسی
نماد
هوش پایه محور
منطق
فرگه
هوش اشراق‌محور
فقه هوش مصنوعی
فقه

وجود «یا»ی منطقی در سیستم فیزیکی

۵. فقه هوش مصنوعی (پرسش و پاسخ) (۱۴۰۲/۰...

خُب اگر از این جا داریم بالا می‌آییم، سؤال من این است: خود مفهوم این‌که یک خانه و یک بیت می‌تواند صفر باشد یا یک باشد، این «یا» در سخت‌افزار هست یا نیست؟ یا پیت (pit) است یا لند (land) است. خُب ما می‌دانیم در یک سی دی آن جایی که لیزر ضربه زده یک پیت (چال) شد...

نظامات فیزیکی
کیت های منطقی
منطق
لند
چال
پیت
صفر و یک

تعین عدد پی در عین بی‌نهایت بودن ارقام بعد از ممیز آن، مثالی برای افلاطون‌گرائی

۵. فقه هوش مصنوعی (پرسش و پاسخ) (۱۴۰۲/۰... تفاوت رویکرد پدیدارشناسی با رویکرد فیزی...

شاگرد۲: اگر اتاق چینی سرل را به‌عنوان شهودهای ابتدائی بپذیریم که بقیه بحث را روی آن برقرار کنیم، بحث کرده‌اند که این‌ها از سنخ آزمایش فکری است و مبنای پذیرش آزمایش فکری هم این است که موقعیتی که سرل در آن هست را تصور کنیم؛ این تصور راهنمای امکان متافیزیکی است...

ساماندهی ریاضیات با منطق
فضایای شخصیه
منطق
افلاطون گرایی
پدیدار شناسی

وقوع خلط در صوری‌سازی منطق

۱۴. فقه هوش مصنوعی (۱۴۰۲/۱۰/۲۸)

خُب این معنا چیست که معنای قراردادی در طبع آن می‌آید؟ اینجا است که مسأله صوری‌سازی و کارهایی که در قرن بیستم صورت گرفته، خیلی اهمیت پیدا می‌کند و متأسفانه خلط‌هایی شده که به اندازه ذهن قاصرم قبلاً گفته‌ام. کتابی هست به نام درآمدی بر منطق جدید. صفحه ۹۹ آن را ...

منطق
صوری‌سازی
معنا
سمانتیک
ثابت منطقی
معنادهی معنا
معنادهی ارجاع
معنادهی صدق

تفاوت مدرک وهم و عقل

۱۴. توحید صدوق (۱۴۰۳/۱۰/۱۲)

شاگرد: «لا یقع علیه الوهم و لاتصفه الالسن» دو مرتبه می‌باشند؟؛ یعنی ابتدا باید کسی او را تصور بکند و بعد به زبان بیاورد؟ استاد: شما می‌خواهید، بفرمایید به‌عنوان دو جمله مترتب بر هم هستند؛ نفی جمله دوم، به‌عنوان منفی مترتب بر جمله اول است. چون اگر وهم بر او ...

قوۀ وهم
بینونت صفتی
مرحوم ملا علی نوری
وجوده اثباته
حدسيات
تجربيات
منطق
هندسۀ نااقليدسی
هندسه اقليدسی
تفاوت وهم و عقل
بینونت عزلی
شناخت خداوند متعال
معرفة اللّه
توحید شیخ صدوق
توحید

نسل سوم هوش مصنوعی و روش داده‌محوری

۲۲. فقه هوش مصنوعی (۱۴۰۴/۰۱/۲۱)

{00:28:54} شاگرد۲: این مرحله سوم است؟ استاد: مرحله سوم جور دیگری است که الآن می‌خواهم عرض کنم. شاگرد۲: قبل از مرحله سوم چکار می‌کند؟ فرمودید که نمی‌توانند بفهمند چکار می‌کند، اما آن را بخش بخش می‌کنند؟ استاد: نسل سوم که خیلی مهم است، این است که اصلاً ریخت ...

رصدخانه
تعبیه برداری
اشتقاق کبیر
ماتریس
تنسور
بردار
کلان‌داده
توکن
الگویابی
زیج
منطق
داده‌های آماری
آمار
داده‌محوری
مدل زبانی بزرگ
ماشین یادگیری منطقی
نسل سوم هوش مصنوعی