Ano ang isang "assertion na nangangailangan ng patunay"

Ayon sa kaugalian, karaniwan ay pinaniniwalaan na ang mga tagapagtatag ng geometry bilang isang agham ay ang mga Greeks, na nagpatibay mula sa mga taga-Ehipto ng kakayahang sukatin ang mga volume ng iba't ibang mga katawan at lupa. Ang sinaunang mga taga-Ehipto, na itinatag sa paglipas ng panahon pangkalahatang mga pattern, naipon ang unang katibayan. Sa kanila, ang lahat ng mga panukala ay lohikal na nagmula mula sa isang maliit na bilang ng mga hindi mapapataw na mga pangungusap o axiom. Kaya, kung ang pagkakasundo ay isang pahayag na hindi nangangailangan ng katibayan, kung gayon ano ang isang "assertion na nangangailangan ng patunay"? Bago mo maintindihan ito, kailangan mong maunawaan kung ano ang terminong "patunay".

Interpretasyon ng konsepto

Ang katunayan (katwiran) ay isang lohikal na proseso ng pagtatatag ng katotohanan ng isang tiyak na assertion sa tulong ng iba pang mga pahayag, na napatunayan nang mas maaga. Kaya, kapag kinakailangan upang patunayan ang panukala A, pagkatapos ay piliin ang mga hatol na B, C at D, kung saan ang A ay sumusunod bilang isang lohikal na resulta.

Ang katibayan na inilalapat sa agham ay binubuo ng iba't ibang uri ng inferences na may kaugnayan sa bawat isa upang ang kinahinatnan ng isa ay isang paunang kinakailangan para sa paglitaw ng isa pa at iba pa.

Katunayan sa Science

Ang pag-unlad ng anumang agham ay natutukoy sa pamamagitan ng antas ng pagpapatupad ng katibayan dito, sa tulong ng kung saan posible upang bigyang-katwiran ang katotohanan ng ilan at ang kasinungalingan ng iba pang mga pahayag. Ito ang katibayan na tumutulong upang mapupuksa ang mga delusyon, pagbubukas ng espasyo para sa siyentipikong pagkamalikhain. At ang koneksyon na nabuo sa kanilang tulong sa pagitan ng iba't ibang mga pahayag ng isang partikular na agham ay nagpapahintulot na matukoy ang lohikal na istraktura nito.

Sa modernong mga panahon, ang katibayan ay malawakang ginagamit sa lohika at matematika, ang mga ito ay mga paraan ng pag-aaral kung may pangangailangan na makilala ang istruktura ng mga konklusyon.

Matematika

Maraming mga tao na naiintindihan tulad ng agham bilang matematika, itaas ang tanong ng kung ano ang isang pahayag na nangangailangan ng patunay. Ang sagot (ang "Avatar" ay nagpapatunay na ito) ay isang teorama.

Ito ay isang matematikal na pahayag, ang katotohanan na kung saan ay naitatag sa pamamagitan ng patunay. Ang paniwala ng "teorama" mismo ay binuo kasama ang paniwala ng "mathematical proof". Mula sa pananaw ng axiomatic method, ang teorama ng anumang teorya ay ang mga pahayag na nakuha lamang lohikal mula sa ilang mga naunang naayos na pahayag, na tinatawag na axioms. At dahil totoo ang katibayan, dapat ding totoo ang teorama.

Dagdag dito, ang isang assertion na nangangailangan ng patunay (ang teorama) ay malapit na nauugnay sa paniwala ng "makatuwirang resulta". Kaya, sa paglipas ng panahon, ang proseso ng lohikal na paghihinuha ay nabawasan sa paglitaw ng mga formula o matematiko na mga pahayag na nakasulat sa isang tiyak na wika ayon sa mga itinatakda na alituntunin, hindi tumutukoy sa nilalaman ng pangungusap, kundi sa anyo nito. Kaya, sa teorya ang katibayan ay lumilitaw bilang isang pagkakasunud-sunod ng mga formula, ang bawat isa ay isang aksiyum.

Sa matematika, ang isang teorama o pahayag na nangangailangan ng katibayan ay ang huling pormula sa proseso ng pagpapatunay ng isang teorya. Ang pagbabalangkas ay nabuo bilang isang resulta ng paggamit ng iba't ibang mga pamamaraan sa matematika. Natuklasan din na ang axiomatic theories, na bahagi ng iba't ibang mga seksyon ng matematika, ay hindi kumpleto. Kaya, may mga pahayag, ang katotohan o kasinungalingan na hindi maitatag nang lohikal batay sa mga axiom. Ang mga ganitong teorya ay hindi masusupil, walang paraan ng solusyon.

Kaya, isang assertion na nangangailangan ng patunay sa matematika Ay tinatawag na isang teorama.

Pilosopiya

Ang pilosopiya ay isang agham na nag-aaral sa sistema ng kaalaman tungkol sa mga katangian at prinsipyo ng katotohanan at katalusan. Kaya, mula sa pananaw na ito, ano ang pahayag na nangangailangan ng patunay? Sagot: Sinasabi ng "Avatar" na ang tesis na ito.

Siya sa kasong ito ay isang pilosopiko o teolohikal na posisyon, isang assertion na dapat na pinatunayan. Noong sinaunang mga panahon, ang salitang ito ay nakuha ng espesyal na kahalagahan, mula noon ang paniwala ng "antithesis" ay lumitaw, na lumitaw sa isang kasalungat na pahayag o pagkakilala. Pagkatapos ay binigyang pansin ni Kant ang katotohanan na posibleng gumawa ng mga kasalungat na pahayag na may parehong kasalanan. Halimbawa, maaaring patunayan ng isa na ang mundo ay walang hanggan at lumitaw sa pamamagitan ng pagkakataon, binubuo ito ng mga di-nahahiwalay na atomo, may kalayaan dito. Ang nasabing mga pahayag ay nabanggit ng pilosopo bilang isang kabuuan ng thesis at antitesis. Ang ganitong kontradiksyon na pahayag, na nangangailangan ng patunay, pati na rin ang kawalan ng kalupitan ng mga kontradiksyon, ay ipinaliwanag sa pamamagitan ng ang katunayan na ang isip ay higit pa sa mga kakayahan ng tao.

Sa pilosopiya, ang isa at ang parehong bagay ng pag-iisip ay iniuugnay sa isang ari-arian na sa parehong oras ay tinanggihan. Kaya, upang ang mga sangkap na ito ay umiiral sa pagkakaisa, kinakailangan na magkaroon ng tatlong elemento: mga kondisyon, kondisyonalidad (katibayan), at mga konsepto.

Sa batayan ng lahat ng Hegel na ito, isang dyalektiko pamamaraan ay nagmula, batay sa paglipat mula sa thesis sa pamamagitan ng patunay sa pagbubuo. Ito ay naging instrumento para sa pagtatayo ng metapisika.

Lohika

Sa logic, ang isang assertion na nangangailangan ng patunay ay tinatawag ding isang tesis. Sa kasong ito, kumikilos siya bilang isang tumpak na paghatol, na nagpapadala ng isang kalaban, na dapat niyang bigyang-katwiran sa proseso ng pagpapatunay. Ang sanaysay ay ang pangunahing elemento ng argumento.

Panuntunan

Sa buong proseso ng argumentasyon, ang tesis ay dapat manatiling pareho. Kung lumabag ang kundisyong ito, ito ay humahantong sa katunayan na ito ay hindi pinatutunayan na ang pahayag na dapat iwasto. Narito ang panuntunan: "Ang nagpapatunay ng maraming, hindi siya nagpapatunay!"

Tandaan natin ang iba pang bagay, na isinasaalang-alang ang katanungang ito: ang pahayag na hinihingi ang patunay ay hindi dapat maging maraming halaga. Pinoprotektahan ng patakarang ito laban sa kalabuan ng sitwasyon kapag nagpapatunay ito. Halimbawa, kadalasan ay nagsasalita ang isang tao nang labis, na parang nagpapatunay, ngunit kung ano ang eksaktong, ay nananatiling hindi maliwanag, dahil ang kanyang sanaysay ay hindi malinaw. Ang kalabuan ng pahayag ay humahantong sa walang tiyak na pagtatalo, sapagkat ang bawat panig ay tumatagal ng posisyon na mapapatunayan sa iba't ibang paraan.

Isang pahayag na hindi nangangailangan ng patunay

Si Aristotle, isinasaalang-alang ang tanong ng pagiging maaasahan ng assertions, ilagay sa harap ng teorya ng syllogisms. Ang mga syllogismo ay binubuo ng mga pahayag na naglalaman ng mga salitang "maaari" o "dapat" sa halip na "ay." Ang mga pahayag na ito ay hindi makatwiran, dahil hindi napatunayan ang kanilang mga kinakailangan. Itinataas nito ang tanong ng mga panimulang punto para sa pagpapaunlad ng agham. Ayon kay Aristotle, ang anumang agham ay dapat magsimula sa mga pahayag na hindi nangangailangan ng patunay. Tinawag niya silang mga axiom.

Axiom

Ang isang assertion na hindi nangangailangan ng patunay ay isang aksiom. Hindi na kailangang maging patunay sa pagsasagawa, kailangan lamang ipaliwanag ito upang maipaliwanag ito. Nagsasalita ng mga axiom, itinuturing ni Aristotle geometry, na kinuha ang anyo ng systematization. Ang matematika ang unang agham kung saan ginamit ang mga pahayag na hindi kailangan ng pagbibigay-katwiran. Pagkatapos ay nagkaroon ng astronomiya, dahil upang bigyang-katwiran ang paggalaw ng mga planeta ito ay kinakailangan upang magamit sa matematika kalkulasyon. Tulad ng makikita mo, ang agham ay nagtatayo na tulad ng isang hierarchy.

Uri ng Sciences sa pamamagitan ng Aristotle

Ipinanukala ni Aristotle ang tatlong uri ng agham para sa mga pangunahing layunin. Ang teoretikal na mga agham ay nagbibigay ng kaalaman sa foreshortening kung saan sila ay sumasalungat sa mga opinyon. Matematika ay ang pinaka-kapansin-pansin na halimbawa dito. Kabilang dito ang pisika at metapisika.

Ang mga praktikal na agham ay naglalayong pag-aralan kung paano kontrolin ang pag-uugali ng isang tao sa lipunan. Kabilang dito, halimbawa, etika.

Ang mga teknikal na agham ay naglalayong lumikha ng isang gabay sa paglikha ng mga bagay para sa kanilang aplikasyon sa buhay o upang humanga ang kanilang artistikong kagandahan.

Ang lohika ni Aristotle ay hindi tumutukoy sa alinman sa mga pangkat ng mga agham. Gumagana ito bilang isang pangkalahatang paraan ng mga bagay sa pagpapatakbo, na kung saan ay lubhang kailangan para sa bawat isa sa mga agham. Ang lohika ay iniharap bilang isang instrumento kung saan batay sa siyentipikong pananaliksik, dahil nagbibigay ito ng pamantayan para sa diskriminasyon at patunay.

Analytics

Sinuri ng analyst ang mga porma ng katibayan. Pinaghihiwa nito ang lohikal na pag-iisip sa mga simpleng bahagi, at mula sa kanila ay lumilipat na sila sa mga komplikadong anyo ng pag-iisip. Kaya, ang istruktura ng patunay ay hindi nangangailangan ng pagsasaalang-alang.

