Юу "гэж шаардлага баталгаа шаарддаг"

Уламжлал ёсоор энэ нь геометрийн шинжлэх ухааны үүсгэн байгуулагч Грек, Египетийн өөр байгууллага, дэлхийн хэмжээний хэмжих чадвартай зээлсэн байдаг гэж үздэг. Эртний египетчүүд, цаг хугацааны ерөнхий хууль тогтоох, анхны demonstrative ажлыг хийсэн байна. Тэд санал nedokazyvaemyh эсвэл Аксиом цөөн тооны логик замыг бүх заалтыг харагдана. Тэгэхээр нь axiom бол - ийм "шаардлага баталгаа шаарддаг" гэж баталгаа шаардаж болохгүй вэ тайлан? Хэрэв та энэ ойлгож өмнө та цаг "баталгаа" гэж юу болохыг ойлгох хэрэгтэй.

ойлголтын тайлбар

Нотлох (зөвтгөл) аль хэдийн өмнө нь батлагдсан бусад нэхэмжлэлээс замаар тодорхой зөвшөөрөл тогтоох үйл явц логик үнэнийг илэрхийлнэ. Тэгэхээр та санал А батлах хэрэгтэй үед ийм шүүлтүүд B, C болон D, A логик үр дүнд дараах нь сонгосон байна.

шинжлэх ухаанд ашиглаж байгаа нотолгоо, судалгаа гэх мэт өөр гарах болсон урьдчилсан нөхцөл болдог тул, мөн өөр хоорондоо холбоотой дүгнэлт өөр өөр төрлийн бүрддэг.

баталгаа шинжлэх ухаан юм

Хэрэглэх хэмжээгээр тодорхойлно ямар ч шинжлэх ухааны хөгжлийн тэнд өөр нотлох баримт үнэн зөвтгөж, бусад батламж мэдэгдлийг худал хуурмагийн байна. Энэ бол нотлох баримт сансрын шинжлэх ухааны бүтээлч нээх, буруу салахыг тусалсан. янз бүрийн шаардлага нь тодорхой шинжлэх ухааны хооронд холболт боломжтой болгодог тэдэнтэй хэлбэр нь логик бүтцийг тодорхойлох.

Орчин үеийн дахин өргөн логик, математик ашигласан нотлох тэд дүгнэлт бүтцийг тодорхойлох шаардлагатай үед шинжилгээ хийх арга юм.

математик

Олон хүмүүсийн хувьд, энэ шинжлэх ухаан, математик гэх мэт асуулт ийм мэдэгдэл гэдгийг нотлох баримт шаардаж үүсдэг ойлгодог. Энэ теорем - Хариулт ( "аватар" Энэ гэрчилдэг).

Энэ нь математик мэдэгдэл, түүний үнэн зөвийг аль хэдийн нотлох баримтаар суулгасан байна билээ. өөрөө онд "теорем" -ийн үзэл баримтлал нь "математик баталгаа" -ийн үзэл баримтлалын хамт хувирсан байна. axiomatic аргын үүднээс, ямар ч онолын теорем тодорхой өмнө тогтмол тайлан, Аксиом гэж нэрлэдэг гарч зөвхөн логик арга замыг гарч буй тайлан юм. Тэгээд axiom үнэн оноос хойш, энэ нь үнэн байх ёстой бөгөөд теорем.

Дараагийн мэдээ баталгаа (теорем), нягт нь "логик үр дагавар" гэсэн үзэл баримтлал холбож байна шаарддаг. Тиймээс цаг хугацааны туршид, логик шалтгаан үйл явц саналыг агуулга байх нь холбоотой дүрэм журмыг заасан томъёогоор, эсвэл тодорхой нэг хэл дээр бичигдсэн байдаг математикийн тайлан, түүний хэлбэр хүрэх svolsya. Тиймээс онолын хувьд энэ нь томъёог дэс дараалал, тус бүр нь axiomatic нь баталгаа болж байна.

Математик онд теорем мэдэгдэл, нотлох баримт шаардлагатай онолыг батлах үйл явцад сүүлийн томъёо юм. Энэ нь боловсруулах төрөл бүрийн математикийн аргыг ашиглан үр дүнд бий болсон. Энэ нь бас axiomatic онол, математикийн янз бүрийн салбар хэсэг бөгөөд, дутуу байгааг олжээ. Тиймээс, авлигын хэргийг дипломыг эсвэл falsity нь энэ Аксиом дээр тулгуурлан логик арга замыг бий болгох боломжгүй юм байна. Ийм уусдаггүй онол шийдвэрлэх арга биш юм.

Тиймээс шаардлага математикийн баталгаа шаарддаг Энэ нь теорем гэж нэрлэдэг.

философи

Философи шинж чанар, бодит байдал, мэдлэг, зарчмуудын талаар мэдлэг тогтолцоог судалдаг шинжлэх ухаан юм. Тэгвэл энэ цэгээс шаардлага баталгаа шаарддаг? Хариулт: "Аватар" энэ сэдэв байна.

энэ тохиолдолд тэр нь гүн ухааны болон шашны байр суурь, батлагдсан байх ёстой мэдэгдэл юм. "Эсрэг сэдэв" гэдэг ойлголт нь үл нийцэх мэдэгдэл болон гаргалгаа байгаа Эрт цагт, цаг үеэс хойш, онцгой ач холбогдолтой болсон байна. Дараа нь Кант ижил үнэн зөвийг нь зөрчилтэй тайланг илэрхийлэх боломжтой юм гэдгийг анхаарлыг татаж эхэлсэн байна. Жишээ нь, дэлхийн хязгааргүй гэдгийг нотолж болон тохиолдлоор үүссэн боломжтой байдаг, энэ нь хуваагдашгүй атомын бүрддэг Хэрэв эрх чөлөө байдаг. Ийм тайлан диссертаци болон эсрэг сэдэв нь багц болгон тэмдэглэж гүн ухаантан. Энэ нь зөрчилтэй мэдэгдэл баталгаа болон уусдаггүй зөрчилтэй, оюун давсан гэдгийг улмаас шаарддаг танин мэдэхүйн чадвар хүн.

бодол мөн объектын философийн хувьд эд хөрөнгө, тэр үед татгалзсан холбоотой байна. Тиймээс эдгээр бүрэлдэхүүн эв нэгдэлтэй оршин, бид гурван элементийг байх ёстой: нөхцөл (баталгаа) болон ойлголтуудыг нөлөөлсөн байна.

энэ бүх Gegel диалектик арга дээр тулгуурлан нийлэгжихэд нотлох баримтаар дипломын ажил нь шилжилтийн үндэслэн олсон юм. Энэ нь метафизик барих зэмсэг болж байна.

логик

тайлангийн логик нь нотлох баримт, мөн диссертаци гэх шаарддаг. Энэ тохиолдолд энэ нь өрсөлдөгчөө түлхсэн үнэн зөв дүгнэлт, түүнийг нотлох явцад зөвтгөх ёстой үүрэг гүйцэтгэдэг. дипломын ажил нотолгооны үндсэн элемент юм.

дүрэм

маргаантай асуудлыг диссертаци явцын туршид ижил байх ёстой. Энэ нөхцөл зөрчсөн бол энэ мэдэгдлийг няцаасан болно баталж байх болно гэдгийг хүргэж байна. Энд ажил нь, "Хэн юу ч нотолж чадахгүй вэ нотлох нь маш их юм!"

бас энэ асуултыг авч ямар нэг зүйлийг анхаараарай, шаардлага шаардсан баталгаа олон үнэтэй байх ёсгүй. Энэ дүрэм нь нотлох юм бол эвгүй байр сууриа сэргийлдэг. Жишээ нь, маш олон удаа хүн маш их, энэ нь тодорхой бус хугацаагаар өөрийн нэмэлт өгөгдөл болгон, тодорхой бус хэвээр байна ямар ч баталгаа юм шиг, гэхдээ энэ нь ярьж байна. тайлангийн тодорхойгүй, үр дүнгүй өнгөрч маргаанд хүргэдэг талууд тус бүр нь батлагдсан нөхцөл байдал нь өөр өөр ойлголт байдаг тул.

мэдээ баталгаа шаардаж болохгүй вэ

Илүү Аристотель нь маргаантай нэхэмжлэлийн асуудлыг харгалзан syllogisms онолыг дэвшүүлсэн. Syllogisms гэдэг үгийг "болно" эсвэл "байх ёстой" гэхийн оронд "юм" агуулсан ийм тайлан, бүрдэнэ. Ийм тайлан логикийн хувьд байдаг учир нь тэдний нөхцөл нотлогдсон биш, зөвтгөгдөх нь үгүй. Энэ нь шинжлэх ухааны хөгжлийн эхлэл гэдэг асуулт гарна. Аристотелийн хэлснээр, шинжлэх ухааны бүх нотолгоо хэрэггүй юм тайлангийн нь эхлэх ёстой. Тэр тэдэнд Аксиом гэж нэрлэдэг.

axiom

мэдээ баталгаа шаардаж болохгүй вэ - энэ нь axiom юм. Энэ нь бодит байдал дээр нотлох шаардлагатай биш юм, энэ нь тодорхой байсан гэж тайлбарлах нь зөвхөн зайлшгүй шаардлагатай юм. Аксиом тухай ярихдаа, Аристотель системтэй хэлбэртэй геометр гэж үздэг. Математик анхны шинжлэх ухаан, ямар ч үндэслэл хэрэгтэй тайланг ашигласан байна. Дараа нь зөвтгөх зэрэг гаригуудын хөдөлгөөн математик тооцоогоор амралтын шаардлагатай байдаг одон орон байсан юм. Таны харж байгаагаар, шинжлэх ухаан аль хэдийн шатлалд шиг доторлогоотой юм.

Аристотелийн Шинжлэх Ухааны төрөл

Гол зорилго Аристотель урагш Шинжлэх ухааны гурван төрлийн тавьсан. Онолын шинжлэх ухаан тэд эсэргүүцэж санал бодол байгаа нь талаас нь мэдлэгийг олгодог. Энд Математик Ерөнхий жишээ юм. Тэд мөн физик, метафизик орно.

Практик шинжлэх ухаан нийгэмд хүний зан хянаж сурах зорилготой юм. Энэ нь ёс зүй, жишээ нь, зэрэг, болох юм.

Техникийн шинжлэх ухаан амьдрал, тэдний уран сайхны гоо сайхныг эдлэх тэдгээрийг ашиглах менежментийн обьектуудыг бий бий болгох зорилготой юм.

Аристотлийн логик ухааны нэг бүлэгт харъяалагдаж байна. Энэ нь юмыг үйл ажиллагаа явуулах ерөнхий арга, шинжлэх ухааны бүрийн заавал үүрэг гүйцэтгэдэг. логик арга хэрэгсэл, шинжлэх ухаан, судалгаа барина энэ нь салган харуулж, нотлох баримт шалгуурыг өгдөг, учир нь гэж танилцуулсан байна.

анализ

Шинжээч нотлох хэлбэрийг судалдаг. Энэ нь задардаг логик сэтгэлгээ энгийн бүрэлдэхүүн хэсэгт, мөн тэднээс аль хэдийн сэтгэлгээний цогц хэлбэрээр явж байна. Тиймээс, бүтэц нотлох баримт авч үзэх шаардлагатай байна.

Тиймээс, логик болон анализ ийм нэхэмжлэлийн, нотолгоо шаардах биш юм байгаа эсэхийг шалгах. Энэ нь эдгээр салбарт өргөтгөл Аксиом тодорхойлогддог. Мөн тэд ийм мэдэгдэл, нотолгоо шаардаж гэдгийг тайлбарлах хандлагатай байдаг. Эдгээр асуултын хариулт, ямар ч шинжлэх ухааны судалгаа нь логик, оюун ухаан ч биш юм оноос хойш шинжлэх ухааны бүх салбарт байна.

бодит байдалд харилцаа

ямар ийм тайлан, нотолгоо шаарддаг асуудал гэж үздэг учир, энэ нь тодорхой болсон: нотолгоо мөн чанар мэдэгдэл, зөрчилдөөний байгаа зүйлсийн бодит байдалд холбоотой, бусад баримт нь, үүнээс Оригинал өмнө батлагдсан байна гэж байна. Жишээ нь, зарим тохиолдолд мэдэгдэл үнэн туршилт (физик, биологийн, химийн) замаар, ямар үр дүн харагдаж байна тусгагдаагүй болно, тэд заасан шүүлтийг хангаж байгаа, үгүй. Өөрөөр хэлбэл, судалгааны үр дүнг тайлангийн үнэн, эсвэл түүний хаасныг нь баталгаа байх болно.

Мөн өөр бусад тохиолдолд, энэ нь туршилт явуулах боломжгүй байгаа үед ард түмэн нь түүний тайлангийн үнэнийг авчирдаг бусад хүчин төгөлдөр нэхэмжлэлд амралтын газар. Өнөөдөр ийм нотолгоо шинжлэх ухаан, объект нь үзэх хүний боломж хилийн гадна байгаа хэрэглэгддэг. Энэ нь математик, шүүлтүүд туршилтаар шалгаж чадахгүй байгаа, ялангуяа үнэн байдаг. Тиймээс шаардлага "Аватар" -ын баталгаа шаарддаг теорем, үүнээс өмнө нь батлагдсан үнэн тайланг үндэслэн суутгал нэгэн баталгаа бол үнэнийг тогтоох цорын ганц арга зам хэлнэ.

үр дүн

нотлох баримтыг шаарддаг мэдэгдэл нэмэлт өгөгдлүүдтэй дэмжигдсэн байх ёстой. Тэд баримтын тайланг агуулсан өмнө нь жишээ нь, Аксиом, хууль, тодорхойлолт нь батлагдсан байна дүгнэлт, хийж болно юм. нотлох ашиглаж нэмэлт өгөгдлүүд нь нягт холбоотой хоорондоо уялдаа холбоотой бөгөөд нотлох баримт хэлбэрийг илэрхийлж байна. Тэд гаргалгаа төрөл бүрийн цуврал холбогдсон байна үүсгэдэг.

Жишээ нд мэдэгдэл баталгаа шаарддаг авч "туршилтын явцад гарган авсан металл. - үгүй биш натрийн" Энэ мэдэгдлийг дараах нэмэлт өгөгдлүүд нь батлах:

1. өрөөний температур усны дэргэд мэдээлэл шүлтийн металлууд задардаг байна.

2. Натрийн юм нь шүлтийн металл. Иймээс энэ нь ус задардаг.

3. туршилт ус явцад үүссэн металл задалж байна. Тиймээс үр дүнд металл - ямар ч натрийн.

Таны харж байгаагаар, ашиглагдсан бүх аргумент үнэн, өнгөрсөн туршлага, syllogistic учир шалтгааныг нэгтгэн, мониторингийн үр дүнд гарч баталгаа. Энд үйл явц нотолгоо хоёр шалтгааныг үндэслэсэн, нэг үр дагавар нь бусад энэ тохиолдолд урьдчилсан нөхцөл юм.