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

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 412
Tytuł:
Siła i słabość logik modalnych
The Strengths and Weaknesses of Modal Logics
Autorzy:
Czakon, Marcin
Powiązania:
https://bibliotekanauki.pl/articles/909495.pdf
Data publikacji:
2020-03-31
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Tematy:
modal logic
temporal logic
epistemic logic
Opis:
This is a review of the book Jedność i wielość logik modalnych (The Unity and Diversity of Modal Logics) edited by Marcin Tkaczyk. The book contains discussions of the most recent results of contemporary modal logic, focusing on regular modal logics, epistemic logic, and temporal logic. The book comprises four chapter, each of which deals with selected formal-logical and philosophical problems associated with modal logic.
Źródło:
Filozofia Nauki; 2020, 28, 1; 125-132
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Teoria kategorii i niektóre jej logiczne aspekty
Category theory and some of its logical aspects
Autorzy:
Stopa, Mariusz
Powiązania:
https://bibliotekanauki.pl/articles/690940.pdf
Data publikacji:
2018
Wydawca:
Copernicus Center Press
Tematy:
category theory
topos theory
categorical logic
propositional logic
intuitionistic logic
non-classical logic
Opis:
This article is intended for philosophers and logicians as a short partial introduction to category theory (CT) and its peculiar connection with logic. First, we consider CT itself. We give a brief insight into its history, introduce some basic definitions and present examples. In the second part, we focus on categorical topos semantics for propositional logic. We give some properties of logic in toposes, which, in general, is an intuitionistic logic. We next present two families of toposes whose tautologies are identical with those of classical propositional logic. The relatively extensive bibliography is given in order to support further studies.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2018, 64; 7-58
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Kryteria „logiczności” logiki w ujęciu Susan Haack
The Criterion of the 'Logicality' of Logic According to Susan Haack
Autorzy:
Czernecka-Rej, Bożena
Powiązania:
https://bibliotekanauki.pl/articles/691284.pdf
Data publikacji:
2012
Wydawca:
Copernicus Center Press
Tematy:
philosophy of logic
formalism
logic
classical logic
Susan Haack
Opis:
In the philosophy of logic the following questions are discussed: What is logic? Which formal systems are systems of logic? What does make them systems of logic? The paper presents and analyses the answers to these questions given by Susan Haack. She adopted the strategy, called the “hospitable policy”, giving the criterion in which formalism is a logical one. In the article I discuss whether the validity of her solutions is correct.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2012, 50; 140-151
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Język jako system znaków
Autorzy:
Wawrzonkiewicz-Słomska, Anna
Powiązania:
https://bibliotekanauki.pl/articles/2158560.pdf
Data publikacji:
2011
Wydawca:
Instytut Studiów Międzynarodowych i Edukacji Humanum
Tematy:
philosophy
logic
language
history of logic
sign
Opis:
We have to deal with numerous signs in everyday life, given us both by the nature – as, for example, clouds being a sign of upcoming rain, and also traditional, conventional signs and created by ourselves for better communication. A sign is a perceptible arrangement of things or a phenomenon caused by someone else for the reason that some set expression or formed customary rules govern combining a definite type of thoughts with this arrangement of things or the phenomenon.
Źródło:
Prosopon. Europejskie Studia Społeczno-Humanistyczne; 2011, 1(1); 37-45
1730-0266
Pojawia się w:
Prosopon. Europejskie Studia Społeczno-Humanistyczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Synteza układów kombinacyjnych na jednym uniwersalnym układzie PAL z wykorzystaniem montażowego łączenia wyjść
Synthesis of combinatorial logic on single PAL device using wired-or method of PAL outputs joining
Autorzy:
Solov'ev, V.
Klimowicz, A.
Powiązania:
https://bibliotekanauki.pl/articles/341115.pdf
Data publikacji:
2002
Wydawca:
Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
Tematy:
synteza logiczna
układy kombinacyjne
logic synthesis
combinatorial logic
Opis:
W artykule został opisany algorytm syntezy układów kombinacyjnych z łączeniem montażowym wyjść, dopuszczający użycie tylko jednego uniwersalnego układu PAL, a także jego modyfikacje pozwalające zastosować ten algorytm do syntezy na jednym "klasycznym" układzie PAL oraz do syntezy na jednym bloku funkcjonalnym złożonego układu programowalnego. Algorytm wykorzystuje właściwości architektury współczesnych uniwersalnych układów PAL, takie jak różna liczba linii iloczynów podłączona do jednej makrokomórki i możliwość wyboru polaryzacji sygnału wyjściowego. Określono też warunki realizacji systemu funkcji boolowskich przy pomocy tego algorytmu. Wyniki działania algorytmu porównano z innymi znanymi metodami oraz z wynikami uzyskanymi za pomocą systemu MAX+Plus II.
This article contains a description of an algorithm of synthesis of combinatorial logic schemes, which uses wired-OR method of joining outputs, limited to use only one universal PAL device and some modifications, which allow to use this algorithm to synthesis on single "classic" PAL device and one functional block of complex programmable device. This algorithm uses features of modern universal PAL devices, such as different number of terms connected to single macrocell and possibility of selection of output signal polarity. Conditions allowing to realize boolean function system using this algorithm are described. Work results are compared
Źródło:
Zeszyty Naukowe Politechniki Białostockiej. Informatyka; 2002, Z.1; 219-233
1644-0331
Pojawia się w:
Zeszyty Naukowe Politechniki Białostockiej. Informatyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Krata podwójna: próba opisu wydarzeń przyszłych za pomocą narzędzi logicznych
Autorzy:
Bażyk, Albert Przemysław
Powiązania:
https://bibliotekanauki.pl/articles/429119.pdf
Data publikacji:
2012
Wydawca:
Uniwersytet Papieski Jana Pawła II w Krakowie
Tematy:
two-valued logic
many-valued logic
expansion of classical logic
modal logic
semantic supervaluationism
semantic subvaluationism
the FOUR double lattice
Belnap’s four-valued logic
Opis:
An unflagging interest in describing future events has continuously motivated investigations, particularly in the field of logic.Aristotle, universally acknowledged as the father of logic, proposed a set of certain bases from which we could depart with our investigations. However, these are tools in which, despite their great value, one can perceive certain shortcomings.Over the centuries many attempts have been made to discover a means of describing any sentence, expressed in any grammatical form. One of these attempts is bilattice theory, through which it has been attempted to describe future events. This theory makes use of tools such as vagueness and different forms of semantics including subvaluationism and supervaluationism.In lattice theory itself, the double lattice known as the FOUR lattice (four-valued bilattice logic) is directly employed.After analyzing the structure of a given theory one may easily make use of it in practice, providing examples of its usage.
Źródło:
Semina Scientiarum; 2012, 11
1644-3365
Pojawia się w:
Semina Scientiarum
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Co to jest prawda?
Autorzy:
Wawrzonkiewicz–Słomska, Anna
Powiązania:
https://bibliotekanauki.pl/articles/2158605.pdf
Data publikacji:
2011
Wydawca:
Instytut Studiów Międzynarodowych i Edukacji Humanum
Tematy:
philosophy
logic
history of philosophy
history of logic
truth
Opis:
This question has entered to history of the European culture not only in the version of Socrates, Plato and Aristotle, but also as Pilate’s question. However, is this question every time about the same? Or is its intellectual version, which we deal with in philosophy, equivalent with the religious formula? Ancient philosophers, such as Descartes or Aristotle have already studied the question of truth. Truth is not an issue completely clear for man. Despite so many clear definitions, it does not give us full form of the notion of truth. All these centuries various inquires did not give us any answers. Every of definitions of truth shows us how to act, and according to which rules. We can agree on the classic definition of truth or reject it.
Źródło:
Prosopon. Europejskie Studia Społeczno-Humanistyczne; 2011, 2(2); 29-37
1730-0266
Pojawia się w:
Prosopon. Europejskie Studia Społeczno-Humanistyczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
W trosce o kulturę logiczną w badaniach filozoficznych i teologicznych
For the sake of logical culture in philosophical and theological research
Autorzy:
Śleziński, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/690856.pdf
Data publikacji:
2019
Wydawca:
Copernicus Center Press
Tematy:
christian philosophy
logic
Opis:
Book review: Polska filozofia chrześcijańska XX wieku. Stanisław Kamiński, Kazimierz Marek Wolsza [Polish Christian Philosophy: Stanisław Kamiński and Kazimierz Marek Wolsza] (red.). Kraków: Wydawnictwo Naukowe Akademii Ignatianum w Krakowie, 2019, ss. 232.
Recenzja monografii wieloautorskiej: Polska filozofia chrześcijańska XX wieku. Stanisław Kamiński, Kazimierz Marek Wolsza (red.). Kraków: Wydawnictwo Naukowe Akademii Ignatianum w Krakowie, 2019, ss. 232.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2019, 66; 326-330
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Temporalna interpretacja logiki modalnej
Temporal Interpretation of Modal Logic
Autorzy:
Tkaczyk, Marcin
Powiązania:
https://bibliotekanauki.pl/articles/2013148.pdf
Data publikacji:
2008
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika temporalna
logika tensalna
logika modalna
semantyka relacyjna
temporal logic
tense logic
modal logic
relational semantics
Opis:
Temporal interpretation of modal logic consists in replacing possible worlds with temporal states of the world or any time determinates and the accessibility relation with a relation of passage of time. That issue has been raised by A. N. Prior, who was thinking of propositions as things which could change their truth-values (could become true or become false) with the passage of time. Under such interpretation Prior was reading a formula  as: it (is and) will allways be the case that  or: it (is and) has allways been the case that . The formula  should be read respectively. In the present paper the interpretation in question is examined. Its sources are presented and its consequences are analysed. It is claimed, the interpretation to be highly disputable because of its disagreement with physical meaning of temporal statements, established in the special relativity theory.
Źródło:
Roczniki Filozoficzne; 2008, 56, 2; 273-297
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Uwagi o Susan Haack rozumieniu filozofii logiki
Remarks on Susan Haack’s Conception of Philosophy of Logic
Autorzy:
Czernecka-Rej, Bożena
Powiązania:
https://bibliotekanauki.pl/articles/2013362.pdf
Data publikacji:
2007
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
Susan Haack
filozofia logiki
logika formalna
rachunek formalny
logika rozszerzona
logika dewiacyjna
philosophy of logic
formal logic
formal calculus
extended logic
deviant logic
Opis:
The aim of the article is to present remarks concerning Susan Haack’s understanding of philosophy of logic. At the beginning, in the form of questions the area of problems tackled by philosophy of logic is indicated. Determination of the range of logic, that is differentiating logic from non-logic (the logical system from the formal system) is a priority for philosophy of logic. In the paper a critical analysis is made of the different suggestions for a demarcation line for logic that Haack discusses. Next the main ideas of philosophy of logic are presented, as seen by Haack, with special focus on two theses: about revisionability of logic and about logical pluralism. These theses appear in the context of quest for the answer to the question about correctness of logic. Also the differentiation between extended logics and deviant logics is significant here. In the final part of the paper assumptions and consequences of theses proposed by Haack are searched for and a discussion is undertaken concerning the way of justifying the obligatory character of a logic.
Źródło:
Roczniki Filozoficzne; 2007, 55, 1; 23-46
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
MIĘDZY ONTOLOGIĄ A LOGIKĄ. ROLA LOGIKI W PROCESIE POZNANIA PRAWDY
BETWEEN ONTOLOGY AND LOGIC. THE ROLE OF LOGIC IN THE PROCESS OF KNOWING THE TRUTH
Autorzy:
Wojtyła, Wojciech
Powiązania:
https://bibliotekanauki.pl/articles/512488.pdf
Data publikacji:
2017
Wydawca:
Wydawnictwo Diecezjalne Adalbertinum
Tematy:
logic
ontology
truth
Opis:
The purpose of the article was to try to answer the question, what truth and logic is discovered? The answer came by comparing the claims made by Des-cartes and the main representatives of the Lviv-Warsaw School. The author of the article contrasting the views of the French thinker with the views of Polish logicians, with Kazimierz Ajdukiewicz at the head, turns to the proposal of the latter. According to Ajdukiewicz, discovered by law logic, as well as the laws discovered by representatives of empirical sciences, there are some objective relations that take place on the side of reality. Knowing these important and universal properties and laws, man increas-ingly and better understands the world. The conclusion of the article is the the-sis that there is close correspondence between ontology and logic, as expressed by the first principles of the law of being, which are also the first principles of the laws of thought. Responding to the question of the role of logic in the pro-cess of learning the truth, the author confesses to those authors who argue that logic is a science that works on the material provided by the ontology, looking for relationships between objects of the real world.
Źródło:
Studia Ełckie; 2017, 19, 3; 283 - 294
1896-6896
2353-1274
Pojawia się w:
Studia Ełckie
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
O logice uprawdziwiaczy
About Logic of Truthmakers
Autorzy:
Paśniczek, Jacek
Powiązania:
https://bibliotekanauki.pl/articles/909875.pdf
Data publikacji:
2005-06-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Tematy:
truthmakers
truthmakers' logic
Opis:
The paper discusses main issues concerning truthmakers: (1) what is the ontological status of truthmakers (are they ordinary objects, situations, tropes etc?), (2) what are deduvtive properties of truthmakers. A simple logic of truthmakers is developed. The logic consists of an axiomatic system and a possible world semantics.
Źródło:
Filozofia Nauki; 2005, 13, 2; 103-111
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
O logice predykatów. Analiza logiczno-filozoficzna
On predicate logic. Logical-philosophical analysis
Autorzy:
Gut, Arkadiusz
Powiązania:
https://bibliotekanauki.pl/articles/2015981.pdf
Data publikacji:
2002
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika
sylogistyka
sąd
logika predykatów
logic
syllogistic
proposition
predicate logic
Opis:
This paper presents the central part of the contemporary logic: the predicate logic. By determining the types of primitive elements that make up the parts of the judgement the author tries to describe the structure (logical form) of atomic judgement that we meet in predicate logic. The main task is to find out the logical and philosophical fundaments of the asymmetry of the subject and predicate in the logic of quantification. This main aim was motivated by the assumption that if the current logic (predicate logic) has the significance, which we are inclined to attach to it, then it must reflect fundamental features of our thought about the world. Therefore the author of the paper analyses the logical and philosophical reasons that can be put forward for preferring the modern predicate logic to the traditional theory of general inferences which occur in syllogistic. To show the difference between the logical form of the basic proposition established in traditional logic and the logical form of atomic proposition in post-fregean logic some specific points were taken into consideration: the problem of reference; negation; existential import and others. At the end it was explicated that the crucial move – which was revealed in predicate logic – lay in extending the idea of function−argument analysis from mathematics to logic.
Źródło:
Roczniki Filozoficzne; 2002, 50, 1; 121-163
0035-7685
Pojawia się w:
Roczniki Filozoficzne
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ł:
Synteza odwracalnych układów logicznych oparta na sieciach Closa
Clos switching network based reversible circuit synthesis
Autorzy:
Szyprowski, M.
Powiązania:
https://bibliotekanauki.pl/articles/154679.pdf
Data publikacji:
2010
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
odwracalne układy logiczne
synteza logiczna
reversible logic circuits
logic synthesis
Opis:
W pracy zaprezentowany jest efektywny obliczeniowo algorytm syntezy układów odwracalnych oparty na komutacji połączeń w sieci przełączającej Closa. Zaproponowano heurystyki, które zmniejszają koszt generowanych układów. Dla układów o 3 wejściach i wyjściach podstawowa wersja algorytmu generuje układy o średnim koszcie równym 131,1% kosztu układu optymalnego, zaś pokazane heurystyki zmniejszają go do 113,7%.
Synthesis of reversible Boolean functions (i.e. bijective mappings) is an emerging research area, mainly motivated by advances in quantum computing, nanotechnologies and low power design. The paper describes a computationally efficient reversible circuit synthesis algorithm. The presented synthesis algorithm decomposes the permutation realized by a reversible function into simpler permutations, which can be then directly mapped to reversible gates. The decomposition is based on the combinatorial theorems used by the Clos switching networks. In the paper analysis of the algorithm computational complexity is performed as well as some new heuristic modifications are proposed. These heuristics decrease the cost of generated circuits and reduce the required computation time. For all 3-input, 3-output reversible functions, the basic algorithm generates circuits that are 131.1% larger than the optimal one, while the introduced heuristics reduce it to 113.7%.
Źródło:
Pomiary Automatyka Kontrola; 2010, R. 56, nr 7, 7; 735-738
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 412

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