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

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

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

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

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

منطق شهودی، به عنوان منطقی فلسفی و غیر کلاسیک، بیش از همه بر فلسفه شهودگرایی براوئر (brouwer) و نظریات فلسفی او در مورد ریاضیات و منطق بنا شده است. این نظریات، رویکردی کاملاً متفاوت را با رویکرد کلاسیک به منطق و ریاضیات عرضه می دارد. شهودگرایی براوئری، منطق را مقدم بر ریاضیات نمی شمرد و آن را نتیجه ای برساخته از روندهای ساخت هویات و براهین ریاضی می داند. در مقاله حاضر، به تبیین مبانی نظری منطق ش...

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

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

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

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