Logika leksikal

Logika leksikal, yang juga dikenal sebagai logika tradisional, logika silogistik atau logika Aristotelian, adalah nama umum untuk pendekatan logika yang didasarkan pada Aristoteles dan dikembangkan para pengikut peripatetik. dan menjadi dominan sampai kemajuan logika prediksi modern pada akhir abad kesembilan belas. Logika leksikal dihidupkan ulang pada abad pertengahan, yakni dalam ilmu mantik Islam oleh Al-Farabi pada abad kesepuluh dan dilanjutkan di Eropa dengan berkembangnya logica nova pada abad kedua belas. Logika leksikal tetap dominan digunakan dalam filsafat hingga munculnya logika predikat pada akhir abad kesembilan belas. Meski demikian, logika leksikal masih memainkan peran penting dalam ilmu logika hingga sekarang, di mana logika modern biasanya dikembangkan darinya.