Bahasa :
SWEWE Anggota :Login |Pendaftaran
Cari
Masyarakat ensiklopedia |Ensiklopedia Jawaban |Kirim pertanyaan |Pengetahuan kosakata |Upload pengetahuan
Sebelumnya 1 Berikutnya Pilih Halaman

Logika Probabilistik

Logika induktif tipe modern. Hal ini ditandai dengan penggunaan logika modern dan alat-alat matematika, terutama penggunaan logika matematika dan teori probabilitas pada logika induktif, metode induktif diformalkan, penelitian kuantitatif. Aristoteles, dalam diskusi tentang masalah induksi telah mengangkat interpretasi frekuensi probabilitas mirip dengan ide. GW Leibniz kemudian menggunakan tiga nilai (0,1,1 / 2) perkiraan probabilitas diukir fitur, dan mengusulkan untuk logika probabilitas sebagai cabang. JS Mill dalam "sistem logika", sebuah buku, G. boolean "Pada hukum berpikir," buku dibahas dengan ruang yang cukup antara induksi dan probabilitas. Studi ini menunjukkan induksi dan mengukur probabilitas yang relevan.

Pengantar singkat

Logika Probabilistik

logika probabilistik

Dalam matematika, teori probabilitas dari abad ke-17, setelah B. Bass Gal, P. Fermat, J. Bernoulli dan bekerja P.-S. Laplace orang lain, abad ke-19 cenderung untuk menyelesaikan, dalam Sains dan Teknologi dan telah banyak digunakan. Akhir abad 19 dan awal abad ke-20, munculnya bertahap probabilitas kalkulus sistem aksioma, di mana Soviet AN Kolmogorov pada tahun 1933 aksioma yang diusulkan dampak yang lebih besar.Logikanya, pengenalan metode formal dan matematika untuk abad ke-20 logika deduktif awal telah mengembangkan lebih lengkap. B. Russell dan AN Whitehead pada tahun 1910 untuk menyelesaikan "Principia Mathematica", yang dapat dilihat sebagai logika matematika sampai batas tertentu hasil yang sempurna.

Dalam sejarah filsafat, D. Hume telah mengusulkan ketidaksetujuan diringkas. Oleh F. Bacon, Mill, diwakili oleh Inductivism klasik menghadapi tantangan berat. Positivisme, empirisme logis dalam rangka memenuhi Hume "problem induksi", dan mampu memberikan interpretasi yang sesuai teori-teori ilmiah, bukti proposisi menempatkan induksi pertanyaan berubah menjadi "dikonfirmasi" masalah, dan nilai probabilitas sebagai ukuran konfirmasi, Jadi pada tahun 1920 muncul dalam logika probabilistik, Cambridge filsuf KAMI Johnson pertama kali dipelajari masalah logika probabilistik, tetapi berlaku umum JM Keynes menyatakan probabilistik logika sistem aksioma pertama. J. De Nike, F. Weisman, H. Jeffries, GHvon Wright dan H. Reichenbach, yang telah bekerja untuk pembentukan probabilistik logika pekerjaan yang berarti. Salah satu yang paling berpengaruh, karya R. Carnap di tahun 1950-an.

Teori probabilitas dan sistem logika dalam banyak kesulitan yang dihadapi dalam praktek. Logika probabilistik pada dasarnya adalah interpretasi logika induktif, tetapi ada juga masalah metodologis, tetapi telah dibesarkan di beberapa paradoks logika induktif. Dari tahun 1950-an setelah logika probabilistik dalam matematika modern, alat logika matematika di bawah pengaruh kemajuan yang dibuat di banyak daerah, maka semakin dikombinasikan dengan ilmu pengetahuan modern dan teknologi menghadapi terobosan baru.

Teks

Logika induktif tipe modern. Hal ini ditandai dengan penggunaan logika modern dan alat-alat matematika, terutama penggunaan logika matematika dan teori probabilitas (lihat probabilitas) untuk logika induktif, metode induktif diformalkan, penelitian kuantitatif. Dapat dikatakan, logika probabilistik diformalkan, jumlah logika induktif.

Sejarah Singkat

