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

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

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

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

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

منطق ارسطویی (منطق حملی) از طریق ترجمه مستقیم و بی واسطه آثار ارسطو، و منطق رواقی ـ مگاری (منطق شرطی) با ترجمه غیرمستقیم و به واسطه برخی متون لاتینی جالینوس، اسکندر افرودیسی و بوئتیوس مربوط به نخستین سده های میلادی  به جهان اسلام راه یافت. پس از دو قرن تلاش برای ترجمه، شرح، تقریر و تفهیم میراث منطقی یونانیان، با ظهور  ابن سینا «دوره ابداع و نوآوری» فرا رسید. ابداعات منطقی و منطق های ابداعی ابن ...

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

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