The Theory dichot
Parents

gst
Constants
false
'a GS
true
'a GS
TruthValue
'a GS
World
'a GS
Proposition
'a GS
Context
'a GS
Content
'a GS
Sentence
'a GS
value
'a GS
meaning
'a GS
content
'a GS
Kg
'a GS 'a GS 'a GS
necessaryp
'a GS BOOL
necessarily_truep
'a GS BOOL
necessarysc
('a GS 'a GS) BOOL
Definitions
TruthValue
true
false
true TruthValue
false TruthValue
true = false
Sentence
Content
Context
Proposition
World
(Sentence =
Content =
Context =
Proposition =
World = )
content
meaning
value
content Sentence Content
meaning Content Context Proposition
value Proposition World TruthValue
Kg
d v Kg d v = (g x v) d
necessaryp
p
necessaryp p
p Proposition
( t
t TruthValue value g p = Kg World t)
necessarily_truep
p
necessarily_truep p
p Proposition value g p = Kg World true
necessarysc
s c
necessarysc (s, c)
s Sentence
c Context
necessaryp (meaning g (content g s) g c)

up quick index © RBJ