Putusan Dan Kesimpulan

Putusan Dan Kesimpulan
Keberatan yang paling umum ke meja Kant penilaian adalah bahwa ia tidak memiliki prinsip untuk menentukan penilaian yang mengambil hanya bentuk-bentuk ini . Hegel dianggap sebagai predicating menilai konsep tercermin dari yang diberikan dalam sensibilitas - dan sehingga hubungan pemikiran untuk menjadi . Kebenaran dari penghakiman akan menjadi identitas pikiran dan keberadaan , dari subjek dan predikat . Hegel dengan demikian mencoba menjelaskan kelengkapan tabel penilaian dengan menunjukkan bagaimana setiap bentuk penghakiman di mana subjek dan predikat gagal untuk menjadi benar-benar identik menyelesaikan sendiri menjadi bentuk baru . Untuk Hegel , kemudian , logika memperoleh systematicity tidak melalui pengurangan berbagai bentuk penghakiman satu sama lain , tetapi dengan menurunkan satu dari yang lain . Ahli logika lainnya , termasuk mereka yang menolak metafisika Hegel , mengikuti Hegel dalam mencoba untuk memperoleh berbagai bentuk dari satu sama lain .

Ahli logika Inggris , di sisi lain , cenderung untuk menanggung systematicity logika dengan mengurangi berbagai bentuk penghakiman satu bentuk umum . Tidak seperti Kant , Whately mengurangi proposisi disjungtif untuk hipotesis dengan cara yang standar , dan ia mengurangi penghakiman hipotetis " Jika A adalah B , maka X adalah Y , " untuk " Kasus A makhluk B adalah kasus X makhluk Y. " Semua penilaian menjadi kategoris , semua penalaran menjadi syllogizing , dan setiap prinsip inferensi direduksi menjadi diktum Aristoteles de omni et nullo . Mansel lebih eksplisit dalam membaca penilaian hipotetis temporal : " . Waktu saat Caius akan terlepas adalah saat-saat ketika ia menulis puisi " ia menafsirkan " Jika Caius akan terlepas , ia menulis puisi " sebagai Mill mendukung prosedur Whately itu , menafsirkan " Jika p maka q " sebagai" proposisi q adalah kesimpulan yang sah dari proposisi p . " Mill , tentu saja , berpikir bahwa penalaran silogisme benar-benar didasarkan pada induksi . Namun dalam merasa perlu untuk mengidentifikasi satu "tipe universal proses penalaran , " Mill berada di satu dengan Whately , Hamilton , dan Mansel , masing-masing berusaha untuk mengurangi induksi untuk silogisme .

Boole terkenal berpendapat bahwa salah satu dan persamaan logis yang sama dapat diartikan baik sebagai sebuah pernyataan tentang kelas-kelas hal , atau sebagai " proposisi sekunder " - proposisi tentang proposisi lainnya . Biarkan " x " mewakili kelas kali di mana proposisi X adalah benar . Mengulangi usulan serupa oleh orang sezamannya , Boole menyatakan " Jika Y maka X " sebagai " y = vx " : " Waktu di mana Y adalah benar merupakan bagian terbatas dari waktu di mana X adalah benar . " Sebagai Frege menunjukkan, membuat kalkulus kelas dan kalkulus proposisi dua interpretasi yang berbeda dari persamaan yang sama mencegah Boole dari menganalisis kalimat yang sama dengan menggunakan bilangan dan operator sentensial secara bersamaan . Frege Begriffsschrift memberikan axiomatization kebenaran logika proporsional fungsional yang tidak tergantung pada konsep waktu atau kalkulus kelas . Dalam hal ini , Frege telah diantisipasi oleh Hugh MacColl . Mandiri , Peirce axiomatized dua-nilai logika kebenaran - fungsional , jelas mengakui bahwa bahan bersyarat , tidak memiliki makna kontrafakta , berbeda dari penggunaan " jika " dalam bahasa alami .

Salah satu ofAmong inovasi yang paling dibicarakan dan paling kontroversial abad ini wereas teori Hamilton dan DeMorgan dari penilaian dengan predikat terukur . Dalam logika tradisional , istilah quantifier " semua " dan " beberapa" hanya diterapkan untuk jangka subjek , dan sebagainya " Semua Sebagaimana B " tidak membedakan antara kasus di mana As adalah subset yang tepat dari B ( di Hamilton language : " semua Seperti beberapa B " ) dan kasus di mana Sebagaimana coextensive dengan B ( " semua Seperti semua B " ) . Sekarang , sebuah keasyikan khas logicians di masa modern adalah untuk sampai pada metode sistematis yang akan menghilangkan kebutuhan untuk mengingat fakta-fakta kasar tentang yang mana dari 256 kemungkinan kasus silogisme yang valid. Sebuah metode yang umum adalah untuk mengurangi semua silogisme ke angka pertama dengan mengkonversi , contoh egfor , " Semua Sebagaimana B " untuk " Beberapa Bs As. " Ini diperlukan siswa untuk menghafal yang penilaian yang tunduk pada yang jenis konversi . Mengukur predikat , bagaimanapun , menghilangkan perbedaan di antara tokoh-tokoh silogisme dan semua peraturan khusus konversi : konversi semua menjadi sederhana - " Semua A adalah beberapa B " setara dengan " Beberapa B adalah semua A. "

