Logika formal jeung hukum dasar na

Logika - elmu métode, hukum sarta bentuk pamikiran. logika formal geus maju ku Yunani kuna, lila saméméh jaman urang. Ieu Yunani pangheulana ngabangun masarakat démokratis, dimana kaputusan jeung hukum diadopsi dina pasamoan umum. Éta dijieun elmu primitif tina ngalakonan percobaan. A pastime favorit nonoman aristocratic tadi diskusi jeung filsuf. Lantaran kitu cinta universal ngembangkeun elmu teoritis. Yunani ngan kagungan ajaran ngeunaan cara jadi bukti ilmiah.

Kursus heula ti yayasan logika dikembangkeun ku Aristoteles. Anjeunna Drew perhatian kanyataan yén sagala alesan keur dumasar kana hukum umum, palanggaran nu ngabalukarkeun conclusions erroneous. The formal logika Aristoteles ieu dumasar kana hukum sapertos:

1. Mun judgment aya dina satuju, naon nyieun sahijina tamat teu kaci négatip.
2. Lamun salah sahiji pernyataan téh négatip, sarta kacindekan umum salawasna bakal négatip.

Mangkana nembongan yen logika formal - geus pangaweruh ngeunaan prinsip sarta hukum éféktif, konstruksi ditangtoskeun tina nalar jeung hal ka bentuk pangwangunan maranéhanana (cara pikeun nyambungkeun bagian individu tina pertimbangan umum).

Kabéh fénoména sarta objék boga hubungan hiji. Tumbu tiasa obyektif atanapi subjektif, umum atawa swasta, perlu atawa teu kahaja. Paling signifikan beungkeut ieu disebut hukum. aranjeunna sadayana ngagambarkeun realitas sarua, ku kituna, pernah bisa contradict unggal lianna. Sakabeh hukum pamikiran manusa pakait sareng hukum alam.

Hukum pamikiran mangrupakeun sambungan internal stabil antara pikiran. Mun lalaki hiji moal bisa dasi pikiran, manéhna teu datang kana kacindekan katuhu jeung moal bisa mawa ka batur.

Hukum dasar logika formal - hukum konsistensi, identitas, tengah kaasup jeung hukum tina alesan kacukupan. Ngembangkeun kahiji tilu milik Aristoteles jeung Plato, panungtungan - Leibniz. Pelanggaran tina hukum ieu (hususna kahiji tilu) ngabalukarkeun kontradiksi, sahingga teu mungkin keur ngabedakeun bebeneran tina bathil. hukum panungtungan peraturan kirang na pamakéan beuki kawates.

hukum non-inti Logika - ieu aturan propositions operasi sarta konsép, meunangkeun kacindekan leres di syllogism a, ngaronjatna kamungkinan penalaran induktif jeung conclusions traduktivnogo karakter.

Hukum konsistensi hartina pamikiran teu kudu kontroversial, tapi kudu ngeunteung kualitas hirup tangtu.

Kaasup UU tengah prescribes teu neangan antara dua kontradiktif tapi leres pernyataan téh katilu, sarta pikeun mikawanoh kabeneran ngan salah sahijina. Salah sahiji komponen kontradiksi - tangtu bener.

hukum identitas logika formal interprets salaku sarat pikiran precision, misalna dina sagala istilah nu peryogi akurat ngarti harti sarta harti. Hakekat konsep na judgments teu tiasa distort di will.

hukum alesan cukup éta sagala pamikiran leres perlu menerkeun pikiran leres nu lianna, sarta pamendak palsu teu bisa diyakinkeun. Dina ngembangkeun judgments kudu ngeunteung hubungan kausal. Ngan dina hal ieu bisa dibuktikeun reliabiliti na.

Bentuk logis pamikiran jeung métode nangtukeun wangun sagala pikiran anu ditepikeun ku istilah logis, anu ngawengku kecap "jeung", "atawa", "lamun ... lajeng ..." panolakan "teu leres yen" ( "henteu") , kecap "sababaraha", "sadaya" ( "henteu"), hiji kebat "panggih" (dina harti tina "nyaeta"), jeung sajabana Nangtukeun formulir logis tina judgment bisa kacau tina harti istilah teu asup kaakal, nu kaasup dina babasan verbal of judgment ieu. Dina basa sejen, logika formal expresses struktur pamikiran. Bentuk logis sok informatif jeung bermakna.

Gumantung kana bentuk maranéhanana pamikiran dibagi kana kelas: konsep, nalar na judgment. Konsep - pamanggih yén generalizes objék dina dasar ciri dasar maranéhanana. Judgment - ide, asserting ayana (henteuna) tina situasi. Inferensi - sangka, reflecting mangrupakeun akusisi ti pangaweruh, diwujudkeun dina judgments pangaweruh lianna.