Probráno: kritéria pravdivosti vs. definice podstaty pravdy; Frege: pravdivost je natolik základní, že ji nelze definovat; tradiční intuitivní chápání pravdy jako odpovídání výroku skutečnosti (Aristotelova klasická definice "Pravdou je říci o něčem, co je, že to je..."; veritas est adaequatio rei et intellectus - adekvační teorie pravdy) - korespondenční teorie pravdy: kongruenční verze (strukturální izomorfismus), logický atomismus (Wittenstein, Russell); námitky proti faktu jakožto truth-makeru - Quine (fakta promítáme z výroků), s jakými fakty korespondují matematické, etické, modální atd. výroky?, problém logického atomismu s intenzionálními kontexty; volnější forma korespondence (Austin - deskriptivní a demonstrativní konvence); Tarského sémantická definice pravdy - T-schéma, problém sémanticky uzavřených jazyků - definovatelnost pouze relativizovaného predikátu "pravdivý-v-objektovém-jazyce", pojem metajazyka, pojem splňování, formální rekurzivní definice splňování formule nekonečnou posloupností, definice pravdivosti; koherenční teorie pravdy: přesvědčení je pravdivé, když "ladí" s ostatními přesvědčeními, pojem koherenční množiny přesvědčení, problémy s jejím vymezením; námitky proti koherenční teorii; pragmatická teorie pravdy: pravdivost jako užitečnost, praktičnost; W. James; námitky proti pragmatické teorii.