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

قضیه منگر از قضایای اساسی نظریه گراف است که نشان می دهد ارسال داده از یک منبع به یک مقصد امکان پذیر است. قضیه ادموندز قضیه دیگری می باشد که نشان می دهد ارسال داده از یک منبع به چند مقصد با مسیریابی امکان پذیر است. اهلسود در قضیه کدگذاری شبکه نشان داد که می توان از منبع به چند مقصد به طور هم زمان ارسال کرد. در صورتی که بدون استفاده از کدگذاری شبکه و تنها با استفاده از مسیریابی نمی توان به این هد...

قانونگذار قانون مجازات اسلامی سال 1370 برابر ماده 231 اقرار و شهادت (بینه) را از راه­های ثبوت قتل در دادگاه به حساب آورده و مواد 232 الی 236 را به احکام اقرار و مادتین 237 و 238 را به احکام شهادت اختصاص داده است. در فرضی که بر ارتکاب قتل از سوی «الف» با گواهان حائز شرایط اقامه بینه می­شود و در عین حال فرد دیگری با شرایطی که مقنن در جهت پذیرش اقرار لازم می­داند، اقرار می­کند که قاتل نه مشهود عل...

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

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

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

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

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

وجود رابط در کلمات فلاسفه سه اصطلاح دارد: اصطلاح اوّل وجود رابط در قضایاست، که در مقابل وجود محمولی قرار دارد و از سنخ مفاهیم حرفی در مقابل مفاهیم اسمی است. مفاهیم اسمی مفاهیمی اند که به تنهایی و بدون احتیاج به مفاهیم خارج از ذات خویش تصوّر شدنی اند و مفاهیم حرفی مفاهیمی اند که به تنهایی تصوّرشدنی نیستند. اصطلاح دوّم عبارت از وجود فی نفسه لغیره است که حیثیّت «فی نفسه»ی آن بعینه همان حیثیّت «لغیره»ی آ...

در این نوشته، برهانی غیر از برهان استاندارد برای قضیه کیلی - همیلتن ارائه می شود که بر مبنای استفاده از سری های توانی صوری استوار است.