Kaya, ang logic at analytics ay isaalang-alang ang tanong kung ano ang isang pahayag na hindi nangangailangan ng patunay. Iyon ay, para sa mga industriya ay nailalarawan sa pamamagitan ng nominasyon ng axioms. Gayundin para sa kanila, ang paliwanag ng kung ano ang isang pahayag na nangangailangan ng patunay ay likas. Ang mga sagot sa mga katanungang ito ay ibinibigay sa bawat sangay ng agham, sapagkat walang pang-agham na pananaliksik ang magagawa nang walang lohika at analytics.

Relasyon sa katotohanan

Kung isinasaalang-alang ang tanong na ang naturang assertion na nangangailangan ng patunay ay malinaw: ang kakanyahan ng katibayan mismo ay namamalagi sa ang katunayan na ang pahayag sa pahayag ay may kaugnayan sa aktwal na estado ng mga bagay o sa iba pang mga katotohanan, ang pagiging tunay na napatunayan nang mas maaga. Halimbawa, sa ilang mga kaso, ang katotohanan ng mga pahayag ay maaaring makatarungan sa pamamagitan ng eksperimento (pisikal, biological, kemikal), kung saan, sa pamamagitan ng mga resulta kung saan ito ay magiging malinaw kung tumutugma sila sa nakasaad na hatol o hindi. Sa ibang salita, ang mga resulta ng pananaliksik ay maaaring maging isang patunay ng katotohanan ng pahayag, o sa kanyang pagtanggi.

At sa ibang mga kaso, kapag imposible na magsagawa ng isang eksperimento, ang isang tao ay nagbabalak sa iba pang mga wastong pahayag, mula sa kung saan siya deduces ang katotohanan ng kanyang paghatol. Ang gayong katibayan ay ginagamit ngayon sa agham, kung saan ang mga bagay ay lampas sa mga limitasyon ng kakayahan ng tao na sundin ang mga ito. Ito ay totoo lalo na sa matematika, kung saan ang mga paghuhukom ay hindi maaaring masuri sa pag-eksperimento. Samakatuwid, ang pahayag na hinihingi ang katibayan, ang "Avataria" ay tinatawag na teorama, ang tanging paraan upang maitatag ang katotohanan na kung saan ay isang patunay ng mga pagkakakilanlan batay sa dating napatunayan na tunay na pahayag.

Mga resulta

Ang isang assertion na nangangailangan ng patunay ay dapat suportahan ng mga argumento. Dahil dito, ang mga hatol ay maaaring gawin na ang mga naunang axiom, mga batas, mga kahulugan na naglalaman ng mga pahayag tungkol sa mga katotohanan ay napatunayan nang mas maaga. Ang mga pangangatwiran na ginamit sa patunay, ay malapit na magkakaugnay at kumakatawan sa anyo ng katibayan. Gumagawa sila ng iba't ibang mga konklusyon, na konektado sa isang kadena.

Halimbawa, isaalang-alang ang isang assertion na nangangailangan ng patunay: "Ang metal na nakuha sa kurso ng eksperimento ay hindi sodium." Ang mga sumusunod na argumento ay ginagamit upang patunayan ang pahayag na ito:

1. Ang lahat ng mga metal na basura ay mabulok sa tubig sa temperatura ng kuwarto.

2. Sosa ay isang alkali metal. Samakatuwid, ito ay nabubulok ng tubig.

3. Ang tubig na nabuo sa kurso ng eksperimento ay hindi nabubulok ng tubig. Samakatuwid, ang nagresultang metal ay hindi sosa.

Tila, ang lahat ng mga argumento na ginamit ay totoo, ang katibayan na nangyari bilang isang resulta ng pagmamasid, pagbuo ng nakaraang karanasan, pagbawas ng syllogistic. Ang proseso ng patunay dito ay batay sa dalawang inferences, ang epekto ng isa ay ang unang kinakailangan.