Sylogizm warunkowy

Sylogizm warunkowy, sylogizm hipotetyczny – wspólna nazwa trzech blisko powiązanych praw logiki, konkretniej klasycznego rachunku zdań^[1]:

{\begin{aligned}&(1)\ [(p\rightarrow q)\land (q\rightarrow r)]\rightarrow (p\rightarrow r)\\&(2)\ (p\rightarrow q)\rightarrow [(q\rightarrow r)\rightarrow (p\rightarrow r)]\\&(3)\ (p\rightarrow q)\rightarrow [(r\rightarrow p)\rightarrow (r\rightarrow q)]\end{aligned}}

Różni autorzy nazywają te prawa w różny sposób:

Marian Kowalewski, Wojciech Patryas i Zintegrowana Platforma Edukacyjna nazywają (1) sylogizmem hipotetycznym^[2]^[3]^[4];
Andrzej Grzegorczyk nazywa (2) sylogizmem warunkowym stoików^[5];
Józef Bremer nazywa (1) koniunkcyjnym sylogizmem hipotetycznym, a (2) krótko sylogizmem hipotetycznym^[6];
Antoni Smoluk nazywa (1) sylogizmem warunkowym, a (2) nazywa inną postacią tego samego prawa^[7];
Encyklopedia PWN nazywa regułę (2) sylogizmem hipotetycznym^[8];
reguła (1) bywa też nazywana przechodniością (tranzytywnością) implikacji^[9]^[10]^[4].

Przypisy

↑ Rasiowa 2004 ↓, s. 181, 186.
↑ Kowalewski 1959 ↓, s. 183.
↑ Patryas 1994 ↓, s. 31.
↑ ^a ^b Tomasz Mazur, Kurs logiki: lekcja 29. (...), Zintegrowana Platforma Edukacyjna – Ministerstwo Edukacji Narodowej, zpe.gov.pl [dostęp 2024-11-28].
↑ Grzegorczyk 1969 ↓, s. 81–82.
↑ Bremer 2006 ↓, s. 151.
↑ Smoluk 2017 ↓, s. 16–17.
↑ prawa logiczne, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2024-11-26] .
↑ Matematyka 1NI. Elementy logiki i teorii zbiorów, Brain-Wiki, Wydział Fizyki Uniwersytetu Warszawskiego, brain.fuw.edu.pl [dostęp 2024-11-26].
↑ Implikacja semantyczna, Przewodnik językowo-encyklopedyczny po gramatyce semantycznej języka polskiego w ujęciu historycznym, Instytut Języka Polskiego Polskiej Akademii Nauk, gramsem.ijp.pan.pl [dostęp 2024-11-26].

Józef W. Bremer: Wprowadzenie do logiki. Kraków: Wydawnictwo WAM, 2006, seria: Myśl filozoficzna. ISBN 83-7318-637-9.
Andrzej Grzegorczyk: Zarys logiki matematycznej. Warszawa: Państwowe Wydawnictwo Naukowe, 1969.
Marian Kowalewski: Logika. Poznań: Pallottinum, 1959.
Wojciech Patryas: Elementy logiki dla prawników. Poznań: Ars boni et aequi, 1994. ISBN 83-900964-7-1.
Helena Rasiowa: Wstęp do matematyki współczesnej. Wyd. 14. Warszawa: Wydawnictwo Naukowe PWN, 2004, seria: Biblioteka Matematyczna. ISBN 83-01-14294-4.
Antoni Smoluk: Algebra liniowa. Wrocław: Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu, 2017. ISBN 978-83-7695-635-0.