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ę "implikacja" wg kryterium: Temat


Wyświetlanie 1-3 z 3
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ł
Tytuł:
Uwagi o implikacji materialnej
Autorzy:
Kiczuk, Stanisław
Powiązania:
https://bibliotekanauki.pl/articles/2013479.pdf
Data publikacji:
2006
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika
funktor prawdziwościowy
znak negacji
znak alternatywy
implikacja materialna
koniunkcja
logic
truth-functional operator
negation sign
disjunction sign
material implication
conjunction
Opis:
In the initial part of the article texts of some authors are analyzed concerning material implication. In the further part of the article the proposition is justified that the operator of material implication differs in quality from other truth-functional operators. The final part of the article is devoted to considerations aiming at presenting what the thesis of the classical propositional calculus, in which the main operator is the operator of material implication, denote.
Źródło:
Roczniki Filozoficzne; 2006, 54, 1; 69-80
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Logika współczesna a matematyka i filozofia
Contemporary Logic versus Mathematics and Philosophy
Autorzy:
Kiczuk, Stanisław
Powiązania:
https://bibliotekanauki.pl/articles/2013167.pdf
Data publikacji:
2008
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika współczesna
funktor prawdziwościowy
znak negacji
znak alternatywy
implikacja materialna
koniunkcja
modern logic
truth-functional operator
negation sign
disjunction sign
material implication
conjunction
Opis:
The first part of the paper shows two types of the systems of contemporary logic placed in one of J. Bocheński’s works. The second part of the paper contains Bocheński’s theses concerning contemporary logic. They have been shown against the backdrop of the views held by other authors who discussed some kin issues. In order to supplement Bocheński’s considerations a division of functors has been added. They are divided into extensional and non-extensional. Much attention has been devoted to the problems of logical constants that is rarely discussed in learned literature. It has been stressed that at least one of Bocheński’s typologies should basically be changed, having taken into account the remarks in the paper that supplement Bocheński’s analyses. The above issues have been discussed against the backdrop of the question of relations that obtain between contemporary logic, mathematics, and philosophy.
Źródło:
Roczniki Filozoficzne; 2008, 56, 2; 131-150
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-3 z 3

    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