Abduction (الاستدلال التفسيري/الاستنتاج الاستدلالي)

نوع من الاستدلال حيث يتم اختيار أفضل تفسير للظاهرة أو البيانات المتاحة، وليس بالضرورة أن يكون الاستنتاج يقينيًا.

2Analytic Proposition (المقولة التحليلية)

مقولة يكون مضمونها صحيحًا بالضرورة بسبب معنى المصطلحات المستخدمة فيها، مثل: “كل العازب غير متزوج”

Argument (الحُجّة / البرهان)سلسلة من العبارات (مقدمات) تهدف إلى إثبات أو دعم صحة عبارة أخرى (الخاتمة)

Axiom (مسلمة / بديهية)

عبارة تُقبل كحقيقة أساسية دون برهان، وتستخدم كأساس لاستنتاجات أخرى في المنطق أو الرياضيات.

Antecedent (المقدم/الشرط الأول)

في العبارات الشرطية (If…Then)، هو الجزء الأول الذي يمثل الشرط: “If P, then Q” → P هو الـ Antecedent.

Algebra of Logic (جبر المنطق)

دراسة العمليات والقوانين التي تحكم التعبيرات المنطقية باستخدام البنى الجبرية، مثلAND، OR، NOT.

Argument Form (شكل الحجة)

التركيب المنطقي للحجة الذي يحدد كيف ترتبط المقدمات بالخاتمة، بغض النظر عن محتوى العبارات.

Abduction (الاستدلال التفسيري)

نوع من الاستدلال يُستخدم لاختيار أفضل تفسير ممكن لمجموعة من المعطيات أو الظواهر، دون أن يكون الاستنتاج يقينيًا.

Affirming the Consequent (مغالطة تأكيد التالي)

مغالطة منطقية تحدث عند افتراض صحة المقدم لأن النتيجة تحققت، مثل:إذا كان P فإن Q، Q حصلت، إذن P (وهو استدلال غير صحيح).

Ambiguity (الغموض الدلالي)حالة يكون فيها اللفظ أو العبارة قابلة لأكثر من معنى، وقد تؤدي إلى استدلالات خاطئة إن لم يُحدَّد المقصود بدقة.

Analytic Proposition (القضية التحليلية)

قضية تكون صحيحة بحكم معناها فقط، دون الحاجة إلى تجربة أو تحقق خارجي، مثل: “المثلث له ثلاثة أضلاع”.

Antecedent (المقدِّم / الشرط الأول)

الجزء الأول من القضية الشرطية، كما في:If P, then Q → P هو الـ Antecedent.

Argument Form (شكل الحُجّة)

البنية المنطقية المجردة للحجة، بغضّ النظر عن محتواها، وهي ما يحدد صلاحية الاستدلال

Atomic Proposition (قضية ذرّية / بسيطة)

قضية منطقية أساسية لا يمكن تحليلها إلى قضايا أصغر، وتمثل وحدة البناء في المنطق القضيّ.

Accessibility Relation (علاقة الإتاحة)

مفهوم أساسي في المنطق المعياري (Modal Logic)، يحدد أي العوالم الممكنة يمكن الانتقال إليها من عالم معيّن لتقييم الصدق والضرورة والإمكان.

Alethic Modality (المعيارية الصدقية)

نوع من المعيارية المنطقية يهتم بمفاهيم الضرورة والإمكان والاستحالة من حيث الصدق المنطقي.

Antinomy (المفارقة المتناقضة)

حالة ينتج فيها عن الاستدلال المنطقي تناقض بين قضيتين تبدوان صحيحتين وفق نفس القواعد.

A Posteriori (معرفة بعدية)

معرفة أو قضية تعتمد في صدقها على التجربة أو الملاحظة، لا على العقل وحده.

A Priori (معرفة قبلية)معرفة أو قضية يُحكم بصدقها استقلالًا عن التجربة، اعتمادًا على العقل أو التعريفات.

Arity (عدد المداخل / الرتبة)

عدد المتغيرات أو العناصر التي تتطلبها دالة أو علاقة منطقية، مثل: علاقة ثنائية أو ثلاثية.

Assertion (تقرير منطقي)

عبارة يُصرَّح بها على أنها صادقة أو كاذبة، وتشكل وحدة أساسية في بناء الحجج المنطقية.

Associativity (خاصية التجميع)

خاصية منطقية أو جبرية تعني أن طريقة تجميع القضايا لا تؤثر في النتيجة، مثل:(P ∧ Q) ∧ R = P ∧ (Q ∧ R)9.

Assumption (افتراض)

قضية تُقبل مؤقتًا في سياق الاستدلال بهدف الوصول إلى نتيجة أو اختبار صحة حجة.

Asymmetry (اللاتناظر)خاصية علاقة منطقية تعني أنه إذا كانت العلاقة قائمة من A إلى B، فلا يمكن أن تكون قائمة من B إلى A.