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

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

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

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

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

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

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

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

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