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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-3 z 3
    Tytuł:
    Klasyczny rachunek zdań w semantycznie przejrzystym sformułowaniu
    Autorzy:
    Wojciechowski, Eugeniusz
    Powiązania:
    https://bibliotekanauki.pl/articles/705869.pdf
    Data publikacji:
    2012-09-01
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    klasyczny rachunek zdań
    semantycznie przejrzyste sformułowanie,notacja listowa
    idiograficzna notacja Leśniewskiego
    Opis:
    Punktem wyjścia jest pewien fragment tekstu, którego autorem jest Gottlob Frege (Einleitung in die Logik): „Jeżeli ma się dwa zdania, to są tylko cztery przypadki możliwe: 1) pierwsze jest prawdziwe i tak samo drugie; 2) pierwsze jest prawdziwe, drugie fałszywe; 3) pierwsze jest fałszywe, drugie prawdziwe; 4) obydwa są fałszywe”. Proponuje się tu pewną konstrukcję, będącą sformułowaniem klasycznego rachunku zdań, w którym powyższa semantyczna charakterystyka pary zdań jest obecna. Symboliczny zapis tych czterech przypadków dla dowolnej pary zdań jest jej tezą. Używana jest tu notacja listowa. Jest ona porównywana z idiograficzną notacją Leśniewskiego.
    Źródło:
    Przegląd Filozoficzny. Nowa Seria; 2012, 3; 35-48
    1230-1493
    Pojawia się w:
    Przegląd Filozoficzny. Nowa Seria
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Uwagi o systemie logiki formalnej skonstruowanym dla logików nieformalnych
    Remarks on the System of Formal Logic Construed for Informal Logicians
    Autorzy:
    Kiczuk, Stanisław
    Powiązania:
    https://bibliotekanauki.pl/articles/2012940.pdf
    Data publikacji:
    2010
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    funktor prawdziwościowy
    logika nieformalna
    logika nieklasyczna
    klasyczny rachunek zdań
    truth-functional operator
    informal logic
    non-classical logic
    classical propositional calculus
    Opis:
    D. Sherry’s main theses included in his essay entitled “Formal Logic for Informal Logicians” are presented in the article. In a discussion with his theses it is shown that he prefers this kind of logic that has a lot of elements that are the same as in Aristotle’s logic understood as the art of thinking and the technique of discussion taken from Topics, and not the logic that was started in his Prior Analytics. It is also shown that not only patterns of inferring, but also the theses of logic, as well as theses to which no patterns correspond, that are guarantee reliability of inference patterns, may be intuitively obvious. In the article also attention is drawn to the fact that the PL- system of logic presented by Sherry was characterized by him by means of a rather poor logical terminology. In the American author’s argument there are no clear distinctions between the thesis of logic, the logical inference pattern and the rule of the procedure of proving. However, it can be established that the PL- system is constituted by argumentation patterns that are reliable owing to such theses of propositional logic as modus potens, modus tollens, disjunctive syllogism, conjunctive syllogism, complex destructive dilemma, and the two rules concerning creating proofs, i.e. the rule of conditional proof and the rule of reduction to the absurd. In the PL- system there are fewer theses than in the classical propositional calculus, but this has nothing in common with the so-called multivalent logics to which some theses of classical logic supposedly do not apply. Everything suggests that some systems of non-classical logic systems may be built on the PL- system; namely, the ones in which theses are given that govern the correct use of non-extensional operators connected with key terms appearing in many sciences, like e.g. “time”, “change”, “causality”. Sherry’s essay reveals that he is a supporter of the thesis that knowledge of formal logic is necessary for using informal logic efficiently, which is necessary for teaching logic properly.
    Źródło:
    Roczniki Filozoficzne; 2010, 58, 1; 95-108
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    O NIEKTÓRYCH PRAWACH LOGIKI I ZASADACH OGÓLNEJ TEORII BYTU
    Autorzy:
    Kiczuk, Stanisław
    Powiązania:
    https://bibliotekanauki.pl/articles/488533.pdf
    Data publikacji:
    2012
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    logika współczesna
    funktor prawdziwościowy
    klasyczny rachunek zdań
    zasada racji dostatecznej
    modern logic
    truth-functional operator
    classical propositional calculus
    principle of sufficient reason
    Opis:
    Some principles of general theory of being have their equivalents in laws of classical logic. For a long time this was not distinctly noticed, as logic was treated rather as technology of discussion, and not as a system of propositions stated in the objective language and concerning connections between facts. It may be generally said that some primary principles of being and some laws of logic state the same most fundamental connections between facts, between states of things. There are also principles of philosophy that do not have such equivalents in laws of logic. These include the principle of sufficient reason. The concept of intuitive truth of propositions that reappeared in modern logic first of all in connection with K. Gödel’s theorem of 1931 formed an intellectual climate that made it possible for classical logicians to accept also those principles of general theory of being that do not have equivalents in laws of standard logic. It may be said that these philosophical principles may be included in the outward basis of modern logic.
    Źródło:
    Roczniki Filozoficzne; 2012, 60, 2; 171-179
    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