Temat: implikacja - Katalog OPAC zbiorów

Skocz do pozycji: 1.

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ł

Zmień widok

na półce

Skocz do pozycji: 2.

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ł

Zmień widok

na półce

Skocz do pozycji: 3.

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ł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "implikacja" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język