Formal reconstruction of notions of belief, utterance and trust

Main Article Content

Robert Piechowicz


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.

Article Details



Boh, I., 1993. Epistemic Logic in the Later Middle Ages, Topics in Medieval Philosophy. London; New York: Routledge.

Gazdar, G., 1979. Pragmatics: Implicature, Presupposition and Logical Form. New York: Academic Press.

Grice, P., 1989. Studies in the Way of Words. Cambridge, Massachusetts: Harvard University Press.

Knuuttila, S., 1993. Modalities in medieval philosophy. London; New York: Routledge.

Lechniak, M., 2011. Przekonania i zmiana przekonań: analiza logiczna i filozoficzna. Lublin: Wydawnictwo KUL.

Liau, C.-J., 2003. Belief, information acquisition, and trust in multi-agent systems—A modal logic formulation. Artificial Intelligence [Online], 149(1), pp.31–60. Available at: [visited on 7 July 2020].

Łoś, J., 1948. Logiki wielowartościowe a formalizacja funkcji intensjonalnych. Kwartalnik Filozoficzny, 17(1-2), pp.59–78.

Marciszewski, W., 1972. Podstawy logicznej teorii przekonań. Warszawa: Państwowe Wydawnictwo Naukowe.

Parsons, S. et al., 2014. Argument schemes for reasoning about trust. Argument & Computation [Online], 5(2-3), pp.160–190. Available at: [visited on 7 July 2020].

Piechowicz, R., 2015. Język, przekonania i komputer. In: P. Stacewicz, ed. Informatyka a filozofia: Od informatyki i jej zastosowań do światopoglądu informatycznego. Warszawa: Oficyna Wydawnicza Politechniki Warszawskiej, pp.137–149.

Poczobut, R., 1999. Sprzeczności doksastyczne a zagadnienie racjonalności przekonań. Filozofia Nauki [Online], 7(3-4), pp.61–84. Available at: [visited on 8 July 2020].

Rescher, N., 2002. Epistemic logic. In: D. Jacquette, ed. A Companion to Philosophical Logic, Blackwell companions to philosophy 22. Malden, Mass: Blackwell, pp.478–490.

Tokarz, M., 1993. Elementy pragmatyki logicznej, Logika i Zastosowania Logiki. Warszawa: Wydawnictwo Naukowe PWN.