The main purpose of the present paper is to demonstrate that as early as 1904 pre-eminent American mathematician Maxime Bôcher was an adherent to the presently relevant argument of reasonableness, or even necessity of parallel development of two philosophical methods of reflection on mathematics, so that its essence could be more fully comprehended. The goal of the research gives rise to the question: what two types of philosophical deliberation on mathematics were proposed by Bôcher?

Problem of epistemic activity and their relationship with language is very well known in philosophy. Undertaking this challenge in this article we shall present some logical constructions apparent in these issues. More precisely we want to describe some difficulties of formal reconstruction of the notion of belief and utterance and try to find broader perspective appointed by notion of trust. To realize this goals article shows how non-formal assumption about doxa affects on its formal construction. Then, logic of utterances—mainly based (...) on Conversational Implicatures theory—and its relation to doxastic systems is discussed and, finally, article shows that more accurate description of these two notions needs broader perspective created by BIT system proposed by Ch-J. Liau. (shrink)

For millennia, philosophers have pondered the question, “Who are we?” It becomes a burning question at an age of scientific and technological civilization and a world full of conveniences, mainly because human life is still not comfortable. Adam Hart takes up the challenge of confronting the evolutionary achievements of the Homo species and the environment it has produced, showing that our life—for fundamental reasons—cannot be the realization of idyllic visions.