In this paper, I apply Davidson's formularization of action sentences in order to give logical forms to the class of sentences which state or describe one's having willed something (hereafter “will-stating sentences”). Of course, in my paper, I deal with will-stating sentences only in Japanese, but the translations of the sentences into English might be as follows:
(i) One would do such and such.
(ii) One willed that he did such and such. (This is a little awkward, but emphasizes the propositional attitude aspect of will-stating sentences).
(iii) s would F (where “s” stands for an agent, and “F” for an action-type).
These correspond to the sentence (1) in my paper.
In my view, formularizing will-stating sentences belongs not to logic but to philosophy. So the main arguments of my paper are written in prose (§§2-6), and in conclusion, they are arranged into one formula, that is, the sentence (18) in my paper, and the translation of (18) into English is as follows:
(iv) ∃!e
1[(e
1 is s′ conceiving something) ∧(T(e
1)<‹now›(c))∧(T(e
1)⊆D-Term(c))∧∃!e
2{(e
2 is s′ -ing his…as a basic action)∧(T(e
1)<T(e
2))∧(T(e
2)<‹now›(c))∧(T(e
2)⊆D-Term(c))∧(e
1 is the cause of e
2)∧(s believes that e
2 is a cause of F′)}]
Here “s” stands for an agent, and “F” for an action-type. “T” stands for the function which assigns each event the time when it happened. “‹now›” is Kaplan's
character. “c” is the context in which sentences (i)-(iii) are used. “t
1<t
2” means that t
1 is a time before t
2. “⊆” is the inclusion relation in set theory. “D-Term” is Iida's
discourse term. “-” stands for a basic actiontype, and “…” for a part of s' body. “F′” is the paraphrase of “F” into a corresponding eventtype (for example, if “F” is “killing”, then “F′” is “death”). For further explanation, see my argument.
View full abstract