Informasi

Daftar Isi:

Informasi
Informasi

Video: Informasi

Video: Informasi
Video: KABAR PKH HARI INI-INFORMASI TERBARU HARI INI 11 JULI &BESOK BAGI KPM PKH BPNT BST TERKAIT PENCAIRAN 2024, Maret
Anonim

Navigasi Masuk

  • Isi Entri
  • Bibliografi
  • Alat Akademik
  • Pratinjau PDF Teman
  • Penulis dan Info Kutipan
  • Kembali ke atas

Informasi

Pertama diterbitkan Jumat 26 Okt 2012; revisi substantif Jum 14 Des, 2018

Filsafat Informasi berkaitan dengan analisis filosofis tentang gagasan informasi baik dari perspektif historis maupun sistematis. Dengan munculnya teori pengetahuan empiris dalam filsafat modern awal, pengembangan berbagai teori matematika informasi di abad kedua puluh dan munculnya teknologi informasi, konsep "informasi" telah menaklukkan tempat sentral dalam ilmu dan masyarakat.. Ketertarikan ini juga menyebabkan munculnya cabang filosofi terpisah yang menganalisis informasi dalam semua samarannya (Adriaans & van Benthem 2008a, b; Lenski 2010; Floridi 2002, 2011). Informasi telah menjadi kategori sentral dalam ilmu dan humaniora dan refleksi pada informasi mempengaruhi berbagai disiplin ilmu filosofis yang bervariasi dari logika (Dretske 1981;van Benthem & van Rooij 2003; van Benthem 2006, lihat entri pada logika dan informasi), epistemologi (Simondon 1989) untuk etika (Floridi 1999) dan estetika (Schmidhuber 1997a; Adriaans 2008) untuk ontologi (Zuse 1969; Wheeler 1990; Schmidhuber 1997b; Wolfram 2002; Hutter 2010;).

Tidak ada konsensus tentang sifat pasti bidang filsafat informasi. Beberapa penulis telah mengusulkan filsafat informasi yang kurang lebih koheren sebagai upaya untuk memikirkan kembali filsafat dari perspektif baru: misalnya, fisika kuantum (Mugur-Schächter 2002), logika (Brenner 2008), informasi semantik (Floridi 2011; Adams & de Moraes 2016, lihat entri pada konsepsi semantik informasi), sistem komunikasi dan pesan (Capurro & Holgate 2011) dan meta-filsafat (Wu 2010, 2016). Lainnya (Adriaans & van Benthem 2008a; Lenski 2010) melihatnya lebih sebagai disiplin teknis dengan akar yang mendalam dalam sejarah filsafat dan konsekuensi untuk berbagai disiplin ilmu seperti metodologi, epistemologi dan etika. Apapun interpretasi seseorang tentang sifat filosofi informasi,tampaknya menyiratkan program penelitian yang ambisius yang terdiri dari banyak sub-proyek yang bervariasi dari penafsiran ulang sejarah filsafat dalam konteks teori informasi modern, hingga analisis mendalam tentang peran informasi dalam sains, humaniora dan masyarakat sebagai semua.

Istilah "informasi" dalam bahasa sehari-hari saat ini dominan digunakan sebagai massa-kata benda abstrak yang digunakan untuk menunjukkan jumlah data, kode atau teks yang disimpan, dikirim, diterima atau dimanipulasi dalam media apa pun. Sejarah terperinci dari kedua istilah "informasi" dan berbagai konsep yang menyertainya adalah kompleks dan untuk sebagian besar masih harus ditulis (Seiffert 1968; Schnelle 1976; Capurro 1978, 2009; Capurro & Hjørland 2003). Arti yang tepat dari istilah "informasi" bervariasi dalam tradisi filosofis yang berbeda dan penggunaan sehari-harinya bervariasi secara geografis dan lebih dari konteks pragmatis yang berbeda. Meskipun analisis gagasan informasi telah menjadi tema dalam filsafat Barat sejak awal, analisis eksplisit informasi sebagai konsep filosofis baru-baru ini,dan tanggal kembali ke paruh kedua abad kedua puluh. Pada saat ini jelas bahwa informasi adalah konsep penting dalam sains dan humaniora dan dalam kehidupan kita sehari-hari. Segala sesuatu yang kita ketahui tentang dunia didasarkan pada informasi yang kami terima atau kumpulkan dan setiap ilmu pengetahuan pada prinsipnya berkaitan dengan informasi. Ada jaringan konsep terkait informasi, dengan akar dalam berbagai disiplin ilmu seperti fisika, matematika, logika, biologi, ekonomi dan epistemologi. Semua gagasan ini mengelompok di sekitar dua sifat utama:dengan akar dalam berbagai disiplin ilmu seperti fisika, matematika, logika, biologi, ekonomi dan epistemologi. Semua gagasan ini mengelompok di sekitar dua sifat utama:dengan akar dalam berbagai disiplin ilmu seperti fisika, matematika, logika, biologi, ekonomi dan epistemologi. Semua gagasan ini mengelompok di sekitar dua sifat utama:

Informasi sangat luas. Pusat adalah konsep aditivitas: kombinasi dari dua set data independen dengan jumlah informasi yang sama mengandung informasi dua kali lebih banyak dari set data individual yang terpisah. Gagasan ekstensivitas muncul secara alami dalam interaksi kita dengan dunia di sekitar kita ketika kita menghitung dan mengukur objek dan struktur. Konsep dasar entitas matematis yang lebih abstrak, seperti himpunan, multiset, dan sekuens, dikembangkan pada awal sejarah berdasarkan aturan struktural untuk manipulasi simbol (Schmandt-Besserat 1992). Formalisasi matematis dari ekstensibilitas dalam hal fungsi log terjadi dalam konteks penelitian termodinamika pada abad ke-19 (Boltzmann 1866) dan awal abad ke-20 (Gibbs 1906). Ketika dikodekan dalam hal sistem bilangan multi-dimensi yang lebih canggih (bilangan kompleks,quaternions, octonions) konsep extensiveness menggeneralisasikan pada pengertian aditif yang lebih halus yang tidak memenuhi intuisi kita sehari-hari. Namun mereka memainkan peran penting dalam perkembangan terbaru dari teori informasi berdasarkan fisika kuantum (Von Neumann 1932; Redei & Stöltzner 2001, lihat entri tentang keterikatan kuantum dan informasi).

Informasi mengurangi ketidakpastian. Jumlah informasi yang kami dapatkan tumbuh secara linier dengan jumlah yang mengurangi ketidakpastian kami sampai saat kami menerima semua informasi yang mungkin dan jumlah ketidakpastian adalah nol. Hubungan antara ketidakpastian dan informasi mungkin pertama kali dirumuskan oleh para empiris (Locke 1689; Hume 1748). Hume secara eksplisit mengamati bahwa pilihan dari pilihan kemungkinan yang lebih besar memberikan lebih banyak informasi. Pengamatan ini mencapai formulasi matematis kanonik dalam fungsi yang diusulkan oleh Hartley (1928) yang mendefinisikan jumlah informasi yang kita dapatkan ketika kita memilih elemen dari himpunan terbatas. Satu-satunya fungsi matematika yang menyatukan dua intuisi ini tentang extensiveness dan probabilitas adalah fungsi yang mendefinisikan informasi dalam hal log negatif dari probabilitas: (I (A) = - / log P (A)) (Shannon 1948;Shannon & Weaver 1949, Rényi 1961).

Namun keanggunan formula ini tidak melindungi kita dari masalah konseptual yang dimiliki. Pada abad kedua puluh berbagai proposal untuk formalisasi konsep informasi dibuat:

  • Teori Informasi Kualitatif

    1. Informasi Semantik: Bar-Hillel dan Carnap mengembangkan teori Informasi semantik (1953). Floridi (2002, 2003, 2011) mendefinisikan informasi semantik sebagai data yang terbentuk dengan baik, bermakna dan benar. Definisi formal berdasarkan informasi entropi (Fisher, Shannon, Quantum, Kolmogorov) bekerja pada tingkat yang lebih umum dan tidak perlu mengukur informasi dalam dataset jujur yang bermakna, meskipun orang mungkin mempertahankan pandangan bahwa untuk dapat diukur data harus baik- dibentuk (untuk diskusi lihat bagian 6.6 tentang Informasi Logika dan Semantik). Informasi semantik dekat dengan gagasan naif kita sehari-hari tentang informasi sebagai sesuatu yang disampaikan oleh pernyataan yang benar tentang dunia.
    2. Informasi sebagai keadaan agen: perlakuan logis formal atas gagasan seperti pengetahuan dan kepercayaan diprakarsai oleh Hintikka (1962, 1973). Dretske (1981) dan van Benthem & van Rooij (2003) mempelajari gagasan ini dalam konteks teori informasi, lih. van Rooij (2003) tentang pertanyaan dan jawaban, atau Parikh & Ramanujam (2003) tentang perpesanan umum. Juga Dunn tampaknya memiliki gagasan ini dalam pikiran ketika dia mendefinisikan informasi sebagai "apa yang tersisa dari pengetahuan ketika seseorang menghilangkan kepercayaan, pembenaran dan kebenaran" (Dunn 2001: 423; 2008). Vigo mengusulkan Teori Struktur-Sensitif Informasi berdasarkan kompleksitas akuisisi konsep oleh agen (Vigo 2011, 2012).
  • Teori Informasi Kuantitatif

    1. Fungsi Nyquist : Nyquist (1924) mungkin adalah yang pertama untuk menyatakan jumlah "intelijen" yang dapat ditransmisikan mengingat kecepatan garis tertentu dari sistem telegraf dalam hal fungsi log: (W = k / log m), di mana W adalah kecepatan transmisi, K adalah konstanta, dan m adalah level tegangan berbeda yang dapat dipilih.
    2. Informasi Fisher: jumlah informasi yang dibawa oleh variabel acak teramati X tentang parameter yang tidak diketahui (theta) di mana probabilitas X bergantung (Fisher 1925).
    3. Fungsi Hartley: (Hartley 1928, Rényi 1961, Vigo 2012). Jumlah informasi yang kami dapatkan ketika kami memilih elemen dari himpunan terbatas S di bawah distribusi seragam adalah logaritma kardinalitas himpunan itu.
    4. Informasi Shannon: entropi, H, dari variabel acak diskrit X adalah ukuran jumlah ketidakpastian yang terkait dengan nilai X (Shannon 1948; Shannon & Weaver 1949).
    5. Kompleksitas Kolmogorov: informasi dalam string biner x adalah panjang p program terpendek yang menghasilkan x pada referensi universal mesin Turing U (Turing 1937; Solomonoff 1960, 1964a, b, 1997; Kolmogorov 1965; Chaitin 1969, 1987).
    6. Langkah-langkah entropi dalam Fisika: Meskipun mereka tidak sepenuhnya mengukur informasi, berbagai konsep entropi yang didefinisikan dalam fisika berkaitan erat dengan konsep informasi yang sesuai. Kami menyebutkan Boltzmann Entropy (Boltzmann, 1866) terkait erat dengan Fungsi Hartley (Hartley 1928), Gibbs Entropy (Gibbs 1906) yang secara formal setara dengan entropi Shannon dan berbagai generalisasi seperti Tsallis Entropy (Tsallis 1988) dan Rényi Entropy (Rényi 1961).
    7. Informasi Quantum: Qubit adalah generalisasi dari bit klasik dan dijelaskan oleh keadaan kuantum dalam sistem mekanika kuantum dua-negara, yang secara formal setara dengan ruang vektor dua dimensi di atas bilangan kompleks (Von Neumann 1932; Redei & Stöltzner 2001).

Sampai saat ini kemungkinan penyatuan teori-teori ini secara umum diragukan (Adriaans & van Benthem 2008a), tetapi setelah dua dekade penelitian, perspektif untuk penyatuan tampak lebih baik.

Kontur konsep informasi terpadu muncul sepanjang baris berikut:

  • Filsafat informasi adalah sub-disiplin filsafat, terkait erat dengan filsafat logika dan matematika. Filsafat informasi semantik (Floridi 2011, D'Alfonso 2012, Adams & de Moraes, 2016) lagi-lagi adalah sub-disiplin filsafat informasi (lihat peta informasi dalam entri pada konsepsi informasi semantik informasi). Dari perspektif ini, filsafat informasi tertarik pada penyelidikan subjek pada tingkat yang paling umum: data, data yang terbentuk dengan baik, data lingkungan, dll. Filsafat informasi semantik menambah dimensi makna dan kebenaran. Dimungkinkan untuk menafsirkan teori-teori informasi kuantitatif dalam kerangka filosofi informasi semantik (lihat bagian 6.5 untuk diskusi mendalam).
  • Berbagai konsep informasi kuantitatif dikaitkan dengan narasi yang berbeda (penghitungan, penerimaan pesan, pengumpulan informasi, komputasi) yang berakar pada kerangka matematika dasar yang sama. Banyak masalah dalam filsafat pusat informasi seputar masalah terkait dalam filsafat matematika. Konversi dan pengurangan antara berbagai model formal telah dipelajari (Cover & Thomas 2006; Grünwald & Vitányi 2008; Bais & Farmer 2008). Situasi yang tampaknya muncul tidak berbeda dengan konsep energi: ada berbagai sub-teori formal tentang energi (kinetik, potensial, listrik, kimia, nuklir) dengan transformasi yang jelas di antara mereka. Selain itu, istilah "energi" digunakan secara longgar dalam pidato sehari-hari.
  • Konsep informasi berbasis agen muncul secara alami ketika kita memperluas minat kita dari pengukuran sederhana dan manipulasi simbol ke paradigma agen yang lebih kompleks dengan pengetahuan, keyakinan, niat, dan kebebasan memilih. Mereka terkait dengan penyebaran konsep informasi lainnya.

Munculnya teori yang koheren untuk mengukur informasi secara kuantitatif pada abad kedua puluh sangat erat kaitannya dengan perkembangan teori komputasi. Inti dalam konteks ini adalah gagasan Universalitas, kesetaraan Turing dan Invarian: karena konsep sistem Turing mendefinisikan gagasan tentang komputer yang dapat diprogram universal, semua model komputasi universal tampaknya memiliki kekuatan yang sama. Ini menyiratkan bahwa semua ukuran informasi yang memungkinkan yang dapat ditentukan untuk model komputasi universal (Fungsi Rekursif, Mesin Turing, Kalkulus Lambda, dll.) Adalah asimtotik invarian. Ini memberikan perspektif pada teori informasi terpadu yang mungkin mendominasi program penelitian untuk tahun-tahun mendatang.

  • 1. Informasi dalam Pidato sehari-hari
  • 2. Sejarah Istilah dan Konsep Informasi

    • 2.1 Filsafat Klasik
    • 2.2 Filsafat Abad Pertengahan
    • 2.3 Filsafat Modern
    • 2.4 Perkembangan Historis Makna Istilah “Informasi”
  • 3. Blok Bangunan Teori Modern Informasi

    • 3.1 Bahasa
    • 3.2 Kode Optimal
    • 3.3 Angka
    • 3.4 Fisika
  • 4. Perkembangan dalam Filsafat Informasi

    • 4.1 Popper: Informasi sebagai Tingkat Kepalsuan
    • 4.2 Shannon: Informasi yang Ditentukan dalam Ketentuan Probabilitas
    • 4.3 Solomonoff, Kolmogorov, Chaitin: Informasi sebagai Panjang Program
  • 5. Pertimbangan Sistematis

    • 5.1 Filsafat Informasi sebagai Perpanjangan Filsafat Matematika

      • 5.1.1 Informasi sebagai fenomena alam
      • 5.1.2 Manipulasi simbol dan ekstensi: set, multiset dan string
      • 5.1.3 Kumpulan dan angka
      • 5.1.4 Mengukur informasi dalam angka
      • 5.1.5 Mengukur informasi dan probabilitas dalam set angka
      • 5.1.6 Perspektif untuk penyatuan
      • 5.1.7 Pemrosesan informasi dan aliran informasi
      • 5.1.8 Informasi, bilangan prima, dan faktor-faktor
      • 5.1.9 Ketidaklengkapan aritmatika
    • 5.2 Informasi dan Perhitungan Simbolik

      • 5.2.1 Mesin turing
      • 5.2.2 Universalitas dan invarian
    • 5.3 Informasi Quantum dan Beyond
  • 6. Anomali, Paradoks, dan Masalah

    • 6.1 Paradoks Pencarian Sistematis
    • 6.2 Pencarian Efektif dalam Set Hingga
    • 6.3 Masalah P versus NP, Kompleksitas Deskriptif versus Kompleksitas Waktu
    • 6.4 Pemilihan Model dan Kompresi Data
    • 6.5 Determinisme dan Termodinamika
    • 6.6 Informasi Logika dan Semantik
    • 6.7 Makna dan Komputasi
  • 7. Kesimpulan
  • Bibliografi
  • Alat Akademik
  • Sumber Daya Internet lainnya
  • Entri terkait

1. Informasi dalam Pidato sehari-hari

Kurangnya ketepatan dan kegunaan universal dari istilah "informasi" berjalan seiring. Dalam masyarakat kita, di mana kita mengeksplorasi realitas dengan instrumen dan instalasi dengan kompleksitas yang semakin meningkat (teleskop, cyclotron) dan berkomunikasi melalui media yang lebih maju (surat kabar, radio, televisi, SMS, Internet), ada gunanya untuk memiliki abstrak kata benda massa untuk "barang" yang dibuat oleh instrumen dan "mengalir" melalui media ini. Secara historis makna umum ini muncul agak terlambat dan tampaknya dikaitkan dengan munculnya media massa dan agen intelijen (Devlin & Rosenberg 2008; Adriaans & van Benthem 2008b).

Dalam pidato sehari-hari ini, istilah informasi digunakan dalam berbagai cara yang didefinisikan secara longgar dan sering kali bahkan saling bertentangan. Sebagian besar orang, misalnya, akan menganggap inferensi prima facie berikut ini valid:

Jika saya mendapatkan informasi yang p maka saya tahu hal itu.

Orang yang sama mungkin tidak akan memiliki masalah dengan pernyataan bahwa "Layanan rahasia kadang-kadang mendistribusikan informasi palsu", atau dengan kalimat "Informasi yang diberikan oleh saksi kecelakaan tidak jelas dan bertentangan". Pernyataan pertama menyiratkan bahwa informasi harus benar, sedangkan pernyataan lain memungkinkan kemungkinan bahwa informasi itu salah, bertentangan, dan tidak jelas. Dalam komunikasi sehari-hari, ketidakkonsistenan ini tampaknya tidak menimbulkan masalah besar dan secara umum jelas dari konteks pragmatis jenis informasi apa yang ditunjuk. Contoh-contoh ini cukup untuk berpendapat bahwa referensi ke intuisi kita sebagai penutur bahasa Inggris tidak banyak membantu dalam pengembangan teori informasi filosofis yang ketat. Tampaknya tidak ada tekanan pragmatis dalam komunikasi sehari-hari untuk menyatu dengan definisi yang lebih tepat tentang pengertian informasi.

2. Sejarah Istilah dan Konsep Informasi

Sampai paruh kedua abad ke-20 hampir tidak ada filsuf modern menganggap "informasi" sebagai konsep filosofis yang penting. Istilah ini tidak memiliki lemma dalam ensiklopedia terkenal Edwards (1967) dan tidak disebutkan dalam Windelband (1903). Dalam konteks ini minat pada "Filsafat Informasi" adalah perkembangan baru-baru ini. Namun, dengan melihat dari perspektif sejarah gagasan, refleksi tentang gagasan "informasi" telah menjadi tema utama dalam sejarah filsafat. Rekonstruksi sejarah ini relevan untuk studi informasi.

Masalah dengan pendekatan "sejarah ide" adalah validasi dari asumsi yang mendasari bahwa konsep yang sedang dipelajari memang memiliki kontinuitas atas sejarah filsafat. Dalam kasus analisis historis informasi, orang mungkin bertanya apakah konsep "informatio" yang dibahas oleh Augustine memiliki hubungan dengan informasi Shannon, selain kemiripan istilah. Pada saat yang sama orang mungkin bertanya apakah "metode historis, sederhana" Locke merupakan kontribusi penting bagi munculnya konsep informasi modern walaupun dalam tulisannya Locke jarang menggunakan istilah "informasi" dalam arti teknis. Seperti yang ditunjukkan di bawah ini, ada konglomerat ide yang melibatkan gagasan tentang informasi yang telah berkembang dari zaman purba sampai saat ini, tetapi studi lebih lanjut tentang sejarah konsep informasi diperlukan.

Tema berulang yang penting dalam analisis filosofis awal pengetahuan adalah paradigma memanipulasi sepotong lilin: baik dengan hanya merusaknya, dengan mencetak cincin meterai di dalamnya atau dengan menulis karakter di atasnya. Fakta bahwa lilin dapat mengambil berbagai bentuk dan kualitas sekunder (suhu, bau, sentuhan) sementara volume (ekstensi) tetap sama, menjadikannya sumber yang kaya analogi, alami ke budaya Yunani, Romawi dan abad pertengahan, di mana lilin digunakan keduanya untuk patung, menulis (tablet lilin) dan lukisan encaustic. Seseorang menemukan topik ini dalam tulisan-tulisan penulis yang beragam seperti Democritus, Plato, Aristoteles, Theophrastus, Cicero, Augustine, Avicenna, Duns Scotus, Aquinas, Descartes dan Locke.

2.1 Filsafat Klasik

Dalam filsafat klasik "informasi" adalah gagasan teknis yang terkait dengan teori pengetahuan dan ontologi yang berasal dari teori bentuk Plato (427-347 SM), yang dikembangkan dalam sejumlah dialognya (Phaedo, Phaedrus, Simposium, Timaeus, Republik). Berbagai kuda individu yang tidak sempurna di dunia fisik dapat diidentifikasi sebagai kuda, karena mereka berpartisipasi dalam gagasan atemporal dan aspal statis tentang “berkuda” dalam dunia gagasan atau bentuk. Ketika kemudian penulis seperti Cicero (106-43 SM) dan Agustinus (354-430 M) membahas konsep Platonis dalam bahasa Latin, mereka menggunakan istilah informare dan informatio sebagai terjemahan untuk istilah teknis Yunani seperti eidos (intisari), ide (ide), kesalahan ketik (jenis), morphe (bentuk) dan prolepsis (representasi). Root "form" masih dapat dikenali dalam kata in-form-ation (Capurro & Hjørland 2003). Teori bentuk Plato adalah upaya untuk merumuskan solusi untuk berbagai masalah filosofis: teori bentuk memediasi antara statis (Parmenides, sekitar 450 SM) dan dinamis (Herakleitos, ca 535-475 SM) konsepsi ontologis realitas dan ia menawarkan model untuk mempelajari teori pengetahuan manusia. Menurut Theophrastus (371–287 SM) analogi dari tablet lilin kembali ke Democritos (sekitar 460–380 / 370 SM) (De Sensibus 50). Dalam Theaetetus (191c, d) Plato membandingkan fungsi ingatan kita dengan tablet lilin di mana persepsi dan pikiran kita tercetak seperti cincin stempel yang menandai tayangan dalam lilin. Perhatikan bahwa metafor simbol-simbol yang dicetak dalam lilin pada dasarnya bersifat spasial (luas) dan tidak dapat dengan mudah didamaikan dengan interpretasi ide-ide yang didukung oleh Plato.

Seseorang mendapat gambaran tentang peran yang dimainkan oleh gagasan "bentuk" dalam metodologi klasik jika seseorang menganggap doktrin Aristoteles (384-322 SM) tentang empat penyebab. Dalam metodologi Aristotelian, pemahaman objek menyiratkan pemahaman empat aspek berbeda:

Bahan Penyebab:: bahwa sebagai hasil dari kehadirannya sesuatu muncul - misalnya, perunggu patung dan perak piala, dan kelas-kelas yang mengandung ini

Penyebab Formal:: bentuk atau pola; yaitu, formula esensial dan kelas yang mengandungnya - misalnya, rasio 2: 1 dan angka secara umum adalah penyebab oktaf - dan bagian dari formula.

Penyebab Efisien:: sumber awal perubahan atau istirahat pertama; misalnya, orang yang merencanakan adalah sebab, dan ayah adalah penyebab anak, dan secara umum apa yang menghasilkan adalah penyebab apa yang diproduksi, dan apa yang mengubah apa yang diubah.

Penyebab Terakhir:: sama dengan "akhir"; yaitu, penyebab terakhir; misalnya, karena "akhir" berjalan adalah kesehatan. Karena mengapa seorang pria berjalan? “Menjadi sehat”, kami katakan, dan dengan mengatakan ini kami menganggap bahwa kami telah menyediakan penyebabnya. (Aristoteles, Metafisika 1013a)

Perhatikan bahwa Aristoteles, yang menolak teori bentuk Plato sebagai entitas aspirasi atemporal, masih menggunakan "bentuk" sebagai konsep teknis. Bagian ini menyatakan bahwa mengetahui bentuk atau struktur suatu objek, yaitu informasi, adalah syarat yang diperlukan untuk memahaminya. Dalam pengertian ini informasi adalah aspek penting dari epistemologi klasik.

Fakta bahwa rasio 2: 1 dikutip sebagai contoh juga menggambarkan hubungan yang mendalam antara gagasan tentang bentuk dan gagasan bahwa dunia diatur oleh prinsip-prinsip matematika. Plato percaya di bawah pengaruh tradisi Pythagoras (Pythagoras 572 - 500 SM) yang lebih tua bahwa "segala sesuatu yang muncul dan terjadi di dunia" dapat diukur dengan menggunakan angka (Politicus 285a). Dalam berbagai kesempatan, Aristoteles menyebutkan fakta bahwa Plato mengaitkan gagasan dengan angka (Vogel 1968: 139). Meskipun teori matematika formal tentang informasi hanya muncul pada abad kedua puluh, dan kita harus berhati-hati untuk tidak menafsirkan gagasan Yunani tentang angka dalam pengertian modern, gagasan bahwa informasi pada dasarnya adalah gagasan matematika, berasal dari filsafat klasik:bentuk entitas dipahami sebagai struktur atau pola yang dapat digambarkan dalam bentuk angka. Bentuk seperti itu memiliki aspek ontologis dan epistemologis: ia menjelaskan esensi serta pemahaman objek. Konsep informasi dengan demikian sejak awal refleksi filosofis sudah dikaitkan dengan epistemologi, ontologi dan matematika.

Dua masalah mendasar yang tidak dijelaskan oleh teori ide klasik atau bentuk adalah 1) tindakan aktual mengetahui suatu objek (yaitu, jika saya melihat kuda dengan cara apa ide kuda diaktifkan dalam pikiran saya) dan 2) proses berpikir sebagai manipulasi ide. Aristoteles memperlakukan masalah ini dalam De Anime, menggunakan analogi stempel-cincin-kesan-dalam-lilin:

Yang dimaksud dengan "pengertian" adalah apa yang memiliki kekuatan menerima ke dalam dirinya bentuk-bentuk hal-hal yang masuk akal tanpa materi. Ini harus dipahami sebagai terjadi dalam cara di mana sepotong lilin mengambil kesan cincin meterai tanpa besi atau emas; kita mengatakan bahwa yang menghasilkan kesan adalah stempel dari perunggu atau emas, tetapi konstitusi logam khususnya tidak ada bedanya: dengan cara yang sama indera dipengaruhi oleh apa yang diwarnai atau dibumbui atau dibunyikan, tetapi acuh tak acuh apa dalam setiap kasus yang substansi adalah; apa yang penting adalah kualitas apa yang dimilikinya, yaitu, dalam rasio apa konstituennya digabungkan. (De Anime, Buku II, Chp. 12)

Bukankah kita sudah menyingkirkan kesulitan tentang interaksi yang melibatkan unsur umum, ketika kita mengatakan bahwa pikiran berpotensi dalam arti apa pun yang dapat dipikirkan, meskipun sebenarnya itu tidak berarti sampai ia memikirkannya? Apa yang dipikirkannya pasti ada di dalamnya seperti halnya karakter dapat dikatakan ada pada tablet tulis yang belum ada tulisannya: inilah yang terjadi dengan pikiran. (De Anime, Buku III, Chp. 4)

Bagian-bagian ini kaya akan ide-ide yang berpengaruh dan dapat dibaca sebagai program untuk filosofi informasi: proses informasi dapat dipahami sebagai jejak karakter pada tablet lilin (tabula rasa), pemikiran dapat dianalisis dalam hal manipulasi simbol.

2.2 Filsafat Abad Pertengahan

Sepanjang Abad Pertengahan refleksi pada konsep informatio diambil oleh pemikir berturut-turut. Ilustrasi untuk pengaruh Aristotelian adalah bagian dari Agustinus dalam buku De Trinitate XI. Di sini ia menganalisis visi sebagai analogi untuk memahami Trinitas. Ada tiga aspek: bentuk jasmani di dunia luar, informasi oleh indera penglihatan, dan bentuk yang dihasilkan dalam pikiran. Untuk proses informasi ini Agustinus menggunakan gambar cincin meterai yang memberi kesan pada lilin (De Trinitate, XI Cap 2 par 3). Capurro (2009) mengamati bahwa analisis ini dapat ditafsirkan sebagai versi awal dari konsep teknis "mengirim pesan" dalam teori informasi modern, tetapi idenya lebih tua dan merupakan topik umum dalam pemikiran Yunani (Plato Theaetetus 191c, d; Aristoteles De Anime, Buku II, Bab 12, Buku III, Bab 4;Theophrastus De Sensibus 50).

Gagasan tabula rasa kemudian dikembangkan lebih lanjut dalam teori pengetahuan Avicenna (sekitar 980-1037 M):

