Remove ads
różnie definiowana właściwość niektórych zdań oznajmujących Z Wikipedii, wolnej encyklopedii
Prawda – według klasycznej definicji właściwość sądów polegająca na ich zgodności z faktycznym stanem rzeczy, których dotyczą[1]. W potocznym rozumieniu jest to stwierdzenie w formie zdania oznajmiającego, wyrażone o określonym fakcie, tak jak ma czy miało to miejsce w rzeczywistości.
Problemem zdefiniowania tego pojęcia zajmowali się filozofowie od starożytności. Klasyczna definicja prawdy pochodzi od Arystotelesa i jest to zgodność sądów z rzeczywistym stanem rzeczy, którego ten sąd dotyczy.
Arystoteles tak próbował przybliżać istotę prawdy w swojej Metafizyce:
Definicja ta (zwana dziś korespondencyjną definicją prawdy) oznacza, że:
tzn. zdanie „Ala ma kota” jest prawdziwe wtedy i tylko wtedy, gdy Ala rzeczywiście posiada jakiegoś kota.
Powyższe rozumienie prawdy prowadzi jednak do kilku trudności. Jedną z nich jest tzw. paradoks kłamcy. Bez względu na to, jaką z dwóch wartości logicznych przypiszemy jednemu z poniższych zdań:
to, przy założeniu powyższej definicji prawdy, dojdziemy do wniosku, że zdaniu przysługuje inna (od założonej) wartość logiczna.
Przez wieki filozofowie nie potrafili znaleźć definicji prawdy, która z jednej strony byłaby formalnie poprawna (nie prowadziłaby do sprzeczności), a z drugiej adekwatna, czyli bliska nieścisłemu, potocznemu rozumieniu słowa „prawda”.
Klasyczna koncepcja prawdy jest najlepiej przedstawiona u św. Tomasza z Akwinu. Słowo „prawda” może być rozumiane trojako:
Jedna z takich prób została przedstawiona w XX wieku przez polskiego logika Alfreda Tarskiego, choć miała ograniczony zasięg – odnosiła się mianowicie wyłącznie do języków formalnych.
Tarski określił prawdę jako pewną cechę zdań, wyrażalną jednak w języku zewnętrznym (czyli w metajęzyku) wobec języka, w jakim wypowiadane są owe zdania. Definicja Tarskiego dla zdań języka angielskiego – wyrażona w języku polskim jako metajęzyku dla języka angielskiego – byłaby nieskończoną koniunkcją zdań typu:
przy czym „wtedy i tylko wtedy” jest prawdziwościowym spójnikiem logicznym, natomiast zdania pisane dużymi literami są przekładem odpowiednich zdań języka angielskiego na zdania języka polskiego z zachowaniem (z dokładnością co do) ich ekstensji.
Antynomia kłamcy nie ima się tej definicji, gdyż zdanie „ja kłamię” byłoby zdaniem nie z języka polskiego, lecz właśnie z owego zewnętrznego języka, opisującego stan faktyczny i jako takie nie podlegałoby definicji Tarskiego.
Definicja Tarskiego odnosiła się jedynie do języków formalnych (do których język polski będący językiem naturalnym się nie zalicza) i była konstruowana nie tyle przez nieskończoną koniunkcję, co przez indukcję.
Neokantowska szkoła badeńska rozwijała koncepcję prawdy jako powszechnie obowiązującej wartości poznawczej[2]. Prawda w tym ujęciu stanowi naczelną wartość poznania, a w szczególności poznania naukowego. Podstawowym nośnikiem wartości prawdy jest sąd w sensie logicznym.
Chrześcijaństwo ma soteriologiczny pogląd na prawdę. W Ewangelii Jana Jezus powiedział:
Ja jestem drogą, prawdą i życiem: nikt nie przychodzi do Ojca, jak tylko przeze mnie.
W filozofii chrześcijańskiej prawda jest fundamentem wolności człowieka[4]. Do współcześnie najlepiej znanych stwierdzeń zawartych w Nowym Testamencie, należą słowa[5]:
Poznacie prawdę, a prawda was wyzwoli.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.