Ahti-Veikko Pietarinen

Learn More
When there are many people who don't need to expect something more than the benefits to take, we will suggest you to have willing to reach all benefits. Be sure and surely do to take this language truth and logic in mathematics jaakko hintikka selected papers that gives the best reasons to read. When you really need to get the reason why, this language(More)
This paper discusses the American scientist and philosopher Charles S. Peirce’s (1839–1914) classiacation of the sciences from the contemporary perspective of interdisciplinary studies. Three theses are defended: (1) Studies on interdisciplinarity pertain to the intermediate class of Peirce’s classiacation of all science, the sciences of review(More)
We study partiality in propositional logics containing formulas with either undefined or over-defined truth-values. Undefined values are created by adding a four-place connective W termed transjunction to complete models which, together with the usual Boolean connectives is shown to be functionally complete for all partial functions. Transjunction is seen(More)
Epistemic logic is a multi-faceted theory aimed at targeting notions such as knowledge, belief, information, awareness, memory and other propositional attitudes, by means of logical and semantical tools. These concepts ought to be in the spotlight of cognitive science too, but the two have not yet seriously been explored in cooperation. In this paper, it is(More)
I will show that the semantic structure of a new imperfectinformation propositional logic can be described in terms of extensive forms of semantic games. I will discuss some ensuing properties of these games such as imperfect recall, informational consistency, and team playing. Finally, I will suggest a couple of applications that arise in physics, and most(More)
IF (independence-friendly) logic is about informational independence that may take place between any components that admit of an interpretation in terms of game-theoretical semantics. These two approaches are seen to provide integrative tools and methods across individual sciences, including strategic meaning in linguistics, concurrency in computation,(More)