Roman Suszko

Roman Suszko (9. listopadu 1919 Podobora - 3. č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 Fregeho axiomu, tj. v jeho logice pro libovolné dvě věty p a q obecně neplatí (p\leftrightarrow q)\rightarrow(p\equiv q).

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

Axiomy

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

* p \equiv q \Rightarrow \neg p \equiv \neg q * p \equiv q \Rightarrow p \rightarrow q * p \equiv q \land r \equiv s \Rightarrow (p \rightarrow r)\equiv(q \rightarrow s)

tedy ekvivalence \equiv je kongruence vzhledem k implikaci.

Kategorie:Polští logici Kategorie:Matematičtí logici Kategorie:Narození v roce 1919 Kategorie:Narození 9. +more listopadu Kategorie:Chotěbuz (okres Karviná) Kategorie:Úmrtí v roce 1979 Kategorie:Úmrtí 3. června Kategorie:Úmrtí ve Varšavě Kategorie:Muži Kategorie:Pedagogové na Varšavské univerzitě.