1 / 15

Paradoxy Jan Thümmel

Paradoxy Jan Thümmel. Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia ( reg . č. CZ.1.07/2.2.00/28.0216, OPVK). Etymologie παρα δοχα (mimo - mínění) αντι νομος (proti - zákon). Paradox lháře autorství: Epimenides

jarvis
Download Presentation

Paradoxy Jan Thümmel

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Paradoxy Jan Thümmel Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK)

  2. Etymologie παρα δοχα (mimo - mínění) αντι νομος (proti - zákon)

  3. Paradox lháře autorství: Epimenides ‚Všichni Kréťané jsou lháři!‘ ‚Teď právě lžu!‘

  4. Lhářská věta neboli Lhářský výrok (L) Věta (L) je nepravdivá. (L´) Měsíc je vlastně hrouda síra. Věta (L´) je nepravdivá.

  5. Paradox typu hromady - Jedno zrnko písku netvoří hromadu písku. Přidáme-li k  něčemu, co není hromadou písku, jedno zrnko písku, nevznikne tím hromada. - Postupným přidáváním jakéhokoli počtu zrnek k  jednomu zrnku písku nikdy nevznikne hromada.

  6. a. Některé z  našich předpokladů nejsou pravdivé (ač se pravdivými zdají být). b. Usuzování, které nás vede od premis k  závěru, ve skutečnosti není správné (ač se správným zdá být). c. Závěr je pravdivý a měli bychom jej tedy přijmout (ač se zdá být nepravdivý, či dokonce absurdní).

  7. Přesvědčivý logický paradox Musí: a. ‚logický jazyk, v  jehož rámci budeme daný argument reglementovat, je dostatečně bohatý, aby nám jeho formule umožnily přiměřeně postihnout logickou formu premis i závěru‘ b. ‚logické postupy, které máme k  dispozici, skutečně umožní rozhodnout o správnosti, resp. nesprávnosti úsudků této formy‘

  8. Lhářská věta L ⟷ ¬ L ¬L ⟷ L

  9. Russelův paradox (P) Vlastnost nemít sama sebe nemá sama sebe. (P´) Množina všech množin, které nejsou prvkem sebe sama, není prvkem sebe sama.

  10. Berryho paradox Nejmenší přirozené číslo, které v  češtině nejde označit pomocí nejvýše třiceti slabik. Nejmenší přirozené číslo, které v  češtině nejde označit pomocí nejvýše třiceti slabik, nejde v  češtině označit pomocí nejvýše třiceti slabik.

  11. Kurt Grelling autologická slova – platí sama o sobě (slovo české, pětislabičné, vyslovitelné) heterologická slova – neplatí sama o sobě (plešaté, masožravé, rozpustné) Slovo heterologické

  12. Knealovo řešení Berryho paradoxu primární označení: dvanáct, tři sta tisíc sekundární označení: šestinásobek devíti, největší číslo, které lze v  češtině označit primárním označením pomocí výrazu, který má nejvýše třicet slabik terciární označení

  13. nejmenší přirozené číslo, které v  češtině nejde označit pomocí nevýše třiceti slabik

  14. Řešení paradoxu hromady Když k  něčemu, co netvoří hromadu písku, přidáme jedno zrnko písku, nevznikne tím hromada. ¬ hromada (1) ¬ hromada (n) ⊃ ¬ hromada (n+1) ¬ hromada (2)

  15. n zrnek netvoří hromadu

More Related