pátek 5. února 2010

Bertrand Russell o matematické jistotě

Mnoho lidí pokládá matematiku za vědní disciplinu, ve které je vše zcela jasné a zcela nepochybné. Bertrand Russell, kterému bylo dáno vidět matematiku hodně zblízka, vyjádřil ve svých pamětech jiný názor.

I wanted certainty in the kind of way in which people want religious faith. I thought that certainty is more likely to be found in mathematics than elsewhere. But I discovered that many mathematical demonstrations, which my teachers expected me to accept, were full of fallacies, and that, if certainty were indeed discoverable in mathematics, it would be in a new kind of mathematics, with more solid foundations than those that had hitherto been thought secure. But as the work proceeded, I was continually reminded of the fable about the elephant and the tortoise. Having constructed an elephant upon which the mathematical world could rest, I found the elephant tottering, and proceeded to construct a tortoise to keep the elephant from falling. But the tortoise was no more secure than the elephant, and after some twenty years of very arduous toil, I came to the conclusion that there was nothing more that I could do in the way of making mathematical knowledge indubitable.
Bertrand Russell – Portraits from Memory and Other Essays

Toužil jsem po jistotě způsobem, jakým lidé touží po náboženské víře. Domníval jsem se, že v matematice lze jistotu nalézt spíše než kdekoli jinde. Ale přišel jsem na to, že mnohé matematické důkazy, které mi moji učitelé předkládali k uvěření, byly plné chyb. Jestliže tedy bylo možné nalézt jistotu v matematice, muselo by to být v nějaké nové matematice, stojící na solidních základech, nikoli na těch, které byly až doposud pokládány za bezpečné. Ale jak práce postupovala, pořád se mi vybavovala bajka o slonu a želvě. Jakmile jsem sestrojil slona, na kterém spočíval zbylý matematický svět, zjistil jsem, že se slon potácí, a sestrojil jsem želvu, aby mu pomohla získat rovnováhu. Želva však nebyla o nic stabilnější než slon, a po nějakých dvaceti letech úporné lopoty jsem přišel na to, že již nemohu nijak přispět k tomu, abych matematiku nesrovnalostí zbavil.
Bertrand Russell – Portréty z paměti a jiné eseje

pondělí 25. ledna 2010

Logika, metalogika a metametalogika

Cíl je navrhnout kalkul použitelný nejen pro logiku, ale pro metalogiku, popř. pro metametalogiku. Návrh tohoto kalkulu vypadá následovně: Odvozovací systém pracuje s pravidly. Odvozovací systém umí pouze zaměnit proměnnou za jinou proměnnou, popř. výraz, a jsou-li splněny předpoklady pravidla a je-li o to žádán, pak vkládá do odvozených pravidel důsledek pravidla. Nic jiného odvozovací systém nedělá.

Pravidla logiky mají pouze důsledky. Jejich předpoklady jsou prázdné, a tedy vždy splněné. První pravidlo logiky je definice pravdy:

TI: A |- [\TRUE]

Proměnná A je proměnná seznamu výroků. Lomítko označuje konstantu. Seznam výroků má formu [a, b, c, ...]. Podle této definice je pravda to, co lze odvodit z každé teorie. Druhé pravidlo je definice nepravdy:

FI: [\FALSE] |- A

Nepravda je tedy to, z čeho lze odvodit každou teorii. Pokus o definici negace vypadá následovně:

NE: [not not a] |- [a]

Tato definice je zatím poněkud diskutabilní. Korektní definice logické spojky and, or, implikace a ekvivalence jsou tyto:

CI: [a, b] |- [a and b]
CE: [a and b] |- [a, b]
DI1: [a] |- [a or b]
DI2: [b] |- [a or b]
DE: [a or b, not b] |- [a]
II: [b] |- [a -> b]
MP: [a -> b, a] |- [b]
MT: [a -> b, not b] |- [not a]
EI: [(a -> b) and (b -> a)] |- [a <-> b]
EE: [a <-> b] |- [a -> b, b -> a]

Axiomy klasické výrokové logiky jsem vtělil do těchto logických pravidel:

PP1: |- [a -> (b -> a)]
PP2: |- [(a -> (b -> c)) -> ((a -> b) -> (a -> c))]
PP3: |- [(not a -> not b) -> (b -> a)]

Axiomy klasické predikátové logiky prvního řádu jsou tyto:

GQI: [SUB(a, x, t)] |- [forall(x, SUB(a, x, t))]
GQE: [forall(x, a)] |- [SUBST(a, x, t)]
EQI: [SUB(a, x, t)] |- [exists(x, SUB(a, x, t))]

SUB zde znamená substituci všech výskytů. Chybí tam ještě obecný případ eliminace existenčního kvantifikátoru. Pro jeho definování je zřejmě nutné zavést nějaký další metalogický prvek.

Zatímco dokazatelnost jsem značil |-, oddělovač předpokladu a důsledku značím ||=. Nemyslím tím sémantický důsledek, který se značí |=, a který nepoužívám. Následuje sada pravidel, které definují, co je dokazatelnost. Následující pravidlo říká, že ze souboru tvrzení lze dokázat jeho podsoubor:

It: A, B, C |- B

