Posted By: Earl (Earl) on 'CZphilosophy' Title: Richardova pravda Date: Wed Dec 3 18:59:56 1997 Hi Encode! Nekdo tu zminil Richarduv paradox, ktery dokonale doklada, o cem tato diskuse o PRAVDE je. Splynuti jazyka a metajazyka. Vyvozuji se tu dusledky z trvzeni o pravde, ale neexistuje jednotny nazor na pojem sam. Ja osobne v takovych situacich doporucuji zamenit sporne slovo za slovo jine. Kdyz nekteri prekousnou odpor k teto abstrakci a zameni ve vsech postech slovo "PRAVDA" za slovo "WEAOFH", zaclona zazitych predstav (ve kterych se vsichni lisi) se zvedne a odhali jemne rozdily v pohledech na "PRAVDU". Rozdily jemnoucke, ktere ovsem motyli efekt roztahne do ohromnych rozmeru. Krok 2. Pokud neexistuje shoda ve vytyceni "Co to znamena", prejde se v abstraktnejsi pojeti a odpovida se na: "Jak se to chova?" Pokud ma nekdo praxi s teorii mnozin 20. stol. jiste si dokaze predstavit, o cem mluvim. Takze, co to nase fluidum WEAOFH znamena? Pri jakych prilezitostech se s nim setkavame (a vse se nam misi dohromady)? a) pravda typu "mit pravdu" A: "..." B: "A, mas pravdu." pravda = souhlas (bezna praxe)? (tzn. staci presvedcit - sofisti) b) prakticka automaticka pravda A: "Kolik je hodin?" B: "Bude pulnoc." pravda = overitelna informace? (s mirou aktuality) c) pravda typu "dokazatelna pravda" A: "Filtr je ultrafiltr, prave kdyz je maximalni." pravda = to, co se da dokazat na zaklade nejakeho vyssiho systemu (zde tak oblibena formalni logika) d) pravda typu "globalni manipulace" A: "Na Zemi zije 75294835792483 lidi." B: "Zeme je kulata." pravda = konvence (zkuste to nekdo dokazat z vlastnich zdroju) e) pravda typu #F (if (< a (+ b 2)) #f (> (* a b) 50)) pravda = hodnota promenne typu boolean v MIT Scheme f) pravda pomoci jinych neznamych (a nepredstavitelnych) pojmu Duke: "Pravda je prvotni nepoznana skutecnost." (definice typu 'co to je' i 'jake to je') Z me empirie plyne, ze slovo pravda ma vice absolutne rozlisnych vyznamu, nez kolik jsem schopen ted vzpomenout (coz je pravda asi vzdy :) ). Ja bych se nebavil o pravde, ale o WEAOFH. E.L., _ , |_ _ ,_ | |__ /_| | |