Conceptul de probă - logica

dovada conceptului

Dovada - acest argument, stabilirea adevărului unei declarații prin aducerea altor alegații, adevărul care nu este pusă la îndoială.

În dovada tezei diferă - o declarație că este necesar să se dovedească, iar baza, sau argumente - acele afirmații cu care s-au dovedit a tezei. De exemplu, afirmația „Platinum conduce electricitatea“ poate fi dovedită prin următoarele afirmații adevărate: - „Toate metalele conduc curentul electric“ „Platinum metal“ și

Conceptul de probe - una dintre problemele centrale în logică și matematică, dar nu are o definiție clară, aplicabilă în toate cazurile și în toate teoriile științifice.

Logica nu se aplică pentru dezvăluirea completă a conceptului intuitiv, sau „naiv“ de probă. Dovezile formează un set destul de vag de care nu poate fi acoperită de o definiție universală. În logica, spun ei nu provability, în general, și a provability în cadrul acestui sistem particular sau teorie. În același timp, a permis existența unor concepte diferite de probe referitoare la sisteme diferite. De exemplu, dovada în logica intuiționiste și matematică bazată pe ea este semnificativ diferită de cea a logicii clasice și matematică bazată pe ea. În dovada clasică poate fi utilizată, în special, legea mijloc exclus, drept (îndepărtarea) a unui dublu negativ, precum și o serie de alte legi logice care nu sunt în logica intuiționiste.

Conform metodei de probă este împărțit în două tipuri. Într-o dovadă directă a provocării este de a găsi astfel de argumente convingătoare din care rezultă în mod logic teza. Dovezi indirecte stabilește validitatea tezei care expune falsitatea unei presupunerii opuse antitezei.

De exemplu, este necesar să se demonstreze că suma unghiurilor unui patrulater este de 360 ​​°. Din ceea ce pretinde că ar putea fi derivate această idee? Menționăm că o diagonală împarte dreptunghiului în două triunghiuri. Prin urmare, suma unghiurilor este egală cu suma unghiurilor celor două triunghiuri. Este cunoscut faptul că suma unghiurilor unui triunghi este de 180 °. Din aceste prevederi, concluzionăm că suma unghiurilor unui patrulater este de 360 ​​°. Un alt exemplu. Trebuie să dovedească faptul că nava este supusă legilor mecanicii spațiale. Este cunoscut faptul că aceste legi sunt universale: ele sunt supuse pe tot corpul în orice punct din spațiu. Este de asemenea evident că nava are corp cosmic. Acestea fiind spuse, vom construi raționamentul deductiv corespunzător. Este o dovadă directă a aprobării luate în considerare.

Într-o dovadă indirectă a argumentului este ca și în cazul în care într-un mod sens giratoriu. Mai degrabă decât în ​​mod direct pentru a găsi argumente pentru eliminarea acestor dispoziții să fie dovedită, antiteza formulat, negarea acestei poziții. Mai departe într-un fel inconstant antiteză. Conform legii mijloc exclus, în cazul în care una dintre situațiile conflictuale în mod eronat, a doua trebuie să fie adevărat. Antiteză este greșit, înseamnă că teza este corectă.

Ca o dovadă indirectă folosește negarea a face un punct, se spune că este o dovadă de contradicție.

Să presupunem că doriți să construiască o dovadă indirectă a acestei teze este destul de banală: „Piața nu este un cerc,“ invocă antiteza: „Piața este un cerc,“ Este necesar să se demonstreze falsitatea acestei afirmații. În acest scop, vom deduce din aceasta investigație. În cazul în care cel puțin una dintre ele este falsă, aceasta va însemna că declarația în sine, din care este derivat o consecință, este de asemenea falsă. Greșit este, în special, următoarele corolar: în caroul colțuri. Deoarece antiteză fals, teza inițială trebuie să fie adevărat.

Un alt exemplu. Medicul, asigurând pacientul că el nu este bolnav cu gripa, spune asa. Dacă există într-adevăr a avut gripa, nu ar fi caracteristic simptomele sale: dureri de cap, febră, etc. Dar nimic de genul asta. Deci, nu există nici o gripă.

Aceasta este din nou o dovadă indirectă. În loc de un studiu direct al tezei a prezentat antiteza că pacientul într-adevăr gripă. Antiteza producției anchetei, dar acestea sunt respinse de date obiective. Acest lucru sugerează că ipoteza cu privire la gripa nu este adevărat. Rezultă că teza „gripă nu este“ adevărat.

Proba contrarie sunt comune în discuțiile noastre, mai ales în dispută. Cu aplicare abil acestea pot poseda deosebit de convingătoare.

Definirea conceptului de evidență include cele două concepte centrale ale logicii: conceptul de adevăr și conceptul de consecință logică. Ambele aceste concepte nu sunt clare, și, prin urmare, determinate de aceștia ca dovadă a conceptului nu poate fi atribuită clar.

Ea nu există, atunci, un singur concept de consecință logică. Sisteme logice, care solicită definirea acestui concept, există un număr infinit, în principiu. Nici una dintre definițiile disponibile ale logicii moderne și logica legii secvenței logice nu este lipsită de critici și de la ceea ce se numește „paradoxul consecință logică“.

probe de probă, care într-un fel sau altul caută să urmeze în toate științele, este o dovadă matematică. Pentru o lungă perioadă de timp sa crezut că este un proces clar și indiscutabil. În secolul nostru, atitudinea față de dovada matematică sa schimbat. Matematicieni înșiși au fost împărțite în facțiuni ostile, fiecare dintre care, de interpretare a probelor. Motivul pentru acest lucru a fost în primul rând schimbarea percepțiilor despre principiile care stau la baza de dovezi logice. încredere Gone în unicitatea și infailibilitatea lor. Logicismului era convins că logica este suficient pentru a justifica întreaga matematică; (. Hilbert și alții) formaliști Conform, o logică nu este suficient și trebuie să fie completate logica axiome matematice corespunzătoare; Reprezentanții direcției set-teoretic nu este deosebit de interesat de principii logice și nu le indică întotdeauna în mod explicit; intuitionists de potrivire a văzut principiu, nu intră în logica. Controversa privind demonstrația matematică arată că nu există criterii de probă, care nu depinde nici de timp, nici pe ceea ce este necesar pentru a dovedi oricare dintre cei care folosesc criteriile. O dovadă matematică este o paradigmă de probă, în general, dar chiar și în matematică, o dovadă nu este absolută și finală.