العربية  

Book Contemporary Development Of Logic Theory

Copyright reserved

The book cannot be previewed or downloaded in order to preserve the copyright of the author and publishing house
Not available digitally or on paper through the Noor Library, it is for rating and review

Copyright reserved
Contemporary Development Of Logic Theory
Qr Code Contemporary Development Of Logic Theory

Contemporary Development Of Logic Theory

Author:
Category: Contemporary Philosophy [Edit]
Language: Arabic
Publisher:  دار النهضة العربية للطباعة والنشر والتوزيع
Release Date:
Pages: 128
Rank: 658,383 No 1 most popular
Short link: Copy
More books like this book
Reviews ( 0 )
Quotes ( 0 )
Download is not available

Book Description

يشير الاستعراض الدقيق لمجهودات المناطقة وعلماء الرياضيات حتى البدايات الأولى من القرن العشرين إلى الاهتمام المتزايد بقضايا المنطق الرياضي وأساساته، وقد تبلور هذا الاتجاه في كتابات رسل المبكرة، ثم في المؤلف القيم أخرجه "رسل-هوايتهد" فيما بين الأعوام 1910-1913 والمسمى برنكيبيا ماتيماتيكا، ذلك المؤلف الذي وضع القضايا موضعها الدقيق، واستطاع أن يبسط قضايا المنطق والرياضيات برمتها في صورة رمزية دقيقة تخضع للبرهان الرياضي المحكم.

وفيما بعد برنكيبيا حاول المناطقة وعلماء والرياضيات تطوير نسق المنطق الرياضي، فاتضح لهم أن من بين الأفكار التي لا بد وأن يتناولها أي نسق فكرة التضمن ذاتها، فأخذوا يعملون الفكر من أجل التوصل إلى انساق بديلة لنسق برنكيبيا، وهنا انشقت الأبحاث المنطقية إلى اتجاهات مختلفة، نظر لويس المنطقي الأمريكي إلى تطوير الفكرة داخلياً فميز بين التضمن والتضمن الدقيق، وحاول تقنين رمزية خاصة بفكرية الأساسية، وتقدم لبناء النسق، وظل يتابع التطورات المنطقية والرياضية سنوات طويلة ويعدل في النسق بصورة أو بأخرى، ومع ذلك ظل نسق برنكيبيا كما هو فشل البديل.

ومن جانب آخر حاول لوكا شبفتش من خلال المنطق متعدد القيم أن يعثر على نسق تنسحب عليه الشروط التي تحقق دقته، ومع هذا جاءت رمزيته وأفكاره مختلفة اشد الاختلاف عن نسق برنكيبيا. ثم اقدم هلبرت على المحاولة وأطلق صيحته الصورية المشهورة التي أراد من روائها تأسيس نسق أكسيوماتيكي يعتمد على الصورية البحتة، ولكن لم تتحقق له فكرته المنشودة في إحلال النسق الاكسيوماتيكي مكان نسق يرنكيبيا وفي اتجاه آخر كانت أبحاث كواين وهو من رواد المذهب اللوجستيقي المعاصر تسير بخطوات واسعة محو إجراء تصحيحات وتعديلات شاملة ابتداء من المفاهيم والتصورات الأساسية للمنطق الرياضي، فطرح جانباً فكرة النسق البديل، وأخذ يصور المفاهيم الأساسية للمنطق، ومتن شروط التضمن وأسس العلاقة بين التضمن والشرط والشرط المزدوج، وميز بين الصحة والأنساق المنطقي تمييزاً دقيقاً.

كل هذه الأفكار وتلك عرض لها القسم الأول في بحث مركز يكشف النقاب عن التطور النظري في جانب من أهم جوانب الرياضي وهو فكرة التضمن باعتبارها جوهر نظرية الاستنباط. وكان من الطبيعي أن يتابع البحث والدرس في القسم الثاني في الأنساق المتعددة المعروضة على الفكر المنطقي اليوم، فخصص الفصلين الخامس والسادس لتناول أهم أنساق المنطق البولندي المعاصر، (لوكا شيفتس) رائد وفوس المدرسة المنطقية البولندية، ونسق "سلوبسكي" و"بوركوفسكي" وفي هذا النسق عرض نظرية حساب القضايا ونظرية حساب المحمول، ونظرية المجاميع، ونظريات الحساب الرياضي الأخرى المختلفة.

Copyright reserved

Copyright reserved

The book cannot be previewed or downloaded in order to preserve the copyright of the author and publishing house
Not available digitally or on paper through the Noor Library, it is for rating and review

Reviews ( 0 )
Quotes ( 0 )
  Search for another book

Book Review "Contemporary Development Of Logic Theory"

Book Quotes "Contemporary Development Of Logic Theory"

Other books like "Contemporary Development Of Logic Theory"

Other books for "Maher Abd Alqader Muhammad Ali"

Hide Intellectual property is reserved to the author of the aforementioned book
If there is a problem with the book, please report through one of the following links:
Report the book or by Contact us

E-books are complementary and supportive of paper books and never cancel it. With the click of a button, the e-book reaches anyone, anywhere in the world.
E-books may weaken your eyesight due to the glare of the screen. Support the book publisher by purchasing his original paper book. If you can access it and get it, do not hesitate to buy it.
Publish your book now for free