Mengingat penyederhanaan diperbolehkan oleh predikat kuantifikasi , Hamilton pikir dia bisa mengurangi semua aturan silogisme satu umum canon . De Morgan benar berpendapat bahwa beberapa bentuk-bentuk baru proposisional Hamilton semantik jelas , dan ia secara independen memberikan sistem dan notasi untuk predikat diukur sendiri . ( . Hamilton kemudian memulai sengketa berantakan lebih prioritas dan plagiarisme dengan De Morgan ) Dalam notasi De Morgan , ada simbol untuk kuantitas istilah ( tanda kurung ) , untuk negasi dari kata kerja penghubung ( titik ) , dan - apa yang baru di de Morgan - untuk sebaliknya atau pelengkap dari kelas ( huruf kecil ) . " Semua Seperti yang ( beberapa ) B " adalah " A ) B. ) " . DeMorgan memberikan aturan untuk interaksi kuantifikasi , pertentangan kelas , dan kopula negasi . Validitas silogisme ditunjukkan sangat mudah , dengan aturan penghapusan sederhana : Barbara adalah " A ) ) B ; B ) ) C , dan sebagainya A ) ) C. " .

Dalam logika tradisional , negasi selalu melekat pada kata kerja penghubung itu "adalah , " dan itu tidak masuk akal untuk berbicara - seperti De Morgan lakukan - istilah menegasikan atau bertentangan . Selanjutnya berangkat dari tradisi , Frege memikirkan negasi yang diterapkan pada seluruh kalimat dan tidak hanya untuk kerja penghubung tersebut . ( Boole , tentu saja , telah secara efektif diperkenalkan sebagai operator negasi sentensial : " . 1 - x " . Ia menyatakan negasi dari X as) Pengenalan istilah bertentangan dipimpin De Morgan untuk membatasi kemungkinan kelas untuk latar belakang " alam semesta sedang dipertimbangkan . " Jika alam semesta ditentukan ( misalnya , sebagai manusia yang hidup ) , maka jika A adalah kelas Britons , adalah kelas manusia yang yang bukan warga Inggris .

Karya De Morgan pada hubungan membawanya untuk membedakan antara hubungan antara dua istilah dan pernyataan dari hubungan tersebut, sehingga memisahkan apa yang sering bingung dalam diskusi tradisional fungsi kopula tersebut . Tapi kurang tanda untuk negasi proposisi , De Morgan tidak secara eksplisit membedakan antara negasi sebagai operator sentential dan penolakan sebuah agen kalimat - kesalahan tidak dibuat oleh Frege .

Logika De Morgan hubungan adalah salah satu dari banyak contoh inovasi logis terhambat oleh kepatuhan terhadap bentuk subjek - kata kerja penghubung - predikat tradisional . Meskipun Bolzano cukup jelas tentang batasan ekspresif logika tradisional dalam hal lain , namun ia memaksa semua proposisi dalam bentuk triadic " subjek memiliki predikat . " . Dalam arti, langkah tegas terhadap bentuk subjek - kata kerja penghubung - predikat diambil oleh Boole , karena persamaan dapat berisi jumlah tak terbatas variabel , dan tidak ada gunanya meminta mana istilah adalah subjek dan predikat yang . Frege melampaui Boole di eksplisit mengakui pentingnya istirahat dengan analisis subjek / predikat kalimat .

