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

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

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

از زمان انتشار مقاله‌ی سوئل کریپکی با عنوان تحلیل دلالت شناسانه‌ی منطق شهودیI، در سال 1965، تمام آنچه پیش‌ از آن در دلالت‌شناسی منطق شهودی نگاشته شده بود، تفسیر برآوئر-هیتینگ-کولموگروف(BHK)، تفسیر توپولوژیک و مدل‌های بث تحت سایه‌ی ‌تنقیح و پالودگی‌اش قرار گرفت و دلالت شناسی استاندارد برای منطق شهودی برآوئر-هیتینگ قلمداد شد. تا به امروز جهت تفسیر، مقابله و بِه فهمی، ادبیات و مطالعات کلانی حول این...

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

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

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

      دیرپاترین صورت‌بندی نظری در قلمرو برنامه درسی "منطق تایلر" است که در کتاب معروف "اصول اساسی برنامه درسی و آموزش" منعکس شده است. این مقاله که با روش تحلیلی انجام شده، در صدد پاسخگویی به دو سؤال محوری است: 1) چه مضامینی از منطق تایلر هنوز هم موجه و قابل اعتناست؟ 2) مضامین مغفول این منطق کدامند؟ در این راستا ویژگی‌ها و عناصر اساسی منطق تایلر از قبیل اهداف آموزشی؛ منابع تعیین اهداف (فراگیران،...

انرژی خورشیدی به عنوان منبع پاک و تجدید پذیر انرژی در دسترس است. بنابراین استفاده از سیستم های فتوولتائیک افزایش یافته است؛ که نیاز به بهبود مواد و روش های مورد استفاده برای مهار این منبع قدرت می باشد. دو روش عمده برای این مهم وجود دارد؛ ردیابی خورشید و ردیابی نقطه حداکثر توان. این دو روش نیاز به کنترل کننده کارآمد و موثر دارند. کنترل کننده ممکن است معمولی یا هوشمند (مانند کنترل کننده منطق فازی...

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