"Kritik murni alasan" untuk programmer

Setiap orang yang karena suatu alasan membaca atau mencoba membaca “Critique of Pure Reason” oleh Immanuel Kant, mencatat bahwa karya ini hampir tidak dapat disebut mudah dibaca. Mengarungi kalimat yang rumit setengah halaman, tidak mudah untuk menangkap semangat sistemnya, dan memang sering memahami apa yang dipertaruhkan. Apa yang patut dicatat, Kant sendiri sangat memahami kekurangan sastra dari karyanya, tetapi dalam upaya untuk secara sistematis menguraikan hasil refleksi bertahun-tahun, ketika ia menulis: " ... Saya harus menghilangkan atau mempersingkat banyak yang tidak penting untuk kelengkapan keseluruhan, meskipun mungkin diinginkan untuk beberapa pembaca . " Artikel ini adalah upaya untuk menguraikan analogi yang terkait dengan prinsip-prinsip sistem komputer, yang membantu saya menghubungkan konsep Kant.

Untuk memahami motif penulisan kritik, Anda perlu menyimpang sedikit ke dalam sejarah diskusi filosofis tentang kemungkinan pengetahuan manusia. Pertanyaan tentang apakah kebenaran itu dan seberapa banyak yang dapat diklaim oleh pikiran manusia untuk mengetahui kebenaran itu telah menggairahkan pikiran manusia terbaik sejak zaman kuno. Sistem antik asli, pertama, memperkenalkan perbedaan penting antara konsep "kebenaran" dan "pendapat", dan juga meletakkan dasar untuk pendekatan metodologis seperti analitik.

Selama Abad Pertengahan, analitik Aristoteles secara signifikan dikembangkan sebagai bagian dari pembenaran konsep teologis skolastik. Upaya untuk menggunakan pikiran manusia untuk membuktikan keberadaan Tuhan mengarah pada fakta bahwa segala sesuatu yang "tidak logis" menjadi "dogmatis."

Filsafat Zaman Baru membawa gelombang iman dalam pikiran manusia dan menjadi benar bahwa itu rasional, jika logis ini adalah kebenaran. Tetapi setelah keberhasilan menggunakan pendekatan ini dalam sains, lagi-lagi upaya telah dilakukan untuk membenarkan secara rasional konsep-konsep yang sangat dikenali: keberadaan Tuhan, keabadian jiwa, kehendak bebas. Masalah sistem deduktif konseptual yang menyatakan kebenaran abadi berdasarkan "bukti untuk alasan", dalam penggunaan konsep yang tampaknya tak tergoyahkan seperti hubungan sebab akibat.

Yang terkenal "dari X mudah untuk melihat bahwa Y " sangat rentan terhadap penggantian X dan Y, yang tidak valid untuk hukum ini, ke dalamnya. Adalah mungkin untuk memverifikasi proposisi “kekuatan tindakan sama dengan kekuatan oposisi” dalam praktiknya, dan pernyataan “jika ada alasan untuk semua konsekuensinya, maka harus ada akar penyebab” tidak ada lagi.

Verifikasi penilaian eksperimental menjadi dasar bagi tren pemikiran filosofis lain - empirisme. Absolutisasi pengalaman dan berkurangnya peran teori-teori dan konsep-konsep universal menyebabkan keraguan dalam induksi sebagai suatu pendekatan terhadap konstruksi hukum. Paling jelas tentang masalah korelasi pengalaman individu dengan hukum universal, kata filsuf Inggris David Hume. Bahkan, kebiasaan bergaul fenomena A dengan fenomena B (benda jatuh ke bawah , angsa hanya putih ) tidak berarti bahwa itu adalah “ diperlukanadalah satu-satunya cara "dan" vseobschno semua angsa dan hal-hal. "

Kant mengatakan bahwa kritik kausalitas seperti itu membangunkannya dari tidur dogmatis dan dipaksa untuk berbicara dalam membela kemampuan kognitif umat manusia, dalam kemampuan untuk menghasilkan pengetahuan yang akan diperlukan dan universal .

Untuk untuk memahami jalan yang telah dilalui Kant dalam karyanya, saya mengusulkan untuk memperkenalkan analogi dan mempertimbangkan Sistem Komputasi ( BC ) yang merekam sinyal dari Dunia Eksternal ( VM ) menggunakan Penerima Data ( PD ) untuk diproses dalam Blok Pemrosesan Data ( AML ) dan masuk ke dalam Basis Pengetahuan ( KB ).



Dalam hal filsafat kritis, ini adalah masing-masing:

  • Sistem komputer - alat berpikir manusia
  • Penerima data adalah alat sensorik, panca indera kita
  • Unit Pemrosesan Data - Pikiran
  • Basis Pengetahuan - akumulasi pengetahuan
  • Dunia luar adalah dunia benda itu sendiri

