مطالعه‌ی روشمند مجاز مانند روابطی که منجر به پذیرش ( ) بر پایه‌ی مجموعه دیگر ( ) می‌شود، است. واژه‌ی منطق در زبان عربی به معنای سخن گفتن است. در گذشته منطق صرفاً شاخه‌ای از شمرده می‌شد ولی از میانهٔ در و در دهه‌های واپسین در و از دهه ۱۳۶۰ در نیز به آن می‌پردازند.
منطق از نطق و به معنای گویش و گفتار است که شخص برای تفهیم مخاطب خود وی را با ادله گفتاری تحت تأثیر قرار می‌دهد و نیز خود شخص که حاضر به شنیدن گفته‌های مخاطب خود باشد او یک شخص (منطقی) می‌باشد.
 از فواید آن تشخیص اندیشهٔ درست از اندیشهٔ نادرست است؛ و از لوازم آن انتقال اندیشه با کمک است که از آن‌ها برای تعریف منطق هم بهره برده می‌شود.
 تعبیر دیگری، منطق را خطاسنج اندیشه می‌نامد. منطق چارچوب‌های ویژه‌ای را کشف و معرفی نموده‌است که اندیشه در آن قالب‌ها از خطا و بیراهه رفتن مصون می‌ماند. 
 البتّه تعریف دیگری هم از منطق می‌توان ارائه داد که بیش‌تر به کار می‌برند. آن‌ها در تعریف منطق می‌گویند که منطق ابزاری از سنخ است که اندیشه را از افتادن در خطاها مصون نگه می‌دارد و آن را به سمت کاملاً پایدار رهنمون می‌سازد؛ لذا اگر کسی به کلّی منطق را در استدلال‌هایش به کار برد، (البته در صورت صحت مواد) به هیچ وجه دچار خطا در تفکّر و نخواهد شد. 
 در تعریف به کمک لوازم منطق (ساختار زبان) با تعبیری کم‌تر از منطق این است که منطق علم مطالعهٔ ساختارهای زبانی است. البته این تعبیر نیز دشواری‌های خود را دارد. منطق یکی از و تجربی مثل نیست. گزاره‌های منطق (یعنی حمل هر موضوعی بر هر محمولی یا ضرورت دارد یا ندارد. اگر ضرورت داشت یا ضرورت سلب است یا ضرورت ایجاب و اگر ضرورت نداشت امکان است) به نظر می‌آیند و توصیفی از وضع ارائه نمی‌کنند. جنس گزاره‌ای مانند «اجتماع محال است» شبیه به گزاره‌ای مانند « برابر با مقدارِ ثابت c است» به نظر نمی‌رسد.
 علم منطق همانگونه که فارابی گفته‌است قوانینی را در اختیار می‌نهد که انسان را در معقولات در معرض مغالطه، به سوی درستی هدایت می‌کند. آنگاه فارابی علم منطق را به علم تشبیه می‌کند و نسبت علم منطق به عقل و معقولات را مانند نسبت علم نحو به زبان و الفاظ می‌شمارد: همچنان که علم نحو قوانینی دربارهٔ الفاظ در اختیار ما می‌گذارد، علم منطق نیز قوانینی دربارهٔ معقولات در اختیارمان می‌نهد. 
 
 در حوزهٔ مفاهیم ( ) است؛ به معنای تبدیل مجهولات تصوری است به معلومات، با استفاده از معلومات دیگر. 
 
 یک مفهوم را به چهار صورت تعریف می‌کنند:
 
 
 
 
 در حوزهٔ قضایا ( ) است؛ که به معنای روش درست درک و شناسایی قضایا می‌باشد.
 دراستدلال یا ویا موضوعاتی مانند اقسام قضیه( - )- و ( - - - - ( )مطرح اند 
 نسب اربع درمنطق عبارتنداز:( - - - ) تباین عبارت از رابطهٔ میان دو پدیده است؛ که وجود یکی مستلزم عدم وجود دیگری است و قابل جمع در یک چیز نیستند؛ مانند عددی که نمی‌تواند هم زوج و هم فرد باشد. 
 نخستین مدون صریح و ثبت‌شدهٔ (formal logic) در تاریخ، فیلسوف مشهور یونانی است.
در زمان ارسطو افرادی بودند به عنوان سوفیسط و کار آن‌ها مغالطه کردن و گول‌زدن دیگران بود، به همین دلیل ارسطو علمی آورد به عنوان منطق تا از مغالطه جلوگیری نماید و دیگران بتوانند با فراگرفتن آن دچار گول خوردن نشوند نوشته‌های ارسطو دربارهٔ منطق در دورهٔ بیزانسی به صورت مجموعه‌ای یگانه تدوین و به نام ( ) گردآوری شد. این مجموعه شامل شش بخش است بنام‌های: « »، « »، « »، « »، « » و « ». بعدها برخی از شارحین ارسطو، دو رسالهٔ « » و « » را به ارگانون افزودند. « » رساله دیگری است که با اقتباس از دو رساله و به عنوان مدخلی برای منطق ارسطو در نظر گرفته شد. 
بدین گونه آنچه بدست حکیمان مسلمان رسید، منطق ارسطو بود و نیز شرحی بر همین منطق است. البته این نوشته‌ها امروزه شاملِ منطق و و برخی بحث‌هایِ دیگر در حاشیهٔ منطق محسوب می‌شوند. آنچه ما امروزه به نامِ منطقِ صوری می‌شناسیم در کتابِ آنالوطیقایِ (analytic) اول دیده می‌شود.
 در قرن هجدهم فیلسوف پرآوازهٔ آلمانی ادعا نمود که منطق دیگر به پایان رسیده‌است و نیازی به چیزی بیش‌تر از منطق ارسطویی وجود ندارد. بااین‌حال در پایان قرنِ نوزدهم انفجاری در دانش منطق روی داد و حجمِ انبوهی از مطالعات به آن افزوده شد. این پیشرفت‌ها با کارهایِ ریاضیدان و فیلسوفِ آلمانی و شاگردِ انگلیسیِ وی آغاز گردید. پس از آن‌ها نیاز به کارهایِ دیگری در زمینهٔ منطق احساس شد که در آغاز، شگفت یا غیرِضروری می‌رسید: انواعِ تازه‌ای از منطق مانندِ ، ، ، و که در اثرِ این احساس پدید آمدند که منطقِ فرگه و راسل برایِ برخی اهداف یا نیازها کافی نیستند.
 روشن است که نمی‌توان برای تفکر انسان آغازی در نظر گرفت؛ بلکه او از بدو پیدایش متفکر بوده و برای ادامه حیات و پیشبرد اهداف خویش از تفکر و اندیشه استفاده می‌کرده‌است. طبعاً استفاده از تفکر با روش خاصی صورت می‌گرفت. پس انسان نخست از روی فطرت می‌اندیشید؛ یعنی با عقل سلیم و منطق فطری کار تفکر را پیش می‌برد و گاه نیز در این مسیر، به عمد و برای در مغالطه انداختن دیگران یا بر اثر سهو و به سبب پیچیده بودن موضوع تفکر به انحراف کشیده می‌شد و بعد به انحراف خود توجه می‌کرد و درصدد تصحیح آن برمی‌آمد؛ اما علم منطق (منطق صناعی یا فن منطق) از هنگامی آغاز شد که بشر به تفکرات خود و صحت و سقم آن‌ها توجه کرد و قواعد روش اندیشیدن را نظمی بخشید و بر هر قاعده آن نامی گذاشت. 
 در چین باستان «مئی تی» دانشمند اجتماعی و دوستدار سود که به آیین تائویی تمایل داشته، منطق دانی بود که «مینگ هیو» یعنی منطق، یادگار اوست. از این دانشمند کتابی به زبان چینی برجای مانده که کهن‌ترین منطق و اجزاء عام آن است. این کتاب نُه بخش دارد: وی در نخستین بخش کتاب، منطق و اجزاء عام آن را کاویده و در بخش دوم از روش‌های انتاج و در بخش سوم از خطاهای روش‌های قیاسی و قیاس‌های باطل بحث کرده‌است؛ و در بخش‌های دیگر از دشواری‌های منطق صوری به ویژه از رهگذار زبان چینی سخن گفته‌است. غرض و هدف منطق چینی عبارت است از: بازشناختن درست از نادرست…. کسانی را که به روش منطق بوده‌اند به زبان چینی «مینگ کیا» یا دوستدار منطق می‌خواندند، در مقابل کسانی که به روش جدل و خلاف آشنایی داشته‌اند. 
 شش نحله فلسفی هند باستان به مسائل منطق توجه کرده‌اند که در این میان دو نحله بیشتر به مسائل منطقی پرداخته‌اند. یکی نحله وایسشیکا منسوب به شخصی به نام «اولوکا» است. منطق «وایسشیکا» در ده دفتر و هر یک مرکب از دو درس روزانه است. جنبه منطقی این دفترها چشمگیر نیست. دیگری نحله «نیایا» منسوب به «گوتاما» است. منطق این نحله، به گفته محققان، پیش از ارغنون ارسطو تدوین شده‌است. این منطق دو بخش دارد: منطق برهانی در یک درس و منطق جدلی در چهار درس. 
 پیش از ارغنون ارسطو مباحث منطقی در یونان باستان مطرح بوده‌است، اما نه به منزله یک علم مستقل؛ بلکه فیلسوفان مسائل منطقی را در خلال مباحث فلسفی شان یادآور می‌شدند. دانش‌پژوه به نقل از دیباچه اوسط کبیر فارابی می‌نویسد دانشمندان پیش از ارسطو مانند کسانقراطیس دربارهٔ اکتساب حد از برهان، و افلاطون دربارهٔ اکتساب آن از راه قسمت، و ارخوطس در حدود، و پروتاگوراس دربارهٔ سفسطه و ثراسوماخوس در خطابه، و هومروس در شعر سخنانی داشته‌اند؛ ولی آن‌ها از روی صناعت و هنر و علم در این گونه مسائل سخنی نیاورده اند، بلکه آشنایی آن‌ها از روی آزمایش و مزاولت بوده‌است، نه اینکه این مباحث را تدوین کرده و قواعدی آورده باشند. 
 از ایران باستان سه گفتار در منطق از برجای مانده‌اند که سرراست از بُن پهلوی‌شان به ما نرسیده‌اند. دوتای آن‌ها به سریانی و آن دیگری نیز به عربی (در ترتیب‌السعادات ) برجای مانده‌اند. 
 و و استاد فلسفه ساسانی بود. 
 پاول که در دربار شاه ایران، ، بالید بر پایهٔ انجامِ گزارشِ سریانی منطقش از ریواردشیر ( ) پارس بود و زین‌رو، وی را پارسی گفته‌اند.
 گفتارهای پاول پارسی را بزرگمهر لقمان برای نخستین‌بار در سال ۱۳۹۵ با نام به پارسی ناب گردانده و چاپ کرده‌است. 
 گویایی ارستو دربردارندهٔ این سه گفتار از پاول پارسی است که به شاه ساسانی پیشکش شده:
 
 
 را پدر منطق اسلامی شمرده‌اند و شمار رساله‌های منطقی او را به ۴۸ رسانده‌اند که حدود نیمی از آن‌ها برجای مانده‌است. خواننده امروزی ممکن است برخی مباحث این رساله‌ها را سطحی یا خروج از بحث منطقی بینگارد؛ اما بیشتر آن‌ها استحکامی شایسته دارند و گذشت قرون چیزی از صلابتشان نکاسته‌است. برخلاف نوشته‌های متأخر، هیچ‌یک از این رساله‌ها همه مباحث منطق را در خود جای نمی‌دهند؛ بلکه صرفاً به بخشی از مسائل آن می‌پردازند. اشاره ای گذرا به برخی از مباحث این رساله‌ها خالی از فایده نیست و خواننده را با نخستین مکتوبات منطقی آشنا می‌سازد. 
 فارابی در کتاب برای بیان معنا و فایده از این توضیح بهره می‌گیرد که برخی از معقولات انسان فطری و یقینی اند؛ مثل «کل بزرگتر از جزء خود است» و «عدد سه فرد است»؛ در حالیکه پاره ای دیگر از آن‌ها خطاپذیر و نیازمند قیاس و استدلال‌اند. در قسم دوم، به قوانینی نیاز است که فکر را از خطا بازدارد. از این نظر، می‌توان قوانین منطق را به قواعد علم نحو همانند ساخت. بر این اساس، در صورت ناآشنایی با منطق، هرگاه با آرائی گوناگون و متضاد روبرو شویم، یا باید میان آن‌ها سرگردان بمانیم، یا همه را ـ با وجود ناسازگاری با یکدیگر ـ حق بپنداریم یا آنکه بی‌دلیل، برخی از آن‌ها را درست و پاره ای دیگر را نادرست بخوانیم. 
 به گفته فارابی، واژه نطق سه معنا دارد:
 
 
 منشأ اشتقاق اصطلاح منطقی، واژه نطق به هر سه معنای یاد شده‌است؛ یعنی علم منطق گفتار لفظی، اندیشه‌های ذهنی و نیز عقل آدمی به راه صواب رهنمون می‌گردد. 
 
فارابی، با اعتقاد به وجود رابطه ای تنگاتنگ میان لفظ و معنا، موضوع علم منطق را چنین می‌داند: به گفته وی، به دلیل همین ارتباط بین لفظ و معناست که پیشینیان، هم معقولات و هم الفاظ حاکی از آن‌ها را «نطق» و «قول» نامیده‌اند. 
 علاوه بر این، فارابی بر استقلال منطقی از فلسفه تأکید می‌ورزد و گمان اندراج منطق در فلسفه را نادرست می‌شمارد. به گفته وی ممکن است برخی چنین بپندارند که «منطق نیز از اجزاء فلسفه است؛ زیرا در این صناعت نیز از اشیاء موجود سخن می‌رود.» پاسخ فارابی به این پندار آن است که مسائل منطقی، جنبه ای آلی و ابزاری دارند؛ بر این اساس، گویا این مسائل بیرون از قلمرو موجودات قرار می‌گیرند و تنها، ابزاری برای شناخت آن‌ها به‌شمار می‌آیند. 
 فارابی با پذیرش این حقیقت که مردم پیش از نیز ـ کم و بیش ـ قواعد منطق را در سخنانشان به کار می‌بستند، تدوین علم منطق و ساماندهی مباحث آن را کار این فیلسوف یونانی شمرده‌است. 
 فارابی به بسیاری دیگر از مباحث منطق نیز پرداخته‌است که برای آشنایی با سبک نوشته‌های منطقی وی، به دو مسئله اشاره می‌کنیم:
 
 هر کدام از دو مقدمه در هر یک از این «اشکال ثلاثه»، از یک سو می‌تواند کلیه، جزئیه، یا مهمله باشد و از سوی دیگر، موجبه یا سالبه تواند بود. در نتیجه، در هر شکل، ضروبی سی و شش‌گانه پدید می‌آیند. 
 فرگه از نقطهٔ دیگری کار را آغاز نمود. پیش از او این امر شناخته شده بود که با منطقِ ارسطویی برخی از استدلال‌ها را نمی‌توان صورت‌بندی نمود. بااین‌حال این استدلال‌ها درست هستند. به نمونهٔ زیر توجه کنید: 
یا علی برادرِ رضا است یا حسن برادرِ رضا است. 
علی برادرِ رضا نیست. 
نتیجه: حسن برادرِ رضا است.
 این استدلال را نمی‌توان به اشکال Aها B هستند و غیره درآورد. از قدیم تلاش‌هایی برایِ این کار انجام شده و به شکست منجر گردیده بود. فرگه منطق را از این قبیل صورت‌ها آغاز نمود. او نمادهایی مانند P و Q و غیره را به عنوانِ جانشین (p اولِ proposition به معنیِ گزاره‌است) و نشانه‌های دیگر را به عنوانِ پیوند دهنده جملات به کار برد. اگر P و Q گزاره باشند P~ خوانده می‌شود «نقیضِ P» و P→Q خوانده می‌شود «اگر P آنگاه Q». منطقِ فرگه و راسل قادر است به بررسیِ روابطِ بینِ گزاره‌ها و استدلال‌هایی که به دلیلِ چینشِ این روابط معتبر اند بپردازد. به همین دلیل آن را می‌نامند. در مقابل به آنچه با منطقِ ارسطویی آغاز گردید گفته می‌شود (زیرا گزاره‌ها را به تقسیم می‌کند).
 با تفحص در دو اثر اصلی منطق اسلامی، یعنی منطقیات و بخش منطق ، روشن می‌شود که منطق مسلمانان تحت تأثیر هیچ منطقی جز مباحث منطق مطرح شده در یونان پیش از ، منطق ارسطو و منطق مگاری - رواقی نبوده‌است؛ زیرا بی شک ابن سینا تحت تأثیر ارسطو بوده‌است و از سویی، در این دو کتاب جز به آن سه منبع یونانی به هیچ منبع دیگری ارجاع داده نشده‌است؛ اما در این میان سهم عمده از آن رنگ ارسطویی دارد؛ هر چند در بعضی از مباحث نیز تحت تأثیر منطق مگاری - رواقی است. ویژگی منطق مسلمانان که در آثار فارابی و به ویژه ابن سینا تبلور یافته این است که در استدلال از هر دو سنت منطقی ارسطو و مگاری - رواقی استفاده کرده‌است.
 منطق‌دانان مسلمان این علم را «علم میزان» نیز نامیده‌اند. ابن سینا این علم را خادم علوم معرفی کرده‌است، چراکه منطق مقصود بالذات نیست؛ بلکه ابزاری است برای رسیدن به علوم دیگر، بنابراین در خدمت علوم دیگر است؛ اما پیش از ، فارابی این علم را رئیس علوم معرف کرده‌است؛ زیرا حکم این علم در همه علوم دیگر نفوذ دارد و بدین ترتیب برتر از علوم دیگر و رئیس آنهاست.
 تاریخ منطق را از بدو ورود به جهان اسلام تاکنون می‌توان به چهار دوره تقسیم کرد: عصر آشنایی با منطق، عصر شکل‌گیری و تثبیت، عصر شکوفایی یا عصر شرح، بسط و نظریه‌پردازی و عصر توقف یا رکود. روشن است که نمی‌توان برای هر دوره مرز مشخصی در نظر گرفت، ولی تا حدودی و با اندک مسامحه‌ای می‌توان گفت از زمان نهضت ترجمه تا زمان فارابی عصر آشنایی با منطق ارسطویی است. در این دوره، حداکثر، مطالب ارسطو شرح می‌شود. هم چنین می‌توان عصر فارابی را با توجه به نگارش‌های بسیار او در منطق، عصر شکل‌گیری منطق و تثبیت قواعد آن به منزله یک علم بومی دانست. دوره سوم نیز با ابن سینا آغاز می‌شود. او با نوشتن منطق شفا و دیگر کتب منطقی، به ویژه ، دوره نوینی را در منطق پایه‌ریزی کرد که در قرن هفتم به اوج شکوفایی رسید. در این دوره نه تنها مباحث منطقی تثبیت شد، بلکه شرح و بسط کمی یافت و نیز در این دوران منطق دانان مسلمان به مباحث جدیدی روی آوردند که پیش تر سابقه نداشت. متأسفانه عصر شکوفایی را به یک معنا باید عصر انحطاط نیز دانست؛ چراکه در این دوره مهم‌ترین بخش منطق، یعنی صنعت برهان چندان جدی گرفته نشد.
 اما عصر توقف و رکورد را می‌توان از قرن نهم به بعد تا به امروز دانست، ولی در عصر توقف یک استثنای بسیار بزرگ وجود دارد و آن فیلسوف صاحب مکتب در یعنی است؛ زیرا اگر آراء منطقی او جدی گرفته می‌شد، تحولی بس شگرف در بخش عظیمی از منطق، یعنی منطق استنتاج رخ می‌داد و در آن صورت می‌توانستیم ادوار منطق را به پنج دوره تقسیم، و دوره پنجم را عصر تحولی بنیادی در منطق نام‌گذاری کنیم.
{"title": "منطق", "link": "https://fa.wikipedia.org//w/index.php?title=%D9%85%D9%86%D8%B7%D9%82&oldid=34939494", "language": "fa"}