Aristoteles, dalam diskusi tentang masalah induksi telah mengangkat interpretasi frekuensi probabilitas mirip dengan ide. GW Leibniz kemudian menggunakan tiga nilai (0,1,1 / 2) selama sekitar mencirikan probabilitas fitur, dan mengusulkan untuk logika probabilitas sebagai cabang. Dia bahkan metode probabilistik dan logis atas pemilihan raja Polandia. JS Mill dalam "sistem logika", sebuah buku, G. boolean "Pada hukum berpikir," buku dibahas dengan ruang yang cukup antara induksi dan probabilitas. Studi ini menunjukkan induksi dan mengukur probabilitas yang relevan.

Dalam matematika, sejak abad ke-17, setelah B. Bass Gal, P. Fermat, J. Bernoulli dan bekerja P.-S. Laplace orang lain, abad ke-19, telah membentuk relatif lengkap teori probabilitas, dan ilmu pengetahuan dan teknologi telah banyak digunakan. Akhir abad 19 dan awal abad ke-20, munculnya bertahap probabilitas kalkulus sistem aksioma, di mana Uni Soviet Α.Н. Pada 1933 Kolmogorov aksioma yang diusulkan dampak yang lebih besar.

Logikanya, sejak diperkenalkannya logika deduktif formal dan pendekatan matematis sampai awal abad ke-20 telah mengembangkan lebih lengkap. BAW Russell dan AN Whitehead pada tahun 1910 untuk menyelesaikan "Principia Mathematica", yang dapat dilihat sebagai logika matematika sampai batas tertentu hasil yang sempurna.

Dalam sejarah filsafat, D. Hume telah mengusulkan ketidaksetujuan diringkas. Oleh F. Bacon, Mill, diwakili oleh Inductivism klasik menghadapi tantangan berat. Positivisme, empirisme logis dalam rangka memenuhi Hume "problem induksi", dan mampu memberikan interpretasi yang sesuai teori-teori ilmiah, bukti proposisi menempatkan induksi pertanyaan berubah menjadi "dikonfirmasi" masalah, dan nilai probabilitas sebagai ukuran konfirmasi, Jadi pada tahun 1920 muncul logika probabilistik. Cambridge filsuf KAMI Johnson pertama kali dipelajari masalah logika probabilistik, tetapi berlaku umum JM Keynes menyatakan probabilistik logika sistem aksioma pertama. J. De Nike, F. Weisman, H. Jeffries, GHvon Wright dan H. Reichenbach, yang telah bekerja untuk pembentukan probabilistik logika pekerjaan yang berarti. Salah satu yang paling berpengaruh, karya R. Carnap di tahun 1950-an.

Sistem logika probabilistik

Struktur Umum

Ada sistem yang berbeda logika probabilistik, tetapi sebagian besar struktur memiliki beberapa karakteristik umum. Biasanya yang pertama memberi sistem aksioma kalkulus probabilitas, maka probabilitas dari definisi bentuk dan sistem memberikan interpretasi semantik serupa benar diberikan dalam bentuk sistem, dan kemudian ditangani agar penalaran induktif, yang digunakan dalam alat kalkulus probabilitas terutama Teorema Bayes 'Teorema dan Bernoulli.

Rumus

Keynes pada tahun 1921 diberikan sistem logika probabilistik, proposisi dan h premis hubungan antara probabilitas p dilambangkan oleh / h = p. Sistem ini memberikan definisi awal 19, dan ada tujuh aksioma. Namun sistem ini tidak cukup ketat. Wright tahun 1940-an memberikan sistem aksioma kalkulus probabilitas terdiri dari enam aksioma: ① proposisi proposisi h p probabilitas untuk gelar lain adalah unik, dengan p / h representasi; ② 0 ≤ p / h ≤ 1; ③ Jika h → p , p / h = 1; ④ jika h → p, maka p / h = 0; ⑤ p ∧ g / h = p / h × g / p ∧ h = g / h × p / g ∧ jam; ⑥ p ∧ q / h = p / h q / q ∧ hp / jam. ⑤ ⑥ dan yang perkalian dan penambahan Teorema Teorema. Teorema Bayes 'teorema Bernoulli dan dapat diberikan oleh lemma.

