Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "Logika" wg kryterium: Temat


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ł:
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ł:
Logika i teologia
Autorzy:
Urbańczyk, Piotr
Powiązania:
https://bibliotekanauki.pl/articles/691156.pdf
Data publikacji:
2014
Wydawca:
Copernicus Center Press
Tematy:
recenzja
logika
teologia
Opis:
Recenzja książki Logic in Theology, red. B. Brożek, A. Olszewski, M. Hohol, Copernicus Center Press, Kraków 2013, ss. 290.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2014, 57; 143-151
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wielowartościowość a pojęcia epistemiczne
Many Values and Epistemic Concepts
Autorzy:
Lechniak, Marek
Powiązania:
https://bibliotekanauki.pl/articles/2013395.pdf
Data publikacji:
2006
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika epistemiczna
logika wielowartościowa
przekonanie
epistemic logic
many-valued logic
belief
Opis:
The paper presents several attempts to express intuition concerning the understanding of knowledge and conviction by means of the conceptual apparatus of many-valued logic. J. Łoś’s pioneer system has been presented here, the system constructed by Ngoc Duc Ho, in which the internal logic in this system is used by the knowing subject as the three-valued logic of Łukasiewicz and the third logical value is understood as “unjustified”, and the four-valued system of N. Belnap, the system that allows for the occurrence of propositions which are evaluated both as true and false.
Źródło:
Roczniki Filozoficzne; 2006, 54, 2; 375-390
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Postprawda w dyskursie publicznym w kontekście logiki klasycznej i logiki rozmytej
Post-truth in public discourse in the context of classical logic and fuzzy logic
Autorzy:
Lakomy, Mirosław
Powiązania:
https://bibliotekanauki.pl/articles/520986.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie
Tematy:
postprawda
logika klasyczna
logika trójwartościowa
logika rozmyta
kontraktualizm
post-truth
classical logic
trivalent logic
fuzzy logic
counter-actuality
Opis:
W pracy zaprezentowano dwa nurty dyskusji na temat postprawdy. Pierwszy konserwatywno-krytyczny, zasadzający się na konieczności odrzucenia tego pojęcia jako nienaukowego i szkodliwego. W tym kontekście uznano bowiem, iż termin ten jest sprzeczny z dorobkiem filozofii, logiki klasycznej i nauki społecznej Kościoła katolickiego. Drugi z kolei nurt–liberalno-kontraktualistyczny – poszukuje uzasadnienia dla zjawiska postprawdy w logice nieklasycznej, trójwartościowej i rozmytej.
The work presents two trends of discussion on post-truth. The first is conservatively critical, based on the necessity of rejecting this concept as unscientific and harmful. In this context, it was recognized that this term contradicts the achievements of philosophy, classical logic and the social teaching of the Catholic Church. The second in the current – liberal – countercurrent – seeks to justify the phenomenon of post-truth in non-classical, trivalent and fuzzy logic.
Źródło:
Annales Universitatis Paedagogicae Cracoviensis. Studia de Cultura; 2019, 11, 1 "Postprawda. Nowe narracje i praktyki społeczne w epoce sfingowanych informacji i gatunków hybrydycznych"; 5-14
2083-7275
Pojawia się w:
Annales Universitatis Paedagogicae Cracoviensis. Studia de Cultura
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Spór o wartość logiczną norm. Logika norm a logika deontyczna
The Discussion about the Truth Value of Norms. Logic of Norms and Deontic Logic
Autorzy:
Trypuz, Robert
Powiązania:
https://bibliotekanauki.pl/articles/2015662.pdf
Data publikacji:
2004
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika norm
logika deontyczna
prawda
logic of norms
deontic logic
truth
Opis:
The main purpose of this paper was the trial to answer the question if norms can function as premises or conclusions in logical inferences. According to definition of logical inference, the parts of its may be only sentences (in indicative mood) which are true or false. The logic, which accepts that norms are the true and false propositions, can be named the Logic of Norms. Otherwise the logic, which reject that norms are true and false propositions, we name Deontic Logic. The last one, in order to use the logical inference, changes each of norms N into normative sentences: ‘N exists’ or ‘N exists for the sake of set of norms’. The normative sentences are sentences in indicative mood and thereby are true or false. The whole consideration about two types aforementioned logic is preceded by some remarks about variety of the meanings of the word ‘norm’, the linguistic structures of norm and the views of the truth value of norms.
Źródło:
Roczniki Filozoficzne; 2004, 52, 1; 293-316
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Logika podejmowania decyzji (podejmowanie decyzji w aspekcie klasycznej i kwantowej logiki)
Decision making logic (the classical and quantum decision making logic)
Autorzy:
Kałuski, J.
Powiązania:
https://bibliotekanauki.pl/articles/326030.pdf
Data publikacji:
2012
Wydawca:
Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:
logika klasyczna
logika kwantowa
podejmowanie decyzji
classical logic
quantum logic
decision making
Opis:
W pracy obszernie omówiono stosowanie logiki kwantowej do podejmowania decyzji na tle logiki klasycznej w szerokim zakresie teoretycznym i praktycznym. Wychodząc od samych początków teorii kwantowej, a więc od eksperymentu myślowego EPR, prac Heisenberga, Bohra, Borna, Schroedingera, von Neumanna, Paulli’ego i innych znakomitych teoretyków fizyki kwantowej lat 20 i 30 ubiegłego stulecia, aż do słynnego twierdzenia J. Bella (1964) i jego nierówności i kończąc eksperymentami A. Aspecta i A. Zeillingera, pokazano skomplikowaną drogę rozwoju logiki kwantowej w podejmowaniu decyzji w naukach kognitywnych, ekonomii i technice. Równolegle analizowano pojęcia logiki klasycznej i kwantowej w aspekcie filozoficznym, począwszy od I. Kanta i jego logiki formalnej, poprzez logikę Łukasiewicza – Tarskiego, kosmologię Jacyny – Onyszkiewicza, aż po filozofię buddyzmu oraz różnych, współczesnych nurtów myślenia „kwantowego”. Do podejmowania decyzji w konkretnych sytuacjach służą modele na bazie kwantowej teorii informacji, kwantowego prawdopodobieństwa a przede wszystkim kwantowej teorii gier. Na przykładach szczegółowych obliczeń prawdopodobieństw kwantowych i budowy strategii kwantowych na użytek gier zobrazowano proces postępowania, który zasadniczo różni się od modelu klasycznego.
In the work some problems of quantum decision making with comparing to the classical logic are presented. Based to Bell’s theorem (1964) and many works of famous physicians as Einstein, Bohr, Heisenberg, Born, Schroedinger, von Neumann and others which hold fast to the concept of new logic, the hard way of development of quantum logic in decision making is discussed. Simultaneously in the paper the I. Kant’s formal logic, Łukasiewicz-Tarski’s truth theory and logic across the Jacyna-Onyszkiewicz’s cosmological theory and Buddism’s philosophy are presented. To decision making in the concrete situations some models of quantum information theory, quantum probability and first of all quantum game are used. On the number of examples according to detailed computing of the quantum probability and construction of the quantum strategies in the games, the methods of calculating are showed. In all mentioned discussion shows that these methods are different from classical methods.
Źródło:
Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska; 2012, 61; 191-219
1641-3466
Pojawia się w:
Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analiza i optymalizacja zgrzewów ultradźwiękowych przewodów miedzianych z wykorzystaniem logiki rozmytej
Analysis and optimization of ultrasonic copper wires using fuzzy logic approach
Autorzy:
Zawadzki, Jacek
Jędryczka, Cezary
Powiązania:
https://bibliotekanauki.pl/articles/377786.pdf
Data publikacji:
2019
Wydawca:
Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
Tematy:
zgrzewanie ultradźwiękowe
logika rozmyta
Opis:
W artykule skoncentrowano się na badaniu wpływu podstawowych parametrów procesu zgrzewania ultradźwiękowego takich jak: amplituda wibracji, siła nacisku oraz czas zgrzewania na wybrane parametry jakościowe uzyskanego połączenia przewodów miedzianych. Badania przeprowadzono metodą czynnikową (ang. fractional desing) z czterema poziomami. Jako parametry jakościowe mierzono siłę zrywania (Fpull), siłę odrywania (Fpeel) oraz obszar zgrzewu. Wyniki przeprowadzonych badań eksperymentalnych wykorzystano do opracowania nieliniowego modelu regresji drugiego stopnia. Ze względu na wariację wyników badań oraz parametrów wejściowych przy tworzeniu reguł modelu wykorzystano logikę rozmytą. Zastosowanie logiki rozmytej pozwoliło na uniezależnienie się od konieczności prowadzenia badań niszczących w procesie produkcyjnym i osiągnięcie najwyższego poziomu jakości zgrzewów.
Ultrasonic welding has been used in the market over the past thirty years. Very short time, low energy consumption, repeatability and lack of additional materials and operations during the connection process are key reasons for which this technology has been found advantageous in the mass production. Nevertheless the problems faced by industry regarding to ultrasonic welding are the poor weld quality and low strength of the joints surface when the welding parameters are incorrect. In this paper, the control parameters like vibration amplitude, weld pressure and weld time are considered for the welding and copper wires (Cu-ETP1). Experiment is conducted according to the fractional design with replications to get the responses like tensile shear stress and T-peel stress and weld area. Measured data are utilized to develop fuzzy logic model between responses and predictors. As a quality is an very important issue in these manufacturing industries, the optimal combinations of these parameters are found using fuzzy logic approach.
Źródło:
Poznan University of Technology Academic Journals. Electrical Engineering; 2019, 100; 157-166
1897-0737
Pojawia się w:
Poznan University of Technology Academic Journals. Electrical Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zastosowanie elementów logiki rozmytej do oceny układów elektromaszynowych
Applicability of elements fuzzy logics in assessment of electro-machine systems
Autorzy:
Horodecki, A.
Powiązania:
https://bibliotekanauki.pl/articles/2076341.pdf
Data publikacji:
2006
Wydawca:
Sieć Badawcza Łukasiewicz - Instytut Napędów i Maszyn Elektrycznych Komel
Tematy:
układ elektromaszynowy
logika rozmyta
Opis:
Owing to a great variety of industrial electro-machine systems, it becomes more and more crucial to assess correctly electro-machine systems offered by their suppliers. It has been proved in this paper that by assessing systems offered to them exclusively on the basis of bivalent rules, purchasers are likely to incur economical losses. It is essential to apply elements of fuzzy (or multivalent) logics while performing such on assessment. With this purpose the notion of Hamming distance, applied in the theory of mathematical sets has been used in the easiest possible way. The Hamming distance, which defines an agreed distance between two sets of certain quantities, turned out to be useful for proposing a way of assessment of offered electro-machine systems. Considering same characteristics of electro-machine systems as quantities included in sets defined by a Hamming distance a theoretical basis of such an assessment can be obtained. The paper presents a simple and interesting geometric interpretation of the abovementioned solutions. It also reveals a method of assessment and reciprocal comparison of offered electro-machine systems.
Źródło:
Maszyny Elektryczne: zeszyty problemowe; 2006, 75; 133-135
0239-3646
2084-5618
Pojawia się w:
Maszyny Elektryczne: zeszyty problemowe
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Logika formalna czy logiki formalne?
Formal Logic or Formal Logics?
Autorzy:
Kiczuk, Stanisław
Powiązania:
https://bibliotekanauki.pl/articles/2013349.pdf
Data publikacji:
2007
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika
funktor prawdziwościowy
logika standardowa
logika nieklasyczna
wielowartościowy rachunek zdań
logika klasyczna
logic
truth-functional operator
standard logic
non-classical logic
many-valued propositional calculus
classical logic
Opis:
Apart from putting the theses contained in E. Agazzi’s work Why Is It Logical to Admit Several Logics? in an order and making them more distinct, an attempt is made to draw conclusions from the explicit wordings used by that author. Some theses presented in the text are shown against the views of other authors who discussed analogous problems. In this way, as it seems, modification, completing and elaborating has been possible of wordings that approve of the thesis about the existence of many logics that are contained in the analyzed text. Among others, the article emphasizes that Agazzi’s pronouncements about relations existing between standard logic and intuitionist logic cannot be accepted. Also, several remarks are made about the so-called many-valued logics. Agazzi’s theses that well constructed non-classical logics representing proper contents are necessary for representatives of various branches of knowledge is acceptable.
Źródło:
Roczniki Filozoficzne; 2007, 55, 1; 129-157
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Pierwsze próby konstrukcji logik nieklasycznych inspirowanych mechaniką kwantową: Zygmunt Zawirski i John von Neumann
Autorzy:
Drozdowska, Elżbieta
Powiązania:
https://bibliotekanauki.pl/articles/31233789.pdf
Data publikacji:
2023
Wydawca:
Polska Akademia Nauk. Instytut Filozofii i Socjologii PAN
Tematy:
Zygmunt Zawirski
John von Neumann
logika kwantowa
logika wielowartościowa
filozofia mechaniki kwantowej
Opis:
Logika kwantowa pojawiła się w latach 30. XX wieku w wyniku postawienia pytania o to, czy konceptualne zmiany zapoczątkowane w fizyce przez mechanikę kwantową wymagają rewizji logiki. W literaturze anglojęzycznej za prekursora logiki kwantowej uznaje się Johna von Neumanna, natomiast w literaturze polskiej wskazuje się Zygmunta Zawirskiego. Zawirski był pierwszym badaczem, który zasugerował, że mechanika kwantowa może kierować się inną logiką niż logika klasyczna. Był pierwszym badaczem w ramach nurtu wielowartościowej logiki kwantowej, jednak jego wpływ okazał się ostatecznie niewielki. Z kolei John von Neumann wraz z Garrettem Birkhoffem zapoczątkowali dominujący dziś nurt algebraicznej logiki kwantowej. Okazuje się, że pomimo różnic założeń i metod, łączy ich podporządkowanie projektu logiki kwantowej dwóm wymaganiom – uwzględnieniu zasady nieoznaczoności Heisenberga i uzgodnieniu uzyskanej logiki z rachunkiem prawdopodobieństwa.
Źródło:
Filozofia i Nauka; 2023, 11; 133-160
2300-4711
2545-1936
Pojawia się w:
Filozofia i Nauka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Bezpieczeństwo jednokanałowych urządzeń sterowania
Autorzy:
Pniewski, Roman
Powiązania:
https://bibliotekanauki.pl/articles/214895.pdf
Data publikacji:
2020
Wydawca:
Instytut Kolejnictwa
Tematy:
logika rewersyjna
systemy srk
bezpieczeństwo
Opis:
Bramki rewersyjne pozwalają na tworzenie układów cyfrowych odpornych na uszkodzenie. Zastosowanie tych bramek umożliwia realizację bezpiecznych układów sterowania. Obecnie, w systemach srk, zamiast układów przekaźnikowych stosuje się systemy mikroprocesorowe. Zastosowanie techniki komputerowej umożliwia konstrukcję bezpiecznych systemów, jednak ze względu na dużą liczbę elementów, maleje niezawodność. Rozwiązaniem alternatywnym jest wykorzystanie logiki rewersyjnej w syntezie systemów cyfrowych. W artykule przedstawiono podstawowe bramki rewersyjne oraz przykład ich wykorzystania w syntezie systemów cyfrowych. Zaletą logiki odwracalnej jest możliwość syntezy układów samotestujących i odpornych na błędy. Wykorzystanie tych układów umożliwi konstrukcję bezpiecznych systemów sterowania. W artykule przedstawiono propozycję zastosowania logiki rewersyjnej w prostych układach sterowania. Pokazano sposób modelowania i symulacji układu opartego na bramkach rewersyjnych.
Źródło:
Problemy Kolejnictwa; 2020, 186; 57-63
0552-2145
2544-9451
Pojawia się w:
Problemy Kolejnictwa
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zmiana wroga w sojusznika w świetle logiki bezpieczeństwa Academia Diplomatica Europaea
Changing the enemy into the ally in the light of the security logic of Academia Diplomatica Europaea
Autorzy:
Ochmann, Jerzy
Powiązania:
https://bibliotekanauki.pl/articles/1934044.pdf
Data publikacji:
2019-10-07
Wydawca:
Wyższa Szkoła Bezpieczeństwa Publicznego i Indywidualnego Apeiron w Krakowie
Tematy:
logika
logika bezpieczeństwa
Academia Diplomatica Europaea
wróg
relacja
logic
logic of security
enemy
relation
Opis:
Autor stawia tezę, że w dobie informatyki logika jest najważniejszym narzędziem nauk o bezpieczeństwie, a logicy odgrywają ważniejszą rolę niż politycy. Takie stanowisko prezentują dwie ważne instytucje zajmujące się logiką bezpieczeństwa: Academia Diplomatica Europaea w Brukselii (ADE) i US Army War College w Carlisle w Pensylwanii. Autor skupia się na omówieniu założeń i działalności tej pierwszej. ADE stoi na stanowisku, że naczelnym wyzwaniem dla współczesnego bezpieczeństwa jest przemiana mentalności wroga w mentalność sojusznika. Aby tego dokonać, należy analizować kategorie logiczne, jakimi są kategoria relacji (człowiek – człowiek i społeczeństwo – społeczeństwo) oraz kategoria wrogości. ADE skupia się na relacjach społecznych i ich aspektach socjologicznych oraz psychologicznych, bowiem zakłada, że każdy wróg ma poglądy oficjalne oraz ukryte, a dotarcie do tych drugich jest kluczem do doprowadzenia do przemiany wroga w sojusznika według określonej metodologii. Autor omawia metody stosowane w logice bezpieczeństwa przez ADE. Następnie, w świetle deklarowanych przez nią założeń, analizuje jej działalność w obliczu współczesnych wyzwań i zagrożeń, za które ADE uważa zwłaszcza terroryzm.
The author hypothesizes that in the era of information technology, logic is the crucial tool of security sciences, and logicians have a greater role to play in this field than politicians. This viewpoint is held by two significant institutions dealing with the logic of security: Academia Diplomatica Europaea (ADE) in Brussels and US Army War College in Carlisle, Pennsylvania. The author focuses on the assumptions and activities of Academia Diplomatica Europaea. ADE assumes that the major challenge to contemporary security is to change the enemy’s mentality into the mentality of an ally. To do this, one should analyse the following logical categories: the category of relations (between individuals and societies) and the category of hostility. ADE mainly focuses on social relations, with their sociological and psychological aspects, assuming that enemies have not only official, explicit opinions but also implicit ones, and learning these implicit opinions is a key to change the enemy’s mentality according to the aforementioned pattern. The author then discusses the methods relating to the logic of security used by ADE. Finally, in the light of the assumptions stated by ADE, he analyses the institution’s activities aimed at contemporary threats, the major threat being, according to ADE, terrorism.
Źródło:
Kultura Bezpieczeństwa. Nauka – Praktyka – Refleksje; 2019, 34; 105-140
2299-4033
Pojawia się w:
Kultura Bezpieczeństwa. Nauka – Praktyka – Refleksje
Dostawca treści:
Biblioteka Nauki
Artykuł

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