Toto pravidlo je jen obecnější forma známého pravidla [a] |- [a]. Můžeme-li něco dokázat, pak můžeme dokázat i o nějaký podsoubor méně:

OM: A |- B, C, D ||- A |- B, D

Pořadí tvrzení v seznamu můžeme zaměnit:

OI: A |- B, C, D, E, F ||- A |- B, E, D, C, F

Dokazatelné ze stejných předpokladů můžeme spojit:

Co: A |- B AND A |- C ||- A |- B, C

Kromě dokazatelnosti by bylo možné uvést i pravidla pro nedokazatelnost (značím |/-). Toto je jen návrh:

Ap1: [\TRUE] |- A ||- A |/- [\FALSE]
Ap2: A |/- B AND C |- A ||- C |/- B
Ap3: A |/- B ||- A |/- [\FALSE]
Ap4: A |/- B AND A |/- C ||- A |/- B, C
Ap5: A |/- B, C, D, E, F ||- A |/- B, E, D, C, F

Dále je možné definovat pravidla, která z definovaných pravidel umožňují odvodit nová pravidla. Jinými slovy: pravidla definující logiku pravidel. Je těžké rozhodnout, zda se ještě jedná o pravidla metalogické, nebo jsou to pravidla metametalogická. Záleží na použití. První pravidlo říká, že pravidla jsou tranzitivní:

MLTr: (A ||- B) AND (B ||- C) ||- (A ||- C)

Je-li pravidlo odvozující z pravidla A pravidlo B a z pravidla B pravidlo A, jsou pravidla záměnná:

MLSUB: (A ||- B) AND (B ||- A) AND C ||- SUB(C, A, B, I)

Proměnná I je proměnná za množinu přirozených čísel, které jsou indexy proměnných, které jsou substituovány. Metalogické AND a OR jsou komutativní:

MLCC: (A AND B) ||- (B AND A)
MLCD: (A OR B) ||- (B OR A)

Nadto platí:

MLDI: A ||- (A OR A)

Metalogické AND a OR mohou být za určitých okolností eliminovány:

MLDE: (A OR B) ||- A
MLCE: (A AND A) ||- A

Pravidlo lze pomocí AND zpřísnit:

MLCI: A ||- (A AND B)

Prázdný předpoklad je vždy splněn:

MLE1: A ||- (||- A)
MLE2: (||- A) ||- A

Nádavkem ještě pravidla o dokazatelnosti a předpokladech pravidel:

MLJo: (A ||- B |- C) AND (D ||- B |- E) ||- (A AND D ||- B |- C, E)
MLPr: (A ||- B |- C) AND (D ||- C |- E) ||- (A AND D ||- B |- E)

Bohužel, uvedený metalogický systém nedovoluje odvodit pravidla, která však odvoditelná jsou. Je to např. pravidlo o dedukci a jeho důsledek pravidlo o důkazu sporem. Lze je však dodefinovat:

Ded: A, [b], C |- [d] AND CLOSED(b) ||- A, C |- [b -> d]
Dis: A, [not b] |- \FALSE ||- A |- [b]

CLOSED(x) je relace, která je splněná, pokud je formule x uzavřená. Zatím je vše jenom v zárodku a bude třeba na tom ještě zapracovat.

středa 20. ledna 2010

David Hilbert o ignorabimus

Wir dürfen nicht denen glauben, die heute mit philosophischer Miene und überlegenem Tone den Kulturuntergang prophezeien und sich in dem Ignorabimus gefallen. Für uns gibt es kein Ignorabimus, und meiner Meinung nach auch für die Naturwissenschaft überhaupt nicht. Statt des törichten Ignorabimus heiße im Gegenteil unsere Losung: Wir müssen wissen, Wir werden wissen.

Neměli bychom věřit těm, kdo dnes s filosofickým nádechem a nadřazeností prorokují úpadek kultury a domýšlivě přijímají princip ignorabimus. Pro nás neexistuje žádné ignorabimus a podle mého názoru neexistuje ani pro přírodovědce. Místo bláhového ignorabimus, budiž naopak naším předsevzetím: Musíme vědět, budeme vědět.

Celý text je tady: http://www.jdm.uni-freiburg.de/JdM_files/Hilbert_Redetext.pdf
Vzácný zvukový proslovu je zde: http://math.sfsu.edu/smith/Documents/HilbertRadio/HilbertRadio.mp3

pátek 8. ledna 2010

Plútarchos o matematice a mechanice

První, kdo zaměřil pozornost k oblíbené a slavné mechanice, byli Audoxos a Archytas, když dali pestrost a půvab abstraktní geometrii. Při logicky a konstruktivně nesnadném řešení problému si vypomáhali názorem na příkladech z mechaniky; tak například problém dvou středních úměrných, který je v mnoha příkladech základním prvkem pro kresliče, vyřešil oba pomocí mechanické konstrukce, přičemž z křivek a kuželoseček sestrojili tzv. mesolab. Avšak Platón jejich metody s rozhořčením odmítal, protože prý ničí a ruší největší přednost geometrie, která první uniká z oblasti nehmotných a abstraktních jevů do smyslového světa a znova se zaměstnává tělesy, která již sama o sobě vyžadují mnoho namáhavé řemeslnické činnosti. Tak byla mechanika oddělena od geometrie a také byla po dlouhý čas přezírána i filozofií a pokládána za odvětví válečné techniky.
Plútarchos – Životopisy slavných Řeků a Římanů

Problém dvou středních úměrných lze napsat do rovnice: 1/x = x/y = y/2. Zkonstruovat řešení pomocí pravítka a kružítka není možné.

středa 6. ledna 2010

Plútarchos

O málo světlých stránkách řeckého náboženství svědčí nejen samotná Iliada, ale i tento popis událostí při Xerxově vpádu:

τούτους ἰδὼν Εὐφραντίδης ὁ μάντις, ὡς ἅμα μὲν ἀνέλαμψεν ἐκ τω̂ν ἱερω̂ν μέγα καὶ περιφανὲς πυ̂ρ, ἅμα δὲ πταρμὸς ἐκ δεξιω̂ν ἐσήμηνε, τὸν Θεμιστοκλέα δεξιωσάμενος ἐκέλευσε τω̂ν νεανίσκων κατάρξασθαι καὶ καθιερευ̂σαι πάντας ὠμηστῃ̂ Διονύσῳ προσευξάμενον: οὕτω γὰρ ἅμα σωτηρίαν τε καὶ νίκην ἔσεσθαι τοι̂ς ̔́Ελλησιν. ἐκπλαγέντος δὲ του̂ Θεμιστοκλέους ὡς μέγα τὸ μάντευμα καὶ δεινόν, οἱ̂ον εἴωθεν ἐν μεγάλοις ἀγω̂σι καὶ πράγμασι χαλεποι̂ς, μα̂λλον ἐκ τω̂ν παραλόγων ἤ τω̂ν εὐλόγων τὴν σωτηρίαν ἐλπίζοντες οἱ πολλοὶ τὸν θεὸν ἅμα κοινῃ̂ κατεκαλου̂ντο φωνῃ̂ καὶ τοὺς αἰχμαλώτους τῳ̂ βωμῳ̂ προσαγαγόντες ἠνάγκασαν, ὡς ὁ μάντις ἐκέλευσε, τὴν θυσίαν συντελεσθη̂ναι.
Πλούταρχος – βιοι παραλλελοι

Ve chvíli, kdy je věštec Eufrantides spatřil, vzplála oběť velkým a jasným plamenem a zároveň bylo dáno znamení kýchnutím, které se ozvalo z pravé strany; Eufrantides podal proto Themistoklovi pravici a poručil mu, aby všechny tři jinochy zasvětil bohu a po modlitbě je věnoval masožravému Dionýsovi; tak se prý dostane Řekům záchrany a zároveň vítězství. Themistoklés se zděsil hrozné a neobyčejné věštby, lid však, který, jak tomu bývá ve velkém nebezpečí a za svízelných poměrů, očekával záchranu spíše od věcí nadpřirozených než rozumných, vzýval hromadně boha, přivlekl zajatce k oltáři a vynutil si, aby oběť byla vykonána podle věštcova příkazu.
Plútarchos – Životopisy slavných Řeků a Římanů

sobota 19. prosince 2009

Jde to i přesně

Problém zaokrouhlování je nejen nepřesnost, ale i neplatnost asociativního zákona i když komutativita zůstává neporušena. Např:

(-1010 + 10-10) + 1010 = -1010 + 1010 = 0 ≠ (-1010 + 1010) + 10-10 = 10-10.

Výsledek je tedy nejen nepřesný, ale i pokaždé jiný v závislosti na tom, v jakém pořadí jsou operace vykonávány. Obě nevýhody lze zcela odstranit, pokud se omezíme jen na racionální čísla. To lze v případě řešení soustavy lineárních rovnic, protože řešení soustavy s racionálními koeficienty je opět racionální, což lze snadno dokázat. Přiložený skript je implementace Gaussovy eliminační metody. Řešení (ovšem až na výpis) je zcela přesné bez jakéhokoliv zaokrouhlování, což je zaručeno tím, že racionální číslo je reprezentováno dvěmi čísly celými. Skriptovací jazyk Python nemá kromě omezené paměti jiné omezení na celá čísla.


def codeInt(x):
return [x, 1]

def RatMPrint(A):
for r in A:
for c in r:
print float(c[0]) / float(c[1]),
print

def RatEq(a, b):
return a[0] * b[1] == b[0] * a[1]

def RatAdd(a, b):
return [a[0] * b[1] + b[0] * a[1], a[1] * b[1]]

def RatDiff(a, b):
return [a[0] * b[1] - b[0] * a[1], a[1] * b[1]]

def RatMult(a, b):
return [a[0] * b[0], a[1] * b[1]]

def RatDiv(a, b):
return [a[0] * b[1], a[1] * b[0]]

def RatAbs(a):
return [abs(a[0]), abs(a[1])]

def RatIsGr(a, b):
return a[0] * b[1] > b[0] * a[1]

def RatSize(A):
r = len(A)
c = 0
if r > 0:
c = len(A[0])
return [r, c]

def RatMGaussJordan(m):
[h, w] = RatSize(m)
for y in range(0, h):
maxrow = y
for y2 in range(y + 1, h): # Find max pivot
if RatIsGr(RatAbs(m[y2][y]), RatAbs(m[maxrow][y])):
maxrow = y2
(m[y], m[maxrow]) = (m[maxrow], m[y])
if RatEq(m[y][y], codeInt(0)): # Singular?
return False
for y2 in range(y + 1, h): # Eliminate column y
c = RatDiv(m[y2][y], m[y][y])
for x in range(y, w):
m[y2][x] = RatDiff(m[y2][x], RatMult(m[y][x], c))
for y in range(h-1, 0-1, -1): # Backsubstitute
c = m[y][y]
for y2 in range(0, y):
for x in range(w - 1, y - 1, -1):
m[y2][x] = RatDiff(m[y2][x], RatMult(m[y][x], RatDiv(m[y2][y], c)))
m[y][y] = RatDiv(m[y][y], c)
for x in range(h, w): # Normalize row y
m[y][x] = RatDiv(m[y][x], c)
return True

#*******************************************************************************

m = [[codeInt(1), codeInt(2), codeInt(0)],
[codeInt(3), codeInt(4), codeInt(1)]]
if RatMGaussJordan(m):
RatMPrint(m)

neděle 29. listopadu 2009

K čemu je intenzionální logika?

Využitelnost klasické logiky pro sémantickou analýzu skutečného jazyka je z tohoto i z dalších důvodů značně omezená: klasickým příkladem, který se jako ilustrace nedostatečnosti této logiky uvádí, je věta John hledá jednorožce (Montague, 1974), kterou můžeme v českém kulturním kontextu nahradit větou Honza hledá draka. Přímočará logická analýza této věty v rámci tradiční logiky vede k formuli

∃x. Hledá(Honza,x) & Drak(x),

ze které ovšem přímo vyplývá

∃x. Drak(x).

To znamená, že kdyby byla tato analýza správná, bylo by možné hledat draka jedině tehdy, kdyby nějací draci existovali. Jednou z cest, jak tento model „vylepšit“, je přejít od této klasické, extenzionální logiky k logice intenzionální.
Jaroslav Peregrin – Pavel Tichý a jeho logika

středa 25. listopadu 2009

Xenofón o tom, jak se dělá moc

Dostat se k moci je nejjednodušší v době krize, kdy je třeba rychlých a rázných řešení. K upevnění moci je jen jediná věc lepší než obyčejný teror, a to teror, který má alespoň na začátku zdání legálnosti nebo dokonce podpory lidu.

Jakmile byly v Athénách strženy Dlouhé zdi a opevnění okolo Pirea, došlo k volbě třiceti mužů. Ale ačkoli byli zvoleni proto, aby sepsali zákony, podle nichž by se řídil veřejný život, jejich sepsání a vyhlášení stále oddalovali. Podle svého vlastního mínění ustanovili pouze radu a ostatní úřady. Potom dali nejprve zatýkat a soudit k trestu smrti občany, o nichž bylo obecně známo, že se za demokratické vlády živili udavačstvím a vydírali aristokraty. A rada je ochotně odsuzovala a vůbec se proto netrápili ani ostatní, kteří bezpečně věděli, že nepatří k odsuzovaným.
Xenofón – Řecké dějiny

Pozvání vojenské posádky ze „spřátelené“ mocnosti není nic nového.

Když potom začali členové třicítky uvažovat, jak by mohli svého postavení ve veřejném životě využívat k prosazení vlastních zájmů, poslali nejprve do Lakedaimonu Aischina a Aristotela a podařilo se jim přemluvit Lýsandra, že v zájmu třicítky prosadí, aby je podporovala lakedaimonská posádka, dokud neodstraní rozvratníky a neupevní své zřízení. Slibovali, že sami ponesou náklady na hmotné zajištění posádky. Lýsandros se dal přemluvit a prosadil, aby k nim byla poslána posádka v čele s Kallibiem. Jakmile dostali posádku, všemožně zahrnovali Kallibia náklonností a podporou, aby souhlasil s veškerým jejich jednáním. A poněvadž s nimi posílal některé ze stráží, zatýkali již každého podle své vůle, a ne snad jen málo významné rozvratníky, nýbrž i ty, kteří – jak se domnívali – se nedají přimět k trpné nečinnosti a kteří by se mohli pokusit o odpor získat co nejširší dobrovolnou pomoc.
Xenofón – Řecké dějiny

Také je třeba hledat nepřítele a to i ve vlastních řadách.

Členové rady! Soudí-li někdo z vás, že umírá více občanů, nežli si žádá nynější čas, nechť uváží, že takovéto věci se dějí všude, kde dochází ke změně státního zřízení. Je zcela zákonité, že také u nás máme neobyčejně mnoho nepřítel, poněvadž přetváříme stát v oligarchii, a pak – žijeme v Athénách, nejlidnatějším řeckém městě, ve kterém se odedávna pěstuje svobodná vláda lidu. Poněvadž jsme však toho názoru, že pro nás i pro vás je demokracie nepřijatelná, a poněvadž dále víme, že demokraté nikdy nebudou nakloněny Lakedaimoňanům, kteří nás zachránili, ale že jim naopak zůstanou věrni aristokraté, proto zavádíme toto uspořádání státu se souhlasem Lakedaimoňanů. A zjistíme-li odpůrce oligarchie, podle svých sil jej odstraňujeme. Podle našeho názoru je však naprosto spravedlivé, aby byl především potrestán každý, kdo přímo mezi námi toto zřízení poškozuje.
Xenofón – Řecké dějiny

úterý 3. listopadu 2009

Bertrand Russell o naivním realismu

We all start from "naive realism'', i.e., the doctrine that things are what they seem. We think that grass is green, that stones are hard, and that snow is cold. But physics assures us that the greenness of grass, the hardness of stones, and the coldness of snow, are not the greenness, hardness, and coldness that we know in our own experience, but something very different. The observer, when he seems to himself to be observing a stone, is really, if physics is to be believed, observing the effects of the stone upon himself. Thus science seems to be at war with itself: when it most means to be objective, it finds itself plunged into subjectivity against its will. Naive realism leads to physics, and physics, if true, shows that naive realism is false naive realism, if true, is false: therefore it is false. And the behaviourist, when he thinks he is recording observations about the outer world, is really recording observations about what is happening in him.
Bertrand Russell – An Inquiry into Meaning and Truth

My všichni vycházíme z „naivního realismu“, tj. z učení, že věci jsou tím, čím se zdají být. Myslíme si, že tráva je zelená, že kameny jsou tvrdé a sníh je studený. Ale fyzika nás přesvědčuje o tom, že zelenost trávy, tvrdost kamenů a chladnost sněhu nejsou zeleností, tvrdostí a chladnost, které známe z naší vlastní zkušenosti, nýbrž něčím velmi odlišným. Když se pozorovateli zdá, že pozoruje kámen, pozoruje ve skutečnosti – má-li se věřit fyzice – účinky kamene na sebe sama. Tak se zdá, že věda vede válku sama proti sobě: když se nejvíce domnívá, že je objektivní, zjišťuje, že vězí proti své vůli v subjektivitě. Naivní realismus vede k fyzice a fyzika, pokud je pravdivá, ukazuje, že naivní realismus je nepravdivý. Proto je-li naivní realismus pravdivý, je nepravdivý, je tedy nepravdivý. A tak když si behaviorista myslí, že zaznamenává pozorování o vnějším světě, zaznamenává ve skutečnosti pozorování o tom, co se děje v něm.
Bertrand Russell – Zkoumání o smyslu a pravdivosti

neděle 25. října 2009

Hegel o matematice a filosofii

Im mathematischen Erkennen ist die Einsicht ein für die Sache äußerliches Tun; es folgt daraus, daß die wahre Sache dadurch verändert wird. Das Mittel, Konstruktion und Beweis, enthält daher wohl wahre Sätze; aber ebensosehr muß gesagt werden, daß der Inhalt falsch ist. Das Dreieck wird in dem obigen Beispiele zerrissen und seine Teile zu andern Figuren, die die Konstruktion an ihm entstehen läßt, geschlagen. Erst am Ende wird das Dreieck wiederhergestellt, um das es eigentlich zu tun ist, das im Fortgange aus den Augen verloren wurde, und nur in Stücken, die andern Ganzen angehörten, vorkam.--Hier sehen wir also auch die Negativität des Inhalts eintreten, welche eine Falschheit desselben ebensogut genannt werden müßte als in der Bewegung des Begriffs das Verschwinden der festgemeinten Gedanken. Die eigentliche Mangelhaftigkeit dieses Erkennens aber betrifft sowohl das Erkennen selbst als seinen Stoff überhaupt. – Was das Erkennen betrifft, so wird vors erste die Notwendigkeit der Konstruktion nicht eingesehen. Sie geht nicht aus dem Begriffe des Theorems hervor, sondern wird geboten, und man hat dieser Vorschrift, gerade diese Linien, deren unendliche andere gezogen werden könnten, zu ziehen, blindlings zu gehorchen, ohne etwas weiter zu wissen, als den guten Glauben zu haben, daß dies zu Führung des Beweiseszweckmäßig sein werde. Hintennach zeigt sich denn auch diese Zweckmäßigkeit, die deswegen nur eine äußerliche ist, weil sie sich erst hintennach, beim Beweise, zeigt. – Ebenso geht dieser einen Weg, der irgendwo anfängt, man weiß noch nicht in welcher Beziehung auf das Resultat, das herauskommen soll. Sein Fortgang nimmt diese Bestimmungen und Beziehungen auf und läßt andre liegen, ohne daß man unmittelbar einsehe, nach welcher Notwendigkeit; ein äußerer Zweck regiert diese Bewegung. Die Evidenz dieses mangelhaften Erkennens, auf welche die Mathematik stolz ist, und womit sie sich auch gegen die Philosophie brüstet, beruht allein auf der Armut ihres Zwecks und der Mangelhaftigkeit ihres Stoffs, und ist darum von einer Art, die die Philosophie verschmähen muß. – Ihr Zweck oder Begriff ist die Größe. Dies ist gerade das unwesentliche, begrifflose Verhältnis. Die Bewegung des Wissens geht darum auf der Oberfläche vor, berührt nicht die Sache selbst, nicht das Wesen oder den Begriff, und ist deswegen kein Begreifen. – Der Stoff, über den die Mathematik den erfreulichen Schatz von Wahrheiten gewährt, ist der Raum und das Eins. Der Raum ist das Dasein, worin der Begriff seine Unterschiede einschreibt, als in ein leeres, totes Element, worin sie ebenso unbewegt und leblos sind. Das Wirkliche ist nicht ein Räumliches, wie es in der Mathematik betrachtet wird; Mit solcher Unwirklichkeit, als die Dinge der Mathematik sind, gibt sich weder das konkrete sinnliche Anschauen noch die Philosophie ab. In solchem unwirklichen Elemente gibt es denn auch nur unwirkliches Wahres, d.h. fixierte, tote Sätze; bei jedem derselben kann aufgehört werden; der folgende fängt für sich von neuem an, ohne daß der erste sich selbst zum andern fortbewegte und ohne daß auf diese Weise ein notwendiger Zusammenhang durch die Natur der Sache selbst entstünde. –Auch läuft um jenes Prinzips und Elements willen--und hierin besteht das Formelle der mathematischen Evidenz - das Wissen an der Linie der Gleichheit fort. Denn das Tote, weil es sich nicht selbst bewegt, kommt nicht zu Unterschieden des Wesens, nicht zur wesentlichen Entgegensetzung oder Ungleichheit, daher nicht zum Übergange des Entgegengesetzten in das Entgegengesetzte, nicht zur qualitativen, immanenten, nicht zur Selbstbewegung. Denn es ist die Größe, der unwesentliche Unterschied, den die Mathematik allein betrachtet. Daß es der Begriff ist, der den Raum in seine Dimensionen entzweit und die Verbindungen derselben und in denselben bestimmt, davon abstrahiert sie; sie betrachtet z.B. nicht das Verhältnis der Linie zur Fläche; und wo sie den Durchmesser des Kreises mit der Peripherie vergleicht, stößt sie auf die Inkommensurabilität derselben, d.h. ein Verhältnis des Begriffs, ein Unendliches, das ihrer Bestimmung entflieht.
Georg Wilhelm Friedrich Hegel – Phaenomenologie des Geistes

V matematickém poznání je nahlédnutí, jak se věci mají, úkonem pro věc vnějším; z toho vyplývá, že pravá věc se tímto úkonem mění. Prostředek tohoto nahlédnutí, totiž konstrukce a důkaz, obsahuje zajisté pravdivé věty; ale zároveň je nutno také říci, že obsah je nepravdivý. Trojúhelník v příkladě uvedeném shora je roztrhán, jeho části se připojují k jiným obrazcům, které v něm vznikají konstrukcí. Teprve na konci se opět restituuje trojúhelník, ,o který vlastně běží, který byl postupem věci ztracen z očí a vyskytoval se pouze v částech příslušných k jiným celkům. — Zde pozorujeme tedy též, jak vystupuje zápornost obsahu, kterou bychom měli nazývati jeho nepravdivostí, tak jako jí v pohybu pojmu nazýváme zanikání myšlenek považovaných za ustálené. Vlastní nedostatečnost tohoto poznání se týče však právě tak poznání sama jako jeho látky vůbec. — Co se týče poznání, především není myšlenkově jasná nutnost konstrukce. Nevyplývá z pojmu poučky, nýbrž je nám předepsána, a předpisu, abychom vedli právě tyto linie, zatím co by bylo možno vésti nekonečný počet jiných, musíme být slepě poslušní; přitom nemáme jiné vědění než dobrou víru, že to bude účelné k provedení důkazu. Dodatečně se vskutku též ukazuje tato účelnost, která je proto pouze vnější, poněvadž se ukazuje teprve dodatečně při důkazu. Právě tak kráčí důkaz cestou, která odněkud vychází, aniž ještě víme, v jakém je vztahu k výsledku, který má vyjíti. Postup důkazu tato určení a vztahy přijímá a jiné ponechává stranou, aniž nahlížíme bezprostředně, podle jaké nutnosti se to děje; tento pohyb je řízen vnějším účelem. Evidence tohoto nedostatečného poznání, na niž je matematika hrdá a kterou se též pyšní před filosofií, záleží výhradně v tom, že její účel je chudý a její látka nedostatečná, a je tedy toho druhu, který musí filosofie zavrhnouti. — Její účel či pojem je veličina. Právě ta je nebytostným, nepojmovým vztahem. Pohyb vědění odehrává se proto na povrchu, nedotýká se věci samé, nedotýká se bytnosti ani pojmu, a proto není žádným chápáním. — Látka, o níž matematika zaručuje utěšené bohatství pravd, je prostor u jednotka. Prostor je to jsoucno, do něhož pojem zapisuje své rozdíly jako do prázdného mrtvého živlu, v němž tyto rozdíly jsou rovněž nehybné a bez života. Skutečnost není něčím prostorovým, jak na prostor pohlížíme v matematice; s takovou neskutečností, jakou jsou matematické věci, se nezahazuje ani konkrétní smyslový názor, natož filosofie. V takovém neskutečném živlu pak též existuje jen neskutečná pravda, tj. ustálené mrtvé věty; u každé z nich je možno přestati; následující začíná pro sebe od začátku, aniž se první pohybovala sama od sebe k jiné větě a aniž tímto způsobem vznikala povahou věci samé nutná souvislost. — Je také důsledkem onoho principu a živlu — a v tom tkví formálnost matematické evidence — že vědění postupuje po linii rovnosti. Neboť to, co je mrtvé, nedospívá k rozdílům bytnosti, jelikož se samo nepohybuje, nedospívá k bytostnému protikladu či nerovnosti. tudíž ani k přechodu protikladu v protiklad, kvalitativnímu, imanentnímu pohybu, k svéhybnosti. Neboť to, k čemu matematika výhradně přihlíží, je veličinný nebytostný rozdíl. Že to, co rozčleňuje prostor v jeho dimense a určuje spojení dimensí a spojení v dimensích, je pojem, od toho matematika abstrahuje; neuvažuje např. o vztahu mezi linií a plochou; a tam, kde srovnává obvod kruhu s jeho průměrem, naráží na jejich nesouměřitelnost. tj. pojmový vztah, a tím na něco nekonečného, co uniká jejímu určení.
Georg Wilhelm Friedrich Hegel – Fenomenologie ducha

Auf die Frage: „Was ist das Itzt?“ antworten wir also zum Beispiel: „Das Itzt ist die Nacht“. Um die Wahrheit dieser sinnlichen Gewißheit zu prüfen, ist ein einfacher Versuch hinreichend. Wir schreiben diese Wahrheit auf; eine Wahrheit kann durch Aufschreiben nicht verlieren; ebensowenig dadurch, daß wir sie aufbewahren. Sehen wir „itzt, diesen Mittag“, die aufgeschriebene Wahrheit wieder an, so werden wir sagen müssen, daß sie schal geworden ist. (...) Die Sprache aber ist, wie wir sehen, das Wahrhaftere; in ihr widerlegen wir selbst unmittelbar unsere Meinung, und da das Allgemeine das Wahre der sinnlichen Gewißheit ist, und die Sprache nur dieses Wahre ausdrückt, so ist es gar nicht möglich, daß wir ein sinnliches Sein, das wir meinen, je sagen können.
Georg Wilhelm Friedrich Hegel – Phaenomenologie des Geistes

Na otázku: co jest nyní? odpovíme tedy například: Nyní jest noc. K tomu, abychom vyzkoušeli pravdivost této smyslové jistoty, dostačí jednoduchý pokus. Tuto pravdu si napíšeme; napsáním pravda nemůže nic ztratit; ani tím, že si ji uschováme. Podíváme-li se nyní, v toto poledne, znovu na tu napsanou pravdu, budeme musit říci, že vyvanula. (...) Řeč však, jak vidíme, jest pravdivější: v ní vyvracíme bezprostředně sami své míněni; a jelikož všeobecno je pravda smyslové jistoty a ježto řeč vyjadřuje jen tuto pravdu, není vůbec možné, abychom smyslové bytí, které míníme, kdy vyslovili.
Georg Wilhelm Friedrich Hegel – Fenomenologie ducha

středa 21. října 2009

Kolapsy civilizací

Záznam přednášky na téma „Kolapsy civilizací“, kterou přednesl Doc. Miroslav Bárta, je ve zvukové podobě ke stažení zde: 1. část, 2.část. Záznamy dalších přednášek jsou zde.

úterý 13. října 2009

Václav Hořejší o realismu

Václav Hořejší se v pořadu Vstupe! zmínil velmi krátce i o filosofii vědy. Následující text sice nepřispívá k ani filosofii vědy a ani k filosofii matematiky, ale je to zajímavá ukázka toho, jak lze reflektovat svou práci.

Já dokonce mám někdy takový pocit – a vím, že to zní trochu divně –, že geniální skladatelé, kteří složili nějakou skvělou symfonii, ji odněkud vytáhli skoro hotovou, že ji nevymysleli, ale že v tom platónském smyslu existovala ve světě idejí, a oni ji jen vytáhli podobně, jako vytahujeme my přírodovědci tajemství přírody, která existují objektivně, a která jsou někde hotová. A ještě zajímavější je přechod mezi těmito dvěma věcmi a to je matematika. Naprosto abstraktní matematické zákonitosti vypadají, že existují zcela objektivně, nezávisle na vůli matematiků, kteří je v jakémsi abstraktním prostoru nebo světě objevují podobně, jako my přírodovědci objevujeme materiální vztahy a objekty. To mě velmi fascinuje.

Text je trochu upraven, aby se dal dobře číst. Pořad si lze poslechnout zde. Uvedená ukázka je po 21 minutě pořadu.

neděle 11. října 2009

O co jde v alternativní teorii množin?

Klasické matematické představy jsou dnes kanonizovány v Cantorově teorii množin. Jen ty struktury jsou možné, které mají v této teorii model (Gödelova věta o úplnosti). Tím tato teorie do sebe uzavřela veškerou matematiku. V matematice nesmí být nic, co by nebylo možno v Cantorově teorii modelovat, co by ji překračovat, nebo míjelo. Tedy poněkud volně řečeno, matematika (přesněji filosofie matematiky) se rovná Cantorově teorii množin (přesněji její filosofíi). V tomto zajetí jsou i různé směry kritizující klasickou matematiku, které v podstatě jen Cantorovu teorii množin zužují. Tím ovšem lze proti těmto kritikám vznést do značné míry oprávněnou kritiku, že matematice kladou pouze různé překážky ve formě zákazů a tím ji brání v rozletu. Ostatně i takto různě oklešťovanou matematiku lze v Cantorově teorii modelovat. Tato námitka bývá vznášena i vůči alternativní teorii množin, a to ze strany těch matematiků, kteří základní principy této teorie nepochopili nebo nebyli schopni domyslet.
Petr Vopěnka – O co jde v alternativní teorii množin

