search

rzach / forallx-yyc

UCalgary version of forallx, an introduction to formal logic
https://forallx.openlogicproject.org/
Creative Commons Attribution 4.0 International
94 stars 30 forks source link

make FOL be an extension of TFL #15

Closed rzach closed 5 years ago

rzach commented 7 years ago

Allow zero-place predicates (these would naturally symbolize sentences like "it's raining"). It somehow seems more elegant to me if FOL keeps everything from TFL but just allows for more logical structure to be revealed. I don't think this would require many changes. The syntax in 26.2 is already consistent with it. For the semantics, you could just have interpretations include valuations. Maybe this makes the notion of an interpretation a bit less natural, though...

rzach commented 7 years ago

Suggested by @ettta

rzach commented 5 years ago

Fixed with commit b790acc