Temat: von Wright - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Absolutyzm logiczny a ontologia
Absolutism and Ontology
Autorzy:: Wilk, Andrzej
Powiązania:: https://bibliotekanauki.pl/articles/31343642.pdf
Data publikacji:: 2017
Wydawca:: Polska Akademia Nauk. Instytut Filozofii i Socjologii PAN
Tematy:: determinizm
indeterminizm
prawda o przyszłości
Kazimierz Twardowski
Jan Łukasiewicz
Stanisław Leśniewski
Willard von Orman Quine
Donald Davidson
Georg Henrik von Wright
determinism
indeterminism
future truth
Twardowski
Kotarbiński
Łukasiewicz
Leśniewski
Quine
Davidson
von Wright
Opis:: Tekst jest poświęcony związkowi między logiką a ontologią w kontekście problemu prawdziwości zdań o przyszłości. Jednym z rozważanych problemów jest „niewrażliwość” logiki klasycznej na ontologiczny problem determinizm-indeterminizm.
The text considers the link between logic and ontology in the context of the problem of future truth. The main issue examined in this paper is the following one: the classical logic is strongly insensitive to the ontological determinism-indeterminism problem.
Źródło:: Filozofia i Nauka; 2017, 5; 289-297
2300-4711
2545-1936
Pojawia się w:: Filozofia i Nauka
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 2.

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ł

Informacja