SME
Nedeľa, 20. október, 2019 | Meniny má Vendelín
LOGIKA PRE KAŽDÉHO

Stĺpček o logike: Keď sa inak hovorí o tom istom

Ako vyjadrujeme všeobecné tvrdenie? A aký je rozdiel medzi Aristotelom, stoikmi a dnešnými právnikmi?

(Zdroj: ILUSTRAČNÉ - NASA)
Logika pre každého je pravidelná séria stĺpčekov o logike pripravená v spolupráci s Katedrou logiky a metodológie vied FF UK. Vychádzať budú každý pondelok.

Majme vety: Človek je cicavec; Človek vystúpil na Mesiac. Majú tieto vety zhodný podmet – sú o tom istom? Zdá sa, že áno. Ako im teda máme rozumieť?

Už Aristoteles takéto vety, v ktorých nie je špecifikované, či vypovedáme o všetkých, alebo len o niektorých, považoval za neúplné. Podľa neho ich musíme doplniť o to, čo dnes v logike nazývame „kvantifikátor“ alebo v jazykovede „vymedzovacie kvantitatívne zámeno“.

Všeobecný a existenčný

Potom prvá veta bude pravdivá, či tam už dáme slovo „každý“, alebo „niektorý“, pretože vlastnosť byť cicavcom má každý človek. Samozrejme tá Niektorý človek je cicavec len za predpokladu existencie ľudí.

Druhá veta vzhľadom na známe fakty nebude pravdivá, ak ju doplníme slovom „každý“, pretože mnohí z nás nemali to šťastie byť na Mesiaci. Keďže Neil Alden Armstrong to šťastie mal, a teda je pravdou, že Niektorý človek vystúpil na Mesiac, môžeme to vyjadriť aj tak, že reprezentoval celé ľudstvo – skrátene Človek vystúpil na Mesiac v zmysle nejaký konkrétny človek (nie ľudstvo) vystúpil na Mesiac.

V prvej vete vlastne nehovoríme nič o konkrétnom človeku, ale skôr o pojme človeka – o tom, že tento pojem je podradený pojmu cicavec. Takýto spôsob vyjadrovania všeobecných tvrdení je príznačný napr. pre matematiku.

Je zaujímavým historickým faktom, že máme v prirodzenom jazyku aj iné spôsoby vyjadrenia všeobecných tvrdení. Používame na to niekoľko odlišných spôsobov. Význam prvej vety s jej doplnením slovom každý vieme vyjadriť aj spojením pomocou súvzťažných zámen (kto-ten, čo-to): Kto je človekom, ten je cicavcom, hoci jednotné číslo by mohlo navodzovať, že ide o existenčné tvrdenie.

Čo na to stoici?

Stoickí logici (najvýznamnejší bol Chrysippos) formulovali všeobecné tvrdenia programovo odlišne od Aristotela. Využívali na to anaforické spojenie slov niekto-ten (niečo-to) pomocou implikácie: Ak je niekto človek, tak (ten) je cicavec.

Zaujímavé na tom je, že v ich klasifikácii vyjadrujú vety Niekto je človek, resp. Niekto je cicavec v súlade s očakávaním existenčné (v ich terminológii neurčujúce) tvrdenia, ale ich vhodné spojenie do podmienkového súvetia (druhé niekto je vynechané alebo nahradené odkazujúcim ten) už pohodlne vyjadruje všeobecné tvrdenie.

Takáto veta, ako zdôraznil aj velikán modernej logiky Gottlob Frege, nevyjadruje dve samostatné myšlienky, ale jednu všeobecnú.

Samozrejme toto je významovo odlišné tvrdenie od tvrdenia Ak je niekto človek, tak niekto je cicavec, ktoré sa už nezdá byť všeobecným tvrdením a zrejme je viacznačné.

A právo?

V dnešnom kontinentálnom práve prevažujú posledné dva typy vyjadrenia všeobecnosti (kto-ten; niekto-ten) a sú akoby zakonzervovaním viac ako dvojtisícročnej stoickej paradigmy v našom jazyku.

Dôvodom zachovania tejto tradície je jednak to, že stoici „podkúvali“ v logike rímskych právnikov a dnešné právo pomerne tesne nadväzuje práve na rímske právo, jednak pohodlnosť takéhoto utvárania všeobecných tvrdení.

Autor je logik a bývalý rektor Univerzity Komenského.

