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: Wszystkie pola

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 16
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ł:
Logika a językoznawstwo. Uwagi na marginesie dyskusji logików z językoznawcami
Logic vs. Linguistics: Notes on the Margin of Discussion between Logicians and Linguists
Autorzy:
Lechniak, Marek
Powiązania:
https://bibliotekanauki.pl/articles/488360.pdf
Data publikacji:
2016
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
językoznawstwo
logika
paralokucja
znaczenie wyrażenia
linguistics
logic
paralocution
meaning of the expression
Opis:
Artykuł podejmuje zagadnienie relacji między językoznawstwem a logiką. Punktem wyjścia są dyskusje między logikami a językoznawcami, które miały miejsce w ostatnich kilkunastu latach. W artykule poddano analizie wzmiankowane dyskusje i wskazano, że faktycznie wkradają się w nie nieporozumienia; spróbowano również dokładniej określić domenę logiki i ukazać, że różni się ona zasadniczo od domeny językoznawstwa.
The relation between linguistics and logic is analysed in the paper. Its starting point are two discussions between logicians and linguists that took place in recent years. The main points of these discussions were presented and it was argued that they are based on some misunderstandings. Thereafter, the author tried to determinate the domains of linguistics and logic in more precise way and to show the differences between these domains.
Źródło:
Roczniki Filozoficzne; 2016, 64, 2; 29-44
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
John N. Martin, Themes in Neoplatonic and Aristotelian Logic: Order, Negation and Abstraction
John N. Martin, Themes in Neoplatonic and Aristotelian Logic: Order, Negation and Abstraction, London: Ashgate Publishing 2004, pp. 204. ISBN 0 7546-0811-5
Autorzy:
Lechniak, Marek
Powiązania:
https://bibliotekanauki.pl/articles/2013265.pdf
Data publikacji:
2007
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Źródło:
Roczniki Filozoficzne; 2007, 55, 2; 244-251
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A. A. Zinowiewa koncepcja logiki wielowartościowej
A. A. Zinovievs Conception of the Many-valued Logic
Autorzy:
Lechniak, Marek
Powiązania:
https://bibliotekanauki.pl/articles/2016315.pdf
Data publikacji:
1993
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Opis:
The paper seeks to reconstruct A.A. Zinoviev's many-valued logic. In order to construct any system of the many-valued logic it is essential to assume the two-valued logic. The many-valued logic cannot be treated as competitive to the two-valued one. The choice between the two is dictated by the cognitive needs of their users.
Źródło:
Roczniki Filozoficzne; 1993, 41, 1; 73-86
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Kilka uwag o logice przekonań religijnych
A Few Remarks on the Logic of Religious Beliefs
Autorzy:
Lechniak, Marek
Powiązania:
https://bibliotekanauki.pl/articles/488747.pdf
Data publikacji:
2020-03-30
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika religii
przekonanie religijne
wiara
uzasadnienie wiary
J.M. Bocheński
św. Tomasz z Akwinu
logic of religion
religious belief
faith
justification of faith
St. Thomas of Aquinas
Opis:
Artykuł jest poświęcony analizie pojęcia przekonania religijnego przeprowadzonej w świetle logiki. Porównane zostanie pojęcie przekonania religijnego z pojęciem przekonania naukowego, następnie analiza Bocheńskiego koncepcji racjonalności przekonań religijnych (i ich uprawomocnienia) oraz ujęcia Tomasza z Akwinu pojęcia wiary w świetle logiki współczesnej.
An article is an introductory analysis of concept of religious belief in the language of logic. In its first part, there is a comparison of the concept of religious belief with the concept of scientific belief, next part is a presentation and analysis of Bocheński’s conception of rationality of religious beliefs (and their justification), and the third part of article is an attempt of analysis of Aquinas conception of faith (in Sth II-II) in the light of contemporary logic.
Źródło:
Roczniki Filozoficzne; 2020, 68, 1; 99-120
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
J. C. Beall, Bas C. Van Fraassen, Possibilities and Paradox. An Introduction to Modal and Many-Valued Logic
J. C. Beall, Bas C. Van Fraassen, Possibilities and Paradox. An Introduction to Modal and Many-Valued Logic, Oxford University Press 2003, pp. 233. ISBN 0199259879 (10987654321)
Autorzy:
Lechniak, Marek
Powiązania:
https://bibliotekanauki.pl/articles/2013302.pdf
Data publikacji:
2007
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Źródło:
Roczniki Filozoficzne; 2007, 55, 2; 240-244
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zastosowanie systemów pośrednich między S4 A S5 w kontekstach epistemicznych
Application of Systems that are Intermediate between S4 and S5 in Epistemic Contexts
Autorzy:
Lechniak, Marek
Powiązania:
https://bibliotekanauki.pl/articles/2012906.pdf
Data publikacji:
2010
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika modalna
systemy logiki modalnej
wiedza
przekonanie
pojęcia epistemiczne
modal logic
systems of modal logic
knowledge
belief
epistemic concepts
Opis:
The article presents systems of modal logics that are stronger than the S4 and weaker than the S5 systems. After a syntactic and semantic presentation of the systems, they are presented as applied to expressing the property of time. Then, after a discussion of some of Hintikka’s arguments concerning “the only” logic proper for the concept of knowledge and belief, against the background of a discussion of various concepts of knowledge and convictions, the application of the S4.2, S4.3, S4F systems as well as of the S4.4 system for expressing properties of epistemic concepts is shown.
Źródło:
Roczniki Filozoficzne; 2010, 58, 2; 41-60
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
O próbach intuicyjnej interpretacji logiki trójwartościowej J. Łukasiewicza
Some Remarks about Attempts of Intuitive Interpretation of Łukasiewiczs Three-valued Logic
Autorzy:
Lechniak, Marek
Powiązania:
https://bibliotekanauki.pl/articles/1918574.pdf
Data publikacji:
2020-11-16
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Opis:
This article presents some attempts of modification of Łukasiewicz's three-valued logic. Słupecki's attempt had some counterintuitive consequences its assumptions 2, 3, 4 and 8. Borkowski tried to eliminate those counterintuitive consequences. However, his system is four--valued one (it is a modification of Łukasiewicz's four-valued modal system) and its matrices are a result of multiplying of classical, two-valued matrices.
Źródło:
Roczniki Filozoficzne; 1996, 44, 1; 161-176
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The Logic of Time and Modality, edd. Torben Braüner, Per Hasle and Peter Øhrstrøm, „Synthese” Volume 150, Number 3/June, 2006
Autorzy:
Lechniak, Marek
Powiązania:
https://bibliotekanauki.pl/articles/2013355.pdf
Data publikacji:
2007
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Źródło:
Roczniki Filozoficzne; 2007, 55, 1; 309-315
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Stosowanie logiki w filozofii. O dyskusji między Stanisławem Kamińskim i Janem F. Drewnowskim
Applying logic in philosophy. The debate between Stanisław Kamiński and Jan F. Drewnowski
Autorzy:
Lechniak, Marek
Powiązania:
https://bibliotekanauki.pl/articles/431150.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
Tematy:
applicability of logic
Thomistic metaphysics
system of classical metaphysics
formalization of Aquinas’ proof 'ex motu'
stosowalność logiki
metafizyka tomistyczna
system metafizyki klasycznej
formalizacja dowodu 'ex motu'
Opis:
This paper considers and assesses the discussion between J. F. Drewnowski and S. Kamiński concerning how to apply logic in philosophy (more precisely: in general metaphysics within the Aristotelian-Thomistic tradition). In this debate, Drewnowski defended the position of the Krakow Circle according to which it is possible to apply the tools of formal logic in metaphysics. In opposition to Drewnowski, Kamiński formulated many arguments for the thesis that it is impossible to apply formal logic in philosophy. The second half of this paper draws some conclusions from this debate that are relevant to our current understanding of the application of logic in philosophy. n the final part of the paper we criticize Kamiński’s view, which is characteristic of the so-called Lublin philosophical school.
Artykuł prezentuje i komentuje dyskusję pomiędzy J. F. Drewnowskim a S. Kamińskim, której przedmiotem było stosowanie logiki w filozofii, a ściślej w metafizyce ogólnej o orientacji arystotelesowsko-tomistycznej. Drewnowski prezentował w niej stanowisko reprezentatywne dla tzw. Koła Krakowskiego o możliwości stosowania narzędzi logiki formalnej w metafizyce, Kamiński takiej możliwości zaprzeczał. Spróbujemy wskazać pewne wnioski z tej dyskusji przydatne dla dzisiejszego rozumienia stosowania (stosowalności) logiki w filozofii. W końcowej partii podjęta jest próba znalezienia przyczyn stanowiska Kamińskiego, które jest reprezentatywne dla przedstawicieli tzw. lubelskiej szkoły filozoficznej.
Źródło:
Studia Philosophiae Christianae; 2019, 55, 2; 65-85
0585-5470
Pojawia się w:
Studia Philosophiae Christianae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Uwagi o L. Borkowskiego metodzie zerojedynkowego sprawdzania węższego rachunku predykatów
Autorzy:
Lechniak, Marek
Powiązania:
https://bibliotekanauki.pl/articles/2016153.pdf
Data publikacji:
2001
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika
rachunek predykatów
metoda zerojedynkowa
logic
predicate calculus
truth-table decision procedure
Źródło:
Roczniki Filozoficzne; 2001, 49, 1; 235-241
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Opis szeregujący a logiki wielowartościowe. J. N. Martina próba interpretacji systemu Łukasiewicza
Ordering description and many-valued logics. J. N. Martin’s attempt at interpretation of Lukasiewicz’s system
Autorzy:
Lechniak, Marek
Powiązania:
https://bibliotekanauki.pl/articles/2016146.pdf
Data publikacji:
2001
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika nieklasyczna. logika wielowartościowa
negacje
historia filozofii
neoplatonizm
podział logiczny
klasyfikacja
szeregowanie
non-classical logic
many-valued logic
negation(s)
history of philosophy
neoplatonism
logical division
classification
ordering
Opis:
The article presents two attempts at applying J. Lukas iewicz's three-valued logic to analysis of the so-called gradable properties: T. Czeżowski's so-called ordering logics and J. Martin's attempt to connect Lukas iewicz's logic and the neo-Platonian hierarchy of entities. Unfortunately, those attempts were not successful. It can be noticed that in his approach Czeżowski mixed up gradability of truth with gradability of other properties. Martin found that Lukasiewicz's enriching of the division between truth and falsity with a third value suggests some neo-Platonian ontology in which truth - interchangeable with entity - is subject to gradation. However, he does not give an intuitively convincing way of reducing Lukas iewicz's threevalued logic to the corresponding Boole's algebra of compound properties (hence, to a structure belonging to the classical logic).
Źródło:
Roczniki Filozoficzne; 2001, 49, 1; 167-183
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
David Makinson, Od logiki klasycznej do niemonotonicznej, przeł. T. Jarmużek
David Makinson, Od logiki klasycznej do niemonotonicznej [Bridges from Classical to Nonmonotonic Logic], transl. T. Jarmużek
Autorzy:
Lechniak, Marek
Powiązania:
https://bibliotekanauki.pl/articles/2013016.pdf
Data publikacji:
2009
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Źródło:
Roczniki Filozoficzne; 2009, 57, 2; 199-202
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 16

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