LEADER |
04480nam a22002537a 4500 |
001 |
1861745 |
024 |
|
|
|3 10.21608/JFAFU.2021.145886
|
041 |
|
|
|a ara
|
044 |
|
|
|b مصر
|
100 |
|
|
|a عبدالجواد، أحمد عصام الدين
|g Abduljawaad, Ahmed Esam Al-Deen
|e مؤلف
|9 259053
|
245 |
|
|
|a المفهوم الحدسي للنتيجة المنطقية عند تارسكي
|
246 |
|
|
|a Intuitively Conception Of Tarski’s Logical Consequences
|
260 |
|
|
|b جامعة الفيوم - كلية الآداب
|c 2021
|g يناير
|
300 |
|
|
|a 1658 - 1699
|
336 |
|
|
|a بحوث ومقالات
|b Article
|
520 |
|
|
|a يعد مفهوم النتيجة المنطقية ضمن عديد من المفاهيم الأساسية التي تنتمي إلى حقل المنطق، وعني "تارسكي" بالبحث فيها، حيث رفض تناولها بشكل كامل خلال القواعد الصورية للاستدلال ذات الطبيعة التركيبية البحتة؛ نظرا لوجود بعض الحالات التي تلزم فيها النتيجة عن فئة المقدمات عن طريق الحدس، ولا يمكن برهنتها على أساس قواعد الاستدلال الصورية. ومن ثم فقد أكد "تارسكي" على أهمية المفهوم الحدسي للنتيجة المنطقية؛ وذلك خلال تقديمه مقالا مهما عام ١٩٣٦ بعنوان "عن مفهوم النتيجة المنطقية"، وكان هدفه الرئيس خلال ذلك المقال هو تحديد الشروط الكافية والضرورية لاستيفاء المفهوم الحدسي للنتيجة المنطقية. حيث وصف المفهوم الحدسي للنتيجة المنطقية خلال تحديد شرطين أساسيين لها هما: الإبقاء على الصدق (أو الضرورة) والصورية. ثم عبر عنهما معا بالشرط F الذي يعد من منظوره شرطا ضروريا وكافيا ينبغي توفره لاستيفاء المفهوم الحدسي للنتيجة المنطقية. ومن أجل تقديم المفهوم الحدسي للنتيجة المنطقية بناء على الشرطين السابقين قدم "تارسكي" نظرية النموذج التي تعد أحد فروع المنطق الحديث، وخلالها قدم تعريفه للمفهوم الحدسي للنتيجة المنطقية.
|
520 |
|
|
|b The concept of logical consequence is one of many basic concepts in the field of logic, and Tarski was interested to investigate it as he refused to fully explore it through formal rules of inference of a purely structural nature due to the presence of some cases in which the consequence results from a category of premises by means of intuition and cannot be proven on the basis of formal inference rules. Hence, Tarski emphasized the significance of the intuitive concept of logical consequence during his presentation of an important article entitled "On the Concept of Logical Consequence" in 1936. His main aim behind that article was to determine the sufficient and necessary conditions for fulfilling the intuitive concept of logical consequence as he described the intuitive concept of logical consequence by putting forward two basic conditions for it: maintaining validity (or necessity) and formality. Then, he articulated them both in the condition F which, from his own perspective, is a necessary and sufficient condition that should be met to fulfill the intuitive concept of logical consequence. In order to propose the intuitive concept of logical consequence based on the two before-mentioned conditions, Tarski proposed the model theory, which is one of the branches of modern logic and through which he proposed his definition of the intuitive concept of logical consequence.
|
653 |
|
|
|a الفلسفة
|a الفلاسفة
|a الدراسات الفلسفية
|a الفكر الفلسفي
|a تاركسي ، ألفرد
|
692 |
|
|
|a ألفرد تاركسي
|a النتيجة المنطقية
|a الحجة المنطقية
|a النموذج المنطقي
|b Alfred Tarski
|b Logical Consequence
|b Model Theory
|b Logical Argument
|
773 |
|
|
|4 الادب
|6 Literature
|c 025
|f Maǧallaẗ Kulliyyaẗ al-ādāb
|l 001
|m مج13, ع1
|o 2086
|s مجلة كلية الآداب
|v 013
|x 2357-0709
|
856 |
|
|
|u 2086-013-001-025.pdf
|n https://jfafu.journals.ekb.eg/article_145886.html
|
930 |
|
|
|d y
|p y
|q n
|
995 |
|
|
|a HumanIndex
|
999 |
|
|
|c 1119441
|d 1119441
|