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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-11 z 11
    Tytuł:
    The Conception of Logic in the Cracow Circle: Salamucha, Drewnowski, Bocheński
    Autorzy:
    Murawski, Roman
    Powiązania:
    https://bibliotekanauki.pl/articles/1926893.pdf
    Data publikacji:
    2021-07-31
    Wydawca:
    Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
    Tematy:
    formal logic
    philosophy
    theology
    Thomism
    Cracow Circle
    Opis:
    The aim of this paper is to present and analyse the views on logic of the members of the so-called Cracow Circle, namely the Dominican Father Józef (Innocenty) M. Bocheński, Rev. Jan Salamucha, and Jan Franciszek Drewnowski. They tried to apply the methods of modern formal/mathematical logic to philosophical and theological problems. In particular, they attempted to modernise contemporary Thomism (the trend which was then prevailing) by employing logical tools. The influence of Jan Łukasiewicz, the co-founder of the Warsaw School of Logic will be also discussed.
    Źródło:
    Studia Philosophiae Christianae; 2021, 57, 1; 109-125
    0585-5470
    Pojawia się w:
    Studia Philosophiae Christianae
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Logic and its Pragmatic Aspects
    Autorzy:
    Marsonet, Michele
    Powiązania:
    https://bibliotekanauki.pl/articles/1037570.pdf
    Data publikacji:
    2018
    Wydawca:
    Academicus. International Scientific Journal publishing house
    Tematy:
    logic
    formal logic
    logical pluralism
    pragmatism
    analytic philosophy
    praxis
    Opis:
    A pragmatist conception of logic rejects any kind of logical constructionism, based on the appeal to privileged ontological and epistemological items and to a perfect language supposedly provided by mathematical logic. Even in logic, “pluralism” must be the key-word if one does not want to be locked in the cage of conceptions that become rapidly outdated. Dealing with the dichotomy Absolutism/Relativism in logic, it may be observed that the enterprise of logic can be considered in several - and substantially different - perspectives, among which we find (1) the psychologistic, (2) the Platonistic, and (3) the instrumentalistic viewpoints. According to (1) logic is viewed as fundamentally descriptive, and its task is taken to be that of outlining a “theory of reasoning,” i.e. a systematic account of how we humans proceed when reasoning successufully. According to (3), instead, logic’s task is that of constructing rigorous systems codifying not only actual, but also possible instrumentalities for conducting valid inferences, and these would be available (should someone want to avail himself to them) for adoption as an organon of reasoning, but no empirical claims are made that anyone has (or will) avail himself of this opportunity. The logician devises a tool or instrument for correct reasoning, but does not concern himself about the uses of this instrument. Philosophy and logic cannot be linked so closely, and today the idea that the analytic style of philosophizing is just one style among many others, and not the only possible one, is gaining increasing acceptance.
    Źródło:
    Academicus International Scientific Journal; 2018, 17; 46-53
    2079-3715
    2309-1088
    Pojawia się w:
    Academicus International Scientific Journal
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Krytyczne myślenie i logika formalna w badaniach literaturoznawczych na przykładzie wybranych utworów Ignacego Krasickiego
    Critical thinking and formal logic in literary research based on the example of selected works by Ignacy Kracicki
    Autorzy:
    Magryś, Roman
    Powiązania:
    https://bibliotekanauki.pl/articles/956372.pdf
    Data publikacji:
    2019
    Wydawca:
    Uniwersytet Rzeszowski. Wydawnictwo Uniwersytetu Rzeszowskiego
    Tematy:
    formal logic
    critical thinking
    ignacy krasicki
    interpretation
    Opis:
    Formal logic and critical thinking are complementary tools in research of literary texts. Critical thinking is especially useful in the case of works which are antinomic in character as they are based on disputable ironic meeting points. Ignacy Krasicki’s satires are such type of text. A special difficulty is posed by the interpretation of Journey of a Warmian bishop, as the work read separately and with the use of particular contexts assumes ambiguous meanings. The application of the methodology of critical thinking, which is based on multisided approach to text, leads to the conclusion that primary law of classical logic, the law of excluded middle, does not apply. Journey is a dialogic work, even though ideological reasons for and against foreign travels are not equal.
    Źródło:
    Dydaktyka Polonistyczna; 2019, 5 (14); 58-69
    2451-0939
    Pojawia się w:
    Dydaktyka Polonistyczna
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Prawda i fałsz wypowiedzi literackiej
    Truth and Falsity of Literary Statements
    Autorzy:
    Magryś, Roman
    Powiązania:
    https://bibliotekanauki.pl/articles/1206730.pdf
    Data publikacji:
    2020
    Wydawca:
    Uniwersytet Rzeszowski. Wydawnictwo Uniwersytetu Rzeszowskiego
    Tematy:
    formal logic
    fiction
    truth
    intention
    falsehood
    literature
    intensional logic
    phenomenology
    Opis:
    The article Truth and Falsity of Literary Statements investigates the issue of logical values, and consequently communication related status of sentences in indicative mood occurring in works of literature. The problem is discussed with reference to theoretical assumptions of classical logic, intuitionistic logic, and other possible intensional logics as well as phenomenological concepts proposed by Roman Ingarden. In this context it is suggested that intensional systems, mainly intuitionistic logic be adequately applied to identify logical value of literary sentences. As a result, it is assumed that the logical value of literary sentences depends on the specific logical system selected; according to the standards of intuitionistic logic, literary statements are true, likely or false. In this context it seems necessary to revise Roman Ingarden’s phenomenological assumption that sentences in indicative mood in a work of fiction do not have objective point of reference. It is suggested that such sentences be recognised as false, and therefore indicative of the group of their intentional meanings as a specific model of reality which can be deemed true or false.
    Źródło:
    Dydaktyka Polonistyczna; 2020, 6 (15); 72-91
    2451-0939
    Pojawia się w:
    Dydaktyka Polonistyczna
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Application of deontic logic in role-based access control
    Autorzy:
    Kołaczek, G.
    Powiązania:
    https://bibliotekanauki.pl/articles/907988.pdf
    Data publikacji:
    2002
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    informatyka
    formal logic
    access control
    RBAC
    system security
    reasoning automation
    Opis:
    The paper presents a short overview of the foundations of the Role-Based Access Control Modal Model and its properties. In particular, the translation of these model formulae to the first-order logic formulae in a form of Horn's clauses is analysed. The automation of processes and mechanisms related to access control on the basis of logical automated reasoning and the PROLOG language are described.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2002, 12, 2; 269-275
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Stosowalność niektórych systemów logicznych do analizy formalnej poprawności wnioskowań dotyczących prawa kanonicznego
    Applicability of some logical systems to analyse formal correctness of inferences concerning canon law
    Autorzy:
    Kozanecka-Dymek, Anna Maria
    Powiązania:
    https://bibliotekanauki.pl/articles/1395752.pdf
    Data publikacji:
    2021-07-12
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II
    Tematy:
    logika formalna
    stosowalność
    prawo kanoniczne
    formalna poprawność
    wnioskowanie
    formal logic
    applicability
    canon law
    formal correctness
    inference
    Opis:
    Przykłady zaprezentowane w artykule pozwalają wyrazić przekonanie, że znajomość logiki formalnej może być przydatna w pracy myślowej prawnika kanonisty, zwłaszcza wtedy, gdy nie ma on pewności, czy wyprowadzony przez niego wniosek wynika logicznie z przesłanek. Przeanalizowano formalną poprawność kilku wnioskowań przeprowadzonych w oparciu o kanony, przy użyciu aparatury klasycznego rachunku zdań i sylogistyki, a także wybranych logik nieklasycznych, takich jak np. logika tensalna, logika chronologiczna i logika miejsca  
    In the article, concrete examples acknowledge that formal logic can be useful in the work of a lawyer-canonist. Formal correctness is also analysed with several inferences conducted on a basis of canons, using an apparatus of classical propositional calculus and syllogistic, and also selected non-classical logics such as, for example, tense logic, chronological logic, and place logic  
    Źródło:
    Studia Prawnicze KUL; 2021, 2; 121-132
    1897-7146
    2719-4264
    Pojawia się w:
    Studia Prawnicze KUL
    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ł:
    Knowledge, Vagueness and Logic
    Autorzy:
    Wybraniec-Skardowska, U.
    Powiązania:
    https://bibliotekanauki.pl/articles/908372.pdf
    Data publikacji:
    2001
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    zbiór rozmyty
    logika formalna
    vague knowledge
    fuzzy sets
    rough sets
    vague sets
    formal logic
    Opis:
    The aim of the paper is to outline an idea of solving the problem of the vagueness of concepts. The starting point is a definition of the concept of vague knowledge. One of the primary goals is a formal justification of the classical viewpoint on the controversy about the truth and object reference of expressions including vague terms. It is proved that grasping the vagueness in the language aspect is possible through the extension of classical logic to the logic of sentences which may contain vague terms. The theoretical framework of the conception refers to the theory of Pawlak's rough sets and is connected with Zadeh's fuzzy set theory as well as bag (or multiset) theory. In the considerations formal logic means and the concept system of set theory have been used. The paper can be regarded as an outline of the logical theory of vague concepts.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2001, 11, 3; 719-737
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Applying propositional calculus of formal logic to formulate research hypotheses in management sciences
    Propozycja wykorzystania rachunku zdań logiki formalnej do tworzenia hipotez badawczych w naukach o zarządzaniu
    Autorzy:
    Pabian, Aleksander
    Powiązania:
    https://bibliotekanauki.pl/articles/2177735.pdf
    Data publikacji:
    2023-02-28
    Wydawca:
    Główny Urząd Statystyczny
    Tematy:
    research hypotheses
    formal logic
    management
    propositional calculus
    hipotezy badawcze
    logika formalna
    zarządzanie
    rachunek zadań
    Opis:
    The article is devoted to the topic of formulating research hypotheses in management sciences. On the basis of the author’s research results, it may be concluded that although the related literature indicates the features of a properly formulated hypothesis, errors still tend to occur in the process of its construction and as a consequence, the answers to the question or questions determining the research problem are not correctly formulated. Examples of such errors include attempts to check statements which are unverifiable in practice, which could be observed even in Master’s theses. The propositional calculus, whose source is in formal logic, may prove a useful tool in creating proper hypotheses. The primary aim of the article is to prove the usefulness of the propositional calculus of formal logic in formulating the main hypothesis and partial hypotheses in research work relating to management sciences. Prior to adopting a hypothesis for further proceedings, it should be decomposed into prime factors, followed by an analysis of the propositions. Adopting such a calculus when formulating each hypothesis should result in their comprehensible and logical form, compliant with linguistic rules.
    Tematem artykułu jest formułowanie hipotez badawczych w naukach o zarządzaniu. Na podstawie wyników badania przeprowadzonego przez autora można stwierdzić, że choć w literaturze przedmiotu wskazywane są cechy prawidłowo sformułowanej hipotezy, to podczas tworzenia hipotez badawczych często dochodzi do błędów, a w konsekwencji odpowiedzi na pytanie (pytania) wyrażające problem badawczy są skonstruowane niepoprawnie. Przykłady takich błędów, m.in. próby sprawdzenia w praktyce stwierdzeń nieweryfikowalnych, można znaleźć nawet w pracach magisterskich. W tworzeniu poprawnych hipotez pomocny może być rachunek zdań mający źródło w logice formalnej. Celem artykułu jest udowodnienie przydatności rachunku zdań logiki formalnej w formułowaniu hipotezy głównej i hipotez cząstkowych w pracach badawczych z zakresu nauk o zarządzaniu. Przed przyjęciem hipotezy należy rozłożyć ją na czynniki pierwsze i przeprowadzić analizę zdań. Zastosowanie takiej procedury powinno doprowadzić do nadania każdej z hipotez zrozumiałej i logicznej postaci oraz zapewnić ich zgodność z regułami językowymi.
    Źródło:
    Wiadomości Statystyczne. The Polish Statistician; 2023, 68, 2; 39-55
    0043-518X
    Pojawia się w:
    Wiadomości Statystyczne. The Polish Statistician
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Simple and flexible way to integrate heterogeneous information systems and their services into the world data system
    Autorzy:
    Nowakowski, Grzegorz
    Telenyk, Sergii
    Yefremov, Kostiantyn
    Khmeliuk, Volodymyr
    Powiązania:
    https://bibliotekanauki.pl/articles/2141819.pdf
    Data publikacji:
    2021
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    research
    application integration
    business processes
    mathematical logic
    formal logic
    inference mechanism
    multi-agent system
    protocol
    software agent
    Opis:
    The approach to applications integration for World Data Center (WDC) interdisciplinary scientific investigations is developed in the article. The integration is based on mathematical logic and artificial intelligence. Key elements of the approach – a multilevel system architecture, formal logical system, implementation – are based on intelligent agents interaction. The formal logical system is proposed. The inference method and mechanism of solution tree recovery are elaborated. The implementation of application integration for interdisciplinary scientific research is based on a stack of modern protocols, enabling communication of business processes over the transport layer of the OSI model. Application integration is also based on coordinated models of business processes, for which an integrated set of business applications are designed and realized.
    Źródło:
    Journal of Automation Mobile Robotics and Intelligent Systems; 2021, 15, 4; 76-90
    1897-8649
    2080-2145
    Pojawia się w:
    Journal of Automation Mobile Robotics and Intelligent Systems
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Logika. Panorama tematyki
    Logic. Panorama of the Domain
    Autorzy:
    Kublikowski, Robert
    Powiązania:
    https://bibliotekanauki.pl/articles/483397.pdf
    Data publikacji:
    2018-12-31
    Wydawca:
    Wyższe Seminarium Duchowne im. św. Jana Pawła II Diecezji Siedleckiej
    Tematy:
    logika
    logika formalna
    semiotyka
    metodologia nauk
    teoria poznania
    epistemologia
    logic
    formal logic
    semiotics
    methodology of science
    theory of cognition
    epistemology
    Opis:
    Summary Logic. Panorama of the Domain In European culture logic – understood as a scientifc discipline and skill – has been developed and taught at least since Aristotle’s time, namely since the 4th century B.C. The aim of this text is to answer the question: what is logic? It shows an analytic panorama of logic. Logic – understood in a broad sense – can be divided into formal logic, semiotics, methodology of science and epistemology (Chapter 1). An additional goal of the text is to give a historical note concerning those lecturers who taught logic in the Major Seminary of Siedlce Diocese (Chapter 2). Logic has been developed to analyse, to describe, to make precise and put in order various linguistic and cognitive activities. Logic explicates intersentential and inner-sentential relations, relations between contents and extensions of terms – relations established by various functors. Logic plays all its roles assuming that precision is better than a lack thereof.
    Źródło:
    Teologiczne Studia Siedleckie; 2018, XV/15; 314-341
    1733-7496
    Pojawia się w:
    Teologiczne Studia Siedleckie
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-11 z 11

      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