نتایج جستجو برای: منطق های گودل
تعداد نتایج: 480614 فیلتر نتایج به سال:
یکی از رویکردهای مورد مطالعه در نظریه مدل بررسی ساختار های آنالیزی با کمک ابزارهای نظریه مدلی است. در این راستا انواع گوناگونی از منطق ها و نظریه مدل های مرتبط با آنها پدید آمده اند که از آن جمله می توان به نظریه مدل فضاهای باناخ، منطق پیوسته و نظریه مدل برای ساختارهای متریک و نیز منطق انتگرال اشاره نمود. منطق پیوسته برای اولین بار توسط چانگ و کیسلر معرفی گردید. بعدها مطالعات نظریه مدلی در این ...
کیفیت توسعه و زیر ساخت های آن در نواحی جغرافیای کشور در اثر برنامه ریزی های نامطلوب ملی و متمرکز گذشته مسائل عمده ای را در روند توسعه ی نواحی آشکار ساخته است. از این رو موضوع چگونگی سرمایه گذاری دولت بین نواحی، بخش ها و زیر بخش های اقتصادی در جهت توزیع عادلانه و کاهش عدم تعدل های موجود، همواره مطرح بوده است. ابعاد گوناگون و پیچیدگی ساختاری این موضوع یکی از تنگناهای اساسی در راستای ارائه مدل منا...
رگه هایی از منطق گزاره ها را در آثار ارسطو می توان دید. با این حال، او شیفته آموزه قیاس حملی است و قیاس های شرطی را اگرچه تحویل ناپذیر، ولی نیازمند به آنها می شمارد. پس از ارسطو، شاگردانش کوشیدند نظریه قیاس های شرطی را گسترش دهند با این حال کار چندانی از پیش نبردند. این رواقیان بودند که با نگاه ویژه به منطق گزاره های شرطی، نخستین دستگاه منطق گزاره ها را پایه گذاری کردند. جایگاه بنیادین منطق ...
چکیده منطق هزینه فایده که پایه ایده های موسوم به تئوریهای اقتصادی را تشکیل می دهد را در ایده های بکاریا وبنتهام در قرن 18 نیز می توان دید.براین اساس بزهکاران بسان افرادی محاسبه گرمنافع ومضرات جرم را می سنجند وسپس تصمیم به ارتکاب می گیرند.این منطق علیرغم نقاط قوت آن ،پشتوانه جدی برای حمایت از اعدام با توسل به کارکرد بازدارندگی آن شده است.تحلیل فرآیند تصمیم گیری بزهکاران مواد مخدر برای ارزیابی ای...
در این مقاله شخصیت های قرآنی، انبیای الهی هستند که نام آن ها در قرآن ذکر شده و احکام خداوند را به مردم ابلاغ می کردند. اعمال و رفتار این برگزیدگان در شعر شاعران فارس یزبان به نام « منطق الطیر » وفور به کار رفته است. عطار شاعر سبک خراسانی، از 16 شخصیت قرآنی در در ابیات « منطق الطیر » برده و به زندگی، رفتار و سجایای اخلاقی آن ها اشاره کرده است. او در مختلف با ساختاری منسجم و زیبا، برای به جلو برد...
هین تیکا در تحلیل دلالت شناسی منطق معرفت به قصد پاسخ گویی به مسئلۀ همه چیزدانیِ منطقی از جهان های ناممکن استفاده کرد. پریست نیز همچون هین تیکا در تحلیل متون التفاتی به جهان های ناممکن متوسل می شود. پس از مطالعه رویکردهای متعدد به جهان های ناممکن و کاربردهای گوناگون جهان های ناممکن در منطق موجهات، پاسخ پریست به مسئلۀ همه چیزدانیِ منطقی و سه مسئلۀ دیگر منطق معرفت را بررسی خواهیم کرد. دلالت شناسی ای...
ارسطو را می توان از پیشگامان منطق ترجیح قلمداد نمود. در عصر جدید محققان برجسته ای چون سورن هالدن جورج فون رایت رودریک چیزم نیکلاس رشر و ریچارد جفری در احیاء و گسترش این بخش از دانشهای منطقی کوشش قابل ملاحظه ای از خود نشان داده اند از جمله روابط منطقی که نقش پایه و اساسی در منطق ترجیح ایفا می کنند رابطه S , P است P به معنای P بر q ترجیح دارد یا p بهتر است از q و s به معنای p در ارزش برابر است با...
افضل الدین خونجی، برای نخستین بار در تاریخ منطق، در میان گزاره های حقیقیه و خارجیه، گزاره های همیشه صادق و گزاره های همیشه کاذب را یافته است. این گزاره ها پیش از این در منطق مرتبۀ اول صورت بندی شده و مورد بررسی قرار گرفته اند و نشان داده شده است که صدق همیشگی این گزاره ها نیازمند پیش فرض «وجود فرضی معدومات» است. در این مقاله، این گزاره ها را در منطق مرتبۀ دوم بررسی کرده و نشان داده ایم که در ای...
موضوع این مقاله «مقایسه ی کاربرد معنایی سیمرغ در منطق الطّیر عطّار و مثنوی معنوی مولانا» میباشد. عطار و مولانا سیمرغ را در چند معنای گوناگون به کاربرده اند؛ تا به کمک آن اندیشه های عارفانه ی خود را به خوبی القا کنند. در این مقاله به معرفی سیمرغ به عنوان پرنده ای افسانه ای که در ادبیات عرفانی جایگاه ویژه ای دارد،پرداخته شده است. سیمرغ و کوه قاف در منطق الطّیر و مثنوی از کنایات معروف عرفانی هستند. ...
از آنجایی که رفتار سازمانی در جست و جوی دانش همه جانبه رفتار در محیط های سازمانی از طریق مطالعه منظم فرد، گروه و فرآیندهای سازمانی و منطق فازی نیز دارای انعطاف پذیری فوق العاده ای برای نعانی زبان طبیعی می باشد، لذا، می توان با کمک قابلیت های منطق فازی در انطباق با وضعیت های پیچیده، مدیران را در پیش بینی و تحلیل مناسب تر رفتار در هر کدام از سطوح فرد، گروه یا سازمان یاری نمود. دراین مقاله ضمن برر...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید