Hukum dasar logika

Dina logika hukum sorangan. Utama di antarana - opat. Tilu di antarana anu dibentuk ku Aristoteles. Hukum logika Aristotelian - éta hukum non-kontradiksi, kaasup tengah, identitas. Teuing engké, hukum sejen ieu ditambahkeun kana hukum dasar - hukum alesan kacukupan.

Hukum logika propositional nu langsung patali jeung pancen sagala alesan. Bentuk logis, jeung operasi penalaran data nyimpang henteu dipigawé lengkep.

Aya aturan tambahan tina logika. Ieu di antarana:

• négatip ganda;
• contraposition.

Dina hukum ieu aya ogé diwangun rupa-rupa semedi. Aranjeunna nyadiakeun panumbu pikiran.

Hukum logika

Hukum kahiji nyaeta hukum identitas. Garis handap éta sagala pamikiran jeung prosés nalar kudu hadir wae jelas, eusi internal. Éta ogé Kadé eusi ieu moal dirobah dina prosés. Kapastian dina rasa, mangrupa sipat pituin pikiran. Dina dasar na, sarta mintonkeun identitas hukum: kabéh pikiran kedah sagemblengna idéntik jeung sorangan. Rupa-rupa pikiran teu bisa dicirikeun dina kaayaan naon. Mindeng hukum dilanggar ku kanyataan yén pamanggih sarua dinyatakeun dina cara béda. Ogé, masalah timbul dina kasus dimana kecap anu dipaké ngabogaan sababaraha nilai pisan dissimilar. Dina pamikiran kieu bisa dicirikeun leres.

Identifikasi pikiran sauyunan sering lumangsung nalika dialog nu urang tina profesi beda, béda ti unggal tingkat séjén atikan jeung saterusna. Identifikasi rupa-rupa konsep - mangrupakeun fallacy logis serius, nu dina sababaraha kasus jalma sangkan ngahaja.

Hukum logika kaasup hukum non-kontradiksi. Hayu urang mimitian ku kanyataan yén nalar logis - pamikiran eta konsisten. Sagala gagasan ngandung kontradiksi a, nyata bisa ngahalangan proses pembelajaran. Analisis formal-logis dumasar kana kabutuhan non kontradiksi mikir: lamun aya dua konsep kontradiktif, teras sahenteuna salah sahijina kudu jadi palsu. Dina waktu nu sarua ieu leres, aranjeunna teu tiasa, dina kaayaan naon. hukum ieu ngan bisa meta dina dua judgments lengkep kontradiktif.

Hukum tengah kaasup ogé kaasup kana hukum dasar logika. Ieu lumaku pikeun judgment nu aya di kontradiksi. Garis handap éta dua propositions kontradiktif henteu duanana palsu - hiji nyaeta merta leres. Catet yén sabalikna ka judgments disebut pernyataan misalna, salah sahiji nu nu nu kufur dina subjék atawa fenomena dunya urang, jeung nu kadua dina waktos anu sareng mertahankeun sami, ngeunaan fenomena sarua atawa obyék. Dina sababaraha kasus, eta bisa jadi teu rada fenomena atanapi obyek, tapi ngan sahiji bagian nu tangtu anu tangtu. Lamun urang bisa ngabuktikeun kabeneran salah sahiji judgments conflicting nu kabukti ti falsity sahiji séjén otomatis.

Ieu nyampurnakeun hukum logika, hukum alesan kacukupan. Ieu expresses tungtutan nu disimpen dina validitas pamikiran. Garis handap éta sagala pamanggih ngabogaan alesan cukup bisa dianggap bener. Kalayan kecap séjén, lamun boga pamikiran hiji, kedah aya leresan a. Dina kalolobaan kasus, dasarna mangrupakeun pangalaman manusa. Dina sababaraha kasus, ngabuktikeun kebenaran hijina tiasa ngaliwatan penyediaan fakta, ngumpulkeun informasi tambahan, jeung saterusna. Pikeun mastikeun wae kasus tinangtu pikeun mastikeun kabeneran teu merta dilarapkeun ka pangalaman naon - aya sakumpulan axioms di dunya, misalna kanyataan yén dina pangabutuh sagala euweuh buktina.