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


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

    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