Tanggapan primitif

Dalam matematik, logik, falsafah, dan sistem formal, tanggapan primitif ialah konsep yang tidak ditakrifkan dari segi konsep yang ditakrifkan sebelumnya. Ia sering dimotivasikan secara tidak formal, biasanya oleh tarikan kepada gerak hati dan pengalaman seharian. Dalam teori aksiomatik, hubungan antara tanggapan primitif dihadkan oleh aksiom. Sesetengah pengarang merujuk kepada yang kedua sebagai "mendefinisikan" tanggapan primitif dengan satu atau lebih aksiom, tetapi ini boleh mengelirukan. Teori formal tidak boleh mengetepikan tanggapan primitif, di bawah kesakitan regresi yang tidak terhingga (mengikut masalah regresi).

Sebagai contoh, dalam geometri kontemporari, titik, garis dan mengandungi ialah beberapa tanggapan primitif. Daripada cuba untuk mentakrifkannya, interaksi mereka diperintah (dalam sistem aksiom Hilbert) oleh aksiom seperti "Untuk setiap dua titik wujud satu garisan yang mengandungi kedua-duanya".

Rujukan

Konsep matematik
Teori set