IntentionalNotions

Propositional Logic Limitations (Truth Functional)

Bel(Janine, Father (Zeus, Cronos))
(Zeus = Jupiter)
Bel(Janine, Father (Jupiter, Cronos))
Janine believing p is not dependent on the truth of p.

Syntatic Component

Modal Language Formalism
Meta-Language Formalism

Semantic Component

Possible Worlds Semantics (More Common)
Interpreted Symbolic Structures (Use of Belief Data Structures)

		[IntentionalAttitudes | BeliefDesireIntention | PossibleWorlds]

(last edited October 31, 2000)
Find Page by browsing or searching