نتایج جستجو برای: منطق های گودل
تعداد نتایج: 480614 فیلتر نتایج به سال:
مخالفان علم منطق از قدیم الایام با رویکردهایی متفاوت، شبهاتی را علیه منطق پژوهی وارد کرده، از ناروایی روی آوری به این دانش سخن گفته اند. این شبهات در یک دسته بندی قابل ارجاع به چهار دسته کلی هستند. نوشتار حاضر می کوشد ضمن گزارش این دسته ها، نشان دهد که علامه طباطبائی کوشیده است در دفاع از منطق پژوهی، پاسخ های استواری را در برابر این قبیل شبهات پیش روی نهد. علامه علم مدون منطق را بازتاب طریق فطر...
سابقه و هدف: آب هوای یک منطقه در دوره بلندمدت را اقلیم گویند. شناسایی طبقهبندی اقلیمی از دیرباز مورد توجه متخصصان هواشناسی بوده است. محققان با به کارگیری روش های مختلف استفاده متغیرهای همچون بارش دما، زمین مناطق همگن طبقه بندی کردهاند نتایج پهنهبندی ارزیابی کمبود منابع مقیاس های کوچک بزرگ منظور پیشبینی اقدامات عملی برای کنترل خشکی آسیبپذیر بهکار بردهاند. هدف این تحقیق بهروزرسانی تحل...
منطق طریق اولایی نوع خاصی از منطق صوری است که استدلال های آن، برخلاف منطق ارسطویی متعارف، دارای چهار حد است که به واسطه آن ها پس از مقایسه دو شخص، چیز یا کار با هم، حکم یکی به دیگری نیز نسبت داده می شود و یا از آن سلب می شود. این منطق را می توان، به رغم باور آوی سیون، به وفور در آیات قرآن یافت؛ تا آن جا که می توان این صورت از منطق را منطق غالب در آیات قرآن قلمداد کرد. در تحقیق حاضر، پس از مقدمه...
در آغاز ، قیاس ، دیدگاه کانت دربارۀ قیاس صوری و شکل های چهارگانه آن می آید؛ و اینکه تنهاشکل شکل اول قیاس صوری اهمیت دارد و شک ل های دیگر به شکل اول م ی توانند برگرداندهشوند. پس از آن شکل های گوناگون و قاعده های منطق کلاسیک - ارسطویی معرفی می گردند؛در پایان کوشش می شود با الگو گرفتن از زبان صوری منطق جدید، نظریۀ مجموع ه ها، به ویژهنمودار وِن، ثابت شود که چطور همۀ شکل های گوناگون قیاس ب ه شکل اول ...
سابقه و هدف: مدل سازی سینتیک خشک شدن با استفاده از روشهای جدید مدل سازی از جمله منطق فازی و شبکه های عصبی مصنوعی می تواند به بهینه سازی فرایند و کاهش انرژی مصرفی کمک کند. در این پژوهش علاوه بر مدل سازی رگرسیونی، در رویکردی جدید اصول منطق فازی و شبکه های عصبی مصنوعی به صورت ترکیبی و مکمل هم به کار برده شده و مدلی فازی – عصبی ارائه ودر نهایت توپولوژی بهینه شبکه های عصبی مصنوعی برای خشک کردن پیاز...
فرانتس برنتانو franz brentano (1838-1917))) یکی از فیلسوفان نیمه دوم قرن نوزدهم و اوایل قرن بیستم است. جایگاه ویژه وی را می شود از دو جنبه نشان داد. یکی آن پیوند یا پلی است که می توان به واسطه او بین فلسفه تحلیلی و قاره ای برقرار کرد و دیگری آن که آموزه ها و تحلیل های او هم چنان می تواند سرچشمه بسیاری از پژوهش های فلسفی باشد، همچنان که یک قرن پیش چنین بود، اما سایه سنگین شاگردان مستقیم و غیرمست...
نوشتار حاضر تلاشی برای تحلیل سور شرطی لزومی سینوی برپایۀ منطق مرتبۀ دوم است. محققان معاصر صورت بندی های متفاوتی از شرطی سینوی به زبان منطق جدید عرضه کرده اند. از تفاوت های اصلی این صورت بندی ها چگونگی تحلیل سور شرطی بوده است. دیدگاه خواجه نصیرالدین طوسی دربارۀ سور شرطی مبنای آخرین تحلیل های محققان قرار گرفته است و می توان آن را با زبان منطق مرتبۀ دوم صورت بندی کرد؛ بر این اساس، تحلیل های عرضه ش...
منطق ارسطو از دیرباز یکی از سیستم های منطقی مورد توجه فلاسفه و حکما بوده است. از آن جا که لازمه داشتن نگاهی کاربردی به منطق ارسطو، فهم قیاس و اشکال سه گانه اش است، در این مقاله به بحث قیاس به طور جدی پرداخته خواهد شد. یکی از مباحث مهم قیاس ارسطو ضرب های منتج و عقیم است، با این حال نکته جالب این است که در اعصار گذشته آن چنان که به ضرب های منتج توجه می شده است به ضرب های عقیم توجه نمی شد. در این ...
چکیده برای فهم مبانی و خاستگاه منطق هگل، علاوه بر منبع اصلی مورد استناد مفسران؛ یعنی کتاب علم منطق، لازم است نخستین رسالۀ منطقی هگل طی سال های حضورش در ینا مورد بررسی قرار گیرد. رسالهای که نه تنها در زبان فارسی هیچ شرحی از آن در دسترس نیست، بلکه حتی در زبان انگلیسی نیز مهجور است. مقالۀ حاضر برای نخستین بار شرحی از سیر تکوین منطق ینای هگل به دست میدهد. به همین منظور ابتدا مختصری به کلیت نظام ی...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید