العنوان بلغة أخرى: |
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
|
رابط المحتوى: |
المستخلص: |
يحاول هذا البحث تسليط الضوء على مسألة أساسية وهامة في المنطق الرمزي وهي مسألة حساب القضايا في منطق برتراند رسل، والتي من خلالها نستطيع التعرف على أنواع القضايا عند رسل وعلاقتها بالوقائع نظرا للارتباط الكبير بينهما، ونتعرف أيضا على وجهة نظره من القضية الحملية الأرسطية. ويتناول هذا البحث مسألة دوال الصدق البسيطة التي يعالجها حساب القضايا ويتضمنها على هيئة نسق استنباطي، ويوضح الفرق الواضح بين اللزوم المادي واللزوم الصوري. ويتناول أخيرا النسق الاستنباطي في حساب القضايا من خلال كتاب المبادئ الرياضية. 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. |
---|---|
ISSN: |
2079-3049 |