https://3rabica.org/index.php?action=history&feed=atom&title=%D9%85%D9%86%D8%B7%D9%82 2026-06-05T14:34:52Z تاريخ التعديل لهذه الصفحة في الويكي MediaWiki 1.43.7 https://3rabica.org/index.php?title=%D9%85%D9%86%D8%B7%D9%82&diff=2773309&oldid=prev 2023-12-14T20:29:35Z

<p>يجب تعديل اسم المقالة &quot;المنطق&quot; إلى &quot;منطق&quot; ووضع &quot;المنطق&quot; تحويلًا يصل إلى &quot;منطق&quot; طبقًا لسياسة أسماء المقالات الويكيبيدية من تنكير أسماء المقالات.</p> <p><b>صفحة جديدة</b></p><div>{{عن|3=منطق (توضيح)}}<br /> {{بطاقة عامة}}<br /> {{شريط جانبي فلسفة}}<br /> {{شريط جانبي المغالطات المنطقية}}<br /> <br /> &#039;&#039;&#039;المنطق&#039;&#039;&#039; (من [[اليونانية القديمة]]: λογική، بالحروف [[اللاتينية]]: logikḗ) هو الدراسة المنهجية لشكل ال[[استدلال]] الصحيح، وقوانين المعرفة الحقيقية الأكثر شيوعًا، الاستنتاج الصحيح هو الذي يُوجِد علاقات محددة للدعم المنطقي بين افتراضات الاستدلال ونتائجه.<br /> <br /> لا يوجد اتفاق عالمي على النطاق الدقيق لمفهوم المنطق، لكنه بشكل تقليدي يشتمل على تصنيف الحجج والكشف المنهجي لـ«الشكل المنطقي» المشترك بين جميع الحجج الصحيحة ودراسة البرهان والاستدلال، بما في ذلك المفارقات والمغالطات، ودراسة بناء الجملة والدلالات، كما يُعرَّف المنطق أيضاً بأنه<br /> «آلةُ قانونيةُ تعصم مراعاتُها الذهنَ عن الخطأِ في الفكر».&lt;ref&gt;{{استشهاد بكتاب|عنوان=دستور العلماء (جامع العلوم في اصطلاحات الفنون) 1-4 ج3|مسار= https://web.archive.org/web/20200502100511if_/https://books.google.com.sa/books?id=nSx0DwAAQBAJ&amp;pg=PT231&amp;lpg=PT231&amp;dq=#v=onepage&amp;q&amp;f=false|تاريخ=2000-01-01|لغة=ar|مؤلف1=عبد النبي بن عبد الرسول الأحمد|مسار أرشيف=|تاريخ أرشيف=}}&lt;/ref&gt;<br /> في المقام الأول يُدْرَس في تخصصات [[فلسفة|الفلسفة]] و[[رياضيات|الرياضيات]] و[[علم الدلالة]] و[[علم الحاسوب]]. ويعتبر [[أرسطو]] أول من كتب عن المنطق بوصفه علمًا قائمًا بذاته، وسميت مجموعة بحوثه المنطقية [[أورغانون]]، فكان القياس في نظر أرسطو هو صورة الاستدلال، ولكن بقيام النهضة الأوروبية ونهضة العلوم الطبيعية أصبح المنطق علمًا مختلفًا نوعا ما عن منطق أرسطو، فظهر منطق الاستقراء الذي كان رائده [[فرانسيس بيكون]] واستكمله بعد ذلك [[جون ستيوارت مل|جون ستيوارت ميل]]. هناك أيضًا جانب المنطق الرياضي الذي ابتدأه [[غوتفريد لايبنتس|لايبنتس]] وعدّله [[بيرتراند راسل|برتراند راسل]] الذي ربط ال[[رياضيات]] بالمنطق وجعلها امتدادًا له.<br /> <br /> تاريخيًا، تمت دراسة المنطق في ال[[فلسفة]] (منذ العصور القديمة) وال[[رياضيات]] (منذ منتصف [[القرن 19|القرن التاسع عشر]])، ودُرس المنطق في الآونة الأخيرة في [[علم الحاسوب|علوم الحاسوب]] وال[[لسانيات|لغويات]] و[[علم النفس]]، وغيرها من المجالات.<br /> <br /> == المفاهيم الأساسية ==<br /> <br /> يُعد المفهومُ الشكلَ المنطقي الأساسي في علم المنطق، ويتم تحديد صحة المفاهيم من خلال شكلها المنطقي، وليس عن طريق محتواها. ومن الأمثلة المنطقية الرسمية المنطق الأرسطي التقليدي والمنطق الرمزي الحديث.<br /> * [[المنطق غير الصوري]] (غير الرسمي): هو دراسة الحجج اللغوية الطبيعية. دراسة المغالطات هي فرع مهم من المنطق غير الرسمي. نظرًا لأن الكثير من الحجة غير الرسمية ليست استنتاجية بالمعنى الدقيق للكلمة، ففي بعض مفاهيم المنطق، فإن المنطق غير الرسمي ليس منطقًا على الإطلاق.<br /> * [[منطق رياضي|المنطق الرسمي]]: هو دراسة ال[[استدلال]] مع المحتوى الرسمي البحت. يتمتع الاستدلال بمحتوى رسمي بحت إذا كان يمكن التعبير عنه كتطبيق معين لقاعدة مجردة بالكامل، أي قاعدة لا تتعلق بأي شيء أو خاصية معينة. تحتوي أعمال [[أرسطو]] على أقرب دراسة رسمية معروفة للمنطق. المنطق الرسمي الحديث يتبع ويوسع [[أورغانون|منطق أرسطو]].&lt;ref&gt;Aristotle (2001). &quot;Posterior Analytics&quot;. In Mckeon, Richard (ed.). The Basic Works. Modern Library.&lt;/ref&gt; في العديد من تعريفات المنطق، الاستنتاج المنطقي والاستدلال مع المحتوى الرسمي البحت هو نفس الشيء. هذا لا يجعل فكرة المنطق غير الرسمي مفرغة، لأنه لا يوجد منطق رسمي يلتقط جميع الفروق الدقيقة في اللغة الطبيعية.<br /> * [[منطق رياضي|المنطق الرمزي]]: هو دراسة التجريدات الرمزية التي تجسد السمات الرسمية للاستدلال المنطقي.&lt;ref&gt;Whitehead, Alfred North; Russell, Bertrand (1967). Principia Mathematica to *56. Cambridge University Press.&lt;/ref&gt; غالبًا ما يتم تقسيم المنطق الرمزي إلى فرعين رئيسيين: المنطق الافتراضي والمنطق الأصلي.<br /> * [[منطق رياضي|المنطق الرياضي]]: هو امتداد للمنطق الرمزي في مناطق أخرى، خاصةً دراسة [[نظرية النموذج]]، [[نظرية البرهان]]، [[نظرية المجموعات]] و[[نظرية الحوسبة]].<br /> <br /> == تاريخ علم المنطق ==<br /> [[ملف:Aristoteles Logica 1570 Biblioteca Huelva.jpg|تصغير|أرسطو لوجيكا 1570 مكتبة هويلفا]]<br /> المنطق يأتي من كلمة &#039;&#039;logos&#039;&#039; اليونانية، والتي تعني في الأصل «الكلمة» أو «ما يتم التحدث به»، ولكن تعني «الفكر» أو «العقل». في [[عالم غربي|العالم الغربي]]، تم تطوير المنطق لأول مرة بواسطة [[أرسطو]]، الذي أطلق عليه اسم «التحليلات». أصبح المنطق الأرسطي مقبولًا على نطاق واسع في ال[[علم|علوم]] وال[[رياضيات]] وظل يستخدم على نطاق واسع في الغرب حتى أوائل [[القرن 19|القرن التاسع عشر]]. نظام أرسطو للمنطق كان مسؤولاً عن إدخال القياس المنطقي الافتراضي، المنطق الشرطي الزمني، والمنطق الاستقرائي، وكذلك المفردات المؤثرة مثل المصطلحات والمتوقعات والمنهجية والاقتراحات. كان هناك أيضا منطق [[زينون الرواقي]] المنافس.<br /> <br /> في أوروبا خلال فترة العصور الوسطى المتأخرة، بذلت جهود كبيرة لإظهار أن أفكار [[أرسطو]] كانت متوافقة مع الإيمان المسيحي. خلال العصور الوسطى العليا، أصبح المنطق محورًا رئيسيًا للفلاسفة، الذين كانوا منخرطين في التحليلات المنطقية النقدية للحجج الفلسفية، مستخدمين غالبًا اختلافات في منهجية الدراسة المدرسية. في عام [[1323]]، تم إطلاق [[مدرسية (فلسفة)|السكولاستية]] الخاصة ب[[وليم الأوكامي]]. بحلول [[القرن 18|القرن الثامن عشر]]، تدهورت المقاربة المنظمة للحجج وتراجعت، كما هو موضح في مسرحية [[لودفيغ هولبرغ]] الساخرة «إيراسموس مونتانوس».<br /> <br /> في [[الهند]]، تم تأسيس مدرسة (علم الاستقصاء-Anviksiki) للمنطق (حوالي القرن السادس قبل الميلاد).&lt;ref&gt;S.C. Vidyabhusana (1971). &#039;&#039;A History of Indian Logic: Ancient, Mediaeval, and Modern Schools&#039;&#039;, pp. 17–21.&lt;/ref&gt; استمرت الابتكارات في المدرسة الفلسفية، التي تسمى [[نيايا]]، منذ العصور القديمة وحتى أوائل [[القرن 18|القرن الثامن عشر]] مع مدرسة نافيا نايا. بحلول [[القرن 16|القرن السادس عشر]]، طورت نظريات تشبه المنطق الحديث، مثل التمييز بين جوتلوب فريج وبين الإحساس بالأسماء الصحيحة ومرجعيته «وتعريف الرقم»، وكذلك نظرية «الشروط التقييدية للعالميين» التي تتوقع بعضًا من التطورات في نظرية المجموعة الحديثة. منذ عام [[1824]]، جذب المنطق الهندي انتباه العديد من العلماء الغربيين، وكان له تأثير على علماء المنطق المهمين في [[القرن 19|القرن التاسع عشر]] مثل [[تشارلز بابيج|تشارلز باباج]] و[[أغسطس دي مورغان|أوغست دو مورغان]] و[[جورج بول]]. في [[القرن 20|القرن العشرين]]، اكتشف الفلاسفة الغربيون مثل ستانيسلاف شاير وكلاوس غلاشوف المنطق الهندي على نطاق أوسع.<br /> <br /> ساد المنطق الذي طوره [[أرسطو]] في ال[[غرب]] حتى منتصف [[القرن 19|القرن التاسع عشر]]، عندما حفز الاهتمام بأساسيات ال[[رياضيات]] على تطوير المنطق الرمزي (الذي يسمى الآن [[منطق رياضي|المنطق الرياضي]]). في عام [[1854]]، نشر [[جورج بول]] كتاباً بعنوان «التحقيق في قوانين الفكر» التي تأسست عليها النظريات الرياضية للمنطق و[[احتمال|الاحتمالات]]، مقدمًا المنطق الرمزي ومبادئ ما يعرف الآن بالمنطق الرياضي. في عام [[1879]]، نشر [[جوتلوب فريجه]] &quot;Begriffsschrift&quot;، الذي افتتح المنطق الحديث مع اختراع التدوين الكمي، والتوفيق بين [[أورغانون|منطق أرسطو]] وال[[رواقية]] في نظام أوسع، وحلت مثل هذه المشاكل التي كان [[أورغانون|منطق أرسطو]] فيها عاجزًا، مثل مشكلة العمومية المتعددة. من عام [[1910]] إلى عام [[1913]]، نشر [[ألفريد نورث وايتهيد]] و[[بيرتراند راسل|برتراند راسل]] [[مبادئ الرياضيات]]، في محاولة لاستخلاص الحقائق الرياضية من البديهيات وقواعد الاستدلال في المنطق الرمزي. في عام [[1931]]، أثار [[كورت غودل]] مشاكل خطيرة ([[مبرهنات عدم الاكتمال لغودل|مبرهنات عدم الاكتمال]]) مع البرنامج التأسيسي وتوقف المنطق في التركيز على مثل هذه القضايا.<br /> <br /> كان لتطور المنطق منذ [[جوتلوب فريجه]] و[[رسول|رسل]] و[[لودفيغ فيتغنشتاين]] تأثير عميق على ممارسة الفلسفة والطبيعة المدركة للمشاكل الفلسفية و[[فلسفة الرياضيات]]. يتم تنفيذ المنطق، وخاصة المنطق الحسي، في دوائر منطق ال[[حاسوب]] وهو أساسي ل[[علم الحاسوب|علوم الحاسوب]]. عادة ما يتم تدريس المنطق من قبل الجامعة في تخصصات ال[[فلسفة]]، و[[علم الاجتماع]]، وقسم الإعلان وال[[أدب]]، وغالبًا ما يكون تخصصًا إلزاميًا لجميع الطلاب.<br /> <br /> == انظر أيضًا ==<br /> <br /> * [[منطق رياضي]]<br /> * [[أورغانون|منطق أرسطو]]<br /> <br /> == المراجع ==<br /> <br /> {{مراجع}}<br /> {{روابط شقيقة}}<br /> <br /> {{مواضيع الفلسفة}}<br /> {{منطق}}<br /> {{ضبط استنادي}}<br /> {{شريط بوابات|لسانيات|علوم|علم الحاسوب|فلسفة|منطق|رياضيات|تقنية المعلومات}}<br /> <br /> [[تصنيف:منطق|*]]<br /> [[تصنيف:استنتاج]]<br /> [[تصنيف:إحساس]]<br /> [[تصنيف:تاريخ الأفكار]]<br /> [[تصنيف:تاريخ التعليم]]<br /> [[تصنيف:تاريخ الرياضيات]]<br /> [[تصنيف:تاريخ العلوم]]<br /> [[تصنيف:تاريخ الفلسفة]]<br /> [[تصنيف:تاريخ المنطق]]<br /> [[تصنيف:تجريد]]<br /> [[تصنيف:تفكير نقدي]]<br /> [[تصنيف:عقل]]<br /> [[تصنيف:علوم شكلية]]<br /> [[تصنيف:فكر]]<br /> [[تصنيف:فلسفة]]<br /> [[تصنيف:فلسفة الرياضيات]]<br /> [[تصنيف:فلسفة المنطق]]<br /> [[تصنيف:منطق فلسفي]]</div>

عبد العزيز