Logika formal lan hukum dhasar

Logic - èlmu cara, hukum lan Wangun pikiran. logika formal wis dikembangaké déning wong-wong Yunani kuna, dawa sadurunge kita jaman. Iku Yunani pisanan sing mbangun masyarakat demokratis, ngendi pancasan lan hukum diadopsi ing rapat umum. Padha nggawe ilmu primitif nganakake trials. A pastime favorit saka muda aristokrat wis rembugan karo para filosof. Empu katresnan universal perkembangan ilmu teori. Yunani mung wis ajaran carane dadi bukti ilmiah.

Sing mesthi wae pisanan saka dhasar logika dikembangaké dening Aristoteles. Panjenenganipun narik kawigaten manungsa waé kanggo kasunyatan sing kabeh bantahan sing adhedhasar hukum umum, nglanggar kang ndadékaké menyang Serat Kléru. The formal logika filsafat Aristoteles iki adhedhasar hukum kuwi:

1. Yen pangadilan ing akur, apa gawe wong kesimpulan ora bisa negatif.
2. Yen salah siji saka statements negatif, lan kesimpulan general tansah negatif.

Empu iku katon sing logika formal - kawruh saka prinsip lan hukum èfèktif, construction tepat nalar karo gati kanggo wangun saka construction sing (cara kanggo nyambung bagéan individu saka anggit general).

Kabeh gejala lan obyek duwe hubungan. Links bisa adil utawa subyektif, umum utawa pribadi, perlu utawa sengaja. Paling pinunjul saka ikatan iki disebut hukum. kabeh padha nggambarake kasunyatan padha, mulane, ora bisa mbantah saben liyane. Kabeh hukum pamikiran manungsa gadhah hukum alam.

Hukum pamikiran sing sambungan internal stabil antarane pikirane. Yen wong ora bisa dasi pikirane, iya ora teka menyang kesimpulan tengen lan ora bakal bisa kanggo nggawa iku kanggo wong liya.

Hukum dhasar logika formal - hukum konsistensi, identitas, tengah tilar lan hukum alesan cukup. Pangembangan telung kagungane Aristoteles lan Plato, ing pungkasan - Leibniz. Pelanggaran hukum iki (utamané ing telung) ndadékaké kanggo contradictions, nggawe iku mokal kanggo mbedakake bebener saka cidra. hukum pungkasan angger kurang lan nggunakake liyane winates.

hukum Non-inti saka logika - iki aturan saka propositions operasi lan konsep, nggayuh kesimpulan bener ing syllogism, nambah kemungkinan pertimbangan induktif lan Serat traduktivnogo karakter.

Angger-anggering konsistensi tegese pikiran ora arep kontrovèrsial, nanging kudu nggambarake kualitas iku tartamtu.

Tilar Hukum tengah prescribes ora kanggo ngupaya antarane loro mbantah nanging bener statement punika katelu, lan kanggo ngenali bebener mung siji mau. Salah siji komponen saka contradictions - mesthi bener.

hukum identitas logika formal napsiraken minangka salah pikiran tliti, IE ing istilah sing perlu kanggo kanthi ngerti definisi lan makna. Hakekat konsep lan pengadilan ora bisa molak ing bakal.

hukum alesan cukup iku sembarang pamikiran bener perlu kanggo mbecikake pikirane bener sing liyane, lan gagasan palsu ora bisa dibeneraké. Ing perkembangan saka pengadilan ngirim nggambarake hubungan sing nyebabake. Mung ing kasus iki bisa mbuktekaken sawijining linuwih.

Wangun logis pamikiran lan cara kang nentokake Wangun kabeh pikirane ditulis miturut syarat-syarat logis, kang kalebu tembung "lan", "utawa", "yen ... banjur ..." ngaku "iku ora bener sing" ( "ora") , tembung "sawetara", "kabeh" ( "ora"), a Bunch of "pet" (ing makna saka "iku"), etc. Ngenali wangun logis saka paukuman bisa ditampani saka makna wonten ing klebu nalar, kang kalebu ing expression langsung saka paukuman. Ing tembung liyane, logika formal ndudohake struktur pikiraken. Wangun logis iku tansah informatif lan migunani.

Gumantung ing formulir sing pamikiran sing dipérang dadi kelas: konsep, pertimbangan lan paukuman. Concept - idea sing umum ing obyek ing basis saka ciri dhasar. Paukuman - idea, asserting ngarsane (anané) saka kahanan. Kesimpulan - panginten, nggambarake disualekno saka kawruh, ditulis ing pengadilan kawruh liyane.