FUNKTORY ASERCJI I KONIUNKCJI SEKWENCYJNEJ

• Authors: Eugeniusz Wojciechowski

Title variants

UNCTORS OF ASSERTION AND SEQUENTIAL CONJUNCTION

• Languages of publication: PL

Abstracts

EN

An axiomatic characterisation of the functor of sequential assertion is propsed here. By means of it the functor of sequential conjunction is defined. In the temporal interpretation these functors are respectively read as: next/then and and-next/and-then. It is proved that the proposed system (SAS) and its strenghtening (SAS*) comprise respectively von Wright’s And Next and And Then systems. The consistency and independence of axioms of the richer of the two proposed structures (SAS*) is settled by interpretation in the quadrivalent propositional calculus.

Keywords

PL

asercja sekwencyjna; koniunkcja sekwencyjna; systemy And Next i And Then von Wrighta

EN

sequential assertion; sequential conjunction; von Wright’s And Next and And Then systems

• Publisher: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
• Journal: Roczniki Filozoficzne
• Year: 2012
• Volume: 60
• Issue: 2
• Pages: 109-124

Contributors

author

Eugeniusz Wojciechowski

• Zakład Filozofii Przyrody, Uniwersytet Rolniczy im. Hugona Kołłątaja w Krakowie

References

• Kozanecka A., Leszczyńska M.: O wyrażalności niektórych relacji czasowych w języku systemów logiki temporalnej G.H. von Wrighta, „Roczniki Filozoficzne” 55 (2007), nr. 2, s. 43-65.
• Suchoń W.: Prolegomena do retoryki logicznej, Kraków: Wydawnictwo Uniwersytetu Jagiellońskiego 2005.
• Wajszczyk J.: Logika a czas i zmiana, Olsztyn: Wydawnictwo WSP w Olsztynie 1995.
• Wright G.H. von: And Next, „Acta Philosophica Fennica” 18 (1965), s. 293-304.
• Wright G.H. von: And Then, „Commentationes Physico-Mathematicae” 32 (1966), Nr 7, s. 1-11.
• Wojciechowski E.: Słaba asercja, „Roczniki Filozoficzne” 60 (2012), nr 1, s. 87-104.
• Wojtasiewicz O.A.: Formalna i semantyczna analiza polskich spójników przyzdaniowych i międzyzdaniowych oraz wyrazów pokrewnych, „Studia Semiotyczne” 1972, III, s. 109-144.