دستگاه صوری

دستگاه صوری یا نظام صوری  در منطق صوری عبارت از یک زبان صوری به علاوهٔ مجموعه‌ای از قواعد استنباط و اصول موضوع است.

 مفاهیم 

یک دستگاه صوری شامل موارد زیر است:

 زبان رسمی: مجموعه‌ای از فرمول‌های خوش‌ساخت که از رشته‌هایی از نمادهای یک الفبا تشکیل شده‌اند و توسط یک دستور زبان رسمی (شامل قواعد تولید یا قواعد ساختار) ساخته می‌شوند.
 سیستم استنتاج، دستگاه استنتاج، یا سیستم اثبات: شامل قواعد استنتاج است که با استفاده از اصول موضوعه، قضایا را استنتاج می‌کنند؛ هر دو (اصول موضوعه و قضایا) بخشی از زبان رسمی هستند.
 سیستم رسمی بازگشتی یا شمارش‌پذیر بازگشتی: سیستمی که مجموعه اصول موضوعه و مجموعه قواعد استنتاج آن، مجموعه‌های تصمیم‌پذیر یا نیمه‌تصمیم‌پذیر هستند.
دستگاه صوری اگر که مجموعه اصول موضوعه و مجموعه قواعد استنتاج آن به ترتیب مجموعه‌های تصمیم‌پذیر یا نیمه‌تصمیم‌پذیر باشند به آن بازگشتی (یعنی مؤثر) نامیده می‌شود .

 جستارهای وابسته 
 منطق گزاره‌ها
 قضایای عدم تمامیت گدل
 علوم صوری

 منابع 

Ebbinghaus, H. -D., Flum, J., and Thomas, W. Mathematical logic, Springer-Verlag New* York Inc., ۱۹۸۴.  	

رده:سیستم صوری
رده:روش‌های صوری
رده:زبان‌های صوری
رده:فرامنطق
رده:منطق ریاضی
رده:هند در سده ۴ (پیش از میلاد)