نتایج جستجو برای: منطق های گودل
تعداد نتایج: 480614 فیلتر نتایج به سال:
پژوهش حاضر تلاشی است برای مقایسة محتوای دو اثر برجستة عرفانی، منطق الطیر عطار نیشابوری و رسالة الطیر ابن سینا، که به شیوة مطالعه و با استفاده از تحلیل کیفی و کمی محتوا صورت گرفته است. برای سهولت مقایسه از جدول ها و نمودارهایی نیز استفاده شده است. یافته های پژوهش نشان می دهد که شباهت ها عمدتاً در محتوای اثر است. مهم ترین شباهت دو اثر اشتراک در مضمون آن هاست. وجود رمز «مرغ» و مضمون «وحدت» بسیار بر...
غرض از نگارش مقاله حاضر، انجام مطالعه ای تطبیقی میان آرای منطق دانان مسلمان در خصوص قضیّه حقیقیّه از یک سو و دیدگاه نِلسون گودمَن در باب گزاره های قانون وار از سوی دیگر می باشد. از این رو، ابتدا تحلیل منطق دانان مسلمان از مفاد قضیّه حقیقیّه و نیز نظر گودمَن در مورد گزاره های قانون وار را تقریر میکنیم و سپس با اخذ رویآوردی تطبیقی به تبیین مواضع خلاف و وفاق این دو دیدگاه می پردازیم. از این رهگذر روشن ...
با ظهور منطق صوری جدید و پیشرفت در متمایز کردن صورت از ماد ّه، مواردی از خلط صورت با ماد ّه در منطق قدیم آشکار شده است. عده ای معتقدند این خلط در قاعدۀ عکس مستوی که از قواعد صوری بسیار مهم است و در اثبات بسیاری از دیگر قواعد صوری هم به کار می رود، وجود دارد؛ چون در مواردی از اعمال قاعدة عکس مستوی، استنتاج وجودی از شرطی صورت می گیرد و اصل صادق، امـّا عکس کاذب است. علّت اینکه پیشینیان آن را معتبر می ...
شمس الدین سمرقندی از منطق دانان قرن هفتم، در بحث قیاس شرطی دیدگاهی نو در برابر ابن سینا پیش نهاده است. از نظر ابن سینا، قیاس شرطی دقیقاً مانند قیاس حملی است و در نتیجه، 19 ضرب منتج دارد؛ اما سمرقندی این همانندی را نمی پذیرد و فقط 7 ضرب از قیاس شرطی را معتبر می داند. او در بیان شرایط انتاج فقط شرایط کیفیت را بیان می کند و به شرایط کمیت نمی پردازد و هنگام ارائه مثال نقض برای ضرب های عقیم، تفاوت کم...
هدف از مقاله حاضر، بررسی اثرات روزهای هفته بربازده شاخص کل قیمت سهام بازار بورس تهرانطی سال های 1383 تا 1388 است. دراین مطالعه از روش"رگرسیون فازی با توابع عضویت مثلثی"درمقابلروش های دیگر بهره جسته ایم. مبنای این روش، فازی سازی متغیرهای مجازی با استفاده از منطق فازیاست. در واقع منطق فازی ما را قادر می سازد تاابهامات و غیرخطی های رفتارانسانی که ازمشخصه هایاصلی فعالیت مالی است را محاسبه نماییم. ع...
شناخت آرای منطقی امام محمد غزالی و قاضی زین الدین عمر بن سهلان ساوی در فهم آرای منطق دانان پس از آن ها، به ویژه فخررازی، اهمیت بسزایی دارد. نقش غزالی در تبیین جایگاه رفیع علم منطق و رشد میزان مقبولیت آن در میان متشرعین آن زمان انکارشدنی نیست. مرکب انگاری تصدیق و بررسی تمایز آن با معرفت، نسبت های چهارگانه ی منطقی، الحاق منطق به اصول فقه، درآمیختن قواعد منطقی با اصطلاحات ابتکاری جدید و مثال های ا...
ابن سینا برای اولین بار در تاریخ منطق کمیت و کیفیت گزاره های شرطی را به تفصیل بحث نموده است و در قالب زبان طبیعی به تبیین چگونگی اعتبار کلیت جزئیت و نیز تعیین جایگاه ایجاب و سلب در گزاره های شرطی پرداخته است هر چند وی در این تحلیلها به نکات و دقایق متعددی دست یافته است اما منطق معمول و موجه شرطی ها را در هم آمیخته که به دلیل برخی مواضع متضاد در آن سیستم صوری معینی درباره شرطی از آن قابل استخراج...
ایجاد مراکز خدمات عمومی جدید، مستلزم صرف هزینه های زیاد است و تعیین مکان بهینه آنها به شیوه ای که همه شهروندان به نحو موثر از آن بهره مند شوند ضروری است. پارکینگ های عمومی یکی از اینمراکز خدماتی است، با توجه به افزایش جمعیت و رشد غیر اصولی شهرها از یک طرف و افزایش خودروها ازطرف دیگر به منظور کاهش ترافیک در مناطق مرکزی شهر، احداث پارکینگهای عمومی به عنوان یکی از راهکارهای مؤثر، می تواند مدنظر ق...
در این پژوهش توان اکولوژیکی منطقه سجافی در شهرستان هندیجان، با توجه به گسترش روز افزون توسعه در مناطق سـاحلی و همجـوار آن از یک سو و آسیب پذیری بالقوه آنها از سوی دیگر، در مقیاس 1:100000 و با روش رویهم گذاری نقشه ها به روش بولین با کمک سامانه اطلاعات جغرافیایی (GIS) ارزیابی شد. همچنین برای کاستی های موجود منطق بـولین در روش رویهـم گـذاری، از منطـق فـازی در روش مذکور استفاده و ن...
تعارض در تکالیف، علاوه بر آن که موضوع بسیاری از بحث های فلسفه اخلاق است ، جایگاه ویژه ای در مباحث حقوقی و فقهی دارد. با این حال، منطق استاندارد تکلیف قادر به تحمل تعارضات نیست و با بروز تعارض بین تکالیف به تناقض میانجامد. در این نوشتار، نوشتارگان منطق تکلیف در موضوع تعارض تکالیف را مختصرا مرور نموده و به معرفی دو رویکرد اصلی در برخورد با تعارضات تکلیفی می پردازیم، که یکی از آن ها پذیرش تعارض ب...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید