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

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

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

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

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

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

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

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

در این پایان نامه ابتدا یک gcd - دامنه را تعریف می کنیم. gcd - دامنه ، دامنه صحیحی است که هر دو عضو ناصفر آن بزرگترین مقسوم علیه مشترک داشته باشند. در یک gcd - دامنه اشتراک هر دو ایده آل اصلی یک ایده آل اصلی است. سپس agcd - دامنه ها (تقریبا gcd - دامنه ها) را تعریف می کنیم. agcd - دامنه ، دامنه صحیحی است که برای هر دو عضو ناصفر آن مانند b وa عدد طبیعی n موجود باشد به طوری که اشتراک دو ایده آل a...

به لحاظ سنتی و تاریخی، اقدامات بازیگران غیردولتی تنها در صورتی به دولت منتسب می شود که به طور رسمی یا عملی ارگان آن دولت محسوب شوند، یا نمایندۀ آن دولت باشند و تحت کنترل و هدایت دولت عمل کنند یا اینکه دولت اقدامات آنان را به صراحت تأیید کند و به عنوان عمل خود بپذیرد. بعد از واقعۀ 11 سپتامبر 2001، قاعدۀ سنتی مزبور تا حدوی تغییر یافت، به گونه ای که منطقۀ خاکستری به وجود آمد مبنی بر اینکه آیا دولت...