Najčítanejšie na SME Tech

Inzercia - Tlačové správy

  1. Bývať v novom sa dá aj bez hypotéky (a založenia nehnuteľnosti)
  2. Karibik: Dokonalý oddych v špičkových hoteloch
  3. IBA DNES: Získajte plný prístup na SME.sk na 30 dní zadarmo
  4. Ojazdené pneumatiky odovzdajte, šetríte tak životné prostredie
  5. Lidl je odteraz všade! Vitajte v Lidl e-shope
  6. Nestarnú, ale dozrievajú
  7. Výskumný park v Rakúsku zistil, ako sa býva najzdravšie
  8. Limitovaná ponuka: balík SME.sk + DIGI GO so zľavou až 52 %
  9. Rýchlejšie doma. Už čoskoro.
  10. Zanzibar: Čo treba vidieť v africkom raji
  1. Pripojte sa na nový internet už aj v oblasti Gemera a Novohradu
  2. Na Kysuciach budete môcť surfovať na internete rýchlejšie
  3. Na Orave dobre aj s novým optickým internetom
  4. Aj do Liptovského Mikuláša dorazí nová optická sieť
  5. Najnovšia ponuka optického internetu na Spiši
  6. V oblasti Prešova budete môcť využiť nový optický internet
  7. V okolí Levíc budete mať možnosť využiť nový, rýchly internet
  8. Moderný a spoľahlivý internet aj na Hornom Zemplíne
  9. Surfujte na novej optickej sieti aj na Dolnom Zemplíne
  10. Už aj v Košiciach sa pripojíte do modernej optickej siete
  1. IBA DNES: Získajte plný prístup na SME.sk na 30 dní zadarmo 15 496
  2. Výskumný park v Rakúsku zistil, ako sa býva najzdravšie 14 665
  3. Lidl je odteraz všade! Vitajte v Lidl e-shope 14 085
  4. 5 rád Ľudmily Kolesárovej, ako napísať projekt a získať grant 8 089
  5. Vysokoškoláci zarobia už o 587 eur viac ako stredoškoláci 8 088
  6. Limitovaná ponuka: balík SME.sk + DIGI GO so zľavou až 52 % 7 772
  7. Bývať v novom sa dá aj bez hypotéky (a založenia nehnuteľnosti) 7 745
  8. Čo na aute vymyslela žena a čo výrobca telefónov? 7 378
  9. Zanzibar: Čo treba vidieť v africkom raji 7 372
  10. Karibik: Dokonalý oddych v špičkových hoteloch 6 402

Téma: Stĺpček o logike


Hlavné správy zo Sme.sk

Sudca Lindtner z Threemy: Kočner si tyká so všetkými, no jeho vplyv sa preceňuje

Na zabíjačke u Rehákovcov bol aj predseda bratislavského súdu. Kvôli Kočnerovi neodišiel.

Dávid Lindtner.
Stĺpček Matúša Krčmárika

Sobota sa už nemôže zopakovať. Ak sa brexit neposunie, škodí to všetkým

Johnson koná proti zmyslu zákona.

Matúš Krčmárik
Boris Johnson zažil v parlamente ďalšiu prehru.

Každému kto daroval spermie, môžu raz zaklopať deti na dvere

Príbeh desiatok detí a ich darcu spermií.

Poľský reportér a publicista. Študoval žurnalistiku, holandčinu a sociológiu na univerzite vo Vroclave, a potom ročný reportážny program vo Varšave. Pracuje v neziskovke Instytut Reportażu (Reportážny inštitút) vo Varšave a ako novinár na voľnej nohe. Jeho prvá kniha nedávno vyšla na Slovensku pod názvom Všechny Louisovy děti. V súčasnosti píše tretiu knihu, ktorá bude o súčasnom Holandsku. Je ženatý a je hrdým otcom deväťmesačnej dcérky. Na Slovensko prišiel na diskusiu na festivale Jeden svet.

Neprehliadnite tiež

Kosti bojovníkov, ktorí padli v bitke pri rieke Tollense pred približne 3300 rokmi. V Európe predstavuje vôbec prvý dôkaz o prehistorickom bojisku.
Ostrov Bogoslof odfotený 10. januára 2017.
V Luxore našli 30 starovekých rakví.
Pozostatky veľryby, na ktorých si pochutnávajú hlbokomorské živočíchy.