مقدمه ای بر منطق فرمال

ناقص، گمراه کننده، و استدلال های دروغین در همه جا هستند. از تبلیغ کنندگان در تلاش برای جدا کردن شما از پول خود، به سیاستمداران تلاش می کنند رأی خود را به شما تحمیل کنند، به دوستان که می خواهند شما را با آنها موافق باشند، ساختار اعتقاد شما به طور مداوم تحت حمله قرار دارد.
منطق دفاع از فکری خود را در برابر چنین حملاتی است دلیل و همچنین یک روش کنترل کیفیت برای بررسی اعتبار دیدگاه های خود. اما فراتر از این مزایای بسیار عملی، منطق غیر رسمی - نوعی که ما در زندگی روزمره اعمال می کنیم، دروازه ای به یک شاخه ظریف و جذاب فلسفه شناخته شده به عنوان منطق رسمی است که فلسفه معادل آن است. منطق رسمی یک ابزار بصری تنفس است. خیلی شبیه یک چاقوی ارتش سوئیس برای ذهن کششی، این یک حالت قدرتمند از تحقیق است که می تواند منجر به نتیجه گیری تعجب آور و جهان بینی شود.
استاد برنده جایزه فلسفه استیون گیمبل کالج Gettysburg شما را با عقل و جذابیت راهنمایی می کند از طریق گستردگی کامل این موضوع فوق العاده پاداش در مقدمه ای بر منطق رسمی، 24 سخنرانی نیم ساعته را که به شما منطق را از زمین به ارمغان می آورند، از اشتباهات تفکر روزمایی به منظور کاهش ایده های لبه در مرزهای این رشته به شما آموزش می دهد. تحقیقات پروفسور Gimbel به بررسی ماهیت استدلال علمی و راه هایی که در آن علم و فرهنگ تعامل می کند، که او را کاملا به مفاهیم انتزاعی پیشرفته روشن و مشخص می کند، بررسی می کند.
بسته بندی شده با نمونه های دنیای واقعی و تمرینات تحریک آمیز، این دوره برای همه از مبتدیان تا منطق جانباز مناسب است. گرافیک بر روی صفحه نمایش فراوان، همراه با توضیحات فراوان از نمادها و اثبات، مفاهیم کریستال را روشن می کند.
برای منطق در همه ما
شما متوجه خواهید شد که همان مهارت های عقلانی که به شما کمک می کند تا نقاط ضعف را ببینید در یک زمین فروش یا بهانه فرزند شما برای پر کردن تکالیف نیز شما را به برخی از اکتشافات عمیق ما، مانند قضیه های ناقص کورت گودل، که پایه های فلسفه و ریاضیات را در قرن بیست و یکم تکان داد، قرار داد فقط با انقلابهای تفکر مانند مکانیک کوانتومی مقایسه می شود. اما Gödel نیازی به یک آزمایشگاه برای ایجاد منطق کشف تنها نداشت.
یک دوره با گستردگی شگفت انگیز و عمق برنامه های کاربردی، مقدمه ای بر منطق رسمی، تجدید نظر خواهد کرد:
Logic Ally
پروفسور Gimbel با توجه به اینکه انسانها به پذیرش اعتقادات دروغین متصل هستند، شروع می شود. به عنوان مثال، ما یک اجبار قوی برای تغییر دیدگاه ما برای مطابقت با نظر گروهی، به ویژه اگر ما تنها Holdout هستیم، حتی اگر احساس کنیم مطمئن هستیم که ما حق داریم. از این موارد و موارد دیگر از تعصب شناختی که در آن غرایز ما در برابر استدلال صحیح کار می کنند، شما شروع به دیدن اینکه چگونه منطق یک اصلاحی شگفت انگیز است که ما را از خودمان محافظت می کند. با استفاده از این شروع جذاب، مقدمه ای بر منطق رسمی به شرح زیر می شود:
یادگیری زبان منطق
برای بسیاری از مردم، یکی از جنبه های دلهره آور منطق رسمی استفاده از نمادها است. شما ممکن است استدلال منطقی بیان شده با این فلش ها، V، به عقب E، به عقب، و دیگر نشانه های غیر قابل انعطاف، که می تواند به عنوان ریاضی بالاتر و یا یک زبان باستانی به نظر برسد. اما مقدمه ای بر منطق رسمی نشان می دهد که نمادها ایده های ساده را فشرده می کنند و از طبیعت دوم استفاده می کنند. در صورت پس از آن، پروفسور Gimbel توضیح می دهد چگونه یک جمله مبهم را به زبان انگلیسی به گزاره های جزء خود تجزیه و تحلیل، بیان شده در نمادها. این باعث می شود آنچه که به صورت شفاف روشن می شود، روشن می شود.
این دو جمله را در نظر بگیرید: (1) "یک سگ بهترین دوست مرد است." (2) "یک سگ در حیاط جلویی است." در ابتدا، آنها بسیار شبیه به نظر می رسند. هر دو می گویند "یک سگ X است" و به نظر می رسد تنها در اموال مربوط به سگ متفاوت است. با این حال، اسم اسم "یک سگ" به معنای دو چیز کاملا متفاوت در این دو مورد است. در ابتدا، به معنی سگ به طور کلی است. در دوم، یک سگ خاص را نشان می دهد. این ایده های متضاد نشان داده شده است مانند:
1. "X (DX → BX)
$ x (DX و FX)
شما کشف خواهید کرد که بسیاری از استدلال های متداول در زندگی روزمره در یک ابهام مشابه، که زمانی که به زبان واضح منطق تبدیل می شود، حل می شود.
پروفسور Gimbel اشاره می کند که تفکر منطقی مانند دوچرخه سواری است. مهارت و تمرین را می گیرد، و هنگامی که شما یاد می گیرید، واقعا می توانید به مکان ها بروید! منطق کلید فلسفه، ریاضیات و علم است. بدون آن، وجود خواهد داشت هیچ کامپیوترهای الکترونیکی یا پردازش داده ها وجود ندارد ، یک مامور، یا خرید یک پیراهن و خرید از از دست دادن آن در یک کازینو. منطق می گوید که شما باید این دوره را بگیرید

عنوان اصلی : An Introduction to Formal Logic

سرفصل های دوره :

چرا منطق مطالعه؟
مقدمه ای بر مفاهیم منطقی
منطق غیر رسمی و اشتباهات
اشتباهات ناامید کننده
اشتباه علت و اثر
اشتباهات بی نظیر
استدلال القایی
القاء در نظرسنجی ها و علوم
مقدمه ای بر منطق رسمی
منطق عملکردی حقیقت
جداول حقیقت
جداول حقیقت و اعتبار
کسر طبیعی
اثبات منطقی با معادلات
اثبات شرطی و غیر مستقیم
منطق پیش فرض مرتبه اول
اعتبار در منطق پیش فرض مرتبه اول
نشان دادن عدم ثبات
منطق ارتباطی
معرفی هویت منطقی
منطق و ریاضیات
اثبات و پارادوکس
منطق مودال
منطق سه ارزشمند و فازی