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-31 z 31
    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ł
    Tytuł:
    Różne znaczenia definicji w logice. O krytyce Ajdukiewicza wobec klasyfikacji rozumowań Łukasiewicza, uwag kilka
    Different meanings of logical definition. About Ajdukiewicz criticism against classifi-cation of Łukasiewicz considerations, some comments
    Autorzy:
    Tomza, Anna
    Powiązania:
    https://bibliotekanauki.pl/articles/595977.pdf
    Data publikacji:
    2020
    Wydawca:
    Łódzkie Towarzystwo Naukowe
    Tematy:
    classification of reasoning, formal logic, two and three-valued logic, definitions
    klasyfikacja rozumowań, logika formalna, logika dwu- i trójwartościowa, definicje
    Opis:
    Background: The article analyzes the rarely raised issue of Kazimierz Ajdukiewicz, Polish logician, supporter of two-valued logic, and critic of the classification of reasoning by Jan Łukasiewicz, creator of trivalent logical calculus. Research purpose: The purpose of the article is an attempt to elucidate how Ajdukiewicz’s cri-ticism of Łukasiewicz’s reasoning system concerns the issue of the role and place of definition in logic. Ajudkiwicz was a student of Łukasiewicz, who was a world-renowned genius of logic, and did not get into a scientific dispute with his master. While using the cover of criticizing a fragment of Łukasiewicz’s research, he expresses a contradictory stance towards, in his opinion, the erroneous ways of defining by the terms used by Łukasiewicz in his classification of reasoning. Ajdukiewicz considered the issues related to the definition important. In his work, he emphasizes, as contemporary researchers of Ajdukiewicz’s thinking point out, that certain aspects of definition theory go beyond formalized definition procedures. An analysis of his views shows that he himself aspired to create a new science of definitions in logic. In the criticism he makes about Jan Łukasiewicz’s classification of reasoning, he emphasizes that it concerns the definition, not the process of reasoning. According to Ajdukiewicz, the definitions of alogical system must be meaningful and expressed in the sentence of the given logic language L, while to Łukasiewicz definitions presented in the classification are meaningless and contain an equivocation error. Fragmentary criticism of the problem of defining by Łukasiewicz is the beginning of in-depth research on understanding and the role of definition in logic. Methods: In the article, analytical methods demonstrate different approaches of logicians to the role of definitions in logic. The juxtaposition of Kazimierz Ajdukiewicz’s views on the classification of reasoning, with the views of the author of the classification – Jan Łukasiewicz, reveal differences in logic’s positions within the methodology of logical systems. In this way, Ajdukiewicz’s opinion, rarely raised in science and didactics, is presented about how Łukasiewicz’s methodology is incorrect, as it was created based on definitions bearing the equivocation error. According to Ajdukiewicz, Łukasiewicz, contrary to the principles of classical logic methodo- logy, gave existing definitions a new meaning, thus creating an incorrect logic system. Conclusions: The issue of how to define is often taken up, both in science and in the teaching process. The classification of reasoning by Jan Łukasiewicz in didactics is given today. It is different than the criticism by Kazimierz Ajdukiewicz, which is rarely undertaken in literature. The analysis of the views of the leading Polish logicians presented in the article regarding the classification of reasoning is a valuable contribution to the development of the subject of reasoning in logic. The analysis of Ajdukiewicz’s criticism presented in the article indicates a new face of his views regarding the dispute over definitions in logic. This new perspective may result in the extension of research on the meaning of definitions in two- and three-valued logic.
    Przedmiot badań: Artykuł analizuje rzadko poruszaną kwestię wyrażanej przez Kazimierza Ajdukiewicza, polskiego logika, zwolennika logiki dwuwartościowej, krytyki klasyfikacji rozumowań autorstwa Jana Łukasiewicza, twórcy trójwartościowego rachunku logicznego. Cel badawczy: Celem artykułu jest próba wykazania, że podjęta przez Ajdukiewicza krytyka systemu rozumowań Łukasiewicza dotyczy problematyki roli i miejsca definicji w logice. Ajdukiewicz, który był uczniem Łukasiewicza, uznawanego na całym świcie za geniusza logiki, nie wdawał się w naukowy spór ze swoim mistrzem. Korzystając z płaszcza krytyki pewnego fragmentu badań Łukasiewicza, wyraża jednak odmienne stanowisko wobec, jego zdaniem, błędnych sposobów definiowania przez Łukasiewicza terminów użytych w klasyfikacji rozumowań. Ajdukiewicz problematykę dotyczącą definicji uważał za bardzo ważną. W swoich pracach podkreśla, co zauważają współcześni badacze myśli Ajdukiewicza, że pewne aspekty teorii definicji wykraczają poza sformalizowane procedury definicyjne. Analiza jego poglądów świadczy o tym, że on sam aspirował do utworzenia nowej nauki o definicjach w logice. W krytyce, której się podejmuje wobec klasyfikacji rozumowań Jana Łukasiewicza, sam podkreśla, że dotyczy ona definicji, nie zaś procesu rozumowań. Zdaniem Ajdukiewicza definicje systemu logicznego muszą być sensowne i wyrażone w zdaniu danego języka logiki L, natomiast definicje Łukasiewicza prezentowane w klasyfikacji są sensu pozbawione oraz zawierają błąd ekwiwokacji. Fragmentaryczne ujęcie w krytyce problemu definiowania stanowi początek jego pogłębionych badań nad rozumieniem i rolą definicji w logice. Metoda badawcza: W artykule metodą analityczną wykazuje się odmienne podejścia logików do roli definicji w logice. Zestawienie poglądów Kazimierza Ajdukiewicza na temat klasyfikacji rozumowań z poglądami autora klasyfikacji – Jana Łukasiewicza wykazuje różnice w stanowiskach logików, co do metodologii systemów logicznych. W ten sposób prezentowane jest rzadko podnoszone w nauce i dydaktyce zdanie Ajdukiewicza, iż metodologia Łukasiewicza jest nieprawidłowa, gdyż utworzona została w oparciu o definicje opatrzone błędem ekwiwokacji. Zdaniem Ajdukiewicza Łukasiewicz, wbrew zasadom metodologii logiki klasycznej, nadał definicjom istniejącym nowe znaczenie, tworząc przez to nieprawidłowy system logiki. Wyniki: Problematyka definicji podejmowana jest często zarówno w nauce, jak i procesie dydaktycznym. Klasyfikacja rozumowań autorstwa Jana Łukasiewicza w dydaktyce podawana jest do dziś. Inaczej z jej krytyką autorstwa Kazimierza Ajdukiewicza, która jest podejmowana w literaturze niezwykle rzadko. Prezentowana w artykule analiza poglądów czołowych polskich logików wobec klasyfikacji rozumowań stanowi cenny wkład w rozwój tematyki o rozumowaniach w logice. Prezentowana w artykule analiza krytyki Ajdukiewicza wskazuje na nowe oblicze jego poglądów dotyczące sporu o definicje w logice. Ta nowa perspektywa może zaowocować rozszerzeniem badań dotyczących znaczenia definicji w logice dwu- i trójwartościowej.
    Źródło:
    Studia Prawno-Ekonomiczne; 2020, 115; 133-148
    0081-6841
    Pojawia się w:
    Studia Prawno-Ekonomiczne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Pojęcie dyplomacji dla nauki
    The concept of diplomacy for science
    Autorzy:
    Szkarłat, Monika
    Powiązania:
    https://bibliotekanauki.pl/articles/1871698.pdf
    Data publikacji:
    2020-03-31
    Wydawca:
    Wydawnictwo Adam Marszałek
    Tematy:
    dyplomacja naukowa
    dyplomacja dla nauki
    teoria poznania
    logika formalna
    science diplomacy
    diplomacy for science
    theory of cognition
    formal logic
    Opis:
    Celem artykułu jest próba stworzenia autorskiej propozycji pojęcia dyplomacji dla nauki i dostosowania siatki pojęciowej do zmieniającej się rzeczywistości międzynarodowej. Odwołując się do wytycznych teorii poznania i logiki formalnej w ujęciu T. Kotarbińskiego, zidentyfikowane będą komponenty treści i przedmiot pojęcia, takie jak podmioty inicjujące, adresaci, cel i instrumenty działań w ramach dyplomacji dla nauki.
    The aim of the article is an attempt to create an author’s proposal of the notion of diplomacy for science and to adapt the notional network to the changing international reality. Referring to the guidelines of the theory of cognition and formal logic in T. Kotarbiński’s view, the following will be identified: content components and the subject of the concept, such as initiators, addressees, purpose and instruments of action within the framework of diplomacy for science.
    Źródło:
    Athenaeum. Polskie Studia Politologiczne; 2020, 65; 138-155
    1505-2192
    Pojawia się w:
    Athenaeum. Polskie Studia Politologiczne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A methodology for rating and ranking hazards in maritime formal safety assessment using fuzzy logic
    Autorzy:
    Dourmas, N. G.
    Nikitakos, V. N.
    Lambrou, A. M.
    Powiązania:
    https://bibliotekanauki.pl/articles/2069600.pdf
    Data publikacji:
    2007
    Wydawca:
    Uniwersytet Morski w Gdyni. Polskie Towarzystwo Bezpieczeństwa i Niezawodności
    Tematy:
    decision making
    formal safety assessment
    hazard identification
    marine safety
    fuzzy logic
    Opis:
    Formal safety assessment of ships has attracted great attention over the last few years. This paper, following a brief review of the current status of marine safety assessment is focused on the hazards identification (HAZID) and prioritisation process. A multicriteria decision making framework, which is based on experts‟ estimation, is then proposed for hazards evaluation. Additionally in this paper many aspects of the evaluation framework are presented including the synthesis of evaluation teams, the assessment of the importance of criteria, the evaluation of the consequences of the alternative hazards and the final ranking of the hazards. The proposed methodology has the innovative feature of embodying techniques of fuzzy logic theory into the classical multicriteria decision analysis. The paper concludes by exploring the potentiality of the above methodology in providing a robust and flexible evaluation framework suitable to the characteristics of a hazard evaluation problem.
    Źródło:
    Journal of Polish Safety and Reliability Association; 2007, 1; 59--65
    2084-5316
    Pojawia się w:
    Journal of Polish Safety and Reliability Association
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Formalne związki między powinnością a dobrem. Rozważania na marginesie prac Henryka Elzenberga
    Formal Relations between Ought and Good: Some Reflections in the Margins of Henryk Elzenberg’s Works
    Autorzy:
    Drofiszyn, Marcin
    Powiązania:
    https://bibliotekanauki.pl/articles/2083453.pdf
    Data publikacji:
    2020-12-31
    Wydawca:
    Uniwersytet Warszawski. Wydział Filozofii
    Tematy:
    value and ought
    formal axiology
    deontic logic
    relative preference semantic
    Henryk Elzenberg
    Opis:
    The paper presents a relative preference semantics for multimodal logic of good and ought inspired by the axiological writings of Henryk Elzenberg. Its central concept is the act of preference between alternative possibilities performed by a metaempirical will, guided only by pure reasons. In semantics, the act of a metaempirical will is modeled using an orderly relation between possible worlds. Using this logic, I formalize some relationships between good and ought posited by Elzenberg.
    Źródło:
    Filozofia Nauki; 2020, 28, 4; 5-23
    1230-6894
    2657-5868
    Pojawia się w:
    Filozofia Nauki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Changing probabilistic beliefs in persuasion
    Zmiana probabilistycznych przekonań w perswazji
    Autorzy:
    Budzyńska, K.
    Kacprzak, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/341061.pdf
    Data publikacji:
    2010
    Wydawca:
    Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
    Tematy:
    perswazja
    przekonania
    ogika prawdopodobieństwa
    formalna weryfikacja
    logika prawdopodobieństwa
    persuasion
    beliefs
    probabilistic logic
    formal verification
    Opis:
    The aim of the paper is to extend our formal model of persuasion with an aspect of change of uncertainty interpreted probabilistically. The general goal of our research is to apply this model to design a logic and a software tool that allow for verification of persuasive multi-agent systems (MAS). To develop such a model, we analyze and then adopt the Probabilistic Dynamic Epistemic Logic introduced by B. Kooi. We show that the extensions proposed in this paper allow us to represent selected aspects of persuasion and apply the model in the resource re-allocation problem in multi-agent systems.
    Celem pracy jest rozszerzenie zaproponowanego przez nas formalnego modelu perswazji o aspekt zmiany niepewności przekonań agentów interpretowanych w teorii prawdopodobieństwa. Wzbogacony model jest podstawą do zdefiniowania logiki i zaprojektowania narzędzia, które umożliwia automatyczną weryfikację perswazyjnych systemów wieloagentowych. W celu realizacji tego zadania analizujemy i adaptujemy Probabilistyczną Dynamiczną Epistemiczną Logikę wprowadzoną przez B. Kooi. Zastosowanie zaproponowanego podejścia do analizowania wybranych aspektów perswazji omawiamy na przykładzie problemu alokacji zasobów w rozproszonych komputerowych systemach.
    Źródło:
    Zeszyty Naukowe Politechniki Białostockiej. Informatyka; 2010, 6; 23-39
    1644-0331
    Pojawia się w:
    Zeszyty Naukowe Politechniki Białostockiej. Informatyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Modelowanie dynamicznych zjawisk w planowaniu przestrzennym z wykorzystaniem ontologii formalnych
    Modeling of dynamic phenomena in spatial planning with the use of formal ontology
    Autorzy:
    Łukowicz, J.
    Iwaniak, A.
    Strzelecki, M.
    Kaczmarek, I.
    Powiązania:
    https://bibliotekanauki.pl/articles/345837.pdf
    Data publikacji:
    2014
    Wydawca:
    Polskie Towarzystwo Informacji Przestrzennej
    Tematy:
    ontologia
    modelowanie
    planowanie przestrzenne
    Description Logic
    ontologia formalna
    model czasoprzestrzenny
    ontology
    modeling
    spatial planning
    description logic
    formal ontology
    spatio-temporal model
    Opis:
    Zarówno gospodarka przestrzenna jak i planowanie przestrzenne maja charakter multidyscyplinarny oraz odnoszą się do dynamicznie zmieniającej się rzeczywistości. Decyzje projektowe oddziałują na spójność systemu środowiska przyrodniczego. Poprawa jakości zarządzania przestrzenią zależy od wypracowania lepszych metod planowania i przewidywania skutków przekształceń przestrzennych dla środowiska. Takie możliwości dają ontologie oparte na logice opisowej (Description Logic) i związanych z nim systemami wnioskowania. Ontologie mogą być wzbogacane o dodatkowe systemy formalne. Autorzy prezentują sposoby budowania ontologii dziedzinowych dla planowania przestrzennego uzupełnionych przez konstrukcje logiki temporalnej. Jako rezultat, analizy relacji przestrzennych będą rozszerzone o badanie relacji czasowych. Modele czasoprzestrzenne z konstrukcjami logiki temporalnej mogą być przedmiotem wnioskowania wykorzystującego tzw. reasonery (resoning engines). Czasoprzestrzenne reprezentacje są oferowane przez tzw. ontologie wyższego rzędu, w tym przypadku ontologie fundamentalne (formalne). Do tych ontologii można zaliczyć GFO, BFO, DOLCE, OCHRE i inne. Takie ontologie są użyteczne dla modelowania danych przestrzennych z uwzględnieniem ich dynamiki i zmian. Czynią one możliwe przewidywanie scenariuszy przekształceń przestrzennych i przewidywania przyszłego stanu zagospodarowania oraz środowiska.
    Spatial management and spatial planning both have a multidisciplinary nature and refer to dynamically changing reality. Design decisions can affect the integrity of the environmental system. Improvement of spatial management depends on better methods of planning and forecasting about the environmental effects of development change. Such approach is offered by ontologies, based on Description Logics (DL) and related to them inference systems. Ontologies can be enriched with additional logical systems. The authors present a way of building domain ontologies for spatial planning supplemented by structures of temporal logic. As a result, the analysis for exploring the topological relations between spatial objects will be extended to include temporal relationships. Spatiotemporal models with temporal logic structures could be a subject of inference process, performed by reasoner engines. Spatiotemporal representations are offered by so-called upper ontologies in this case group of fundamental ontologies. The set of such ontologies includes GFO, BFO, OCHRE and others. Such ontologies are useful for modeling of spatial data with focus on their dynamics of changes. They make possible a prediction of scenarios of expected spatial transformation and forecasting a future state of spatial development and environmental conditions.
    Źródło:
    Roczniki Geomatyki; 2014, 12, 1(63); 81-91
    1731-5522
    2449-8963
    Pojawia się w:
    Roczniki Geomatyki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    FSM encoding for BDD representations
    Autorzy:
    Gosti, W.
    Villa, T.
    Saldanha, A.
    Sangiovanni-Vincentelli, A. L.
    Powiązania:
    https://bibliotekanauki.pl/articles/911255.pdf
    Data publikacji:
    2007
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    binarny diagram decyzyjny
    kodowanie
    automat skończony
    synteza logiczna
    weryfikacja formalna
    binary decision diagram
    encoding
    finite state machine
    logic synthesis
    formal verification
    logic representation
    Opis:
    We address the problem of encoding the state variables of a finite state machine such that the BDD representing the next state function and the output function has the minimum number of nodes. We present an exact algorithm to solve this problem when only the present state variables are encoded. We provide results on MCNC benchmark circuits.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2007, 17, 1; 113-128
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On an episode in academic contacts of Jacek Hawranek and Jan Zygmunt with Professor Bogusław Wolniewicz
    O pewnym epizodzie w kontaktach naukowych Jacka Hawranka i Jana Zygmunta z Profesorem Bogusławem Wolniewiczem
    Autorzy:
    Zygmunt, Jan
    Powiązania:
    https://bibliotekanauki.pl/articles/2097360.pdf
    Data publikacji:
    2018
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    semilattice
    formal ontology of situations
    algebraic logic
    history of Polish logic
    Bogusław Wolniewicz
    półkrata
    formalna ontologia sytuacji
    logika algebraiczna
    historia logiki polskiej
    Opis:
    W eseju przedstawione zostały wybrane kontakty naukowe Jacka Hawranka i Jana Zygmunta z Profesorem Bogusławem Wolniewiczem w okresie od końca lat osiemdziesiątych XX w. do początku XXI w. Kontakty dotyczyły algebraicznych aspektów ontologii sytuacji, a od pewnego momentu – jednego tylko pytania sformułowanego w nocie A question about join-semilattices (Wolniewicz 1990). Esej streszcza dyskusję naukową między B. Wolniewiczem a J. Hawrankiem i J. Zygmuntem, w rezultacie której powstał artykuł Wokół pewnego zagadnienia z dziedziny półkrat górnych z jednością (Hawranek, Zygmunt 1993), zawierający próbę odpowiedzi na pytanie Wolniewicza. Artykuł Hawranka i Zygmunta jest niżej przedrukowany, a niniejszy esej jest też pomyślany jako wstęp historyczno-analityczny do jego lektury. Historia kontaktów: Wolniewicz – Hawranek & Zygmunt została ukazana za pomocą zachowanej korespondencji, która jest dość obficie cytowana. W listach Profesor Wolniewicz jawi się jako badacz-pasjonat, otwarty na dyskusję, gotowy do dzielenia się z innymi swoimi trudnościami i sukcesami badawczymi.
    Źródło:
    Przegląd Filozoficzny. Nowa Seria; 2018, 3; 149-162
    1230-1493
    Pojawia się w:
    Przegląd Filozoficzny. Nowa Seria
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Automatic risk control based on FSA methodology adaptation for safety assessment in intelligent buildings
    Autorzy:
    Mikulik, J.
    Zajdel, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/907658.pdf
    Data publikacji:
    2009
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    ocena bezpieczeństwa
    ryzyko
    logika rozmyta
    inteligentny budynek
    risk
    formal safety assessment
    fuzzy logic
    intelligent building
    Opis:
    The main area which Formal Safety Assessment (FSA) methodology was created for is maritime safety. Its model presents quantitative risk estimation and takes detailed information about accident characteristics into account. Nowadays, it is broadly used in shipping navigation around the world. It has already been shown that FSA can be widely used for the assessment of pilotage safety. On the basis of analysis and conclusion on the FSA approach, this paper attempts to show that the adaptation of this method to another area-risk evaluating in operating conditions of buildings-is possible and effective. It aims at building a mathematical model based on fuzzy logic risk assessment with different habitat factors included. The adopted approach lets us describe various situations and conditions that occur in creating and exploiting of buildings, allowing for automatic control of the risk connected to them.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2009, 19, 2; 317-326
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Reprezentacja przestrzeni stanów sterownika logicznego z wykorzystaniem kodowanych diagramów decyzyjnych
    Reconfigurable Logic Controller state space representation using encoded Binary Decision Diagrams
    Autorzy:
    Bubacz, P.
    Adamski, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/152669.pdf
    Data publikacji:
    2007
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    1st order nonstationary measurement system
    rekonfigurowane sterowniki logiczne
    kodowanie stanów
    synteza logiczna
    weryfikacja formalna
    Ordered Binary Decision Diagram
    Reconfugurable Logic Controller
    state encoding
    logic synthesis
    formal verification
    Opis:
    W pracy porównano znane z literatury metody zwartej reprezentacji przestrzeni stanów dla rekonfigurowanego sterownika logicznego. Przedstawiono zalety heurystycznego sposobu kodowania miejsc sieci Petriego, dzięki któremu uzyskuje się diagramy OBDD o znacznie mniejszej złożoności przydatne zarówno podczas analizy, jak i syntezy układowej algorytmu sterowania binarnego.
    In the paper some known methods for an effective representation of the state space in reconfigurable logic controller are compared. The advantages of heuristic method of Petri net place encoding, which is adapted for a compact encoding technique of Binary Decision Diagrams, are given.
    Źródło:
    Pomiary Automatyka Kontrola; 2007, R. 53, nr 5, 5; 24-26
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Formalna weryfikacja maszyny stanów z wykorzystaniem logiki temporalnej
    Formal verification of a state machine with use of temporal logic
    Autorzy:
    Grobelna, I.
    Powiązania:
    https://bibliotekanauki.pl/articles/154298.pdf
    Data publikacji:
    2009
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    algorytmiczne maszyny stanów ASM
    logika temporalna
    technika Model Checking
    algorithmic state machines ASM
    temporal logic
    formal verification of specification
    Model Checking technique
    Opis:
    Artykuł przedstawia koncepcję specyfikacji współbieżnego procesu sterowania cyfrowego za pośrednictwem diagramów algorytmicznych maszyn stanów ASM w języku aprobowanym przez profesjonalne narzędzie model checker. Specyfikacja może zostać następnie formalnie zweryfikowana pod kątem wymagań stawianych projektowanemu systemowi. Lista wymagań tworzona jest przy wykorzystaniu liniowej logiki temporalnej LTL. Formalna weryfikacja Model Checking polega na sprawdzeniu, czy model systemu spełnia stawiane mu wymagania. W przypadku wykrycia niespóności generowany jest odpowiedni kontrprzykład.
    The paper presents the formal specification method of concurrent control processes in form of algorithmic state machines ASM [5] in a language accepted by a professional model checker tool NuSMV. Basing on linear temporal logic LTL [7, 8, 9, 16] a requirement list (Fig. 6) for the system model is prepared. Formal verification Model Checking [17, 19] consists in comparison of the model description and the requirements list. If some requirements cannot be fulfilled, the appropriate counterexample is generated (Fig. 7), which allows localizing the error source. The ASM diagrams (Fig. 4) are fully determined, but they do not support modularity, that is why they are not well suited for specification of concurrent controlling processes. The paper includes a short introduction to the theory of algorithmic state machines ASM (Section 2), temporal logic (Section 3) and model checking technique (Section 4). The proposed solution is presented on an example (Section 5) of the process of controlling (partially concurrent) movements of two vehicles (Fig. 2). The formal verification method of the ASM diagrams with its advantages and disadvantages as well as the general conclusions are given at the end of the paper (Section 6).
    Źródło:
    Pomiary Automatyka Kontrola; 2009, R. 55, nr 7, 7; 457-460
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Petri nets and activity diagrams in logic controller specification – transformation and verification
    Sieci petriego i diagramy aktywności w specyfikacji sterowników logicznych – transformacja i weryfikacja
    Autorzy:
    Grobelna, I.
    Grobelny, M.
    Adamski, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/389795.pdf
    Data publikacji:
    2010
    Wydawca:
    Politechnika Bydgoska im. Jana i Jędrzeja Śniadeckich. Wydawnictwo PB
    Tematy:
    formal verification
    logic controller
    model checking
    Petri nets
    UML Activity
    Diagrams
    formalna weryfikacja
    sterownik logiczny
    weryfikacja modelowa
    sieci Petriego
    diagramy aktywności UML
    Opis:
    The paper presents formal verification method of logic controller specification taking into account user-specified properties. Logic controller specification may be expressed as Petri net or UML 2.0 Activity Diagram. Activity Diagrams seem to be more user-friendly and easy-understanding that Petri nets. Specification in form of activity diagram may afterwards be transformed into Petri net, which may then be formally verified and used to automatically generate implementation (code). A new transformation method dedicated for event-driven systems is proposed. Verification process is executed automatically by the NuSMV model checker tool. Model description based on specification and properties list is being built. Model description derived from Petri net is presented in RTL-level and easy to synthesize as reconfigurable logic controller or PLC. Properties are defined using temporal logic. In model checking process, verification tool checks whether requirements are satisfied in attached system model. If this is not the case, appropriate counterexamples are generated.
    Praca prezentuje metodę formalnej weryfikacji specyfikacji sterownika logicznego uwzględniającą właściwości podane przez użytkownika. Specyfikacja sterownika logicznego może być przedstawiona m.in. w postaci sieci Petriego lub diagramu aktywności języka UML. Diagramy aktywności wydają się być bardziej przyjazne i zrozumiałe dla użytkownika niż sieci Petriego. Specyfikacja w postaci diagramu aktywności może zostać przekształcona do sieci Petriego, która następnie może być formalnie zweryfikowana i wykorzystana do automatycznej generacji implementacji (kodu). Węzły diagramu aktywności konsekwentnie interpretowane są jako tranzycje sieci Petriego, w odróżnieniu od klasycznego podejścia (w starszych wersjach UML) gdzie odwzorowywało się je jako miejsca sieci Petriego. Proces weryfikacji wykonywany jest automatycznie przez narzędzia weryfikacji modelowej. Tworzony jest opis modelu bazujący na specyfikacji oraz lista wymagań. Nowatorskim podejściem jest przedstawienie sieci Petriego na poziomie RTL w taki sposób, że łatwo jest przeprowadzić syntezę logiczną sieci w postaci współbieżnego rekonfigurowalnego sterownika logicznego lub sterownika PLC bez konieczności przekształcania modelu. Wymagania określone są przy użyciu logiki temporalnej. W procesie weryfikacji modelowej narzędzie weryfikujące NuSMV sprawdza, czy model systemu spełnia stawiane mu wymagania. Jeżeli tak nie jest, generowany jest odpowiedni kontrprzykład.
    Źródło:
    Zeszyty Naukowe. Telekomunikacja i Elektronika / Uniwersytet Technologiczno-Przyrodniczy w Bydgoszczy; 2010, 13; 79-91
    1899-0088
    Pojawia się w:
    Zeszyty Naukowe. Telekomunikacja i Elektronika / Uniwersytet Technologiczno-Przyrodniczy w Bydgoszczy
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    O formalnej ontologii bytu i czasu
    On the Formal Ontology of Being and Time
    Autorzy:
    BIŁAT, Andrzej
    Powiązania:
    https://bibliotekanauki.pl/articles/488443.pdf
    Data publikacji:
    2018-03-26
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    pojęcia ontologiczne
    ontologia logiczna
    eksplikacyjna ontologia formalna
    empiryczna ontologia formalna
    monadyczna logika drugiego rzędu
    czas wypełniony
    świat realny
    ontological notions
    logical ontology
    explicative formal ontology
    empirical formal ontology
    monadic second order logic
    filled time
    real world
    Opis:
    W artykule pojęcie teorii ontologicznej zostało zdefiniowane zgodnie z ogólnymi zasadami wywodzącymi się z metaontologii Arystotelesa. Sformułowano problem struktury ontologii: Jakie są główne metodologiczne typy zaksjomatyzowanych teorii ontologicznych i jakie podstawowe relacje zachodzą między nimi? Zauważono, że zarówno w tradycyjnej, jak i we współczesnej filozofii bytu da się wyróżnić trzy odmienne idee formalnej ontologii: logicznej, eksplikacyjnej i empirycznej. Cel pracy jest dwojaki: 1) wskazanie jednolitej koncepcji formalnej ontologii uwzględniającej owe idee i dostarczającej rozwiązania problemu struktury ontologii oraz 2) zastosowanie wskazanej koncepcji w konstrukcji podstawowych przykładów teorii bytu i czasu. Artykuł składa się z następujących sekcji: Wprowadzenie. 1.1. Trzy koncepcje ontologii formalnej. 1.2. O ontologii logicznej. 1.3. O eksplikacyjnej ontologii formalnej. 2.1. Monadyczna teoria identyczności i należenia. 2.2. Eksplikacyjna teoria czasu wypełnionego. 2.3. W stronę empirycznej ontologii świata realnego. Zakończenie.
    In the paper the concept of ontological theory is defined according to the general principles of Aristotelian metaontology. The following question concerning the structure of ontology is formulated: What are the main methodological types of axiomatic ontological theories and what basic relationships occur between them? It is noted that there are three distinct ideas of formal ontology in both traditional and analytic philosophy: logical, explicative, and empirical ontology. The aim of the paper is twofold: 1) to indicate a homogeneous concept of formal ontology that takes into account these ideas and provides a solution to the question of the structure of ontology, and 2) to use this concept for the construction of basic examples of theories of being and time. The paper consists of the following sections: Introduction. 1.1 Three concepts of formal ontology. 1.2 On logical ontology. 1.3 On explicative formal ontology. 2.1 Monadic second order theory of identity and membership. 2.2 Explicative theory of filled time. 2.3 Towards the empirical ontology of real world. Conclusion
    Źródło:
    Roczniki Filozoficzne; 2018, 66, 1; 5-32
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    From workflow design patterns to logical specifications
    Odwzorowanie wzorców projektowych w specyfikację logiczną systemu
    Autorzy:
    Klimek, R.
    Powiązania:
    https://bibliotekanauki.pl/articles/282120.pdf
    Data publikacji:
    2013
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    formal verification
    temporal logic
    deduction
    semantic tableaux
    design patterns
    generating logical specification
    weryfikacja formalna
    logika temporalna
    dedukcja
    tablice semantyczne
    wzorce projektowe
    generowanie specyfikacji logicznej
    Opis:
    This work concerns issues related to automatic generation of logical specifications. Logical specifications can be extracted directly from developed software models. Received specification can be used in the process of a system formal verification using a deductive approach. The generated logical specification is just a set of temporal logie fonnulas as well as verified system properties are expressed in temporal logie. The extraction process is based on the idea of organizing the whole analyzed model as a set of certain design patterns of control flows. A method of automatic transformation of workflow design patterns to temporal logie formulas is proposed. These formulas constitute a logical specification and may be the first step towards a formal verification of system correctness using any method of the deduction-based reasoning. Applying the presented concepts enables bridging the gap between naturalness and intuitive of the deductive inference and the difficulty of its practical application in the case of software models.
    Praca dotyczy zagadnień związanych z automatyczną generacją i modelowaniem specyfikacji logicznej. Specyfikacja logiczna może być wygenerowana bezpośrednio z modeli oprogramowania. Tak uzyskana specyfikacja następnie może być wykorzystana w procesie formalnej weryfikacji przy wykorzystaniu podejścia dedukcyjnego. Wygenerowana specyfikacja reprezentowana jest przez zbiór formuł logiki temporalnej, również weryfikowane własności systemu mogą i powinny być wyrażone w logice temporalnej. Proces ekstrakcji opiera się na założeniu, aby cały analizowany model oprogramowania został zbudowany w oparciu o przyjęte, dowolne, ale najlepsze dla danej klasy zastosowań, wzorce projektowe. Została zaproponowana metoda automatycznej translacji wzorców projektowych (przepływów) do postaci formuł logiki temporalnej. Formuły te składają się na logiczną specyfikację i mogą stanowić pierwszy krok w kierunku formalnej weryfikacji poprawności systemów z wykorzystaniem dowolnej metody wnioskowania dedukcyjnego. Zastosowanie przedstawionych koncepcji umożliwia połączenie naturalności i intuicyjności samego wnioskowania logicznego oraz praktycznego zastosowania tych metod w przypadku modeli oprogramowania.
    Źródło:
    Automatyka / Automatics; 2013, 17, 1; 59-63
    1429-3447
    2353-0952
    Pojawia się w:
    Automatyka / Automatics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Formal analysis of use case diagrams
    Formalna analiza diagramów przypadków użycia
    Autorzy:
    Klimek, R.
    Szwed, P.
    Powiązania:
    https://bibliotekanauki.pl/articles/305621.pdf
    Data publikacji:
    2010
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    UML
    przypadek użycia
    model formalny
    weryfikacja
    weryfikacja modelowa
    logika temporalna
    metoda tablic semantycznych
    use case
    formal model
    verification
    model checking
    temporal logic
    semantic tableau
    Opis:
    Use case diagrams play an important role in modeling with UML. Careful modeling is crucial in obtaining a correct and efficient system architecture. The paper refers to the formal analysis of the use case diagrams. A formal model of use cases is proposed and its construction for typical relationships between use cases is described. Two methods of formal analysis and verification are presented. The first one based on a states' exploration represents a model checking approach. The second one refers to the symbolic reasoning using formal methods of temporal logic. Simple but representative example of the use case scenario verification is discussed.
    Diagramy przypadków użycia odgrywają znaczącą rolę w modelowaniu systemów z wykorzystaniem UML. Staranne i dokładne modelowanie ma zasadnicze znaczenie w postępowaniu umożliwiającym uzyskanie poprawnej i efektywnej architektury systemu. Artykuł odnosi się do formalnej analizy diagramów przypadków użycia. Został zaproponowany model formalny przypadku użycia, a także opisano odpowiednie konstrukcje dla relacji występujących pomiędzy przypadkami użycia. Zostały przedstawione dwie formalne metody ich analizy i weryfikacji. Pierwsza oparta jest na eksploracji stanów i reprezentuje podejście nazwane weryfikacją modelową. Druga odwołuje się do wnioskowania symbolicznego z wykorzystaniem logiki temporalnej. Został pokazany prosty i reprezentatywny przykład weryfikacji pewnego scenariusza przypadku użycia.
    Źródło:
    Computer Science; 2010, 11; 115-131
    1508-2806
    2300-7036
    Pojawia się w:
    Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Wyznaczanie SM - pokrycia bezpiecznej sieci Petriego metodą komputerowego wnioskowania
    Calculation of State Machine cover of safe Petri net by means of computer based reasoning
    Autorzy:
    Tkacz, J.
    Adamski, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/153764.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    przestrzeń stanów lokalnych i globalnych sieci Petriego
    transwersale
    podsieci automatowe SM
    logika sekwentów Gentzena
    Petri net state space
    transversal
    formal reasoning
    State Machine subnets
    configurable logic controllers
    Opis:
    W artykule przedstawiono nowy sposób pokrywania bezpiecznej sieci Petriego minimalną liczbą podsieci automatowych. Metoda symboliczna polega na wczesnej selekcji odpowiednich transwersali, stopniowo wyznaczanych dla rodziny maksymalnych podzbiorów współbieżnych miejsc sieci. W przypadku bezpiecznej sterującej sieci Petriego, miejsca traktowane są jako stany lokalne, natomiast ich dopuszczalne konfiguracje określają jej stany globalne. Transwersale wyróżniają podzbiory miejsc niewspółbieżnych, przypisanych do odpowiednich SM-podsieci. Komputerowe wnioskowanie odbywa się w monotonicznym rachunku sekwentów Gentzena. Rezultaty wykorzystywane są podczas syntezy cyfrowych, konfigurowanych sterowników logicznych z zastosowaniem komercjalnego oprogramowania i języków opisu sprzętu.
    The paper presents a way of finding a suitable Petri net cover by means of a minimal number of maximal State Machine subnets (SM-components). A new symbolic method of Petri net parallel decomposition is based on early selection of proper minimal transversals, taken from family of all global Petri net states. Global states are given in advance as maximal subsets, formed from mutually concurrent places. They can be found as reachable global states of Petri net. During digital design of a logic controller, the places of the safe Petri net are treated as local internal states of Concurrent State Machine, implemented in a reconfigurable logic device (FPGA). The minimal number of selected transversals, which characterizes subsets of sequentially related places, is assigned to separate State Machine subnets. The computer based reasoning is searching a logic expression describing transversals in Gentzen sequent logic. The obtained decomposition (or cover) is used for state encoding of configurable array based embedded logic controllers, implemented as microsystems.
    Źródło:
    Pomiary Automatyka Kontrola; 2011, R. 57, nr 11, 11; 1397-1400
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Inhibitor and enabling arcs in logic controller design
    Łuki zakazujące i zezwalające w projektowaniu sterowników logicznych
    Autorzy:
    Grobelna, I.
    Grobelny, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/153449.pdf
    Data publikacji:
    2012
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    specyfikacja sterownika logicznego
    formalna weryfikacja
    łuki zakazujące i zezwalające sieci Petriego
    diagramy aktywności języka UML
    logic controller specification
    formal verification
    Petri nets inhibitor and enabling arcs
    UML activity diagrams
    Opis:
    The paper presents a novel approach to rule-based logic controller specification and its verification. The proposed abstract model is suited for formal verification (using model checking technique) as well as for logic synthesis (using hardware description language VHDL). Special focus is put on Interpreted Petri Nets with inhibitor and enabling arcs, their realization in rule-based model and, additionally, their interpretation in another logic controller specification technique - UML Activity Diagrams (version 2.x).
    Artykuł przedstawia nowatorskie podejście do regułowej specyfikacji sterownika logicznego, wraz z jej weryfikacją (walidacją). Proponowany abstrakcyjny model logiczny jest dogodny zarówno do formalnej weryfikacji modelowej, jak również do syntezy logicznej (język opisu sprzętu VHDL). Szczególną uwagę poświęcono łukom zakazującym i zezwalającym interpretowanych sieci Petriego. Po krótkim wprowadzeniu do omawianej tematyki (rozdział 2), przedstawiono przykład interpretowanej sieci Petriego z łukami zakazującymi i zezwalającymi (rys. 1). Podano sposób ich realizacji w abstrakcyjnym modelu logicznym (rozdział 3, schemat kompletnego proponowanego systemu na rys. 2 oraz przykład regułowego modelu sterownika logicznego na rys. 3). Zaproponowano interpretację łuków zakazujących i zezwalających sieci Petriego w innej postaci specyfikacji zachowania sterownika logicznego (rozdział 4) - diagramach aktywności języka UML (w wersji 2.x). Ze względu na bezstanowość diagramów aktywności, nie jest możliwe bezpośrednie odwzorowanie rozpatrywanych łuków. W artykule zaproponowano dwa rozwiązania - opierające się na wprowadzeniu dodatkowego sygnału (rys. 4a) oraz alternatywne - bazujące na etykietowaniu przepływów (rys. 4b). Przedstawiono sposób formalnej weryfikacji tak przygotowanej specyfikacji regułowej oraz jej syntezy logicznej (rozdział 5). Publikacja kończy się podsumowaniem oraz wnioskami (rozdział 6)
    Źródło:
    Pomiary Automatyka Kontrola; 2012, R. 58, nr 6, 6; 510-513
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Towards leibnizian possibility. Formal frame of modal theory of individual concepts
    Autorzy:
    Świętorzecka, Kordula
    Powiązania:
    https://bibliotekanauki.pl/articles/430896.pdf
    Data publikacji:
    2013
    Wydawca:
    Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
    Tematy:
    formal ontology
    Leibniz Gottfried Wilhelm
    theory of concepts
    possible worlds semantics
    modal free logic
    ontologia formalna
    Leibniz Godfryd Wilhelm
    teoria pojęć
    semantyka światów możliwych
    modalna logika wolna
    Opis:
    In the presented analyses we propose a formal complement to a certain version of the semantics of possible worlds inspired by Leibniz’s ideas and provide an adequate logic of it. As the starting point we take the approach of Benson Mates (Leibniz on possible worlds). Mates refers to Leibniz’ philosophy, but also uses tools of contemporary semantics of possible worlds and elaborates on an original conception of predication due to which possible worlds can be identified with collections of certain concepts, and not individuals. We complete a fragmentary description given by Mates in order to analyze if his conception allows for the establishment of this specific idea of a possible world. Our first step is to define a notion of the individual concept and describe possible world semantics in which possible worlds consist of individual concepts of compossible individuals (s-worlds). Our second step is to choose some version of modal free logic with the identity (S5MFLID), which is complete in our reformulation of Mates’ semantics. The connections between standard interpretation of S5MFLID and semantics inspired by Mates show that our logic does not distinguish s-worlds from i-worlds – counterparts of s-worlds that are collections of individuals.
    Źródło:
    Studia Philosophiae Christianae; 2013, 49, 3; 71-84
    0585-5470
    Pojawia się w:
    Studia Philosophiae Christianae
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Specyfikacja sterowników cyfrowych zorientowana na niezawodność
    Quality oriented specification of logic controllers
    Autorzy:
    Doligalski, M.
    Adamski, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/154557.pdf
    Data publikacji:
    2010
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    systemy wbudowane
    Rekonfigurowalne Sterowniki Logiczne
    Diagramy Maszyny Stanów UML
    sieci Petriego
    diagramy SFC
    embedded systems
    reconfigurable logic controller
    UML state machine diagram
    Petri net
    sequential function chart
    quality-driven design
    formal verification
    Opis:
    W artykule przedstawiono wdrażaną metodę projektowania rekonfigurowalnych sterowników logicznych, ukierunkowaną na jakość behawioralnej specyfikacji, a tym samym niezawodność pracy. Zamierzone funkcjonowanie sterownika jest opisane z wykorzystaniem równocześnie dwóch dualnych języków graficznych: diagramu maszyny stanów UML oraz komplementarnej sieci Petriego. Synergia spowodowana dwoma wzajemnie się uzupełniającymi podejściami do behawioralnego opisu tego samego sterownika daje szansę na otrzymanie uwiarygodnionej specyfikacji już we wstępnej fazie projektowania.
    In the paper quality oriented approach to the design of digital embedded reconfigurable controllers is presented. The behaviour of a logic controller is described by means of dual related graphical languages: UML State machine diagram and Petri Net graph. The first one is well accepted among designers from the electronic industry, the second one among control engineers taking the advantage from similarities between Petri nets and Sequential Function Charts (SFC). The synergy of the view from two sides into the same project gives a chance to obtain validated specification at the design process beginning. It is shown in the second paragraph. Comparison of elementary models (Tab. 1) and design process with use of the dual specification (Fig. 1) are also presented. The third paragraph deals with mutual conversion of the elementary elements (Tab. 2) and shows their subsets in the form of class diagrams (Figs. 2 and 3). An example of the logic controller dual specification (Figs. 4 and 5) is given in the fourth paragraph. The practical use of dual specification is contingent upon implementation of tools for performing the conversion process in an automatic way.
    Źródło:
    Pomiary Automatyka Kontrola; 2010, R. 56, nr 7, 7; 671-674
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A system for deduction-based formal verification of workflow-oriented software models
    Autorzy:
    Klimek, R.
    Powiązania:
    https://bibliotekanauki.pl/articles/330429.pdf
    Data publikacji:
    2014
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    formal verification
    deductive reasoning
    temporal logic
    semantic tableaux
    workflow pattern
    logical primitive
    generating logical specification
    business model
    BPMN
    formalna weryfikacja
    wnioskowanie dedukcyjne
    logika temporalna
    tablica semantyczna
    wzorzec przepływu pracy
    generowanie specyfikacji logicznej
    model biznesowy
    Opis:
    The work concerns formal verification of workflow-oriented software models using the deductive approach. The formal correctness of a model’s behaviour is considered. Manually building logical specifications, which are regarded as a set of temporal logic formulas, seems to be a significant obstacle for an inexperienced user when applying the deductive approach. A system, along with its architecture, for deduction-based verification of workflow-oriented models is proposed. The process inference is based on the semantic tableaux method, which has some advantages when compared with traditional deduction strategies. The algorithm for automatic generation of logical specifications is proposed. The generation procedure is based on predefined workflow patterns for BPMN, which is a standard and dominant notation for the modeling of business processes. The main idea behind the approach is to consider patterns, defined in terms of temporal logic, as a kind of (logical) primitives which enable the transformation of models to temporal logic formulas constituting a logical specification. Automation of the generation process is crucial for bridging the gap between the intuitiveness of deductive reasoning and the difficulty of its practical application when logical specifications are built manually. This approach has gone some way towards supporting, hopefully enhancing, our understanding of deduction-based formal verification of workflow-oriented models.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2014, 24, 4; 941-956
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-31 z 31

      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