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ę "philosophy of logic" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-6 z 6
    Tytuł:
    Prawa nauk przyrodniczych a tezy logiki formalnej i metafizyki
    Laws of natural sciences and propositions of formal logic and metaphysics
    Autorzy:
    Kiczuk, Stanisław
    Powiązania:
    https://bibliotekanauki.pl/articles/2015978.pdf
    Data publikacji:
    2002
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    logika
    filozofia logiki
    filozofia nauki
    prawo
    logic
    philosophy of logic
    philosophy of science
    law
    Opis:
    In the first part of the article remarks are made concerning the laws of natural sciences. First of all the field of analyses of modern natural sciences is presented. The second part of the article is devoted to a characteristic of the laws of formal logic, and especially of the laws of classical sentential calculus. The view that logical propositions state certain objective relations between states of things is explicated. After other authors, it is stressed that learning logic we not only train the art of correct thinking, but we also learn about certain relations between facts that constitute the logical structure of the world. In the third part of the article propositions of the general theory of being, i.e. the first principles of being and propositions concerning entity compositions are characterised; also numerous comparative analyses are made. The article tries to show similarities and differences between natural sciences laws, laws of logic and theses of the general theory of being. First of all attention is drawn to relations occurring between some laws of logic of sentences and the first principles of being.
    Źródło:
    Roczniki Filozoficzne; 2002, 50, 1; 303-331
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Kilka uwag o przedmiocie logiki intuicjonistycznej
    A few remarks on the subject of intuitionist logic
    Einige Anmerkungen zum Gegenstand des intuitionistischen Aussagenkalküls
    Autorzy:
    Czernecka, Bożena
    Powiązania:
    https://bibliotekanauki.pl/articles/2016143.pdf
    Data publikacji:
    2001
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    logika
    filozofia logiki
    filozofia matematyki
    intuicjonizm
    Heyting
    logic
    philosophy of logic
    philosophy of mathematics
    intuitionism
    Opis:
    Artykuł jest próbą odpowiedzi na pytanie, co jest przedmiotem logiki intuicjonistycznej. Rozważania opierają się na publikacjach twórców intuicjonizmu, zwłaszcza Heytinga. W tle poczyniono również komentarze na temat logiki klasycznej. Prawa klasycznej logiki zdań ustanawiają pewne obiektywne i jednocześnie najbardziej ogólne związki między faktami i zdarzeniami. Myśliciele zakładają istnienie takich powiązania, które charakteryzują stanowisko ontologiczne. Z drugiej strony prawa logiki intuicjonistycznej ustanawiają związki między konstrukcjami matematycznymi lub właściwościami tych konstrukcji na podstawie uprzednio utworzonych i zbadanych mentalnych konstrukcji matematycznych.
    The article is an attempt to answer the question what is the subject of intuitionist logic. The considerations are based on publications by the creators of intuitionism, especially Heyting. In the background, comments were also made on classical logic. The laws of classical propositional logic establish certain objective and also the most general relationships between facts and events. Those thinkers assume the existence of such connections that characterize the ontological position. On the other hand, the laws of intuitionist logic establish relationships between mathematical constructions or the properties of these constructions on the basis of previously created and researched mental mathematical constructions.
    In dem Artikel wird versucht, die Frage zu beantworten, was den Gegenstand des intuitionistischen Aussagenkalküls bildet. Die Erwägungen basieren auf den Veröffentlichungen von den Gründern des Intuitionismus, vor allem auf Heyting. Im Hintergrund werden auch Anmerkungen gemacht betreffend des Gegenstandes der klassischen Logik. Die Gesetze der klassischen Aussagenlogik stellen einige objektive und zugleich allgemeinste Zusammenhänge zwischen Sachverhalten, Tatsachen, Begebenheiten fest. Die Existenz, solchen Zusammenhänge nehmen die Denker an, welche die ontologische Stellungnahme kennzeichnet. Die Gesetze des intuitionistischen Aussagenkalküls dagegen stellen Zusammenhänge zwischen mathematischen Konstruktionen oder Eigenschaften dieser Konstruktionen auf Grund von den vorher gebildeten und untersuchten mentalen mathematischen Konstruktionen fest.
    Źródło:
    Roczniki Filozoficzne; 2001, 49, 1; 151-165
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Współczesna logika formalna a nauki przyrodnicze
    Contemporary formal logic and the natural sciences
    Autorzy:
    Kiczuk, Stanisław
    Powiązania:
    https://bibliotekanauki.pl/articles/2016141.pdf
    Data publikacji:
    2001
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    logika
    filozofia logiki
    metodologia
    filozofia nauki
    fizyka
    logic
    philosophy of logic
    methodology
    philosophy of science
    physics
    Opis:
    In the first part of the article the questions are discussed that are connected with applying the rules of classical sentence logic and many valued logic in theories of natural sciences, mainly in N. Bohr' s theories of complementarity. This part of the article explicates Z. Zawirski's proposition, that the rules of logic, through applying them to the world, not only stop being tautologies that do not say anything about the reality, but they become natural hypotheses that say a lot, perhaps "the first things”, about that reality. In the article the possibility is shown of using the rules of building axiomatic deductive systems of classical logical calculus in construction of corresponding axiomatic systems in physics, as an axiomatic system may well represent an empirical theory. In the second part of the article the relations of contemporary non-classical kinds of logic with natural sciences are discussed. A lot of attention is devoted to showing that in natural sciences, in physics, application of formal logic may also consist in suitable use of its language. Not only is the language of classical logical calculus involved here but the language of systems of non-classical logics as well, and especially of the ones which give the rules for correct use of functors connected with the following - crucial for natural sciences - terms: time, change, causal relationship.
    Źródło:
    Roczniki Filozoficzne; 2001, 49, 1; 127-150
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Zagadnienie konstruowalności logik modalnych i relewantnych
    The Problem of Possibility of Construction of Modal and Relevance Logics
    Autorzy:
    Januszewski, Ernest
    Powiązania:
    https://bibliotekanauki.pl/articles/2015846.pdf
    Data publikacji:
    2020-10-15
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    logika modalna
    logika relewantna
    filozofia logiki
    reguła Gödla
    reguła koniecznościowania
    modal logic
    relevance logic
    philosophy of logic
    Gödel's rule
    rule of necessitation
    Opis:
    In the paper various ways are shown of constructing both modal and relevance logics. An attempt is undertaken of interpreting modal functors occurring in these logics. In the discussion special attention is paid to logical necessity. Connection of this necessity and tautologies of the classical sentential calculus is pointed to. Next, some intuitive considerations are quoted that resulted in accepting or refusing certain theses or rules on the ground of both modal and relevance logics. Especially much attention is paid to Gödel's rule. It is stated that at the moment when modal and relevance logics were constructed satisfactory philosophical considerations were not made. In particular, it was not decided if the constructed systems give correct formalization of modal notions, and if they may be used for formalization of deductive ways of infering.
    Źródło:
    Roczniki Filozoficzne; 2003, 51, 1; 85-112
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Uwagi o Susan Haack rozumieniu filozofii logiki
    Remarks on Susan Haack’s Conception of Philosophy of Logic
    Autorzy:
    Czernecka-Rej, Bożena
    Powiązania:
    https://bibliotekanauki.pl/articles/2013362.pdf
    Data publikacji:
    2007
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    Susan Haack
    filozofia logiki
    logika formalna
    rachunek formalny
    logika rozszerzona
    logika dewiacyjna
    philosophy of logic
    formal logic
    formal calculus
    extended logic
    deviant logic
    Opis:
    The aim of the article is to present remarks concerning Susan Haack’s understanding of philosophy of logic. At the beginning, in the form of questions the area of problems tackled by philosophy of logic is indicated. Determination of the range of logic, that is differentiating logic from non-logic (the logical system from the formal system) is a priority for philosophy of logic. In the paper a critical analysis is made of the different suggestions for a demarcation line for logic that Haack discusses. Next the main ideas of philosophy of logic are presented, as seen by Haack, with special focus on two theses: about revisionability of logic and about logical pluralism. These theses appear in the context of quest for the answer to the question about correctness of logic. Also the differentiation between extended logics and deviant logics is significant here. In the final part of the paper assumptions and consequences of theses proposed by Haack are searched for and a discussion is undertaken concerning the way of justifying the obligatory character of a logic.
    Źródło:
    Roczniki Filozoficzne; 2007, 55, 1; 23-46
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    O NIEKTÓRYCH UWARUNKOWANIACH FREGOWSKIEJ TEORII KWANTYFIKACJI
    ON SOME DETERMINATS OF THE FREGEAN THEORY OF QUANTIFICATION
    Autorzy:
    Szot, Jan
    Powiązania:
    https://bibliotekanauki.pl/articles/488152.pdf
    Data publikacji:
    2013
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    filozofia języka
    filozofia logiki
    wyrażenie kwantyfikatorowe
    wyrażenie niekompletne
    predykat złożony
    predykat prosty
    philosophy of language
    philosophy of logic
    theory of quantification
    incomplete expression
    complex predicate
    simple predicate
    Opis:
    The article discusses the Fregean way of producing multiple quantifications and distinction between complex and simple predicates. In the proper sense only the complex predicates are a kind of the incomplete expression (unselbsständig). Many contemporary authors of general logic textbooks do not pay due attention to that determinants.
    W artykule omówiono Fregowski (wieloetapowy) sposób tworzenia wielokrotnych kwantyfikacji oraz rozróżnienie predykatów prostych i złożonych. W sensie właściwym tylko predykaty złożone są typem wyrażeń niekompletnych (unselbsständig). Większość współczesnych autorów podręczników logiki elementarnej nie zwraca należnej uwagi na te dwa uwarunkowania teorii kwantyfikacji.
    Źródło:
    Roczniki Filozoficzne; 2013, 61, 3; 125-141
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-6 z 6

      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