EN
First of all the article looks at the building of an a posteriori logic of beliefs i.e. observation developed on the principle of how, people usually think, what kind of judgments they make about reality and what actually is described by the truth of the judgments under the influences of beliefs. In this situation, we have to depart from the customary practice of a priori semantics of possible worlds in favour of semantics for models intended. Secondly, we find that in practice, human judgments indirectly accept a logic of thinking generally, which leads us - thirdly - to define this logical system as an extension of intuitionistic logic. Fourthly, and finally, our empirically generated logic of beliefs, proves to be logic of hypotheses and suppositions, because judgments made on the basis of intuitionistic logic are not assertive judgments.
PL
W artykule chodzi – po pierwsze – o zbudowanie aposteriorycznej logiki przekonań, czyli wypracowanej na zasadzie obserwacji, jak ludzie zwykle myślą, jakiego rodzaju sądy wydają o rzeczywistości i jakiej rzeczywistości dotyczy prawda sądów, którymi rządzą przekonania. W tej sytuacji musimy odstąpić od zwyczaju uprawiania apriorycznej semantyki światów możliwych na rzecz semantyki modeli zamierzonych. Po wtóre, odnajdujemy, że w praktyce ludzkiego wydawania sądów, pośrednią rolę pełni pewnego rodzaju logika myślenia w ogóle, której metajęzykowy rozbiór skłania nas – po trzecie – do określenia jej jako systemu nadbudowanego nad logiką intuicjonistyczną. A po czwarte, nasza logika przekonań, empirycznie generowana, okazała się być logiką przekonań hipotetycznych i supozycyjnych, ponieważ sądy wydawane na gruncie logiki intuicjonistycznej nie są sądami asertywnymi.