This paper concerns the Sentential Calculus with Identity and Quantifiers – a formal system developed by Polish logician R. Suszko. The article deals with the study of one of the metalogical properties of this system which is the possibility of a reduction of formulas to their prenex normal forms. The final and most important result of this work is the proof of the theorem stating that every formula is equivalent on the basis of each WBQ-theory to its prenex normal form.
PL
Artykuł dotyczy niefregowskiej logiki zdaniowej z kwantyfikatorami - systemu formalnego stworzonego przez polskiego logika, R. Suszko. W artykule bada się jedną z metalogicznych własności tego systemu – sprowadzalność formuł języka logiki niefregowskiej do kwantyfikatorowej postaci normalnej. Końcowym i najważniejszym wynikiem jest dowód twierdzenia mówiącego, że każda formuła danego SCIQ–języka J, jest równoważna, na gruncie każdej WBQ–teorii, z pewną formułą o kwantyfikatorowej postaci normalnej.
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.
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.