De Morgan diperlukan semua persyaratan dalam sistem (dan juga pertentangan mereka ) menjadi non - kosong . Dengan persyaratan ini , mengikuti silogisme non - tradisional ternyata valid : " . Semua Xs adalah Ys , Zs semua adalah Ys , sehingga beberapa hal yang tidak Xs maupun Zs " Boole , di sisi lain , tidak menganggap bahwa simbol kelas dalam simbolisme -nya menjadi tidak kosong . Perdebatan mengenai diperbolehkannya hal dengan ekstensi kosong dovetailed dengan perdebatan lama atas doktrin tradisional bahwa penilaian afirmatif yang universal menyiratkan penilaian afirmatif tertentu . Herbart membantah bahwa istilah subjek dalam penghakiman " A adalah B " harus ada , karena ( misalnya) kita dapat menilai bahwa lingkaran persegi adalah mustahil ; Fries berpendapat bahwa " Beberapa griffin adalah burung " adalah palsu , meskipun " Semua griffin adalah burung " adalah benar . Meskipun Boole sendiri mengikuti tradisi , kemudian Booleans cenderung mengikuti Herbart dan Fries . Mandiri Brentano , sesuai dengan " logika direformasi " dimungkinkan terutama oleh teori eksistensialnya penghakiman , membaca universal afirmatif sebagai "Tidak ada A yang non - B , " dan menyangkal bahwa itu tersirat afirmatif tertentu .

Whately berpendapat bahwa silogisme itu didasarkan pada satu prinsip saja, diktum Aristoteles de omni et nullo : " Apa yang berpredikat baik afirmatif atau negatif , dari istilah didistribusikan , dapat didasarkan dengan cara seperti ( afirmatif atau negatif ) dari setiap hal yang terkandung di bawah itu . istilah " Hamilton berpikir bahwa diktum itu ini diturunkan dari hukum yang lebih mendasar : " bagian dari bagian adalah bagian dari keseluruhan " Mill menolak diktum dan mengidentifikasi dua prinsip silogisme : " . Hal yang hidup berdampingan dengan hal yang sama , hidup berdampingan satu sama lain, " dan " suatu hal yang berdampingan dengan hal lain , dengan yang lain hal yang ketiga tidak hidup berdampingan , tidak hidup berdampingan dengan benda ketiga . " prinsip-prinsip ini adalah hukum tentang fakta , bukan ide-ide , dan ( ia tampaknya untuk menyarankan ) mereka didasarkan pada pengalaman . Mansel berpendapat bahwa diktum bisa berasal dari prinsip-prinsip yang lebih mendasar dari identitas dan kontradiksi , posisi yang diambil sebelumnya oleh Twesten . De Morgan berpendapat bahwa validitas silogisme tergantung pada transitivitas dan komutatif dari kata kerja penghubung tersebut . Dia berpendapat terhadap Mansel bahwa dua sifat ini tidak dapat diturunkan dari prinsip-prinsip kontradiksi dan identitas ( yang memberikan refleksivitas , tidak komutatif atau transitivitas ) .

Pada 1860, De Morgan dianggap silogisme menjadi hanya satu Instansiasi materi dari bentuk yang paling umum dari penalaran : " A adalah L dari B , B adalah M dari C , sehingga A adalah L dari M C. " . Namun demikian , De Morgan berpikir bahwa silogisme dibutuhkan menyelesaikan , tidak membuang : logikanya hubungan adalah Hamilton dimaksudkan sistem nya predikat diukur untuk " lengkap dan menyederhanakan tua, - untuk menempatkan batu di Aristotelic " suasana yang lebih tinggi dari silogisme . " lengkungan . " Demikian pula , Venn kemudian berargumen bahwa logika simbolik Boole generalisasi dan mengembangkan logika umum , dan ia menganjurkan mempertahankan logika silogisme tua di kelas. ( Sikap ini kontras dengan menghina silogisme yang ditunjukkan oleh ahli logika Jerman di generasi Schleiermacher dan Hegel . )

Mungkin kontribusi yang paling dalam dan paling inovatif untuk teori inferensi adalah teori Bolzano tentang deducibility , berdasarkan metode variasi gagasan bahwa ia diperkenalkan dalam Teori of Science . Proposisi C1 , ... , Cn adalah deducible dari P1 , ... , Pm sehubungan dengan beberapa ide i jika setiap substitusi ide j untuk i yang membuat P1 , ... , Pm benar juga membuat C1 , ... , Cn benar . Jika kita membatasi perhatian kita kepada mereka kesimpulan dimana kesimpulan yang deducible sehubungan dengan semua ide-ide logis , kita mengisolasi kelas kesimpulan "formal" . Bolzano demikian mampu memilih semua kesimpulan logis benar dengan cara yang berbeda secara fundamental dari orang sezamannya : ia tidak mencoba untuk mengurangi semua kesimpulan mungkin untuk salah satu bentuk umum , dan ia tidak perlu tanah keabsahan deduksi dalam menyeluruh prinsip , seperti diktum Aristoteles atau prinsip identitas . Bolzano mengakui , bagaimanapun, bahwa ia tidak memiliki daftar lengkap atau sistematis ide-ide logis - jadi idenya tidak sepenuhnya berhasil .
Blog, Updated at: 23.35

0 komentar :

Poskan Komentar

Popular Posts