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

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

ژورنال: :منطق پژوهی 0
سید محمدعلی حجتی دانشیار فلسفه دانشگاه تربیت مدرس هومن محمد قربانیان دانشجوی دکتری دانشگاه تربیت مدرس لطف الله نبوی دانشیار فلسفه دانشگاه تربیت مدرس ارسلان گلفام دانشیار زبان شناسی تربیت مدرس

بسیاری از فیلسوفان مدعی هستند که معنا و محتوای سمانتیکی زبان، امری هنجاری است، یعنی معنای یک کلمه تعیین کننده الگوی درست کاربرد بوده و این الگو را تجویز می کند. مهم ترین استدلال هایی که فیلسوفانی مانند کریپکی و بوقوسیان به نفع هنجاری بودن معنا ارائه داده اند بر مفاهیمی مانند «قواعد»، «کاربردهای صحیح»، و «امکان خطای سمانتیکی» استوار است. اما برخی فلاسفه، ادعای هنجاری بودن معنا را زیر سؤال برده و...

Journal: : 2022

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

سید احمد غفاری قره باغ محسن جوادی

از تفاوت‌های مهم بین معرفت پیشینی و پسینی این است که ما در معارف پیشینی صرفاً به حمل محمول بر موضوع پی نمی‌‌بریم، بلکه به ضرورت و الزام این حمل نیز منتقل می‌شویم. کانت گزاره‌های متافیزیکی، علم‌الطبیعه و ریاضی را اساساً به جهت کشف ضرورت در آنها، پیشینی تلقّی می‌کند و در خصوص منشأ‌یابی برای کشف ضرورت در نحوۀ ارتباط اجزای گزاره، راه‌حلّ شهود را به میان می‌آورد. در این نوشتار، ابتدا به تعاریف معرفت پی...

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

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

Journal: : 2022

امروزه ورود به حوزه مدیریت کیفیت برای سازمان‌ها از اهمیت ویژه‌­ای برخوردار است. مدل­های تعالی سازمانی ابزاری است که را در این مسیر رهنمون می­‌کند. بدین منظور، ازجمله شبکه بانکی کشور، رویکردهای گوناگونی سازمان خود راستای تحقق ارزش‌های مدل­‌های استقرار می­کنند؛ اما محدودیت منابع موجود قبیل هزینه، نیروی انسانی، فرهنگ و غیره، تمامی رویکردها میسر نمی‌­سازد؛ ازاین‌رو مسئله اصلی کدام بیشترین تأثیر ارت...

Journal: : 2022

کاهش هزینه‏‌های مرتبط با موجودی از مهم‌ترین استراتژی‌‏های هر بنگاه اقتصادی برای بقا و سوددهی در شرایط رقابتی امروزی است. این راستا مدل‏‌های کلاسیک هزینه‏‌ها مطرح شده‌اند؛ اما کنار مزایای فراوان دارای فرضیه‌های محدودکننده‌ای هستند. پژوهش، یک زنجیره سه­‌سطحی لجستیکی شامل تولیدکننده، توزیع‌‏کننده خرده‏‌فروش نظر گرفته می‏‌شود مسئله بهینه‌سازی مدل توزیع‌کننده موردبررسی قرار می‏‌گیرد. موردنظر، توزیع‏...

Journal: : 2022

این مقاله حاصل پژوهشی درباره قیمت‌گذاری و تبلیغ پویا است با استفاده از یک مدل کنترل بهینه، روشی برای تعیین تعداد بلیت فروش رویداد ورزشی یا تفریحی به­دست می­‌دهد تا سود برگزارکننده بیشینه شود؛ همچنین سعی شده حد ممکن هزینه پشتیبانی در این­گونه رخدادها نظیر غذا، نوشیدنی، کالاها، بیمه، امکان واگذاری رایگان سایر خدمات به خریداران نظر گرفته شود. روش، علاوه بر بلیت‌­ها (برنامه‌­ریزی ظرفیت)، قیمت پویای...

Journal: : 2022

هدف انتخاب تأمین‌کنندگان و تخصیص سفارش بر اساس ابعاد پایداری ریسک پایداری، در شرایط عدم‌­قطعیت برخی پارامترها است؛ همچنین با محدودیت استراتژی کاهش برای مدیریت همراه است. معیارهای ریسک، امتیاز توسط روش‌های تاپسیس فازی تجزیه‌وتحلیل آثار شکست محاسبه شده است سپس برنامه تصادفی چندمرحله‌ای ایجاد معیار ارزش معرض شرطی، پیرامون تأمین منابع یک فضای چند­دوره‌ای برنامه‌‎ریزی دستیابی به برنامه‌ریزی انعطاف‌پ...

Journal: : 2022

حدود ۸۰% از حمل‌ونقل جهانی در بستر دریا انجام می‌شود؛ بنابراین، به‌منظور حفظ ایمنی عبورومرور کشتی‌ها، پیش‌بینی دقیق حرکت آنها اهمیت ویژه‌ای دارد. ازآن‌جاکه پارامترهای زمینه‌ای گوناگونی کشتی‌ها تأثیر می‌گذارد، یکی چالش‌های اصلی حوزة محاسبات زمینه‌ـ آگاه شناسایی بهینة مؤثر کشتی است که ضرورت تحقیق حاضر را می‌رساند. این راستا، با استفاده شبکة عصبی حافظة طولانی کوتاه‌ـ مدت و انتخاب پارامتر به‌شیوة پ...

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

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