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

ابتدا مشبکه و نیم مشبکه مدولار متعامد را تعریف کرده و سپس قضایایی برای تصحیح در شناخت انها بیان کردیم

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

در این پایان نامه دو تعریف برای شبه طیف عملگر خطی وکران دار در فضای باناخ در نظر می گیریمکه یکی با نا مساوی اکید ودیگری با نامساوی غیر اکید است. هدف ما در در این پایان نامه دو تعریف برای شبه طیف عملگر خطی وکران دار در فضای باناخ در نظر می گیریمکه یکی با نا مساوی اکید ودیگری با نامساوی غیر اکید است. هدف ما در این پایان نامه مطالعه برخی تعریف های معادل برای این دو تعریف است.این پایان نامه مطالعه ...

منطق ریاضی را در دو لایه می توان مورد بررسی قرار داد : لایه روئین یا نگرش تابع ارزشی و لایه زیرین یا نگرش اصل موضوعی . در این مقاله نگرش تابع ارزشی مورد ارزیابی قرار می گیرد. حساب گزاره ها تابع ارزشی است یعنی ارزش صدق گزاره های مرکب تابع ارزش مولفه های آن گزاره هاست و از آنجا که هر استدلال گزاره ای متناظر با یک گزاره شرطی است از این رو اعتبار و عدم اعتبار استدلالها نیز به وسیله صدق و کذب (جدول ...

در این پایان نامه، ابتدا تحدب اکید تصادفی‎ و تحدب یکنواخت تصادفی‎ در مدول های نرم دار تصادفی ارائه می گردد. سپس نشان داده می شود که فضای نرم دار ‎ ‎x‎ ‎ محدب اکید (محدب یکنواخت) است اگر و فقط اگر مدول نرم دار تصادفی ‎ l^{0}(f,x) ‎ محدب اکید (محدب یکنواخت) باشد. همچنین‏، نشان داده می شود که مدول نرم دار تصادفی ‎ ‎s‎ ‎ محدب اکید (محدب یکنواخت) است اگر و فقط اگر فضای نرم دار ‎ l‎^{p}(s)‎ ‎ محدب ا...

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

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

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

منطق ریاضی را در دو لایه می توان مورد بررسی قرار داد : لایه روئین یا نگرش تابع ارزشی و لایه زیرین یا نگرش اصل موضوعی . در این مقاله نگرش تابع ارزشی مورد ارزیابی قرار می گیرد. حساب گزاره ها تابع ارزشی است یعنی ارزش صدق گزاره های مرکب تابع ارزش مولفه های آن گزاره هاست و از آنجا که هر استدلال گزاره ای متناظر با یک گزاره شرطی است از این رو اعتبار و عدم اعتبار استدلالها نیز به وسیله صدق و کذب (جدول ...