Penjelasan

Mengingat sistem aksioma untuk interpretasi probabilistik dari hubungan antara Keynes dengan koleksi pengumpulan bukti dan asumsi yang menjelaskan hubungan antara set derajat probabilitas. Simbol yang diberikan dalam P nya (a / h) = 1 / b, nilai probabilitas 1 / b diatur a, b antara. Tetapi karena ia berurusan dengan makna hubungan ini tidak jelas, sehingga dia menjelaskan ada kelemahan serius. Reichenbach dijelaskan oleh frekuensi relatif probabilitas bahwa proposisi sebagai rangkaian bukti A dan B sebagai urutan proposisi hipotetis tersirat kemungkinan ada antara hubungan dan dinyatakan sebagai AЭB a. Э diperkenalkan sebagai simbol awal, (P (A, B) = p) = df (A Xi B), p merupakan probabilitas. Dia menunjukkan bahwa kesimpulan proposisi induktif benar, pada dasarnya, mengacu pada proposisi tentang keberadaan tertentu batas frekuensi urutan, yang memenuhi nilai probabilitas tertentu. Dalam pandangannya, penalaran induktif adalah tingkat hubungan dengan probabilitas asimtotik ditentukan (menempatkan), nilai yang terkait dengan multi-nilai logika, tetapi dalam beberapa jenis nilai sektor publik yang diberikan di bawah kondisi imbalan logika dua-nilai . Carnap pada tahun 1950 menekankan perlunya membedakan antara probabilitas 1 dan probabilitas 2, yang pertama adalah probabilitas logis bahwa tingkat probabilitas induktif atau konfirmasi, menggunakan fungsi representasi C, C (h, e) = p berarti bahwa bukti untuk hipotesis h derajat e pembuktian, nilainya adalah probabilitas p, frekuensi interpretasi probabilitas yang terakhir, tapi ia tidak diterima. Dia memberikan probabilitas interpretasi semantik. Dia mengikuti metode logika deduktif, pertama dengan kata-kata yang diberikan agar logika sistem L, dan kemudian dalam mengambil domain nomor alam £ N, dan akan digunakan untuk sepenuhnya menggambarkan bidang individu dari himpunan laporan semua negara yang mungkin didefinisikan sebagai deskripsi negara , nilai dari setiap pernyataan oleh negara untuk memenuhi deskripsi OK. Jadi setelah perlakuan tertentu, Anda dapat menggunakan metode epitaksi pernyataan untuk menentukan jangkauan dan untuk mengukur pengukuran M fungsi. Jadi, C ditentukan oleh M, C (h, e) = M (h ∧ e) / M (e), jika M (e) ≠ 0, atau C (h, e) tidak didefinisikan. Dengan demikian, induksi pada h e proposisi adalah bagian dari implikasi.

Kesimpulan

Hal ini menunjukkan bahwa Carnap adalah menyeluruh dengan logika deduktif dan logika induktif pendekatan epitaxial untuk masalah ini. Pada interpretasi sistem aksioma probabilitas, ada penafsiran subjektif dari probabilitas, yang melekat dalam proses induksi faktor-faktor subyektif yang relevan. Penelitian di daerah ini dan keyakinan, teori keputusan dan sebagainya.

Sistem logika probabilistik dalam teori dan praktek menghadapi berbagai kesulitan. Logika probabilistik pada dasarnya adalah interpretasi logika induktif, tetapi ada juga masalah metodologis, tetapi telah dibesarkan di beberapa paradoks logika induktif. Dari tahun 1950-an setelah logika probabilistik dalam matematika modern, alat logika matematika di bawah pengaruh kemajuan yang dibuat di banyak daerah, maka semakin dikombinasikan dengan ilmu pengetahuan modern dan teknologi sedang menghadapi sebuah terobosan baru


Sebelumnya 1 Berikutnya Pilih Halaman
Pemakai Ulasan
Belum ada komentar
Saya ingin komentar [Pengunjung (3.19.*.*) | Login ]

Bahasa :
| Periksa kode :


Cari

版权申明 | 隐私权政策 | Hak cipta @2018 Dunia pengetahuan ensiklopedis