Otevřít hlavní menu

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).

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.

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.

AxiomyEditovat

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

  •  
  •  
  •  

tedy ekvivalence   je kongruence vzhledem k implikaci.