نتایج جستجو برای: منطق ریاضی
تعداد نتایج: 19288 فیلتر نتایج به سال:
برنامة قوی در جامعهشناسی معرفت علمی با نام مکتب ادینبرا و دیدگاههای نسبیانگارانة این مکتب شناخته شده است. براساس این رویکرد، همة آنچه «معرفت» بهشمار میرود، صرفنظر از صدق یا کذب آن، عللی دارد که به پذیرش آن در جامعه انجامیده است و جامعهشناس موظف است که این علل را بیابد. این برنامه، برخلاف برنامههای ضعیفتری که معرفت علمی را استثنا میکردند، بر این ایده مبتنی است که عوامل اجتماعی در شکل...
رفتار تولیدکننده، یکی از چالشهای نظری مهم درباره اثر دین بر اقتصاد است. در اینباره نظریههایی ارایه شده است؛ اما این نظریهها نارساییهایی نیز دارد. در نوشتار پیش رو کوشیده شده است با یادآوری انگیزه و هدف تولیدکننده و دادن چارچوبی سازگار با دین به آن، اثر باور به زندگی پس از مرگ و رضایتخاطر آن زندگی، بر رفتار تولیدکننده تحلیل و تبیین شود. نوشتار پیش رو در چارچوب نظریهپردازی میگنجد و روش...
اگر منطق صوری و ریاضی حقوق بر آن است که برای یک استدلال معتبر حقوقی باید شکل آن معتبر باشد و آنگاه مهم نیست که چه مادهای در آن ریخته شود، منطق خطابیِ حقوق ماده را بر شکل آن ترجیح میدهد. در مدل استدلال خطابی تولمین، اولاً مقبولیت مادۀ هر استدلال وابسته به داوری است که مخاطبان همان حوزه از مقبولیت آن دارند، و ثانیاً صورت استدلال نه همچون منطق صوری ارسطویی دستوری، بلکه توصیفی و برگرفته از شیوۀ است...
آموزة منطقگرایی عبارت است از فروکاستن مفاهیم و قضایای ریاضی به مفاهیم و قضایای منطقی. این آموزه که یکی از مکاتب مهم فلسفة ریاضی است، را نخستین بار برنارد بولتزانو صورتبندی کرد و سپس گوتلپ فرگه سعی کرد با ارائة نسخة جدیدی از منطق آن را ادامه دهد. درنهایت این آموزه را به صورت پروژهای، برتراند راسل و آلفرد نورث وایتهد عملی کردند. در این مقاله نخست تلاش خواهم کرد چگونگی تحول و تکوین این پروژه را...
پژوهش حاضر درصدد بررسی امکان ارایة برگردان صوری برای روابط مفهومی در سطح جمله است و این مهم را با بهکارگیری منطق ریاضی به ویژه منطق محمولها در محدودة نمونههای کارآمد برای زبان فارسی انجام میدهد. به این ترتیب که ابتدا روابط مفهومی در سطح جمله که شامل «استلزام معنایی»، «تضاد معنایی»، «استنتاج» و «پیشانگاری» است، معرفی میشود و سپس، بهوسیلۀ ابزارهای صوری منطقدانان و به ویژه منطق محمولها بر...
چکیده ندارد.
نظریه مدل ها شاخه ای از منطق است که ساختارهای ریاضی را از دیدگاه منطق بررسی می کند. یکی از راه های ساختن ساختارها، روش فراضرب بر پایه ی مفاهیم فرافیلتر است. ما در این پایان نامه ، فرافیلترها و ارتباط عمیق آن ها با نظریه مدل ها را مطالعه می کنیم .نفطه اوج این روابط، قضیه واش است.قضیه فشردگی یک نتیجه آسان از این قضیه است. همچنین ترتیب رودین - کیسلر را روی خانواده فرافیلترها مطالعه می کنیم.می توان...
این پژوهش با الهام گرفتن از نتایج یک طرح مطالعاتی کاربردی، رویکرد سلسلهمراتبی جهت پیگیری فرایند توسعه تأمینکنندگان و حمایت تصمیمات موجود در هر مراحل آن ارائه میکند. ابتدا، زمینههای تأمین نیازمند سپس واجد شرایط هریک زمینهها به کمک تصمیمگیری چندشاخصه بهترین-بدترین مشخص میگردند. معیارهای شناسایی نیز مرور مطالعات پیشین بهرهگیری نظرات خبرگان حوزهی خرید استخراجشدهاند. درنهایت، مدل ریاضی ...
در این مقاله، تاریخ فلسفۀ ریاضی را در سه دوره مطالعه می کنیم. دورۀ اول از ادوار باستانی تا اواخر قرن هفدهم میلادی؛ دورۀ دوم که با ابداع حساب دیفرانسیل و انتگرال توسط نیوتن و لایب نیتس آغاز می شود و حدودا دو قرن به درازا می کشد؛ و دورۀ سوم از زمان دقیق سازی مبانی آنالیز ریاضی توسط وایرشتراس و دیگران تا به امروز. همچنین سه مکتب فلسفی منطق گرایی، شهودگرایی و صورتگرایی در ریاضیات را نقد و نقاط ضعف...
سامانه های خبره تصمیم گیری مبتنی بر قواعد فازی روشی برای پردازش وقایع غیر قطعی ارائه می کنند. این عمل دقیقاً همان شرایطی است که در صحنه نبردهای آینده با آن روبرو هستیم. در این راستا حوزه های فرماندهی و کنترل نیز از این امر مستثنی نبوده و کشورهای پیشرفته توانسته اند با استفاده از سامانه های خبره مبتنی بر قواعد فازی، امکان تصمیم گیری صحیح و سریع را در شرایط بحران فراهم کنند. در سامانه های عملیاتی...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید