můžete naznačit jak byste matematicky dokázal existenci velryby?
Např. že z předpokladů
1) mé smysly fungují dobře
2) mé smysly zpozorovaly zvíře o vlastnostech V
3) neexistuje vlastnost v, která náleží do esence velryby a zároveň nenáleží do V
velmi jednoduše plyne, že velryba existuje. Samozřejmě, zformalizovat to by dalo určitou práci, ale podstata matematiky a logiky není ve formalismu, formalismus je pouze vhodný a výstižný zápis toho, co se v matematice dělá.
Tedy i když běžný člověk ve svém úsudku nepoužívá explicitní jazyk matematiky či logiky, pořád, pokud chce "poznávat" svět a zjišťovat pravdivá tvrzení o světě, tak používá logiku. Bez ní to prostě nejde.
a jaký je vztah charakteru existence velryby a charakteru existence boha?
Takový, že k důkazu existence velryby a Boha člověk používá stejný aparát - logiku.
Liší se akorát premisy, z kterých důkaz vyplývá.
PS: Jediné, o čem by se mohlo bavit, jestli "filosofická" logika, kterou zde používám, je oblast matematiky nebo ne. Moderní matematika se dosti často chápe jako věda o daném modelu - pak by ani jeden z výše uvedených důkazů do matematiky nepatřil. Ovšem vzhledem k tomu, že matematika platí i o realitě, nikoli o jen u modelů - a stejnětak logika platí i o realitě, myslím, že je to nesmyslné zúžení pojmu matematika.
V každém případě jde čistě o terminologii, nikoli o podstatu věci - je jedno, jestli filosofii vyčleníme z matematiky, nebo ji tam zahrneme, na tom, jaké metody se používají ve filosofii a že jsou to naprosto stejné metody, jaké používá člověk k poznávání světa, to nic nemění.