نتایج جستجو برای: مدل کریپکی
تعداد نتایج: 120048 فیلتر نتایج به سال:
در این مقاله به بررسی رابطة میان آموزة معناشناسیکِ دلالت گری صلب نام های خاص در زبان طبیعی و آموزة متافیزیکی ذات گرایی دربارة افراد می پردازیم. به طور مشخص می خواهیم بررسی کنیم که استدلال های کریپکی برای هر یک از ادعاهای ذات گرایانة او دربارة افراد تا چه اندازه به آموزة صلبیت نام های خاص وابسته است. برای این منظور ابتدا به معرفی هریک از این آموزه ها می پردازیم و سپس با تمییز میان سه سطح متفاوت ا...
در این مقاله با طرح دلالت شناسی سول کریپکی، فیلسوف و منطقدان آمریکایی معاصر در باب اسمهای خاص و اسمهای داستانی، به شرح و نقد آراء اومبرتو اکو فیلسوف، نشانهشناس و داستاننویس ایتالیایی در باب دلالتشناسی اسمهای داستانی (fictional names) پرداختهایم و در این میان، ردپای بعضی از مهمترین این مباحث یعنی اسمهای خاص واقعی را در آثار ابنسینا نشان دادهایم.
مطابق نظر لایب نیتس، تعداد نامتناهی از جهانهای نامتناهی وجود دارند که خداوند بهترین آنها را برای خلق کردن انتخاب میکند. خود لایب نیتس از فاهمهی الهی بهمثابهی قلمرو واقعیتهای ممکن سخن میگوید. تاکنون تفاسیر متعددی از جهانهای ممکن ارائه شده است. در میان این دیدگاهها، دیدگاه فیلسوفان تحلیلی اواخر قرن بیستم از اهمیت شایانی برخوردار است. برخی از این فیلسوفان با نام طرفداران ارجاع مستقیم، ب...
مطابق نظر لایب نیتس، تعداد نامتناهی از جهان های نامتناهی وجود دارند که خداوند بهترین آن ها را برای خلق کردن انتخاب می کند. خود لایب نیتس از فاهمه ی الهی به مثابه ی قلمرو واقعیت های ممکن سخن می گوید. تاکنون تفاسیر متعددی از جهان های ممکن ارائه شده است. در میان این دیدگاه ها، دیدگاه فیلسوفان تحلیلی اواخر قرن بیستم از اهمیت شایانی برخوردار است. برخی از این فیلسوفان با نام طرفداران ارجاع مستقیم، به...
در این تحقیق به مقایسه تحلیلی و عددی آبشار جریان برگشتی مدل R با آبشارهای Q QI سیستمهای چندجزیی پایدار پرداخته میشود. راستا برای اولین بار کدهای جهت طراحی منظور کد نرمافزار متلب نوشته شدهاند. نتایج نشان میدهد که دو جزء 1k 2k از خوراک Nc جزء، تعداد معدودی قابل تعریف است همگی حالات خاصی میباشد. همچنین یافتهها مجموع مقدار برش جزیی همیشه برابر یک است. طریق داده میشود صورتی میانگین ...
در این پایان نامه ارتباطی بین معناشناسی اندازه بنیاد دانا اسکات برای منطق وجهی s4 و منطق توپولوژیک دینامیک، برقرار خواهد شد. منطق s4c در سیستم های توپولوژیک دینامیک یا فضاهای توپولوژیک با تابع پیوسته روی فضای مورد نظر، تعبیر می شود. دانا اسکات زبان منطق s4 را در جبر اندازه لبگ یا سیکما جبر زیرمجموعه ی بورل [0,1] به پیمانه مجموعه هایی با اندازه ی صفر، که در آن مربع- وجه با عملگر درون روی جبر ا...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید