المنطق الحر

المنطق الحر (بالإنجليزية: Free logic)‏[1]، هو منطق يحتوي على افتراضات وجودية أقل من المنطق الكلاسيكي. قد تسمح أنظمة المنطق الحرة بالجمل التي لا تشير إلى أي كائن. قد تسمح أنظمة المنطق الحرة أيضًا بالنماذج التي تحتوي على مجال فارغ . المنطق الحر مع الخاصية الأخيرة هو منطق شامل.[2][3]

المراجع

  1. ^ Nolt، John (2021). Zalta، Edward N. (المحرر). Free Logic (ط. Fall 2021). Metaphysics Research Lab, Stanford University. مؤرشف من الأصل في 2013-11-14.
  2. ^ Lambert، Karel، المحرر (1991). Philosophical Applications of Free Logic. New York: Oxford University Press. مؤرشف من الأصل في 2024-06-06.
  3. ^ Frost-Arnold, Greg. "Free Logic: A Generalization". Elements in Philosophy and Logic (بالإنجليزية). Archived from the original on 2024-12-08.
أيقونة بذرة

هذه بذرة مقالة عن الفلسفة أو متعلقة بها بحاجة للتوسيع. فضلًا شارك في تحريرها.