نتایج جستجو برای: مدل کریپکی

تعداد نتایج: 120048  

ژورنال: ذهن 2010
احسان سیاوشی محمد اردشیر

ژورنال: :نقد و نظر (فصلنامه علمی پژوهشی فلسفه و الاهیات) 2010
ساجد طیبی

در این مقاله به بررسی رابطة میان آموزة معناشناسیکِ دلالت گری صلب نام های خاص در زبان طبیعی و آموزة متافیزیکی ذات گرایی دربارة افراد می پردازیم. به طور مشخص می خواهیم بررسی کنیم که استدلال های کریپکی برای هر یک از ادعاهای ذات گرایانة او دربارة افراد تا چه اندازه به آموزة صلبیت نام های خاص وابسته است. برای این منظور ابتدا به معرفی هریک از این آموزه ها می پردازیم و سپس با تمییز میان سه سطح متفاوت ا...

ژورنال: جاویدان خرد 2015
سید ضیاء موحد

در این مقاله با طرح دلالت شناسی سول کریپکی، فیلسوف و منطق‌دان آمریکایی معاصر در باب اسم‌های خاص و اسم‌های داستانی، به شرح و نقد آراء اومبرتو اکو فیلسوف، نشانه‌شناس و داستان‌نویس ایتالیایی در باب دلالت‌شناسی اسم‌های داستانی (fictional names) پرداخته‌ایم و در این میان، ردپای بعضی از مهم‌ترین این مباحث یعنی اسم‌های خاص واقعی را در آثار ابن‌سینا نشان داده‌ایم.

ژورنال: اندیشه دینی 2016

مطابق نظر لایب نیتس، تعداد نامتناهی از جهان‌های نامتناهی وجود دارند که خداوند بهترین آن‌ها را برای خلق کردن انتخاب می‌کند. خود لایب نیتس از فاهمه‌ی الهی به‌مثابه‌ی قلمرو واقعیت‌های ممکن سخن می‌گوید. تاکنون تفاسیر متعددی از جهان‌های ممکن ارائه شده است. در میان این دیدگاه‌ها، دیدگاه‌ فیلسوفان تحلیلی اواخر قرن بیستم از اهمیت شایانی برخوردار است. برخی از این فیلسوفان با نام طرفداران ارجاع مستقیم، ب...

ژورنال: :ذهن 2006
علیرضا قائمی نیا

ژورنال: :اندیشه دینی 0
امراله معین استادیار دانشگاه شهرکرد عبدالرضا صفری استادیار دانشگاه پیام نور

مطابق نظر لایب نیتس، تعداد نامتناهی از جهان های نامتناهی وجود دارند که خداوند بهترین آن ها را برای خلق کردن انتخاب می کند. خود لایب نیتس از فاهمه ی الهی به مثابه ی قلمرو واقعیت های ممکن سخن می گوید. تاکنون تفاسیر متعددی از جهان های ممکن ارائه شده است. در میان این دیدگاه ها، دیدگاه فیلسوفان تحلیلی اواخر قرن بیستم از اهمیت شایانی برخوردار است. برخی از این فیلسوفان با نام طرفداران ارجاع مستقیم، به...

Journal: : 2023

در این تحقیق به مقایسه تحلیلی و عددی آبشار جریان برگشتی مدل R با آبشارهای Q QI سیستم‌­های چندجزیی پایدار پرداخته می‌­شود. راستا برای اولین بار کدهای جهت طراحی منظور کد نرم‌افزار متلب نوشته شده‌­اند. نتایج نشان می‌­دهد که دو جزء 1k 2k از خوراک Nc جزء، تعداد معدودی قابل تعریف است همگی حالات خاصی می­‌باشد. هم‌­چنین یافته‌­ها مجموع مقدار برش جزیی همیشه برابر یک است. طریق داده می‌­شود صورتی میانگین ...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده علوم ریاضی 1393

در این پایان نامه ارتباطی بین معناشناسی اندازه بنیاد دانا اسکات برای منطق وجهی s4 و منطق توپولوژیک دینامیک، برقرار خواهد شد. منطق s4c در سیستم های توپولوژیک دینامیک یا فضاهای توپولوژیک با تابع پیوسته روی فضای مورد نظر، تعبیر می شود. دانا اسکات زبان منطق s4 را در جبر اندازه لبگ یا سیکما جبر زیرمجموعه ی بورل [0,1] به پیمانه مجموعه هایی با اندازه ی صفر، که در آن مربع- وجه با عملگر درون روی جبر ا...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید