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ę "logical analysis" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-11 z 11
    Tytuł:
    Od analizy do morfologii. Przyczynek do rozważań nad filozoficzną metodą Ludwiga Wittgensteina
    On Ludwig Wittgenstein’ Philosophical Method — from Analysis to Morphology
    Autorzy:
    Piekarski, Michał
    Powiązania:
    https://bibliotekanauki.pl/articles/31341596.pdf
    Data publikacji:
    2013
    Wydawca:
    Polska Akademia Nauk. Instytut Filozofii i Socjologii PAN
    Tematy:
    Wittgenstein
    philosophical grammar
    morphology
    logical analysis
    phenomenology
    philosophy of language
    Opis:
    W artykule dyskutowany jest problem jedności filozofii Wittgensteina. Wykazuje się, że Wittgenstein stosuje dwie metody badań. Modyfikacje jego filozofii są skorelowane z modyfikacjami jego metody myślenia i dociekania. W Tractatus logicophilosophicus jedyną poprawną metodą jest logiczna metoda analizy zdań. We wczesnych latach trzydziestych przekształca on swoją filozofię w fenomenologiczny opis doświadczenia, a za jej cel uznaje konstrukcję języka fenomenologicznego. Po 1933 roku Wittgenstein rozpoznał gramatyczny wymiar języka, i utworzył narzędzia analizy gramatycznej. Wprowadził pojęcia gier językowych i form życia. Jego filozofia stała się morfologią i opisem ludzkiej praktyki językowej.
    The article discusses the problem of the unity of Wittgenstein’s philosophy. The author suggests that Wittgenstein uses different methods of inquiring. The modifications of his philosophy are correlated with modifications of his method of thinking and investigations. In Tractatus logico-philosophicus the only correct philosophical method is that of logical analysis of sentences. In early 30s his philosophy becomes a phenomenological description of experience. The task is to construct phenomenological language. After 1933 Wittgenstein recognizes the grammatical dimension of language, and creates tools of grammatical analysis. He introduces concepts of language-games and forms of life. His philosophy becomes the morphology and description of human linguistic practice.
    Źródło:
    Filozofia i Nauka; 2013, 1; 235-244
    2300-4711
    2545-1936
    Pojawia się w:
    Filozofia i Nauka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Kategoria filozofii analitycznej. Uwagi o kształtowaniu się terminu
    The Category of Analytic Philosophy. Remarks About the Development of the Term
    Autorzy:
    Szubka, Tadeusz
    Powiązania:
    https://bibliotekanauki.pl/articles/2015628.pdf
    Data publikacji:
    2004
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    filozofia analityczna
    filozofia spekulatywna
    analiza logiczna
    naturalizm
    analytic philosophy
    speculative philosophy
    logical analysis
    naturalism
    Opis:
    The paper gives an account of the origins of the term „analytic philosophy”. The term appeared in the paper Impressions and Appraisals of Analytic Philosophy in Europe by Ernest Nagel, published in 1936, and was subsequently employed by G. Bergmann, H. H. Price, and especially A. Pap. It has both descriptive and normative uses. In its descriptive use it refers to a certain movement in contemporary philosophy. In its normative use it stands for a proper way of doing philosophy, that is the way which provides us with carefully justified conclusions in clear language. Unfortunately, these two different uses are often conflated.
    Źródło:
    Roczniki Filozoficzne; 2004, 52, 2
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Uwagi o pojęciu przyczynowości u Jana Łukasiewicza
    Remarks on the Jan Łukasiewicz’s concept of causality
    Autorzy:
    Wolak, Zbigniew
    Powiązania:
    https://bibliotekanauki.pl/articles/437341.pdf
    Data publikacji:
    2016
    Wydawca:
    Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie. Instytut Filozofii i Socjologii
    Tematy:
    logical analysis; necessity; induction; implication; the paradox of causality;, irreversibility; post hoc and propter hoc
    Opis:
    Jan Łukasiewicz, a prominent Polish logician and philosopher, dealt with the scientific analysis of the concept of cause using logic. He wanted first and foremost to construct a definition, which reconciles the irreversibility of causal relationship to the exclusion of time sequence. In this article, I show that his attempts led to many contradictions, paradoxes and inconsistencies between Łukasiewicz’s definitions and commonly recognized examples of causality, even those given by the author himself. First, I present the semantic and formal aspects of the definition proposed by him, and then I analyze examples, most of them proposed by the author. The main charges against his concept of causality are: the ambiguity of the concept of necessity; exclusion “for reasons of terminological” some causal phenomena from the range specified by the definition; paradoxes such as: the existence of the world is the cause of the existence of God; baseless demand, different subjects, and different features for cause and effect; disregard of the defnitive difference between post hoc and propter hoc; unjustified requirement of affirmative statements expressing a possession of attributes. The critique presented in this article is incomplete, but its function is to indicate both the value of logical analysis of philosophical concepts, and the dificulties of which such an analysis can entangle. Such an analysis can sometimes complete the process of defining certain concepts, but more often it provides an opportunity for further discussion and a better overall understanding.
    Źródło:
    ARGUMENT: Biannual Philosophical Journal; 2016, 6, 2; 413-428
    2083-6635
    2084-1043
    Pojawia się w:
    ARGUMENT: Biannual Philosophical Journal
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Wnioskowanie logiczne jako uzasadnienie w akcie wiary
    A Logical Argument as a Justification in the Act of Faith
    Autorzy:
    Krzos, Bartłomiej
    Powiązania:
    https://bibliotekanauki.pl/articles/31233930.pdf
    Data publikacji:
    2011
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    wiara i rozum
    akt wiary
    wnioskowanie logiczne
    analiza logiczna
    uzasadnienie przekonań religijnych
    faith and reason
    act of faith
    logical argument
    logical analysis
    justification of religious beliefs
    Opis:
    Reasoning is one of the most important activities of intellect. Reasoning itself can be also a justification of human beliefs. It is connected one to another with process of acteptation of propositions as true ones. Thus it plays a role both in sciences and common thinking as well. That is why a justification is also needed as a support in domain of faith and of religious knowledge. The logical analysis of single act of faith is the content of this paper which main purpose is to point at the premisses which reasonelbe human intellect can accept revealed propositions as true ones with. To attain our delibarate purposes we present in turn two propositions from Holy Gospel according to Mark 2, 5. 10. Next, we are to reconstruct the logical arguments which brings to us demanded propositions as their conclusions, appearing as results of process based on implication. Next we are to examine the truth value of obtained premisses to show the rights which allow us to accept the revealed propositions which we are thinking about. In the same time we touch another topic. It is all about free human will and its decision which helps us to justify the propositions coming from Divine Revelation. In first part of this paper we find out something about reasoning in act of faith and we look closer on three concepts of reasonable faith. In second part we are going to lead an argument founded on two phrases from st. Mark's Gospel. By examining the argument step by step we will precise a way which revealed proposition is accepted on. In third part we figure out a few general conclusions about human free will which decision takes finally place in act of faith. An act of free will doesn't belong to human's intellectual activity so that it can be brought about by some influence from „outside”. During logical analysis of reasoning present in act of faith, we came up against moment for act of will. The act of will can be caused by the testimony of community of faith which The Revelation is bequeathed in. However obviously is that non every act of faith can be adequately translated into logical language but reconstruction and analysis put into practice wherever it could be applied, help us to understand complexity of act of faith and plurality of factors which it is built of. Even that reasonning is to be only one of them we need it as reasonable beeings and even more, we must angage our reason in our faith as far and deeply as it is possible.
    Źródło:
    Roczniki Teologii Dogmatycznej; 2011, 3; 163-185
    2080-6345
    Pojawia się w:
    Roczniki Teologii Dogmatycznej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Umiarkowanie i jego modele
    Autorzy:
    Trzcieniecka-Schneider, Irena
    Powiązania:
    https://bibliotekanauki.pl/articles/426733.pdf
    Data publikacji:
    2017
    Wydawca:
    Uniwersytet Papieski Jana Pawła II w Krakowie
    Tematy:
    Aristotelian ethics
    Epicurean ethics
    golden mean
    temperance
    conceptual analysis
    logical analysis
    formal models
    etyka Arystotelesa
    etyka Epikura
    złoty środek
    umiarkowanie
    analiza pojęciowa
    analiza logiczna
    model formalny
    Opis:
    Temperance is one of the four cardinal virtues which were first formulated by Plato. Today the notion of temperance has a central position in many ethical systems, especially in ecophilosophy (environmental philosophy). Temperance, involwing balance and moderation, may give resolution to many contemporary human problems. The attempt of analysis of this concept with simple formal means can make clear some hidden assumptions and the structure of the concept of temperance. The analised concept includes both – a decision (a choice) and an action/behaviour as an effect of the decision. First model is based on Aristotle’s theory of golden mean presented in his Nicomachean Ethics. The attempt of reconstruction Aristotle’s idea using mathematical notion of weighted mean shows that the concept of temperance is strongly restricted to the cultural background. Therefore in extremal cases the universal concept of temperance may not exist.Second model given by Epicurus is based on the notion of consequence. It concerns pleasure and pain only, but temperance is just recommended in using pleasures. The set of temperant decisions is built recurently. A – the set of pleasure – is modified step by step by consequence CR(A) where R – set of rules – includes modus ponens, law of identity and some simple laws of everyday provenience. U is the set of temperant choices in Epicurean sense iff  ∀p ∈ P, ~(p ∈ CR (U)) where P – set of pain.
    Umiarkowanie jest jedną z czterech cnót kardynalnych, pierwotnie podanych przez Platona. Obecnie pojęcie umiarkowania zajmuje kluczową pozycję w wielu systemach etycznych, w tym w ekofilozofii. Umiarkowanie zakłada zachowanie właściwej równowagi, potrzebnej przy dokonywaniu wyborów życiowych. Próba analizy tego pojęcia przy pomocy prostych środków formalnych pozwala ujawnić ukryte założenia, a także jego strukturę. W pojęciu umiarkowania mieści się zarówno decyzja (wybór), jak i działanie bądź zachowanie jako efekt podjętej decyzji. Pierwszy model oparty jest na koncepcji Arystotelesa i jego „złotego środka” zawartej w Etyce nikomachejskiej. Próba rekonstrukcji koncepcji Arystotelesa pokazuje, że pojęcie umiarkowania w tym ujęciu jest silnie zrelatywizowane do kręgu kulturowego i, co wydaje się zaskakujące, w skrajnych przypadkach jego określenie może okazać się niemożliwe.Drugi model, podany przez Epikura, jest oparty na pojęciu konsekwencji logicznej. Wprawdzie dotyczy jedynie przyjemności i przykrości, ale umiarkowanie najczęściej zalecane jest właśnie w odniesieniu do rzeczy przyjemnych. Zbiór decyzji umiarkowanych jest budowany rekurencyjnie. A – zbiór przyjemności – jest modyfikowany krok po kroku poprzez konsekwencje CR(A), gdzie R jest zbiorem reguł zawierającym prócz reguły modus ponens oraz reguły tożsamości proste, najczęściej nieformalne, reguły działania/wyboru pochodzące z codziennego doświadczenia. Zbiór U jest zbiorem wyborów umiarkowanych w sensie Epikura wtedy i tylko wtedy, gdy dla dowolnego p należącego do zbioru przykrości, p nie należy do zbioru konsekwencji ∀p ∈ P, ~(p ∈ CR(U)).
    Źródło:
    Logos i Ethos; 2017, 45
    0867-8308
    Pojawia się w:
    Logos i Ethos
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Extensão e infinito em Hilbert: pela filosofia da matemática
    Autorzy:
    Borges de Meneses, Ramiro Délio
    Czarnecki, Paweł
    Powiązania:
    https://bibliotekanauki.pl/articles/2130398.pdf
    Data publikacji:
    2019
    Wydawca:
    Instytut Studiów Międzynarodowych i Edukacji Humanum
    Tematy:
    Continuity
    Infinite
    Hilbert
    Cantor
    Masthematical Analysis
    and logical foundations
    Opis:
    According to Hilbert the infinite and extension are a regular idea, and a very important role in mat- hematics plays, because there are new possibilities according to logic foundations and philosophical implications to the infinite languages, from mathematic to philosophy by the Hilbert’s formalism.
    Źródło:
    Humanum. Międzynarodowe Studia Społeczno-Humanistyczne; 2019, 2 (33); 19-30
    1898-8431
    Pojawia się w:
    Humanum. Międzynarodowe Studia Społeczno-Humanistyczne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    O infinito segundo Hilbert: da análise matemática à filosofia
    Autorzy:
    Borges de Meneses, Ramiro Délio
    Powiązania:
    https://bibliotekanauki.pl/articles/2134346.pdf
    Data publikacji:
    2014
    Wydawca:
    Instytut Studiów Międzynarodowych i Edukacji Humanum
    Tematy:
    continuity
    infinite
    Hilbert
    Cantor
    mathematical analysis
    and logical foundations
    Opis:
    According to Hilbert the infinite is a regular idea, and a very important role in mathematics plays, because there are new possibilities according to logic foundations and philosophical implications to the infinite languages, from mathematic to philosophy by the Hilbert’s formalism.
    Źródło:
    Humanum. Międzynarodowe Studia Społeczno-Humanistyczne; 2014, 1(12); 5-18
    1898-8431
    Pojawia się w:
    Humanum. Międzynarodowe Studia Społeczno-Humanistyczne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Probabilistic Analysis of Marine Binary Technical Systems Represented by Boolean Models
    Analiza probabilistyczna morskich dwustanowych systemów technicznych reprezentowanych modelami boolowskimi
    Autorzy:
    Chybowski, L.
    Matuszak, Z.
    Powiązania:
    https://bibliotekanauki.pl/articles/359491.pdf
    Data publikacji:
    2006
    Wydawca:
    Akademia Morska w Szczecinie. Wydawnictwo AMSz
    Tematy:
    model logiczny
    operatory logiczne
    analiza drzewa niezdatności
    zasady logiki Boole'a
    EXPLO-SHIP 2006
    logical model
    logical operators
    fault tree analysis (FTA)
    Boolean rules
    Opis:
    Basic relations useful in the reduction of Boolean models of technical systems have been presented. Elementary logical gates used in a coherent fault tree and their probabilistic evaluations have been pointed out. A marine system (sea water cooling system) has been analyzed with the use of the presented methodology.
    Przedstawiono podstawowe zależności przydatne przy redukcji boolowskich modeli systemów technicznych. Wyszczególniono podstawowe operatory logiczne wykorzystywane w koherentnych drzewach niezdatności i ich analizie probabilistycznej. Przykładowy system okrętowy (system chłodzenia wodą morską) został przeanalizowany z użyciem przedstawionej metodologii.
    Źródło:
    Zeszyty Naukowe Akademii Morskiej w Szczecinie; 2006, 10 (82); 161-172
    1733-8670
    2392-0378
    Pojawia się w:
    Zeszyty Naukowe Akademii Morskiej w Szczecinie
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Application of logical differential calculus and binary decision diagramin importance analysis
    Zastosowanie logicznego rachunku różniczkowego oraz binarnego diagramu decyzyjnego w analizie ważności
    Autorzy:
    Zaitseva, E.
    Levashenko, V.
    Kostolny, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/301280.pdf
    Data publikacji:
    2015
    Wydawca:
    Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
    Tematy:
    decision diagram
    importance analysis
    logical differential calculus
    reliability engineering
    diagram decyzyjny
    analiza ważności
    logiczny rachunek różniczkowy
    inżynieria niezawodności
    Opis:
    System availability evaluation includes different aspects of system behaviour and one of them is the importance analysis. This analysis supposes the estimation of system component influence to system availability. There are different mathematical approaches to the development of this analysis. The structure function based approach is one of them. In this case system is presented in form of structure function that is defined the correlation of system availability and its components states. Structure function enables one to represent mathematically a system of any complexity. But computational complexity of structure function based methods is time consuming for large-scale system. Decision of this problem for the calculation of importance measures can be realized based on application of two mathematical approaches. One of them is Direct Partial Boolean Derivative. New equations for calculating the importance measures are obtained in terms of these derivatives. Other approach is Binary Decision Diagram (BDD), which supports efficient manipulation of Boolean algebra. In this paper new algorithms for calculating of importance measures by Direct Partial Boolean Derivative based on BDD are proposed. The experimental results of comparison these algorithms with other show the efficiency of new algorithms for calculating Direct Partial Boolean Derivative and importance measures.
    Ocena gotowości systemu, analiza czułości, miary ważności oraz optymalna konstrukcja to istotne zagadnienia, które stały się obiektem badań z zakresu inżynierii niezawodności. Istnieją różne podejścia matematyczne do owych problemów. Jednym z nich jest podejście oparte na funkcji struktury. Funkcja struktury umożliwia analizę systemów o wszelkim stopniu złożoności. Jednakże, w przypadku sieci o dużej skali, złożoność obliczeniowa metod opartych na funkcji struktury sprawia, że metody te są czasochłonne. W przedstawionej pracy proponujemy wykorzystanie dwóch metod matematycznych analizy ważności. Pierwszą z nich jest bezpośrednia cząstkowa pochodna boole'owska, w kategoriach której opracowano nowe równania do obliczania miar ważności. Drugą jest binarny diagram decyzyjny, który wspiera efektywną manipulację na wyrażeniach algebry Boole'a. W artykule zaproponowano dwa algorytmy służące do obliczania bezpośredniej cząstkowej pochodnej boole'owskiej w oparciu o binarny diagram decyzyjny funkcji struktury. Wyniki eksperymentów wykazują skuteczność nowo opracowanych algorytmów w obliczaniu bezpośredniej cząstkowej pochodnej boole'owskiej oraz miar ważności.
    Źródło:
    Eksploatacja i Niezawodność; 2015, 17, 3; 379-388
    1507-2711
    Pojawia się w:
    Eksploatacja i Niezawodność
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Extraction of scores and average from Algerian high-school degree transcripts
    Autorzy:
    Kefali, Abderrahmane
    Drabsia, Soumia
    Sari, Toufik
    Chaoui, Mohammed
    Ferkous, Chokri
    Powiązania:
    https://bibliotekanauki.pl/articles/305313.pdf
    Data publikacji:
    2020
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    localization of areas of interest
    table localization and recognition
    table understanding
    document analysis and recognition
    digital archiving
    physical and logical structure
    Opis:
    A system for extracting scores and the average from Algerian high school degree transcripts is proposed. The system extracts the scores and average based on the localization of tables gathering this information; it consists of several stages. After preprocessing, the system locates the tables using ruling-line information as well as other text information. Therefore, the adopted localization approach can work even in the absence of certain ruling lines or the erasure and discontinuity of the lines. After this, the localized tables are segmented into columns and the columns into information cells. Finally, cell labeling is done based on prior knowledge of the table structure, allowing us to identify the scores and the average. Experiments have been conducted on a local dataset in order to evaluate the performances of our system and compare it to three public systems at three levels; the obtained results show the effectiveness of our system.
    Źródło:
    Computer Science; 2020, 21 (1); 59-96
    1508-2806
    2300-7036
    Pojawia się w:
    Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Wykorzystanie mapy logicznej w procesie produkcyjnym
    Use of a logical map in the production process
    Autorzy:
    Chądzyńska, M.
    Klimecka-Tatar, D.
    Powiązania:
    https://bibliotekanauki.pl/articles/109085.pdf
    Data publikacji:
    2017
    Wydawca:
    Stowarzyszenie Menedżerów Jakości i Produkcji
    Tematy:
    logical map
    quality
    production
    production process
    value stream mapping (VSM)
    value stream analysis
    mapy logiczne
    jakość
    produkcja
    procesy produkcyjne
    mapowanie strumienia wartości
    diagnozowanie aktualnego stanu strumienia wartości
    Opis:
    W artykule przedstawiona została tematyka związana z mapami logicznymi procesu. Mapy logiczne są niezbędne w określeniu aktualnego przepływu w firmie. Ukazują w jaki sposób podejmowane są decyzje w przedsiębiorstwie i z jakimi osobami bezpośrednio są one powiązane. W artykule przedstawione zostało zastosowanie logicznej mapy procesu w przedsiębiorstwie produkcyjnym. Celem jej jest zilustrowanie procesu podejmowania decyzji w firmie X od chwili otrzymania zamówienia od klienta do momentu podjęciadecyzji o realizacji zlecenia.
    The article presents topics related to the logical maps of the process. Logic maps are necessary in determining the current flow in the company. They show how decisions are made in the company and with which individuals they are directly related. The article presents the application of a logical process map in a production enterprise. Its purpose is to illustrate the decision making process in company X from the moment of receiving the order from the customer until the decision on the order is made.
    Źródło:
    Archiwum Wiedzy Inżynierskiej; 2017, 2, 2; 14-16
    2544-2449
    Pojawia się w:
    Archiwum Wiedzy Inżynierskiej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-11 z 11

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies