Доказ - значення слова доказ в словнику української мови
- англ. proof / evidence; ньому. Beweis. 1. Встановлення, обґрунтування істинності судження за допомогою як логічних міркувань, так і емпіричних даних. 2. У дедуктивних науках (логіці, математиці) - ланцюг правильних висновків, що ведуть від істинних посилок до доводимо тез. 3. У праві - фактичні дані про обставини, що мають значення для правильного вирішення кримінальної або цивільної справи. Див. Криміналістика.
Великий Енциклопедичний Словник »Доказ
встановлення (обгрунтування) істинності висловлювання, судження, теорії. У логічних доказах аргументація проводиться заправилами і засобів логіки.
1. В рамках формальної системи - доказ укладення З являє собою послідовність добре сформульованих суджень Р, таких, що кожне випливає з початкового набору аксіом, передує іншим Р відповідно до певних правил логічного висновку і завершується Р = С. 2. Кілька більш вільне значення _ будь заключне судження, достовірно отримане з істинних посилок. 3. Ще більш вільне значення - будь-яка демонстрація, яка забезпечує логічну або наочну підтримку якогось переконання. Правильно слід розглядати доказ декількома окремими способами. А точніше, значення 1 і 2 необхідно відрізняти від значення 3. В рамках аксіоматичних систем доказ зводиться до формальної демонстрації того, що судження слід логічно і дедуктивно. Тобто можна в геометрії Евкліда доводити судження щодо точок, ліній і просторів; в такій системі, як загальна теорія відносності, можна доводити судження щодо заломлення світла поблизу великих мас, а в математичній теорії навчання можна доводити, що ймовірність правильної реакції зростає відповідно до певної функцією від числа підкріплених спроб. Але доказ тут буде не більше, ніж твердження, що в рамках даної системи синтаксис судження, формулює висновок, правильний і випливає з посилок. Тобто це докази в значеннях 1 і 2. Значення 3 має інші і проблематичні конотації; воно розширює область вживання терміна до сфери даних і теорії. Воно передбачає розгляд, наприклад, евклідової геометрії як доведеною, якщо вона описує тривимірний світ наших почуттів, теорії відносності як доведеною, якщо світло заломлюється, проходячи через зірки, або математичної теорії навчання як доведеною, якщо дані експериментів по навчанню відповідають теоретичної функції. Тобто все це є наочною підтримкою переконань щодо природи. Очевидно, що цей тип докази значно відрізняється від тих, які маються на увазі в значеннях 1 і 2, вони настільки різняться, що в спеціальній літературі значення 3 зазвичай не зустрічається. тут правильніше розглядати з точки зору невдалих спроб спростувати; см. фальсіфіка-ционизму.
- процес встановлення істини, обгрунтування істинності судження.
- в найзагальнішому сенсі прийом, до якого вдаються з тією метою, щоб переконати в правильності тези, достовірності пізнання або - в тому випадку, якщо це положення заперечується, - ще раз його доповнити і підтвердити. Суворе, або дедуктивно е, доказ (демонстрація) має місце в тому випадку, якщо це висловлювання підтверджується положеннями (підстави докази, аргументи), які визнаються істинними, так що затверджується випливає з них як висновок з логічного висновку. Якщо такий доказ виявляється неможливим, то слід зробити зворотне, тобто привести в якості підстав докази факти, що випливають з даної тези як його окремі випадки, - індуктивний доказ. Якщо ж мова йде тільки або про правильність, або про хибність цієї тези, а не про відсутність можливості = -svoboda-vybora-6366.html "> вибору між цими двома тезами, то далі може бути зроблена спроба довести протилежне даному тезі або спростувати те , що потім служить підставою для спростування чи підтвердження останнього, - непрямий доказ. Протилежністю докази є спростування; воно полягає в тому, що по відношенню до предмета, про який щось стверджується, наводяться факти, з яких це твердження не может т бути виведено. Помилки докази можуть складатися: 1) в неясності тези, який повинен бути доведений; 2) в неправильності чи ненадійності наведених підстав докази; 3) у формальній неправильності виведення слідства. Найбільш відомі помилки докази суть наступні: Гістеронпротерон, Circulus vitiosus, Petitio principii, Ignoratio elenchi, Proton pseudos і Quaternio terminorum. Від цих помилок слід відрізняти: помилкове умовивід, логічну прийом і неправильне умовивід.
то, що веде розум до осягнення істини. Існують два типи доказів: докази, які здійснюються за допомогою об'єктивних методів, в результаті яких досягається логічне переконання; і докази, які здійснюються за допомогою психологічного переконання, звернення до найважливіших почуттів і схильностей людини.
- міркування, яке має на меті обґрунтувати істинність (або хибність) до.-л. затвердження, до-рої зв. тезою Д. Судження, на к-які спирається Д. і з яких брало логічно випливає теза, наз. аргументами (підставами) Д. Аргументи приймаються за істинні, причому їх Д. не повинно спиратися на тезу, інакше вийде помилка, зв. кругом в доказі. Д. встановлює істинність тези, наз. просто Д. а Д. встановлює хибність тези, - спростуванням. Д. може бути прямим, т. Е. Бути метою умовиводів, посилки яких брало суть аргументи або виводяться з них положення, або здійснюватися за допомогою додаткових припущень. Останнє будується наступним чином: за допомогою припущень доводяться нек-риє положення; потім Д. цих положень за допомогою особливих правил перетворюється в Д. первісна тези (без припущень). У Д. можливі помилки, пов'язані або з підміною тези, або з прийняттям необгрунтованих або помилкових аргументів, або з неправильним способом Д. Містить помилку Д. є неспроможним. Однак виявлення неспроможності Д. ще не є Д. хибності тези. Можливі Д. встановлюють істинність тези ні з достовірністю, а з деякої ймовірністю (Вероятностная логіка).
Система умовиводів, шляхом яких виводиться нове положення
1. В рамках формальної системи - доказ укладення З являє собою послідовність добре сформульованих суджень Р, таких, що кожне випливає з початкового набору аксіом, передує іншим Р відповідно до певних правил логічного висновку і завершується Р = С. 2. Кілька більш вільне значення _ будь заключне судження. достовірно отримане з істинних посилок. 3. Ще більш вільне значення - будь-яка демонстрація. яка забезпечує логічну або наочну підтримку якогось переконання. Правильно слід розглядати доказ декількома окремими способами. А точніше, значення 1 і 2 необхідно відрізняти від значення 3. В рамках аксіоматичних систем доказ зводиться до формальної демонстрації того, що судження слід логічно і дедуктивно. Тобто можна в геометрії Евкліда доводити судження щодо точок, ліній і просторів; в такій системі, як загальна теорія відносності, можна доводити судження щодо заломлення світла поблизу великих мас, а в математичній теорії навчання можна доводити, що ймовірність правильної реакції зростає відповідно до певної функцією від числа підкріплених спроб. Але доказ тут буде не більше, ніж твердження, що в рамках даної системи синтаксис судження, формулює висновок. правильний і випливає з посилок. Тобто це докази в значеннях 1 і 2. Значення 3 має інші і проблематичні конотації; воно розширює область вживання терміна до сфери даних і теорії. Воно передбачає розгляд. наприклад, евклідової геометрії як доведеною, якщо вона описує тривимірний світ наших почуттів, теорії відносності як доведеною, якщо світло заломлюється, проходячи через зірки, або математичної теорії навчання як доведеною, якщо дані експериментів по навчанню відповідають теоретичної функції. Тобто все це є наочною підтримкою переконань щодо природи. Очевидно, що цей тип докази значно відрізняється від тих, які маються на увазі в значеннях 1 і 2, вони настільки різняться, що в спеціальній літературі значення 3 зазвичай не зустрічається. тут правильніше розглядати з точки зору невдалих спроб спростувати; см. фальсіфіка-ционизму.
один з видів непрямого докази.
Великий Енциклопедичний Словник
(Лат. Reductio ad absurdum) - вид докази, при якому справедливість деякого судження (тези докази) здійснюється через спростування суперечить йому судження - антитези. Спростування антитези досягається шляхом встановлення його несумісності з свідомо істинним судженням. Часто доказ від протилежного спирається на двозначності принцип.
- англ. cross-evidence; ньому. Uberkreuzbeweis. У статистиці - перевірка певним способом (напр. За допомогою регресивного обчислення) результатів, отриманих в одному масиві даних на даних, отриманих в іншому масиві.
або: Доказ розбором випадків, - логічно правильне міркування, коли від декількох умовних висловлювань (посилок), маю щих однакове наслідок, здійснюється перехід до утвержде-нию цього слідства шляхом встановлення того, що принаймні одна з підстав умовних висловлювань істинно. У най-більш простому випадку посилками є висловлювання: «Якщо є перше, то є третя», «Якщо є друга, то є третя» і «Є перше або є друге», висновком - висловлювання «Є третій». Напр. «Якщо буде дощ, ми підемо в кіно; якщо буде холодно, ми підемо в кіно; буде дощ або буде холодно; зна-чит, ми підемо в кіно ». Більш складні форми Д. п. С. включають не дві, а більше число альтернатив. У разі, коли таких альтернатив три, на ос-нове посилок: «Якщо є перше, тобто четверте», «Якщо є друга, є четверте», «Якщо є третя, є четверте» і «Є або перше, або друге, або третя »доводиться теза« Є четверте ». Найбільш проста форма Д. п. С. в традиційній логіці називає-ся простий конструктивної дилемою; термін «Д. п. с. »звичайний в математиці. Більш складні форми Д. п. С. які мають більше двох умовних висловлювань, іноді за традицією називають-сятрілеммой, тетралемма, полілеммой.
- логічно правильне міркування, коли від декількох умовних висловлювань (посилок), що мають однакове наслідок, здійснюється перехід до утвердження цього слідства шляхом встановлення того, що принаймні одна з підстав умовних висловлювань істинно. У найбільш простому випадку посилками є висловлювання: "Якщо є перше, тобто третє", "Якщо є друга, тобто третє" і "Є перше або є друге", висновком - висловлювання "Є третє". Напр. "Якщо буде дощ, ми підемо в кіно; якщо буде холодно, ми підемо в кіно; буде дощ або буде холодно; значить, ми підемо в кіно". Більш складні форми Д. п. С. включають не дві, а більше число альтернатив. У разі, коли таких альтернатив три, на основі посилок: "Якщо є перше, тобто четверте", "Якщо є друга, є четверте", "Якщо є третя, є четверте" і "Є або перше, або друге, або третя "доводиться теза" Є четверте ". Найбільш проста форма Д. п. С. в традиційній логіці називається простий конструктивної дилемою; термін "Д. п. с." звичайний в математиці. Більш складні форми Д. п. С. які мають більше двох умовних висловлювань, іноді за традицією називають-сятрілеммой, тетралемма, полілеммой.
У страхових операціях: після надсилання поштою письмове повідомлення про розірвання договору страхової компанії зазвичай не потрібно доказів того, що власник страхового полісу отримав дане повідомлення. Для страховика достатнім доказом є те, що повідомлення було дійсно відправлено поштою.
1. Незаперечний довід або факт, який підтверджує, що доводить що-л. // Хтось л. що-л. є свідченням, підтвердженням чого-л. 2. Система умовиводів, що служить для виведення нового положення на підставі даних, що приймаються за істинні.
Тлумачний словник Єфремової
У страхових операціях: форма, яка використовується страховим агентом або страховиком для того, щоб підтвердити наявність страхового захисту для заставоутримувачів, додатково застрахованих осіб і ремитентом по збитку. Багато кредитних установ і ремітенти по збитку приймають цей документ замість страхового поліса як доказ того, що необхідна страховий захист забезпечена.
У страхових операціях: страховий поліс, свідоцтво про страхування або інший документ, що надаються страхувальнику страховиком. Найбільш часто доказ, що підтверджує наявність чинного страхування, використовується при проведенні обов'язкового страхування відповідальності в зв'язку з використанням засобу автотранспорту.
У страхуванні життя: інформація, що міститься в заяві на страхування або в акті медичного обстеження, яка забезпечує докази того, що фізичний стан особи, яка подала заяву на страхування, область його професійної діяльності та інші характеристики відповідають вимогам, що пред'являються про прийнятність пропозиції на страхування. У страхуванні здоров'я: встановлене згідно із законом право особи, застрахованої за груповим страховим полісом, на отримання поліса індивідуального страхування після припинення членства в групі, без необхідності доведення прийнятності пропозиції на страхування.
У страхових операціях: офіційний документ у формі клятвеного заяви страховику від імені власника страхового поліса щодо того, що сталося збитку, який надається до виплати відшкодування по збитку. Як правило, дана форма використовується в разі врегулювання збитків, завданих першій особі. Документ містить дату, опис події та суму збитків. Оформляється в цілях забезпечення страховика інформацією, необхідною для встановлення ступеня його відповідальності.