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-15 z 31
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ł:
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ł:
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ł:
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ł:
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ł:
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ł:
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ł:
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ł:
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ł:
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ł:
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ł:
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ł:
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ł
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ł
Wyświetlanie 1-15 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