Kecerdasan manusia saat lahir agak seperti tabula rasa, potensi murni yang diaktualisasikan melalui pendidikan dan kemudian diketahui. Pengetahuan diperoleh melalui keakraban empiris dengan objek-objek di dunia ini yang darinya seseorang mengabstraksi konsep-konsep universal. (Sajjad 2006 [Sumber Daya Internet Lainnya [selanjutnya OIR])

Gagasan pengembangan tabula rasa dari pikiran manusia adalah topik novel Hayy ibn Yaqdhan oleh filsuf Arab Andalusia Ibn Tufail (1105–1185 M, yang dikenal sebagai “Abubacer” atau “Ebn Tophail” di Barat). Novel ini menggambarkan perkembangan anak yang terisolasi di pulau terpencil. Terjemahan berikutnya dalam bahasa Latin dengan judul Philosophus Autodidactus (1761) memengaruhi seorang empiris John Locke dalam perumusan doktrin tabula rasa.

Terlepas dari ketegangan kreatif permanen antara teologi dan filsafat, pemikiran abad pertengahan, setelah penemuan kembali Metafisika Aristoteles pada abad kedua belas yang diilhami oleh para sarjana Arab, dapat dicirikan sebagai penafsiran yang rumit dan halus dan pengembangan, terutama teori klasik Aristotelian. Refleksi pada gagasan informatio diambil, di bawah pengaruh Avicenna, oleh pemikir seperti Aquinas (1225-1274 M) dan Duns Scotus (1265 / 66-1308 M). Ketika Aquinas membahas pertanyaan apakah malaikat dapat berinteraksi dengan materi, ia merujuk pada doktrin hylomorfisme Aristotelian (yaitu, teori bahwa substansi terdiri dari materi (hylo (kayu), materi) dan bentuk (morphè)). Di sini Aquinas menerjemahkan ini sebagai informasi materi (informatio materiae) (Summa Theologiae, 1a 110 2; Capurro 2009). Duns Scotus mengacu pada informasi dalam arti teknis ketika ia membahas teori penglihatan Agustinus dalam De Trinitate, XI Cap 2 par 3 (Duns Scotus, 1639, “De bayangkan”, Ordinatio, I, d.3, p.3).

Ketegangan yang sudah ada dalam filsafat klasik antara idealisme Platonis (universalia ante res) dan realisme Aristotelian (universalia dalam rebus) ditangkap kembali sebagai masalah universal: apakah kualitas universal seperti "kemanusiaan" atau gagasan tentang kuda ada terpisah dari individu entitas yang instantiate mereka? Dalam konteks penolakannya terhadap hal-hal universal itulah Ockham (c. 1287–1347 M) memperkenalkan pisau cukurnya yang terkenal: entitas tidak boleh dikalikan melampaui kebutuhan. Sepanjang tulisan mereka, Aquinas dan Scotus menggunakan istilah Latin informatio dan informare dalam pengertian teknis, meskipun terminologi ini tidak digunakan oleh Ockham.

2.3 Filsafat Modern

Sejarah konsep informasi dalam filsafat modern rumit. Mungkin dimulai pada abad keempat belas istilah "informasi" muncul dalam berbagai bahasa Eropa berkembang dalam arti umum "pendidikan" dan "penyelidikan". Kamus sejarah Prancis oleh Godefroy (1881) memberikan action de mantan, instruksi, enquête, sains, bakat sebagai makna awal dari "informasi". Istilah ini juga digunakan secara eksplisit untuk penyelidikan hukum (Dictionnaire du Moyen Français (1330-1500) 2015). Karena penggunaan sehari-hari ini istilah "informasi" kehilangan hubungannya dengan konsep "bentuk" secara bertahap dan muncul semakin sedikit dalam arti formal dalam teks-teks filosofis.

Pada akhir Abad Pertengahan masyarakat dan sains berubah secara mendasar (Hazard 1935; Ong 1958; Dijksterhuis 1986). Dalam proses yang panjang dan rumit, metodologi Aristotelian dari empat penyebab ditransformasikan untuk melayani kebutuhan sains eksperimental:

  1. Penyebab Materi berkembang menjadi gagasan modern tentang materi.
  2. Penyebab Formal ditafsirkan kembali sebagai bentuk geometris di ruang angkasa.
  3. Penyebab Efisien didefinisikan ulang sebagai interaksi mekanis langsung antara badan material.
  4. Penyebab Terakhir diberhentikan sebagai tidak ilmiah. Karena ini, orang-orang sezaman Newton mengalami kesulitan dengan konsep gaya gravitasi dalam teorinya. Gravitasi sebagai aksi di kejauhan tampaknya menjadi perkenalan kembali penyebab akhir.

Dalam konteks yang berubah ini analogi kesan-lilin ditafsirkan kembali. Versi proto dari konsep informasi modern sebagai struktur sekumpulan atau urutan ide-ide sederhana dikembangkan oleh para empiris, tetapi karena makna teknis dari istilah "informasi" hilang, teori pengetahuan ini tidak pernah diidentifikasi sebagai "teori informasi" baru.

Konsekuensi dari pergeseran dalam metodologi ini adalah bahwa hanya fenomena yang dapat dijelaskan dalam hal interaksi mekanis antara benda-benda material yang dapat dipelajari secara ilmiah. Ini menyiratkan dalam arti modern: pengurangan sifat intensif menjadi sifat luas yang terukur. Bagi Galileo wawasan ini bersifat terprogram:

Untuk menggairahkan dalam diri kita rasa, bau, dan suara saya percaya bahwa tidak ada yang diperlukan dalam tubuh eksternal kecuali bentuk, angka, dan gerakan lambat atau cepat. (Galileo 1623 [1960: 276)

Wawasan ini kemudian mengarah pada doktrin perbedaan antara kualitas primer (ruang, bentuk, kecepatan) dan kualitas sekunder (panas, rasa, warna dll.). Dalam konteks filsafat informasi, pengamatan Galileo pada kualitas sekunder "panas" adalah sangat penting karena mereka meletakkan dasar untuk studi termodinamika pada abad kesembilan belas:

Setelah menunjukkan bahwa banyak sensasi yang dianggap sebagai kualitas yang berada di objek-objek eksternal tidak memiliki keberadaan nyata kecuali di dalam diri kita, dan di luar diri kita hanyalah nama-nama, saya sekarang mengatakan bahwa saya cenderung percaya panas sebagai karakter ini. Bahan-bahan yang menghasilkan panas di dalam kita dan membuat kita merasakan kehangatan, yang dikenal dengan nama umum "api," kemudian akan menjadi banyak partikel kecil yang memiliki bentuk tertentu dan bergerak dengan kecepatan tertentu. (Galileo 1623 [1960: 277)

Seorang pemikir penting dalam transformasi ini adalah René Descartes (1596–1650 M). Dalam Meditasi, setelah "membuktikan" bahwa materi (res extensa) dan pikiran (res cogitan) adalah zat yang berbeda (yaitu, bentuk keberadaan yang ada secara independen), pertanyaan tentang interaksi antara zat-zat ini menjadi masalah. Kelenturan lilin bagi Descartes adalah argumen eksplisit terhadap pengaruh res extensa pada res cogitan (Meditationes II, 15). Fakta bahwa sepotong lilin kehilangan bentuk dan kualitas lainnya dengan mudah ketika dipanaskan, menyiratkan bahwa indera tidak memadai untuk identifikasi objek di dunia. Pengetahuan yang benar hanya dapat dicapai melalui "inspeksi pikiran". Di sini metafora lilin yang selama lebih dari 1500 tahun digunakan untuk menjelaskan kesan sensorik digunakan untuk membantah kemungkinan untuk mencapai pengetahuan melalui indera. Karena esensi dari res extensa adalah perluasan, berpikir secara fundamental tidak dapat dipahami sebagai proses spasial. Descartes masih menggunakan istilah "bentuk" dan "ide" dalam arti skolastik non-geometris (atemporal, aspatial) asli. Contohnya adalah bukti formal singkat tentang keberadaan Tuhan dalam jawaban kedua untuk Mersenne dalam Meditationes de Prima PhilosophiaContohnya adalah bukti formal singkat tentang keberadaan Tuhan dalam jawaban kedua untuk Mersenne dalam Meditationes de Prima PhilosophiaContohnya adalah bukti formal singkat tentang keberadaan Tuhan dalam jawaban kedua untuk Mersenne dalam Meditationes de Prima Philosophia

Saya menggunakan istilah ide untuk merujuk pada bentuk pemikiran apa pun, persepsi langsung yang membuat saya sadar akan pemikiran itu.

(Ide nomine intelligo cujuslibet cogitationis formam illam, per cujus dengan segera persepsi tentang ipsius ejusdem cogitationis jumlah yang disadari)

Saya menyebutnya "gagasan", kata Descartes

hanya sejauh mereka membuat perbedaan pada pikiran itu sendiri ketika mereka memberi tahu bagian otak itu.

(sed tantum quatenus mentem ipsam di illam cerebri partem conversam informan). (Descartes, 1641, Ad Secundas Objections, Rationes, Dei existentiam & anime distinctionem probantes, lebih Geometrico dispositae.)

Karena res extensa dan res cogitans adalah substansi yang berbeda, tindakan berpikir tidak pernah dapat ditiru di ruang angkasa: mesin tidak dapat memiliki kemampuan berpikir universal. Descartes memberikan dua motivasi terpisah:

Dari ini yang pertama adalah bahwa mereka tidak akan pernah bisa menggunakan kata-kata atau tanda-tanda lain yang diatur sedemikian rupa sehingga kompeten bagi kami untuk menyatakan pikiran kita kepada orang lain: (…) Tes kedua adalah, bahwa meskipun mesin seperti itu dapat melakukan banyak hal dengan sama atau mungkin kesempurnaan yang lebih besar daripada kita, mereka akan, tanpa ragu, gagal pada orang lain tertentu yang darinya dapat diketahui bahwa mereka tidak bertindak berdasarkan pengetahuan, tetapi semata-mata dari disposisi organ mereka: karena sementara akal adalah instrumen universal yang sama tersedia pada setiap kesempatan, organ-organ ini, sebaliknya, membutuhkan pengaturan khusus untuk setiap tindakan tertentu; dari mana secara moral mustahil bahwa di dalam mesin mana pun ada keragaman organ yang cukup untuk memungkinkannya bertindak dalam semua kejadian kehidupan, dengan cara yang memungkinkan akal kita untuk bertindak.(Discourse de la méthode, 1647)

Bagian ini relevan karena secara langsung menentang kemungkinan kecerdasan buatan dan bahkan mungkin ditafsirkan sebagai menentang kemungkinan mesin Turing universal: alasan sebagai instrumen universal tidak pernah dapat ditiru di ruang angkasa. Konsepsi ini bertentangan dengan konsep informasi modern yang sebagai kuantitas terukur pada dasarnya bersifat spasial, yaitu luas (tetapi dalam arti berbeda dari Descartes).

Descartes tidak menyajikan penafsiran baru tentang pengertian bentuk dan gagasan, tetapi ia mengatur panggung untuk debat tentang sifat gagasan yang berkembang di sekitar dua posisi yang berlawanan:

Rasionalisme: Gagasan Cartesian bahwa gagasan adalah bawaan dan dengan demikian a priori. Bentuk rasionalisme ini menyiratkan interpretasi gagasan gagasan dan bentuk sebagai struktur atemporal, aspatial, tetapi kompleks yaitu, gagasan "kuda" (yaitu, dengan kepala, tubuh, dan kaki). Ini juga cocok dengan interpretasi subjek yang tahu sebagai makhluk ciptaan (ens creatu). Tuhan menciptakan manusia menurut gambarnya sendiri dan dengan demikian memberikan akal budi pada manusia serangkaian ide yang memadai untuk memahami ciptaannya. Dalam pertumbuhan teori ini, pengetahuan adalah apriori terbatas. Menciptakan ide-ide baru ex nihilo tidak mungkin. Pandangan ini sulit untuk didamaikan dengan konsep sains eksperimental.

Empirisme: Konsep dikonstruksi dalam pikiran a posteriori berdasarkan ide yang terkait dengan kesan sensorik. Doktrin ini menyiratkan interpretasi baru dari konsep ide sebagai:

apa pun objek pemahaman ketika seorang pria berpikir … apa pun yang dimaksud dengan hantu, gagasan, spesies, atau apa pun yang dapat digunakan pikiran ketika berpikir. (Locke 1689, bk I, bab 1, paragraf 8)

Di sini gagasan dipahami sebagai blok bangunan dasar pengetahuan dan refleksi manusia. Ini sangat sesuai dengan tuntutan sains eksperimental. Kelemahannya adalah bahwa pikiran tidak pernah dapat merumuskan kebenaran apodeiktik tentang sebab dan akibat dan esensi entitas yang diamati, termasuk identitasnya sendiri. Pengetahuan manusia pada dasarnya menjadi probabilistik (Locke 1689: bk I, bab 4, paragraf 25).

Reinterpretasi Locke terhadap gagasan gagasan sebagai "penampung struktural" untuk setiap entitas yang ada di pikiran adalah langkah penting dalam kemunculan konsep informasi modern. Karena ide-ide ini tidak terlibat dalam pembenaran pengetahuan apodeiktik, keharusan untuk menekankan sifat ide yang temporal dan aspal menghilang. Konstruksi konsep berdasarkan koleksi ide-ide dasar yang didasarkan pada pengalaman inderawi membuka pintu gerbang untuk rekonstruksi pengetahuan sebagai properti luas dari seorang agen: lebih banyak ide menyiratkan pengetahuan yang lebih mungkin.

Pada paruh kedua abad ke-17, teori probabilitas formal dikembangkan oleh para peneliti seperti Pascal (1623–1662), Fermat (1601 atau 1606–1665) dan Christiaan Huygens (1629–1695). Karya De ratiociniis dalam ludo aleae dari Huygens diterjemahkan ke dalam bahasa Inggris oleh John Arbuthnot (1692). Bagi para penulis ini, dunia pada dasarnya mekanistik dan dengan demikian deterministik, probabilitas adalah kualitas pengetahuan manusia yang disebabkan oleh ketidaksempurnaannya:

Mustahil bagi Die, dengan kekuatan dan arah yang ditentukan, untuk tidak jatuh pada sisi yang ditentukan, hanya saja aku tidak tahu kekuatan dan arah yang membuatnya jatuh pada sisi yang ditentukan seperti itu, dan oleh karena itu aku sebut saja Kesempatan, yang tidak lain adalah keinginan seni; … (John Arbuthnot Of the Laws of Chance (1692), kata pengantar)

Teks ini mungkin memengaruhi Hume, yang merupakan orang pertama yang menikahi teori probabilitas formal dengan teori pengetahuan:

Meskipun tidak ada yang namanya Kesempatan di dunia; ketidaktahuan kita tentang penyebab sebenarnya dari peristiwa apa pun memiliki pengaruh yang sama pada pemahaman, dan melahirkan spesies kepercayaan atau pendapat yang serupa. (…) Jika pewarna ditandai dengan satu angka atau jumlah bercak pada empat sisi, dan dengan angka atau bercak lain pada dua sisi yang tersisa, akan lebih mungkin, bahwa yang pertama akan muncul daripada yang terakhir; meskipun, jika memiliki seribu sisi yang ditandai dengan cara yang sama, dan hanya satu sisi yang berbeda, kemungkinannya akan jauh lebih tinggi, dan keyakinan atau harapan kami terhadap acara tersebut lebih mantap dan aman. Proses pemikiran atau penalaran ini mungkin tampak sepele dan jelas; tetapi bagi mereka yang menganggapnya lebih sempit, itu mungkin, mungkin, memberi masalah bagi spekulasi yang aneh. (Hume 1748: Bagian VI, "Pada Kemungkinan" 1)

Di sini pengetahuan tentang masa depan sebagai tingkat kepercayaan diukur dalam hal probabilitas, yang pada gilirannya dijelaskan dalam hal jumlah konfigurasi yang dapat dimiliki sistem deterministik di dunia. Blok pembangun dasar teori informasi modern sudah ada. Dengan konsep pengetahuan empiris baru ini meletakkan dasar bagi pengembangan termodinamika di kemudian hari sebagai pengurangan kualitas panas sekunder ke kualitas utama tubuh.

Pada saat yang sama istilah "informasi" tampaknya telah kehilangan banyak makna teknisnya dalam tulisan-tulisan para empiris sehingga perkembangan baru ini tidak ditunjuk sebagai interpretasi baru dari gagasan "informasi". Terkadang Locke menggunakan frasa yang menurut indera kita "memberi tahu" kita tentang dunia dan kadang-kadang menggunakan kata "informasi".

Untuk informasi apa, pengetahuan apa, membawa proposisi ini di dalamnya, yaitu. "Timbal adalah logam" bagi seorang pria yang tahu ide kompleks yang dituju oleh nama timah? (Kunci 1689: bk IV, bab 8, paragraf 4)

Hume tampaknya menggunakan informasi dengan cara yang sama ketika ia mengamati:

Dua objek, meskipun sangat mirip satu sama lain, dan bahkan muncul di tempat yang sama pada waktu yang berbeda, mungkin berbeda secara numerik: Dan karena kekuatan, yang dengannya satu objek menghasilkan yang lain, tidak pernah dapat ditemukan hanya dari idenya, itu adalah sebab nyata dan Efeknya adalah hubungan, yang darinya kami menerima informasi dari pengalaman, dan bukan dari alasan atau refleksi abstrak. (Hume 1739: Bagian III, bagian 1)

Metodologi empiris bukan tanpa masalah. Masalah terbesar adalah bahwa semua pengetahuan menjadi probabilistik dan posteriori. Immanuel Kant (1724–1804) adalah salah satu yang pertama menunjukkan bahwa pikiran manusia memahami konsep-konsep ruang, waktu, dan hubungan sebab akibat yang sendiri tidak akan pernah dapat dipahami sebagai hasil dari kombinasi “gagasan” semata.. Terlebih lagi, intuisi ini memungkinkan kita untuk merumuskan wawasan ilmiah dengan pasti: yaitu fakta bahwa jumlah sudut segitiga dalam ruang Euclidean adalah 180 derajat. Masalah ini tidak dapat dijelaskan dalam kerangka empiris. Jika pengetahuan diciptakan melalui kombinasi ide-ide maka harus ada sintesis apriori ide dalam pikiran manusia. Menurut Kant, ini menyiratkan bahwa pikiran manusia dapat mengevaluasi kemampuannya sendiri untuk merumuskan penilaian ilmiah. Dalam bukunya Kritik der reinen Vernunft (1781) Kant mengembangkan filsafat transendental sebagai penyelidikan kondisi yang diperlukan dari pengetahuan manusia. Meskipun program transendental Kant tidak berkontribusi secara langsung pada pengembangan konsep informasi, ia mempengaruhi penelitian terhadap dasar-dasar matematika dan pengetahuan yang relevan untuk subjek ini pada abad ke-19 dan ke-20: misalnya, karya Frege, Husserl, Russell, Brouwer, L. Wittgenstein, Gödel, Carnap, Popper dan Quine.ia melakukan penelitian pengaruh terhadap dasar-dasar matematika dan pengetahuan yang relevan untuk subjek ini pada abad kesembilan belas dan kedua puluh: misalnya, karya Frege, Husserl, Russell, Brouwer, L. Wittgenstein, Gödel, Carnap, Popper dan Quine.ia melakukan penelitian pengaruh terhadap dasar-dasar matematika dan pengetahuan yang relevan untuk subjek ini pada abad kesembilan belas dan kedua puluh: misalnya, karya Frege, Husserl, Russell, Brouwer, L. Wittgenstein, Gödel, Carnap, Popper dan Quine.

2.4 Perkembangan Historis Makna Istilah “Informasi”

Sejarah istilah "informasi" sangat terkait dengan studi masalah sentral dalam epistemologi dan ontologi dalam filsafat Barat. Setelah awal sebagai istilah teknis dalam teks-teks klasik dan abad pertengahan, istilah "informasi" hampir lenyap dari wacana filosofis dalam filsafat modern, tetapi memperoleh popularitas dalam pidato sehari-hari. Secara bertahap istilah ini memperoleh status massa-kata benda abstrak, makna yang ortogonal dengan makna berorientasi proses klasik. Dalam bentuk ini diambil oleh beberapa peneliti (Fisher 1925; Shannon 1948) pada abad kedua puluh yang memperkenalkan metode formal untuk mengukur "informasi". Ini, pada gilirannya, mengarah pada kebangkitan minat filosofis dalam konsep informasi. Sejarah yang kompleks ini tampaknya menjadi salah satu alasan utama kesulitan dalam merumuskan definisi konsep informasi terpadu yang memuaskan semua intuisi kita. Setidaknya tiga arti berbeda dari kata "informasi" secara historis relevan:

"Informasi" sebagai proses mendapatkan informasi

Ini adalah makna tertua yang ditemukan dalam tulisan penulis seperti Cicero (106-43 SM) dan Agustinus (354-430 M) dan hilang dalam wacana modern, meskipun hubungan informasi dengan proses (yaitu, komputasi, mengalir atau mengirim pesan) masih ada. Dalam filsafat klasik orang dapat mengatakan bahwa ketika saya mengenali kuda seperti itu, maka "bentuk" kuda ditanam dalam pikiran saya. Proses ini adalah "informasi" saya tentang sifat kuda. Juga tindakan mengajar dapat disebut sebagai "informasi" seorang murid. Dalam pengertian yang sama orang bisa mengatakan bahwa seorang pematung menciptakan patung dengan "memberi tahu" sepotong marmer. Tugas pematung adalah “informasi” patung (Capurro & Hjørland 2003). Makna yang berorientasi pada proses ini bertahan cukup lama dalam wacana Eropa Barat:bahkan di abad kedelapan belas Robinson Crusoe dapat menyebut pendidikan pelayannya Jumat sebagai "informasi" -nya (Defoe 1719: 261). Ini juga digunakan dalam pengertian ini oleh Berkeley: "Saya suka informasi tentang semua subjek yang menghalangi saya, dan terutama pada mereka yang paling penting" (Alciphron Dialogue 1, Bagian 5, Paragraf 6/10, lihat Berkeley 1732).

"Informasi" sebagai keadaan agen

yaitu, sebagai hasil dari proses mendapat informasi. Jika seseorang mengajar murid teorema Pythagoras maka, setelah proses ini selesai, siswa dapat dikatakan "memiliki informasi tentang teorema Pythagoras". Dalam pengertian ini istilah "informasi" adalah hasil dari bentuk dugaan yang sama dari pembuktian kata kerja (informare (gt) informatio) seperti banyak istilah teknis lainnya dalam filsafat (substansi, kesadaran, subjek, objek). Formasi semacam ini terkenal karena kesulitan konseptual yang dihasilkannya. Bisakah seseorang memperoleh fakta bahwa saya “memiliki” kesadaran dari kenyataan bahwa saya sadar? Bisakah seseorang memperoleh fakta bahwa saya "memiliki" informasi dari fakta bahwa saya telah diberitahu? Transformasi ke makna yang dibuktikan modern ini tampaknya telah bertahap dan tampaknya bersifat umum di Eropa Barat setidaknya dari pertengahan abad ke-15. Dalam renaisans, seorang sarjana dapat disebut sebagai "seorang pria informasi", seperti halnya kita sekarang dapat mengatakan bahwa seseorang menerima pendidikan (Adriaans & van Benthem 2008b; Capurro & Hjørland 2003). Dalam "Emma" oleh Jane Austen orang dapat membaca: "Mr. Martin, saya kira, bukanlah orang yang memiliki informasi di luar garis bisnisnya sendiri. Dia tidak membaca”(Austen 1815: 21).sama seperti kita sekarang dapat mengatakan bahwa seseorang menerima pendidikan (Adriaans & van Benthem 2008b; Capurro & Hjørland 2003). Dalam "Emma" oleh Jane Austen orang dapat membaca: "Mr. Martin, saya kira, bukanlah orang yang memiliki informasi di luar garis bisnisnya sendiri. Dia tidak membaca”(Austen 1815: 21).sama seperti kita sekarang dapat mengatakan bahwa seseorang menerima pendidikan (Adriaans & van Benthem 2008b; Capurro & Hjørland 2003). Dalam "Emma" oleh Jane Austen orang dapat membaca: "Mr. Martin, saya kira, bukanlah orang yang memiliki informasi di luar garis bisnisnya sendiri. Dia tidak membaca”(Austen 1815: 21).

"Informasi" sebagai disposisi untuk menginformasikan

yaitu, sebagai kapasitas suatu objek untuk menginformasikan agen. Ketika tindakan mengajari saya teorema Pythagoras memberi saya informasi tentang teorema ini, adalah wajar untuk menganggap bahwa sebuah teks yang menjelaskan teorema itu sebenarnya “berisi” informasi ini. Teks memiliki kapasitas untuk memberi tahu saya ketika saya membacanya. Dalam pengertian yang sama, ketika saya menerima informasi dari seorang guru, saya dapat mengirimkan informasi ini kepada siswa lain. Dengan demikian informasi menjadi sesuatu yang dapat disimpan dan diukur. Konsep informasi terakhir ini sebagai kata benda massal abstrak telah mengumpulkan penerimaan luas dalam masyarakat modern dan telah menemukan bentuk definitifnya pada abad ke-19, yang memungkinkan Sherlock Homes melakukan pengamatan berikut:"… teman Lestrade memegang informasi di tangannya nilai yang dia sendiri tidak tahu" ("Petualangan Sarjana Mulia", Conan Doyle 1892). Hubungan dengan gagasan filosofis teknis seperti "bentuk" dan "informasi" telah lenyap dari kesadaran umum meskipun hubungan antara informasi dan proses seperti menyimpan, mengumpulkan, menghitung dan mengajar masih ada.

3. Blok Bangunan Teori Modern Informasi

Dengan melihat ke belakang banyak gagasan yang berkaitan dengan sistem kode yang optimal, bahasa ideal dan hubungan antara komputasi dan bahasa pemrosesan telah menjadi tema berulang dalam refleksi filosofis sejak abad ketujuh belas.

3.1 Bahasa

Salah satu proposal paling rumit untuk bahasa "filosofis" universal dibuat oleh uskup John Wilkins: "Esai Menuju Karakter Nyata, dan Bahasa Filsafat" (1668). Proyek Wilkins terdiri dari sistem simbol yang rumit yang konon dikaitkan dengan konsep yang tidak ambigu dalam kenyataan. Proposal seperti ini membuat para filsuf peka terhadap hubungan mendalam antara bahasa dan pemikiran. Metodologi empiris memungkinkan untuk memahami perkembangan bahasa sebagai sistem tanda-tanda konvensional dalam hal asosiasi antara ide-ide dalam pikiran manusia. Masalah yang saat ini dikenal sebagai masalah landasan simbol (bagaimana tanda-tanda sewenang-wenang memperoleh makna antar-subyektif mereka) adalah salah satu pertanyaan yang paling banyak diperdebatkan pada abad ke-18 dalam konteks masalah asal-usul bahasa. Pemikir yang beragam seperti Vico, Condillac, Rousseau, Diderot, Herder dan Haman memberikan kontribusi. Pertanyaan sentralnya adalah apakah bahasa diberikan apriori (oleh Tuhan) atau apakah itu dibangun dan karenanya merupakan penemuan manusia itu sendiri. Khas adalah kontes yang dikeluarkan oleh Royal Prusia Academy of Sciences pada 1769:

Apakah Anda ingin meninggalkan tempat-tempat seperti ini, atau tinggal di sini? Apakah ini benar-benar moyens parviendront-ils d'eux-mêmes à cette discovery?

Dengan asumsi orang-orang ditinggalkan ke fakultas alam mereka, apakah mereka dapat menemukan bahasa dan dengan cara apa mereka akan sampai pada penemuan ini? [1]

Kontroversi berkecamuk selama lebih dari seabad tanpa kesimpulan apa pun dan pada tahun 1866 Linguistic Society of Paris (Société de Linguistique de Paris) membuang isu tersebut dari arena. [2]

Secara filosofis lebih relevan adalah karya Leibniz (1646-1716) pada apa yang disebut characteristica universalis: gagasan tentang kalkulus logis universal yang akan menjadi kendaraan sempurna untuk penalaran ilmiah. Prasuposisi utama dalam filsafat Leibniz adalah bahwa bahasa sains yang begitu sempurna pada prinsipnya dimungkinkan karena sifat dunia yang sempurna sebagai ciptaan Tuhan (rasio essendi = ransum cognoscendi, asal mula wujud adalah asal mula pengetahuan). Prinsip ini ditolak oleh Wolff (1679–1754) yang menyarankan karakteristika combinatoria yang lebih berorientasi heuristik (van Peursen 1987). Ide-ide ini harus menunggu para pemikir seperti Boole (1854, Investigasi Hukum Pemikiran), Frege (1879, Begriffsschrift),Peirce (yang pada tahun 1886 sudah menyarankan bahwa sirkuit listrik dapat digunakan untuk memproses operasi logis) dan Whitehead dan Russell (1910-1913, Principia Mathematica) untuk menemukan perawatan yang lebih bermanfaat.

3.2 Kode Optimal

Fakta bahwa frekuensi huruf bervariasi dalam suatu bahasa telah dikenal sejak penemuan pencetakan buku. Printer membutuhkan lebih banyak huruf "e" dan "t" daripada "x" atau "q" untuk mengeset teks bahasa Inggris. Pengetahuan ini digunakan secara luas untuk memecahkan kode sandi sejak abad ketujuh belas (Kahn 1967; Singh 1999). Pada tahun 1844, asisten Samuel Morse, Alfred Vail, menentukan frekuensi surat yang digunakan di koran lokal di Morristown, New Jersey, dan menggunakannya untuk mengoptimalkan kode Morse. Dengan demikian inti teori kode optimal sudah ditetapkan jauh sebelum Shannon mengembangkan dasar matematikanya (Shannon 1948; Shannon & Weaver 1949). Secara historis penting tetapi secara filosofis kurang relevan adalah upaya Charles Babbage untuk membangun mesin komputasi (Difference Engine pada 1821,dan Mesin Analitik 1834–1871) dan upaya Ada Lovelace (1815–1852) untuk merancang apa yang dianggap sebagai bahasa pemrograman pertama untuk Mesin Analitik.

3.3 Angka

Cara paling sederhana untuk merepresentasikan angka adalah melalui sistem unary. Di sini panjang representasi angka sama dengan ukuran angka itu sendiri, yaitu, angka "sepuluh" diwakili sebagai "". Sistem bilangan Romawi klasik adalah perbaikan karena mengandung simbol yang berbeda untuk urutan besarnya yang berbeda (satu = I, sepuluh = X, ratus = C, ribuan = M). Sistem ini memiliki kelemahan yang sangat besar karena pada prinsipnya seseorang membutuhkan jumlah simbol yang tak terbatas untuk mengkodekan bilangan asli dan karena ini operasi matematika yang sama (menambahkan, mengalikan, dll.) Mengambil bentuk yang berbeda dengan urutan besaran yang berbeda. Sekitar 500 M, angka nol ditemukan di India. Dengan menggunakan nol sebagai pengganti, kita dapat mengkodekan angka tak terhingga dengan seperangkat simbol yang terbatas (satu = I, sepuluh = 10, ratus = 100, ribu = 1000 dll.). Dari perspektif modern, jumlah sistem posisi yang tak terbatas dimungkinkan selama kita memiliki 0 sebagai placeholder dan sejumlah simbol lainnya. Sistem angka desimal normal kami memiliki sepuluh digit "0, 1, 2, 3, 4, 5, 6, 7, 8, 9" dan mewakili angka dua ratus lima puluh lima sebagai "255". Dalam sistem bilangan biner, kita hanya memiliki simbol "0" dan "1". Di sini dua ratus lima puluh lima diwakili sebagai "11111111". Dalam sistem heksadesimal dengan 16 simbol (0, 1, 2, 3, 4, 5, 6, 7, 8, 9, a, b, c, d, e, f) angka yang sama dapat dituliskan sebagai "ff". Perhatikan bahwa panjang representasi ini sangat berbeda. Menggunakan representasi ini, operasi matematika dapat distandarisasi terlepas dari urutan besarnya angka yang kita hadapi, yaitu, kemungkinan perlakuan algoritmik yang seragam untuk fungsi matematika (penambahan,pengurangan, perkalian, dan pembagian, dll.) dikaitkan dengan sistem posisi seperti itu.

Konsep sistem bilangan posisional dibawa ke Eropa oleh matematikawan Persia al-Khwarizmi (sekitar 780 – ca. 850 M). Karya utamanya tentang angka (sekitar 820 M) diterjemahkan ke dalam bahasa Latin sebagai Liber Algebrae et Almucabola pada abad kedua belas, yang memberi kita di antara hal-hal lain istilah "aljabar". Kata kami "algoritma" berasal dari Algoritmi, bentuk Latin dari namanya. Sistem angka posisi menyederhanakan perhitungan komersial dan ilmiah.

Pada 1544 Michael Stifel memperkenalkan konsep eksponen angka dalam Arithmetica integra (1544). Dengan demikian 8 dapat ditulis sebagai (2 ^ 3) dan 25 sebagai (5 ^ 2). Gagasan eksponen segera menyarankan gagasan logaritma sebagai fungsi kebalikannya: (log_b b ^ a) = a). Stifel membandingkan urutan aritmatika:

[-3, -2, -1, 0, 1, 2, 3)

di mana istilah 1 memiliki perbedaan 1 dengan urutan geometris:

) frac {1} {8}, / frac {1} {4}, / frac {1} {2}, 1, 2, 4, 8)