Kami akan mempresentasikan interaksi kami dengan dunia luar, satu tindakan kognisi dalam bentuk transaksi data tertentu dan pemrosesannya dalam sistem komputer kami. Tugas umum dengan pendekatan ini adalah untuk menjelaskan bagaimana mungkin untuk mengisi basis pengetahuan kita dengan penilaian yang benar, dan sekarang itu menjadi kebenaran, yang berlaku untuk setiap transaksi tersebut.

Menurut Kant, pengisian Basis Pengetahuan dimulai selama interaksi dengan Dunia Eksternal dan mengikutinya, tetapi tidak hanya VM adalah sumber pengetahuan tersebut, fitur angkatan bersenjata kami juga mempengaruhi isi basis pengetahuan .

Idenya cukup sederhana, terlepas dari kenyataan bahwa Sistem Komputasi berbeda, jika Anda memilih prinsip-prinsip yang umum untuk membangun semua VS, Anda dapat menggunakan ini sebagai invarian untuk setiap kemungkinan transaksi.

Apa yang begitu universal dan perlu dalam sistem kita ?

Mari kita lihat bagaimana Anda dapat mengatur komponen sistem komputasi kami.
Penerima data kami adalah blok (tidak cukup ADC, tetapi analogi seperti itu akan turun di sirkuit kami), yang menyediakan informasi yang diproses dalam semacam bentuk yang dapat dimengerti:



Kami tidak tahu apa-apa tentang set bit sinyal tertentu, tetapi kami tahu pasti bahwa bit-bit itu "diposisikan" dan bertindak sebagai perangkat data yang berubah tepat waktu. Skema interpretasi untuk data tersebut (kedalaman bit, frekuensi pemrosesan) dapat berbeda, tetapi pada akhirnya kita harus mendapatkan karakteristik informasi ini - jumlah bit dalam kelompok tertentu, keberadaannya secara umum, pola dalam pesan berurutan, dll.

Mengubah dataset streaming ini menjadi gambar yang lengkap adalah dasar bagi tugas utama kami untuk mengisi atau memperbarui basis pengetahuan kami. Karena utas sederhana tidak memberikan gambaran holistik, pada titik tertentu kita harus mulai mengaitkan set saat ini dengan sejumlah yang sebelumnya.

Kemampuan dasar dari sistem kami ini dijamin oleh kemampuan Unit Pemrosesan Data untuk menyelamatkan keadaan sistem, dalam representasi yang sangat kasar, melakukan operasi algoritmik yang sedemikian sederhana:

if (previousContext.hasDependency(current)) { 
    updatePreviousContext();
}

Dalam terminologi Kant, kemampuan dasar ini untuk "mempertahankan keadaan kesadaran" mengenai data sensorik disebut kesatuan persepsi (persepsi sadar) dan merupakan dasar untuk semua penilaian rasional berikutnya.

Tanpa konservasi "Saya pikir" dalam setiap tindakan persepsi, sintesis pengetahuan itu sendiri tidak mungkin, itu adalah dasar untuk setiap transaksi yang mungkin terjadi dengan dunia luar.

Transformasi sensasi (data) menjadi konsep (tipe data) dan, akhirnya, menjadi fondasi (konstruksi perangkat lunak) adalah rantai yang didasarkan pada kesatuan transendental apersepsi.

Penting untuk dipahami bahwa prinsip pengikatan ini tidak dapat diterapkan secara terpisah dari transaksi, dari interaksi dengan dunia luar, dari kemungkinan pengalaman.

Apa yang menjadi dasar pengetahuan dunia fenomena tidak dapat secara bebas diterapkan pada konsep yang sangat berpengalaman (Tuhan, kebebasan, jiwa).

Tetapi sangat sulit bagi pikiran untuk membatasi "pelarian kesadaran" ini dan seseorang seringkali dengan sangat sederhana melewati batas "kemampuan komputasi" -nya dan mulai "konsep program" tanpa merujuk pada Penerima Data, berdasarkan pada konsep pemrosesan data yang terakumulasi ( kategori dari Kant).
Penilaian seperti itu yang muncul tanpa dikaitkan dengan Dunia Luar oleh Kant disebut apriori , dan pertanyaannya adalah apakah mungkin untuk mengisi (tidak hanya menafsirkan catatan yang ada dalam KB, secara analitis, berdasarkan hukum kontradiksi), tetapi berkembang ( mensintesis)) isi Basis Pengetahuan kami tanpa menggunakan data dari dunia luar adalah kuncinya - bagaimana penilaian apriori sintetis dimungkinkan?

Kant mengatakan bahwa karena kita tahu bahwa prinsip-prinsip Penerima Data berfungsi dan mereka selalu diterapkan untuk setiap transaksi, maka untuk setiap transaksi selanjutnya mereka akan adil.

