1. Home
  2. Flashcards
  3. Preview

01 historie

  1. Co je úkolem logiky?
    • Image Upload 2
    • Image Upload 4
  2. čím přispěl k logice platon?
    • program exaktní filozofie
    • Image Upload 6
  3. čím přispěl k logice aristoteles?
    Image Upload 8

    Image Upload 10

    Image Upload 12
  4. čím přispěl k logice Leibniz?
    • projekt symbolické notace a mechanizov. usuzování
    • Image Upload 14

    Image Upload 16

    Leibnizova kresba charakteristiky Aristotelova systému (1666)
  5. čím přispěl logice Bernard Bolzano?
    Image Upload 18
  6. čím příspěl logice Gottlob Frege?
    • otec moderní logiky
    • reforma analýzy soudu, teorie kvantikace
    • Image Upload 20
  7. čím přispěl logice Bertrand Russell?
    • rozvoj moderní logiky, aplikace ve filozofii
    • Image Upload 22
  8. jaký je rozdíl mezi výrokovou a predikátovou logikou?
    • výroková logika studuje logické vztahy na úrovni výroků (přičemž abstrahuje od obsahu atomických výroků)
    • Image Upload 24

    Image Upload 26

    Image Upload 28

    • predikátová logika studuje logické vztahy v pojmech predikace a kvantifikace
    • • např. P(a) (Objekt a má vlastnost P), ∀x(P(x) → Q(x)) (Všechna P jsou Q.)
    • • PROLOG ( PROgramming in LOgic)
    • • automatické dokazování
  9. čím přispěl logice Kurt Gödel?
    Image Upload 30
  10. kdo se zabýval termínem komputabilita?
    Image Upload 32
  11. čím přispěl logice Alfred Tarski?
    Image Upload 34
  12. čím přispěl logice Saul A. Kripke ?
    Image Upload 36
  13. čím přispěl logice Jaakko Hintikka ?
    Image Upload 38

    Image Upload 40

    Image Upload 42
  14. jmenuj významné představitele logiky v česku
    Image Upload 44

    Image Upload 46
  15. jaký je rozdíl mezi matematickou a filozofickou logikou?
    Image Upload 48
Author
iren
ID
353638
Card Set
01 historie
Description
VÝROKOVÁ LOGIKA
Updated

  1. Home
  2. Flashcards
  3. Preview