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

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

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

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

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

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