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

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

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

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

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

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

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

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

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

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