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

داستان علمی - تخیلی درباره برخی مباحث در منطق و مبانی ریاضی.

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

منطق فازی[1] یک نوع منطق چندارزشی است که ریشه در افکار افلاطون و فلسفه شرقی دارد، اما نخستین بار در سال 1965 میلادی، دانشمند ایرانی­الاصل و استاد دانشگاه برکلی(پروفسور لطفعلی عسگرزاده) ملقب به پروفسور«زاده»[2]، منطق فازی را مطرح کرد. برخلاف منطق دو ارزشی ارسطویی که به­دنبال پاسخ آری و یا نه برای تعمیم به تمام پدیده­ها می­باشد(همچون پوزیتیویسم)، منطق فازی جهان را همان­گونه که هست معرفی می­کند. م...

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

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

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

داستان علمی - تخیلی ریاضی درباره مباحث فلسفی در ریاضیات

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

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