On 2019-05-28, Kviat <Kviat> wrote:
> W dniu 28.05.2019 o 22:31, Shrek pisze:
>> W dniu 28.05.2019 o 03:04, Marcin Debowski pisze:
>>
>>>> A do jakiego wniosku miało dojść 10letnie dziecko? Do jedynie słusznego,
>>>> że skoro boga nie widzi, to bóg jest, bo go nie widzi?
>>>
>>> Ale Ty tak na poważnie? :)
>>
>> Ale to jest poważne zagadnienie logiczne. Dowodzi się istnienie czegoś -
>> nie da się dowieść nieistnienia.
>
> To nie do końca prawda.
> Jak najbardziej da się dowieść nieistnienia czegoś i wielokrotnie w
> nauce to się zdarza. Dowiedziono np. że nie istnieje flogiston czy eter.
> Również w matematyce można dowodzić nieistnienia jakiegoś bytu
> (geometrycznego, matematycznego), który spełniałby jakieś tam warunki.

Zgadza się. Dowodzi się na podstawie istnienia twierdzeń lub
mierzalnych właściwości, ich występowania lub efektów ich
występowania, lub braku ich istnienia lub wystepowania.

Z tym, że w dowodzeniu jestesmy ograniczeni specyfiką układu w którym
się znajdujemy i dokonujemy pomiarów, więc tak właściwie nie da się
niczego bezwzględnie dowieść a co najwyżej upradopodobnić istnienie
(prawdopodobieństwo występowania) lub jego brak w konkretnym układzie,
którego dowód dotyczy.

--
Marcin