Search In this Thesis
   Search In this Thesis  
العنوان
خصائص الانساق الصورية للحساب التحليلى فى نظريات المنطق الرمزى =
المؤلف
خليفة، احمد السيد ابراهيم.
هيئة الاعداد
باحث / احمد السيد ابراهيم خليفه
مشرف / محمد محمد قاسم
مشرف / محمد فتحى عبد الله
مشرف / لا يوجد
مشرف / لا يوجد
الموضوع
المنطق. الفلسفة - نظريات.
تاريخ النشر
2000.
عدد الصفحات
189 ص. ؛
اللغة
العربية
الدرجة
ماجستير
التخصص
فلسفة
تاريخ الإجازة
1/1/2000
مكان الإجازة
جامعة طنطا - كلية الاداب - الفلسفه
الفهرس
يوجد فقط 14 صفحة متاحة للعرض العام

from 192

from 192

المستخلص

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