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-12 z 12
    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ł:
    Lou Goble (ed.), The Blackwell Guide to Philosophical Logic
    Lou Goble (ed.), The Blackwell Guide to Philosophical Logic, Oxford: Blackwell Publishing, Inc. 2001, pp. 520. ISBN 0631206930
    Autorzy:
    Tkaczyk, Marcin
    Powiązania:
    https://bibliotekanauki.pl/articles/2013382.pdf
    Data publikacji:
    2006
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Źródło:
    Roczniki Filozoficzne; 2006, 54, 2; 442-447
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Założeniowe systemy normalnych logik modalnych
    Natural Deduction Systems of Normal Modal Logics
    Autorzy:
    Tkaczyk, Marcin
    Powiązania:
    https://bibliotekanauki.pl/articles/2013342.pdf
    Data publikacji:
    2007
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    logika modalna
    normalna logika modalna
    dedukcja naturalna
    system założeniowy
    modal logic
    normal modal logic
    natural deduction
    Opis:
    Most normal modal logics have been constructed as axiomatic systems rather than natural deduction. However, a lot of them have Gentzen-style or Kalish-Montague-style counterparts. Unfortunately, very few systems have Słupecki-Borkowski-style natural deduction counterparts. To fill in the gap is an aim of the present paper. The system K is developed as a Leśniewski-Borkowski-style natural deduction system in two ways. Equivalence of the systems is proved. A way is described to develop other normal systems beginning with the given system K.
    Źródło:
    Roczniki Filozoficzne; 2007, 55, 1; 219-228
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    George S. Boolos, John P. Burgess, Richard C. Jeffrey, Computability and Logic, Fourth edition
    George S. Boolos, John P. Burgess, Richard C. Jeffrey, Computability and Logic, Fourth edition, Cambridge: Cambridge University Press 2003, pp. 355 + 12. ISBN 0-521-00758-5
    Autorzy:
    Tkaczyk, Marcin
    Powiązania:
    https://bibliotekanauki.pl/articles/2013259.pdf
    Data publikacji:
    2007
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Źródło:
    Roczniki Filozoficzne; 2007, 55, 2; 271-276
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Prawa logiki i prawa przyrody w ujęciu Johna Bigelowa i Roberta Pargettera
    The Laws of Logic and the Laws of Nature in John Bigelow and Robert Pargetter’s Approach
    Autorzy:
    Tkaczyk, Marcin
    Powiązania:
    https://bibliotekanauki.pl/articles/2013920.pdf
    Data publikacji:
    2005
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    prawo logiki
    prawo przyrody
    konieczność logiczna
    konieczność przyrodnicza
    law of logic
    law of nature
    logical necessity
    natural (nomic) necessity
    Opis:
    J. Bigelow and R. Pargetter in their work Science and Necessity put forward a theory of the laws of nature as statements objectively different with respect to their modal qualification both from the laws of logic and from contingent truths. Contrary to the latter ones all laws are characterized by necessity. However, there are various kinds of necessity. The laws of logic are characterized by logical necessity, and the laws of nature – by natural necessity. The objective basis for differentiating modal qualification of statements belonging to the particular classes is that laws are truths about possibilities, also the ones that have not been actualized. The source of difference between logical and natural necessity is the differentiation between the range of possibilities described by respective laws. Hence, laws of nature prove to be – which is not mentioned by the authors – a posteriori necessary statements. The modal character has been the basis of the explanation of other considered properties of scientific laws: certain generality and the so-called range void.
    Źródło:
    Roczniki Filozoficzne; 2005, 53, 1; 245-261
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    David Makinson, Od logiki klasycznej do niemonotonicznej, z ang. przeł. T. Jarmużek
    David Makinson, Od logiki klasycznej do niemonotonicznej [Bridges from Classical to Nonmonotonic Logic]
    Autorzy:
    Tkaczyk, Marcin
    Powiązania:
    https://bibliotekanauki.pl/articles/2012858.pdf
    Data publikacji:
    2011
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Źródło:
    Roczniki Filozoficzne; 2011, 59, 1; 105-111
    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ł:
    Marek Lechniak, Elementy logiki dla prawników
    Marek Lechniak, Elementy logiki dla prawników [The Elements of Logic for Lawyers], Lublin: Wydawnictwo KUL 2006, pp. 193. ISBN 978-83-7363-440-4
    Autorzy:
    Tkaczyk, Marcin
    Powiązania:
    https://bibliotekanauki.pl/articles/2013258.pdf
    Data publikacji:
    2007
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Źródło:
    Roczniki Filozoficzne; 2007, 55, 2; 276-282
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Bóg, modalność, esencjalizm. Pewna wersja szkotystycznego dowodu tezy o istnieniu Boga
    God, Modality and Essentialism. A Version of the Scotist Proof for God’s Existence
    Autorzy:
    Tkaczyk, Marcin
    Powiązania:
    https://bibliotekanauki.pl/articles/2013049.pdf
    Data publikacji:
    2009
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    Duns Szkot
    dowód na istnienie Boga
    logika modalna
    esencjalizm
    Duns Scotus
    proof for God’s existence
    modal logic
    essentialism
    Opis:
    A proof for God’s existence, inspired by Duns Scotus’s Tractatus de primo principio, is analyzed. The conclusion is based on three premises arranged in the matrix of a specific modal logic. The premises are: 1. it is possible for the world to be created by God; 2. if the world is created by God, then God exists; 3. if God exists, then God exists necessarily. In comparison to the original Scotus’s work the concept of essential order has been removed and replaced with a concept of creation. Modal expressions of the proof have been analyzed with an application of essentialism of Aristotle and Ibn Sina – the version of essentialism accepted by Scotus. Scotus’s underlying modal logic has been reconstructed and discussed in two versions: 1. as a modal logic with one pair of natural modalities; 2. as a multimodal logic with two pairs of modalities – natural and logical. The concept of natural modality is based on the essentialism discussed, the concept of logical modality is based on Scotus’s idea of non repugnantia terminorum.
    Źródło:
    Roczniki Filozoficzne; 2009, 57, 1; 231-256
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-12 z 12

      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