di mana persyaratan memiliki rasio 2. Notasi eksponen memungkinkan dia untuk menulis ulang nilai-nilai tabel kedua sebagai:

[2 ^ {- 3}, 2 ^ {- 2}, 2 ^ {- 1}, 2 ^ 0, 2 ^ 1, 2 ^ 2, 2 ^ 3)

yang menggabungkan dua tabel. Ini bisa dibilang adalah tabel logaritmik pertama. Teori logaritma yang lebih definitif dan praktis dikembangkan oleh John Napier (1550–1617) dalam karya utamanya (Napier 1614). Dia menciptakan istilah logaritma (logo + aritmatika: rasio angka). Seperti yang jelas dari kecocokan antara aritmatika dan progres geometri, logaritma mengurangi jumlah produk:

) log_b (xy) = / log_b (x) + / log_b (y))

Mereka juga mengurangi pembagian perbedaan:

) log_b (x / y) = / log_b (x) - / log_b (y))

dan kekuatan untuk produk:

) log_b (x ^ p) = p / log_b (x))

Setelah publikasi tabel logaritmik oleh Briggs (1624) teknik baru ini memfasilitasi perhitungan kompleks dengan cepat mendapatkan popularitas.

3.4 Fisika

Galileo (1623) sudah menyarankan bahwa analisis fenomena seperti panas dan tekanan dapat dikurangi untuk mempelajari pergerakan partikel elementer. Dalam metodologi empiris ini dapat dipahami sebagai pertanyaan bagaimana pengalaman sensorik dari kualitas sekunder panas suatu benda atau gas dapat direduksi menjadi pergerakan partikel. Bernoulli (Hydrodynamica yang diterbitkan pada 1738) adalah yang pertama mengembangkan teori kinetik gas di mana fenomena yang diamati secara makroskopik dijelaskan dalam hal kondisi mikro sistem partikel yang mematuhi hukum mekanika Newton, tetapi itu merupakan upaya intelektual untuk muncul. dengan perawatan matematika yang memadai. Clausius (1850) membuat langkah konklusif ketika ia memperkenalkan gagasan tentang jalan bebas rata-rata partikel antara dua tabrakan. Ini membuka jalan bagi perawatan statistik oleh Maxwell yang merumuskan distribusinya pada 1857, yang merupakan hukum statistik pertama dalam fisika. Formula definitif yang mengikat semua konsep menjadi satu (dan itu terukir di batu nisannya, meskipun formula sebenarnya adalah karena Planck) dikembangkan oleh Boltzmann:

[S = k / log W)

Ini menggambarkan entropi S suatu sistem dalam hal logaritma dari jumlah kemungkinan mikro W, konsisten dengan keadaan makroskopik yang dapat diamati dari sistem, di mana k adalah konstanta Boltzmann yang terkenal. Dalam semua kesederhanaannya, nilai formula ini untuk sains modern sulit ditaksir terlalu tinggi. Ungkapan “(log W)” dapat, dari perspektif teori informasi, diinterpretasikan dengan berbagai cara:

  • Sebagai jumlah entropi dalam sistem.
  • Karena panjang angka yang diperlukan untuk menghitung semua kemungkinan kondisi mikro konsisten dengan pengamatan makroskopik.
  • Sebagai panjang indeks optimal kita perlu mengidentifikasi kondisi mikro saat ini yang tidak diketahui spesifik dari sistem, yaitu, itu adalah ukuran dari "kurangnya informasi" kami.
  • Sebagai ukuran untuk probabilitas setiap keadaan mikro khusus sistem konsisten dengan pengamatan makroskopis.

Dengan demikian ia menghubungkan sifat aditif logaritma dengan kualitas luas dari entropi, probabilitas, tipikal dan informasi dan ini merupakan langkah mendasar dalam penggunaan matematika untuk menganalisis alam. Kemudian Gibbs (1906) memperbaiki rumus:

[S = - / sum_i p_i / ln p_i,)

di mana (p_i) adalah probabilitas bahwa sistem berada dalam microstate (i ^ { textrm {th}}). Formula ini diadopsi oleh Shannon (1948; Shannon & Weaver 1949) untuk mengkarakterisasi entropi komunikasi dari suatu sistem pesan. Meskipun ada hubungan yang erat antara perlakuan matematis entropi dan informasi, interpretasi yang tepat dari fakta ini telah menjadi sumber kontroversi sejak itu (Harremo & Topsøe 2008; Bais & Farmer 2008).

4. Perkembangan dalam Filsafat Informasi

Teori-teori informasi modern muncul di pertengahan abad ke-20 dalam iklim intelektual spesifik di mana jarak antara sains dan bagian-bagian filsafat akademis cukup besar. Beberapa filsuf menunjukkan sikap anti-ilmiah tertentu: Heidegger, “Die Wissenschaft denkt nicht. Di sisi lain para filsuf dari Wiener Kreis terang-terangan mendiskreditkan filsafat tradisional sebagai berurusan dengan masalah ilusi (Carnap 1928). Program penelitian positivisme logis adalah rekonstruksi filosofi yang ketat berdasarkan kombinasi empirisme dan kemajuan terbaru dalam logika. Mungkin karena iklim intelektual inilah perkembangan awal yang penting dalam teori informasi terjadi secara terpisah dari refleksi filosofis arus utama. Sebuah tengara adalah karya Dretske pada awal tahun delapan puluhan (Dretske 1981). Sejak pergantian abad, minat dalam Filsafat Informasi telah tumbuh pesat, sebagian besar di bawah pengaruh karya Luciano Floridi pada informasi semantik. Juga perkembangan teoritis yang cepat dari komputasi kuantum dan gagasan terkait informasi kuantum telah berakibat pada refleksi filosofis.

4.1 Popper: Informasi sebagai Tingkat Kepalsuan

Program penelitian positivisme logis Wiener Kreis pada paruh pertama abad kedua puluh merevitalisasi proyek empirisme yang lebih tua. Ambisinya adalah merekonstruksi pengetahuan ilmiah berdasarkan pengamatan langsung dan hubungan logis antara pernyataan tentang pengamatan itu. Kritik lama Kant pada empirisme telah direvitalisasi oleh Quine (1951). Dalam kerangka induksi positivisme logis tidak valid dan sebab-akibat tidak pernah dapat ditetapkan secara objektif. Dalam Logik der Forschung (1934), Popper merumuskan kriteria demarkasi yang terkenal dan ia memposisikan ini secara eksplisit sebagai solusi untuk masalah induksi Hume (Popper 1934 [1977: 42]). Teori-teori ilmiah yang dirumuskan sebagai hukum umum tidak pernah dapat diverifikasi secara definitif, tetapi mereka dapat dipalsukan hanya dengan satu pengamatan. Ini menyiratkan bahwa sebuah teori “lebih” ilmiah jika lebih kaya dan memberikan lebih banyak peluang untuk dipalsukan:

Dengan demikian dapat dikatakan bahwa jumlah informasi empiris yang disampaikan oleh suatu teori, atau konten empirisnya, meningkat dengan tingkat kepalsuannya. (Popper 1934 [1977: 113], penekanan pada aslinya)

Kutipan ini, dalam konteks program penelitian Popper, menunjukkan bahwa ambisi untuk mengukur jumlah informasi empiris dalam teori ilmiah yang dipahami sebagai seperangkat pernyataan logis telah diakui sebagai masalah filosofis lebih dari satu dekade sebelum Shannon merumuskan teorinya tentang informasi. Popper menyadari fakta bahwa konten empiris dari suatu teori terkait dengan kepalsuannya dan bahwa ini pada gilirannya memiliki hubungan dengan probabilitas pernyataan dalam teori tersebut. Teori dengan informasi empiris lebih kecil kemungkinannya. Popper membedakan probabilitas logis dari probabilitas numerik ("yang digunakan dalam teori permainan dan peluang, dan dalam statistik"; Popper 1934 [1977: 119]). Dalam sebuah bagian yang terprogram untuk pengembangan selanjutnya dari konsep informasi ia mendefinisikan pengertian probabilitas logis:

Probabilitas logis dari suatu pernyataan adalah pelengkap dari kepalsuannya: ia meningkat dengan menurunnya tingkat kepalsuan. Probabilitas logis 1 sesuai dengan tingkat 0 kepalsuan dan sebaliknya. (Popper 1934 [1977: 119], penekanan pada aslinya)

Dimungkinkan untuk menginterpretasikan probabilitas numerik sebagai penerapan ke urutan berikutnya (diambil dari relasi probabilitas logis) yang dapat ditentukan sistem pengukurannya, berdasarkan estimasi frekuensi. (Popper 1934 [1977: 119], penekanan pada aslinya)

Popper tidak pernah berhasil merumuskan teori formal yang baik untuk mengukur jumlah informasi ini walaupun dalam tulisan-tulisan selanjutnya ia menyarankan bahwa teori informasi Shannon mungkin berguna (Popper 1934 [1977], 404 [Lampiran IX, dari 1954]). Isu-isu ini kemudian dikembangkan dalam filsafat sains. Teori konformasi mempelajari teori induksi dan cara di mana bukti “mendukung” teori tertentu (Huber 2007 [OIR]). Meskipun karya Carnap memotivasi perkembangan penting dalam filsafat ilmu dan filsafat informasi, hubungan antara kedua disiplin tampaknya telah hilang. Tidak ada penyebutan teori informasi atau salah satu karya yang lebih mendasar dalam filsafat informasi dalam Kuipers (2007a), tetapi kedua disiplin ilmu tersebut tentunya memiliki domain yang tumpang tindih. (Lihat, misalnya,diskusi tentang apa yang disebut Black Ravens Paradox oleh Kuipers (2007b) dan Rathmanner & Hutter (2011).)

