The Great Courses – An Introduction to Formal Logic 2021-5

دوره An Introduction to Formal Logic. استدلال های ناقص، گمراه کننده و نادرست همه جا وجود دارد. از تبلیغ‌کنندگانی که سعی می‌کنند شما را از پولتان جدا کنند، تا سیاستمدارانی که سعی می‌کنند رای شما را تحت تاثیر قرار دهند، تا دوستانی که می‌خواهند شما با آنها موافق باشید، ساختار اعتقادی شما دائما مورد حمله قرار می‌گیرد. منطق دفاع از خود فکری در برابر این گونه تهاجمات به عقل و همچنین روشی برای کنترل کیفیت برای بررسی صحت نظرات خود است. اما فراتر از این فواید بسیار عملی، منطق غیررسمی – نوعی که ما در زندگی روزمره به کار می بریم – دروازه ای است به شاخه ای زیبا و جذاب از فلسفه که به منطق رسمی معروف است، که معادل فلسفه با حساب دیفرانسیل و انتگرال است. منطق رسمی یک ابزار همه کاره نفس گیر است. بسیار شبیه یک چاقوی ارتش سوئیس برای ذهن فهیم، یک روش قدرتمند تحقیق است که می تواند به نتیجه گیری های شگفت انگیز و تغییر جهان بینی منجر شود. پروفسور برنده جایزه فلسفه استیون گیمبل از کالج گتیزبورگ در مقدمه ای بر منطق رسمی ، 24 سخنرانی جذاب نیم ساعته که منطق را از پایه به شما می آموزد، شما را با شوخ طبعی و جذابیت از طریق دامنه کامل این موضوع بسیار پرارزش راهنمایی می کند. مغالطه های تفکر روزمره تا ایده های پیشرفته در مرزهای این رشته. تحقیقات پروفسور گیمبل به بررسی ماهیت استدلال علمی و روش‌های تعامل علم و فرهنگ می‌پردازد، که او را کاملاً در جهت شفاف‌سازی و مشخص کردن مفاهیم انتزاعی پیشرفته قرار می‌دهد. این دوره مملو از مثال‌های واقعی و تمرین‌های تفکر برانگیز، برای همه از مبتدی تا منطق‌دانان کهنه‌کار مناسب است. گرافیک فراوان روی صفحه، همراه با توضیحات فراوان در مورد نمادها و اثبات ها، مفاهیم را شفاف می کند. متوجه خواهید شد که همان مهارت‌های عقلانی که به شما کمک می‌کند نقاط ضعف را در فروش یا بهانه فرزندتان برای حذف تکالیف تشخیص دهید، شما را در مسیر برخی از عمیق‌ترین اکتشافات عصر ما قرار می‌دهد، مانند قضایای ناقص بودن کورت گودل. که پایه های فلسفه و ریاضیات را در قرن بیستم به لرزه درآورد و تنها با انقلاب های فکری مانند مکانیک کوانتومی قابل مقایسه است. اما گودل برای کشف خود به آزمایشگاه نیاز نداشت – فقط منطق. دوره‌ای با گستردگی و عمق برنامه‌های کاربردی شگفت‌انگیز، مقدمه‌ای بر منطق رسمی برای موارد زیر جذاب خواهد بود:

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

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

• مفاهیم منطقی : شما با استدلال های قیاسی و استقرایی و معیارهای مورد استفاده برای ارزیابی آنها آشنا می شوید – روایی و مستدلی. سپس می‌آموزید که استدلال‌ها دو بخش دارند: نتیجه‌گیری (آنچه برای آن استدلال می‌شود) و مقدمات (پشتیبانی که برای نتیجه‌گیری ارائه می‌شود).
• منطق غیررسمی : این نوع تحلیل منطقی که اغلب تفکر انتقادی نامیده می‌شود، به ویژگی‌هایی غیر از شکل استدلال – از این رو «غیررسمی» نگاه می‌کند. در اینجا، شما بر روی اثبات حقیقت مقدمات، و همچنین تشخیص ترفندهای بلاغی استاندارد و مغالطه های منطقی تمرکز می کنید.
• استدلال استقرایی : سپس یاد می گیرید که اعتبار یک استدلال را با استفاده از استقرا ارزیابی کنید، که موارد مختلف را بررسی می کند و سپس یک نتیجه کلی را تشکیل می دهد. استدلال های استقرایی نمونه ای از علم هستند، آنچه را که قبلاً می دانیم می گیرند و به ما اجازه منطقی می دهند تا چیز جدیدی را باور کنیم.
• منطق قیاسی نمادین رسمی : به دلیل تمرکز بر شکل استدلال ها، به عنوان منطق “رسمی” شناخته می شود، این خانواده از تکنیک ها از زبان نمادین برای ارزیابی اعتبار طیف گسترده ای از استدلال های قیاسی استفاده می کنند که جزییات را از قوانین یا اصول کلی استنتاج می کند.
• منطق مودال : پس از یک کاوش فشرده در منطق صوری، شما وارد منطق مدال می‌شوید و یاد می‌گیرید که جملاتی را که با امکان و ضرورت سروکار دارند، به نام مدالیته، مدیریت کنید. منطق مدال در فلسفه اخلاق بسیار تأثیرگذار بوده است.
• پیشرفت‌های کنونی : شما دوره را با نگاه کردن به پیشرفت‌های اخیر، مانند سیستم‌های منطقی سه ارزشی و منطق فازی، که توانایی ما برای استدلال را با انکار آنچه به نظر می‌رسد اساس همه منطق است، گسترش می‌دهد – اینکه جملات باید درست یا نادرست باشند. .