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.,                                                        _         ,
                                                            |_   _  ,_ |
                                                            |__ /_| |  |