PROPOSISI
Dalam logika modern, suatu proposisi adalah apa yang dihasilkan dengan mengucapkan suatu kalimat. Dengan kata lain, hal ini merupakan arti dari kalimat itu, dan bukan kalimat itu sendiri. Kalimat yg berbeda dapat mengekspresikan proposisi yang sama, jika artinya sama.
Proposisi adalah kalimat yang mengungkapkan sesuatu yang benar atau salah. Dalam filsafat , terutama dalam logika , proposisi yang diidentifikasi ontologis sebagai gagasan , konsep , atau abstraksi yang token contoh adalah pola simbol , tanda, suara, atau string dari kata-kata . Proposisi dianggap sintaktis entitas dan juga truthbearers .
Keberadaan proposisi dalam pengertian abstrak, serta adanya "makna", diperselisihkan oleh beberapa filsuf. Dimana konsep "yang berarti" adalah mengakui, alam adalah kontroversial. Dalam penulis teks sebelumnya tidak selalu membuatnya cukup jelas apakah mereka menggunakan istilah proposisi dalam pengertian dari kata atau arti "" diungkapkan dengan kata-kata. Untuk menghindari kontroversi dan ontologis implikasi, istilah kalimat sering sekarang digunakan sebagai pengganti proposisi untuk merujuk kepada hanya yang string simbol yang truthbearers, yang bisa benar atau salah dalam interpretasi. Strawson menganjurkan penggunaan istilah "pernyataan" , dan ini adalah penggunaan saat ini dalam logika matematika.
Penggunaan
Penggunaan dalam Aristoteles
logika Aristoteles mengidentifikasi proposisi sebagai kalimat yang menegaskan atau menyangkal sebuah predikat dari subjek. Sebuah proposisi Aristoteles dapat mengambil bentuk "Semua manusia fana" atau "Socrates adalah seorang laki-laki. Dalam contoh pertama subjek "orang" dan "predikat adalah" fana. Dalam contoh kedua subjek adalah "Socrates" dan predikat adalah "adalah orang".
Penggunaan oleh positivisme logis
Sering kali terkait dengan proposisi kalimat tertutup untuk membedakan mereka dari apa yang dinyatakan oleh kalimat terbuka . Dalam hal ini, proposisi adalah "laporan" yang kebenaran pembawa. Konsepsi ini proposisi didukung oleh sekolah filosofis positivisme logis.
Beberapa filsuf berpendapat bahwa beberapa (atau semua) jenis pembicaraan atau tindakan selain yang deklaratif juga memiliki konten proposisional. Sebagai contoh, ya-tidak pertanyaan proposisi ini, pertanyaan yang ke nilai kebenaran dari mereka. Di sisi lain, beberapa tanda-tanda dapat pernyataan deklaratif dari proposisi tanpa membentuk sebuah kalimat atau bahkan menjadi linguistik, misalnya menyampaikan arti rambu lalu lintas yang baik pasti benar atau salah.
Proposisi juga disebut sebagai isi dari keyakinan dan yang sejenis sikap yang disengaja seperti keinginan, preferensi, dan harapan. Misalnya, "Aku ingin bahwa saya punya mobil baru," atau "Aku ingin tahu apakah akan salju" (atau, apakah kasus yang "akan salju"). Keinginan, keyakinan, dan seterusnya, dengan demikian disebut sikap proposisional ketika mereka mengambil jenis konten.
Penggunaan oleh Russell
Bertrand Russell menyatakan bahwa proposisi yang terstruktur entitas dengan benda dan sifat sebagai konstituen. Orang lain telah menyatakan bahwa proposisi adalah himpunan kemungkinan dunia / negara bagian urusan yang benar. Satu perbedaan penting antara pandangan-pandangan ini adalah bahwa pada rekening Russellian, dua proposisi yang benar dalam semua urusan negara yang sama masih dapat dibedakan. Misalnya, proposisi bahwa dua ditambah dua sama dengan empat berbeda pada rekening Russellian dari tiga ditambah tiga sama dengan enam. Jika proposisi adalah set kemungkinan dunia, namun, maka semua kebenaran matematika adalah himpunan yang sama (himpunan semua kemungkinan dunia).
Hubungan dengan pikiran
Sehubungan dengan pikiran, proposisi dibahas terutama ketika mereka masuk ke dalam sikap proposisional. Sikap proposisional hanya sikap karakteristik psikologi rakyat (keyakinan, keinginan, dll) yang bisa naik menuju proposisi (misalnya 'itu adalah hujan', 'salju berwarna putih', dll). Dalam bahasa Inggris, proposisi biasanya mengikuti sikap psikologis orang dengan "yang klausa" (misalnya "Jane percaya bahwa hujan"). Dalam filosofi pikiran dan psikologi , keadaan mental sering dibawa ke terutama terdiri dalam sikap proposisional. Proposisi biasanya dikatakan isi "mental" dari sikap. Misalnya, jika Jane keadaan mental percaya bahwa itu adalah hujan, konten mentalnya adalah proposisi 'itu adalah hujan'. Selanjutnya, karena keadaan mental seperti itu tentang sesuatu (yaitu proposisi), mereka dikatakan disengaja keadaan mental. Perdebatan filosofis proposisi sekitarnya karena terkait dengan sikap proposisional juga baru-baru ini berpusat pada apakah mereka internal atau eksternal untuk agen atau apakah mereka adalah tergantung pada pikiran atau pikiran-entitas independen (lihat entri pada internalism dan externalism dalam filsafat pikiran).
Perawatan dalam logika
Seperti disebutkan di atas, dalam logika Aristotelian proposisi adalah jenis kalimat tertentu, salah satu yang menegaskan atau menyangkal sebuah predikat dari subjek . Proposisi Aristoteles mengambil bentuk seperti "Semua manusia fana" dan "Socrates adalah seorang laki-laki."
Dalam logika matematika , proposisi, juga disebut " formula proposisional "atau bentuk pernyataan" ", adalah pernyataan yang tidak mengandung kata bilangan. Mereka terdiri dari-dibentuk formula baik yang terdiri sepenuhnya dari rumus atom, lima konjungsi logis, dan simbol pengelompokan (tanda kurung dll). Proposisional logika adalah salah satu dari beberapa bidang matematika yang benar-benar diselesaikan, dalam arti bahwa ia telah terbukti secara internal konsisten, teorema setiap adalah benar, dan setiap pernyataan yang benar dapat dibuktikan. (Dari kenyataan ini, dan Gödel's Theorem , mudah untuk melihat bahwa logika proposisional tidak cukup untuk membangun himpunan bilangan bulat.) Yang paling ekstensi umum logika proposisional disebut logika predikat, yang menambahkan variabel dan kata bilangan.