Jika kita tahu bahwa Penerima Data telah secara spasial menempatkan (posisi bit di grid) dan temporal (perubahan bit di setiap sel) karakteristik, kita dapat membuat undang-undang berdasarkan pada karakteristik data ini.

Kant percaya pada kebenaran matematika, dan konstruksi spasial geometrisnya yang menggunakan ruang abstrak dan prosedur konstruksi abstrak (garis harus digambar agar dipahami secara intuitif sebagai entitas tak terbatas tanpa dimensi). Konstruksi priori seperti itu, menurutnya, adalah benar karena mereka tidak menggunakan lebih dari "dasar dari setiap transaksi yang mungkin" dengan dunia.

Bahkan jika kita tidak tahu "bagaimana sebenarnya", keterbatasan Penerima Data, sensualitas kita akan bekerja untuk kita setiap saat, dan ini adalah hal yang umum di antara kita dan dunia Eksternal, sifat-sifatnya memungkinkan untuk menghasilkan sintetis yang diinginkan seperti penilaian apriori , universal dan diperlukan .

Jika untuk matematika murni sifat-sifat Penerima Data cukup (ruang untuk membangun geometri dan waktu untuk perhitungan dalam aritmatika), maka ilmu pengetahuan alam sudah membutuhkan dukungan algoritmik, setidaknya hubungan sebab akibat sebagai dasar untuk membangun penilaian, seperti hukum kekekalan energi. Berasal dari kebutuhan yang sama untuk menggunakan kesatuan persepsi untuk setiap tindakan kognisi, Kant menggunakan alat kategori (kuantitas, kualitas, hubungan sebab akibat, kemungkinan) untuk menjelaskan kemungkinan ilmu-ilmu alam.
Hubungan sebab akibat ini mungkin bukan keadaan obyektif di dunia (siapa yang tahu apakah ada gangguan dalam sinyal, apakah semuanya diproses oleh Penerima Data), melainkan properti subjektif dari unit algoritmik kami, yang tanpanya prosedur untuk menciptakan pengetahuan tidak mungkin.

Masalah dengan penggunaan bentuk apriori sensualitas (ruang dan waktu) dan bentuk apriori alasan (kategori kuantitas, kualitas, sikap dan modalitas) mulai di mana mereka digunakan dalam isolasi dari kemungkinan transaksi ( kemungkinan pengalaman ) dengan Dunia Eksternal.

Misalnya, "programmer internal" kami memiliki keinginan yang kuat untuk mengeksplorasi berdasarkan "logika" dan "perasaan" struktur internalnya, cara ia mengatur Sistem Komputernya.

Karena "siklus pemrosesan peristiwa" kami bagi kami, pertama, tunggal, dan kedua, benar-benar nyata, kami mencoba untuk menghubungkan struktur yang sama dengan Matahari dan entitas lainnya. Apalagi kita tidak terbatas pada waktu sesi komputasi (saat mataharibelum dicabut) dan kami berpikir bahwa bahkan di luar batas pengalaman yang mungkin (yang berakhir dengan kematian sistem), pesawat kami dapat terus ada. Sayangnya, paralogisme pikiran dalam konteks penilaian tentang keabadian dan substansi jiwa melampaui ruang lingkup "transaksi yang mungkin" dan pengalaman yang mungkin. Sistem komputasi kami adalah dasar untuk pemrosesan transaksi dan tidak lebih, itu tidak dapat diketahui menurut Kant seperti dunia luar (pada kenyataannya, "program tidak tahu" perincian lingkungan runtime, di awan, didistribusikan atau entah bagaimana).

Adapun dunia luar, maka jika kita mulai berpikir dalam hal "rekaman" AP yang tak terbatas atau kemampuan komputasi tak terbatas dari AMLkita bisa mendapatkan penilaian logis yang sama ( antinomi ), misalnya:

  • "Dunia terbatas, dunia tidak terbatas" (secara teoritis, PD dapat memiliki kedalaman bit sewenang-wenang)
  • “Dunia ini dapat diprediksi, dunia ini acak” (kita tidak bisa menghitung ini, atau ada kebebasan mendasar)
  • "Ada akar penyebab segalanya, tidak ada akar penyebab seperti itu" (sesuatu yang sama-sama kuat secara komputasi dan menghindari keterbatasan PD kami ).

Menurut Kant, ide konsep absolut (dalam ukuran, durasi, atau "kekuatan") tidak dengan sendirinya berfungsi sebagai sumber data, itu hanya memungkinkan Anda untuk bergerak ke arah memperluas pengetahuan yang ada.

Ringkasnya, kita dapat mengatakan bahwa penelitian kritis terhadap kemampuan "sistem komputasi" seseorang memberi Kant dasar untuk melindungi pengetahuan matematika dan ilmu alam yang telah terakumulasi dan untuk memperingatkan agar tidak menggunakan pikiran dalam kasus super-eksperimental.

Source: https://habr.com/ru/post/undefined/


All Articles