- Tytuł:
-
FUNKTORY ASERCJI I KONIUNKCJI SEKWENCYJNEJ
UNCTORS OF ASSERTION AND SEQUENTIAL CONJUNCTION - Autorzy:
- Wojciechowski, Eugeniusz
- Powiązania:
- https://bibliotekanauki.pl/articles/488385.pdf
- Data publikacji:
- 2012
- Wydawca:
- Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
- Tematy:
-
asercja sekwencyjna
koniunkcja sekwencyjna
systemy And Next i And Then von Wrighta
sequential assertion
sequential conjunction
von Wright’s And Next and And Then systems - Opis:
- 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.
- Źródło:
-
Roczniki Filozoficzne; 2012, 60, 2; 109-124
0035-7685 - Pojawia się w:
- Roczniki Filozoficzne
- Dostawca treści:
- Biblioteka Nauki
Artykuł