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

مفهوم اثبات در چند دهۀ اخیر مناقشه­آمیز شده است. به طوری که افراد نظریه‌های مختلفی دربارۀ چیستی اثبات ارائه داده­اند. لاکاتوش و هرش از جملۀ این افراد هستند. نظریه‌های این دو فیلسوف شباهت­ها و اختلافات قابل توجهی دارند. به نظر می‌‌رسد که با مقایسه و بررسی نقادانۀ این دو نظریه فهم بهتری از مفهوم اثبات ریاضیاتی به دست خواهد آمد. دو وجه شباهت مهم بین این دو نظریه عبارتند از: دوگانه‌انگاری در اثبات ...

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

تأثیرپذیری نقاشی ایرانی از نقاشی اروپایی از اواسط عهد صفوی باعث ایجاد جریانی در نقاشی ایرانی شد که تا دوران معاصر نیز ادامه یافته است. به نظر می‌رسد طرحِ فضا در این جریان نقطة کانونی این مواجهه باشد. این مقاله شکل پذیرش و اجرای تکنیک پرسپکتیو خطی را در نقاشی متأخر صفوی به‌عنوان نمودی از نخستین مواجهه‌های هنری ایران با «مدرنیته» تحلیل و تفسیر می‌کند. یافته‌های بخشِ تحلیلی مقاله نشان می‌دهد که جریا...

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

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

چکیده ندارد.

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

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

Introduction: In diagnostic and therapeutic procedures, dosimetric studies are performed on the dosimetric systems in order to comply the radiation safety standards. Monte Carlo methods are used due to the high complexity and cost of patient-specific phantom construction. The high complexity of the digitized phantoms greatly increases the time and computational task of the Monte Carlo calculati...