•  2
    Type Theory in the Semantics of Propositional Attitudes
    Epistemology and Philosophy of Science 55 (4): 26-37. 2018.
    The article deals with an approach to the analysis of propositional attitudes based on the type-theoretical semantics proposed by A. Ranta and originating from the type theory of P. Martin-Löf. Type-theoretical semantics contains the notion of context and tools of extracting information from it in an explicit form. This allows us to correctly formalize the dependence on contexts typical of propositional attitudes. In the article the context is presented as a dependent sum type (Record type in th…Read more
  •  1
    Remarks on the Type Theory in the Semantics of Propositional Attitudes
    Epistemology and Philosophy of Science 55 (4): 62-67. 2018.
    The article contains concise comments on issues addressed in responses to the article “Type theory in the semantics of propositional attitudes”. I agree that the opening paper suggests no new solutions for problems of propositional attitudes. It aims at developing a method of their more convenient and effective description. Type theory is more expressive in comparison with many traditional approaches. I also agree that the connection between this approach and operations of epistemic subject need…Read more