نتایج جستجو برای: منطق های گودل
تعداد نتایج: 480614 فیلتر نتایج به سال:
شب پره جوانه خوار بلوط Tortrix viridana, Linnaeus, 1758 (Lep. Tortricidae) یکی از آفات مهم گونه های مختلف جنس Quercus spp. می باشد. لاروهای این آفت ها و برگ درختان تغذیه نمایند باعث بی برگی کامل مورد نظر شوند. در تحقیق تفاوت ژنتیکی پروانه با استفاده مارکرهای ISSR بر اساس میزبان آن جنگل شمال غرب ایران مطالعه قرار گرفت. 19 جمعیت شامل 171 فرد که سه branti Lindl. 1840, infectoria Oliv. 1801 libani ...
آموزه منطق گرایی عبارت است از فروکاستن مفاهیم و قضایای ریاضی به مفاهیم و قضایای منطقی. این آموزه که یکی از مکاتب مهم فلسفه ریاضی است، را نخستین بار برنارد بولتزانو صورت بندی کرد و سپس گوتلپ فرگه سعی کرد با ارائه نسخه جدیدی از منطق آن را ادامه دهد. درنهایت این آموزه را به صورت پروژه ای، برتراند راسل و آلفرد نورث وایتهد عملی کردند. در این مقاله نخست تلاش خواهم کرد چگونگی تحول و تکوین این پروژه را...
در این جستار منطق رواقی و تعبیری که در نیمه نخست قرن بیستم از این منطق صورت گرفت بررسی می شود. از آن جا که نخستین محققان در این دوره بر اساس پیش فرض های منطق جدید با منطق رواقی مواجه شدند، این رویکرد را کلاسیک نامیده ایم و سعی کرده ایم تعابیری را که این رویکرد از ادات اصلی منطق رواقی یعنی نفی، عطف، فصل، و شرطی به دست داده است بررسی کنیم. در مورد هر ادات، در پرتو کارهای جدید بر روی منطق رواقی، ن...
چکیده روش تحلیل محتوا یکی از روش های رایج در تحقیقات اجتماعی است. طی دهه های اخیر، گونه های گوناگونی از تحلیل محتوا به وجود آمده اند که می کوشند اصول این روش را در ترکیب با مفروضات انواع رویکردهای نظری به کار گیرند. با وجود چنین تنوعی، این پرسش قابل طرح است که چگونه می توان نوعی دسته بندی از روش تحلیل محتوا ارائه داد؟ آیا تقسیم تحلیل محتوا به دو گونه کمی و کیفی می تواند تنوعات موجود در این عرصه...
منطق ارسطویی به مثابه بخشی از فلسفه اسلامی، در میان مسلمانان مخالفان بسیاری داشته است که می کوشیده اند بی اعتباری منطق را بر ملا کنند. در نتیجه بخشی از فعالیت فیلسوفان و منطقدانان مسلمان دفاع از منطق و اعتبار آن در برابر مخالفان بوده است. در کنار انتقادات رایج و کهنی که در کتاب های مدافعان منطق پاسخ آنها را می توان یافت، به تازگی برخی مدافعان مکتب تفکیک به نام علم جدید و روش علمی مقبول در نظام ...
هدف این رساله، واکاوی و بررسی دو دیدگاه در مورد سمنتیک منطق موجهات است: دیدگاهی که، در چارچوب منطق قدیم، تفسیری زمانی از موجهات را پیشنهاد می کند و ضرورت را به زمان برمی گرداند، و دیدگاهی که تجربه را به مفاهیم متافیزیکی پیوند می زند و از منطق جدید راهی می گشاید به سوی به رسمیت شناختن مفاهیم موجهه. ما ضمن تدقیق در این دو دیدگاه و تلاش برای بیرون کشیدن مبانی و مختصات معرفتی آن ها، نهایتاً به قض...
عالمی که در آن زندگی می کنیم در تمامی ساحت ها دارای قوانین واصولی است، همانطور که در عرصه علوم تجربی قوانینی بر بعد مادی اشیاءحاکم است در عرصه مادی و معنوی زندگی بشر قوانینی وجود دارند. این قوانین که در عرف دینی به آن سنت گفته می شود بر تمامی زندگی بشر سایه انداخته است. بدیهی است شناخت این قوانین که سرنوشت دنیوی واخروی بشر در گرو آن قرار دارد بسیار ضروری است. از طرف دیگر از آنجا که سعادت حقیقی ...
در این پایان نامه یکی از توسیع های منطق تکلیف به نام منطق ورودی/خروجی مورد بررسی قرار گرفته است. منطق تکلیف یکی از شاخه های منطق موجهات است که به بررسی گزاره های در باره وظیفه، مجوز و ممنوعیت می پردازد و در سال 1951 توسط فون رایت معرفی گردید. اما از همان ابتدا پارادوکسهای زیادی برای آن به وجود آمد. یکی از این توسیع منطق ورودی/خروجی است که در سال 2000 ارائه گردید و تا سال 2003 با ارائه دو مقاله ...
سیاست اعتمادسازی ب هعنوان پارادایم صریح سیاست خارجی جمهوری اسلامی ایران در کی دهه گذشته و رفتار غالبایران پس از پایان جنگ ایران و عراق و اعلام سیاست تن شزدایی، توانست تأثیر ب هسزایی در ارتقای جایگاه منطق هایایران بر جای گذارد. این سیاست که اکنون راهبرد اصلی ایران در تأمین امنیت منطق ها یاش م یباشد، پیشتر در مناطقدیگری چون اروپا، امر کیای جنوبی و شرق آسیا تجربه شده است و پس از آغاز جنگ سرد اول ب...
ابن سینا شرطی لزومی با مقدّم ممکن و شرطی لزومی با مقدّم ممتنع را لزومی به حسب نفس الامر و لزومی به حسب الزام نامیده، و قسم دوم را در واقع و نفس الامر کاذب دانسته است. این حکمْ شگفت بلکه خلاف شهود است و، از این رو، نزاع های بسیاری در ردّ و قبول آن درگرفته است. در این مقاله، با گزارش انتقادی نزاع های یادشده، لزومی حقیقی و لفظی را به زبان منطق جدید و به کمک منطق موجّهات و منطق ربط تحلیل کرده ایم و نشان...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید