میتمنتیق

میتمنتیق، نظریه‌یست، که سیستمه و مفهومهای منطق شکلی معاصر را می‌آموزد. می‌تمنتیق تحقیق نظریة اثبات، تعریف مفهوم و حقیقت در زبان رمزی، تعبیر و غ.-را در بر می‌گیرد. می‌تمنتیق به دو قسم جدا می‌شود؛ سینتکسیس منتیتسی و سمانتیکة منطقی. انکشاف می‌تمنتیق با بنیاد و آموزش خاصیتهای زبان رمزی وابسته است.