49 found
Order:
  1.  35
    Jerzy Łoś Positional Calculus and the Origin of Temporal Logic.Marcin Tkaczyk & Tomasz Jarmużek - forthcoming - Logic and Logical Philosophy:1.
  2.  5
    Logika czasu empirycznego: funktor realizacji czasowej w językach teorii fizykalnych.Marcin Tkaczyk - 2009 - Lublin: Wydawnictwo Katolickiego Uniwersytetu Lubelskiego.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  3.  14
    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   4 citations  
  4.  35
    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   6 citations  
  5.  4
    Bocheński’s model of the development of logic.Marcin Tkaczyk - 2021 - Studies in East European Thought 74 (2):211-224.
    According to Bocheński’s description of the history of formal logic, there clearly is some objective development, though far from being cumulative or linear. The history of logic throughout the world consists of three relatively short pinnacles preceded by also short periods of awakening and followed by periods of extensive commentary running into long periods of standstill and decadence, when nearly all achievements are consigned to oblivion.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  21
    The Antinomy of Future Contingent Events.Marcin Tkaczyk - 2018 - Roczniki Filozoficzne 66 (4):5-38.
    The antinomy of future contingents is here understood as a trilemma whose horns are (a) the thesis of the closed past, (b) the thesis of the open future, and (c) the thesis that all events can be represented at any time. The latter thesis can take different forms, like the principle of bivalence or the thesis of divine foreknowledge. Different versions of (c) lead to different versions of the antinomy itself. The antinomy has been formalized. It hasbeen proven that the (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  27
    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   4 citations  
  8.  12
    Siła wyrazu pozycyjnego operatora R: studium przypadku z logiki modalnej i modalnej filozofii.Tomasz Jarmużek & Marcin Tkaczyk - 2019 - Ruch Filozoficzny 75 (2):93.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  8
    The Principle of Explosion in the Stoic Logic.Marcin Tkaczyk - forthcoming - Logic and Logical Philosophy:1-21.
    I argue that the Stoic logic is explosive. The claim applies to the Stoics' syllogistic in the strictest sense, because there is a provable syllogism which qualifies as a principle of explosion. It applies also to the general consequence operation, in the sense that every sentence is derivable from any pair containing both a sentence and the negation of the sentence. Finally, it applies to the connective of implication (conditional), in the sense that any conditional is derivable, providing its antecedent (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  6
    Are Ancient Logics Explosive?Marcin Tkaczyk - 2024 - History and Philosophy of Logic 45 (2):109-123.
    The twentieth-century logical mainstream, derived from works by Łukasiewicz and Scholz, pictures the history of logic for the most part as the prehistory of Boolean–Fregean mathematical logic. Particularly, with respect to classical propositional calculus, the Stoic logic has been pictured as an early stage of it and Aristotle's or the Peripatetics' logic as a theory that assumes it. Although it was not emphasised, it follows that the ancient logics contain the principle of explosion. In the endmost quarter of the twentieth (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11. 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  
  12.  14
    Robert Trueman’s Defence of Higher-Order Logic.Marcin Tkaczyk - forthcoming - Logic and Logical Philosophy:1-6.
    The paper contains a review and a discussion of Robert Trueman's book Properties and Propositions: The Metaphysics of Higher-Order Logic, Cambridge University Press, 2021, pp. xii + 227. ISBN 978-1-108-81410-2. The discussion is focused on the consistency of Truema's language-based ontology and on its value in defending higher-order logic.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  7
    Logika.Stanisław Janeczek, Marcin Tkaczyk & Anna Starościc (eds.) - 2018 - Lublin: Wydawnictwo KUL.
    część I. Natura logiki -- część II. Kultura logiczna.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  26
    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  
  15.  27
    A spurious confusion in temporal logic.Marcin Tkaczyk - 2015 - Logic and Logical Philosophy 24 (2).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  50
    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)  
     
    Export citation  
     
    Bookmark  
  17.  3
    Czy istnieje filozofia religii?Marcin Tkaczyk - 2023 - Roczniki Filozoficzne 71 (2):335-355.
    Przedmiotem dociekania jest filozofia religii pojmowana jako nauka o tak zwanych przekonaniach religijnych. Ponieważ pojęcie religii jest bardzo niejasne, filozofia religii nie ma dobrze określonego przedmiotu. Nie ma też określonej metody. Każde poważne osiągnięcie w tej dziedzinie stanowi bądź kryptoteologię, bądź kryptometafizykę. Studium przypadku stanowi analiza tezy „Bóg jest wszechmocny”. Okazuje się, że sens i sposób uzasadnienia tej tezy jest inny na gruncie teologii katolickiej i na gruncie metafizyki. Ponieważ nie widać miejsca na inny sposób rozumienia i uzasadniania tez tego (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  6
    Geneza koła krakowskiego.Marcin Tkaczyk - 2019 - Studia Philosophiae Christianae 55 (2):9-39.
    Artykuł poświęcony jest charakterystyce kulturowego tła manifestu koła krakowskiego i jego zespołu, który stanowili: Józef Maria Bocheński OP, Jan Franciszek Drewnowski, ks. Jan Salamucha oraz Bolesław Sobociński, i który był wspierany przez Jana Łukasiewicza i ks. Konstantego Michalskiego. Manifestem koła była aplikacja programu szkoły lwowsko-warszawskiej do katolickiej teologii i filozofii. W tym przedsięwzięciu szczególną rolę odegrała Łukasiewicza wersja programu. Do zastosowanych środków należały: odnowienie języka tak, aby spełniał on wszystkie warunki właściwego dyskursu naukowego, recepcja logiki matematycznej, uwspółcześnienie semiotyki i metodologii (...)
    No categories
    Direct download (2 more)  
     
    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.  98
    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  
  22. JC Beall, Greg Restall, Logical Pluralism, Oxford: Oxford University Press, 2006.Marcin Tkaczyk - 2007 - Roczniki Filozoficzne:316-319.
     
    Export citation  
     
    Bookmark  
  23.  8
    Jedność i wielość logik modalnych.Marcin Tkaczyk (ed.) - 2019 - Lublin: Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawła II.
  24. Marek Lechniak, Elementy logiki dla prawników.Marcin Tkaczyk - 2007 - Roczniki Filozoficzne:276-282.
     
    Export citation  
     
    Bookmark  
  25. Próba formalizacji wnioskowania zawartego w II rozdziale Proslogionu Anzelma z Canterbury.Marcin Tkaczyk - 2006 - Ruch Filozoficzny 2 (2).
     
    Export citation  
     
    Bookmark   1 citation  
  26.  23
    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)  
     
    Export citation  
     
    Bookmark  
  27.  12
    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  
     
    Export citation  
     
    Bookmark   1 citation  
  28. Publikacje prof. dra hab. Stanisława Kiczuka.Marcin Tkaczyk - 2008 - Roczniki Filozoficzne:31-38.
    No categories
     
    Export citation  
     
    Bookmark  
  29. Stanisława Kiczuka logika świata realnego.Marcin Tkaczyk - 2008 - Roczniki Filozoficzne:9-30.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  30. Samokrytyczna uwaga o założeniowych systemach logiki modalnej.Marcin Tkaczyk - 2007 - Roczniki Filozoficzne:305-306.
    No categories
     
    Export citation  
     
    Bookmark  
  31.  26
    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  
     
    Export citation  
     
    Bookmark  
  32.  7
    Veritas in caritate: księga pamiątkowa ku czci Księdza Profesora Andrzeja Szostka MIC.Marcin Tkaczyk, Marzena Krupa, Krzysztof Jaworski & Andrzej Szostek (eds.) - 2016 - Lublin: Wydawnictwo KUL.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33. W sprawie egzystencjalnych konsekwencji zdan predykatywnych.Marcin Tkaczyk - 2008 - Studia Philosophiae Christianae 44 (1):134-146.
    No categories
     
    Export citation  
     
    Bookmark  
  34.  17
    Zmienna czasowa w starożytnej i średniowiecznej teorii zdań warunkowych.Marcin Tkaczyk - 2007 - Roczniki Filozoficzne 55 (2):99-121.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  35. 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 (...)
     
    Export citation  
     
    Bookmark   1 citation  
  36.  21
    Założeniowe systemy normalnych logik modalnych.Marcin Tkaczyk - 2007 - Roczniki Filozoficzne 55 (1):219-227.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  8
    Book Reviews: Andrzej Pietruszczak, Foundations of the Theory of Parthood: A Study of Mereology, Springer International Publishing, Series: Trends in Logic, Vol. 54, 2020, pp. 308. ISBN 978-3-030-36532-5 (Hardcover) €83,19, ISBN 978-3-030-36533-2 (eBook) €67,40. [REVIEW]Marcin Tkaczyk - 2020 - Studia Logica 109 (3):683-686.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38.  10
    Założeniowe systemy normalnych logik modalnych. [REVIEW]Marcin Tkaczyk - 2007 - Roczniki Filozoficzne 55 (1):219-228.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  3
    Deduction. Introductory Symbolic Logic. [REVIEW]Marcin Tkaczyk - 2007 - Roczniki Filozoficzne 55 (1):319-323.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  6
    Historia filozofii polskiej. [REVIEW]Marcin Tkaczyk - 2011 - Roczniki Filozoficzne 59 (1):90-96.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41. 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.
     
    Export citation  
     
    Bookmark  
  42.  11
    Założeniowe systemy normalnych logik modalnych. [REVIEW]Marcin Tkaczyk - 2007 - Roczniki Filozoficzne 55 (1):219-228.
  43. 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
     
    Export citation  
     
    Bookmark  
  44.  8
    Historia filozofii polskiej. [REVIEW]Marcin Tkaczyk - 2011 - Roczniki Filozoficzne 59 (1):90-96.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  1
    Logical Pluralism. [REVIEW]Marcin Tkaczyk - 2007 - Roczniki Filozoficzne 55 (1):316-319.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  6
    Historia filozofii polskiej. [REVIEW]Marcin Tkaczyk - 2011 - Roczniki Filozoficzne 59 (1):90-96.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  2
    Od logiki klasycznej do niemonotonicznej. [REVIEW]Marcin Tkaczyk - 2011 - Roczniki Filozoficzne 59 (1):105-111.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  11
    Podstawy logiki modalnej. [REVIEW]Marcin Tkaczyk - 2006 - Roczniki Filozoficzne 54 (1):283-287.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  11
    Wprowadzenie do logik adaptywnych. [REVIEW]Marcin Tkaczyk - 2010 - Roczniki Filozoficzne 58 (2):308-312.
    Direct download  
     
    Export citation  
     
    Bookmark