نظام صوري
يطلق على النظام الشكلي في فهم المنطق الشكلي أيضاً أسماء (النظام المنطقي، التفاضل المنطقي، أوالمنطق) وهويتكون من اللغة الشكلية مع نظام الاستقراء والذي بدوره يتألف من مجموعة من القواعد الاستنتاجية و/أوالبديهيات. يستخدم النظام الشكلي من أجل الوصول إلى تعبير منطقي من واحد أوأكثر من التعابير الموجودة سابقاً. يطلق على هذه التعابير اسم بديهيات ويفترض بهذه البديهيات حتى تكون سليمة، أونظريات طالما كانت هذه أيضاً قد تم استنتاجها.
المصادر
قراءات اضافية
- Raymond M. Smullyan, Theory of Formal Systems: Annals of Mathematics Studies, Princeton University Press (April 1, 1961) 156 pages ISBN 069108047X
- S. C. Kleene, 1967. Mathematical Logic Reprinted by Dover, 2002. ISBN 0486425339
انظر أيضاً
|
|
وصلات خارجية
- Encyclopædia Britannica, Formal system definition, 2007.
- Christer Blomqvist, a introduction to formal systems, webpage 1997.
- What is a Formal System?: Some quotes from John Haugeland's `Artificial Intelligence: The Very Idea' (1985), pp. 48-64.
- Heinrich Herre Formal Language and systems, 1997.
- Peter Suber, Formal Systems and Machines: An Isomorphism, 1997.
نطقب:بذرة منطق