Ang batas ng sapat na dahilan. Materyal ayon sa ulat logic

Batas ng sapat na dahilan - ang ika-apat at huling kautusan ng pormal na lohika. Ayon sa kasaysayan, ito rin ang pinaka-kamakailang, at ito ay walang pagkakataon. Para sa mga paghahambing, maaari mong makita na ang tatlong nakaraang batas formulated sa pamamagitan ng Aristotle kasing aga ng ika-4 na siglo BC.

Hanggang sa ika-18 siglo, dahil sa kanyang pagtitiyak, batas na ito ay hindi pa ginagamit sa classical logic. Ang dahilan para sa mga pagkaantala na ito ay katunayan ng susunod.

Ang lohikal na tularan batas ay ipinakilala sa pamamagitan ng Leibniz, habang pumipigil sa ilang mga kamalian na may kaugnayan sa napaka-logic.

Leibniz inilarawan ang pangangailangan para sa pag-aaral ukol na may kaugnayan sa matematika, ibig sabihin ay katibayan ng isang pulos pormal, panteorya mga pahayag. Gayunman, pinalawak niya ang mga kinakailangan para sa mga pormal na Provability ang buong ng kalikasan, na kung saan hindi namin maaaring sumang-ayon.

Ang pagsang-ayon ng pinakadulo posibilidad ng ostensive patunay, ie. E. Katibayan pamamagitan ng empirical na karanasan, Leibniz mapakipot ang hanay ng mga applicability ng batas.

Sa kabilang dako, ang batas ng sapat na dahilan ay ang aktwal na pagtatanghal ng mga katunayan na ang lahat ng bagay sa mundo ay sanhi at bunga, ang lahat ng mga bagay ay konektado sa bawat isa, walang mawala nang walang trace at hindi lalabas sa kanyang sarili.

Sa ganitong interpretasyon ng kautusan ay natuklasan sa pamamagitan Democritus higit pa sa 5-4 siglo BC. Ang palatandaan ng kumpletong-ugnayan at pagtutulungan sa loob ng pagkakasunod-sunod mundo ay tinawag na "determinismo".

batas ng sapat na dahilan ay pag-iisip o paghuhusga sa kanyang sarili ay hindi totoo o hindi totoo. Upang magkaroon ng pagkakataon assertions tungkol sa mga katotohanan o kasinungalingan, kailangan naming magkaroon ng hindi nito pagtatapon ng isang mahigpit na katibayan.

Patunay na kinikilala ng isang espesyal na pamamaraan, na kung saan ay maaaring gamitin upang matukoy kung ang mga ideya ng katotohanan.

Halimbawa, ang pahayag na "Today Sunny" ay maaaring ituring na lubos na totoo, kung upang tumingin sa labas ng window at, pagtitiwala sa sarili, upang masiguro na ang kawastuhan ng paghatol.

Gayunpaman, ang mga probisyon ay short-term at ito ay hindi nauubos ng lahat ng mga ebidensya.

Ang isang mas kumplikadong pamamaraan upang alamin ang katotohanan - ito ay isang patunay kung saan ang isang apila sa mga laman-loob ay hindi maaaring pakiramdam. Halimbawa, ang isang kaganapan na naganap sa nakaraan o magaganap sa hinaharap panahunan.

Hatol ng maaraw na panahon ay tunog sa mga kasong ito, tulad ng sumusunod: ". Bukas ay magiging maaraw na" "Kahapon ito ay maaraw",

Sa unang kaso, ang katibayan ay doon, dahil maaari mong umasa sa kanilang sariling mga memorya.

Sa pangalawang kaso, ang isang paghatol na walang patunay at samakatuwid ay hindi maaaring maging hindi totoo o hindi totoo. Kung tungkol sa mga taya ng panahon para bukas lamang, sa palagay ay posible. Ang patunay ay batay sa posibilidad na mangyari, hindi makabuluhan.

Kapag sinusubukang upang bigyang-katwiran ang mga kamalian o katotohanan ng mga kaisipan at mga hatol, kailangan mo munang mag-aplay sa eksperimento, pagsukat, monitoring, pag-aaral - ie maunawaan mga bagay sa kanilang mga methodological aspeto.

Sa kabilang dako, kung ito ay matatagpuan sa mga karanasan ng teoretikal na kaalaman, na kung saan, dahil sa kanyang maliwanag na pahayag at ang katibayan ay maaaring ituring na totoo, pagkatapos ay tingnan ang validity ng paghatol ay maaaring, paghahambing ng mga ito sa mga teorya. batas ng sapat na dahilan sa logic hindi lamang payagan ang ganoong posibilidad, ngunit ay nagpapahintulot din sa iyo upang ituring ito bilang conceptually mahalagang mga aksyon. Sa kasong ito ito ay kinakailangan upang sundin ang isang pormal na relasyon, ang pagkakatulad sa form sa pagitan ng paghatol at ang kanyang panteorya patunay.

Sa pormal na batayan ay maaaring kumilala ng anumang mga saloobin sa lahat na may kaugnayan sa bawat isa, habang ang mga ito ang lahat ay formulated. Gayunman, ang mga prinsipyo ng sapat na kadahilanan ay hindi nagpapahintulot upang ihinto sa puntong ito. Recognition ng lahat ng mga saloobin nabibilang sa isang karaniwang katibayan base ay hindi nagbibigay sa ang hindi ikapangyayari ng empirical na pag-verify o nakumpirma walang katwiran ni pagkakaitan na sila ay napatunayan na. At dahil dito, ito ay imposible upang i-verify na ang mga ito totoo o hindi.