Základním pojem, bez něhož nelze alternativní teorii množin charakterizovat, je přirozené nekonečno.

Jsme-li důslední, nezbývám nám než uznat, že v nějaké podobě se nekonečno ukazuje již na velkých množinách a ne až za nimi. Je-li nekonečno aplikovatelné na jisté jevy ukazující se na velkých množinách, pak tam v nějaké podobě již musí být přítomné. Kdyby tam nebylo, nemohli bychom je tam aplikovat, nebo chceme-li, příslušnou situaci v infinitní matematice modelovat. Této podobě nekonečna budeme říkat nekonečno přirozené.
Petr Vopěnka – O co jde v alternativní teorii množin

Základní charakteristikou alternativní teorie množin je záměrné studium přirozeného nekonečna. Nově o alternativní teorii množin pojednává kniha Petra Vopěnky Pojednání o jevech povstávajících na množstvích. Další informace o této knize jsou zde.

pondělí 5. října 2009

Karel Čapek o logických důkazech

Toto slovo je rozšířeno hlavně ve rčení “Dokážu vám to logicky.” Načež následuje výklad, který buď opakuje to, co už je řečeno, a pak je zbytečný, nebo říká něco jiného, a pak je nemístný; v každém případě však je daleko složitější než prvotní věta, která se má dokázat. Obyčejně je “logický důkaz” veden tak, jako by měl odpůrce hlavně unavit a splést; je to taktika strašlivá a obmyslná, plná záhadných chvatů, mostů, kravat a masáží jako řeckořímský zápas. Avšak o řeckořímském logickém důkazu jest jediná pravda, že se nic nedá logicky dokazovat; což vám dokážu logicky. Buď dokazuji své tvrzení samými evidentními soudy; ale kdyby mé tvrzení plynulo evidentně z evidentních vět, bylo by samo evidentní, a tu by ovšem naprosto nepotřebovalo být dokazováno. Nebo dokazuji své tvrzení větami neevidentními, ale pak bych musel logicky dokazovat všechny tyto věty “usque ad infinitum”, jak říkají řeckořímští zápasníci, z čehož logicky plyne, že logický důkaz je nemožný; a není-li tento logický důkaz naprosto přesvědčující, vidíte z toho, že logické dokazování opravdu za nic nestojí. Jediný možný důkaz nějaké obecné pravdy, zásady, kritéria a tak dále je naprosto nelogický. Vyslov nějakou větu, která se ti líbí, a kterou bys tudíž rád považoval za obecnou pravdu. Tuto větu vlož fiktivně do úst svému největšímu nepříteli, kterého nadto považuješ za bezcharakterního osla; bude-li se ti ta věta líbit i pak, je dobrá a drž se jí; neboť nemůže být důkazu mocnějšího než uznání pravdy nepřítelovy.
Karel Čapek – Kritika slov

Antonín Sochor k tomuto uvádí:

K. Čapek zpochybňuje samu podstatu logiky, neboť pojem důkazu je jedním z jejích nejdůležitějších pojmů. Pokud bychom však přijali Čapkovy výhrady, musili bychom revidovat náš přístup k mnohem širší oblasti zahrnující celé lidské rozumové vyvozování. Připomeňme, že Eukleidés (315–271 př. Kr.) ve svých Základech jako prvý vyvozuje z několika axiomů celou nauku (geometrii, ale protože aritmetiku chápe jako součást geometrie, je možno říci, že celou tehdejší matematiku). Deduktivní metoda však neovlivnila pouze matematiku a vědy blízké matematice (např. teoretickou fyziku), ale zasahuje — a to dokonce i ve své formalizované podobě – do velice mnoha oblastí lidského poznání; jako příklad uveďme knihu Barucha Spinozy Ethica more geometrico demonstrata z let 1662–1665, kde je podávána filozofie metodou věta – důkaz). Naštěstí není těžké nahlédnout, že Čapkovy námitky naprosto nereflektují lidskou zkušenost. (...) Parafrázujeme-li jeho úvahu, můžeme také jednoduše „dokázat , že nikdy nedojdeme z Prahy do Prčic: při každém kroku se naše pozice změní jen málo a Prčice jsou od Prahy dost daleko. Chyba Čapkovy úvahy spočívá v tom, že mnoha (byť malými) kroky je možno urazit velkou vzdálenost, což řada účastníků pochodu na uvedené trase prakticky prokázala. Analogicky není možno popřít, že i pomocí evidentních důkazových kroků je možno dojít (je-li jich hodně) k tvrzením značně neevidentním.
Antonín Sochor – Klasická matematická logika

Naprosto stejný text je i v knize dostupné v elektronické podobě zde.