30 found
Order:
  1. Is the Ontological Proof of God's Existence an Onto-Logical Proof of God's Existence?Marcin Tkaczyk - 2007 - Logic and Logical Philosophy 16:289-309.
    Two questions concerning Anselm of Canterbury’s theistic argument provided in Proslogion Ch. 2 are asked and answered: is the argumentvalid? under what conditions could it be sound? In order to answer thequestions the argument is formalized as a first-order theory called AP2. Theargument turns out to be valid, although it contains a hidden premise. Theargument is also claimed not to be ontological one, but rather an a posteriori argument. One of the premises is found to be false, so the argument (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  7
    Jerzy Łoś Positional Calculus and the Origin of Temporal Logic.Marcin Tkaczyk & Tomasz Jarmużek - forthcoming - Logic and Logical Philosophy:1.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  35
    Is the Ontological Proof for God’s Existence an Ontological Proof for God’s Existence?Marcin Tkaczyk - 2007 - Logic and Logical Philosophy 16 (4):289-309.
    Two questions concerning Anselm of Canterbury’s theistic argument provided in Proslogion Ch. 2 are asked and answered: is the argument valid? under what conditions could it be sound? In order to answer the questions the argument is formalized as a first-order theory called AP2. The argument turns out to be valid, although it contains a hidden premise. The argument is also claimed not to be ontological one, but rather an a posteriori argument. One of the premises is found to be (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  8
    On Axiomatization of Łukasiewicz's Four-Valued Modal Logic.Marcin Tkaczyk - 2011 - Logic and Logical Philosophy 20 (3):215-232.
    Formal aspects of various ways of description of Jan Łukasiewicz’s four-valued modal logic £ are discussed. The original Łukasiewicz’s description by means of the accepted and rejected theorems, together with the four-valued matrix, is presented. Then the improved E.J. Lemmon’s description based upon three specific axioms, together with the relational semantics, is presented as well. It is proved that Lemmon’s axiomatic is not independent: one axiom is derivable on the base of the remanent two. Several axiomatizations, based on three, two (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  11
    Założeniowe systemy normalnych logik modalnych.Marcin Tkaczyk - 2007 - Roczniki Filozoficzne 55 (1):219-227.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  6. Zwroty modalne języka fizyki.Marcin Tkaczyk - 2006 - Filozofia Nauki 4.
    Modal concepts - among them the concepts of logical, physical (nomic) and metaphysical necessity - used to be quite important for philosophy of science during centuries. However, in the XX c. most philosophers preferred not to recognize those concepts in science (especially the concept of physical necessity). They were wrong. Some patterns from history of physics are presented, showing the concept of physical necessity playing an important role in the scientific research of nature. And the nature of physically necessary statements (...)
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  7.  2
    Distribution Laws in Weak Positional Logics.Marcin Tkaczyk - 2018 - Roczniki Filozoficzne 66 (3):163-179.
    A formal language is positional if it involves a positional connecitve, i.e. a connective of realization to relate formulas to points of a kind, like points of realization or points of relativization. The connective in focus in this paper is the connective “R”, first introduced by Jerzy Łoś. Formulas [Rαφ] involve a singular name α and a formula φ to the effect that φ is satisfied relative to the position designated by α. In weak positional calculi no nested occurences of (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  21
    Bóg, modalność, esencjalizm. Pewna wersja szkotystycznego dowodu tezy o istnieniu Boga.Marcin Tkaczyk - 2009 - Roczniki Filozoficzne 57 (1):231-256.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9.  14
    A Spurious Confusion in Temporal Logic.Marcin Tkaczyk - 2015 - Logic and Logical Philosophy 24 (2).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  7
    Prawa logiki i prawa przyrody w ujęciu Johna Bigelowa i Roberta Pargettera.Marcin Tkaczyk - 2005 - Roczniki Filozoficzne 53 (1):245-260.
    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 (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  16
    Pojęcie istnienia w czasie a pojęcie współistnienia z czasem w Monologionie Anzelma z Canterbury.Marcin Tkaczyk - 2010 - Roczniki Filozoficzne 58 (1):247-262.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12.  12
    A Formal Theory of Physical Necessity.Marcin Tkaczyk - 2007 - Logic and Logical Philosophy 16 (1):65-83.
    A system HW of normal modal logic, developed by R. Bigelow & R. Pargetter is presented. Some formal issues concerning the system are examined, such as completeness, number of distinct modalities and relations to other systems. Some philosophical topics are also discussed. The Authors interpret the system HW as the system of physical (nomic) modalities. It is questioned, whether or not the system HW is justified to be claimed to be the logic of physical necessity. The answer seems to may (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  13.  10
    Zmienna czasowa w starożytnej i średniowiecznej teorii zdań warunkowych.Marcin Tkaczyk - 2007 - Roczniki Filozoficzne 55 (2):99-121.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14.  5
    Wprowadzenie do logik adaptywnych.Marcin Tkaczyk - 2010 - Roczniki Filozoficzne 58 (2):308-312.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15.  8
    Negation in Weak Positional Calculi.Marcin Tkaczyk - 2013 - Logic and Logical Philosophy 22 (1):3-19.
    Four weak positional calculi are constructed and examined. They refer to the use of the connective of negation within the scope of the positional connective “R” of realization. The connective of negation may be fully classical, partially analogical or independent from the classical, truth-functional negation. It has been also proved that the strongest system, containing fully classical connective of negation, is deductively equivalent to the system MR from Jarmużek and Pietruszczak.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  16.  6
    Temporalna interpretacja logiki modalnej.Marcin Tkaczyk - 2008 - Roczniki Filozoficzne 56 (2):275-299.
    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 always be the case that (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17. Daniel A. Bonevac, Deduction: Introductory Symbolic Logic, Malden–Oxford: Blackwell Publishers, 2003.Marcin Tkaczyk - 2007 - Roczniki Filozoficzne:319-323.
    No categories
     
    Export citation  
     
    Bookmark  
  18. David Makinson, Od logiki klasycznej do niemonotonicznej, z ang. przeł. T. Jarmużek, Toru_: Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika 2008. [REVIEW]Marcin Tkaczyk - 2011 - Roczniki Filozoficzne:105-111.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  19. George S. Boolos, John P. Burgess, Richard C. Jeffrey, Computability and Logic.Marcin Tkaczyk - 2007 - Roczniki Filozoficzne:271-276.
  20. Handbook of the History of Logic, T. 5: Logic From Russell to Church, Edited by Dov M. Gabbay, John Woods.Marcin Tkaczyk - 2010 - Roczniki Filozoficzne:300-307.
     
    Export citation  
     
    Bookmark  
  21. JC Beall, Greg Restall, Logical Pluralism, Oxford: Oxford University Press, 2006.Marcin Tkaczyk - 2007 - Roczniki Filozoficzne:316-319.
     
    Export citation  
     
    Bookmark  
  22. Jan Skoczyński, Jan Woleński, Historia filozofii polskiej, Kraków: Wydawnictwo WAM 2010, ss. 567. Seria: Myśl Filozoficzna. [REVIEW]Marcin Tkaczyk - 2011 - Roczniki Filozoficzne:90-96.
    Translate
     
     
    Export citation  
     
    Bookmark  
  23. Logika Czasu Empirycznego: Funktor Realizacji Czasowej W Językach Teorii Fizykalnych.Marcin Tkaczyk - 2009 - Wydawnictwo Katolickiego Uniwersytetu Lubelskiego.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  24. Leksykon pojęć filozofii analitycznej, red. Peter Prechtl, z niem. przeł. Józef Bremer, Kraków 2009, Wydawnictwo WAM, ss. 321. [REVIEW]Marcin Tkaczyk - 2011 - Roczniki Filozoficzne:97-105.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  25. Marek Lechniak, Elementy Logiki Dla Prawników.Marcin Tkaczyk - 2007 - Roczniki Filozoficzne:276-282.
    Translate
     
     
    Export citation  
     
    Bookmark  
  26. Próba formalizacji wnioskowania zawartego w II rozdziale Proslogionu Anzelma z Canterbury.Marcin Tkaczyk - 2006 - Ruch Filozoficzny 2 (2).
    Translate
     
     
    Export citation  
     
    Bookmark  
  27. Publikacje prof. dra hab. Stanisława Kiczuka.Marcin Tkaczyk - 2008 - Roczniki Filozoficzne:31-38.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  28. Stanisława Kiczuka logika świata realnego.Marcin Tkaczyk - 2008 - Roczniki Filozoficzne:9-30.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  29. Samokrytyczna uwaga o założeniowych systemach logiki modalnej.Marcin Tkaczyk - 2007 - Roczniki Filozoficzne:305-306.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  30. W sprawie egzystencjalnych konsekwencji zdan predykatywnych.Marcin Tkaczyk - 2008 - Studia Philosophiae Christianae 44 (1):134-146.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark