Advertisement

Logika Konstruktif

Logika konstruktif merupakan suatu trend dalam logika matematis. Ini didirikan oleh L. Brouwer, H. Weyl dan A. Heyting. Pada da- samya, trend ini melarang penerapan kumpulan-kumpulan prinsip yang tidak terbatas yang benar pada kumpulan-kumpulan yang terbatas (misalnya, dalil bahwa keseluruhan lebih besar daripada suatu bagian. Lihat juga Hukum Tiada Jalan Tengah.)

Advertisement

Logika klasik dan logika konstruktif mempertahankan pandangan- pandangan yang berbeda atas konsep ketidakterbatasan. Yang pertama menganggap ketidakterbatasan bersifat aktual, sempurna. Sedangkan yang kedua melihatnya sebagai potensial, dalam keadaan menjadi. Bertitik tolak dari prinsip-prinsip logika konstruktif, usaha-usaha dilakukan untuk merevisi hasil-hasil pokok logika matematis dan matematika modern. Sunibangan besar bagi perkembangan logika konstruktif telah dilakukan oleh para sarjana Soviet: A. N. Kolmogorov, A. A. Markov, dan N. A. Shanin.

Incoming search terms:

  • konstruktif adalah dalam logika

Advertisement
Filed under : Bikers Pintar, tags:

Incoming search terms:

  • konstruktif adalah dalam logika