نظام صوري
يطلق على النظام الشكلي في علم المنطق الشكلي أيضاً أسماء (النظام المنطقي، التفاضل المنطقي، أو المنطق) وهو يتكون من اللغة الشكلية مع نظام الاستقراء والذي بدوره يتألف من مجموعة من القواعد الاستنتاجية و/أو البديهيات. يستخدم النظام الشكلي من أجل الوصول إلى تعبير منطقي من واحد أو أكثر من التعابير الموجودة سابقاً. يطلق على هذه التعابير اسم بديهيات ويفترض بهذه البديهيات أن تكون صحيحة، أو نظريات في حال كانت هذه أيضاً قد تم استنتاجها.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
المصادر
قراءات اضافية
- 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.