Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "funktor modalny" wg kryterium: Temat


Wyświetlanie 1-2 z 2
Tytuł:
Modalny rachunek nazw
Modal Calculus of Names
Autorzy:
Wojciechowski, Eugeniusz
Powiązania:
https://bibliotekanauki.pl/articles/2012888.pdf
Data publikacji:
2010
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
modalność
modalność de re
modalność de dicto
funktor modalny
rachunek modalny
modalna ontologia elementarna
modality
modality de re
modality de dicto
modal operator
modal calculus
elementary modal ontology
Opis:
Sentences with the form: x is δ y, where δ is one of the modal operators (of the n/n category) is usually interpreted as rendering modalities of the de re type, as contrary to sentences included in the scheme: ΔP(x), where the modal operator Δ (of the s/s category) is semantically ambiguous (de re or de dicto). In literature treating modality as de dicto modality dominates. This results mainly from the fact that modal calculi are practiced mainly as sentential calculi, built over the classical sentential calculus, where – in the nature of things – the structure of sentences is not  analyzed. We also have some extensions of elementary ontology (Lebedev’s) with the modal operator of the is-δ (s/nn) type as the primary operator.  In the article a construction is suggested, in which an operator of the δ (n/n) type is the primitive term. It is an elementary modal ontology that is an inferential extension of one of the mentioned systems, despite a formal simplification of its axioms.
Źródło:
Roczniki Filozoficzne; 2010, 58, 2; 237-254
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
O logice modalnej
On Modal Logic
Autorzy:
Kiczuk, Stanisław
Powiązania:
https://bibliotekanauki.pl/articles/2015670.pdf
Data publikacji:
2004
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
konieczność logiczna
możliwość logiczna
logika modalna
funktor modalny
ścisła implikacja
logical necessity
logical possibility
modal logic
modal operator
strict implication
Opis:
The paper appreciates six conditions which, according to G.E. Hughes and M.J. Cresswell, must be respected by those formal systems which aspire to be systems of modal logic. There are few such systems. The sense of modal functors “it is necessary that,” “it is possible that,” in this type of systems is in no way made precise. The paper undermines the validity of some conditions shown by Hughes and Cresswell. It outlines the way by which to construct a system of modal logic in which the functor of logical necessity and logical possibility would be unambiguously characterised by methods of contemporary logic.
Źródło:
Roczniki Filozoficzne; 2004, 52, 1; 199-213
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-2 z 2

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies