This gives it two systematically re

This gives it two systematically related areas of concern, formal logic and philosophical logic (also called logical theory, though usage varies and philosophy of logic is sometimes confined to the study to logical systems and their applications).

ผลลัพธ์ (ไทย) 1:

นี้ให้มันสองพื้นที่ที่เกี่ยวข้องอย่างเป็นระบบที่เกี่ยวข้อง แบบทางตรรกะ และปรัชญาตรรกะ (หรือที่เรียกว่าทฤษฎีตรรกะ แม้ว่าการใช้งานแตกต่างกัน และบางครั้งมีจำกัดปรัชญาตรรกะไปศึกษาระบบตรรกะและโปรแกรมประยุกต์)

ผลลัพธ์ (ไทย) 2:

นี้จะช่วยให้มันสองพื้นที่ที่เกี่ยวข้องอย่างเป็นระบบของความกังวลตรรกะที่เป็นทางการและปรัชญาตรรกศาสตร์ (เรียกว่าทฤษฎีตรรกะแม้ว่าการใช้งานแตกต่างกันไปและปรัชญาของตรรกะถูกกักขังอยู่ในบางครั้งการศึกษากับระบบตรรกะและการใช้งานของพวกเขา)

ผลลัพธ์ (ไทย) 3:

นี้จะช่วยให้มันเป็นระบบที่เกี่ยวข้องกับสองพื้นที่ของความกังวล ตรรกะที่เป็นทางการและปรัชญาตรรกศาสตร์ ( เรียกว่าทฤษฎีตรรกะ แม้ว่าการใช้แตกต่างกันไป และปรัชญาตรรกศาสตร์เป็นบางครั้งคับ ศึกษาระบบตรรกะและการประยุกต์ )