بوابة:منطق

الاستنباط (بالإنجليزية: deduction)‏ أو الاستنتاج الاستنباطي (بالإنجليزية: deductive reasoning)‏، أحيانا يطلق عليه المنطق الاستنباطي (بالإنجليزية: Deductive logic)‏ هو أحد أشكال الاستنتاج (تصميم أعلى أسفل) ويمكن قياس الجدل عندما تعتمد صحة البرهان على منطقية الفرضية العامة أو المبدئية.

رودولف كارناب Rudolf Carnap، فيلسوف ومنطقي ألماني، يهودي الأصل، وأحد أبرز زعماء الفلسفة التجريبية المنطقية logical empiricism أو الوضعية المنطقية logical positivism. ولد في رونسدورف Ronsdorf بالقرب من بارمن Barmen في ألمانيا، وتوفي في كاليفورنيا. درس في جامعتي فرايبورغ ويينا Jenaء(1910ـ1914)، حيث تخصص في الفيزياء والرياضيات والفلسفة. وتأثر كثيراً في يينا بأستاذه الرياضي المنطقي غوتلوب فريغه Gottlob Frege. وحصل في عام 1929 على الدكتوراه من الجامعة نفسها برسالة عنوانها «المكان: إسهام في نظرية العلم». وكان لرسل Russell وفتغنشتاين Wittgenstein أعظم الأثر في تكوينه الروحي، وكذلك لجماعة ڤيينا Vienna Circle التي أسسها موريتس شليك Moritz Schlik عام 1924، وكانت تبشر بفلسفة علمية تهدف إلى توحيد العلوم وتصطنع منهج التحليل المنطقي، فصار من شخصياتها البارزة وعضواً نشطاً فيها، وأصدر بالتعاون مع هانس رايشنباخ Reichenbach ء(1891ـ1953) مجلة دولية عنوانها «المعرفة» Erkenntnis ء(1930ـ1940) لهذا الغرض، فكانت لسان حال الوضعية المنطقية خاصة. درس منطق العلوم في جامعة ڤيينا (1926ـ1931)، ثم الفلسفة الطبيعية في جامعة براغ الألمانية (1931ـ1935). هاجر على أثر تحول ألمانيا إلى النازية، إلى الولايات المتحدة في نهاية عام 1935، حيث عيّن أستاذاً للفلسفة في جامعتي شيكاغو (حتى عام 1952) وكاليفورنيا (1954ـ1961)، وعمل مع أوتو نويرات Otto Neurath وشارلز موريس Charles Morris على إصدار «الموسوعة الدولية للعلم الموحد».