hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
دموزي أبزو العبادة
كان دموزي أبزو من بين الآلهة التي كانت تُعبد في ولاية لجش. ويوجد معبد مخصص لها في كينونير. ومن الممكن أنها كانت تضم أيضًا مزارات لنرغال وننجيشزيدا. في وقت ما تم نهبها من قبل لوغال زاغيسي. غالبًا ما يظهر كينونير في وثائق من فترة أور الثالثة إلى جانب نينا، مركز العبادة في نانشي. وكان مرتبطا بصناعة النسيج. بنى أور بابا معبد دموزي أبزو، المشار إليه باسم «سيدة كينونير» في النقوش ذات الصلة، في جيرسو. يوجد أيضًا معبد مخصص لها في نينا. ومع ذلك، لا توجد أسماء محددة لجميع معابدها غير معروفة حاليًا. يبدو أيضًا أن بعض الأسماء الجغرافية من منطقة لجش تشير إليها، على سبيل المثال دو-دموزي، «تل دموزي (أبزو).» كهنة سانجا في دوموزي أبزو موثقون جيدًا في مصادر من ولاية لجش. ورجال دينها موجودون أيضًا في مصادر فترة أور الثالثة.
دموزي أبزو العبادة
أطلق إياناتوم من لجش على نفسه لقب «محبوب دوموزي أبزو». ومع ذلك، فهي غائبة عن الألقاب الرسمية للحكام الآخرين لهذه الدولة المدينة. تم ذكرها في صيغة لعنة جوديا لجش، المنقوشة على أحد تماثيله. وهي الإلهة الثانية قبل الأخيرة المذكورة، والتي تظهر بعد نين-ماركي وقبل الإله الشخصي للملك نينجيشزيدا. الآلهة الأخرى التي تم استدعاؤها فيها هي آنو، إنليل، نينهورساج، إنكي، سين، نينجيرسو، نانشي، نيندارا، جاتمدوغ، باو، إنانا، أوتو، هندورساغا، إيغاليم وشولشاغا.
إحدى الترانيم من مجموعة تم تأليفها على الأرجح تحت حكم أسرة سارجونيك مخصصة لدوموزي أبزو.
توقفت عبادة دموزي أبزو إلى حد كبير بعد فترة أور الثالثة بسبب تراجع لجش كمركز سياسي وديني.
روبرت كونكويست
كان جورج روبرت أكورث كونكويست، الحائز على وسام القديس ميخائيل والقديس جرجس، ورتبة الإمبراطورية البريطانية، وزمالة الأكاديمية البريطانية، وزمالة الجمعية الملكية للأدب، (5 يوليو 1917-3 أغسطس 2015) مؤرخًا وشاعرًا وروائيًا بريطانيًا أمريكيًا. بقي عضوًا في الحزب الشيوعي في بريطانيا العظمى لفترة قصيرة، ولكنه كتب لاحقًا العديد من الكتب ضد الشيوعية.
كان كونكويست زميلًا باحثًا لفترة طويلة في مؤسسة هوفر بجامعة ستانفورد، وكان معروفًا بعمله في الاتحاد السوفيتي. تضمنت كتبه الرعب العظيم: تطهيرات ستالين في ثلاثينات القرن العشرين (1986)، وحصاد الحزن: التجميعة السوفيتية والمجاعة الأهلية (1986)، وستالين: محطم الأمم (1991)، وكان أيضًا مؤلفًا لروايتين وعدة مجموعات شعرية.
روبرت كونكويست الحياة المبكرة والتعليم
وُلِدَ كونكويست في غريت مالفرن بورشستر لأب أمريكي، روبرت فولغر ويسكوت كونكويست، وأم إنجليزية، روزاموند أليس أكورث. خدم والده في وحدة خدمة الإسعاف الميدانية الأمريكية مع الجيش الفرنسي في الحرب العالمية الأولى، وحصل على وسام صليب الحرب، مع النجمة الفضية في عام 1916.
تلقى كونكويست تعليمه في كلية وينشستر، حيث فاز بمنحة لدراسة الفلسفة والسياسة والاقتصاد في الكلية المجدلية بأكسفورد. أخذ استراحة لمدة سنة، وقضى بعض الوقت في جامعة غرونوبل وفي بلغاريا، وعاد إلى أكسفورد في عام 1937، حيث انضم إلى الحزب الشيوعي في بريطانيا العظمى ونادي كارلتون. حصل على درجة الماجستير في الفلسفة والسياسة والاقتصاد ودرجة الدكتوراه في التاريخ.
روبرت كونكويست المسيرة المهنية
عاد كونكويست من لشبونة إلى إنجلترا بجواز سفر أمريكي عند اندلاع الحرب العالمية الثانية. انفصل كونكويست عن الحزب الشيوعي في بريطانيا بعد تنديد الحزب بالحرب باعتبارها إمبريالية ورأسمالية في عام 1939، وكُلِّفَ بالانضمام إلى فوج المشاة الخفيف في أوكسفوردشير وباكينغهامشير في 20 أبريل 1940، وخدم مع الفوج حتى عام 1946.
أُرسِلَ إلى مدرسة الدراسات السلافية وأوروبا الشرقية (التي أصبحت لاحقًا جزءًا من كلية لندن الجامعية) لدراسة اللغة البلغارية في عام 1943. أُرسِل في العام التالي إلى بلغاريا كضابط اتصال بالقوات البلغارية التي تقاتل تحت القيادة السوفيتية، والملحق بالجبهة الأوكرانية الثالثة، ثم إلى مفوضية مراقبة الحلفاء. انضم إلى وزارة الخارجية في نهاية الحرب، وعاد إلى المفوضية البريطانية في صوفيا حيث بقي كضابط صحفي. غادر بلغاريا في عام 1948، عندما استُدعيَ إلى لندن بسبب مشكلة دبلوماسية صغيرة، بعد أن ساعد في تهريب اثنين من البلغاريين خارج البلاد.
روبرت كونكويست المسيرة المهنية
انضم كونكويست في عام 1948 إلى قسم أبحاث المعلومات التابع لوزارة الخارجية، وهي وحدة «هجوم مضاد للدعاية» أنشأها حزب العمال في حكومة أتلي بهدف «جمع وتلخيص المعلومات الموثوقة حول الأخطاء السوفيتية والشيوعية، ونشرها بين الصحفيين الديمقراطيين والسياسيين والنقابيين، ودعم المنشورات المناهضة للشيوعية ماليًا وغير ذلك». انخرط قسم أبحاث المعلومات في التلاعب بالرأي العام. ذُكِرَ اسم كونكويست هناك باعتباره شخصية «لامعة ومتغطرسة»، وكان لديه 10 أشخاص يقدمون التقارير إليه. استمر في العمل في وزارة الخارجية حتى عام 1956، وأصبح متورطًا بشكل متزايد في الهجوم المضاد الفكري ضد الشيوعية.
روبرت كونكويست المسيرة المهنية
اتصلت مساعدة كونكويست، سيليا كيروان (لاحقًا سيليا غودمان)، بجورج أورويل في عام 1949 للحصول على معلومات للمساعدة في معرفة المتعاطفين السوفييت. تضمنت قائمة أورويل، التي اكتُشِفَت بعد وفاة كيروان في عام 2002، صحفيين من الغارديان وذا أوبزرفر، بالإضافة إلى إي. إتش. كار وتشارلي شابلن. وقع كونكويست، مثل أورويل، في حب الجميلة سيليا كيروان، التي ألهمته لكتابة العديد من القصائد. كان آلان ماكلين أحد زملائه في وزارة الخارجية، وهو شقيق دونالد ماكلين، أحد أعضاء شبكة تجسس فيلبي، والذي فر إلى روسيا مع غاي بورغس في عام 1951.
استقال آلان عندما انشق شقيقه ثم ذهب إلى ماكميلان ونشر كتابًا لقصائد كونكويست. كتب كونكويست في وزارة الخارجية العديد من الأوراق التي زرعت بذور عمله اللاحق، وطوِّرَت أحدها، التي تناولت الوسائل السوفيتية للحصول على الاعترافات، إلى كتاب بعنوان الرعب الأعظم. تضمنت الأوراق الأخرى كتاب «التعايش السلمي في الدعاية والنظرية السوفيتية»، و«الجبهات المتحدة-تكتيك شيوعي». شغل كونكويست لفترة وجيزة منصب السكرتير الأول في الوفد البريطاني لدى الأمم المتحدة في عام 1950.
روبرت كونكويست المسيرة المهنية
ترك كونكويست وزارة الخارجية وأصبح كاتبًا ومؤرخًا مستقلًا في عام 1956. قال بعد مغادرته إن قسم أبحاث المعلومات اقترح عليه أن يجمع بعض البيانات التي جمعها من المنشورات السوفيتية في كتاب. حرر كونكويست خلال ستينات القرن العشرين ثمانية مجلدات من الأعمال التي أنتجها قسم أبحاث المعلومات، ونشرتها دار بودلي هيد للنشر في لندن تحت عنوان سلسلة الدراسات السوفيتية، ونُشرت العديد من أعماله في وزارة الخارجية بهذه الطريقة. أعيد نشر الكتاب في الولايات المتحدة تحت عنوان سلسلة الاتحاد السوفيتي المعاصر من خلال فريدريك براغر، الذي نشر سابقًا العديد من الكتب عن الشيوعية بناءً على طلب وكالة المخابرات المركزية، بالإضافة إلى أعمال ألكسندر سولشينتسين، وميلوفان ديلاس، وهوارد فاست، وتشارلز باتريك فيتزجيرالد.
كان كونكويست محررًا أدبيًا لمجلة ذا سبيكتيتور في عامي 1962 و1963، ولكنه استقال عندما وجد أن الوظيفة تتعارض مع كتاباته التاريخية. كانت أولى كتبه عن الاتحاد السوفيتي هي الحس السليم حول روسيا (1960)، والترحيل السوفيتي للجنسيات (1960)، والقوة السياسية في الاتحاد السوفيتي (1961). شملت أعماله الأخرى عن الاتحاد السوفيتي شجاعة العبقري: قضية باسترناك (1961) وروسيا بعد خرشوف (1965).
روبرت كونكويست الحياة الشخصية
تزوج كونكيست أربع مرات، أولها في عام 1942 من جوان واتكينز، وأنجب منها ولدين، ولكنهما انفصلا في عام 1948. تزوج بعد ذلك من تاتيانا ميهايلوفا (1948-1962)، التي ساعدها على الهروب من بلغاريا، والتي شُخِّصَت بالفصام في عام 1951. تزوج في عام 1962 من كارولين ماكفارلين، وانفصلا في عام 1978. بدأ في ذلك العام في مواعدة إليزابيث نيس وينغيت، وهي محاضرة في اللغة الإنجليزية وابنة عقيد في القوات الجوية الأمريكية. تزوج هو ووينغيت في عام 1979. توفي في عام 2015، وكان لديه العديد من الأحفاد من أبنائه وابنة زوجته.
روبرت كونكويست آخر فترات حياته
انتقل كونكيست إلى كاليفورنيا في عام 1981 لتولي منصب زميل باحث أول وأمين باحث لمجموعة روسيا ودول الكومنولث المستقلة في مؤسسة هوفر بجامعة ستانفورد، حيث ظل زميلًا. وقّع في عام 1985 عريضة لدعم الكونترا المناهضة للشيوعية (نيكاراغوا). كان زميلًا في المعهد الروسي بجامعة كولومبيا، وفي مركز وودرو ولسون الدولي للعلماء، وباحث زائر متميز في مؤسسة التراث، وزميل باحث في معهد الأبحاث الأوكراني بجامعة هارفارد. قدّم سلسلة الإمبراطورية الحمراء في عام 1990، وهي سلسلة صغيرة من سبعة أجزاء عن الاتحاد السوفيتي أنتجها تلفزيون يوركشاير.
توفي كونكويست في عام 2015 في ستانفورد بكاليفورنيا، عن عمر يناهز 98 عامًا، بسبب فشل الجهاز التنفسي نتيجة لمرض باركنسون.
النظرة الإسلامية للمعجزات
يستخدم الإسلام عددًا من المصطلحات للإشارة إلى ادعاءات وقوع أحداث غير قابلة للتفسير بقوانين طبيعية أو علمية، وهي مواضيع يلجأ فيها الناس أحيانًا إلى القوى الخارقة للطبيعة. في القرآن يشير مصطلح آية إلى العلامات في سياق معجزات خلق الله والأنبياء والرسل (مثل إبراهيم وعيسى). في المصادر الإسلامية اللاحقة، أشير إلى معجزات الأنبياء بالمعجزة، والتي تعني حرفيًا الشيء الذي يربك به النبي ويغلب به خصومه، بينما يشار إلى معجزات الأولياء بالكرامات (الهبات أو النعم).
النظرة الإسلامية للمعجزات
يشير إعجاز القرآن إلى الادعاء القرآني بأنه لا يمكن لأحد أن يأمل في تقليد كماله (القرآن)، حيث تعتبر هذه الصفة المعجزة الأساسية للقرآن ودليلًا على نبوة محمد. في العقود الأخيرة، أصبح مصطلح الإعجاز يشير أيضًا إلى الاعتقاد بأن القرآن يحتوي على معجزات علمية، أي نبوءات الاكتشافات العلمية. كان خرق العدد - كسر في النظام المعتاد لله للأشياء - مصطلحًا يستخدم في المناقشات اللاهوتية أو الفلسفية للإشارة إلى الأحداث المعجزة. الكرامات - الهبات أو النعم - كانت تستخدم عادة للعروض المعجزية للقديسين الصوفيين الذين غالبًا ما يستخدمون لتحويل الكفار إلى الإسلام (يعتبر عملًا من أعمال الكرم الإلهي بدلًا من القوة الإلهية المستخدمة في معجزات الأنبياء).
النظرة الإسلامية للمعجزات التعريف
يمكن العثور على تعريف منهجي للمعجزات التي قام بها الرسل في عمل العالم المسلم الحججي مواقف، كما يقول المؤرخ أ.ج. وينسينك. الغرض الرئيسي من المعجزة هو إثبات صدق الرسول ويجب أن تلبي الشروط التالية:
النظرة الإسلامية للمعجزات علم الكلام
الإيمان بما هو منقول بالتواتر واجب على المسلمين السنة. إن رفض ما هو متواتر سبب للخروج من الإسلام وفقًا لإجماع علماء السنة. القرآن منقول بالتواتر وبالتالي يجب الإيمان بكل آية، بما في ذلك كل إشارة إلى معجزة أي نبي. بالإضافة إلى ذلك، هناك العديد من الأحاديث التي تنقل معجزات النبي الإسلامي محمد والتي يتم نقلها أيضًا بالتواتر. يجب أيضًا الإيمان بهذه الأحاديث والمعجزات بشكل كامل ليكون المرء مسلمًا. ومع ذلك، فإن إنكار رواية الآحاد أو الرواية الانفرادية هو فسق فقط وليس كفرًا.
تنقسم المعجزات إلى كرامات ومعجزات؛ فالكرامات يمنحها الله للقديسين، والمعجزات يمنحها الله للأنبياء حصريًا. وفي العقيدة الطحاوية المتفق عليها قولان: لا نفضل أحدًا من أولياء هذه الأمة على أحد من الأنبياء عليهم السلام، ونقول: نبي واحد أفضل من جميع الأولياء مجتمعين، ونؤمن بما جاء من كراماتهم، وما صح في رواياتهم عن الثقات.
ويذكر التفتازاني في شرح العقائد النسفية المعجزات التالية التي قام بها الأولياء والأنبياء:
النظرة الإسلامية للمعجزات الإسلام والقانون الطبيعي
من أجل الدفاع عن إمكانية المعجزات وقدرة الله المطلقة ضد تعدي الأسباب الثانوية المستقلة، رفض علماء الدين المسلمين في العصور الوسطى فكرة السبب والنتيجة في جوهرها، لكنهم قبلوها كشيء يسهل على البشر التحقيق وفهم العمليات الطبيعية. لقد زعموا أن الطبيعة تتكون من ذرات موحدة أعاد الله خلقها في كل لحظة. وبالتالي إذا سقطت التربة، فيجب على الله أن يخلق ويعيد خلق حادثة الثقل طالما سقطت التربة. بالنسبة لعلماء الدين المسلمين، كانت قوانين الطبيعة مجرد تسلسل مألوف للأسباب الظاهرة: خصائص الله.
النظرة الإسلامية للمعجزات القرآن
وفقًا لدينيس جريل، يعلمنا الإسلام أن المعجزات - أي التدخلات الخارقة للطبيعة في حياة البشر - موجودة في القرآن بمعنى ثلاثي: في التاريخ المقدس، وفيما يتعلق بمحمد نفسه وفيما يتعلق بالوحي. وعلى النقيض من ذلك، كتب علي دشتي (ت. 1982) أن هناك الكثير من الجدل حول مسألة ما إذا كان القرآن معجزًا فيما يتعلق ببلاغته أو بموضوعه، أو كليهما. بشكل عام، يعتبره علماء المسلمين معجزًا في كلا الجانبين.
في القرآن، يستخدم مصطلح آية للإشارة إلى المعجزات - الظواهر الكونية على سبيل المثال هي آيات تكوينية - وخاصة معجزات الخلق. ولكنه يستخدم أيضًا ليعني الدليل، العلامة، الآية القرآنية، (الالتزامات الدينية هي آيات تكليفية). في الإسلام بشكل عام، غالبًا ما تستخدم كلمة آية للإشارة إلى آية قرآنية متوسطة، ولكن هناك تداخل في المعنى: يعتقد أن الآيات هي الكلام الإلهي باللغة البشرية الذي قدمه محمد كمعجزته الرئيسية، والمعجزات هي علامة (آية) من الله ونبوة محمد.
النظرة الإسلامية للمعجزات القرآن
تتضمن آيات القرآن التي تنص على أن القرآن نفسه معجزة - أي أنه مذهل لدرجة أنه لا يمكن أن يكون حدثًا طبيعيًا - ما يلي:
سورة هود الآية 13: "أَمۡ يَقُولُونَ ٱفۡتَرَىٰهُۖ قُلۡ فَأۡتُواْ بِعَشۡرِ سُوَرٖ مِّثۡلِهِۦ مُفۡتَرَيَٰتٖ وَٱدۡعُواْ مَنِ ٱسۡتَطَعۡتُم مِّن دُونِ ٱللَّهِ إِن كُنتُمۡ صَٰدِقِينَ". نُزِّلَت ردًا على اتهام المشركين بأن وحي محمد كان من تأليف محمد أو جاء من رجال آخرين.
سورة الإسراء الآية 88: "قُل لَّئِنِ اجْتَمَعَتِ الْإِنسُ وَالْجِنُّ عَلَىٰ أَن يَأْتُوا بِمِثْلِ هَٰذَا الْقُرْآنِ لَا يَأْتُونَ بِمِثْلِهِ وَلَوْ كَانَ بَعْضُهُمْ لِبَعْضٍ ظَهِيرًا".
جورج بالدوك
جورج هنري إيفور بالدوك (9 مارس 1993 – 9 أكتوبر 2024)، هو لاعب كرة قدم محترف لعب كظهير أيمن. وعلى الرغم من ولادته في إنجلترا، كان بالدوك يحمل الجنسية اليونانية نظرًا لأصوله اليونانية من جهة جدته، ومثّل المنتخب اليوناني في المسابقات الدولية.
جورج بالدوك الوفاة
عُثر على بالدوك ميتًا في مسبح منزله في غليفاذا بأثينا في 9 أكتوبر 2024 عن عمر ناهز 31 عامًا. بعد عدة ساعات من عدم القدرة على التواصل معه، أعربت زوجته في إنجلترا عن قلقها، مما دفع مالك العقار للدخول ورؤية جثته. وأشار تقرير أولي من الطبيب الشرعي إلى أن بالدك قد توفي غرقًا، واستبعدت الشرطة أي عمل إجرامي، إلا أن المزيد من تفاصيل وفاته ما زالت غير معروفة.
قلعة بويناري
قلعة بويناري (Cetatea Poenari) هي قلعة تاريخية مدمرة تقع في رومانيا، وتشتهر بأنها كانت منزل فلاد الثالث المخوزق. تقع القلعة على قمة جبل، ويمكن الوصول إليها عن طريق صعود 1480 درجة خرسانيًا. تشتهر القلعة بموقعها الجبلي وتاريخها المرتبط بالشخصية الأسطورية لفلاد المخوزق، المعروف بأنه كان مصدر إلهام لشخصية دراكولا.
المنطق الحدسي
المنطق الحدسي يُطلق عليه أحيانًا المنطق البنائي، وهو يشير إلى أنساق المنطق الرمزي التي تختلف عن الأنساق المستخدمة في المنطق الكلاسيكي، وذلك من خلال عكس مفهوم برهان الأستدلال بشكل محكم. وبشكل خاص، فإن أنساق المنطق الحدسي تستبعد كل من: قانون الوسط الممتنع(الثالث المرفوع) وقانون النفي المزدوج، واللذان يعدان من قواعد الاستدلال الأساسية في المنطق الكلاسيكي.
المنطق الحدسي النشأة والتطور
ظهر المنطق الحدسي نتيجة لبعض الآراء الفلسفية التي أعادت فحص الأسس التي تقوم عليها الرياضيات، والتي تُعرف بالاتجاه الحدسي. جاء هذا المنطق كمحاولة لإنقاذ الرياضيات من التناقضات التي واجهتها. وتقوم الفكرة الرئيسية للاتجاه الحدسي على أن الرياضيات تعتمد أساسًا على الحدس. لذلك، رفض الحدسيون فكرة أن المنطق يمكن أن يؤسس أصول الرياضيات، معتبرين أن الحدس أو الإدراك الفوري المباشر هو الوسيلة لفهم حقائق الرياضيات وأسسها.
المنطق الحدسي النشأة والتطور
قدم الاتجاه الحدسي تصورًا مختلفًا لطبيعة العلاقة بين المنطق والرياضيات، حيث وضع الحدسيون فصلًا واضحًا بين الاثنين. وأشار بروير (Brouwer) إلى أن المفارقات التي ظهرت في أبحاث أسس الرياضيات أثارت شكوكًا حول استخدام المنطق في هذا المجال. ونتيجة لذلك، تخلّى بعض الرياضيين عن فكرة أسبقية المنطق على الرياضيات. وقد لاحظ الحدسيون أن جميع المفارقات تختفي إذا التزم الباحثون بالأنساق القابلة للبناء بناءً على الحدس. ويشير هايتنج أيضًا في هذا السياق إلى أن المنطق جزء من الرياضيات، وبالتالي لا يمكن بأي حال من الأحوال أن يكون بمنزلة الأساس الذي تسند إليه الرياضيات، وكيف يكون ذلك جائزًا وهو يحتاج إلى أساس، كما أن مبادئه أكثر تعقيدًا من مبادئ الرياضيات ذاتها. ومن أجل ذلك، حاول هيتنج تأسيس توع جديد من المنطق يختلف عن منطق البرنكبيا مستوحيً ذلك من الرياضيات الحدسية فكان المنطق الحدسي، وعلى الرغم من أن بروير لم يسهم كثيرًا فيما يخص بناء نسق أستنباطي للمنطق الحدسي، إلا أنه قد مهد الطريق أمام تلاميذه، وبخاصة هيتنج، حيث أستفاد الأخير كثيرًا من أفكار بروير في صياغة المنطق الحدسي، فبروير هو أول من بدأ في انتقاد استخدام المنطق التقليدي في الرياضيات، وخاصة مبدأ الوسط الممتنع أو الثالث المرفوع بوصفه المصدر الأساسي للمفارقات.
المنطق الحدسي النشأة والتطور
وعليه، فقد تم تطوير المنطق الحدسي من قبل أريند هيتينج؛ من أجل توفير أسس صورية لمنهاج الحدس عند بروير. ومن منظور نظرية البرهان، فإن حساب هيتنج هو بمثابة تقييد للمنطق الكلاسيكي حيث تم استبعاد قانون الثالث المرفوع، وقانون النفي المزدوج. ومع ذلك فكلاهما من الممكن أن يظل مثبت لبعض القضايا على أساس كل حالة على حدة، ولكن هذا لا ينطبق بشكل كلي كما هو الحال مع المنطق الكلاسيكي.
وقد تم دراسة أنساق عديدة من دلالات المنطق الحدسي. واحدة من هذه الدلالات تعكس دلالات القيم البوليانية الكلاسكية ولكنها تستخدم جبر هيتنج بدلاً من الجبر البولياني. وهناك دلالات أخرى تستخدم نماذج كريبك. ومع ذلك، فهي تمثل وسائل تقنية لدراسة نسق هيتنج الاستنتاجي، وليس مجرد تشكيل لدلالات برويرالحدسية الأصلية. والأنساق الدلالية التي تفترض حيازة مثل هذه الحدسيات، بسبب تقديمها لمفاهيم ذات مغزى عن "الحقيقة الأستدلالية" (بدلاً من مجرد الصحة أو قابلية الإثبات)، ومثل هذه الدلالات تؤدي باستمرار إلى ظهور منطق أقوى من منطق هيتنج. وقد زعم بعض المؤلفين أن هذا قد يكون مؤشراً على عدم كفاية حساب هيتنج نفسه، معتبرين الأخير غير مكتمل كمنطق أستدلالي.
المنطق الحدسي البنائية الرياضية
في الدلالات المتعلقة بالمنطق الكلاسيكي، يتم تخصيص قيم الصدق لصيغ القضايا من المجموعة المكونة من عنصرين واللذان يعنيان ("صواب" و"خطأ" على التوالي)، بغض النظر عما إذا كان لدينا دليل مباشر على أي من الحالتين أم لا. ويُشار إلى هذا باسم "قانون الوسط الممتنع" أو الثالث المرفوع، لأنه يستبعد إمكانية وجود أي قيمة حقيقة إلى جانب قيمتي "صواب" أو "خطأ". وعلى النقيض من ذلك، لا يتم تعيين قيمة حقيقة محددة للصيغ القضوية في المنطق الحدسي، وتعد فقط "حقيقية" عندما يكون لدينا دليل مباشر، ومن ثم البرهان. (يمكننا أيضًا أن نقول، بدلاً من أن تكون الصيغة القضوية "حقيقية" بسبب الأدلة المباشرة، إنها مأهولة ببرهان بالمعنى الذي وضعه كيوري-هاورد.) وبالتالي فإن العمليات في المنطق الحدسي تحافظ على التبرير، فيما يتعلق بالأدلة والقدرة على البرهان، بدلاً من تقييم الحقيقة. فأنصار المنطق الحدسي يرفضون النظر إلى فكرة الصدق بوصفها أساسًا للمنطق، ويضعون بدلاً منها فكرة البرهان. فنحن لا نستطيع أن نقرر بالنسبة لقضية ما إذا ما كانت صادة او كاذبة إلا بعد وجود برهان على صدقها أو كذبها، فنظرية البرهان عند الحدسين تسبق نظرية الصدق. وهذا على العكس مامًا مما يذهب إليه أنصار المنطق التقليدي.
المنطق الحدسي البنائية الرياضية
المنطق الحدسي هو أداة تستخدم بشكل شائع في تطوير مناهج البنائية في الرياضيات. وقد مثل استخدام المنطق البنائي بشكل عام موضوعًا مثيرًا للجدل بين الفلاسفة وعلماء الرياضيات (انظر، على سبيل المثال، الجدال بين بروير وهيلبرت ). والاعتراض الشائع على استخدامه يكمن في الافتقار المذكور أعلاه إلى قاعدتين أساسيتين في المنطق الكلاسيكي، وهما: قانون الوسط الممتنع وقانون النفي المزدوج. حيث اعتبرهما ديفيد هيلبرت مهمان جدًا لممارسة الرياضيات، حتى أنه كتب:
«إن حرمان عالم الرياضيات من مبدأ الوسط الممتنع يشبه حرمان عالم الفلك من استخدام التلسكوب أو منع الملاكم من استخدام قبضتيه. إن حظر عبارات الوجود ومبدأ الوسط الممتنع يعادل التخلي عن علم الرياضيات بالكامل.»
المنطق الحدسي البنائية الرياضية
وعلى الرغم من ذلك، وجد المنطق الحدسي استخدامًا عمليًا في الرياضيات رغم التحديات التي تمثلها عدم القدرة على استخدام هذه القواعد. أحد أسباب ذلك هو أن قيودها تنتج أدلة لها خاصية الوجود، مما يجعلها مناسبة أيضًا لأشكال أخرى من البنائية الرياضية. وأحد الأسباب التي تجعل هذا الجانب من المنطق الحدسي قيماً للغاية هو أنه يمكّن الممارسين من استخدام مجموعة واسعة من الأدوات المحوسبة، المعروفة باسم مساعدي الإثبات. وتساعد مثل هذه الأدوات مستخدميها في إنشاء وإثبات البراهين واسعة النطاق، والتي عادة ما يحول حجمها دون إجراء الفحص البشري المعتاد الذي يدخل في نشر ومراجعة البرهان الرياضي. وعلى هذا النحو، فإن استخدام مساعدي الإثبات (مثل Agda أو Coq ) يمكّن علماء الرياضيات والمنطق المعاصرين من تطوير وإثبات أنساق معقدة للغاية، إلى جانب الأنساق التي يمكن إنشاؤها والتحقق منها يدويًا. أحد الأمثلة على الإثبات الذي كان من المستحيل التحقق منه بشكل مرضٍ دون التحقق الرسمي هو الإثبات الشهير لمبرهنة الألوان الأربعة، والمسمي بمبرهنة الالوان الأربعة. تلك النظرية التي احتار معها علماء الرياضيات لأكثر من مائة عام، حتى تم تطوير دليل يستبعد فئات كبيرة من الأمثلة المضادة المحتملة، لكنه ترك احتمالات مفتوحة بما يكفي بحيث أصبح من الضروري استخدام برنامج كمبيوتر لإكمال الإثبات. كان هذا الدليل مثيرا للجدل لبعض الوقت، ولكن في وقت لاحق، تم التحقق منه باستخدام Coq.
المنطق الحدسي بناء الجملة
إن بناء صيغ المنطق الحدسي يتشابه مع بناء صيغ منطق القضايا أو منطق الرتبة الأولى. ومع ذلك، فإن الروابط الحدسية لا يمكن تعريفها في حدود بعضها البعض بنفس الطريقة التي يتم فيها تعريف الروابط في المنطق الكلاسيكي، ولذلك فاختيارها مهم. في المنطق القضوي الحدسي (IPL) من المألوف استخدام →، ∧، ∨، ⊥ بوصفها روابط أساسية، ومعاملة ¬ A بوصفهااختصارًا لـ (A → ⊥). وفي المنطق الحدسي من الدرجة الأولى، هناك حاجة إلى كلا الكميتين ∃ و ∀.
المنطق الحدسي بناء الجملة
وفيما يتعلق بتفسير الروابط أو الثوابت في المنطق الحدسي، فيمكن القول أن التفسير الحدسي لها يختلف عن التفسير الكلاسيكي لها، فالقضايا التي تتألف من خلال الروابط المنطقية في المنطق الكلاسيكي يعتمد مدي صدقها أو كذبها على مكوناتها، فعلى سبيل المثال الدالة العطفية التي تتألف من قضيتين يربطهما رابط العطف أو الوصل، والتي تأخذ الصورة( P. q) تكون صادقة في حالة واحدة فقط وهي حالة صدق جميع مكوناتها، وفي حالة كذب إحدي القضيتين أو كلاهما المشكلتين لها كما بالمثال السابق تتحول الدالة برمتها إلى وضع الكذب، وكذلك الحال أيضًا فيما يسمي بالدالة اللزومية أو دالة التضمن والتي تأخذ الصورة (p c q ) تكون كاذبة في حالة واحدة فقط، وهي الحالة التي تكون فيها القضية الأولى أو ما تسمى بالمقدم صادقة والقضية الثانية أو ما تسمي بالتالي كاذبة، أما في بقية الأحتمالات التى تكون عليها القضيتين تكون الدالة صادقة. أما فيما يتعلق بالتفسير الحدسي لهذه الثوابت أو الروابط نجد أنها مختلفة، حبث أنه يتم تفسيرها في ضوء نظرية البرهان، ففيما يتعلق برابطة العطف والتي تستخدم في المنطق الحدسي على الصورة ( q p ) ويعد فيها العطف مبرهنًا إذا ما كان لكل مكوناتها برهان على حدة، أي في حالة وجود برهان لــــ p، وبرهان لــــ q، وتكون العطف كاذبًا إذا تعذر وجود البرهان في أحدهما أو كلاهما. وفي رابطة الفصل أو الأنفصال، والذي يأخذ الصورة (p q ) ويكون صادقًا إذا ما كان هناك برهان لـــ p أو برهان لـــ q
المنطق الحدسي نظريات
عند شرح نظريات المنطق الحدسي في حدود المنطق الكلاسيكي، فيمكن فهم ذلك على أنه إضعاف له: فهو أكثر تحفظًا في ما يسمح باستنتاجه، بينما لا يسمح بأي استنتاجات جديدة لا يمكن التوصل إليها في ظل المنطق الكلاسيكي. كل نظرية من نظريات المنطق الحدسي هي نظرية في المنطق الكلاسيكي، ولكن العكس ليس صحيحًا. فالعديد من صور طوطولوجيا في المنطق الكلاسيكي ليست نظريات في المنطق الحدسي – وبشكل خاص، فإن أحد الأهداف الرئيسية للمنطق الحدسي - كما تم ذكره بأعلى-عدم تأكيد قانون الوسط الممتنع لإبطال استخدام برهان التناقض، والذي يمكن استخدامه لتقديم ادعاءات الوجود دون تقديم أمثلة صريحة للموضوعات التي يثبت وجودها.
المنطق الحدسي الإثبات بالتناقض
غالبًا ما يُفهم المنطق الحدسي بصورة خاطئة، خاصة من قبل الذين لم يدرسوه بعمق وعناية، فالكثير يعتقد أن الحدسيين يرفضون مبدأ الثالث المرفوع دون سبب، وأن المنطق الحدسي يرفض الإثبات بالتناقض، وهذه ليست الحقيقة الكاملة، ويرجع ذلك لسوء الفهم الكلاسيكي للمنطق الحدسي. حيث يقبل الحدسيون الأختزال إلى الأستحالة كما في الصورة p حيث تشير العلامة إلى الاستحالة أو التناقض، وتشير العبارة إلى أننا لو أفترضنا أن p تؤدي إلى التناقض أو الأستحالة، فلابد أن يؤدي هذا إلى أن p خاطئة، وهذا يمثل البرهان الكلاسيكي والمعروف بقانون الإثبات بالتناقض، وهو صالح حدسيًا.وفي الواقع ما يرفضه أنصار المنطق الحدسي هو ما يشبه الصورة حيث تعني الصورة كلاميًا: أننا إذا ما أفترضنا أن نفي p بؤدي إلى الاستحالة، فيمكننا أستنتاج أن p صحيحة، وهذه العبارة غير صالحة حدسيًا، وهناك من يرى أن العبارة السابقة قد تبدو سليمة فكل ما تم فعله هو التبدل بين p ونفيها في هذه الصيغة، ولكن الأمر يختلف حدسيًا، فالصورة الصحيحة للاستنتاج السابق تكمن في p والأشخاص المعتادين على المنطق الكلاسيكي تختلط عليهم الأمور حينما يتعاملون مع العلامة، حبث أنهم يتعاملون مع كما لو أنها p، ولكن المنطق الحدسي يرفض ذلك، ويري أنهما ليسوا نفس الشئ، وأن أضعف من p، بمعنى أنه يمكننا دائمًا أن نصل من الثانية إلى الأولى، ولا يمكننا عكس هذه العملية، فالمنطق الحدسي يوافق على أنه في حال كانت تفضي إلى الأستحالة أو التناقض، فإنه يمكن أستنتاج.
الجمباز في الألعاب الأولمبية الصيفية 1988 – فردي إيقاعي شامل للسيدات
أقيمت مسابقة الجمباز الإيقاعي الفردي الشامل، في دورة الألعاب الأولمبية الصيفية 1988، تغيرت قواعد مسابقة الجمباز الإيقاعي بعد الألعاب الأولمبية السابقة. تم استبدال جهاز الكرة بالحبل. تنافست تسعة وثلاثون لاعبة جمباز في الجولة التمهيدية، وأكملت كل لاعبة جولة واحدًا بكل جهاز، وتقدمت أفضل عشرين لاعبة جمباز إلى النهائيات. حملت كل متسابقة أكثر من نصف نتيجتها في الجولة التمهيدية (نتيجة الجولة التمهيدية) إلى النهائي، حيث تمت إضافتها إلى نتيجتها في النهائي (النتيجة النهائية). في النهائي قاموا مرة أخرى بأداء جولة واحدة بكل جهاز. تم الحكم على كل روتين من قبل ستة حكام وتم إسقاط أعلى وأدنى الدرجات، وكان متوسط الدرجات الأربع المتبقية هو نتيجة لاعبة الجمباز للروتين. حصلت مارينا لوباتش من الاتحاد السوفيتي على الميدالية الذهبية في مسابقة الجمباز الإيقاعي الأوليمبي بتسجيلها درجات مثالية في جميع التخصصات الأربع للمسابقة في الألعاب الأولمبية في سيول، كوريا الجنوبية عام 1988. وحصلت على 40 نقطة كحد أقصى من الحكام وتحقق أول ميدالية ذهبية في الجمباز الإيقاعي في تاريخ الاتحاد السوفيتي.
تيجي (قناة تلفزيونية)
تيجي (بالفرنسية: TiJi) هي قناة تلفزيونية مواضيعية فرنسية للشباب متخصصة في بث برامج الأطفال. تدار من قبل مجموعة إم 6.
مستشفى الزقازيق العسكري
مستشفى الزقازيق العسكري هو مستشفى عسكري مصري يتبع إدارة الخدمات الطبية للقوات المسلحة المصرية، يقع في مدينة الزقازيق بمحافظة الشرقية، على مساحة 5.6 فدان، اُفتتح رسميًا في 16 فبراير 2021، بلغت الطاقة الاستيعابية للمستشفى وقت افتتاحه 200 سرير وبتكلفة بلفت حوالي 510 مليون جنيه مصري.
يتكون المستشفى من ستة طوابق يشمل ستة غرف للعمليات، وقسم الطوارئ بطاقة ثمانية أسرة، وقسم حضانات الأطفال بطاقة 12 حضانة، وقسم العناية المركزة بطاقة 35 سرير، وقسم الغسيل الكلوي بطاقة 25 كرسي، وأقسام الإقامة الداخلية بطاقة 135 سرير، وقسم العيادات الخارجية بطاقة 12 عيادة، بالإضافة إلى أقسام الأشعة، والأسنان، والمعامل، والتأهيل البدني، وقاعات للمؤتمرات والاجتماعات.