در این پایان نامه، نخست مقدمات و کلیاتی از مفهوم تصمیم نابرداری ارائه شده است. در وهله بعد، سیستم هایِ منطق زمان ابن سینا و پیشینه کارهایی که در این زمینه ارائه شده است را بیان کرده ام. در وهله بعد از آن تصمیم نابرداری منطق مرتبه اول را اثبات کرده ام.

چکیده ندارد.

این حقیقت که قضیه مشهور ناتمامیت گودل و الگوی اصلی تمامی پارادوکس های منطقی از جمله پارادوکس دروغگو، به صورت نزدیکی با هم ارتباط دارند، نه تنها شناخته شده است بلکه وجه مشترکی از دانسته های منطق دانان محسوب می شود. در واقع، تقریباً تمام بحث های صوری این قضیه [ناتمامیت گودل] کمابیش پلی بر این ارتباط می سازند. در این پایاننامه سعی بر نشان دادن این ارتباط خواهیم داشت.

تولید پسماند از جمله مشکلات مدیریت شهری است که امروزه به یکی از معضلات عمده شهرها تبدیل شده است که تاثیرات نامطلوب زیست محیطی در شهرها به جا می گذارد. در این پژوهش از سیستم های اطلاعات جغرافیای به عنوان ابزاری کار آمد برای مکان یابی ومدیریت بهینه دفن مواد زاید شهری استفاده شده است. برای این منظور 20 لایه اطلاعاتی دخیل در امر مکان یابی دفن در محیط gis  تهیه و بر روی این لایه ها پردازش انجام شده ...

ابن سینا برای اولین بار در تاریخ منطق کمیت و کیفیت گزاره های شرطی را به تفصیل بحث نموده است و در قالب زبان طبیعی به تبیین چگونگی اعتبار کلیت جزئیت و نیز تعیین جایگاه ایجاب و سلب در گزاره های شرطی پرداخته است هر چند وی در این تحلیلها به نکات و دقایق متعددی دست یافته است اما منطق معمول و موجه شرطی ها را در هم آمیخته که به دلیل برخی مواضع متضاد در آن سیستم صوری معینی درباره شرطی از آن قابل استخراج...

مقاله ای که در پیش روی دارید در پی تبیین دو مدل از مدلهایی است که نظام پیدایی عالم را به تصویر می کشند. در حوزة تفکر اسلامی، الگوهای سینایی و اشراقی، نسبت به دیگر الگوهای شده، معروف­تر و درخور توجه بیشتری هستند. گرچه اصل مسألة ارتباط خدا با عالم، خصوصاً درباب پیدایش آن (و نه صرفاً تدبیر آن)، پس از مسألة خدا، مهمترین مسألة فلسفی، به خصوص برای فیلسوفان متأله تلقی می شود، اما نویسندگان این مقاله در...

مقصد این گفتار ردّ ادعای مورخانی است که پیدایش مکتب حروفیه را در قرن نهم و به رهبری فضل الله استر آبادی منسوب و ارزیابی کرده اند و در مقابل، اثبات این واقعیت تاریخی که زمان شکل گیری این مکتب قرن ششم قبل از میلاد است و مؤسس آن فیثاغورس حکیم؛ کسی که در قرن چهارم هجری قمری با تلاش اخوان الصفا به ایران و جهان اسلام وارد شده و به همت ابن عربی به اوج کمال نظری خود رسیده و تا قرن نهم هجری از سوی شاگردا...

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

دور و تعریف به مساوی ازجمله مغالطه های منطق تعریف در دستگاه ارسطویی اند. با وجود این، شگفتی آور است که اینن هنر دو مغالطنه را در تعرینف هنای سننیتی جنس و نوع اضافی می توان دیند و تتینی برخنی از عتنار هنای ارسنطو آشکارا بیان گر آن هستند که وی تعریف دوری را نهتنها بنرای جنس و نوع اضافیکه برای همه متضایفان روا منی شنمارد. فرفورینوس در اینن زمیننه هنا یک سره پیرو ارسطو است و ایساگوگ هاو چیزی جز...