যান্ত্রিক বা আনুষ্ঠানিক যুক্তির অধ্যয়ন প্রাচীনকালে দার্শনিক ও গনিতবিদদের মধ্যে শুরু হয়েছিলো।