správnost a pravdivost
správnost a pravdivost, kategorie log. a teorie poznání. Správnost v log. je zákl. charakteristikou všech log. operací (úsudků, definic, důkazů) a je určována log. zákony a cílem příslušné operace. Naproti tomu pravdivost jako kategorie teorie poznání (gnozeologie) vyjadřuje shodu obsahu poznatku s obj. realitou (pravda). V procesu poznání oba pojmy spolu úzce souvisí, protože při správném usuzování se nemůže od pravdivých premis dojít k nepravdivým závěrům.
