Roman Suszko

Roman Suszko
Narození	9. listopadu 1919 Podobora
Úmrtí	3. června 1979 (ve věku 59 let) Varšava, Polsko Polsko
Povolání	filozof, matematik a vysokoškolský učitel
Zaměstnavatel	Varšavská univerzita
Některá data mohou pocházet z datové položky. Chybí svobodný obrázek.

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 <!--\; \leftrightarrow \; -->q)\to <!--\; \to \; -->(p\equiv <!--\; \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 <!--\; \equiv \; -->$ 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

Kromě axiomů výrokové logiky jsou potřebné axiomy týkající se konektivu $\equiv <!--\; \equiv \; -->$:

• $p\equiv <!--\; \equiv \; -->q\Rightarrow <!--\; \Rightarrow \; -->\mathrm{\neg <!--\; \neg \; -->}p\equiv <!--\; \equiv \; -->\mathrm{\neg <!--\; \neg \; -->}q$
• $p\equiv <!--\; \equiv \; -->q\Rightarrow <!--\; \Rightarrow \; -->p\to <!--\; \to \; -->q$
• $p\equiv <!--\; \equiv \; -->q\wedge <!--\; \wedge \; -->r\equiv <!--\; \equiv \; -->s\Rightarrow <!--\; \Rightarrow \; -->(p\to <!--\; \to \; -->r)\equiv <!--\; \equiv \; -->(q\to <!--\; \to \; -->s)$

tedy ekvivalence $\equiv <!--\; \equiv \; -->$ je kongruence vzhledem k implikaci.

Tento článek je příliš stručný nebo postrádá důležité informace. Pomozte Wikipedii tím, že jej vhodně rozšíříte. Nevkládejte však bez oprávnění cizí texty.

Autoritní data	NKC: js2017969806 BIBSYS: 97007377 DBLP: 149/6638 ISNI: 0000 0000 2925 3811 LCCN: n91041793 MGP: 139395 NLI: 987007271691205171 NTA: 129819212 PLWABN: 9810655055205606 VIAF: 53326815 WorldCat Entities: E39PBJgt4rg4Cv9pkrmV4KjDMP