سید محمد‌هاشم پورمولا* عبد العلی شکر** حسن عدالت و قبح ظلم از احکام عقل عملی است که به دلیل اشتمال بر حفظ نوع و مصالح عامه، از قضایای عقلایی نیز محسوب می‌شود. بین حکم عقل و حکم شرع ملازمه وجود دارد. معیار قضیه اولی بودن، آن است که با تصور دو طرف قضیه، حکم صادر ...

در این پزوهش اهداف اصلی و فرعی به شرح ذیل می باشد: الف) هدف اصلی: - بررسی دیدگاه کانت در مورد قضایای علم حساب ، منطق و هندسه -بررسی دیدگاه فرگه در مورد قضایای علم حساب ، منطق و هندسه -تحلیل و مقایسه دیدگاه دو فیلسوف با یکدیگر ب) اهداف فرعی: - بررسی نظریات کانت راجع به تعریف انواع قضایا - بررسی نظریات فرگه راجع به تعریف انواع قضایا در این پژوهش روش تحقیق به صورت ذیل است: جستجوی منابع کتا...

والتر بلاشکه در سال 1928 در کنگره ی ریاضی بولونیا، نظر هندسه دانان را به شبکه ی خم های واقع بر یک رویه جلب نمود. هدف بلاشکه بیان این شبکه ها به شکل یک ساختار هندسه ترکیبی در حوزه ی مبانی هندسه بود. از آن به بعد ریاضی دان هایی مانند رایدمایستر و تامسن به کار در این ضمینه پرداختند. آن ها نشان دادند که برای نمایش هندسی دورها و گروه ها 3-شبکه ها مناسب هستند و توانستند بوسیله ی قضایای بستاری در مورد...

کواین روش معرفت­شناسی را از روش علوم تجربی جدا نمی­داند و توصیه می­کند با استفاده از روان شناسی، عصب­شناسی و روان­شناسی زبان به معرفت­شناسی بپردازیم. انکار تمایز روش معرفت­شناسی و علم به دلیل انکار مرز بین قضایای تحلیلی و ترکیبی است که از نظریه کل­­گرایی او ریشه می­گیرد. این یکسانی روش، طبیعت­گرایی نامیده شده است و دو دلیل دارد: اول، شکست روش تجربه­گرایی سنتی، که می­خواست به روش تحلیلی ساختمان ...

افضل الدین خونَجی، با تقسیم هر یک از عقد الوضع و عقد الحمل به خارجی و حقیقی، عقدهای خارجی را به صورت وصفی و عقدهای حقیقی را به سه صورت بسیط، اضافی و شرطی بیان می کند. از آنجا که موصوف و صفت را در منطق جدید غالبا معادل ترکیب عطفی می دانند، به نظر می رسد که عقدهای خارجی را باید به صورت ترکیب عطفی تحلیل کرد. عقدهای حقیقی را نیز دست کم به سه صورت بسیط، شرطی تابع ارزشی و شرطی ربطی می توان تحلیل کرد. ...

سم استوانه ای همواره موضوعی بسیار جذاب بوده است و این از زمانی آغاز شد که ارشمیدس، تنها از طریق مفاهیم هندسی ثابت کردکه حجم سم استوانه ای 1/6 حجم مکعب محاطی آن است. در این مقاله با استفاده از مثلثات و حسابگان دیفرانسیل و انتگرال، چگونگی محاسبه حجم سم استوانه ای ارائه شده است.

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

 در منطق موجهات جدید، رابطۀ جهت و سور را با فرمول‌هایی نشان می‌دهند که به افتخار ژان بوریدان و خانم روت بارکن مارکوس ـ دو منطق‌دان از سدۀ چهاردهم و بیستم میلادی ـ فرمول‌های بوریدان و بارکن نامیده شده‌اند. ضیاء موحد، لطف‌الله نبوی و مهدی عظیمی پیشینۀ این فرمول‌ها را به ابن‌سینا می‌رسانند. در این مقاله نشان می‌دهیم که ابن‌سینا فقط تمایز «جهت سور» و «جهت حمل» را بیان کرده است و اشاره‌های او در دو ...