All of the code in the discussion below can be found here: [[intensionality-monad.ml]].
To run it, download the file, start Ocaml, and say `# #use
All of the code in the discussion below can be found here: [[intensionality-monad.ml]].
To run it, download the file, start Ocaml, and say `# #use
Here's the idea: since people can have different attitudes towards
different propositions that happen to have the same truth value, we
Here's the idea: since people can have different attitudes towards
different propositions that happen to have the same truth value, we