4.2 Shannon: Informasi yang Ditentukan dalam Ketentuan Probabilitas

Dalam dua makalah tengara Shannon (1948; Shannon & Weaver 1949) menandai entropi komunikasi dari sistem pesan A:

[H (P) = - / sum_ {i / in A} p_i / log_2 p_i)

Di sini (p_i) adalah probabilitas pesan i dalam A. Ini persis formula untuk entropi Gibb dalam fisika. Penggunaan basis-2 logaritma memastikan bahwa panjang kode diukur dalam bit (digit biner). Sangat mudah terlihat bahwa entropi komunikasi suatu sistem adalah maksimal ketika semua pesan memiliki probabilitas yang sama dan dengan demikian adalah tipikal.

Jumlah informasi yang saya dalam pesan individu x diberikan oleh:

[I (x) = - / log p_x)

Formula ini, yang dapat diartikan sebagai kebalikan dari entropi Boltzmann, mencakup sejumlah intuisi dasar kita tentang informasi:

  • Pesan x memiliki probabilitas tertentu (p_x) antara 0 dan 1 terjadi.
  • Jika (p_x = 1) maka (I (x) = 0). Jika kita yakin untuk mendapatkan pesan, secara harfiah tidak ada "berita" di al. Semakin rendah probabilitas pesan, semakin banyak informasi yang dikandungnya. Pesan seperti "Matahari akan terbit besok" tampaknya mengandung informasi yang lebih sedikit daripada pesan "Yesus adalah Kaisar" karena pernyataan kedua sangat mungkin dipertahankan oleh siapa pun (meskipun dapat ditemukan di web).
  • Jika dua pesan x dan y tidak berhubungan maka (I (x / textrm {dan} y) = I (x) + I (y)). Informasi sangat luas. Jumlah informasi dalam dua pesan gabungan sama dengan jumlah jumlah informasi dalam pesan individual.

Informasi sebagai log negatif dari probabilitas adalah satu-satunya fungsi matematika yang persis memenuhi kendala ini (Cover & Thomas 2006). Shannon menawarkan kerangka teori di mana string biner dapat ditafsirkan sebagai kata-kata dalam bahasa (pemrograman) yang berisi sejumlah informasi tertentu (lihat 3.1 Bahasa). Ekspresi (- / log p_x) tepat memberikan panjang kode optimal untuk pesan x dan dengan demikian memformalkan intuisi lama bahwa kode lebih efisien ketika huruf sering mendapatkan representasi yang lebih pendek (lihat 3.2 kode optimal). Logaritma sebagai pengurangan multiplikasi ke penjumlahan (lihat 3.3 Angka) adalah representasi alami dari sifat-sifat sistem yang luas dan sudah digunakan oleh fisikawan pada abad ke-19 (lihat 3.4 Fisika).

Salah satu aspek informasi yang tidak dicakup oleh definisi Shannon secara eksplisit adalah isi pesan yang ditafsirkan sebagai proposisi. Jadi pernyataan "Yesus adalah Kaisar" dan "Bulan terbuat dari keju hijau" dapat membawa jumlah informasi yang sama sementara artinya sama sekali berbeda. Sebagian besar upaya dalam filsafat informasi telah diarahkan ke perumusan teori informasi yang lebih semantik (Bar-Hillel & Carnap 1953; Floridi 2002, 2003, 2011). Meskipun proposal Shannon pada awalnya hampir sepenuhnya diabaikan oleh para filsuf, pada dekade lalu telah menjadi jelas bahwa dampaknya terhadap masalah filosofis adalah besar. Dretske (1981) adalah salah satu yang pertama untuk menganalisis implikasi filosofis dari teori Shannon,tetapi hubungan yang tepat antara berbagai sistem logika dan teori informasi masih belum jelas (lihat 6.6 Informasi Logika dan Semantik).

4.3 Solomonoff, Kolmogorov, Chaitin: Informasi sebagai Panjang Program

Masalah ini menghubungkan seperangkat pernyataan dengan serangkaian pengamatan dan mendefinisikan probabilitas yang sesuai diambil oleh Carnap (1945, 1950). Dia membedakan dua bentuk probabilitas: Probabilitas (_ 1) atau "tingkat konfirmasi" (P_1 (h; e)) adalah hubungan logis antara dua kalimat, hipotesis h dan kalimat e yang melaporkan serangkaian pengamatan. Pernyataan jenis ini bersifat analitis atau kontradiktif. Bentuk kedua, Probabilitas (_ 2) atau "frekuensi relatif", adalah konsep statistik. Dalam kata-kata muridnya Solomonoff (1997):

Model probabilitas Carnap dimulai dengan urutan panjang simbol yang merupakan deskripsi seluruh alam semesta. Melalui analisis linguistik formalnya sendiri, ia mampu menetapkan probabilitas apriori pada serangkaian simbol yang mungkin mewakili alam semesta.

Metode untuk menetapkan probabilitas yang digunakan Carnap, tidak universal dan sangat bergantung pada sistem kode yang digunakan. Teori umum induksi menggunakan aturan Bayes hanya dapat dikembangkan ketika kita dapat menetapkan probabilitas universal untuk "string yang mungkin" simbol. Dalam sebuah makalah pada tahun 1960 Solomonoff (1960, 1964a, b) adalah orang pertama yang membuat sketsa garis besar solusi untuk masalah ini. Dia merumuskan gagasan tentang apa yang sekarang disebut distribusi probabilitas universal: pertimbangkan rangkaian semua string hingga yang mungkin sebagai program untuk mesin Turing universal U dan tentukan probabilitas string x simbol dalam hal panjang program terpendek p yang menghasilkan x pada U.

Gagasan Teori Informasi Algoritma ini ditemukan secara mandiri agak kemudian secara terpisah oleh Kolmogorov (1965) dan Chaitin (1969). Levin (1974) mengembangkan ekspresi matematika dari universal a priori probabilitas sebagai universal (yaitu, maksimal) semimikomputasi semimikomputasi M, dan menunjukkan bahwa logaritma negatif dari (M (x)) bertepatan dengan kompleksitas Kolmogorov dari x hingga istilah logaritmik aditif. Definisi sebenarnya dari ukuran kompleksitas adalah:

Kolmogorov kompleksitas Kompleksitas algoritmik dari string x adalah panjang (cal {l} (p)) dari program terkecil p yang menghasilkan x ketika dijalankan pada mesin Turing universal U, dicatat sebagai (U (p)) = x):

[K (x): = / min_p {l (p), U (p) = x })

Teori Informasi Algoritmik (alias teori kompleksitas Kolmogorov) telah berkembang menjadi bidang penelitian yang kaya dengan beragam domain aplikasi yang banyak di antaranya relevan secara filosofis (Li & Vitányi 1997):

  • Ini memberi kita teori umum tentang induksi. Penggunaan aturan Bayes memungkinkan reformulasi modern pisau cukur Ockham dalam hal Panjang Deskripsi Minimum (Rissanen 1978, 1989; Barron, Rissanen, & Yu 1998; Grünwald 2007) dan panjang pesan minimum (Wallace 2005). Perhatikan bahwa Domingos (1998) telah menentang validitas umum prinsip-prinsip ini.
  • Ini memungkinkan kita untuk merumuskan probabilitas dan konten informasi untuk objek individual. Bahkan bilangan alami individu.
  • Ini meletakkan dasar untuk teori belajar sebagai kompresi data (Adriaans 2007).
  • Ini memberikan definisi keacakan string dalam hal tidak dapat dimampatkan. Ini sendiri telah menyebabkan domain penelitian yang sama sekali baru (Niess 2009; Downey & Hirschfeld 2010).
  • Ini memungkinkan kita untuk merumuskan tujuan sebagai ukuran apriori dari nilai prediktif teori dalam hal kekurangan keacakannya: yaitu, teori terbaik adalah teori terpendek yang membuat data tampak acak bersyarat pada teori. (Vereshchagin & Vitányi 2004).

Ada juga sisi-bawah:

  • Kompleksitas algoritmik tidak dapat dihitung, walaupun dalam banyak kasus praktis dapat diperkirakan dan program kompresi komersial dalam beberapa kasus mendekati optimum teoretis (Cilibrasi & Vitányi 2005).
  • Kompleksitas algoritmik adalah ukuran asimptotik (yaitu memberikan nilai yang benar hingga konstan). Dalam beberapa kasus nilai konstanta ini adalah penghalang untuk digunakan dalam tujuan praktis.
  • Meskipun teori terpendek selalu yang terbaik dalam hal kekurangan keacakan, penambahan kompresi alt="ikon sep man" /> Bagaimana mengutip entri ini.

    ikon sep man
    ikon sep man

    Pratinjau versi PDF dari entri ini di Friends of the SEP Society.

    ikon inpho
    ikon inpho

    Cari topik entri ini di Internet Ontology Philosophy Project (InPhO).

    ikon makalah phil
    ikon makalah phil

    Bibliografi yang disempurnakan untuk entri ini di PhilPapers, dengan tautan ke basis datanya.

    Sumber Daya Internet lainnya

    • Aaronson, Scott, 2006, Alasan Percaya, Posting blog yang dioptimalkan Shtetl, 4 September 2006.
    • Adriaans, Pieter W., 2016, "Teori Umum Informasi dan Komputasi", naskah yang tidak diterbitkan, November 2016, arXiv: 1611.07829.
    • Bekenstein, Jacob D., 1994, “Apakah Kita Memahami Entropi Lubang Hitam?”, Pleno berbicara di pertemuan Ketujuh Marcel Grossman di Universitas Stanford., ArXiv: gr-qc / 9409015.
    • Churchill, Alex, 2012, Magic: the Gathering is Turing Complete.
    • Cook, Stephen, 2000, Masalah P versus NP, Clay Mathematical Institute; Masalah Hadiah Milenium.
    • Huber, Franz, 2007, Konfirmasi dan Induksi, masuk dalam Internet Encyclopedia of Philosophy.
    • Sajjad, H. Rizvi, 2006, “Avicenna / Ibn Sina”, entri di Internet Encyclopedia of Philosophy.
    • Goodman, L. dan Weisstein, EW, 2019, "Hipotesis Riemann", Dari MathWorld - A Resource Web Wolfram.
    • Komputasi - Apa artinya menyanggah tesis Church-Turing ?, diskusi tentang Theoretical Computer Science StackExchange.
    • Teorema Nomor Perdana, Encyclopedia Britannica, 20 Desember 2010.
    • Penghasil angka acak perangkat keras, entri Wikipedia, November 2018.

Direkomendasikan: