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

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

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

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

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

چکیده:یکی از ویژگی‌های مهم معلمان در قرن 21 خلاق بودن است و لازمه خلاق بودن، فکور بودن است. در این میان، تربیت معلم اهمیت زیادی در تربیت معلمان فکور دارد. این مقاله مروری با استفاده از روش توصیفی- تحلیلی به بررسی مفهوم و ابعاد تدریس فکورانه و نقش آن در تربیت معلم فکور و همچنین ویژگی‌های معلم فکور می‌پردازد. بر اساس نظر شون و دیویی، سه بعد مهم تأمل، تأمل در حین و تأمل پس از عمل و گفتگوی فکورانه ...

چکیده:یکی از ویژگی‌های مهم معلمان در قرن 21 خلاق بودن است و لازمه خلاق بودن، فکور بودن است. در این میان، تربیت معلم اهمیت زیادی در تربیت معلمان فکور دارد. این مقاله مروری با استفاده از روش توصیفی- تحلیلی به بررسی مفهوم و ابعاد تدریس فکورانه و نقش آن در تربیت معلم فکور و همچنین ویژگی‌های معلم فکور می‌پردازد. بر اساس نظر شون و دیویی، سه بعد مهم تأمل، تأمل در حین و تأمل پس از عمل و گفتگوی فکورانه ...

در پژوهش حاضر محتوای کتاب های درسی تعلیمات اجتماعی و هدیه های آسمان دورة ابتدایی به لحاظ میزان توجه به مؤلفه های حقوق کودک بررسی شده است. در راستای تجزیه و تحلیل داده های حاصل از کتاب های درسی جهت به دست آوردن ضریب اهمیت هریک از مؤلفه ها، از روش آنتروپی شانون استفاده شده است. بر اساس یافته های پژوهشی بیش ترین ضریب اهمیت مربوط به مؤلفة حق زیست و رشد با ضریب 138/0 و کم ترین ضریب اهمیت مربوط به مؤ...

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

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