Lwa a nan ase rezon. Materyèl dapre lojik la rapò

Lwa sou ase rezon ki fè - lalwa Moyiz la katriyèm ak dènye nan lojik fòmèl. Istorikman, li se tou ki pi resan an, epi li se pa konyensidans. Pou konparezon, ou ka wè ke twa lwa a anvan formul pa Aristòt osi bonè ke lè 4yèm syèk la BC.

Jiska 18tyèm syèk la, paske yo te espesifik li yo, lwa sa-a pa te itilize nan lojik klasik. Rezon ki fè la pou reta sa a se lefèt istorik nan pwochen an.

Lwa a paradigm ki lojik te entwodwi pa Leibniz, pandan y ap anpeche kèk enfidelite nan relasyon ak yon lojik nan anpil.

Leibniz dekri bezwen an pou etid posibilite nan relasyon ak yon matematik, sa vle di prèv ki montre yon piman fòmèl, deklarasyon teyorik. Sepandan, li pwolonje kondisyon an pou provability fòmèl tout la nan lanati, ak ki nou pa kapab dakò.

negasyon an nan posibilite la anpil nan prèv ostensive, sa vle di. E. Prèv nan eksperyans anpirik, Leibniz flèch seri a nan Application nan lwa a ki.

Nan lòt men an, lalwa ki bay ase rezon ki fè se demonstrasyon aktyèl la nan lefèt ke tout bagay sa yo nan mond lan se kòz ak efè yo, tout bagay sa yo yo konekte youn ak lòt, pa gen anyen disparèt san yo pa yon tras epi yo pa pral parèt sou pwòp li yo.

Nan ka sa entèpretasyon nan lwa a ki te dekouvwi pa Democritus plis ankò nan 5-4 syèk BC. fenomèn nan entèraksyon ki konplè epi ki entèdepandans nan lòd la mond te vin rele "detèrminism".

lwa nan ase rezon ki fè se ke te panse oswa jijman nan tèt li ni vre ni fo. Pou ou gen alegasyon yo opòtinite sou sa a verite a oswa bay manti, nou dwe gen a jete li yo yon prèv difisil.

Prèv rekonèt pa yon pwosedi espesyal, ki ka itilize yo detèmine si lide a nan reyalite.

Pou egzanp, deklarasyon an "Jodi a Sunny" ki kapab konsidere kòm afè vre, si yo gade deyò nan fennèt la, epi, kwè sans yo, asire Correct nan jijman an.

Sepandan, dispozisyon sa yo, se kout tèm epi yo pa konplè nan tout prèv la.

Yon pwosedi pi konplike rann kont sa a verite a - li se yon prèv nan ki yon apèl nan ògàn yo pa ka santi. Pou egzanp, yon evènman deja te pran plas nan tan lontan an oswa ou pral pran plas nan tansyon a nan lavni.

Jijman nan move tan an Sunny ta son nan ka sa yo, jan sa a: ". Denmen va gen solèy" "Yè li te solèy",

Nan pwemye ka a, prèv la ki gen la, paske ou ka konte sou memwa pwòp yo.

Nan ka, dezyèm lan, yon jijman san yo pa prèv ak Se poutèt sa pa ka ni vre ni fo. Anseki konsern pwedi tanperati a pou demen sèlman, sipozisyon an se posib. se prèv la ki baze sou pwobabilite, pa enpòtan.

Lè eseye jistifye enfidelite nan oswa verite nan panse yo ak jijman, ou dwe premye aplike nan eksperyans, mezi, siveyans, etid la - sa vle di atrab bagay sa yo nan aspè metodolojik yo.

Nan lòt men an, si li se yo te jwenn nan eksperyans la nan konesans teyorik, ki, paske nan générales li yo ak prèv la ki kapab konsidere kòm vre, Lè sa a, tcheke sou validite nan jijman an kapab, konpare yo ak teyori a. lwa nan ase rezon ki fè nan lojik pa sèlman pèmèt tankou yon posibilite, men tou, pèmèt ou trete li kòm yon aksyon concept enpòtan. Nan ka sa a li nesesè yo swiv yon relasyon fòmèl, konyensidans a nan fòm ant jijman an ak prèv teyorik li yo.

Sou teren fòmèl pouvwa admèt nenpòt panse nan tout ki gen rapò ak youn ak lòt, menm jan yo tout yo te formul. Sepandan, prensip la nan ase rezon ki fè pa pèmèt yo kanpe nan pwen sa a. Rekonesans nan tout panse apatni a yon baz prèv komen pa bay li enposib nan verifikasyon anpirik ni konfime ni demanti ke yo ap pwouve. Ak kontinwe, li enposib verifye yo ke yo ap vre oubyen fo.