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

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 17
Tytuł:
Zgodność z „prawem tożsamości” czy błąd „idem per idem”?
Following the “law of identity” or the error idem per idem?
Autorzy:
Bogusławski, Andrzej
Powiązania:
https://bibliotekanauki.pl/articles/29431840.pdf
Data publikacji:
2023
Wydawca:
Uniwersytet Mikołaja Kopernika w Toruniu. Wydawnictwo UMK
Tematy:
prawo tożsamości
idem per idem
powtórzenie
implikacja
koniunkcja
(spójnik) i
law of identity
repetition
implication
conjunction (i)
Opis:
Autor rozważa Wittgensteinowską krytykę „prawa tożsamości” oraz Jadwigi Wajszczuk koncepcję koniunkcji, zakładającej wymaganie uzupełnienia treści tego, co aktualnie zostało powiedziane. Autor omówił także dewiacyjny charakter (dewiacyjny z punktu widzenia kodu naturalno-językowego) znanego przykładu Boys are boys. i wskazuje na jego czysto perlokucyjny – jako jedyny możliwy – efekt. Wszystko to przemawia przeciw zakładanemu katalogowi skodyfikowanych „znaczeń”, w ujęciu np. Wierzbickiej. Omówiono także szereg zjawisk pokrewnych.
The author submits a reflection on Wittgenstein’s critique of the “law of identity” and on Wajszczuk’s idea of conjunction entailing the necessity of broadening the contents of what has momentarily been said. The author insists on the deviant nature (deviant from the point of view of the natural-linguistic code) of the famous example Boys are boys. and on its purely perlocutionary effect as its only possible effect. All of this is opposed to the would-be catalogue of codified “meanings”, as those imagined, e.g., by Wierzbicka. A number of related phenomena are also discussed.
Źródło:
Linguistica Copernicana; 2023, 19; 25-32
2080-1068
2391-7768
Pojawia się w:
Linguistica Copernicana
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Improving the quality of the fetal state assessment with epsilon-insensitive learning methods
Autorzy:
Czabański, R.
Wróbel, J.
Jeżewski, J.
Łęski, J.
Powiązania:
https://bibliotekanauki.pl/articles/333468.pdf
Data publikacji:
2014
Wydawca:
Uniwersytet Śląski. Wydział Informatyki i Nauki o Materiałach. Instytut Informatyki. Zakład Systemów Komputerowych
Tematy:
fetal monitoring
fuzzy implication
epsilon-insensitive learning
monitorowanie płodu
implikacja rozmyta
Opis:
Recording and analysis of fetal heart rate (FHR) signal is nowadays the primary method for the biophysical assessment of the fetal state. Since the correct interpretation of crucial FHR characteristics is difficult, methods of automated quantitative signal evaluation are still the subject of the research studies. In the following paper we investigated the possibility of improvement of the fetal state evaluation on the basis of the epsilon-insensitive learning (eIL). We examined two eIL procedures integrated with fuzzy clustering algorithms as well as different methods of logical interpretation of the fuzzy conditional statements. The quality of the FHR signal classification was evaluated using the data collected with the computerized fetal surveillance system. The learning performance was measured with the number of correct classification (CC) and overall quality index (QI) defined as a geometric mean of sensitivity and specificity. The obtained results (CC = 88 % and QI = 87 %) show a high efficiency of the fetal state assessment using the epsilon-insensitive learning based methods.
Źródło:
Journal of Medical Informatics & Technologies; 2014, 23; 19-26
1642-6037
Pojawia się w:
Journal of Medical Informatics & Technologies
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Logika współczesna a matematyka i filozofia
Contemporary Logic versus Mathematics and Philosophy
Autorzy:
Kiczuk, Stanisław
Powiązania:
https://bibliotekanauki.pl/articles/2013167.pdf
Data publikacji:
2008
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika współczesna
funktor prawdziwościowy
znak negacji
znak alternatywy
implikacja materialna
koniunkcja
modern logic
truth-functional operator
negation sign
disjunction sign
material implication
conjunction
Opis:
The first part of the paper shows two types of the systems of contemporary logic placed in one of J. Bocheński’s works. The second part of the paper contains Bocheński’s theses concerning contemporary logic. They have been shown against the backdrop of the views held by other authors who discussed some kin issues. In order to supplement Bocheński’s considerations a division of functors has been added. They are divided into extensional and non-extensional. Much attention has been devoted to the problems of logical constants that is rarely discussed in learned literature. It has been stressed that at least one of Bocheński’s typologies should basically be changed, having taken into account the remarks in the paper that supplement Bocheński’s analyses. The above issues have been discussed against the backdrop of the question of relations that obtain between contemporary logic, mathematics, and philosophy.
Źródło:
Roczniki Filozoficzne; 2008, 56, 2; 131-150
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
O logice modalnej
On Modal Logic
Autorzy:
Kiczuk, Stanisław
Powiązania:
https://bibliotekanauki.pl/articles/2015670.pdf
Data publikacji:
2004
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
konieczność logiczna
możliwość logiczna
logika modalna
funktor modalny
ścisła implikacja
logical necessity
logical possibility
modal logic
modal operator
strict implication
Opis:
The paper appreciates six conditions which, according to G.E. Hughes and M.J. Cresswell, must be respected by those formal systems which aspire to be systems of modal logic. There are few such systems. The sense of modal functors “it is necessary that,” “it is possible that,” in this type of systems is in no way made precise. The paper undermines the validity of some conditions shown by Hughes and Cresswell. It outlines the way by which to construct a system of modal logic in which the functor of logical necessity and logical possibility would be unambiguously characterised by methods of contemporary logic.
Źródło:
Roczniki Filozoficzne; 2004, 52, 1; 199-213
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Uwagi o implikacji materialnej
Autorzy:
Kiczuk, Stanisław
Powiązania:
https://bibliotekanauki.pl/articles/2013479.pdf
Data publikacji:
2006
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika
funktor prawdziwościowy
znak negacji
znak alternatywy
implikacja materialna
koniunkcja
logic
truth-functional operator
negation sign
disjunction sign
material implication
conjunction
Opis:
In the initial part of the article texts of some authors are analyzed concerning material implication. In the further part of the article the proposition is justified that the operator of material implication differs in quality from other truth-functional operators. The final part of the article is devoted to considerations aiming at presenting what the thesis of the classical propositional calculus, in which the main operator is the operator of material implication, denote.
Źródło:
Roczniki Filozoficzne; 2006, 54, 1; 69-80
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wstęp do metafizyki Stanisława Ignacego Witkiewicza
Autorzy:
Kościuszko, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/521844.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Warmińsko-Mazurski w Olsztynie
Tematy:
S.I. Witkiewicz
L. Chwistek
E. Husserl
H. Cornelius
jedność- w-wielości
implikacja
światopogląd
metafizyka
nauk
aktualna nieskończoność
infinitezymale
G. Cantor
prawo wielkich liczb
synteza nauk
unifikacja
zagadnienie psychofizyczne
metodologia filozofii
intuicjonizm
Brouwer
formalizm
Hilbert
K. Goedel
ciągłość czasu
czas całości istnienia
redukcjonizm
monadologia
emergencja
Leibnitz
Opis:
Autor niniejszego artykułu omawia Witkiewiczowskie pojęcie metafizycznej implikacji, spekulatywny charakter metafizyki wynikający z używania eksperymentów myślowych, metodę metafizycznej dedukcji pojęć, zadania metafizyki, stosunek metafizyki do badań empirycznych, stosunek metafizyki do nauki, krytykę fizykalizmu, stanowisko monadologiczne.
Źródło:
Humanistyka i Przyrodoznawstwo; 2016, 22; 207-219
1234-4087
Pojawia się w:
Humanistyka i Przyrodoznawstwo
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Neuro-Fuzzy System Based on Logical Interpretation of If-then Rules
Autorzy:
Łęski, J.
Henzel, N.
Powiązania:
https://bibliotekanauki.pl/articles/911145.pdf
Data publikacji:
2000
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
system rozmyty
implikacja rozmyta
fuzzy implications
approximate reasoning
neuro-fuzzy systems
soft computing
Opis:
Several important fuzzy implications and their properties are described on the basis of an axiomatic approach to the definition of the fuzzy implications. Then the idea of approximate reasoning using the generalized modus ponens and fuzzy implications is considered. The elimination of the non-informative part of the final fuzzy set before defuzzification plays the key role in this paper. After reviewing well-known fuzzy systems, a new artificial neural network based on logical interpretation of if-then rules (ANBLIR) is introduced. Moreover, this system automatically generates rules from numerical data. Applications of ANBLIR to pattern recognition on numerical examples using benchmark databases are indicated.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2000, 10, 4; 703-722
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Arthura W. Burksa twierdzenie o dodawaniu zbędnego warunku
Arthur W. Burks’s Theorem on Adding a Superfluous Condition
Autorzy:
Modrzejewska, Anna
Powiązania:
https://bibliotekanauki.pl/articles/2013942.pdf
Data publikacji:
2005
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
twierdzenie o dodawaniu zbędnego warunku
kontrfaktyczna i kauzalna implikacja
system logiki zdań kauzalnych
theorem on adding a superfluous condition
counterfactual and causal implication
system of logic of causal propositions
Opis:
In the first part of the article true expressions and false expressions are presented that served A. W. Burks to build a formal system of logic of causal propositions along with considering their later use in the system built in 1963. In the second part of the article the possibility of conducting an axiomatic proof of the theorem on adding a superfluous condition is analyzed. The consequences are also shown of substituting a negation of the same propositional variable for the propositional variable and conditions are analyzed of substitution for propositional variables and possibilities of avoiding those difficulties.
Źródło:
Roczniki Filozoficzne; 2005, 53, 1; 183-196
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
O implikacji kauzalnej
On Causal Implication
Autorzy:
Modrzejewska, Anna
Powiązania:
https://bibliotekanauki.pl/articles/2015669.pdf
Data publikacji:
2004
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika
A. W. Burks
implikacja kauzalna
logic
causal implication
Opis:
The first part of the paper characterises two new non-extensional functors: functor of counterfactual implication and functor of causal implication. The latter functor was used by Arthur W. Burks in his early considerations on the construction of a system of the logic of causal propositions, the formal inscription of conditional propositions in the colloquial language and the language of empirical sciences. The second part traces down the mutual relations between the functors of counterfactual implication, causal implication, material implication and strict implication. Special attention is paid to the fact that causal implication implies material implication (a converse relationship does not occur), and strict implication implies causal implication (a converse relationship does not occur).
Źródło:
Roczniki Filozoficzne; 2004, 52, 1; 215-225
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Higher order fuzzy logic in controlling selective catalytic reduction systems
Autorzy:
Niewiadomski, A.
Kacprowicz, M.
Powiązania:
https://bibliotekanauki.pl/articles/201190.pdf
Data publikacji:
2014
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
Selective Catalytic Reduction
SCR
air pollution
nitrogen oxides
adjustable air filter
ammonia valve
interval-valued fuzzy logic system
fuzzy controlling of air filter adjustments
type-2 fuzzy logic system
fuzzy implications
selektywna redukcja katalityczna SCR
zanieczyszczenia powietrza
tlenki azotu
regulowane filtry powietrza
zawór amoniaku
rozmyte kontrolowanie zmian filtra powietrza
typ-2 systemu logiki rozmytej
implikacja rozmyta
Opis:
This paper presents research on applications of fuzzy logic and higher-order fuzzy logic systems to control filters reducing air pollution [1]. The filters use Selective Catalytic Reduction (SCR) method and, as for now, this process is controlled manually by a human expert. The goal of the research is to control an SCR system responsible for emission of nitrogen oxide (NO) and nitrogen dioxide (NO2) to the air, using SCR with ammonia (NH3). There are two higher-order fuzzy logic systems presented, applying interval-valued fuzzy sets and type-2 fuzzy sets, respectively. Fuzzy sets and higher order fuzzy sets describe linguistically levels of nitrogen oxides as the input, and settings of ammonia valve in the air filter as the output. The obtained results are consistent with data provided by experts. Besides, we show that the type-2 fuzzy logic controllers allows us to obtain results much closer to desired parameters of the ammonia valve, than traditional FLS.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2014, 62, 4; 743-750
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wnioskowanie logiczne za pomocą DNA. Reguła kontrapozycji
Logical deduction with DNA. The rule of contraposition
Autorzy:
Rogowski, Łukasz
Powiązania:
https://bibliotekanauki.pl/articles/41205160.pdf
Data publikacji:
2013
Wydawca:
Uniwersytet Kazimierza Wielkiego w Bydgoszczy
Tematy:
obliczenia DNA
komputer DNA
logika
wnioskowanie
implikacja
implementacja
reguła kontrapozycji
DNA computing
computer DNA
logic
deduction
implication
implementation
rule of contraposition
Opis:
Obliczenia DNA (z ang. DNA computing) to nowa dziedzina informatyki, będąca alternatywą dla tradycyjnych systemów komputerowych, polegająca na wykorzystaniu cząsteczek molekularnych do rozwiązywania problemów algorytmicznych, matematycznych i logicznych. Niniejszy artykuł przedstawia istniejące implementacje systemów wnioskowania realizowanych za pomocą DNA oraz nową koncepcję takiego systemu, uwzględniającą nowe elementy: negację i regułę kontrapozycji w implikacji.
DNA computing is one of new computational paradigms which are alternative to traditional computer systems. Biological molecules in special laboratory conditions can be used to solve mathematical, logical and algorithmic purposes. This paper describes some already existing models of logical inference systems and the new proposal – DNA deduction system using new elements: negation and rule of contraposition.
Źródło:
Studia i Materiały Informatyki Stosowanej; 2013, 12; 11-18
1689-6300
Pojawia się w:
Studia i Materiały Informatyki Stosowanej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Implication-Based Neuro-Fuzzy Architectures
Autorzy:
Rutkowska, D.
Nowicki, R.
Powiązania:
https://bibliotekanauki.pl/articles/911144.pdf
Data publikacji:
2000
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
system rozmyty
implikacja rozmyta
wnioskowanie rozmyte
neuro-fuzzy systems
fuzzy implications
fuzzy inference
Mamdani approach
logical approach
connectionist architectures
Opis:
This paper presents connectionist multi-layer architectures of neuro-fuzzy systems based on various fuzzy implications. The well-known Mamdani approach (constructive) and the logical approach (destructive) are considered. Two kinds of architectures, a simpler and a more general one, are distinguished. Examples of application to classification and control problems are provided.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2000, 10, 4; 675-701
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zmienna czasowa w starożytnej i średniowiecznej teorii zdań warunkowych
Time Variable in Ancient and Medieval Concepts of the Conditional
Autorzy:
Tkaczyk, Marcin
Powiązania:
https://bibliotekanauki.pl/articles/2013333.pdf
Data publikacji:
2007
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
zdanie warunkowe
implikacja
consequentia
logika temporalna
conditional
implication
temporal logic
Opis:
A problem of mutual relationships of the concepts of the conditional by Diodorus Cronus, Philo, Abelard, Pseudo Scotus (Iohannes do Cornubia?) and William of Ockham is examined. Both in ancient and medieval logic there seems to be a discussion on a version of the concept that involves a time variable and one that does not. Diodorus, Pseudo Scotus and Ockham, when defining the conditional, make essential use of temporal concepts, while Philo and Abelard do not. It is discussed, which concepts examined may be identified with one another and what is the rôle that the temporal concepts play.
Źródło:
Roczniki Filozoficzne; 2007, 55, 2; 99-121
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Covid-19 pandemic as a factor increasing truck drivers’ stress
Autorzy:
Zalewski, Wojciech
Osińska, Magdalena
Chylewska-Barakat, Lidia
Powiązania:
https://bibliotekanauki.pl/articles/27313453.pdf
Data publikacji:
2022
Wydawca:
Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:
stressor
truck driver
COVID-19
economic conditions
support implication
stresor
kierowca samochodu ciężarowego
warunki ekonomiczne
implikacja wsparcia
Opis:
Purpose: The questionnaire-based study investigated whether the COVID-19 pandemic increased stress in busy truck drivers' jobs. Design/methodology/approach: The sample of 239 drivers was examined in March-August, 2021. Findings: The study revealed that most drivers were resilient to COVID-19-related stressors. Some stressors, such as age, seniority, recovering from COVID-19, and worsening family financial conditions, were found to have more impact on some respondents than others. Age and seniority were related to anxiety about increased occupational activities. Those whose economic conditions worsened were afraid of job loss. People who recovered from COVID-19 felt overworked more often than others and tended to be scared of safety on the road and being alone in the truck. They more often required psychological support. Research limitations/implications: The study is based on a sample of drivers observed conveniently in 2021. Monitoring them in two or three waves is recommended to compare the impact of other processes that could affect responses. Practical implications: The outcomes are valuable in practice twofold. Firstly, the knowledge is acquired directly from the drivers who proved to be pretty resilient to COVID-related issues; however, some were more sensitive than others. That means the drivers as an occupational group cannot be considered uniform. Some needed psychological support, and such cases should be identified at the enterprise level. Secondly, the results show that COVID-related stressors with other accompanying issues increase the impact on drivers’ health. Originality/value: The empirical results revealed the most significant stressors. They were justified by using several stress definitions and psychological theories, particularly the Conservation of Resources Theory. They can be considered in the drivers' management process.
Źródło:
Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska; 2022, 160; 685--702
1641-3466
Pojawia się w:
Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modelowanie rozumowań abdukcyjnych: przypadek gry Takie Życie
Autorzy:
Żyluk, Natalia
Urbański, Mariusz
Żelechowska, Dorota
Powiązania:
https://bibliotekanauki.pl/articles/561374.pdf
Data publikacji:
2018
Wydawca:
Polskie Towarzystwo Semiotyczne
Tematy:
abdukcja
logika pytań
implikacja erotetyczna
semantyka sytuacyjna
zawężanie
odsiewanie
abduction
logic of questions
erotetic implication
situational semantics
funneling
sifting
Opis:
Prezentujemy dwa formalne narzędzia służące do modelowania rozumowań, za pomocą których rozwiązywane są szczególnego rodzaju problemy abdukcyjne. Pierwszy model, osadzony w formalizmie logiki pytań, bazuje na pojęciu słabej implikacji erotetycznej. Drugi model wykorzystuje relacje zawężania i odsiewania definiowane za pomocą logiki pytań, semantyki sytuacyjnej i pojęcia relewancji wątku. Na przykładzie analizy rozgrywek w grę Takie Życie pokazujemy, że oba modele adekwatnie charakteryzują dane empiryczne.
Our research provides formal tools for analyses of reasoning involved in solutions to a specific class of abductive problems. We present two models of this reasoning. The first one is grounded in the logic of questions and employs a weak version of erotetic implication. The second one is construed in terms of relations of sifting and funneling. Definitions of these relations involve the logic of questions, situational semantics, and the concept of topic relevance. As we show on the basis of a Mind Maze gameplay case study, these models account well for empirical data.
Źródło:
Studia Semiotyczne; 2018, 32, 1; 53-75
0137-6608
Pojawia się w:
Studia Semiotyczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 17

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