-
-
čím přispěl k logice platon?
- program exaktní filozofie
-
čím přispěl k logice aristoteles?
-
čím přispěl k logice Leibniz?
- projekt symbolické notace a mechanizov. usuzování
-
Leibnizova kresba charakteristiky Aristotelova systému (1666)
-
čím přispěl logice Bernard Bolzano?
-
čím příspěl logice Gottlob Frege?
- otec moderní logiky
- reforma analýzy soudu, teorie kvantikace
-
čím přispěl logice Bertrand Russell?
- rozvoj moderní logiky, aplikace ve filozofii
-
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ů)
-
- 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í
-
čím přispěl logice Kurt Gödel?
-
kdo se zabýval termínem komputabilita?
-
čím přispěl logice Alfred Tarski?
-
čím přispěl logice Saul A. Kripke ?
-
čím přispěl logice Jaakko Hintikka ?
-
jmenuj významné představitele logiky v česku
-
jaký je rozdíl mezi matematickou a filozofickou logikou?
|
|