ارسل ملاحظاتك

ارسل ملاحظاتك لنا







يجب تسجيل الدخول أولا

حساب القضايا في منطق برتراند رسل

العنوان بلغة أخرى: Calculus of Propositions in Bertrand Rassell's Logic
المصدر: مجلة جامعة تشرين للبحوث والدراسات العلمية - سلسلة الآداب والعلوم الإنسانية
الناشر: جامعة تشرين
المؤلف الرئيسي: ناصيف، نبال منير (مؤلف)
المجلد/العدد: مج38, ع5
محكمة: نعم
الدولة: سوريا
التاريخ الميلادي: 2016
الصفحات: 217 - 237
ISSN: 2079-3049
رقم MD: 1186607
نوع المحتوى: بحوث ومقالات
اللغة: العربية
قواعد المعلومات: AraBase, HumanIndex
مواضيع:
كلمات المؤلف المفتاحية:
حساب القضايا | دوال الصدق | دوال الصدق | النسق الاستنباطي | اللزوم المادي واللزوم الصوري | Calculus of Propositions | Truth Functions | Axiomatic | Material Implication and Formal Implication
رابط المحتوى:
صورة الغلاف QR قانون

عدد مرات التحميل

16

حفظ في:
LEADER 03059nam a22002537a 4500
001 1931858
041 |a ara 
044 |b سوريا 
100 |9 635143  |a ناصيف، نبال منير  |e مؤلف 
245 |a حساب القضايا في منطق برتراند رسل 
246 |a Calculus of Propositions in Bertrand Rassell's Logic 
260 |b جامعة تشرين  |c 2016 
300 |a 217 - 237 
336 |a بحوث ومقالات  |b Article 
520 |a يحاول هذا البحث تسليط الضوء على مسألة أساسية وهامة في المنطق الرمزي وهي مسألة حساب القضايا في منطق برتراند رسل، والتي من خلالها نستطيع التعرف على أنواع القضايا عند رسل وعلاقتها بالوقائع نظرا للارتباط الكبير بينهما، ونتعرف أيضا على وجهة نظره من القضية الحملية الأرسطية. ويتناول هذا البحث مسألة دوال الصدق البسيطة التي يعالجها حساب القضايا ويتضمنها على هيئة نسق استنباطي، ويوضح الفرق الواضح بين اللزوم المادي واللزوم الصوري. ويتناول أخيرا النسق الاستنباطي في حساب القضايا من خلال كتاب المبادئ الرياضية. 
520 |b This research tries to concentrate on an essential and important issue in symbolic logic, which is the calculus of propositions in Rassell's logic. By studying this issue we will be able to understand propositions in Rassell's logic and its relationship with facts because of the great relationship between them. also we are going to know his opinion of Aristote's Categorical proposition. This research aims to study the issue of simple truth functions which are treated by calculus of propositions and deals with it as axiomatic and clarify the difference between material implication and formal implication. Finally it studies the axiomatic in calculus of propositions depending on the book principles of mathematics. 
653 |a الفلسفة الإنجليزية  |a المنطق الرمزي  |a راسل، برتراند، 1872-1970 
692 |a حساب القضايا  |a دوال الصدق  |a دوال الصدق  |a النسق الاستنباطي  |a اللزوم المادي واللزوم الصوري  |b Calculus of Propositions  |b Truth Functions  |b Axiomatic  |b Material Implication and Formal Implication 
773 |4 الادب  |6 Literature  |c 013  |e Tishreen University Journal for Research and Scientific Studies - Arts and Humanities  |f Mağallaẗ ğāmiʿaẗ tišrīn li-l-buḥūṯ wa-al-dirāsāt al-ʿilmiyyaẗ. Silsilaẗ al-ʿulūm al-insāniyyaẗ  |l 005  |m مج38, ع5  |o 0530  |s مجلة جامعة تشرين للبحوث والدراسات العلمية - سلسلة الآداب والعلوم الإنسانية  |v 038  |x 2079-3049 
856 |u 0530-038-005-013.pdf 
930 |d y  |p y  |q n 
995 |a AraBase 
995 |a HumanIndex 
999 |c 1186607  |d 1186607 

عناصر مشابهة