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ę "rachunek zdań" wg kryterium: Temat


Wyświetlanie 1-2 z 2
Tytuł:
Logicy i logika a poznanie przyrody
Logicians and Logic on Study of Nature
Autorzy:
Kiczuk, Stanisław
Powiązania:
https://bibliotekanauki.pl/articles/2013931.pdf
Data publikacji:
2005
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika
funktor prawdziwościowy
funktor nieprawdziwościowy
dwuwartościowy rachunek zdań
wielowartościowy rachunek zdań
logic
truth-functional operator
not truth-functional operator
two valued propositional calculus
many-valued propositional calculus
Opis:
Starting from the 1930s logicians tackled problems connected with applicability of logic in natural sciences and in many cases they tried to practically apply logic in these sciences. In the article entitled ‘Logicians and logic on study of nature’ it is stressed that the broadly understood formal logic supplies natural sciences, and especially physics, with a paradigm for a method of ordering theses. It is also shown what application of logic laws to natural sciences consists in, and theses are formulated concerning what the laws of classical propositional calculus state. A lot of attention is devoted to the language of modern and contemporary physics. Modern and contemporary physics uses two languages, i.e. the mathematical language and the so-called notional language. The logic of the former language is classical logical calculus. In connection with the notional language logicians construed a lot of systems of non-classical logics in which laws are given that govern the correct use of non-extensional operators connected with such terms occurring in natural sciences as “time”, “cause”, “change” etc. The language of well construed systems of non-classical logics may serve saving, storing and precise communicating the results obtained on the ground of natural sciences.
Źródło:
Roczniki Filozoficzne; 2005, 53, 1; 129-142
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Logika formalna czy logiki formalne?
Formal Logic or Formal Logics?
Autorzy:
Kiczuk, Stanisław
Powiązania:
https://bibliotekanauki.pl/articles/2013349.pdf
Data publikacji:
2007
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika
funktor prawdziwościowy
logika standardowa
logika nieklasyczna
wielowartościowy rachunek zdań
logika klasyczna
logic
truth-functional operator
standard logic
non-classical logic
many-valued propositional calculus
classical logic
Opis:
Apart from putting the theses contained in E. Agazzi’s work Why Is It Logical to Admit Several Logics? in an order and making them more distinct, an attempt is made to draw conclusions from the explicit wordings used by that author. Some theses presented in the text are shown against the views of other authors who discussed analogous problems. In this way, as it seems, modification, completing and elaborating has been possible of wordings that approve of the thesis about the existence of many logics that are contained in the analyzed text. Among others, the article emphasizes that Agazzi’s pronouncements about relations existing between standard logic and intuitionist logic cannot be accepted. Also, several remarks are made about the so-called many-valued logics. Agazzi’s theses that well constructed non-classical logics representing proper contents are necessary for representatives of various branches of knowledge is acceptable.
Źródło:
Roczniki Filozoficzne; 2007, 55, 1; 129-157
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