Il-liġi ta 'raġuni suffiċjenti. Materjal skond ir-rapport loġika

Liġi tal raġuni suffiċjenti - ir-raba u l-aħħar liġi tal-loġika formali. Storikament, huwa wkoll l-aktar reċenti, u huwa l-ebda koinċidenza. Għal paragun, tista 'tara li t-tliet liġi preċedenti ifformulata mill Aristotile kmieni kemm-seklu 4 QK.

Sas-seklu 18, minħabba l-ispeċifiċità tagħha, din il-liġi ma tkunx intużat fil-loġika klassiku. Ir-raġuni għal dan id-dewmien huwa l-fatt storiku tal-li jmiss.

Il-liġi paradigma loġiku ġiet introdotta mill Leibniz, filwaqt li jimpedixxu xi ineżattezza fir-rigward tal-loġika ħafna.

Leibniz deskritti l-ħtieġa għal studji ta 'fattibilità dwar matematika, li jfisser evidenza ta' xi purament formali, dikjarazzjonijiet teoretiċi. Madankollu, huwa estiż ir-rekwiżit għall provability formali sħiħ tan-natura, li magħha għandna ma jkunux jistgħu jaqblu.

Il-negazzjoni tal-possibbiltà stess ta 'prova ostensive, jiġifieri. E. Evidenza permezz esperjenza empirika, Leibniz naqas il-firxa tal-applikabbiltà tal-liġi.

Min-naħa l-oħra, il-liġi tar-raġuni suffiċjenti huwa l-dimostrazzjoni attwali tal-fatt li l-affarijiet kollha fid-dinja huwa kawża u effett, l-affarijiet kollha huma konnessi ma 'xulxin, xejn tisparixxi mingħajr traċċa u mhux se jidhru fuq tagħha stess.

F'dan il interpretazzjoni tad-dritt ġie skopert mill Democritus aktar 5-4 sekli QK. Il-fenomenu tal-interrelazzjoni kompleta u interdipendenza fi ħdan l-ordni dinja waslet jissejjaħ "determinism".

liġi tar-raġuni suffiċjenti hija li ħsieb jew sentenza innifsu huwa la veru lanqas falza. Li jkollhom l-affermazzjonijiet opportunità dwar kemm huma veri jew falsità, jrid ikollna għad-dispożizzjoni tagħha provi rigoruża.

Prova rikonoxxut permezz ta 'proċedura speċjali, li jistgħu jintużaw biex jiddeterminaw jekk l-idea ta' realtà.

Per eżempju, id-dikjarazzjoni "Illum Sunny" jista 'jitqies pjuttost veru, jekk tħares barra mit-tieqa u, fidu -sensi, biex tiġi żgurata l-korrettezza tas-sentenza.

Madankollu, dawn id-dispożizzjonijiet huma għal żmien qasir u mhumiex eżawrjenti tal-provi kollha.

Proċedura aktar ikkumplikat biex taċċerta l-verità - huwa prova li appell lill-organi ma jistgħu sens. Per eżempju, avveniment diġà seħħet fil-passat jew se ssir fil-tensjoni futur.

Sentenza tal-temp xemxi se ħoss f'dawn il-każi, kif ġej: ". Għada se jkun xemxija" "Ilbieraħ kien xemxija",

Fl-ewwel każ, l-evidenza hija hemm, għaliex inti tista 'tistrieħ fuq il-memorja tagħhom stess.

Fit-tieni każ, sentenza mingħajr prova u għalhekk ma jistgħux ikunu la vera lanqas falza. Fir-rigward tal tbassir tat-temp għal għada biss, is-suppożizzjoni hi possibbli. Il-prova hija bbażata fuq probabbiltà, mhux sinifikanti.

Meta jippruvaw biex tiġġustifika l-falsità jew verità tal-ħsibijiet u sentenzi, l-ewwel trid tapplika għall-esperiment, il-kejl, il-monitoraġġ, l-istudju - jiġifieri jaħtfu l-affarijiet fl-aspetti metodoloġiċi tagħhom.

Min-naħa l-oħra, jekk jinstab fil-esperjenza ta 'għarfien teoretiku, li, minħabba l-ġeneralità tagħha u l-prova jista' jitqies minnu, allura verifika fuq il-validità tas-sentenza jista 'jkun, jitqabblu mal-teorija. liġi tar-raġuni suffiċjenti fil-loġika mhux biss jippermettu tali possibbiltà, iżda wkoll tippermetti li inti titratta dan bħala azzjonijiet kunċettwalment importanti. F'dan il-każ huwa meħtieġ li ssegwi relazzjoni formali, il-koinċidenza fiż forma bejn is-sentenza u prova teoretika tagħha.

Għal raġunijiet formali jistgħu jaċċettaw xi ħsibijiet livelli kollha relatata lil xulxin, kif dawn kollha ġew ifformulati. Madankollu, il-prinċipju tar-raġuni suffiċjenti ma tippermettix li tieqaf f'dan il-punt. Rikonoxximent tal-ħsibijiet kollha jagħmlu parti minn bażi ta 'evidenza komuni ma jagħtu l-impossibbiltà ta' verifika empirika u lanqas ikkonferma lanqas ċaħdet li huma ppruvati. U konsegwentement, huwa impossibbli li jiġi vverifikat li dawn ikunu vera jew falza.