LOGIKA
FIRST ORDER
First order logic adalah sebuah
bahasa formal yang digunakan di ilmu matematika, philosophy, bahasa dan ilmu
computer. Disebut juga kalkulus predikat, merupakan logika yang digunakan untuk
merepresentasikan masalah yang tidak dapat direpresentasikan dengan menggunakan
proposisi. Logika predikat dapat memberikan representasi fakat-fakta sebagai
suatu pernyataan yang mapan (well form). Kalkulus predikat bisa
menganalisakan kalimat-kalimat ke dalam subjek dan argumen dalam berbagai cara
yang berbeda-beda, yang pada akhirnya kalkulus predikat bisa digunakan untuk
memecahkan problem of multiple generality (masalah dalam berbagai
keadaan umum) yang telah membingungkan sebagian besar ahli-ahli logika abad
pertengahan. Dengan menggunakan logika predikat ini, untuk pertama kalinya,
para ahli-ahli logika bisa memberikan quantifier yang cukup umum untuk
merepresentasikan semua argumen yang terdapat pada natural language.
