Abelian Logic (المنطق الأبلياني) نسق منطقي تُعامل فيه بعض العمليات المنطقية بخصائص مشابهة للجبر الأبلياني، خاصة في المنطق الجبري.

Abstract Object (موضوع مجرد) كيان غير مادي يُستخدم في التحليل المنطقي، مثل الأعداد أو القضايا أو القيم الصدقية.

Actual World (العالم الفعلي) في المنطق المعياري، هو العالم الحقيقي الذي نعيش فيه، ويُقارن بالعوالم الممكنة.Admissible

Rule (قاعدة استدلال مقبولة) قاعدة لا تؤدي إلى استنتاجات خاطئة ضمن نظام منطقي معيّن، حتى لو لم تكن قاعدة اشتقاق أساسية.

Alethic Logic (المنطق الأليثي)فرع من المنطق المعياري يهتم بدراسة مفاهيم الضرورة والإمكان والاستحالة.

Alternation (التناوب الكمي) تعاقب الكمّيات الكلية والوجودية في الصيغ المنطقية، وهو مفهوم مهم في المنطق الرتبي.

Analogy (القياس التمثيلي) أسلوب استدلال يعتمد على التشابه بين حالتين لاستخلاص نتيجة من إحداهما للأخرى.

Anaphora (الإحالة الخلفية) علاقة لغوية-منطقية تشير فيها عبارة لاحقة إلى عنصر سابق في الخطاب، مهمة في المنطق اللغوي.

Applicative Logic (المنطق التطبيقي) نسق منطقي يركز على تطبيق الدوال على الحجج دون الاعتماد على متغيرات صريحة.

Aristotelian Logic (المنطق الأرسطي) النسق الكلاسيكي للمنطق القائم على القياس والقضايا الحملية كما صاغه أرسطو.

Arithmetization of Logic (أرثمة المنطق) تمثيل القضايا والبراهين المنطقية باستخدام الأعداد، كما في مبرهنة غودل.

Assertional Logic (منطق التقارير) منطق يركز على العبارات المُقرَّرة بوصفها صادقة أو كاذبة ضمن سياق حواري أو استدلالي.

Assumption Set (مجموعة الافتراضات) مجموعة القضايا التي يُبنى عليها استدلال أو برهان مؤقت.

Atomism (الذرّية المنطقية)مذهب يرى أن القضايا المعقدة يمكن تحليلها إلى قضايا أولية بسيطة مستقلة.

Atemporal Logic (المنطق اللّازمني)منطق لا يعتمد على مفاهيم الزمن، بخلاف المنطق الزمني.

Attitude Logic (منطق المواقف الذهنية)فرع يدرس القضايا المتعلقة بالاعتقاد، المعرفة، الرغبة، والنية

.Axiom Schema (مخطط المسلّمات)صيغة عامة تُنتج عددًا غير محدود من المسلّمات عند تعويض المتغيرات.

Axiomatization (التسلّمُن / الصياغة المسلّمية)بناء نسق منطقي اعتمادًا على مجموعة محدودة من المسلّمات والقواعد.

Axiomatic System (نسق مسلّمي)نظام منطقي يتكون من مسلّمات وقواعد اشتقاق تُستنتج منها النظريات

.Axiology of Logic (قيمة المنطق)دراسة القيم المعرفية والاستدلالية للصدق، والاتساق، والبرهان في المنطق.

Absoluteness (الإطلاقية) خاصية في المنطق الرياضي تشير إلى ثبات صدق بعض القضايا عبر نماذج أو أطر تفسير مختلفة.

Abstraction Principle (مبدأ التجريد) مبدأ يربط بين المفاهيم أو الدوال والكيانات المجردة التي تمثلها، ويستخدم في أسس المنطق والرياضيات.

Acceptability Criterion (معيار القبول) مجموعة شروط تُستخدم لتحديد ما إذا كانت الحجة أو القاعدة الاستدلالية مقبولة منطقيًا.

Action Logic (منطق الأفعال)فرع من المنطق يدرس تمثيل الأفعال ونتائجها والعلاقات السببية بينها.

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

Algebraic Semantics (الدلالة الجبرية)تفسير القضايا المنطقية باستخدام بُنى جبرية بدل النماذج الدلالية التقليدية.

Alternative Semantics (الدلالة البديلة)مناهج غير كلاسيكية لتفسير الصيغ المنطقية، مثل الدلالة العلائقية أو السياقية.

Ancestral Relation (العلاقة السلفية)علاقة منطقية تمثل الامتداد العابر لعلاقة ما، وتستخدم في المنطق الرتبي ونظرية العلاقات.

Anti-Realism (اللاواقعية)موقف فلسفي-منطقي يرى أن صدق القضايا لا يستقل عن وسائل التحقق أو الإثبات.Approximate

Reasoning (الاستدلال التقريبي)نوع من الاستدلال يسمح بدرجات من الصدق بدل القيم الثنائية الصارمة.

Argumentation Framework (إطار المحاججة)بنية صورية تُستخدم لتحليل التفاعلات بين الحجج من دعم وهجوم في المنطق التطبيقي.

Arbitrary Constant (ثابت اعتباطي)رمز يمثل عنصرًا غير محدد بعينه، يُستخدم في البراهين العامة

.Arithmetical Hierarchy (التراتبية الحسابية)تصنيف للصيغ المنطقية بناءً على تعقيد الكمّيات في الحساب والمنطق الرياضي.

Assertion Sign (علامة التقرير)رمز يُستخدم للدلالة على أن عبارة ما مُقرَّرة أو مُثبتة في نسق منطقي

.Autonomous Logic (منطق مستقل)نسق منطقي يُطوَّر بقواعده الخاصة دون الاعتماد على منطق أعلى.Averaging

Semantics (الدلالة المتوسطية)تفسير للصدق يعتمد على متوسط القيم بدل القيم الحدّية.

Axiom of Choice (مسلمة الاختيار)مسلمة منطقية-رياضية تتيح اختيار عنصر من كل مجموعة في عائلة مجموعات غير فارغة.

Axiom Weakening (إضعاف المسلّمات)تعديل نسق منطقي عبر استبدال مسلّمات قوية بأخرى أضعف مع الحفاظ على بعض النتائج.

Axiomatic Conservativity (المحافظة المسلّمية)خاصية تدل على أن إضافة مسلّمات جديدة لا تنتج نتائج جديدة في مجال معين.

Axiomatic Truth (الصدق المسلّمي)مفهوم يشير إلى صدق القضايا الناتج مباشرة عن المسلّمات دون اشتقاق.