درآمدی نو به منطق نمادین: منطق جمله ها

فصل اول

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

فصل دوم

فصل دوم با عنوان «نمادین سازی در منطق جمله ها»، جهت آشنا سازی جمله در منطق جمله ها می باشد. در این فصل با جمله های اتمیک و مرکب، آشنا می شوید. ترکیب های عطفی، فصلی، شرطی و دوشرطی، جمله های مرکبی هستند که نمادین سازی آنها را در منطق جمله ها می آموزید. در شناخت جمله های مرکب، مفهوم ادات های جمله ای، از اهمیت زیادی برخوردار است. مباحث این فصل، شما را با اداوت های مختلف منطقی، آشنا خواهد کرد. همچنین در این فصل با دو مفهوم کلیدی «متغیّر» و «ثابت» نیز آشنا می شوید.

فصل سوم

در فصل سوم با عنوان «جداول ارزشی»، با جداول ارزش آشنا می شوید. و اینکه چگونه می توان ارزش جمله های مرکّب را به دست آورد؟ با توجه به جداول ارزش، جمله ها با راست گو، دروغ گو و ممکن الصّدق، تقسیم می شوند. جداول ارزش، به ما کمک می کنند که اعتبار یا عدم اعتبار استدلال ها یا سازگاری یا ناسازگاری مجموعه ای از جمله ها یا مقدمه های یک استدلال را معین کنیم. در ادامه این فصل، با مفاهیم کلیدی «ساخت جمله ها» و «نمونه جانشین» آشنا خواهید شد.

فصل چهارم

فصل چهارم با عنوان «براهین»، به آموزش ساختن برهان برای استدلال ها اختصاص دارد. در این فصل، صورت هایی استدلالی که به کمک آنها می توانیم برهانِ استدلال ها را بسازیم و به این روش، نتیجة استدلال را اثبات کنیم، معرفی می شوند. در این فصل، می آموزید که صورت های استدلالی، به معتبر و غیرمعتبر، تقسیم می شوند و صورت های استدلالی معتبر خود، به صورت های استدلالی استلزامی (یک سویه) و صورت های استدلالی هم ارزشی (دو سویه) تقسیم می شوند. در این کتاب، هشت صورت استدلالی استلزامی و ده صورت استدلالی هم ارزشی، معرفی شده اند که با داشتن آنها می توانیم براهین استدلال ها را به سهولت، بسازیم.

فصل پنجم

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

فصل ششم

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