Dowód to nie tylko założenie poparte dowodami. Jest to formalne rozumowanie stwierdzające prawdziwość stwierdzenia. Kiedy ludzie używają słowa „dowód”, zwykle mają na myśli coś rygorystycznego. Szukają dedukcji, która nie pozostawia miejsca na wątpliwości.
W świecie formalnych systemów aksjomatycznych wszystko staje się niezwykle precyzyjne. Tutaj dowód definiuje się jako skończoną sekwencję poprawnie utworzonych formuł. Formuły te muszą być zgodne z przyjętymi zasadami wychowania. Jeśli złamiesz zasady, sekwencja nie będzie już dowodem.
Struktura jest ściśle regulowana. Każda formuła w sekwencji musi spełniać jedno z dwóch kryteriów. Po pierwsze, może to być aksjomat. Aksjomaty są punktami wyjścia. Są akceptowane bez dowodu. Po drugie, wzór można wyprowadzić z poprzednich wzorów. To wnioskowanie musi wykorzystywać prawidłową regułę wnioskowania. Nie możesz pominąć kroków. Nie można zakładać tego, co należy udowodnić.
Cel jest konkretny. Ostatnia formuła w sekwencji jest tą, którą chcesz udowodnić. Wszystko, co jest przed nim, potwierdza ten ostateczny wniosek. Jeśli logika jest poprawna, stwierdzenie uważa się za prawdziwe.
Nie wszystkie dowody opierają się na tej samej logice. Niektóre opierają się na rozumowaniu indukcyjnym. Indukcja bada wzorce i dokonuje uogólnień. Jednak w logice formalnej i matematyce termin „dowód” implikuje ścisłą dedukcję. Dedukcja przechodzi od zasad ogólnych do konkretnych wniosków. Gwarantuje prawdziwość, jeśli przesłanki są prawdziwe.
Czasami dowód dzieli problem na części. Nazywa się to dowodem przez sprzeczność lub dowodem przez przypadek. W niektórych kontekstach metoda ta, nazywana także dylematem, radzi sobie ze złożonymi scenariuszami, rozważając każdą możliwość osobno. Udowodnisz wynik dla przypadku A. Udowodnisz to dla przypadku B. Jeśli jeden z tych przypadków musi być prawdziwy, całe stwierdzenie jest również prawdziwe.
Wartość dowodu leży w jego wiarygodności. W nauce gromadzi się dowody. W matematyce i logice dowód zapewnia ostateczność. Pokazuje dlaczego coś jest prawdą. Nie tylko stwierdza, że tak jest. Przechodzi przez wszystkie etapy. Zmusza czytelnika do zaakceptowania konkluzji.
Ten proces wymaga dyscypliny. Musisz przestrzegać zasad tworzenia formuł. Należy używać prawidłowych reguł wnioskowania. Powinieneś zakończyć stwierdzeniem celu. Jeśli pominiesz krok, dowód się zawali. Jeśli użyjesz nieprawidłowej reguły wnioskowania, wynik będzie bez znaczenia.
Jak więc to napisać? Zaczynasz od aksjomatów. Stosujesz reguły wnioskowania. Budujesz sekwencję. Sprawdzasz każdy krok. Masz nadzieję, że ostatnia formuła pasuje do tej, którą chcesz udowodnić. Jest to proces mechaniczny. Ale prowadzi do głębokich prawd.
Dlaczego to jest ważne? Bo to odróżnia wiarę od wiedzy. W życiu codziennym akceptujemy rzeczy oparte na zaufaniu. Logicznie rzecz biorąc, akceptujemy rzeczy w oparciu o dowody. Różnica jest oczywista. Jedno jest subiektywne. Drugi jest obiektywny.
Czy na każde pytanie istnieją dowody? Nie. W ramach tego systemu niektóre stwierdzenia są nierozstrzygalne. Ale dla tych, które można udowodnić, metoda jest jasna. To jest ostateczna sekwencja. Jest to ściśle regulowane. Ona ma rację.
Historia logiki jest pełna debat na temat tego, co liczy się jako dowód. Różne systemy mają różne aksjomaty. Różne zasady wypłaty. Ale podstawowa idea pozostaje ta sama. Dowód potwierdza poprawność. Łączy znane z nieznanym. Buduje pomost od aksjomatu do wniosku.
Dla studentów i osób uczących się przez całe życie zrozumienie tej struktury jest kluczowe. Zmienia sposób podejścia do problemów. Przestajesz szukać
