نظام صوري

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

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

 قراءات اضافية

• 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

 انظر أيضاً

Examples of formal systems

• Axiomatic system
• Proof calculus
• Formal ethics
• Lambda calculus
• Propositional calculus

Other related topics

• Axiom
• Formal
• Formal language
• Formal method
• Formal science
• Gödel's incompleteness theorems
• Institution
• substitution instance

 وصلات خارجية

• 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.