Sylogizm warunkowy
Sylogizm warunkowy, sylogizm hipotetyczny – wspólna nazwa trzech blisko powiązanych praw logiki, konkretniej klasycznego rachunku zdań[1]:
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].
Bibliografia
- 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.