Results for 'Paweł Rojek'

1000+ found
Order:
  1.  41
    God and Cogito: Semen Frank on the ontological argument.Paweł Rojek - 2019 - Studies in East European Thought 71 (2):119-140.
    Semen Frank (1877–1950) was one of the first and most ardent advocates of the ontological argument in the twentieth century. He proposed an original interpretation of the ontological argument based on its analogy to Descartes’ Cogito. Frank believed that it is possible to develop Cogito ergo sum into Cogito ergo est ens absolutum. In this paper, I analyze his version of the ontological argument. First, I propose a simple reconstruction of his reasoning, paying attention to its hidden premise. Second, departing (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  20
    Pavel Florensky’s Theory of Religious Antinomies.Paweł Rojek - 2019 - Logica Universalis 13 (4):515-540.
    Pavel Florensky (1882–1937), a Russian theologian, philosopher, and mathematician, argued that the religious discourse is essentially contradictory and put forward the idea of the logical theory of antinomies. Recently his views raised interesting discussions among logicians who consider him a forerunner of many non-classical logics. In this paper I discuss four interpretations of Florensky’s views: paraconsistent, L-contradictory, non-monotonic and rhetorical. In conclusion I argue for the integral interpretation which unites these four approaches.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  17
    Intellectus Quaerens Fidem.Paweł Rojek - 2016 - Roczniki Filozoficzne 64 (4):149-165.
    In this paper I take a closer look at Fr. Georges Florovsky’s original view on the relation between philosophy and theology. I argue that he tried to formulate an approach based on patristic experience and opposed to the dominating secular paradigm of philosophy. In some sense he wanted to reverse the traditional account. As Teresa Obolevitch aptly suggested, he wanted to replace the principle fides quaerens intellectum by the rule intellectus quaerens fidem. In that first default case the faith needs (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4. Three trope theories.Paweł Rojek - 2008 - Axiomathes 18 (3):359-377.
    Universals are usually considered to be universal properties. Since tropes are particular properties, if there are only tropes, there are no universals. However, universals might be thought of not only as common properties, but also as common aspects (“determinable universals”) and common wholes (“concrete universals”). The existence of these two latter concepts of universals is fully compatible with the assumption that all properties are particular. This observation makes possible three different trope theories, which accept tropes and no universals, tropes and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  5.  15
    Analytic patristics.Paweł Rojek - forthcoming - Studies in East European Thought:1-34.
    Georges Florovsky, in 1936, called for a revival of the teaching of the Church Fathers. At the same time, Fr. Joseph Bocheński formulated the program for the renewal of Thomism by means of formal logic. In this paper, I propose to integrate these two projects. Analytic Patristics aims at expressing and developing patristic thought with the tools of analytic philosophy. The broad program of the logic of religion formulated by Bocheński included semiotics, methodology, and the formal logic of religion. I (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  33
    Dynamic Essences: Absolute, Prospective, Retrospective, and Relative Modalities.Paweł Rojek & Błażej Skrzypulec - 2018 - Studia Humana 7 (1):3-20.
    Essential properties are usually thought as properties that things must always possess, whereas accidental properties are considered as changeable. In this paper, we challenge this traditional view. We argue that in some important cases, such as social or biological development, we face not only the change of accidents, but also the change of essences. To analyze this kind of change we propose an alternative view on the relations between the modalities and time. Some properties might be necessary or possible for (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7. Podobieństwa rodzinne i konkretne uniwersalia.Paweł Rojek - 2007 - Filozofia Nauki 1.
    It has been widely recognized that Wittgenstein's theory of family resemblance solved the problem of universals. This theory may be considered in two ways, however. (1) Family resemblance may be understood in a manner of abstract universals theory. Most commentators accept this interpretation. Though in this case, I would argue, Wittgenstein's contribution to the problem of universals seems to be overestimated. (2) Wittgenstein's theory may also be considered, following one of contemporary Polish philosophers J. Szymura, as a view connected with (...)
     
    Export citation  
     
    Bookmark   2 citations  
  8. Onomatodoxy and the problem of constitution : Florensky on scientific and manifest images of the world.Paweł Rojek - 2015 - In Teresa Obolevitch & Paweł Rojek (eds.), Faith and reason in Russian thought. Kraków: Copernicus Center Press.
     
    Export citation  
     
    Bookmark   1 citation  
  9.  14
    Jak dwoje staje się jednym? Pojęcie tożsamości u Pawła Florenskiego.Paweł Rojek - 2017 - Roczniki Filozoficzne 65 (4):251-270.
    Paweł Florenski starał się sformułować ontologiczną teorię miłości. Uważał on, że miłość jest nie tylko zjawiskiem psychicznym, lecz zakłada takżejakiegoś rodzaju rzeczywiste zjednoczenie. Florenski proponował, by rozumieć je jako współistotność. Dwa numerycznie różne podmioty mogą stać się czymś jednym dzięki swojej numerycznie tożsamej istocie. Prócz tego Florenski zarysował teorię ontologiczną opartą na odróżnieniu między rzeczami a osobami. Wydaje się, że uznawał on wiązkową teorię przedmiotów i nominalizm tropowy dla kategorii rzeczy i teorię substratu połączoną z realizmem dla kategorii osób. (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  6
    The Logic of Palamism.Paweł Rojek - 2012 - In Andrew Schumann (ed.), Logic in Orthodox Christian Thinking. De Gruyter. pp. 38-81.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  19
    Imperialism and nationalism.Paweł Rojek - 2022 - Studies in East European Thought 74 (4):447-461.
    Is Russia a neoimperial or postimperial state? In this paper, I compare two interpretations proposed by political commentators Marcel Van Herpen and Dmitri Trenin. Van Herpen holds that the Russian empire is literally being rebuilt, whereas Trenin believes that Russia is just ceasing to be an empire. I argue that, contrary to popular belief, the current war against Ukraine cannot be interpreted as an attempt to restore the Russian empire. This is because being an empire requires a universalistic ideology that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12. Are tropes the exclusive possession of the theory of tropes?Paweł Rojek - 2007 - Diametros:76-93.
    The category of trope, i.e. an individual property, usually functions in theories that reject the existence of universals. It may, however, be argued that the acknowledgment of properties as individual need not entail the rejection of universals. It merely requires the rejection of a certain fairly extreme realist position. The existence of tropes can be reconciled with the position of determinative realism and with the theory of concrete universals.
    No categories
     
    Export citation  
     
    Bookmark  
  13.  16
    Barbarzyńca w ogrodzie: Wprowadzenie do dyskusji o Tropach i uniwersaliach.Paweł Rojek - 2022 - Roczniki Filozoficzne 70 (3):277-296.
    W swojej książce Tropy i uniwersalia: Badania ontologiczne zaproponowałem systematyczną i historyczną analizę problemu uniwersaliów. Odróżniłem trzy podstawowe pojęcia powszechników, rozumianych kolejno jako wspólne własności, wspólne aspekty i wspólne całości, a następnie zastosowałem je do szczegółowej analizy teorii Romana Ingardena, św. Tomasza z Akwinu i Georga Wilhelma Friedricha Hegla. W tym tekście przedstawiam założenia metodologiczne mojej pracy, przyjmowane przeze mnie rozumienie powszechników i główne rezultaty moich interpretacji. Następnie omawiam krótko dyskusje, jakie wywołała moja książka. Katarzyna Barska i Marek Piwowarczyk kwestionowali (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14. Czy „myślę, więc jestem”?Paweł Rojek - 2003 - Principia 34.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  15. Czy tropy są wyłączną własnością teorii tropów?Paweł Rojek - 2007 - Diametros 12:76-93.
     
    Export citation  
     
    Bookmark   1 citation  
  16.  26
    Internalisation of Relations.Paweł Rojek - 2020 - Philosophia 48 (4):1575-1593.
    The discussion about internal and external relations usually concerns what kind of relations exist. In this paper, I take up another question, namely whether external relations can become internal and internal relations become external. My starting point is the concept of a “relational collapse” formulated by the Soviet and Ukrainian philosopher Avenir Uemov. I try to develop his idea, distinguishing two senses of internal relation, based on the concepts of ground and essence. As I argue, internalisation may consist either on (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17. Konkretny powszechnik.Paweł Rojek - 2009 - Principia.
    No categories
     
    Export citation  
     
    Bookmark  
  18.  8
    Piekący problemat Ingardena. Platonizm, uniwersalia i byty relacyjne.Paweł Rojek - 2021 - Filozofia Nauki 29 (1):109-138.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  12
    „Rzeczy pospolite”: stare i nowe pojęcia powszechnika.Paweł Rojek - 2022 - Roczniki Filozoficzne 70 (3):367-399.
    Filozofowie analityczni zwykle uważają, że dyskutowany przez nich problem uniwersaliów jest tym samym problemem, którym zajmowano się w starożytności i średniowieczu. Historycy filozofii pokazują jednak, że dawny spór o uniwersalia dotyczył wielu różnych kwestii i wcale nie skupiał się na dyskutowanym obecnie problemie wspólnych własności. W swojej książce Tropy i uniwersalia przyjmowałem, że pojęcie powszechników miało zawsze mniej więcej to samo znaczenie i interpretowałem stanowisko św. Tomasza z Akwinu jako rodzaj współczesnego realizmu. Moja interpretacja wywołała interesujące polemiki ze strony historyków (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  12
    Faith and reason in Russian thought.Teresa Obolevitch & Paweł Rojek (eds.) - 2015 - Kraków: Copernicus Center Press.
    In Russian culture, there was neither Scholasticism nor Renaissance, and the problem of faith and reason was formulated, most of all, on the ground of Patristic tradition. This collection of essays explores various dimensions of this alternative Russian account. The book shows the peculiarities of the Orthodox interpretation of faith. It traces the interrelations between Eastern and Western thinkers, and it investigates the heritage of Russian religious philosophy, with a special attention to Pavel Florensky, Sergius Bulgakov, and Georges Florovsky. *** (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  13
    Religion and culture in Russian thought: philosophical, theological and literary perspectives.Teresa Obolevitch & Paweł Rojek (eds.) - 2014 - Kraków: The Pontifical Uniwersity of Paul II in Kraków.
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  48
    From Concept to Objectivity. Thinking Through Hegel’s Subjective Logic. [REVIEW]Paweł Rojek - 2010 - Polish Journal of Philosophy 4 (1):163-168.
  23.  27
    If Tropes. [REVIEW]Paweł Rojek - 2007 - Polish Journal of Philosophy 1 (1):151-154.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  5
    Peter Chaadaev: between the love of fatherland and the love of truth.Artur Mrówczyński-Van Allen, Teresa Obolevitch & Paweł Rojek (eds.) - 2018 - Eugene, Oregon,: Pickwick Publications.
    Peter Chaadaev (1794-1856) is rightfully considered to be one of the forerunners of modern Russian philosophy. There is a famous scene from his life that may help us to understand both his own thought as well as the whole subsequent tradition of Russian religious philosophy. When Chaadaev finished his studies of Kant's Critique of Pure Reason, he crossed out the title on the cover and wrote beneath it Apologete adamitischer Vernunft (An Apology for Adamic Reason). Russian religious philosophy was supposed (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  19
    Paweł Rojek’s Tropy i uniwersalia – review. [REVIEW]Jakub Węgrecki - 2021 - Principia 68:215-219.
    Paweł Rojek, Tropy i uniwersalia. Badania ontologiczne, Wydawnictwo Naukowe Semper, Warszawa 2019.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26. Selectionism and Diaphaneity.Paweł Jakub Zięba - 2022 - Axiomathes 32 (Suppl 2):S361–S391.
    Brain activity determines which relations between objects in the environment are perceived as differences and similarities in colour, smell, sound, etc. According to selectionism, brain activity does not create those relations; it only selects which of them are perceptually available to the subject on a given occasion. In effect, selectionism entails that perceptual experience is diaphanous, i.e. that sameness and difference in the phenomenal character of experience is exhausted by sameness and difference in the perceived items. It has been argued (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  13
    Build What You Think. Philosophical Education Using the LEGO-LOGOS Method.Paweł Walczak - 2022 - Analiza I Egzystencja 58:93-110.
    LEGO bricks have an enormous educational potential. The article analyzes the possibility of using the bricks in teaching philosophy. As a case in point, it describes the LEGO-LOGOS project, a method where the bricks have been successfully used in opening students to philosophical ideas. The project makes use of play (in this case with the LEGO bricks) to introduce students to philosophy and philosophizing. It tackles one of the biggest obstacles in teaching this subject, that is the resistance of students (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  18
    Directival Theory of Meaning: From Syntax and Pragmatics to Narrow Linguistic Content.Paweł Grabarczyk - 2019 - Springer Verlag.
    This book presents a new approach to semantics based on Kazimierz Ajdukiewicz’s Directival Theory of Meaning, which in effect reduces semantics of the analysed language to the combination of its syntax and pragmatics. The author argues that the DTM was forgotten because for many years philosophers didn’t have conceptual tools to appreciate its innovative nature, and that the theory was far ahead of its time. The book shows how a redesigned and modernised version of the DTM can deliver a new (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  29.  7
    Haunting Poe’s Maze: Investigative Obsessions in the Weird Fictions of Stefan Grabiński and H. P. Lovecraft.Paweł Pyrka - 2017 - Avant: Trends in Interdisciplinary Studies 8 (2):201-210.
    The concept of humanity has taken on new meanings in the era of posthumanist debate. Engaging both prehumanist and posthumanist perspectives, Liliana Sikorska strips away layers of cognitive mappings performed over hundreds of years in Western culture to expose in her recent essay the mechanisms that have exacerbated the East–West divide. While the majority of discussed texts come from medieval and Victorian literature and culture, it becomes obvious to the reader of her book that the issues she explores are still (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  30. Rozmowa sokratyczna: założenia, przebieg, praktyka.Paweł Walczak - 2012 - Przeglad Filozoficzny - Nowa Seria 83 (3):365-379.
    No categories
     
    Export citation  
     
    Bookmark  
  31.  7
    Why Piaget does not philosophize? Critical discussion of Gareth B. Mathews with the Piagetan concept of cognitive development.Paweł Walczak - 2019 - Childhood and Philosophy 15:01-26.
    TThis article analyzes the critique of the Piagetan theory of intellectual development made by American philosopher Gareth B. Matthews. Matthews analyzes Piaget's ideas from the perspective of the meaning and possibility of philosophizing among children. His use of Piaget is particularly relevant today because the theory of cognitive development has shaped modern education and contributes to the preservation of skepticism about children's philosophy. The article reconstructs and interprets Matthews' arguments, which consistently and systematically show that Piaget misunderstood children's philosophy. By (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  20
    Directival Theory of Meaning Resurrected.Paweł Grabarczyk - 2017 - Studia Semiotyczne—English Supplement 29 (1):62-81.
    The first aim of this paper is to remind the reader of a very original theory of meaning which in many aspects has not been surpassed by subsequent theories. The theory in question is Kazimierz Ajdukiewicz’s Directival Theory of Meaning. In the first section I present a version of this theory which, I trust, retains the gist of the original but loses its outdated language. In the second section I analyze some problematic consequences of the directival theory and show how (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  33. Predictive coding and representationalism.Paweł Gładziejewski - 2016 - Synthese 193 (2).
    According to the predictive coding theory of cognition , brains are predictive machines that use perception and action to minimize prediction error, i.e. the discrepancy between bottom–up, externally-generated sensory signals and top–down, internally-generated sensory predictions. Many consider PCT to have an explanatory scope that is unparalleled in contemporary cognitive science and see in it a framework that could potentially provide us with a unified account of cognition. It is also commonly assumed that PCT is a representational theory of sorts, in (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   85 citations  
  34.  44
    The Experiment Paradox in Physics.Michał Eckstein & Paweł Horodecki - 2020 - Foundations of Science 27 (1):1-15.
    Modern physics is founded on two mainstays: mathematical modelling and empirical verification. These two assumptions are prerequisite for the objectivity of scientific discourse. Here we show, however, that they are contradictory, leading to the ‘experiment paradox’. We reveal that any experiment performed on a physical system is—by necessity—invasive and thus establishes inevitable limits to the accuracy of any mathematical model. We track its manifestations in both classical and quantum physics and show how it is overcome ‘in practice’ via the concept (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  20
    Can memes explain the birth of comprehension?Paweł Grabarczyk - 2019 - Avant: Trends in Interdisciplinary Studies 10 (3).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  36. Structural representations: causally relevant and different from detectors.Paweł Gładziejewski & Marcin Miłkowski - 2017 - Biology and Philosophy 32 (3):337-355.
    This paper centers around the notion that internal, mental representations are grounded in structural similarity, i.e., that they are so-called S-representations. We show how S-representations may be causally relevant and argue that they are distinct from mere detectors. First, using the neomechanist theory of explanation and the interventionist account of causal relevance, we provide a precise interpretation of the claim that in S-representations, structural similarity serves as a “fuel of success”, i.e., a relation that is exploitable for the representation using (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   51 citations  
  37.  40
    Canberra‐Style Analysis and Law: A Critique of Andrei Marmor's Farewell to Conceptual Analysis.Paweł Banaś & Filip Gołba - 2017 - Ratio Juris 30 (4):549-559.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  38.  36
    Friedrich August von Hayek, The Constitution of Liberty by Pawel Urgacz.Paweł Urgacz - 2008 - Forum Philosophicum: International Journal for Philosophy 13 (1):149-154.
    The article reviews the book Konstytucja wolności [The Constitution of Liberty], by Friedrich August von Hayek.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  39.  29
    Stanisław Kowalczyk, Zarys filozofii polityki [An Outline of the Political Philosophy] by Paweł Urgacz.Paweł Urgacz - 2008 - Forum Philosophicum: International Journal for Philosophy 13 (2):387-390.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40. Naïve realism about unconscious perception.Paweł Jakub Zięba - 2019 - Synthese 196 (5):2045-2073.
    Recently, it has been objected that naïve realism is inconsistent with an empirically well-supported claim that mental states of the same fundamental kind as ordinary conscious seeing can occur unconsciously (SFK). The main aim of this paper is to establish the following conditional claim: if SFK turns out to be true, the naïve realist can and should accommodate it into her theory. Regarding the antecedent of this conditional, I suggest that empirical evidence renders SFK plausible but not obvious. For it (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  41. Era dopaminy – jak znaleźć równowagę w czasach obfitości.Paweł Sikora - 2022 - Roczniki Filozoficzne 70 (3):505-511.
    This is a review of a book "Dopamine Nation: Finding balance in the Age of Indulgence" written by Anna Lembke. The author, who is a psychiatrist and a specialist in the addiction field, has made a compilation of her addicted patients stories and the results of a newest research in the neuroscience. The effect of her work is a simple description of a complicated issues of human pain and pleasure system and the influence of dopamine on the addiction problem.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  42.  12
    The Impact of the Economic Crisis on Salaries in Poland.Paweł Antoszak - 2023 - Studies in Logic, Grammar and Rhetoric 68 (1):201-212.
    The aim of the article is to assess the situation in terms of wage inequality and identify factors influencing changes in the levels, dynamics and relations of wages in voivodeships in Poland in 2012–2021. In Poland, during the analyzed period, an economic crisis occurred in 2012 as a consequence of the crisis of 2008–2009 and since 2020. Average monthly gross wages in Poland will be used for this purpose. Based on this data, deviations, relationships, and rates of change will be (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  23
    David Hume: czy ekonomia może być nauką?Paweł Hanczewski - 2017 - Studia Z Historii Filozofii 7 (4):203-220.
    The title of this article refers to one of the best-known essays written by David Hume, That Politics may be reduced to a Science. Hume assumed that politics was a science because it admitted of some general truths, which could not be varied by human beings. He adopted a similar stance, albeit indirectly, in the case of economics, discovering several general truths concerning the origins of wealth, money and international trade. At times, however, he was far from being consistent and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  7
    Edmund Burke: natura człowieka i rozum człowieka.Paweł Hanczewski - 2021 - Ruch Filozoficzny 76 (3):41.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  8
    George Berkeley: Forging the Irish Nation.Paweł Hanczewski - 2019 - Ruch Filozoficzny 74 (4):135.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  7
    The Union of 1707 and the Scottish Enlightenment.Paweł Hanczewski - 2018 - Ruch Filozoficzny 74 (3):7.
  47. Do Animals See Objects?Paweł Grabarczyk - 2013 - In Marcin Miłkowski Konrad Talmont-Kamiński (ed.), Regarding Mind, Naturally.
  48. Managing Multiple Information Sources for a Questioning Agenda.Paweł Łupkowski & Mariusz Urbański - forthcoming - Logic and Logical Philosophy:1-33.
    In this paper, we consider how an agent may manage a questioning agenda in a situation where multiple information sources are available. We work within the framework of formal dialogue systems with the underpinning of Inferential Erotetic Logic. Firstly, we present the formal dialogue system DL(IEL)mult for managing multi-agent information retrieval. Then, we extend the proposed system so that it is capable of representing group and individual levels for the question decomposition process. We also propose two measures for evaluating information (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49. Concepts as soft detectors - On the role concepts play in perception.Paweł Grabarczyk - 2016 - New Ideas in Psychology 40:86-93.
    The idea that concepts play a significant role in some perceptions is widespread but everybody seems to differ as to where to draw the line. Some researchers say that the difference between direct and indirect, concept driven acts of perception manifests itself whenever we perceive abstract or general properties. Others point at second order properties or causal properties. I call this inability to precisely differentiate between acts of direct and indirect perception “The Division Problem”. Furthermore there is always a question (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  22
    Intuitionistic Games: Determinacy, Completeness, and Normalization.Paweł Urzyczyn - 2016 - Studia Logica 104 (5):957-1001.
    We investigate a simple game paradigm for intuitionistic logic, inspired by Wajsberg’s implicit inhabitation algorithm and Beth tableaux. The principal idea is that one player, ∃ros, is trying to construct a proof in normal form while his opponent, ∀phrodite, attempts to build a counter-model. The determinacy of the game implies therefore both completeness and semantic cut-elimination.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 1000