منطق

مَنطِق دانش شناسایی و ارائهٔ روش درست اندیشیدن (تعریف کردن و استدلال کردن) است.

در گذشته منطق صرفاً شاخه‌ای از فلسفه شمرده می‌شد ولی از میانهٔ سدهٔ نوزدهم در ریاضیّات و در دهه‌های واپسین در علوم رایانه و از دهه ۱۹۸۰ در علوم شناختی نیز به آن می‌پردازند.

تعاریف ابزاری از منطق

از فواید آن تشخیص اندیشهٔ درست از اندیشهٔ نادرست است؛ و از لوازم آن انتقال اندیشه با کمک زبان است که از آن‌ها برای تعریف منطق هم بهره برده می‌شود.

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

البتّه تعریف دیگری هم از منطق می‌توان ارائه داد که بیش‌تر فیلسوفان اسلامی به کار می‌برند. آن‌ها در تعریف منطق می‌گویند که منطق ابزاری از سنخ قانون است که اندیشه را از افتادن در خطاها مصون نگه می‌دارد و آن را به سمت استدلال‌هایی کاملاً پایدار رهنمون می‌سازد؛ لذا اگر کسی به کلّی منطق را در استدلال‌هایش به کار برد، (البته در صورت صحت مواد) به هیچ وجه دچار خطا در تفکّر و مغالطه نخواهد شد.

در تعریف به کمک لوازم منطق (ساختار زبان) با تعبیرِی کم‌تر روان‌شناسانه از منطق این است که منطق علم مطالعهٔ ساختارهای زبانی زبان‌های طبیعی است. البته این تعبیر نیز دشواری‌های خود را دارد. منطق یکی از علوم طبیعی و تجربی مثل فیزیک نیست. گزاره‌های منطق ضروری (یعنی حمل هر موضوعی بر هر محمولی یا ضرورت دارد یا ندارد. اگر ضرورت داشت یا ضرورت سلب است یا ضرورت ایجاب و اگر ضرورت نداشت امکان است) به نظر می‌آیند و توصیفی از وضع ممکنات ارائه نمی‌کنند. جنس گزاره‌ای مانند «اجتماع نقیضین محال است» شبیه به گزاره‌ای مانند «سرعت نور برابر با مقدارِ ثابت c است» به نظر نمی‌رسد.

موضوع منطق

تعریف در حوزهٔ مفاهیم (تصورات)است؛ که به معنای روش درست درک و شناسایی مفاهیم می‌باشد.

اشکال تعریف یک مفهوم را به چهار صورت تعریف می‌کنند

۱-جنس قریب+فصل قریب:حد تام مانند حیوان ناطق برای انسان

۲-جنس بعید+فصل قریب:حد ناقص مانند جسم ناطق برای انسان

۳-جنس قریب+عرضی خاص:رسم تام مانندحیوان کاتب برای انسان

۴-جنس بعید+عرضی خاص:رسم ناقص مانندجسم کاتب یاکاتب یابشریامثل من یااخرین پدیده برای انسان

استدلال در حوزهٔ قضایا (تصدیقات)است؛ که به معنای روش درست درک و شناسایی قضایا می‌باشد.

دراستدلال یا اثبات ویا (حجت) موضوعاتی ماننداقسام قضیه(حملی-شرطی)-مواد قضیه وصناعات خمس(برهان-خطابه-جدل-شعر-سفسطه(مغالطه)مطرح اند

نسب اربع

نسب اربع درمنطق عبارتنداز:(تساوی-تباین-عموم وخصوص مطلق-عموم وخصوص من وجه)

تاریخچه

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

در قرن هجدهم فیلسوف پرآوازهٔ آلمانی ایمانوئل کانت ادعا نمود که منطق دیگر به پایان رسیده‌است و نیازی به چیزی بیش‌تر از منطق ارسطویی وجود ندارد. بااین‌حال در پایان قرنِ نوزدهم انفجاری در دانش منطق روی داد و حجمِ انبوهی از مطالعات به آن افزوده شد. این پیشرفت‌ها با کارهایِ ریاضیدان و فیلسوفِ آلمانی فرگه و شاگردِ انگلیسیِ وی راسل آغاز گردید. پس از آن‌ها ن

تبلیغات