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

در این نوشته برهانی جدید برای نامتناهی بودن اعداد اول ارائه می شود. این برهان بر اساس یک ایده شمارش ساده با استفاده از اصل شمول- طرد همراه با فرمولی صریح می باشد.

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

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

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

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

شهاب‌الدین سهروردی (587-549 ه.ق) در کتاب مهم خود، حکمه‌الاشراق، ادعا می‌کند که نظریه قیاسات ارسطو را با کاهش تعداد قواعد آن ساده کرده است، به گونه‌ای که با همین تعداد اندک قواعد، اعتبار تمام ضرب‌ها قابل اثبات است. این کار (ساده‌سازی نظریه قیاسات ارسطو) با تحویل تمام قضایای سالب حملی و جزئی به قضایای موجب کلی و ارائه دو قاعده فرازبانی، یکی برای شکل دوم و دیگری برای شکل سوم قیاس صورت گرفته ‌است. ...

این پژوهش به ارزیابی مقایسه ای عملکرد مدیریت در مراکز بهداشت کرج و شهریار از نظر بهداشت مادر و کودک پرداخته است . بررسی در سه بعد: مراقبت های دوران بارداری، تنظیم خانواده و واکسیناسیون کودکان زیر یکسال، انجام گرفته است . جمعا 604 مادر (304 نفر در کرج و 300 نفر در شهریار) که در طول سال 1376 زایمان کرده اند و 586 زن واجد شرایط تنظیم خانواده (298 نفر در کرج، 288 نفر در شهریار) و 603 کودک (298 نفر ...

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