خلاصه ماشینی:
"مرور کتاب:مروری بر کتاب«آشنایی با منطق ربط» اسد لله فلاحی آشنایی با منطق ربط اشاره:«منطق ربط»دانش بررسی استدلالهایی است که میان مقدم و تالی آنها،ارتباط معنایی وجود دارد.
بررسی روابط میان قواعد اثباتناپذیر در این فصل ما را به یکی از گسترشهای منطق ربط R ،به نام KR ، میرساند که صورتی از«قیاسی فصلی»در آن اثباتپذیر است.
در فصل ششم،نظام اصل موضوعی منطق ربط را میآوریم و به بیان تعریفهای گوناگون در این نظام اشاره کرده،همارزی صورت برهانهای نظام استنتاج طبیعی را با«صورت برهان»یکی از این تعریفها اثبات میکنیم.
البته سمانتیکهایی هست که منطق ربط نسبت به آنها صحت و تمامیت دارد،مانند سمانتیکهای جبری و سمانتیکهای جهانی؛اما این سمانتیکها به مباحث پیشرفتهای از نظریۀ مجموعهها و سمانتیک کریپکی نیاز دارد که از سطح کتاب فعلی بالاتر است و ما در این کتاب به آنها نخواهیم پرداخت.
برای همین، نوآوریهایی در این کتاب دیده میشود که در هیچ یک از کتابهای منطق ربط که به زبان انگلیسی نوشته شده است یافت نمیشود: 1.
از میان همۀ این کتابها،کتاب درآمدی به منطق جدید اثر ضیاء موحد پیشنیاز ضروری این کتاب است زیرا تنها کتاب منطق جدید به زبان فارسی است که روش«شمارۀ فرضها»را برای ناظم استناجی خود برگزیده است،روشی که نظام استنتاج طبیعی منطق ربط بر پایۀ آن استوار گشته است.
فصل دوم این کتاب برای دانشجویانی که چهار واحد درسی منطق جدید شامل منطق جملهها،محمولها و اینهمانی را گذارندهاند در حکم چکیده از یک سو و در حکم تمرین از سوی دیگر است.
فصل سوم نیز برای معرفی منطق ربط در یک جلسه در پایان چهار واحد منطق جدید در کارشناسی فلسفه سودمند است."