Roman Suszko

Z Wikipedie, otevřené encyklopedie
Skočit na navigaci Skočit na vyhledávání
Roman Suszko
Narození 9. listopadu 1919
Podobora
Úmrtí 3. června 1979 (ve věku 59 let)
Varšava, PolskoPolsko Polsko
Zaměstnavatel Varšavská univerzita
Některá data mohou pocházet z datové položky.
Chybí svobodný obrázek.

Roman Suszko (9. listopadu 1919 Podobora3. června 1979 Varšava) byl polský logik pocházející z Těšínského Slezska (narodil se v Podoboře, dnes součást Chotěbuzi u Českého Těšína).

Pod vlivem Wittgensteinova Traktátu vytvořil a formalizoval verzi logiky bez axiomu Fregeho, tj. v jeho logice pro libovolné dvě věty p a q obecně neplatí .

Vycházeje z Wittgensteinova pojmu situace usoudil, že extenzemi vět nejsou pouze pravdivostní hodnoty 1 a 0 (jak tvrdil Frege), a zavedl konektiv vyjadřující, že dvě věty mají shodný denotát. Takto definovaná tzv. "nefregovská" logika s příslušnými axiomy o identitě je (jednou z) formalizací pojmu logický prostor z Traktátu.

Axiomy[editovat | editovat zdroj]

Kromě axiomů výrokové logiky jsou potřebné axiomy týkající se konektivu :

tedy ekvivalence je kongruence vzhledem k implikaci.