Filsafat bahasa

Perangkat aturan ketiga bersifat "sintaksis". Aturan-aturan ini menerangkan cara-cara menyimpulkan ungkapan-ungkapan berdasarkan ungkapan-ungkapan yang lain dengan jalan perubahan bentuk. Misalnya, jika (1) ‘p’ dan (2) ‘p’ meliputi ‘q’, maka (3) dapatlah disimpulkan ‘q’. Yang tersangkut dalam hal ini ialah aturan-aturan logika, definisi bukti, dan sebagainya.