Informacja

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

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "Łukasiewicz, Jan" wg kryterium: Wszystkie pola

  Lista filtrów

Dostawca treści

Podbaza

Wyrównaj
Wyświetlanie 1-10 z 55
Tytuł:
Z „Elementów logistyki”
Excerpts from his Elements of Logictics
Autorzy:
Łukasiewicz, Jan
Powiązania:
https://bibliotekanauki.pl/articles/965098.pdf
Data publikacji:
1998-09-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Źródło:
Filozofia Nauki; 1998, 6, 3-4; 179-206
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
O zasadzie sprzeczności u Arystotelesa
On the Principle of Contradiction in Aristotle
Autorzy:
Łukasiewicz, Jan
Powiązania:
https://bibliotekanauki.pl/articles/967275.pdf
Data publikacji:
1997-03-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Źródło:
Filozofia Nauki; 1997, 5, 1; 147-164
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Logika i problem podstaw matematyki
Logic and the Problem of Foundation of Mathematics
Autorzy:
Łukasiewicz, Jan
Powiązania:
https://bibliotekanauki.pl/articles/965044.pdf
Data publikacji:
1997-09-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Źródło:
Filozofia Nauki; 1997, 5, 3; 147-162
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Jana Łukasiewicza ujęcie intuicjonistycznego rachunku zdań
Jan Lukasiewicz’s Account of the Intuitionistic Propositional Logic
Autorzy:
Czernecka, Bożena
Powiązania:
https://bibliotekanauki.pl/articles/2016230.pdf
Data publikacji:
2000
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Opis:
The aim of the article was to show Lukas iewicz’s programmatic theses that are contained mainly in his work On the In tu itionistic Propositional Logic and concerning first of all the connections between the intuitionistic and classical sentential calculi. It was also shown that in the same article Lukasiewicz did not put into effect the programmatic theses he proclaimed although he thought that he fulfilled the task formulated in this way. Moreover, an attempt was made to complement some of the theses proposed by the Polish logician in connection with understanding of the principle of excluded middle and logical constants occurring in this principle.
Źródło:
Roczniki Filozoficzne; 2000, 48, 1; 223-238
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Filozoficzne motywacje logiki trójwartościowej Jana Łukasiewicza
Philosophical Motivations of Jan Łukasiewicz’s Three-valued Logic
Autorzy:
Garbacz, Paweł
Powiązania:
https://bibliotekanauki.pl/articles/1917762.pdf
Data publikacji:
2020-11-16
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Opis:
The paper seeks to reconstruct the philosophical genesis of Jan Łukasiewicz’s three-valued logic. The assumptions that have explicitly been given by Łukasiewicz have been supplemented by the author’s hypotheses, put forward on the basis of the logician’s works. It has turned out that a rich and complicated structure of ontological, semiotic, and metascientific statements make up that system. Owing to incoherence of some of them, however, they cannot play the role of being a reason for logic Ł3.
Źródło:
Roczniki Filozoficzne; 1997, 45, 1; 75-100
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Kilka uwag o Jana Łukasiewicza rozumieniu konieczności
Some Remarks on Jan Lukasiewicz’s Conception of Necessity
Autorzy:
Lechniak, Marek
Powiązania:
https://bibliotekanauki.pl/articles/2016232.pdf
Data publikacji:
2000
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Opis:
In the logical works of Aristotle modal concepts are taken in some different meanings. At the first period of his modal considerations Lukasiewicz constructs the logical system (so called system L3) in which, according to Lukas iewicz’s intention, these different meanings of modality are covered in (included). He also assumes that modal functors are true-functional and the logical system for such functors has to be many-valued. In this three-valued system L3 the functor of necessity may be characterized as a temporal one. Necessity is applied to sentences about past and present events and to sentences about determined events, while contingency (interpreted as two-sided possibility) to future undetermined events. In the fifties „the late” Lukasiewicz constructs the four-valued system L4. In this system the matrices for counterparts of classical functors: A, C, E, K, N are defined by multiplying suitable two-valued matrices by theirselves. Thus, the system L4 is classical logic. Axiomatic construction of L4 is based on dividing the set of all propositions into two subsets: asserted and rejected. In consequence, no proposition which is preceded by the functor of necessity can be asserted in this system and iterated modalities are reduced in way which is different from standard one. The philosophical conclussion drawn by Lukasiewicz is that there are no difference between logical (and mathematical) thesis and empirical one with respect to „strenght” of affirmation (which he identifies with modality of proposition).
Źródło:
Roczniki Filozoficzne; 2000, 48, 1; 195-221
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-10 z 55

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