Abnormal Model (نموذج غير معياري)نموذج دلالي لا يحقق بعض الشروط القياسية المعتادة في تفسير النسق المنطقي.

Acceptance Condition (شرط القبول)معيار يحدد متى تُقبل صيغة أو حجة داخل إطار استدلالي معيّن.

Access Path (مسار الإتاحة)تسلسل علاقات يربط بين عوالم ممكنة في المنطق المعياري لتحديد انتقال الصدق.

Accumulation Principle (مبدأ التراكم)مبدأ يقضي بإمكانية جمع النتائج المستنتجة دون فقدان صلاحيتها ضمن نفس النسق.

Active Domain (المجال الفعّال)مجموعة العناصر التي تُستخدم فعليًا في تفسير صيغة ضمن نموذج معين

Adequacy Condition (شرط الكفاية)شرط يضمن أن النسق المنطقي يعكس بصورة صحيحة المفهوم الذي صُمّم لتمثيله.

Adversarial Argument (حجة تقابلية)حجة تُبنى لمعارضة حجة أخرى ضمن تحليل جدلي أو إطار محاججة.

Alethic Operator (مؤثر صدقي معياري)رمز منطقي يُستخدم للتعبير عن الضرورة أو الإمكان في المنطق المعياري.

Alphabet of Logic (أبجدية النسق المنطقي)مجموعة الرموز الأولية (ثوابت، متغيرات، روابط) التي يُبنى منها النسق.

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

Anomalous Formula (صيغة شاذة)صيغة لا تنسجم مع البنية القياسية للنسق لكنها قد تظهر في توسعاته.

Anti-Symmetry (اللاتناظر المضاد)خاصية علاقة تعني أنه إذا تحققت بين عنصرين في الاتجاهين معًا، فهما في الواقع عنصر واحد.

Application Rule (قاعدة التطبيق)قاعدة استدلال تسمح بتطبيق صيغة عامة على حالة جزئية.

Argument Scheme (مخطط حجاجي)بنية قياسية لأنماط متكررة من الحجج تُستخدم في تحليل الاستدلال العملي.

Aristotelian Square (مربع أرسطو)تمثيل بياني يوضح العلاقات بين القضايا الكلية والجزئية الموجبة والسالبة.

Arithmetical Soundness (السلامة الحسابية)خاصية نسق يضمن أن جميع القضايا الحسابية القابلة للاشتقاق فيه صحيحة عدديًا.

Assertion Level (مستوى التقرير)درجة أو طبقة يُصرَّح عندها بصدق عبارة داخل نظام منطقي متعدد المستويات.

Asymmetric Relation (علاقة لاتماثلية)علاقة إذا تحققت من A إلى B فلا يمكن أن تتحقق من B إلى A.Atomic Sentence (جملة ذرّية)جملة بسيطة خالية من الروابط المنطقية، تمثل وحدة دلالية أولية.

Augmented System (نسق مُعزَّز)نظام منطقي أُضيفت إليه قواعد أو مسلّمات جديدة لتوسيع قدرته التعبيرية